6,870 research outputs found
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
Uterine expression of smooth muscle alpha- and gamma-actin and smooth muscle myosin in bitches diagnosed with uterine inertia and obstructive dystocia
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 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
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
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
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
- …