Polarizing Double Negation Translations

Double-negation translations are used to encode and decode classical proofs in intuitionistic logic. We show that, in the cut-free fragment, we can simplify the translations and introduce fewer negations. To achieve this, we consider the polarization of the formul{\ae}{} and adapt those translation to the different connectives and quantifiers. We show that the embedding results still hold, using a customized version of the focused classical sequent calculus. We also prove the latter equivalent to more usual versions of the sequent calculus. This polarization process allows lighter embeddings, and sheds some light on the relationship between intuitionistic and classical connectives

A versatile latex-based route furnishing polymer/carbon nanofiller composites

No abstract

Formation of Composite Endothelial Cell–Mesenchymal Stem Cell Islets: A Novel Approach to Promote Islet Revascularization

OBJECTIVE—Mesenchymal stem cells (MSCs) contribute to endothelial cell (EC) migration by producing proteases, thereby paving the way into the tissues for ECs. MSCs were added to our previously described composite EC islets as a potential means to improve their capacity for islet angiogenesis

Structural Stability of Transparent Conducting Films Assembled from Length Purified Single-Wall Carbon Nanotubes

Single-wall carbon nanotube (SWCNT) films show significant promise for transparent electronics applications that demand mechanical flexibility, but durability remains an outstanding issue. In this work, thin membranes of length purified single-wall carbon nanotubes (SWCNTs) are uniaxially and isotropically compressed by depositing them on prestrained polymer substrates. Upon release of the strain, the topography, microstructure, and conductivity of the films are characterized using a combination of optical/fluorescence microscopy, light scattering, force microscopy, electron microscopy, and impedance spectroscopy. Above a critical surface mass density, films assembled from nanotubes of well-defined length exhibit a strongly nonlinear mechanical response. The measured strain dependence reveals a dramatic softening that occurs through an alignment of the SWCNTs normal to the direction of prestrain, which at small strains is also apparent as an anisotropic increase in sheet resistance along the same direction. At higher strains, the membrane conductivities increase due to a compression-induced restoration of conductive pathways. Our measurements reveal the fundamental mode of elasto-plastic deformation in these films and suggest how it might be suppressed