The beneficial effects of dexmedetomidine (DEX) have not been extensively investigated in elderly patients receiving spinal anesthesia. This study evaluated the effects of intravenous DEX infusion on stress and hemodynamic response, as well as on postoperative analgesia in elderly patients undergoing total knee arthroplasty (TKA). We randomly allocated 45 adult patients to 3 patient groups (n=1...

The lack of a uni ed framework for constraint problems has resulted in a diversity of constraint solution techniques and methods for describing constraint problems. A uni ed framework would allow the construction of a kernel constraint engine, capable of solving constraint problems composed of models from di erent domains, such as engineering and geometric problems. As a rst step towards such a...

A study on the variation of leaf venation patterns was conducted on 21 taxa of the genus Ficus in Peninsular Malaysia. The results showed the existence of eight leaf venation patterns based on veinlets, the ultimate marginal and areolar venation. The majority of species, such as F. annulata, F. benghalensis, F. benjamina, F. deltoidea var. angustifolia, F. deltoidea var. kunstleri, F. depressa,...

We formalize a universal uni cation algorithm for the class of equational theories which is induced by the class of canonical totally de ned not strictly subuni able term rewriting systems for short ctn trs For a ctn trs R and for two terms t and s the algorithm computes a ground complete set of ER uni ers of t and s where ER is the set of rewrite rules of R viewed as equations The algorithm is...

Second order uni cation is undecidable in general Miller showed that uni cation of so called higher order patterns is decidable and unitary We show that the uni cation of a linear higher order pat tern s with an arbitrary second order term that shares no variables with s is decidable and nitary A few extensions of this uni cation problem are still decidable unifying two second order terms where...

1 In sti tute of Ar chae ol ogy, The He brew Uni ver sity of Je ru sa lem, Mt. Scopus, 91905 Je ru sa lem, Is rael; [email protected] 2 Cen tre for the Ar chae ol ogy of Hu man Or i gins, Uni ver sity of Southampton, Highfield SO17 1BJ, United King dom 3 The Mina and Everard Good man Fac ulty of Life Sci ences, Bar-Ilan Uni ver sity, Ramat-Gan 52900, Is rael 4 Anat omy and An thro po...

BACKGROUND Too many young people engage in unhealthy behaviours such as eating unhealthily, being physically inactive, binge drinking and smoking. This study aimed to estimate the short-term and long-term cost-effectiveness of a theory-based online health behaviour intervention ("U@Uni") in comparison with control in young people starting university. METHODS A costing analysis was conducted t...

During the execution of functional logic programs particular E uni cation pro blems have to be solved quite frequently In this paper we contribute to the e cient solution of such problems in the case where E is induced by particular term rewriting systems called macro tree transducers We formalize the implementation of a deter ministic partial E uni cation algorithm on a deterministic abstract ...

The world averaged values of the electroweak and strong couplings and the lower limits on the proton lifetime are used for consistency checks of Grand Uni ed Theories (GUT). It is con rmed that new physics outside the Standard Model (SM) is required to obtain uni cation of the electroweak and strong forces. Such new physics could come from the minimal supersymmetric extension of the SM, which p...

Maurice Balke ([email protected]) Anna Neumann ([email protected]) Károly Szuhai ([email protected]) Konstantin Agelopoulos ([email protected]) Christian August ([email protected]) Georg Gosheger ([email protected]) Pancras C. W. Hogendoorn ([email protected]) Nick Athanasou ([email protected]) Horst Buerger ([email protected]) Martin Haged...