Search results for "first"
showing 10 items of 1149 documents
On Finite Satisfiability of Two-Variable First-Order Logic with Equivalence Relations
2009
We show that every finitely satisfiable two-variable first-order formula with two equivalence relations has a model of size at most triply exponential with respect to its length. Thus the finite satisfiability problem for two-variable logic over the class of structures with two equivalence relations is decidable in nondeterministic triply exponential time. We also show that replacing one of the equivalence relations in the considered class of structures by a relation which is only required to be transitive leads to undecidability. This sharpens the earlier result that two-variable logic is undecidable over the class of structures with two transitive relations.
Three dimensional reductions of four-dimensional quasilinear systems
2017
In this paper we show that integrable four dimensional linearly degenerate equations of second order possess infinitely many three dimensional hydrodynamic reductions. Furthermore, they are equipped infinitely many conservation laws and higher commuting flows. We show that the dispersionless limits of nonlocal KdV and nonlocal NLS equations (the so-called Breaking Soliton equations introduced by O.I. Bogoyavlenski) are one and two component reductions (respectively) of one of these four dimensional linearly degenerate equations.
Path integral method for first-passage probability determination of nonlinear systems under levy white noise
2015
In this paper the problem of the first-passage probabilities determination of nonlinear systems under alpha-stable Lévy white noises is addressed. Based on the properties of alpha-stable random variables and processes, the Path Integral method is extended to deal with nonlinear systems driven by Lévy white noises with a generic value of the stability index alpha. Furthermore, the determination of reliability functions and first-passage time probability density functions is handled step-by-step through a modification of the Path Integral technique. Comparison with pertinent Monte Carlo simulation reveals the excellent accuracy of the proposed method.
The FIRST experiment at GSI
2012
The FIRST (Fragmentation of Ions Relevant for Space and Therapy) experiment at the SIS accelerator of GSI laboratory in Darmstadt has been designed for the measurement of ion fragmentation cross-sections at different angles and energies between 100 and 1000 MeV/nucleon. Nuclear fragmentation processes are relevant in several fields of basic research and applied physics and are of particular interest for tumor therapy and for space radiation protection applications. The start of the scientific program of the FIRST experiment was on summer 2011 and was focused on the measurement of 400 MeV/nucleon 12C beam fragmentation on thin (8 mm) graphite target. The detector is partly based on an alread…
Pulse pile-up identification and reconstruction for liquid scintillator based neutron detectors
2018
WOS: 000433206800010 The issue of pulse pile-up is frequently encountered in nuclear experiments involving high counting rates, which will distort the pulse shapes and the energy spectra. A digital method of off-line processing of pile-up pulses is presented. The pile-up pulses were firstly identified by detecting the downward-going zero-crossings in the first-order derivative of the original signal, and then the constituent pulses were reconstructed based on comparing the pile-up pulse with four models that are generated by combining pairs of neutron and.. standard pulses together with a controllable time interval. The accuracy of this method in resolving the pile-up events was investigate…
The new vacuum-mode recoil separator MARA at JYFL
2008
Abstract A new vacuum-mode recoil separator MARA (Mass Analysing Recoil Apparatus) is under design and construction at the Department of Physics in the University of Jyvaskyla. The separator is intended to separate reaction products from the primary beam in mass region below A = 150 . The ion-optical configuration of the separator will be QQQDEDM, where a magnetic quadrupole (Q) triplet is followed by an electrostatic deflector (DE) and a magnetic dipole (DM). The total length of MARA will be less than 7.0 m and the first order resolving power more than 250 for a beam spot size of 2 mm. In this contribution the main properties of MARA are given and results from simulations are shown.
Three-Body Analysis of Incoherent Photoproduction of η Mesons on the Deuteron near Threshold
2003
The importance of three-body dynamics in the ηnp system in elastic and inelastic η-deuteron scattering as well as coherent and incoherent η photo-production on the deuteron in the energy region from threshold up to 30 MeV above has been investigated. It is shown that a restriction to first order rescattering with respect to the NN- and ηN-final state interactions, i.e., restriction to rescattering in the two-body subsystems, does not give a sufficiently accurate approximation to the s-wave reaction amplitude and that higher order terms, as described by the three-body dynamics give very substantial contributions.
Benign and severe early-life seizures: a round in the first year of life
2018
Abstract Background At the onset, differentiation between abnormal non-epileptic movements, and epileptic seizures presenting in early life is difficult as is clinical diagnosis and prognostic evaluation of the various seizure disorders presenting at this age. Seizures starting in the first year of life including the neonatal period might have a favorable course, such as in infants presenting with benign familial neonatal epilepsy, febrile seizures simplex or acute symptomatic seizures. However, in some cases, the onset of seizures at birth or in the first months of life have a dramatic evolution with severe cerebral impairment. Seizure disorders starting in early life include the “epilepti…
Course of weight gain and metabolic abnormalities in first treated episode of psychosis: the first year is a critical period for development of cardi…
2014
Data on the long-term metabolic side-effects associated with antipsychotics are scarce. Prospective longitudinal studies in medication-naive patients with a first episode of psychosis are a valuable source of information as they provide an assessment prior to the antipsychotic exposure and minimize the effect of potential confounding factors. The aim of this study was to assess the course of weight gain and the incidence of metabolic abnormalities during the first 3 yr of antipsychotic treatment. Data were collected from a cohort of 170 first-episode psychosis patients. They were randomly assigned to haloperidol (32%); olanzapine (32%) and risperidone (36%). The dose used was flexible. The …
Frequency of a positive family history of colorectal cancer in general practice: a cross-sectional study.
2016
BACKGROUND Evidence on the frequency of a positive family history of colorectal cancer (CRC) among individuals aged <55 years is lacking. General practice setting might be well suited for the identification of individuals in this above-average risk group. OBJECTIVE To determine the frequency of a reported positive family history of CRC among patients aged 40 to 54 years in a general practice setting. METHODS We conducted a cross-sectional study in 21 general practices in Germany. Patients aged 40 to 54 years were identified by means of the practice software and interviewed by health care assistants using a standardized four-item questionnaire. Outcome was occurrence of a positive family his…