Search results for "Bases"
showing 10 items of 1240 documents
Support of removable partial dentures in situations with a unilaterally missing canine and a curved edentulous ridge.
1997
The load and movement of abutments and removable partial dentures were examined in situations with a unilaterally missing canine and a curved edentulous ridge. These measurements were performed on a model adapted to intraoral conditions. In this simulation, removable partial dentures supported by incisors may result in failure. Spring rest support results in significantly reduced articulation vertically and horizontally when compared with solid rest support and avoids periodontal overloading.
DFT analysis of titanium complexes with oxygen-containing bidentate ligands
2003
Strength of the TiO co-ordinate bond in several titanium complexes with bidentate ligands has been investigated by means of DFT. Mutual interaction of particular donors and their influence on Lewis acidity of the central atom have also been studied. The energy of ligand binding ranges from −19 to −454 kJ/mol, depending on the kind of donors. Calculations confirm that a strong donor, alkoxide anion, co-ordinatively saturates the titanium and makes binding of new ligands less exoenergetic. On the contrary, two oxygen atoms of similar donor number do not have much influence on each other. Strength of the TiO bonds in titanium complexes with certain oxygen-containing bidentate ligands has bee…
Dietary fiber and health outcomes: an umbrella review of systematic reviews and meta-analyses
2018
Background Several studies have suggested that higher consumption of dietary fiber is beneficial for a variety of health outcomes. However, many results have been inconclusive and, to our knowledge, there has been no attempt to systematically capture the breadth of outcomes associated with dietary fiber intake or to systematically assess the quality and the strength of the evidence on the associations of dietary fiber intake and different health outcomes or medical conditions. Objective The aim of this study was to describe the diverse health outcomes convincingly associated with dietary fiber consumption. Design This was an umbrella review of systematic reviews with meta-analysis of observ…
Indefinite integrals of special functions from hybrid equations
2019
Elementary linear first and second order differential equations can always be constructed for twice differentiable functions by explicitly including the function's derivatives in the definition of ...
A function whose graph has positive doubling measure
2014
We show that a doubling measure on the plane can give positive measure to the graph of a continuous function. This answers a question by Wang, Wen and Wen. Moreover we show that the doubling constant of the measure can be chosen to be arbitrarily close to the doubling constant of the Lebesgue measure.
Capabilities of Ultrametric Automata with One, Two, and Three States
2016
Ultrametric automata use p-adic numbers to describe the random branching of the process of computation. Previous research has shown that ultrametric automata can have a significant decrease in computing complexity. In this paper we consider the languages that can be recognized by one-way ultrametric automata with one, two, and three states. We also show an example of a promise problem that can be solved by ultrametric integral automaton with three states.
New spaces of matrices with operator entries
2019
In this paper, we will consider matrices with entries in the space of operators $\mathcal{B}(H)$, where $H$ is a separable Hilbert space and consider the class of matrices that can be approached in the operator norm by matrices with a finite number of diagonals. We will use the Schur product with Toeplitz matrices generated by summability kernels to describe such a class and show that in the case of Toeplitz matrices it can be identified with the space of continuous functions with values in $\mathcal B(H)$. We shall also introduce matriceal versions with operator entries of classical spaces of holomorphic functions such as $H^\infty(\mathbb{D})$ and $A(\mathbb{D})$ when dealing with upper t…
The Natural Order-Generic Collapse for ω-Representable Databases over the Rational and the Real Ordered Group
2001
We consider order-generic queries, i.e., queries which commute with every order-preserving automorphism of a structure's universe. It is well-known that first-order logic has the natural order-generic collapse over the rational and the real ordered group for the class of dense order constraint databases (also known as finitely representable databases). I.e., on this class of databases over 〈Q, <〉 or 〈R, <〉, addition does not add to the expressive power of first-order logic for defining order-generic queries. In the present paper we develop a natural generalization of the notion of finitely representable databases, where an arbitrary (i.e. possibly infinite) number of regions is allowed. We …
Quasi Conjunction and Inclusion Relation in Probabilistic Default Reasoning
2011
We study the quasi conjunction and the Goodman & Nguyen inclusion relation for conditional events, in the setting of probabilistic default reasoning under coherence. We deepen two recent results given in (Gilio and Sanfilippo, 2010): the first result concerns p-entailment from a family F of conditional events to the quasi conjunction C(S) associated with each nonempty subset S of F; the second result, among other aspects, analyzes the equivalence between p-entailment from F and p-entailment from C(S), where S is some nonempty subset of F. We also characterize p-entailment by some alternative theorems. Finally, we deepen the connections between p-entailment and the Goodman & Nguyen inclusion…
Incremental termination proofs and the length of derivations
1991
Incremental termination proofs, a concept similar to termination proofs by quasi-commuting orderings, are investigated. In particular, we show how an incremental termination proof for a term rewriting system T can be used to derive upper bounds on the length of derivations in T. A number of examples show that our results can be applied to yield (sharp) low-degree polynomial complexity bounds.