Measurement and simulation of laser-induced fluorescence from non-equilibrium ultracold neutral plasmas

We report new measurements and simulations of laser-induced fluorescence in ultracold neutral plasmas. We focus on the earliest times, when the plasma equilibrium is evolving and before the plasma expands. In the simulation, the ions interact via the Yukawa potential in a small cell with wrapped boundary conditions. We solve the optical Bloch equation for each ion in the simulation as a function of time. Both the simulation and experiment show the initial Bloch vector rotation, disorder-induced heating, and coherent oscillation of the rms ion velocity. Detailed modeling of the fluorescence signal makes it possible to use fluorescence spectroscopy to probe ion dynamics in ultracold and strongly coupled plasmas

Measurement and simulation of laser-induced fluorescence from non-equilibrium ultracold neutral plasmas

We report new measurements and simulations of laser-induced fluorescence in ultracold neutral plasmas. We focus on the earliest times, when the plasma equilibrium is evolving and before the plasma expands. In the simulation, the ions interact via the Yukawa potential in a small cell with wrapped boundary conditions. We solve the optical Bloch equation for each ion in the simulation as a function of time. Both the simulation and experiment show the initial Bloch vector rotation, disorder-induced heating, and coherent oscillation of the rms ion velocity. Detailed modeling of the fluorescence signal makes it possible to use fluorescence spectroscopy to probe ion dynamics in ultracold and strongly coupled plasmas

Non-interference for deterministic interactive programs

