a Department of Earth and Planetary Sciences, Harvard University, 20 Oxford St., Cambridge, MA 02138, United States b Department of Earth and Planetary Sciences/GEOTOP, McGill University, Montreal, QC H3A 2T5, Canada c Department of Geological Sciences and Geological Engineering, Queen's University, Kingston, Ontario K7L 3N6, Canada d Princeton University, Guyot Hall, Princeton, NJ 08544, Unite...

The 2005 American Housing Survey reveals that 11% of residents on the west coast of the USA live in gated communities. The trend is not confined to America: just about all new housing built in China over the last 10 years is gated, with neighbourhood walls, guards, owner-governance structures, fees and neighbourhood management and investment plans based not on the municipal government model but...

BACKGROUND The injection of botulinum toxin type A for cosmetic proposes is a popular procedure, although the interpretation of its effectiveness still poses a challenge. In fact, although the methods that evaluate the efficacy of the treatment are validated and reliable, they are usually based on subjective scales, while an objective and quantitative scale is still needed. OBJECTIVES I propo...

We propose a set of algebraic laws for reasoning with sequential imperative programs that use object references like in Java. The theory is based on previous work by adding laws to cope with object references. The incrementality of the algebraic method is fundamental; with a few exceptions, existing laws for copy semantics are entirely reused, as they are not affected by the proposed laws for r...

We study the lattice of finite-index extensions of a given finitely generated subgroup H of a free group F . This lattice is finite and we give a combinatorial characterization of its greatest element, which is the commensurator of H . This characterization leads to a fast algorithm to compute the commensurator, which is based on a standard algorithm from automata theory. We also give a sub-exp...

Self-assembled monolayers (SAMs) on glass were used as a platform to sequentially deposit fluorophores and small molecules for ion sensing. The preorganization provided by the surface avoids the need for complex receptor design, allowing for a combinatorial approach to sensing systems based on small molecules. The resulting libraries are easily measured and show varied responses to a series of ...

A new inter-core BIST circuits for tri-state buffers: T-BIST mainly consists of simple circuits distributed in the relevant blocks. It can give an excellent test-coverage with a little additional hardware. Its configuration is not specified by each SoC structure, so, it is suitable for a general/reusable testable IP.

Let k be an algebraically closed field of characteristic exponent p ≥ 1. Let G be a connected reductive algebraic group over k and let g be the Lie algebra of G. Note that G acts on G and on g by the adjoint action. Let UG be the variety of unipotent elements of G. Let Ng be the variety of nilpotent elements of g. In [L2], we have proposed a definition of a partition of UG into smooth locally c...