Stratified institutions and elementary homomorphisms

For conventional logic institutions, when one extends the sentences to contain open sentences, their satisfaction is then parameterized. For instance, in the first-order logic, the satisfaction is parameterized by the valuation of unbound variables, while in modal logics it is further by possible worlds. This paper proposes a uniform treatment of such parameterization of the satisfaction relation within the abstract setting of logics as institutions, by defining the new notion of stratified institutions. In this new framework, the notion of elementary model homomorphisms is defined independently of an internal stratification or elementary diagrams. At this level of abstraction, a general Tarski style study of connectives is developed. This is an abstract unified approach to the usual Boolean connectives, to quantifiers, and to modal connectives. A general theorem subsuming Tarski's elementary chain theorem is then proved for stratified institutions with this new notion of connectives.     

Biological vulnerability to alcoholism.

This article reviews the role of biological factors in the risk for alcoholism. The discussion notes the importance of the definition of primary alcoholism and highlights data indicating that this disorder is genetically influenced. The major emphasis is on studies of men at high risk for the future development of alcoholism. The most promising trait markers of a biological vulnerability to alcoholism include a decreased intensity of reaction to modest ethanol doses for sons of alcoholics compared with control subjects, a decreased amplitude of certain brain waves of the event-related potential, and a different pattern of background cortical electroencephalograms for young men at high risk for future alcoholism. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

A fast block Hankel solver based on an inversion formula for block Loewner matrices

We propose a newO(p ³ n ²) algorithm for solving complexnp×np linear systems that have block Hankel structure, where the blocks are square matrices of sizep×p. Via FFTs the block Hankel system is transformed into a block Loewner system. An inversion formula enables us to calculate the inverse of the block Loewner matrix explicitely. The parameters that occur in this inversion formula are calculated by solving two rational interpolation problems on the unit circle. We have implemented our algorithm in Fortran 90. Numerical examples are included.     

Energy-Efficient Thermal-Aware Autonomic Management of Virtualized HPC Cloud Infrastructure

Virtualized datacenters and clouds are being increasingly considered for traditional High-Performance Computing (HPC) workloads that have typically targeted Grids and conventional HPC platforms. However, maximizing energy efficiency and utilization of datacenter resources, and minimizing undesired thermal behavior while ensuring application performance and other Quality of Service (QoS) guarantees for HPC applications requires careful consideration of important and extremely challenging tradeoffs. Virtual Machine (VM) migration is one of the most common techniques used to alleviate thermal anomalies (i.e., hotspots) in cloud datacenter servers as it reduces load and, hence, the server utilization. In this article, the benefits of using other techniques such as voltage scaling and pinning (traditionally used for reducing energy consumption) for thermal management over VM migrations are studied in detail. As no single technique is the most efficient to meet temperature/performance optimization goals in all situations, an autonomic approach that performs energy-efficient thermal management while ensuring the QoS delivered to the users is proposed. To address the problem of VM allocation that arises during VM migrations, an innovative application-centric energy-aware strategy for Virtual Machine (VM) allocation is proposed. The proposed strategy ensures high resource utilization and energy efficiency through VM consolidation while satisfying application QoS by exploiting knowledge obtained through application profiling along multiple dimensions (CPU, memory, and network bandwidth utilization). To support our arguments, we present the results obtained from an experimental evaluation on real hardware using HPC workloads under different scenarios.     

Modeling of submicrometer gate GaAs field effect transistors

Before describing the mainFet modelings today available, the main technological evolutions ofMesfet andTegfet are summarized. It is brought some information on the various physical effects that occur in the devices and that must be taken into account in the models. It is shown that the different kinds of modelings (Monte Carlo, two dimensional, one dimensional) constitute a continuous chain, where the different elements appear strictly complementary. Finally, the present situation concerning modeling ofMesfet andTegfet will be presented.     

The Multifunctional Sactipeptide Ruminococcin C1 Displays Potent Antibacterial Activity In Vivo as Well as Other Beneficial Properties for Human Health

The world is on the verge of a major antibiotic crisis as the emergence of resistant bacteria is increasing, and very few novel molecules have been discovered since the 1960s. In this context, scientists have been exploring alternatives to conventional antibiotics, such as ribosomally synthesized and post-translationally modified peptides (RiPPs). Interestingly, the highly potent in vitro antibacterial activity and safety of ruminococcin C1, a recently discovered RiPP belonging to the sactipeptide subclass, has been demonstrated. The present results show that ruminococcin C1 is efficient at curing infection and at protecting challenged mice from Clostridium perfringens with a lower dose than the conventional antibiotic vancomycin. Moreover, antimicrobial peptide (AMP) is also effective against this pathogen in the complex microbial community of the gut environment, with a selective impact on a few bacterial genera, while maintaining a global homeostasis of the microbiome. In addition, ruminococcin C1 exhibits other biological activities that could be beneficial for human health, as well as other fields of applications. Overall, this study, by using an in vivo infection approach, confirms the antimicrobial clinical potential and highlights the multiple functional properties of ruminococcin C1, thus extending its therapeutic interest.     

Fabrication of suspended carbon microstructures by e-beam writer and pyrolysis

A fabrication process has been developed to create suspended carbon microelectromechanical system (C-MEMS) structures. SU-8, a negative photoresist, was used as the starting material and was converted to the desired carbon microstructures using pyrolysis in an inert atmosphere. Suspended carbon-micro and nano electromechanical system (C-MEMS/NEMS) structures with feature sizes down to 500 nm were fabricated by ultra violet/electron beam (EB) lithography and pyrolysis. The problem of charging of the non-conductive SU-8 surface was solved by partially masking a thin metal layer to prevent the repulsion of negative charged electrons before EB writing. Complex suspended C-MEMS structures, such as bridges and networks have been formed. This fabrication method can accurately and reproducibly produce various suspended C-MEMS structures which have applications in microelectronics and biosensing.     

QUANTITATIVE MEASUREMENT OF CHROMIUM'S ABILITY TO PROMOTE ADHESION

Using atomic force spectroscopy, we investigated the adhesion-promoting ability of chromium. An intermediate layer of chromium can overcome the low adhesion between metal films and silicon dioxide. For the first time, we quantitatively studied this experimentally well known fact. We compared the adhesion between chromium and different substrates such as gold, silver, mica, and silicon dioxide and, beyond that, the adhesion between silicon dioxide and the same substrates. To avoid additional effects due to water, we chose ethanol as a nonpolar solvent. Taking the interfacial energies of the surfaces with the liquid into account eliminates the direct influence of the fluid medium on the adhesion of the solid material. The results we obtained corroborate the experimental fact of higher adhesion of chromium with the chosen substrates, as well as substantiate the value of chromium as an adhesion promoter. The adhesion of chromium-coated probes on gold, silicon dioxide, and mica is higher than the adhesion of silicon dioxide probes on the same substrates.     

Adsorption of mercaptopropionic acid onto Au(1 1 1): Part II. Effect on copper electrodeposition

Copper deposition in the presence of an organic additive (3-mercaptopropionic acid, MPA) was studied by cyclic voltammetry and in situ scanning tunneling microscopy (STM) and the results are compared to those for additive-free solutions. It is shown that underpotential deposition (upd) of copper onto a fully MPA-covered electrode produces a defect-rich substrate, but the defects are blocked by the dense organic film for bulk deposition, resulting in a low number of nuclei. A grain-refining effect of MPA, however, was found, when Cu deposition was initiated shortly after addition of MPA to the solution, i.e., for a low-coverage MPA adlayer.