61 resultados para description logics
Description & the Production of Presence: Literary Debates in Eighteenth Century England and Germany
Resumo:
Affinity retardation chromatography (ARC), a method for the examination of low-affinity interactions, is mathematically described in order to characterize the method itself and to estimate binding coefficients of self-assembly domains of basement membrane protein laminin. Affinity retardation was determined by comparing the elutions on a "binding" and on a "nonreacting" column. It depends on the binding coefficient, the concentrations of both ligands, and the nonbinding elution position. Half maximal binding of the NH2-terminal domain of laminin B1-short arm to the A- and/or B2-short arms was estimated to occur at 10-17 microM for noncooperative and at < or = 3 microM for cooperative binding. A model of the laminin polymerization, postulating two levels of cooperative binding behavior, is described.
Resumo:
A Hennessy-Milner property, relating modal equivalence and bisimulations, is defined for many-valued modal logics that combine a local semantics based on a complete MTL-chain (a linearly ordered commutative integral residuated lattice) with crisp Kripke frames. A necessary and sufficient algebraic condition is then provided for the class of image-finite models of these logics to admit the Hennessy-Milner property. Complete characterizations are obtained in the case of many-valued modal logics based on BL-chains (divisible MTL-chains) that are finite or have universe [0,1], including crisp Lukasiewicz, Gödel, and product modal logics.
Resumo:
Abstract BACKGROUND: The purpose of this paper is to describe the transdiaphragmatic approach to the heart for open CPR in patients that arrest at laparotomy and to present a first case series of patients that have undergone this procedure. METHODS: All patients who had undergone intraperitoneal transdiaphragmatic open CPR between January 1, 2002 and December 31, 2012 were retrieved from the operation registry at Bern University Hospital, Switzerland. Transdiaphragmatic access to the heart is initiated with a 10-cm-long anterocaudal incision in the central tendon of the diaphragm--approximately at 2 o'clock. Internal cardiac compression through the diaphragmatic incision can be performed from both sides of the patient. From the right side of the patient, cardiac massage is performed with the right hand and vice versa. RESULTS: A total of six patients were identified that suffered cardiac arrest during laparotomy with open CPR performed through the transdiaphragmatic approach. Four patients suffered cardiac arrest during orthotopic liver transplantation and two trauma patients suffered cardiac arrest during damage control laparotomy. In three patients, cardiac activity was never reestablished. However, three patients regained a perfusion heart rhythm and two of these survived to the ICU. One patient ultimately survived to discharge. CONCLUSIONS: In patients suffering cardiac arrest during laparotomy, the transdiaphragmatic approach allows for a rapid, technically easy, and almost atraumatic access to the heart, with excellent CPR performance. After this potentially life-saving procedure, pulmonary or surgical site complications are expected to occur much less compared with the conventionally performed emergency department left-sided thoracotomy.
Resumo:
Reinvestigation of more than 40 samples of minerals belonging to the wagnerite group (Mg, Fe, Mn)2(PO4)(F,OH) from diverse geological environments worldwide, using single-crystal X-ray diffraction analysis, showed that most crystals have incommensurate structures and, as such, are not adequately described with known polytype models (2b), (3b), (5b), (7b) and (9b). Therefore, we present here a unified superspace model for the structural description of periodically and aperiodically modulated wagnerite with the (3+1)-dimensional superspace group C2/c(0[beta]0)s0 based on the average triplite structure with cell parameters a [asymptotically equal to] 12.8, b [asymptotically equal to] 6.4, c [asymptotically equal to] 9.6 Å, [beta] [asymptotically equal to] 117° and the modulation vectors q = [beta]b*. The superspace approach provides a way of simple modelling of the positional and occupational modulation of Mg/Fe and F/OH in wagnerite. This allows direct comparison of crystal properties.
Resumo:
The usual Skolemization procedure, which removes strong quantifiers by introducing new function symbols, is in general unsound for first-order substructural logics defined based on classes of complete residuated lattices. However, it is shown here (following similar ideas of Baaz and Iemhoff for first-order intermediate logics in [1]) that first-order substructural logics with a semantics satisfying certain witnessing conditions admit a “parallel” Skolemization procedure where a strong quantifier is removed by introducing a finite disjunction or conjunction (as appropriate) of formulas with multiple new function symbols. These logics typically lack equivalent prenex forms. Also, semantic consequence does not in general reduce to satisfiability. The Skolemization theorems presented here therefore take various forms, applying to the left or right of the consequence relation, and to all formulas or only prenex formulas.