Policies to avert the threat of dangerous climate change focus on stabilizing atmospheric carbon dioxide concentrations by drastically reducing anthropogenic emissions of carbon. Such reductions require limiting the use of fossil fuels-which supply the bulk of energy to economic activity,…

This thesis explores a holistic design process through which architectural elements can engage the dynamic forces of natural phenomena and integrate the spatial and temporal experience of building form with its physical environment. The framework for this exploration is a…

by Yaichi Aoshima., Thesis (Ph. D.)--Massachusetts Institute of Technology, Sloan School of Management, 1996., Includes bibliographical references (p. 253-264).

by Ronit Bodner., Thesis (Ph. D.)--Massachusetts Institute of Technology, Sloan School of Management, 1996., Includes bibliographical references (leaves 75-76).

by Michael Lewis Thompson., Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Chemical Engineering, 1996., Includes bibliographical references (p. 259-268).

by Charles L. Forbes., Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Urban Studies and Planning, 1996., Includes bibliographical references (leaves 51-53).

by David José Tamés., Thesis (M.S.)--Massachusetts Institute of Technology, Program in Media Arts & Sciences, 1996., Includes bibliographical references (leaves 60-65).

by Michael Luke Murtaugh., Thesis (M.S.)--Massachusetts Institute of Technology, Program in Media Arts & Sciences, 1996., Includes bibliographical references (p. 75-76).

Signature schemes are fundamental cryptographic primitives, useful as a stand-alone application, and as a building block in the design of secure protocols and other cryptographic objects. In this thesis, we study both the uses that signature schemes find in protocols,…

In this work we present an approach to model an action-oriented system controlled by BDI agents using a defeasible argumentation formalism to represent its knowledge. Here, our main concern will be modelling the software agents that drive the physical robots.