1,242 research outputs found
Controlled deflection of cold atomic clouds and of Bose-Einstein condensates
We present a detailed, realistic proposal and analysis of the implementation
of a cold atom deflector using time-dependent far off-resonance optical guides.
An analytical model and numerical simulations are used to illustrate its
characteristics when applied to both non-degenerate atomic ensembles and to
Bose-Einstein condensates. Using for all relevant parameters values that are
achieved with present technology, we show that it is possible to deflect almost
entirely an ensemble of Rb atoms falling in the gravity field. We
discuss the limits of this proposal, and illustrate its robustness against
non-adiabatic transitions
Probably Safe or Live
This paper presents a formal characterisation of safety and liveness
properties \`a la Alpern and Schneider for fully probabilistic systems. As for
the classical setting, it is established that any (probabilistic tree) property
is equivalent to a conjunction of a safety and liveness property. A simple
algorithm is provided to obtain such property decomposition for flat
probabilistic CTL (PCTL). A safe fragment of PCTL is identified that provides a
sound and complete characterisation of safety properties. For liveness
properties, we provide two PCTL fragments, a sound and a complete one. We show
that safety properties only have finite counterexamples, whereas liveness
properties have none. We compare our characterisation for qualitative
properties with the one for branching time properties by Manolios and Trefler,
and present sound and complete PCTL fragments for characterising the notions of
strong safety and absolute liveness coined by Sistla
Bose-Einstein condensation in dark power-law laser traps
We investigate theoretically an original route to achieve Bose-Einstein
condensation using dark power-law laser traps. We propose to create such traps
with two crossing blue-detuned Laguerre-Gaussian optical beams. Controlling
their azimuthal order allows for the exploration of a multitude of
power-law trapping situations in one, two and three dimensions, ranging from
the usual harmonic trap to an almost square-well potential, in which a
quasi-homogeneous Bose gas can be formed. The usual cigar-shaped and
disk-shaped Bose-Einstein condensates obtained in a 1D or 2D harmonic trap take
the generic form of a "finger" or of a "hockey puck" in such Laguerre-Gaussian
traps. In addition, for a fixed atom number, higher transition temperatures are
obtained in such configurations when compared with a harmonic trap of same
volume. This effect, which results in a substantial acceleration of the
condensation dynamics, requires a better but still reasonable focusing of the
Laguerre-Gaussian beams
Expression and signal transduction of the glucagon receptor in ÎČTC3 cells
AbstractThe expression and signal transduction of the glucagon receptor (GR) have been studied in ÎČTC3 cells. Northern blot and RT-PCR analysis indicated the expression of the GR gene in ÎČTC3 cells. One-5 nM glucagon stimulated a 2.5-fold increase in the IPs production. At glucagon concentrations higher than 5 nM, the production of IPs was blunted but not abolished. The accumulation of intracellular cAMP was observed following the stimulation with 5 nM of glucagon. A maximal 4.5-fold increase in cAMP was observed using 250 nM glucagon and higher. Comparative studies using a glucagon anatogonist, des-His1[Glu]9glucagon, showed no effect on intracellular cAMP and IPs in ÎČTC3 cells. Our data shows that the GR gene is expressed in ÎČTC3 cells. The GR in ÎČTC3 cells transmits its intracellular signal by causing the accumulation of both IPs and cAMP
Iterative Approximate Consensus in the presence of Byzantine Link Failures
This paper explores the problem of reaching approximate consensus in
synchronous point-to-point networks, where each directed link of the underlying
communication graph represents a communication channel between a pair of nodes.
We adopt the transient Byzantine link failure model [15, 16], where an
omniscient adversary controls a subset of the directed communication links, but
the nodes are assumed to be fault-free.
Recent work has addressed the problem of reaching approximate consen- sus in
incomplete graphs with Byzantine nodes using a restricted class of iterative
algorithms that maintain only a small amount of memory across iterations [22,
21, 23, 12]. However, to the best of our knowledge, we are the first to
consider approximate consensus in the presence of Byzan- tine links. We extend
our past work that provided exact characterization of graphs in which the
iterative approximate consensus problem in the presence of Byzantine node
failures is solvable [22, 21]. In particular, we prove a tight necessary and
sufficient condition on the underlying com- munication graph for the existence
of iterative approximate consensus algorithms under transient Byzantine link
model. The condition answers (part of) the open problem stated in [16].Comment: arXiv admin note: text overlap with arXiv:1202.609
Irrigated grassland monitoring using a time series of terraSAR-X and COSMO-skyMed X-Band SAR Data
[Departement_IRSTEA]Territoires [TR1_IRSTEA]SYNERGIE [Axe_IRSTEA]TETIS-ATTOSInternational audienceThe objective of this study was to analyze the sensitivity of radar signals in the X-band in irrigated grassland conditions. The backscattered radar signals were analyzed according to soil moisture and vegetation parameters using linear regression models. A time series of radar (TerraSAR-X and COSMO-SkyMed) and optical (SPOT and LANDSAT) images was acquired at a high temporal frequency in 2013 over a small agricultural region in southeastern France. Ground measurements were conducted simultaneously with the satellite data acquisitions during several grassland growing cycles to monitor the evolution of the soil and vegetation characteristics. The comparison between the Normalized Difference Vegetation Index (NDVI) computed from optical images and the in situ Leaf Area Index (LAI) showed a logarithmic relationship with a greater scattering for the dates corresponding to vegetation well developed before the harvest. The correlation between the NDVI and the vegetation parameters (LAI, vegetation height, biomass, and vegetation water content) was high at the beginning of the growth cycle. This correlation became insensitive at a certain threshold corresponding to high vegetation (LAI ~2.5 m2/m2). Results showed that the radar signal depends on variations in soil moisture, with a higher sensitivity to soil moisture for biomass lower than 1 kg/mÂČ. HH and HV polarizations had approximately similar sensitivities to soil moisture. The penetration depth of the radar wave in the X-band was high, even for dense and high vegetation; flooded areas were visible in the images with higher detection potential in HH polarization than in HV polarization, even for vegetation heights reaching 1 m. Lower sensitivity was observed at the X-band between the radar signal and the vegetation parameters with very limited potential of the X-band to monitor grassland growth. These results showed that it is possible to track gravity irrigation and soil moisture variations from SAR X-band images acquired at high spatial resolution (an incidence angle near 30°)
Approximate Consensus in Highly Dynamic Networks: The Role of Averaging Algorithms
In this paper, we investigate the approximate consensus problem in highly
dynamic networks in which topology may change continually and unpredictably. We
prove that in both synchronous and partially synchronous systems, approximate
consensus is solvable if and only if the communication graph in each round has
a rooted spanning tree, i.e., there is a coordinator at each time. The striking
point in this result is that the coordinator is not required to be unique and
can change arbitrarily from round to round. Interestingly, the class of
averaging algorithms, which are memoryless and require no process identifiers,
entirely captures the solvability issue of approximate consensus in that the
problem is solvable if and only if it can be solved using any averaging
algorithm. Concerning the time complexity of averaging algorithms, we show that
approximate consensus can be achieved with precision of in a
coordinated network model in synchronous
rounds, and in rounds when
the maximum round delay for a message to be delivered is . While in
general, an upper bound on the time complexity of averaging algorithms has to
be exponential, we investigate various network models in which this exponential
bound in the number of nodes reduces to a polynomial bound. We apply our
results to networked systems with a fixed topology and classical benign fault
models, and deduce both known and new results for approximate consensus in
these systems. In particular, we show that for solving approximate consensus, a
complete network can tolerate up to 2n-3 arbitrarily located link faults at
every round, in contrast with the impossibility result established by Santoro
and Widmayer (STACS '89) showing that exact consensus is not solvable with n-1
link faults per round originating from the same node
Citizens' perception of the Cohesion Policy and support for the European Union
Using a novel database, this study assesses the impact of the perception of the personal benefits of the EU Cohesion Policy on support for the European project. The results show that the gap in support between people who claim to have benefited from the Cohesion Policy and those who feel they have not vanished once differences in individual traits and reverse causality are taken into account. This means that, despite the significant positive effect that the intensity of the Cohesion Policy in the region exerts on the perception of the policy, it does not stimulate support for the EU
- âŠ