Background Several mechanical studies suggest locking plate constructs may inhibit callus necessary for healing of distal femur fractures. However, the rate of nonunion and factors associated with nonunion are not well established. Questions/purposes We (1) determined the healing rate of distal femur fractures treated with locking plates, (2) assessed the effect of patient injury and treatment ...

conclusions closed reduction and hybrid external fixation can be used as a definitive treatment for severe comminuted fractures of the distal femur and proximal tibia, when the concomitant contusion of the skin and soft tissue damage prohibits safe open reduction and internal fixation. patients and methods in a prospective study, 44 patients with comminuted fractures of the distal femur or prox...

background: considering the importance of an early diagnosis and proper decision-making in regards to the treatment of pediatric distal radius and elbow fractures, this study examines emergency medicine specialists’ accuracy in the diagnosis and treatment of these patients. methods: from 2012 and 2013, children less than 14 years old who were referred to an academic hospital emergency departmen...

Introduction: Space maintenance in primary dentition in patients with early loss of several primary molars is a clinical challenge for pedodontists. In these cases, the conventional distal shoe appliance cannot be used and the efficacy of removable appliances is questionable. Thus, appliances with special designs providing increased patient acceptance and optimal efficacy are required in these ...

BACKGROUND Several mechanical studies suggest locking plate constructs may inhibit callus necessary for healing of distal femur fractures. However, the rate of nonunion and factors associated with nonunion are not well established. QUESTIONS/PURPOSES We (1) determined the healing rate of distal femur fractures treated with locking plates, (2) assessed the effect of patient injury and treatmen...

The paper consists of two parts. The rst one is a concise introduction to epistemic (both propositional and predicate) logic with common knowl-ege operator. As the full common knowledge predicate logics are not even recursively enumerable, in the second part we introduce and investigate the monodic fragment of these logics which allows applications of the epistemic operators to formulas with at...

Let z = (z1, z2, · · · , zn) be noncommutative free variables and t a formal parameter which commutes with z. Let k be a unital commutative ring of any characteristic and Ft(z) = z−Ht(z) with Ht(z) ∈ k[[t]]〈〈z〉〉 ×n and o(Ht(z)) ≥ 2. Note that Ft(z) can be viewed as a deformation of the formal map F (z) := z−Ht=1(z) when it makes sense. The inverse map Gt(z) of Ft(z) can always be written as Gt(...

In this paper we prove decidability of two kinds of branching time temporal logics. First we show that the non-local version of propositional , in which truth values of atoms may depend on the branch of evaluation, is decidable. Then we use this result to establish decidability of various fragments of quantified , where the next-time operator can be applied only to formulas with at most one fre...

Affine λ-terms are λ-terms in which each bound variable occurs at most once and linear λ-terms are λ-terms in which each bound variable occurs once. and only once. In this paper we count the number of closed affine λ-terms of size n, closed linear λ-terms of size n, affine β-normal forms of size n and linear β-normal forms of size n, for different ways of measuring the size of λ-terms. From the...