In Huang and Weng (2004), Huang and Weng introduced pooling spaces, and constructed pooling designs from a pooling space. In this paper, we introduce the concept of pooling semilattices and prove that a pooling semilattice is a pooling space, then show how to construct pooling designs from a pooling semilattice. Moreover, we give many examples of pooling semilattices and thus obtain the corresp...

In an earlier paper we developed an intermediate representation for languages based on composition, and showed how the representation could facilitate generating code for functional languages, such as FP. In this paper we follow the same philosophical approach, using instead the applicative language APL. Further, we show how this intermediate representation simpli es the task of generating code...

This paper proposes to use a new circuit model called Partially-Programmable Circuits (PPCs) to increase the yield with very small overhead. PPCs are obtained from conventional logic circuits by replacing their sub-circuits with LUTs. If a connection in an PPC becomes redundant by changing the functionality of some LUTs, the connection is considered to be robust to defects because even if there...

Complete 'anatomic' repair of transposition of the great arteries has now been achieved. The ideal timing of this surgery is during neonatal cardiovascular transition, when the fetal elevation of pulmonary vascular resistance is still present.

A new approach stemming from the adiabatic-connection (AC) formalism is proposed to derive parameter-free double-hybrid (DH) exchange-correlation functionals. It is based on a quadratic form that models the integrand of the coupling parameter, whose components are chosen to satisfy several well-known limiting conditions. Its integration leads to DHs containing a single parameter controlling the...