Heyting frames and Esakia duality

We introduce the category of Heyting frames and show that it is equivalent to the category of Heyting algebras and dually equivalent to the category of Esakia spaces. This provides a frame-theoretic perspective on Esakia duality for Heyting algebras. We also generalize these results to the setting of Brouwerian algebras and Brouwerian semilattices by introducing the corresponding categories of Brouwerian frames and extending the above equivalences and dual equivalences. This provides a frame-theoretic perspective on generalized Esakia duality for Brouwerian algebras and Brouwerian semilattices

Coalgebras for the powerset functor and Thomason duality

We describe the endofunctor $H$ on the category $CABA$ of complete and atomic boolean algebras and complete boolean homomorphisms such that the category $Alg(H)$ of algebras for $H$ is dually equivalent to the category $Coalg(\mathcal{P})$ of coalgebras for the powerset endofunctor $\mathcal{P}$ on $Set$. As a consequence, we derive Thomason duality from Tarski duality

Hydrogen Desorption below 150 °c in MgH2-TiH2 Composite Nanoparticles: Equilibrium and Kinetic Properties

Reversible hydrogen sorption coupled with the MgH2 <-> Mg phase transformation was achieved in the remarkably low 340-425 K temperature range using MgH2-TiH2 composite nanoparticles obtained by reactive gas-phase condensation of Mg Ti vapors under He/H-2 atmosphere. The equilibrium pressures determined by in situ measurements at low temperature were slightly above those predicted using enthalpy Delta H and entropy Delta S of bulk magnesium. A single van't Hoff fit over a range extended up to 550 K yields the thermodynamic parameters Delta H = 68.1 0.9 kJ/molH(2) and Delta S = 119 2 J/(Kmo1H2) for hydride decomposition. A desorption rate of 0.18 wt % H-2/min was measured at T = 423 K and p(H-2) approximate to 1 mbar, i.e., close to equilibrium, without using a Pd catalysts. The nanoparticles displayed a small absorption desorption pressure hysteresis even at low temperatures. We critically discuss the influence exerted by nanostructural features such as interface free energy, elastic clamping, and phase mixing at the single nanopartide level on equilibrium and kinetic properties of hydrogen sorption

Biological application of Compressed Sensing Tomography in the Scanning Electron Microscope

The three-dimensional tomographic reconstruction of a biological sample, namely collagen fibrils in human dermal tissue, was obtained from a set of projection-images acquired in the Scanning Electron Microscope. A tailored strategy for the transmission imaging mode was implemented in the microscope and proved effective in acquiring the projections needed for the tomographic reconstruction. Suitable projection alignment and Compressed Sensing formulation were used to overcome the limitations arising from the experimental acquisition strategy and to improve the reconstruction of the sample. The undetermined problem of structure reconstruction from a set of projections, limited in number and angular range, was indeed supported by exploiting the sparsity of the object projected in the electron microscopy images. In particular, the proposed system was able to preserve the reconstruction accuracy even in presence of a significant reduction of experimental projections

SMART-M3 v.0.9: A semantic event processing engine supporting information level interoperability in ambient intelligence

This tutorial is addressed to all students in Electronic Engineering and Information Engineering at the Scuola di Ingegneria e Architettura of the University of Bologna attending the following courses: Laboratory of Interoperability of Embedded Systems, "Calcolatori Elettronici M" and "Attività Progettuale di Calcolatori Elettronici M". This tutorial includes the guidelines to build distributed applications where clients may interact with physical space. Inter-client interaction occurs through a semantic event processing engine. Information interoperability is based on a shared knowledge representation model named ontology. This tutorial is focused on client design and on the SPARQL primitives that provide the means for client-event processing engine interaction

Nuovi formati commerciali e polarità interregionali: Lombardia, Piemonte, Emilia Romagna

En este artículo presentamos la investigación "Evaluación del impacto territorial de los polos comerciales: factoty outlets, multicines, centros comerciales. Una aproximación interregional", realizada entre 2005 y 2007 por los Departamentos de Architettura e Pianificazione del Politécnico de Milán, el Interateneo del Territorio del Politécnico de Turín y el Departamento de Economía de la Universidad de Parma. La investigación ha sido promovida por las Regiones de Lombardía, Piamonte y Emilia Romagna, con el fin de desarrollar un enfoque común tanto para el estudio de los fenómenos como para el desarrollo de directrices de gestión. A partir de la observación de la innovación en formatos comerciales y de las vías de su regulación por las Regiones, se ha prestado especial atención a la formación de "polos comerciales interregionales"

Bone Anchored Hearing Aids for the Treatment of Asymmetric Hearing Loss

OBJECTIVES: Asymmetric hearing loss is generally defined as a moderate-to-profound hearing loss in the poorer ear and a mild-to-moderate hearing loss in the better ear. Application of a bone conduction hearing aid is one of the possible treatments for the poorer ear in asymmetric hearing loss. However, the device essentially stimulates the contralateral better ear, precluding true binaural hearing. The aim of this paper is to evaluate the application and utility of bone-anchored hearing aids in the treatment of asymmetric hearing loss. MATERIALS and METHODS: We retrospectively evaluated 215 implanted subjects in our clinic and extracted a series of 27 patients affected by asymmetric hearing loss and treated with bone-anchored hearing aids. All 27 subjects had a mixed hearing loss after middle ear surgery. The preoperative and postoperative audiological data of these patients were collected and analyzed. RESULTS: The audiological tests showed an improvement in the performance of hearing perception of sound and speech in quiet and noise.Moreover, the subjects have positively answered the questionnaires administered to evaluate subjective benefits. All subscales of the abbreviated profile of hearing aid benefit and speech, spatial, and qualities of hearing scale showed a significant improvement with the device. CONCLUSION: Bone-anchored hearing aids are a suitable treatment for asymmetric hearing loss. When other devices cannot be utilized or are not indicated, the bone conduction devices may allow good audiological results

Allele Specific Locked Nucleic Acid Quantitative PCR (ASLNAqPCR): An Accurate and Cost-Effective Assay to Diagnose and Quantify KRAS and BRAF Mutation

The use of tyrosine kinase inhibitors (TKIs) requires the testing for hot spot mutations of the molecular effectors downstream the membrane-bound tyrosine kinases since their wild type status is expected for response to TKI therapy. We report a novel assay that we have called Allele Specific Locked Nucleic Acid quantitative PCR (ASLNAqPCR). The assay uses LNA-modified allele specific primers and LNA-modified beacon probes to increase sensitivity, specificity and to accurately quantify mutations. We designed primers specific for codon 12/13 KRAS mutations and BRAF V600E, and validated the assay with 300 routine samples from a variety of sources, including cytology specimens. All were analyzed by ASLNAqPCR and Sanger sequencing. Discordant cases were pyrosequenced. ASLNAqPCR correctly identified BRAF and KRAS mutations in all discordant cases and all had a mutated/wild type DNA ratio below the analytical sensitivity of the Sanger method. ASLNAqPCR was 100% specific with greater accuracy, positive and negative predictive values compared with Sanger sequencing. The analytical sensitivity of ASLNAqPCR is 0.1%, allowing quantification of mutated DNA in small neoplastic cell clones. ASLNAqPCR can be performed in any laboratory with real-time PCR equipment, is very cost-effective and can easily be adapted to detect hot spot mutations in other oncogenes