Filters: Collection: "ir_uspace"
| Creator | Title | Description | Subject | Date | ||
|---|---|---|---|---|---|---|
| 26 |
 |
Slind, Konrad Lee | Emerging trends proceedings of the 17th International Conference on Theorem Proving in Higher Order Logics: TPHOLs 2004 | This volume constitutes the proceedings of the Emerging Trends track of the 17th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2004) held September 14-17, 2004 in Park City, Utah, USA. The TPHOLs conference covers all aspects of theorem proving in higher order logics ... | Theorem proving; Higher order logics | 2004-08 |
| 27 |
 |
Didier, Richard C. | Linking microclimate and energy use with a low cost wall mounted measurement system | Urban microclimate plays a critical role in overall urban energy demand and efficiency. At the building scale, energy use and internal conditions are directly impacted by local microclimate. The direct link between building energy use and local microclimate is through building envelope heat fluxes. ... | Microclimate; Energy; Temperature; Humidity; Arduino; EnergyPlus | 2016-06 |