1,381 research outputs found
Complexity Bounds for Ordinal-Based Termination
`What more than its truth do we know if we have a proof of a theorem in a
given formal system?' We examine Kreisel's question in the particular context
of program termination proofs, with an eye to deriving complexity bounds on
program running times.
Our main tool for this are length function theorems, which provide complexity
bounds on the use of well quasi orders. We illustrate how to prove such
theorems in the simple yet until now untreated case of ordinals. We show how to
apply this new theorem to derive complexity bounds on programs when they are
proven to terminate thanks to a ranking function into some ordinal.Comment: Invited talk at the 8th International Workshop on Reachability
Problems (RP 2014, 22-24 September 2014, Oxford
N2O emissions from the global agricultural nitrogen cycle – current state and future scenarios
Reactive nitrogen (Nr) is not only an important nutrient for plant growth, thereby safeguarding human alimentation, but it also heavily disturbs natural systems. To mitigate air, land, aquatic, and atmospheric pollution caused by the excessive availability of Nr, it is crucial to understand the long-term development of the global agricultural Nr cycle.
For our analysis, we combine a material flow model with a land-use optimization model. In a first step we estimate the state of the Nr cycle in 1995. In a second step we create four scenarios for the 21st century in line with the SRES storylines.
Our results indicate that in 1995 only half of the Nr applied to croplands was incorporated into plant biomass. Moreover, less than 10 per cent of all Nr in cropland plant biomass and grazed pasture was consumed by humans. In our scenarios a strong surge of the Nr cycle occurs in the first half of the 21st century, even in the environmentally oriented scenarios. Nitrous oxide (N2O) emissions rise from 3 Tg N2O-N in 1995 to 7–9 in 2045 and 5–12 Tg in 2095. Reinforced Nr pollution mitigation efforts are therefore required
Active laser frequency stabilization using neutral praseodymium (Pr)
We present a new possibility for the active frequency stabilization of a
laser using transitions in neutral praseodymium. Because of its five outer
electrons, this element shows a high density of energy levels leading to an
extremely line-rich excitation spectrum with more than 25000 known spectral
lines ranging from the UV to the infrared. We demonstrate the active frequency
stabilization of a diode laser on several praseodymium lines between 1105 and
1123 nm. The excitation signals were recorded in a hollow cathode lamp and
observed via laser-induced fluorescence. These signals are strong enough to
lock the diode laser onto most of the lines by using standard laser locking
techniques. In this way, the frequency drifts of the unlocked laser of more
than 30 MHz/h were eliminated and the laser frequency stabilized to within
1.4(1) MHz for averaging times >0.2 s. Frequency quadrupling the stabilized
diode laser can produce frequency-stable UV-light in the range from 276 to 281
nm. In particular, using a strong hyperfine component of the praseodymium
excitation line E = 16 502.616_7/2 cm^-1 -> E' = 25 442.742_9/2 cm^-1 at lambda
= 1118.5397(4) nm makes it possible - after frequency quadruplication - to
produce laser radiation at lambda/4 = 279.6349(1) nm, which can be used to
excite the D2 line in Mg^+.Comment: 10 pages, 14 figure
A randomized phase II study comparing two schedules of the 21-day regimen of gemcitabine and carboplatin in advanced non-small cell lung cancer
Purpose: Carboplatin area under the curve (AUC) 5 ml/min on day 1 with gemcitabine 1,250 mg/m2on day 1 and day 8 is a widely used regimen in advanced non-small cell lung cancer. Grade 3-4 thrombocytopenia and neutropenia are frequent. The aim of this study is to investigate whether toxicity of gemcitabine/carboplatin could be reduced by administering carboplatin on day 8 instead of
Modification of the rho meson detected by low-mass electron-positron pairs in central Pb-Au collisions at 158 A GeV/c
We present a measurement of pair production in central Pb-Au
collisions at 158 GeV/. As reported earlier, a significant excess of the
pair yield over the expectation from hadron decays is observed. The
improved mass resolution of the present data set, recorded with the upgraded
CERES experiment at the CERN-SPS, allows for a comparison of the data with
different theoretical approaches. The data clearly favor a substantial
in-medium broadening of the spectral function over a density-dependent
shift of the pole mass. The in-medium broadening model implies that
baryon induced interactions are the key mechanism to in-medium modifications of
the -meson in the hot fireball at SPS energy.Comment: Revised versio
Recent results from Pb-Au collisions at 158 GeV/c per nucleon obtained with the CERES spectrometer
During the 1996 lead run time, CERES has accumulated 42 million events,
corresponding to a factor of 5 more statistics than in 1995 and 2.5 million
events of a special photon-run. We report on the results of the low-mass
ee-pair analysis. Since the most critical item is the poor
signal-to-background ratio we also discuss the understanding of this
background, in absolute terms, with the help of a detailed Monte Carlo
simulation. We show preliminary results of the photon analysis and summarize
the results of the hadron analysis preliminarily reported on already at QM'97Comment: 10 pages, 9 figures, Proceedings of the XIV Int. Conf. on
Nucleus-Nucleus Collisions,Quark Matter 99, Torino, Italy, May 10 - 15, 199
Event-by-event fluctuations at SPS
Results on event-by-event fluctuations of the mean transverse momentum and
net charge in Pb-Au collisions, measured by the CERES Collaboration at
CERN-SPS, are presented. We discuss the centrality and beam energy dependence
and compare our data to cascade calculations.Comment: 4 pages, 4 figures, proceedings to INPC2004 Goteborg, Swede
New Results on Pb-Au Collisions at 40 AGeV from the CERES/NA45 Experiment
In 1999 the CERES/NA45 ran at the CERN SPS with a beam energy of 40
GeV/nucleon. The data set comprises about 8.7 millions Pb-Au events with a
trigger selection corresponding to approximately the most central 30% of the
geometrical cross section. Results on low-mass electron pair analysis are
presented.
The upgrade of the experimental setup with the radial drift TPC has allowed
to enhance hadron physics capabilities of the experiment. New results on hadron
spectra (including Lambda) and flow are presented.Comment: Talk at the International Nuclear Physics Conference INPC2001,
Berkeley, CA, July 29th - August 3rd 200
An anti-ICAM-2 (CD102) monoclonal antibody induces immune-mediated regressions of transplanted ICAM-2-negative colon carcinomas
Monoclonal antibodies (mAbs) can mediate antitumor effects by indirect mechanisms involving antiangiogenesis and up-regulation of the cellular immune response rather than by direct tumor cell destruction. From mAbs raised by immunization of rats with transformed murine endothelial cells, a mAb (EOL4G8) was selected for its ability to eradicate a fraction of established colon carcinomas that did not express the EOL4G8-recognized antigen. The antigen was found to be ICAM-2 (CD102). Antitumor effects of EOL4G8, which required a functional T-cell compartment, were abrogated by depletion of CD8(+) cells and correlated with antitumor CTL activity, whereas only a mild inhibition of angiogenesis was observed. Interestingly, we found that EOL4G8 acting on endothelial ICAM-2 markedly enhances leukotactic factor activity-1-independent adhesion of immature dendritic cells to endothelium-an effect that is at least in part mediated by DC-SIGN (CD209)
Diffusion in Stationary Flow from Mesoscopic Non-equilibrium Thermodynamics
We analyze the diffusion of a Brownian particle in a fluid under stationary
flow. By using the scheme of non-equilibrium thermodynamics in phase space, we
obtain the Fokker-Planck equation which is compared with others derived from
kinetic theory and projector operator techniques. That equation exhibits
violation of the fluctuation dissipation-theorem. By implementing the
hydrodynamic regime described by the first moments of the non-equilibrium
distribution, we find relaxation equations for the diffusion current and
pressure tensor, allowing us to arrive at a complete description of the system
in the inertial and diffusion regimes. The simplicity and generality of the
method we propose, makes it applicable to more complex situations, often
encountered in problems of soft condensed matter, in which not only one but
more degrees of freedom are coupled to a non-equilibrium bath.Comment: 10 pages, accepted in Phys. Rev.
- …