King's College, Aberdeen

About: King's College, Aberdeen is a based out in . It is known for research contribution in the topics: Poison control & Sedimentary depositional environment. The organization has 712 authors who have published 918 publications receiving 25421 citations. The organization is also known as: King's College, Aberdeen & The University and King's College of Aberdeen.

Improving Federated Database Queries Using Declarative Rewrite Rules for Quantified Subqueries

Abstract: Transforming queries for efficient execution is particularly important in federated database systems since a more efficient execution plan can require many fewer data requests to be sent to the component databases. Also, it is important to do as much as possible of the selection and processing close to where the data are stored, making best use of facilities provided by the federation's component database management systems. In this paper we address the problem of processing complex queries including quantifiers, which have to be executed against different databases in an expanding heterogeneous federation. This is done by transforming queries within a mediator for global query improvement, and within wrappers to make the best use of the query processing capabilities of external databases. Our approach is based on pattern matching and query rewriting. We introduce a high level language for expressing rewrite rules declaratively, and demonstrate the use and flexibility of such rules in improving query performance for existentially quantified subqueries. Extensions to this language that allow generic rewrite rules to be expressed are also presented. The value of performing final transformations within a wrapper for a given remote database is shown in several examples that use AMOS II—an SQL3-like system.

Local Topological Invariants

Abstract: was to consider relationships between the local groups occurring in the Vietoris, singular and homotopy theories. The referee suggested that the local "C" and "D" groups occurring in the theory and defined in [5] and [6] (hereafter referred to as LTI and CTM respectively), were not "functorial" in the sense that the isomorphisms connected with them were merely "abstract," not induced by maps of one space into another and so not natural. He outlined a new approach using inverse and direct systems of groups, and in many cases the limits of these were isomorphic to the corresponding "C" and "D" groups; but in some cases the limits gave the "wrong" results. To overcome this, he suggested the idea of a stable system, where to postulate stability is to postulate something rather stronger than, but often equivalent to, existence of the "C" and "D" groups. (In locally Euclidean spaces and the generalized manifolds of Wilder [15], stability occurs at each point in each dimension.) We have therefore re-cast the whole of our previous theory in terms of these new concepts, thereby obtaining a more harmonious theory than before; and many of the results of the earlier draft together with analogues of results in LTI and CTM are here obtained. The plan of the paper is as follows. There are four sections: in §1 we prove all the basic results we later need on inverse and direct systems of groups, concerning their "stability" under mappings of various sorts. §11 is devoted to a discussion of certain relationships berween Singular and Vietoris homology. In §111, we derive certain results concerning homotopy, which are applied in §IV with the earlier ones to prove theorems concerning the local groups there. Corollaries of theorems in II and III give useful global results of the form:—if XCY, then under certain conditions and with different values of the functor G, the image of the injection G(X)—>G(Y) is finitely generated (see 2.33,3.14, 3.15). §IV is concerned essentially with three matters: first the proof that the Wilder manifolds, as mentioned above, have the stability property; second, implications between the various types of local connectivity, with some pathology; and third, proofs that for Singular and Vietoris homology, all the local groups we define (using stability) give the same end-product, i.e. the same class of manifolds,—with a similar but more restricted result for homotopy. Moreover, a "local" theorem of Hurewicz type is proved in 4.35.

Vibration exercise for treatment of osteoporosis: a theoretical model.

Abstract: Orthopaedic rehabilitation of osteoporosis by muscle vibration exercise is investigated theoretically using Wolff's theory of strain-induced bone ‘remodelling’. The remodelling equation for finite amplitude vibration to be transmitted to the bone via muscle corresponds to a slowly time-varying non-linear dynamic system. This slowly time-varying system is governed by a Riccatti equation with rapidly varying coefficients that oscillate with the frequency of the applied vibration. An averaging technique is used to determine the effective force transmitted to the bone. This force is expressed in terms of the stiffness and damping parameters of the connected muscle. The analytical result predicts that, in order to obtain bone reinforcement, the frequency and amplitude of vibration should not exceed specified levels. Furthermore, low-frequency vibration does not stimulate the bone sufficiently to cause significant remodelling. The theoretical model herein confirms the clinical recommendations regarding vibratio...

Xapin Anti XapitoΣ (John 1.16) Grace and the Law in the Johannine Prologue

Abstract: La celebre " crux " du " charin anti charitos " de Jean 1 : 16. L'A. rappelle la signification de la preposition " anti " : le sens originel de " devant " (" ante ") ne se rencontre ni dans le NT, ni dans la LXX| reste le sens " a la place de " ou " en retour de ". L'A. passe en revue les interpretations anciennes et modernes (Augustin : " gratiam pro gratia ", " grâce sur grâce ", RSV, NEB et autres variantes modernes). Aucune ne respecte la valeur de " anti ". L'A. propose une solution, qui s'accorde a la fois avec " anti " et avec la suite du Prologue, notamment le verset 17 avec le parallelisme de sa forme, " car la loi par Moise a ete donnee, la grâce et la verite par Jesus sont advenues ". La grâce de Jesus a ete donnee a la place de la grâce de Moise. S'affirme ici la judeite de Jean