نتایج جستجو برای: hoek brown criteria
تعداد نتایج: 306548 فیلتر نتایج به سال:
Since its inception as a diagnostic category in 1980, the definitional criteria for generalized anxiety disorder (GAD) have been revised substantially in each edition of the Diagnostic and Statistical Manual of Mental Disorders (DSM). In DSM-III (American Psychiatric Association, 1980), GAD was a residual category (i.e., diagnosis was permitted only if criteria were not met for any other Axis I...
A 132.70-m-high tower (above foundation) has been successfully completed at Tenerife Island. The foundation of the tower, a 2-mthick reinforced concrete slab, is supported by jointed, vesicular and weathered basalt, and scoria. A three-dimensional, elastic finite element program has permitted to calculate the displacements of the tower and the stresses in the slab. The installation of rod exten...
K. Decker1, M. Fisher2, M. Luck3, M. Tennenholtz4, and UKMAS’98 Contributorsy y UKMAS’98 Contributors: M.D. Beer, T.J.M. Bench-Capon and A. Sixsmith; C. Ghidini and L. Serafini; E. Alonso; T.J. Norman, C. Sierra and N.R. Jennings; B. Edmonds; M. Schroeder, I. Mora and J. Alferes; R.M. van Eijk. F.S. de Boer, W. van der Hoek and J-J.Ch. Meyer 1. Computer and Information Sciences, University of D...
Title: Elucidating the impact of the pneumococcal conjugate vaccine programme on pneumonia, sepsis and otitis media hospital admissions in England using a composite control Authors: Dominic Thorrington ([email protected]) Nick Andrews ([email protected]) Julia Stowe ([email protected]) Liz Miller ([email protected]) Albert Jan van Hoek ([email protected]) Ve...
Theory M. Luck1, M. d’Inverno2, M. Fisher3, and FoMAS’97 Contributorsy y FoMAS’97 Contributors: C. Castelfranchi; S. Parsons, C. Sierra and N. Jennings; D.T. Ndumu, H.S. Nwana, L.C. Lee and J.C. Collis; K. Binmore and N. Vulcan; R.M. van Eijk, F.S. de Boer, W. van der Hoek and J-J.Ch. Meyer; J. Padget and R. Bradford; C. Preist and S. Pearson 1. Department of Computer Science, University of War...
Unlike human patients with mutations in the 56-kDa B1 subunit isoform of the vacuolar proton-pumping ATPase (V-ATPase), B1-deficient mice (Atp6v1b1(-/-)) do not develop metabolic acidosis under baseline conditions. This is due to the insertion of V-ATPases containing the alternative B2 subunit isoform into the apical membrane of renal medullary collecting duct intercalated cells (ICs). We previ...
Model checking is a promising approach to automatic verification, which has concentrated on specification expressed in temporal logic. Comparatively little attention has been given to temporal logics of knowledge, although such logics have been proven to be very useful in the specifications of protocols for distributed systems. In this paper, we address ourselves to the model checking problem f...
Alexandra J Bensdorp ([email protected]) Els J Slappendel ([email protected]) Carolien AM Koks ([email protected]) Jur GE Oosterhuis ([email protected]) Annemieke Hoek ([email protected]) Peter GA Hompes ([email protected]) Frank JM Broekmans ([email protected]) Harold R Verhoeve ([email protected]) Jan Peter de Bruin ([email protected]) Janne Meije van...
0039-7857(200703)155:2;1-C FABIO PAGLIERI / Changing minds: the role of beliefs in cognitive dynamics HANNES LEITGEB and KRISTER SEGERBERG / Dynamic doxastic logic: why, how, and where to? HANS VAN DITMARSCH and WILLEM LABUSCHAGNE / My beliefs about your beliefs: a case study in theory of mind and epistemic logic BRENDA R. J. JANSEN, MAARTJE E. J. RAIJMAKERS and INGMAR VISSER / Rule transition ...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید