Search results for "first"
showing 10 items of 1149 documents
Local Normal Forms for First-Order Logic with Applications to Games and Automata
1999
Building on work of Gaifman [Gai82] it is shown that every first-order formula is logically equivalent to a formula of the form ∃ x_1,...,x_l, \forall y, φ where φ is r-local around y, i.e. quantification in φ is restricted to elements of the universe of distance at most r from y. \par From this and related normal forms, variants of the Ehrenfeucht game for first-order and existential monadic second-order logic are developed that restrict the possible strategies for the spoiler, one of the two players. This makes proofs of the existence of a winning strategy for the duplicator, the other player, easier and can thus simplify inexpressibility proofs. \par As another application, automata mode…
Mathematical logic and quantum finite state automata
2009
AbstractThis paper is a review of the connection between formulas of logic and quantum finite-state automata in respect to the language recognition and acceptance probability of quantum finite-state automata. As is well known, logic has had a great impact on classical computation, it is promising to study the relation between quantum finite-state automata and mathematical logic. After a brief introduction to the connection between classical computation and logic, the required background of the logic and quantum finite-state automata is provided and the results of the connection between quantum finite-state automata and logic are presented.
Encapsulation of xenon by bridged resorcinarene cages with high 129Xe NMR chemical shift and efficient exchange dynamics
2023
Functionalized cages encapsulating xenon atoms enable highly sensitive, background-free molecular imaging through a technique known as HyperCEST 129Xe MRI. Here, we introduce a class of potential biosensor cage structures based on two resorcinarene macrocycles bridged either by aliphatic carbon chains or piperazines. First-principles-based modeling predicts a high chemical shift (about 345 ppm) outside the typical experimental observation window for 129Xe encapsulated by the aliphatically bridged cage and two 129Xe resonances for the piperazine-bridged cages corresponding to single and double loading. Based on the computational predictions as well as 129Xe chemical exchange saturation trans…
The role of language on the reversal error. A study with bilingual Basque-Spanish students
2019
The reversal error is a prevalent phenomenon that consists of reversing the relationship between two variables when writing equations from comparison in verbal language. A study with 169 Basque/Spa...
Logistic Growth Described by Birth-Death and Diffusion Processes
2019
We consider the logistic growth model and analyze its relevant properties, such as the limits, the monotony, the concavity, the inflection point, the maximum specific growth rate, the lag time, and the threshold crossing time problem. We also perform a comparison with other growth models, such as the Gompertz, Korf, and modified Korf models. Moreover, we focus on some stochastic counterparts of the logistic model. First, we study a time-inhomogeneous linear birth-death process whose conditional mean satisfies an equation of the same form of the logistic one. We also find a sufficient and necessary condition in order to have a logistic mean even in the presence of an absorbing endpoint. Then…
Loss of 1p in recurrent meningiomas
2001
Deletion of 1p is associated with histological progression to meningiomas. Detection of this alteration may be a predicting factor for recurrences in this tumor. We present 8 meningiomas from four patients: the original tumor and the first recurrence in one patient, and the first and second recurrences in the other three were studied. We compared results of monosomy 22 and deletion of chromosome 1p with cytogenetic methods and fluorescence in situ hybridization (FISH) analysis obtained from slides of direct preparations, of cultured cells and slides of touch preparations. The cytogenetic study showed normal chromosome 22 and deletion on 1p32 in both samples of one patient; only monosomy 22 …
On the genetics of psoriasis
1974
To elucidate the mode of inheritance in psoriasis, Falconer's model for estimating heritability which is under the assumption of multifactorial inheritance, was applied to the data of Hellgren (1967) from Sweden. The heritability estimates were based on both manifest and potential psoriasis since a clear separation of these two categories was impossible. These estimates were 64% for parents, 60% for siblings and 52% for all first degree relatives which included the children of psoriatic cases. For second degree relatives it was 48%. None of these differences are statistically significant. The results are discussed.
Reliability Analysis of a Controlled Stage-Constructed and Reinforced Embankment on Soft Ground Using 2D and 3D Models
2020
Geosynthetic reinforcement has become a very practical technique to improve geotechnical structure safety. In spite of improved soil behavior, structures are affected by uncertainties related to soil and reinforcement material properties. This paper aims to present a reliability analysis in order to take statistical information (uncertainties) into account in a safety analysis of reinforced embankments. The analysis was used in a case study on a controlled stage-constructed embankment on soft ground in order to investigate its probabilistic stability. Modeling was performed by commercial geotechnical software usage (GeoStudio and RocScience packs, SIGMA/W+SLOPE/W and SLIDE³, respectively) a…
Sprachlenkung oder Sprachpflege? Zur Situation der germanistischen Sprachpflege heute
1984
SUMMARY Directing a Language or Cultivating It? On German Language Cultivation Today The cultivation of the German language outside Germany is, as is well known, the task of the Goethe Institute. But how is German cultivated at home, that is, within the German-language area? Indeed, is there any need to cultivate a language internally, "intralingually"? And if so, how can language cultivation be organized? In Germany there is no institution corresponding to the Académie française. Finally we may ask the basic question as to the meaning of "language cultivation." What is it? Cultivation of the German language within the large, self-contained community of people whose native language it is? T…
Introduction to Part V
2018
The shock of defeat at the end of the First World War left many German academics dumbfounded and numb. Even Hilbert, an outspoken internationalist, was deeply disillusioned by the chaos and instability that plagued the early Weimar years. Already during the war, political differences widened the gulf that had already formed within the Gottingen Philosophical Faculty, whose conservative members felt they were constantly being provoked by the “Hilbert faction.” The controversy over Emmy Noether’s candidacy to habilitate in 1915, mentioned in the introduction to Part IV, was only one of many such instances. Others were even more serious, as when Hilbert and his pacifist friends were accused of…