Search results for "formal"
showing 10 items of 1654 documents
FO^2 with one transitive relation is decidable
2013
We show that the satisfiability problem for the two-variable first-order logic, FO^2, over transitive structures when only one relation is required to be transitive, is decidable. The result is optimal, as FO^2 over structures with two transitive relations, or with one transitive and one equivalence relation, are known to be undecidable, so in fact, our result completes the classification of FO^2-logics over transitive structures with respect to decidability. We show that the satisfiability problem is in 2-NExpTime. Decidability of the finite satisfiability problem remains open.
Global Lp -integrability of the derivative of a quasiconformal mapping
1988
Let f be a quasiconformal mapping of an open bounded set U in Rn into Rn . Then f′ belongs to Lp(U) for some p > n provided that f satisfies (a) U is a uniform domain and fU is a John domain or (b) f is quasisymmetric and U satisfies a metric plumpness condition.
Atomic, electronic and magnetic structure of an oxygen interstitial in neutron-irradiated Al2O3 single crystals
2020
This work has been carried out within the framework of the EUROfusion Consortium and has received funding from the Euratom research and training programme 2014-2018 and 2019-2020 under Grant Agreement No. 633053 and Enabling Research project: ENR-MFE19.ISSP-UL-02 “Advanced experimental and theoretical analysis of defect evolution and structural disordering in optical and dielectric materials for fusion application”. The views and opinions expressed herein do not necessarily reflect those of the European Commission. In addition, the research leading to these results has received funding from the Estonian Research Council grant (PUT PRG619).
Enhancement of the Multipactor Threshold Inside Nonrectangular Iris
2018
Multipactor breakdown is studied inside the capacitive iris of a rectangular waveguide with a skewed slot along its longitudinal cross section. Both the iris length and height are assumed to be small compared to the electromagnetic wavelength. Therefore, the quasi-static approximation is applied so as to describe the RF field distribution inside the iris gap, whereas a 2-D model is used to analyze the electron motion. The peculiarities of RF field structure are studied using the conformal mapping approach, which shows that the electric field lines can be approximated by circular arcs when the iris length is much larger than its height. The electron motion inside the iris gap is analyzed usi…
Multimode time-dependent gyrotron equations for different time scales
2017
The work of H.K. was supported by the European Regional Development Funding of the Project No. 1.1.1.1/ 16/A/004.
High-resolution spectroscopy and analysis of the nu3/2nu4 dyad of CF4
2011
International audience; CF4 is a strong greenhouse gas of both anthropogenic and natural origin [D.R. Worton et al., Environ. Sci. Technol. 41, 2184 (2007)]. However, high-resolution infrared spectroscopy of this molecule has received only a limited interest up to now. Until very recently, the public databases only contained cross-sections for this species, but no detailed line list. We reinvestigate here the strongly absorbing ν3 region around 7.8 μm. New Fourier transform infrared (FTIR) spectra up to a maximal resolution of 0.0025 cm−1 have been recorded: (i) room-temperature spectra in a static cell and (ii) a supersonic expansion jet spectrum at a 23 K estimated temperature. Following …
The high overtone and combination levels of SF6 revisited at Doppler-limited resolution: A global effective rovibrational model for highly excited vi…
2017
Abstract Sulfur hexafluoride is an important prototypal molecule for modeling highly excited vibrational energy flow and multi quanta absorption processes in hexafluoride molecules of technological importance. It is also a strong greenhouse gas of anthropogenic origin. This heavy species, however, features many hot bands at room temperature (at which only 30% of the molecules lie in the ground vibrational state), especially those originating from the lowest, v 6 =1 vibrational state. Using a cryogenic long path cell with variable optical path length and temperatures regulated between 120 and 163 K, coupled to Synchrotron Radiation and a high resolution interferometer, Doppler-limited spectr…
Nitrogen broadening of SF6 transitions in the nu3 band
2001
Abstract Nitrogen induced pressure-broadened halfwidths of a number of ν3 transitions of SF6 are calculated using the complex Robert–Bonamy (CRB) formalism. The calculations are made at 200, 250, 296 and 350 K and the temperature dependence of the halfwidths are determined. The intermolecular potential is taken as a sum of the leading electrostatic and Lennard-Jones [6] , [7] , [8] , [9] , [10] , [11] , [12] atom–atom components. The dynamics of the collision process are correct to second order in time. The calculated halfwidths are used to simulate the ν3 spectrum, which is compared to a simulation made using the HITRAN96 halfwidths and measurements made at the Universite Pierre et Marie C…
High-resolution spectroscopy and analysis of the V2 + V3 combination band of SF6 in a supersonic jet expansion
2013
International audience; Sulphur hexafluoride is a very strong greenhouse gas whose concentration is increasing in the atmosphere. It is detected through infrared absorption spectroscopy in the strong ν3 fundamental region. Due to the existence of low-lying vibrational states of this molecule, however, many hot bands arise at room temperature and those are still not known. We present here a contribution to the elucidation of this hot band structure, by analysing the ν2 + ν3 combination band. We use a supersonic jet expansion high-resolution spectrum at a rotational temperature of ca. 25 K that was recorded thanks to the Jet-AILES setup at the Source Optimisée de Lumière d'Energie Intermédiai…
Response to formal comment on Myhrvold (2016) submitted by Griebeler and Werner (2017)
2018
In his 2016 paper, Myhrvold criticized ours from 2014 on maximum growth rates (Gmax, maximum gain in body mass observed within a time unit throughout an individual’s ontogeny) and thermoregulation strategies (ectothermy, endothermy) of 17 dinosaurs. In our paper, we showed that Gmax values of similar-sized extant ectothermic and endothermic vertebrates overlap. This strongly questions a correct assignment of a thermoregulation strategy to a dinosaur only based on its Gmax and (adult) body mass (M). Contrary, Gmax separated similar-sized extant reptiles and birds (Sauropsida) and Gmax values of our studied dinosaurs were similar to those seen in extant similar-sized (if necessary scaled-up) …