Compression of sub-relativistic space-charge-dominated electron bunches for single-shot femtosecond electron diffraction

We demonstrate compression of 95 keV, space-charge-dominated electron bunches to sub-100 fs durations. These bunches have sufficient charge (200 fC) and are of sufficient quality to capture a diffraction pattern with a single shot, which we demonstrate by a diffraction experiment on a polycrystalline gold foil. Compression is realized by means of velocity bunching as a result of a velocity chirp, induced by the oscillatory longitudinal electric field of a 3 GHz radio-frequency cavity. The arrival time jitter is measured to be 80 fs

Dynamical Properties of small Polarons

On the basis of the two-site polaron problem, which we solve by exact diagonalization, we analyse the spectral properties of polaronic systems in view of discerning localized from itinerant polarons and bound polaron pairs from an ensemble of single polarons. The corresponding experimental techniques for that concern photoemission and inverse photoemission spectroscopy. The evolution of the density of states as a function of concentration of charge carriers and strength of the electron-phonon interaction clearly shows the opening up of a gap between single polaronic and bi-polaronic states, in analogy to the Hubbard problem for strongly correlated electron systems. The crossover regime between adiabatic and anti-adiabatic small polarons is triggered by two characteristic time scales: the renormalized electron hopping rate and the renormalized vibrational frequency becoming equal. This crossover regime is then characterized by temporarily alternating self- localization and delocalization of the charge carriers which is accompanied by phase slips in the charge and molecular deformation oscillations and ultimately leads to a dephasing between these two dynamical components of the polaron problem. We visualize these features by a study of the temporal evolution of the charge redistribution and the change in molecular deformations. The spectral and dynamical properties of polarons discussed here are beyond the applicability of the standard Lang Firsov approach to the polaron problem.Comment: 31 pages and 23 figs.(eps), accepted in the Phys. Rev.

Three-phase mass transfer in pillared micro channels

no abstrac

An ultrashort pulse ultra-violet radiation undulator source driven by a laser plasma wakefield accelerator

Narrow band undulator radiation tuneable over the wavelength range of 150–260 nm has been produced by short electron bunches from a 2 mm long laser plasma wakefield accelerator based on a 20 TW femtosecond laser system. The number of photons measured is up to 9 × 106 per shot for a 100 period undulator, with a mean peak brilliance of 1 × 1018 photons/s/mrad2/mm2/0.1% bandwidth. Simulations estimate that the driving electron bunch r.m.s. duration is as short as 3 fs when the electron beam has energy of 120–130 MeV with the radiation pulse duration in the range of 50–100 fs

Three-phase mass transfer in pillared micro channels

no abstrac

SMT-based Model Checking for Recursive Programs

We present an SMT-based symbolic model checking algorithm for safety verification of recursive programs. The algorithm is modular and analyzes procedures individually. Unlike other SMT-based approaches, it maintains both "over-" and "under-approximations" of procedure summaries. Under-approximations are used to analyze procedure calls without inlining. Over-approximations are used to block infeasible counterexamples and detect convergence to a proof. We show that for programs and properties over a decidable theory, the algorithm is guaranteed to find a counterexample, if one exists. However, efficiency depends on an oracle for quantifier elimination (QE). For Boolean Programs, the algorithm is a polynomial decision procedure, matching the worst-case bounds of the best BDD-based algorithms. For Linear Arithmetic (integers and rationals), we give an efficient instantiation of the algorithm by applying QE "lazily". We use existing interpolation techniques to over-approximate QE and introduce "Model Based Projection" to under-approximate QE. Empirical evaluation on SV-COMP benchmarks shows that our algorithm improves significantly on the state-of-the-art.Comment: originally published as part of the proceedings of CAV 2014; fixed typos, better wording at some place

Decreased exposure to sunitinib due to concomitant administration of ifosfamide: results of a phase I and pharmacokinetic study on the combination of sunitinib and ifosfamide in patients with advanced solid malignancies

Background:This study aimed to define the maximally tolerated dose (MTD) of sunitinib combined with two different infusion schedules of ifosfamide. Methods:Patients with advanced solid tumours, good performance score, good organ function, and no standard therapy available were eligible. Continuous once daily sunitinib, in escalating doses per cohort, was combined with ifosfamide, 9 g m-2 for 3 days or 6 g m-2 for 5 days, administered every 3 weeks. Pharmacokinetic (PK) and pharmacodynamic (PD) assessments were performed. Results:With growth-factor support, the MTD of sunitinib combined with either ifosfamide schedule was 12.5 mg in 32 patients enrolled. Neutropenia-related adverse events were dose-limiting toxicities. Sunitinib did not affect ifosfamide PK. Ifosfamide significantly decreased exposure to sunitinib and increased exposure to its metabolite, SU12662. No consistent changes in PD parameters were observed. Conclusion:With growth-factor support, the MTD of sunitinib with both ifosfamide schedules was 12.5 mg. Ifosfamide produced decreased sunitinib blood levels because of CYP3A induction. As PK interactions cannot explain the relatively low sunitinib doses that can be combined with ifosfamide, synergy in toxicity is likely. Whether this also holds true for anti-tumour activity needs to be further explored.British Journal of Cancer advance online publication, 18 May 2010; doi:10.1038/sj.bjc.6605696 www.bjcancer.com

A CDCL-style calculus for solving non-linear constraints

In this paper we propose a novel approach for checking satisfiability of non-linear constraints over the reals, called ksmt. The procedure is based on conflict resolution in CDCL style calculus, using a composition of symbolical and numerical methods. To deal with the non-linear components in case of conflicts we use numerically constructed restricted linearisations. This approach covers a large number of computable non-linear real functions such as polynomials, rational or trigonometrical functions and beyond. A prototypical implementation has been evaluated on several non-linear SMT-LIB examples and the results have been compared with state-of-the-art SMT solvers.Comment: 17 pages, 3 figures; accepted at FroCoS 2019; software available at <http://informatik.uni-trier.de/~brausse/ksmt/