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 $e^+e^-$ pair production in central Pb-Au collisions at 158$A$ GeV/$c$. As reported earlier, a significant excess of the $e^+e^-$ 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 $\rho$ spectral function over a density-dependent shift of the $\rho$ pole mass. The in-medium broadening model implies that baryon induced interactions are the key mechanism to in-medium modifications of the $\rho$-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 e$^+$e$^-$-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

Mean flow and spiral defect chaos in Rayleigh-Benard convection

We describe a numerical procedure to construct a modified velocity field that does not have any mean flow. Using this procedure, we present two results. Firstly, we show that, in the absence of mean flow, spiral defect chaos collapses to a stationary pattern comprising textures of stripes with angular bends. The quenched patterns are characterized by mean wavenumbers that approach those uniquely selected by focus-type singularities, which, in the absence of mean flow, lie at the zig-zag instability boundary. The quenched patterns also have larger correlation lengths and are comprised of rolls with less curvature. Secondly, we describe how mean flow can contribute to the commonly observed phenomenon of rolls terminating perpendicularly into lateral walls. We show that, in the absence of mean flow, rolls begin to terminate into lateral walls at an oblique angle. This obliqueness increases with Rayleigh number.Comment: 14 pages, 19 figure

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.