Nuclear spin selective laser control of rotational and torsional dynamics

We explore the possibility of controlling rotational-torsional dynamics of non-rigid molecules with strong, non-resonant laser pulses and demonstrate that transient, laser-induced torsional alignment depends on the nuclear spin of the molecule. Consequently, nuclear spin isomers can be manipulated selectively by a sequence of time-delayed laser pulses. We show that two pulses with different polarization directions can induce either overall rotation or internal torsion, depending on the nuclear spin.Nuclear spin selective control of the angular momentum distribution may open new ways to separate and explore nuclear spin isomers of polyatomic molecules

Commissioning of the cryogenic safety test facility PICARD

The sizing of cryogenic safety relief devices requires detailed knowledge on the evolution of the pressure increase in cryostats following hazardous incidents such as the venting of the insulating vacuum with atmospheric air. Based on typical design and operating conditions in liquid helium cryostats, the new test facility PICARD, which stands for Pressure Increase in Cryostats and Analysis of Relief Devices, has been constructed. The vacuum-insulated test stand has a cryogenic liquid volume of 100 liters and a nominal design pressure of 16 bar(g). This allows a broad range of experimental conditions with cryogenic fluids. In case of helium, mass flow rates through safety valves and rupture disks up to about 4 kg/s can be measured. Beside flow rate measurements under various conditions (venting diameter, insulation, working fluid, liquid level, set pressure), the test stand will be used for studies on the impact of two-phase flow and for the measurement of flow coeffcients of safety devices at low temperature. This paper describes the operating range, layout and instrumentation of the test stand and presents the status of the commissioning phase

Thermal comfort optimisation of vernacular rural buildings::passive solutions to retrofit a typical farmhouse in central Italy

An adequate retrofitting of traditional rural buildings requires to preserve their formal characteristics and to understand the constructive elements that compose them and which are different in different geographical areas. This paper analyses the typical farmhouses in central Italy. Starting from the definition of a vernacular building model, the paper analyses its performance in terms of thermal comfort and energy efficiency. The methodology involves the use of energy dynamic simulations coupled with optimisation techniques aimed to identify the best combinations of insulating materials in terms of choice of material and its optimal location in the envelope. The paper demonstrates the good thermal and energy performance of farmhouses in central Italy. The results of the optimisation process showed that in these buildings, with the addition of insulation materials with low conductivity the perceived discomfort in the inhabited areas of the building can be reduced by 79% and the energy consumption related to heating can be reduced by 77%. The level of insulation of the pavement that separates the ground and first floor needs to be more moderate to promote the heat flow between floors during summer. The sensitivity analysis shows that the most influential component for thermal comfort is the roof insulation.</p

Histaminylation of glutamine residues is a novel posttranslational modification implicated in G-protein signaling

Posttranslational modifications (PTM) have been shown to be essential for protein function and signaling. Here we report the identification of a novel modification, protein transfer of histamine, and provide evidence for its function in G protein signaling. Histamine, known as neurotransmitter and mediator of the inflammatory response, was found incorporated into mastocytoma proteins. Histaminylation was dependent on transglutaminase II. Mass spectrometry confirmed histamine modification of the small and heterotrimeric G proteins Cdc42, Galphao1 and Galphaq. The modification was specific for glutamine residues in the catalytic core, and triggered their constitutive activation. TGM2-mediated histaminylation is thus a novel PTM that functions in G protein signaling. Protein alphamonoaminylations, thus including histaminylation, serotonylation, dopaminylation and norepinephrinylation, hence emerge as a novel class of regulatory PTMs

Safer in the Clouds (Extended Abstract)

We outline the design of a framework for modelling cloud computing systems.The approach is based on a declarative programming model which takes the form of a lambda-calculus enriched with suitable mechanisms to express and enforce application-level security policies governing usages of resources available in the clouds. We will focus on the server side of cloud systems, by adopting a pro-active approach, where explicit security policies regulate server's behaviour.Comment: In Proceedings ICE 2010, arXiv:1010.530

A non-interleaving process calculus for multi-party synchronisation

We introduce the wire calculus. Its dynamic features are inspired by Milner's CCS: a unary prefix operation, binary choice and a standard recursion construct. Instead of an interleaving parallel composition operator there are operators for synchronisation along a common boundary and non-communicating parallel composition. The (operational) semantics is a labelled transition system obtained with SOS rules. Bisimilarity is a congruence with respect to the operators of the language. Quotienting terms by bisimilarity results in a compact closed category

Set-up of the cryogenic phase equilibria test stand CryoPHAEQTS

The design of processes using cryogenic fluid mixtures requires fluid property data, which is unavailable today. In particular, this data is crucial to develop cryogenic mixed-refrigerant cycles for high-temperature superconductor (HTS) applications and to further optimize hydrogen liquefaction processes. CryoPHAEQTS, which is currently being built at KIT, will provide physical property data for fluid mixtures in a temperature range of 15–300K and at pressures up to 15 MPa, including also mixtures with either flammable or oxidizing components (e.g. hydrogen, deuterium, oxygen). By direct sampling from an equilibrium cell, vapor-liquid equilibria (VLE) and vapor-liquid-liquid equilibria (VLLE) can be determined using gas chromatography. Solid-liquid equilibria (SLE) are measured using a calorimetric method. The measurement of heat capacities is implemented by combining two different flow measurement principles. In addition, the test stand offers optical access for a future upgrade with an optical measurement system that allows in-equilibrium measurements of both bulk transport properties by dynamic light scattering (DLS) and surface tension by surface light scattering (SLS)

Integrated Structure and Semantics for Reo Connectors and Petri Nets

In this paper, we present an integrated structural and behavioral model of Reo connectors and Petri nets, allowing a direct comparison of the two concurrency models. For this purpose, we introduce a notion of connectors which consist of a number of interconnected, user-defined primitives with fixed behavior. While the structure of connectors resembles hypergraphs, their semantics is given in terms of so-called port automata. We define both models in a categorical setting where composition operations can be elegantly defined and integrated. Specifically, we formalize structural gluings of connectors as pushouts, and joins of port automata as pullbacks. We then define a semantical functor from the connector to the port automata category which preserves this composition. We further show how to encode Reo connectors and Petri nets into this model and indicate applications to dynamic reconfigurations modeled using double pushout graph transformation