Non-adiabatic dynamics of molecules in optical cavities

Strong coupling of molecules to the vacuum field of micro cavities can modify the potential energy surfaces opening new photophysical and photochemical reaction pathways. While the influence of laser fields is usually described in terms of classical field, coupling to the vacuum state of a cavity has to be described in terms of dressed photon-matter states (polaritons) which require quantized fields. We present a derivation of the non-adiabatic couplings for single molecules in the strong coupling regime suitable for the calculation of the dressed state dynamics. The formalism allows to use quantities readily accessible from quantum chemistry codes like the adiabatic potential energy surfaces and dipole moments to carry out wave packet simulations in the dressed basis. The implications for photochemistry are demonstrated for a set of model systems representing typical situations found in molecules

Formal methods for industrial critical systems, preface to the special section

[EN] This special issue contains improved versions of selected papers from the workshops on Formal Methods for Industrial Critical Systems (FMICS) held in Eindhoven, The Netherlands, in November 2009 and in Antwerp, Belgium, in September 2010. These were, respectively, the 14th and 15th of a series of international workshops organized by an open working group supported by ERCIM (European Research Consortium for Informatics and Mathematics) that promotes research in all aspects of formal methods (see details in http://www.inrialpes.fr/vasy/fmics/). The FMICS workshops that have produced this special issue considered papers describing original, previously unpublished research and not simultaneously submitted for publication elsewhere, and dealing with the following themes: Design, specification, code generation and testing based on formal methods. Methods, techniques and tools to support automated analysis, certification, debugging, learning, optimization and transformation of complex, distributed, real-time and embedded systems. Verification and validation methods that address shortcomings of existing methods with respect to their industrial applicability (e.g., scalability and usability issues). Tools for the development of formal design descriptions. Case studies and experience reports on industrial applications of formal methods, focusing on lessons learned or new research directions. Impact and costs of the adoption of formal methods. Application of formal methods in standardization and industrial forums. The selected papers are the result of several evaluation steps. In response to the call for papers, FMICS 2009 received 24 papers and FMICS 2010 received 33 papers, with 10 and 14 accepted, respectively, which were published by Springer- Verlag in the series Lecture Notes in Computer Science (volumes 5825 [1] and 6371 [2]). Each paper was reviewed by at least three anonymous referees which provided full written evaluations. After the workshops, the authors of 10 papers were invited to submit extended journal versions to this special issue. These papers passed two review phases, and finally 7 were accepted to be included in the journal.his work has been partially supported by the EU (FEDER) and the Spanish MEC TIN2010-21062-C02-02 project, MICINN INNCORPORA-PTQ program, and by Generalitat Valenciana, ref. PROMETEO2011/052.Alpuente Frasnedo, M.; Joubert ., C.; Kowalewski, S.; Roveri, M. (2013). Formal methods for industrial critical systems, preface to the special section. Science of Computer Programming. 78(7):775-777. doi:10.1016/j.scico.2012.05.005S77577778

The regional-scale surface mass balance of Pine Island Glacier, West Antarctica, over the period 2005--2014, derived from airborne radar soundings and neutron probe measurements

We derive recent surface mass balance (SMB) estimates from airborne radar observations along the iSTAR traverse (2013, 2014) at Pine Island Glacier (PIG), West Antarctica. Ground-based neutron probe measurements provide information of snow and firn density with depth at 22 locations and were used to date internal annual reflection layers. The 2005 layer was traced for a total distance of 2367 km to determine annual mean SMB for the period 2005–2014. Using complementary SMB estimates from two regional climate models, RACMO2.3p2 and MAR, and a geostatistical kriging scheme, we determine a regional-scale SMB distribution with similar main characteristics to that determined for the period 1985–2009 in previous studies. Local departures exist for the northern PIG slopes, where the orographic precipitation shadow effect appears to be more pronounced in our observations, and the southward interior, where the SMB gradient is more pronounced in previous studies. We derive total mass inputs of 79.9 +/- 19.2 and 82.1 +/- 19.2 Gt yr-1 to the PIG basin based on complementary ASIRAS–RACMO and ASIRAS–MAR SMB estimates, respectively. These are not significantly different to the value of 78.3 +/- 6.8 Gt yr-1 for the period 1985–2009. Thus, there is no evidence of a secular trend at decadal scales in total mass input to the PIG basin. We note, however, that our estimated uncertainty is more than twice the uncertainty for the 1985–2009 estimate on total mass input. Our error analysis indicates that uncertainty estimates on total mass input are highly sensitive to the selected krige methodology and assumptions made on the interpolation error, which we identify as the main cause for the increased uncertainty range compared to the 1985–2009 estimates

Effects of Orthogonal Rotating Electric Fields on Electrospinning Process

Electrospinning is a nanotechnology process whereby an external electric field is used to accelerate and stretch a charged polymer jet, so as to produce fibers with nanoscale diameters. In quest of a further reduction in the cross section of electrified jets hence of a better control on the morphology of the resulting electrospun fibers, we explore the effects of an external rotating electric field orthogonal to the jet direction. Through extensive particle simulations, it is shown that by a proper tuning of the electric field amplitude and frequency, a reduction of up to a $30 \%$ in the aforementioned radius can be obtained, thereby opening new perspectives in the design of future ultra-thin electrospun fibres. Applications can be envisaged in the fields of nanophotonic components as well as for designing new and improved filtration materials.Comment: 22 pages, 8 figure

Effects of ACTH-Induced Long-Term Hypercortisolism on the Transcriptome of Canine Visceral Adipose Tissue

Cushing’s syndrome, or hypercortisolism (HC), a common endocrinopathy in adult dogs, is caused by chronic hypercortisolemia. Among different metabolic disorders, this syndrome is associated with enhanced subcutaneous lipolysis and visceral adiposity. However, effects of HC in adipose tissue, especially regarding visceral adipose tissue (VAT), are still poorly understood. Herein, the transcriptomic effects of chronic HC on VAT of dogs were evaluated. For this, subcutaneously implanted ACTH-releasing pumps were used, followed by deep RNA sequencing of the canine VAT. Prolonged HC seems to affect a plethora of regulatory mechanisms in VAT of treated dogs, with 1190 differentially expressed genes (DEGs, p and FDR < 0.01) being found. The 691 downregulated DEGs were mostly associated with functional terms like cell adhesion and migration, intracellular signaling, immune response, extracellular matrix and angiogenesis. Treatment also appeared to modulate local glucocorticoid and insulin signaling and hormonal sensitivity, and several factors, e.g., TIMP4, FGF1, CCR2, CXCR4 and HSD11B1/2, were identified as possible important players in the glucocorticoid-related expansion of VAT. Modulation of their function during chronic HC might present interesting targets for further clinical studies. Similarities in the effects of chronic HC on VAT of dogs and humans are highlighted

Freshwater Mussel Shells as Environmental Chronicles: Geochemical and Taphonomic Signatures of Mercury-Related Extirpations in the North Fork Holston River, Virginia

This study utilized freshwater mussel shells to assess mercury (Hg) contamination in the North Fork Holston River that extirpated (caused local extinctions of) a diverse mussel fauna. Shells (n = 366) were collected from five sites situated upstream (two sites), just below (one site), and downstream (two sites) of the town of Saltville, Virginia, where Hg was used to produce chlorine and caustic soda from 1950 to 1972. Shell samples were used to test the (1) utility of geochemical signatures of shells for assessing the spatial variation in Hg levels in the river relative to the contamination source and (2) value of taphonomy (post-mortem shell alteration) for distinguishing sites that differ in extirpation histories. Geochemical signatures of 40 shells, analyzed using atomic absorption spectroscopy, indicated a strong longitudinal pattern. All shells from the two upstream sites had low Hg concentrations (<5−31 μg/kg), shells directly below Saltville had variable, but dramatically higher concentrations (23−4637 μg/kg), and shells from the two downstream sites displayed intermediate Hg levels (<5−115 μg/kg) that declined with distance from Saltville. Two pre-industrial shells, collected at Saltville in 1917, yielded very low Hg estimates (5−6 μg/kg). Hg signatures were consistent among mussel species, suggesting that Hg concentrations were invariant to species type; most likely, highly variable Hg levels, both across sites and through time, overwhelmed any interspecific differences in Hg acquisition. Also, a notable post-mortem incorporation of Hg in mussel shells seemed unlikely, as the Hg content was not correlated with shell taphonomy (r = 0.18; p = 0.28). The taphonomic analysis (n = 366) showed that the degree of shell alteration reliably distinguished sites with different extirpation histories. At Saltville, where live mussels have been absent for at least 30 years, shells were most heavily altered and fragmented. Conversely, fresh-looking shells abounded upstream, where reproducing mussel populations are still present. In summary, relic shells offered valuable spatio-temporal data on Hg concentrations in a polluted ecosystem, and shell taphonomic signatures discriminated sites with different extirpation histories. The shell-based strategies exemplified here do not require sampling live specimens and may augment more standard strategies applied to environmental monitoring. The approach should prove especially useful in areas with unknown extirpation and pollution histories

Dean flow-coupled inertial focusing in curved channels

Passive particle focusing based on inertial microfluidics was recently introduced as a high-throughput alternative to active focusing methods that require an external force field to manipulate particles. In inertial microfluidics, dominant inertial forces cause particles to move across streamlines and occupy equilibrium positions along the faces of walls in flows through straight micro channels. In this study, we systematically analyzed the addition of secondary Dean forces by introducing curvature and show how randomly distributed particles entering a simple u-shaped curved channel are focused to a fixed lateral position exiting the curvature. We found the lateral particle focusing position to be fixed and largely independent of radius of curvature and whether particles entering the curvature are pre-focused (at equilibrium) or randomly distributed. Unlike focusing in straight channels, where focusing typically is limited to channel cross-sections in the range of particle size to create single focusing point, we report here particle focusing in a large cross-section area (channel aspect ratio 1: 10). Furthermore, we describe a simple u-shaped curved channel, with single inlet and four outlets, for filtration applications. We demonstrate continuous focusing and filtration of 10 mu m particles (with > 90% filtration efficiency) from a suspension mixture at throughputs several orders of magnitude higher than flow through straight channels (volume flow rate of 4.25ml/min). Finally, as an example of high throughput cell processing application, white blood cells were continuously processed with a filtration efficiency of 78% with maintained high viability. We expect the study will aid in the fundamental understanding of flow through curved channels and open the door for the development of a whole set of bio-analytical applications