We consider the problem of defining an appropriate notion of non-interference (NI) for deterministic interactive programs. Previous work on the security of interactive programs by O'Neill, Clarkson and Chong (CSFW 2006) builds on earlier ideas due to Wittbold and Johnson (Symposium on Security and Privacy 1990), and argues for a notion of NI defined in terms of strategies modelling the behaviour of users. We show that, for deterministic interactive programs, it is not necessary to consider strategies and that a simple stream model of the users' behaviour is sufficient. The key technical result is that, for deterministic programs, stream-based NI implies the apparently more general strategy-based NI (in fact we consider a wider class of strategies than those of O'Neill et al). We give our results in terms of a simple notion of Input-Output Labelled Transition System, thus allowing application of the results to a large class of deterministic interactive programming languages

Global Estimates of PBL Depth from Space-Borne LIDAR

The planetary boundary layer (PBL) is responsible for communicating the exchange of energy, moisture, momentum, pollutants, and aerosols between the surface and the free atmosphere and is therefore crucial to many studies of the atmosphere. Unfortunately, there have historically been few observations of this important layer due to the complexity involved in its measurement. However, with the advent of more advanced satellites, global measurements of the PBL are now becoming possible. The PBL is often characterized by a high concentration of aerosols within the layer and low level clouds capping it and these are observable from space. The Cloud-Aerosol Lidar and Infrared Pathfinder Satellite Observations (CALIPSO) satellite was launched in 2006 with the intention of observing aerosols and clouds and was the first space-based LIDAR optimized for this purpose. CALIPSO observations are therefore well suited to observing the depth of the PBL. Since it was launched, CALIPSO has been making nearly continuous measurements enabling a global picture of PBL depth. We plan to present a global PBL depth product and how it evolves throughout the year. The product is able to identify deeper PBL depths in the summer hemisphere over land and deeper depths along the northern hemisphere oceanic storm tracks in winter associated with cold air traveling over warm water. Large seasonal cycles are also evident in the subtropical desert locations among other features. In addition, comparisons will be made between several estimates of PBL depth based on turbulent intensity, meteorology profiles, and aerosol profiles from the GEOS5 model

Detecting control flow in Smarphones: Combining static and dynamic analyses

International audienceSecurity in embedded systems such as smartphones requires protection of confidential data and applications. Many of security mechanisms use dynamic taint analysis techniques for tracking information flow in software. But these techniques cannot detect control flows that use conditionals to implicitly transfer information from objects to other objects. In particular, malicious applications can bypass Android system and get privacy sensitive information through control flows. We propose an enhancement of dynamic taint analysis that propagates taint along control dependencies by using the static analysis in embedded system such as Google Android operating system. By using this new approach, it becomes possible to protect sensitive information and detect most types of software exploits without reporting too many false positives

Preliminary risk assessment for nuclear waste disposal in space, volume 2

Safety guidelines are presented. Waste form, waste processing and payload fabrication facilities, shipping casks and ground transport vehicles, payload primary container/core, radiation shield, reentry systems, launch site facilities, uprooted space shuttle launch vehicle, Earth packing orbits, orbit transfer systems, and space destination are discussed. Disposed concepts and risks are then discussed

The PER model of abstract non-interference

Abstract. In this paper, we study the relationship between two models of secure information flow: the PER model (which uses equivalence relations) and the abstract non-interference model (which uses upper closure operators). We embed the lattice of equivalence relations into the lattice of closures, re-interpreting abstract non-interference over the lattice of equivalence relations. For narrow abstract non-interference, we show non-interference it is strictly less general. The relational presentation of abstract non-interference leads to a simplified construction of the most concrete harmless attacker. Moreover, the PER model of abstract noninterference allows us to derive unconstrained attacker models, which do not necessarily either observe all public information or ignore all private information. Finally, we show how abstract domain completeness can be used for enforcing the PER model of abstract non-interference

Development and validation of broad-spectrum magnetic particle labelling processes for cell therapy manufacturing

BACKGROUND: Stem cells are increasingly seen as a solution for many health challenges for an ageing population. However, their potential benefits in the clinic are currently curtailed by technical challenges such as high cell dose requirements and point of care delivery, which pose sourcing and logistics challenges. Cell manufacturing solutions are currently in development to address the supply issue, and ancillary technologies such as nanoparticle-based labelling are being developed to improve stem cell delivery and enable post-treatment follow-up. METHODS: The application of magnetic particle (MP) labelling to potentially scalable cell manufacturing processes was investigated in a range of therapeutically relevant cells, including mesenchymal stromal cells (MSC), cardiomyocytes (CMC) and neural progenitor cells (ReN). The efficiency and the biological effect of particle labelling were analysed using fluorescent imaging and cellular assays. RESULTS: Flow cytometry and fluorescent microscopy confirmed efficient labelling of monolayer cultures. Viability was shown to be retained post labelling for all three cell types. MSC and CMC demonstrated higher tolerance to MP doses up to 100× the standard concentration. This approach was also successful for MP labelling of suspension cultures, demonstrating efficient MP uptake within 3 h, while cell viability was unaffected by this suspension labelling process. Furthermore, a procedure to enable the storing of MP-labelled cell populations to facilitate cold chain transport to the site of clinical use was investigated. When MP-labelled cells were stored in hypothermic conditions using HypoThermosol solution for 24 h, cell viability and differentiation potential were retained post storage for ReN, MSC and beating CMC. CONCLUSIONS: Our results show that a generic MP labelling strategy was successfully developed for a range of clinically relevant cell populations, in both monolayer and suspension cultures. MP-labelled cell populations were able to undergo transient low-temperature storage whilst maintaining functional capacity in vitro. These results suggest that this MP labelling approach can be integrated into cell manufacturing and cold chain transport processes required for future cell therapy approaches

Bioluminescence imaging of human embryonic stem cells transplanted in vivo in murine and chick models

Research into the behavior, efficacy, and biosafety of stem cells with a view to clinical transplantation requires the development of noninvasive methods for in vivo imaging of cells transplanted into animal models. This is particularly relevant for human embryonic stem cells (hESCs), because transplantation of undifferentiated hESCs leads to tumor formation. The present study aimed to monitor hESCs in real time when injected in vivo. hESCs were stably transfected to express luciferase, and luciferase expression was clearly detected in the undifferentiated and differentiated state. When transfected hESCs were injected into chick embryos, bioluminescence could be detected both ex and in ovo. In the SCID mouse model, undifferentiated hESCs were detectable after injection either into the muscle layer of the peritoneum or the kidney capsule. Tumors became detectable between days 10-30, with approximately a 3 log increase in the luminescence signal by day 75. The growth phase occurred earlier in the kidney capsule and then reached a plateau, whilst tumors in the peritoneal wall grew steadily throughout the period analysed. These results show the widespread utility of bioluminescent for in vivo imaging of hESCs in a variety of model systems for preclinical research into regenerative medicine and cancer biology. © Copyright 2009, Mary Ann Liebert, Inc