20,526 research outputs found
Runtime Verification of Temporal Properties over Out-of-order Data Streams
We present a monitoring approach for verifying systems at runtime. Our
approach targets systems whose components communicate with the monitors over
unreliable channels, where messages can be delayed or lost. In contrast to
prior works, whose property specification languages are limited to
propositional temporal logics, our approach handles an extension of the
real-time logic MTL with freeze quantifiers for reasoning about data values. We
present its underlying theory based on a new three-valued semantics that is
well suited to soundly and completely reason online about event streams in the
presence of message delay or loss. We also evaluate our approach
experimentally. Our prototype implementation processes hundreds of events per
second in settings where messages are received out of order.Comment: long version of the CAV 2017 pape
Pivotal Role of Reduced Glutathione in Oxygen-induced Regulation of the Na + /K + Pump in Mouse Erythrocyte Membranes
This study addresses the mechanisms of oxygen-induced regulation of ion transport pathways in mouse erythrocyte, specifically focusing on the role of cellular redox state and ATP levels. Mouse erythrocytes possess Na+/K+ pump, K+-Cl− and Na+-K+-2Cl− cotransporters that have been shown to be potential targets of oxygen. The activity of neither cotransporter changed in response to hypoxia-reoxygenation. In contrast, the Na+/K+ pump responded to hypoxic treatment with reversible inhibition. Hypoxia-induced inhibition was abolished in Na+-loaded cells, revealing no effect of O2 on the maximal operation rate of the pump. Notably, the inhibitory effect of hypoxia was not followed by changes in cellular ATP levels. Hypoxic exposure did, however, lead to a rapid increase in cellular glutathione (GSH) levels. Decreasing GSH to normoxic levels under hypoxic conditions abolished hypoxia-induced inhibition of the pump. Furthermore, GSH added to the incubation medium was able to mimic hypoxia-induced inhibition. Taken together these data suggest a pivotal role of intracellular GSH in oxygen-induced modulation of the Na+/K+ pump activit
Critical curves in conformally invariant statistical systems
We consider critical curves -- conformally invariant curves that appear at
critical points of two-dimensional statistical mechanical systems. We show how
to describe these curves in terms of the Coulomb gas formalism of conformal
field theory (CFT). We also provide links between this description and the
stochastic (Schramm-) Loewner evolution (SLE). The connection appears in the
long-time limit of stochastic evolution of various SLE observables related to
CFT primary fields. We show how the multifractal spectrum of harmonic measure
and other fractal characteristics of critical curves can be obtained.Comment: Published versio
Information entropy in fragmenting systems
The possibility of facing critical phenomena in nuclear fragmentation is a
topic of great interest. Different observables have been proposed to identify
such a behavior, in particular, some related to the use of information entropy
as a possible signal of critical behavior. In this work we critically examine
some of the most widespread used ones comparing its performance in bond
percolation and in the analysis of fragmenting Lennard Jones Drops.Comment: 3 pages, 3 figure
Droplet shapes on structured substrates and conformal invariance
We consider the finite-size scaling of equilibrium droplet shapes for fluid
adsorption (at bulk two-phase co-existence) on heterogeneous substrates and
also in wedge geometries in which only a finite domain of the
substrate is completely wet. For three-dimensional systems with short-ranged
forces we use renormalization group ideas to establish that both the shape of
the droplet height and the height-height correlations can be understood from
the conformal invariance of an appropriate operator. This allows us to predict
the explicit scaling form of the droplet height for a number of different
domain shapes. For systems with long-ranged forces, conformal invariance is not
obeyed but the droplet shape is still shown to exhibit strong scaling
behaviour. We argue that droplet formation in heterogeneous wedge geometries
also shows a number of different scaling regimes depending on the range of the
forces. The conformal invariance of the wedge droplet shape for short-ranged
forces is shown explicitly.Comment: 20 pages, 7 figures. (Submitted to J.Phys.:Cond.Mat.
Shape-Function Effects and Split Matching in B-> Xs l+ l-
We derive the triply differential spectrum for the inclusive rare decay B ->
Xs l+ l- in the shape function region, in which Xs is jet-like with . Experimental cuts make this a relevant region. The
perturbative and non-perturbative parts of the matrix elements can be defined
with the Soft-Collinear Effective Theory, which is used to incorporate alphas
corrections consistently. We show that, with a suitable power counting for the
dilepton invariant mass, the same universal jet and shape functions appear as
in B-> Xs gamma and B-> Xu l nu decays. Parts of the usual alphas(m_b)
corrections go into the jet function at a lower scale, and parts go into the
non-perturbative shape function. For B -> Xs l+ l-, the perturbative series in
alphas are of a different character above and below mu=mb. We introduce a
``split matching'' method that allows the series in these regions to be treated
independently.Comment: 33 pages; journal versio
MEVA - An interactive visualization application for validation of multifaceted meteorological data with multiple 3D devices
To achieve more realistic simulations, meteorologists develop and use models with increasing spatial and temporal resolution. The analyzing, comparing, and visualizing of resulting simulations becomes more and more challenging due to the growing amounts and multifaceted character of the data. Various data sources, numerous variables and multiple simulations lead to a complex database. Although a variety of software exists suited for the visualization of meteorological data, none of them fulfills all of the typical domain-specific requirements: support for quasi-standard data formats and different grid types, standard visualization techniques for scalar and vector data, visualization of the context (e.g., topography) and other static data, support for multiple presentation devices used in modern sciences (e.g., virtual reality), a user-friendly interface, and suitability for cooperative work
On Glauber modes in Soft-Collinear Effective Theory
Gluon interactions involving spectator partons in collisions at hadronic
machines are investigated. We find a class of examples in which a mode, called
Glauber gluons, must be introduced to the effective theory for consistency.Comment: 19 pages, three figures. Uses JHEP3.cl
Spitzer Space Telescope Observations of the Nucleus of Comet 103P/Hartley 2
We have used the Spitzer Space Telescope InfraRed Spectrograph (IRS) 22-μm peakup array to observe thermal emission from the nucleus and trail of comet 103P/Hartley 2, the target of NASA’s Deep Impact Extended Investigation (DIXI). The comet was observed on UT 2008 August 12 and 13, while 5.5 AU from the Sun. We obtained two 200 frame sets of photometric imaging over a 2.7 hr period. To within the errors of the measurement, we find no detection of any temporal variation between the two images. The comet showed extended emission beyond a point source in the form of a faint trail directed along the comet’s antivelocity vector. After modeling and removing the trail emission, a NEATM model for the nuclear emission with beaming parameter of 0.95 ± 0.20 indicates a small effective radius for the nucleus of 0.57 ± 0.08 km and low geometric albedo 0.028 ± 0.009 (1σ). With this nucleus size and a water production rate of 3 × 10^(28) molecules s^(-1) at perihelion, we estimate that ~100% of the surface area is actively emitting volatile material at perihelion. Reports of emission activity out to ~5 AU support our finding of a highly active nuclear surface. Compared to Deep Impact’s first target, comet 9P/Tempel 1, Hartley 2’s nucleus is one-fifth as wide (and about one-hundredth the mass) while producing a similar amount of outgassing at perihelion with about 13 times the active surface fraction. Unlike Tempel 1, comet Hartley 2 should be highly susceptible to jet driven spin-up torques, and so could be rotating at a much higher frequency. Since the amplitude of nongravitational forces are surprisingly similar for both comets, close to the ensemble average for ecliptic comets, we conclude that comet Hartley 2 must have a much more isotropic pattern of time-averaged outgassing from its nuclear surface. Barring a catastrophic breakup or major fragmentation event, the comet should be able to survive up to another 100 apparitions (~700 yr) at its current rate of mass loss
Spin-flip processes and ultrafast magnetization dynamics in Co - unifying the microscopic and macroscopic view of femtosecond magnetism
The femtosecond magnetization dynamics of a thin cobalt film excited with
ultrashort laser pulses has been studied using two complementary pump-probe
techniques, namely spin-, energy- and time-resolved photoemission and
time-resolved magneto-optical Kerr effect. Combining the two methods it is
possible to identify the microscopic electron spin-flip mechanisms responsible
for the ultrafast macroscopic magnetization dynamics of the cobalt film. In
particular, we show that electron-magnon excitation does not affect the overall
magnetization even though it is an efficient spin-flip channel on the sub-200
fs timescale. Instead we find experimental evidence for the relevance of
Elliott-Yafet type spin-flip processes for the ultrafast demagnetization taking
place on a time scale of 300 fs.Comment: 12 pages, 3 figures; accepted by Physical Review Letter
- …