The security of key agreement protocols has traditionally been notoriously hard to establish. In this paper we present a modular approach to the construction of proofs of security for a large class of key agreement protocols. By following a modular approach to proof construction, we hope to enable simpler and less error-prone analysis and proof generation for such key agreement protocols. The t...

309 The 3-Dimensional Modular Unit Construction System involves constructing ao in fixed cycle time using b) 3-D Modular Unit Building Blocks which are assembled at a c) ' factory automated staging area on the jobsite prior to being lifted into place on the building. This system has great potential to facilitate the use of robots on the jobsite and dramatically reduce the construction period. I...

We give a new construction of nonlinear error-correcting codes over suitable finite fields k from the geometry of modular curves with many rational points over k, combining two recent improvements on Goppa’s construction. The resulting codes are asymptotically the best currently known.

The modular construction of many plants and animals defies conventional approaches to the study of life histories and population dynamics. An important complication of modular construction is that individuals can rapidly decrease in size when some modules are removed or die or when an individual fragments. Most attempts to describe life histories and population dynamics of modular organisms cla...

BACKGROUND Most of synthetic circuits developed so far have been designed by an ad hoc approach, using a small number of components (i.e. LacI, TetR) and a trial and error strategy. We are at the point where an increasing number of modular, inter-changeable and well-characterized components is needed to expand the construction of synthetic devices and to allow a rational approach to the design....