Search results for "first"
showing 10 items of 1149 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.
Root Canal Morphology and Configuration of 179 Maxillary First Molars by Means of Micro-computed Tomography: An Ex Vivo Study
2015
Introduction The objective of this study was to propose a root canal configuration description method and to investigate the root canal system morphology of the maxillary first molar by means of micro-computed tomographic imaging. Methods The root canal configuration, foramina, and accessory canal frequency of 179 maxillary first molars were investigated by means of micro-computed tomographic imaging and 3-dimensional software imaging. The root canal configuration and main foramina number are described from coronal to apical with a 4-digit system. Results The most frequent root canal configurations were 1-1-1/1 (45.8%), 2-2-2/2 (25.1%) and 2-2-1/1 (10.1%) in mesiobuccal roots and 1-1-1/1 in…
Determination of polymerization shrinkage stress by means of a photoelastic investigation
2002
This study examined the polymerization stress of different established composite resins (Tetric Ceram, Vivadent; EsthetX, Surefil, Dentsply/DeTrey; Clearfil AP-X, Clearfil Photo Posterior, Kuraray; Prodigy Condensable, sds Kerr; Filtek P 60, 3M ESPE; Solitaire 2, Heraeus-Kulzer) by means of a photo-elastic investigation and investigated six new, experimental composite resins, which have been claimed to exhibit less polymerization shrinkage (InTen-S, Vivadent; K 112, K 051, Dentsply/DeTrey; Compox, Pluto, Hermes 3M ESPE).Cylindrical cavities (phi 5 mm) in Araldit B epoxide resin plates (40 x 40 x 3 mm3) were pretreated with the Rocatec system to ensure bonding of the composite resin. Ten com…
Arch width changes in patients with Class II division 1 malocclusion treated with maxillary first premolar extraction and non-extraction method
2016
Background The aim of this study was to determine arch width changes during maxillary first premolars extraction and non-extraction treatment in patients with Class II division 1 malocclusion. Material and methods Dental casts of 91 Class II division 1 patients (36 males and 55 females) were evaluated. The minimum age of the subjects at the beginning of treatment was above 16 years. 48 patients were treated with extraction of the maxillary first premolars and 43 patients were treated without extraction. Pre- and post-treatment maxillary and mandibular inter-canine and inter-molar arch widths were measured. Results At the end of treatment, maxillary and mandibular inter-canine widths of both…
Introducing randomness in the analysis of chemical reactions: An analysis based on random differential equations and probability density functions
2021
[EN] In this work we consider a particular randomized kinetic model for reaction-deactivation of hydrogen peroxide decomposition. We apply the Random Variable Transformation technique to obtain the first probability density function of the solution stochastic process under general conditions. From the rst probability density function, we can obtain fundamental statistical information, such as the mean and the variance of the solution, at every instant time. The transformation considered in the application of the Random Variable Transformation technique is not unique. Then, the first probability density function can take different expressions, although essentially equivalent in terms of comp…
Generalized finite difference schemes with higher order Whitney forms
2021
Finite difference kind of schemes are popular in approximating wave propagation problems in finite dimensional spaces. While Yee’s original paper on the finite difference method is already from the sixties, mathematically there still remains questions which are not yet satisfactorily covered. In this paper, we address two issues of this kind. Firstly, in the literature Yee’s scheme is constructed separately for each particular type of wave problem. Here, we explicitly generalize the Yee scheme to a class of wave problems that covers at large physics field theories. For this we introduce Yee’s scheme for all problems of a class characterised on a Minkowski manifold by (i) a pair of first ord…
Solving fully randomized higher-order linear control differential equations: Application to study the dynamics of an oscillator
2021
[EN] In this work, we consider control problems represented by a linear differential equation assuming that all the coefficients are random variables and with an additive control that is a stochastic process. Specifically, we will work with controllable problems in which the initial condition and the final target are random variables. The probability density function of the solution and the control has been calculated. The theoretical results have been applied to study, from a probabilistic standpoint, a damped oscillator.
First-Order Isostructural Phase Transition Induced by High Pressure in Fe(IO3)3
2020
The high-pressure (HP) behavior of Fe(IO3)3 was studied up to 35 GPa using powder X-ray diffraction, infrared micro-spectroscopy, and ab initio density-functional theory calculations. Fe(IO3)3 show...
Mechanism of photoluminescence in intrinsically disordered CaZrO3 crystals: First principles modeling of the excited electronic states
2017
Abstract CaZrO3 (CZO) powders obtained by the polymeric precursor method at 400 °C, and then, the samples were annealed at different temperatures (400, 600, 800, and 1000 °C) and characterized by X-ray diffraction, Raman and ultraviolet–visible spectroscopic methods, along with photoluminescence (PL) emissions. First principle calculations based on the density functional theory (DFT), using a periodic cell models, provide a theoretical framework for understanding the PL spectra based on the localization and characterization of the ground and electronic excited states. Fundamental (singlet, s ) and excited (singlet, s* , and triplet, t* ) electronic states were localized and characterized us…
Split-ticket voting in German Federal elections, 1953–90: an example of sophisticated balloting?
1999
Abstract Though the German electoral system has provided the opportunity of split-ticket voting since 1953, until now there has only been mere speculation concerning the rationality of ticket-splitting. In this paper we examine the rationality thesis empirically, using data provided by the official representative electoral statistics of the Federal Republic. Modifying the Downsian notion of rational voting, rational ticket-splitting is defined in terms of coalition building and of voters' expectations of the electoral success of candidates and parties. Applying this conceptual framework, it will be shown that the combinations of first and second votes actually chosen by a majority of the Ge…