Search results for " First"
showing 10 items of 329 documents
Z przeszłości miejscowości i parafii Jaworzno k. Wielunia. Materiały z konferencji naukowej nt. jubileuszu stulecia wznowienia parafii
2019
Year 2019 marks the first anniversary of the renewal of the Most Holy Trinity Parish in Jaworzno near the town of Wieluń. This event was celebrated both by inhabitants and clergy on 15–16 June 2019. On that occasion, on Saturday on the 15th of June, a historical conference entitled “The Jubilee of the 100 years of the Most Holy Trinity Parish in Jaworzno near the town of Wieluń” was held. The conference led to produce the historical monograph of the Parish. Six people in eleven papers and memoirs dealt with the historical issues of the Parish in Jaworzno. The first paper presentation by Rev. Prof. Dr. Hab. Jan Związek leads the reader to the earliest days of Christianity on the territory of…
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…
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…
Restricted 123-avoiding Baxter permutations and the Padovan numbers
2007
AbstractBaxter studied a particular class of permutations by considering fixed points of the composite of commuting functions. This class is called Baxter permutations. In this paper we investigate the number of 123-avoiding Baxter permutations of length n that also avoid (or contain a prescribed number of occurrences of) another certain pattern of length k. In several interesting cases the generating function depends only on k and is expressed via the generating function for the Padovan numbers.
Generating restricted classes of involutions, Bell and Stirling permutations
2010
AbstractWe present a recursive generating algorithm for unrestricted permutations which is based on both the decomposition of a permutation as a product of transpositions and that as a union of disjoint cycles. It generates permutations at each recursive step and slight modifications of it produce generating algorithms for Bell permutations and involutions. Further refinements yield algorithms for these classes of permutations subject to additional restrictions: a given number of cycles or/and fixed points. We obtain, as particular cases, generating algorithms for permutations counted by the Stirling numbers of the first and second kind, even permutations, fixed-point-free involutions and d…
A class of label-correcting methods for the K shortest paths problem
2001
In this paper we deal with the problem of finding the first K shortest paths from a single origin node to all other nodes of a directed graph. In particular, we define the necessary and sufficient conditions for a set of distance label vectors, on the basis of which we propose a class of methods which can be viewed as an extension of the generic label-correcting method for solving the classical single-origin all-destinations shortest path problem. The data structure used is characterized by a set of K lists of candidate nodes, and the proposed methods differ in the strategy used to select the node to be extracted at each iteration. The computational results show that: 1. some label-correct…
Countable connected spaces and bunches of arcs in R3
2006
Abstract We investigate the images (also called quotients) of countable connected bunches of arcs in R 3 , obtained by shrinking the arcs to points (see Section 2 for definitions of new terms). First, we give an intrinsic description of such images among T 1 -spaces: they are precisely countable and weakly first countable spaces. Moreover, an image is first countable if and only if it can be represented as a quotient of another bunch with its projection hereditarily quotient (Theorem 2.7). Applying this result we see, for instance, that two classical countable connected T 2 -spaces—the Bing space [R.H. Bing, A connected countable Hausdorff space, Proc. Amer. Math. Soc. 4 (1953) 474], and th…
First trimester biochemical screening for Down's syndrome in singleton pregnancies conceived by assisted reproduction
2005
BACKGROUND: Serum biochemical markers [free betahCG (fbetahCG); pregnancy-associated plasma protein-A (PAPP-A)] used in first trimester Down's syndrome screening have not been fully investigated in pregnancies achieved by assisted reproduction techniques. We present data on pregnancies conceived by all types of assisted reproduction techniques, including pregnancies following ovum donation (OD) and a large sample by ICSI. METHODS: First trimester Down's syndrome screening was performed in 1054 normal singleton pregnancies: natural conception (n = 498), ovulation induction (OS, n = 97), IVF (n = 47), ICSI (n = 222) and OD (n = 190). RESULTS: No differences in maternal levels of fbetahCG and …
Ketamine in acute phase of severe traumatic brain injury “an old drug for new uses?”
2021
AbstractMaintaining an adequate level of sedation and analgesia plays a key role in the management of traumatic brain injury (TBI). To date, it is unclear which drug or combination of drugs is most effective in achieving these goals. Ketamine is an agent with attractive pharmacological and pharmacokinetics characteristics. Current evidence shows that ketamine does not increase and may instead decrease intracranial pressure, and its safety profile makes it a reliable tool in the prehospital environment. In this point of view, we discuss different aspects of the use of ketamine in the acute phase of TBI, with its potential benefits and pitfalls.