Ashutosh Trivedi is an Associate Professor of computer science at the University of Colorado Boulder. His researchinterests lie at the intersection of computer science, control theory, and machine ...

Wind Engineering, Vol. 39, No. 3 (2015), pp. 271-298 (28 pages) ABSTRACT When developing a wind farm, it is very important to accurately define the wind resource distribution across the project area ...

SINCE its original publication about five years ago, this work has proved itself a very valuable introduction to the basic conceptions and principles of structural theory as related to trusses, rigid ...

The purpose of this paper is to outline some recent progress in descriptive inner model theory, a branch of set theory which studies descriptive set theoretic and inner model theoretic objects using ...