Search Results - "gradualism"

Effect of gradual adjustment of surgical position in prevention of complications of thyroid surgery (渐进式体位降低甲状腺手术并发症的效果观察) by SUN Yahong (孙亚红), LIN Juan (林娟), HOU Zhinan (侯志楠)

Connect to this object online.

Marta Popowska, Gradual maryjny ms. 42 Jana Olbrachta w tradycji krakowskiej.... by Czesław Grajewski

Connect to this object online.

Randomized Trial of 21% versus 100% Oxygen during Chest Compressions Followed by Gradual versus Abrupt Oxygen Titration after Return of Spontaneous Circulation in Neonatal Lambs by Deepika Sankaran, Evan M. Giusto, Amy L. Lesneski, Morgan E. Hardie, Houssam M. Joudi, Emily C. A. Lane, Victoria L. Hammitt, Kirstie C. Tully, Payam Vali, Satyan Lakshminrusimha

Connect to this object online.

Effects of Remifentanil Gradual Withdrawal Combined with Postoperative Infusion on Postoperative Hyperalgesia in Patients Undergoing Laparoscopic hysterectomy: A Factorial Design, Double-Blind, Randomized Controlled Trial by Luo M, Han X, Li H, Zhou G, Chen H, Gao F

Connect to this object online.

There is more to the knee joint than just the quadriceps: A systematic review with meta-analysis and evidence gap map of hamstring strength, flexibility, and morphology in individuals with gradual-onset knee disorders by Helder S. Lopes, Marina C. Waiteman, Liliam B. Priore, Neal R. Glaviano, David M. Bazett-Jones, Ronaldo V. Briani, Fábio M. Azevedo

Connect to this object online.

El aumento gradual de la capacidad de cálculo de variantes en partidas de ajedrez a 60 minutos, en los atletas del equipo femenino de la EIDE.... by Jorge Luis Díaz González, Bivaldo González Martínez

Connect to this object online.

建構師資生閱讀理解策略課程模式：階段式學習責任移轉模式之應用 Constructing a Curriculum Model for Pre-service Teachers' Reading Comprehension Strategies: Application of a Staged Model Based on a Gradual Release of Responsibility by 張純 Chun Chang

Connect to this object online.

Programas de saúde materno-infantil em Moçambique: marcos evolutivos e a inserção da enfermagem Programas de atención de salud materno-infantil en Mozambique: marcos evolutivos e inserción de la enfermería Programs of maternal and infant health in Mozambique: gradual landmarks and the insertion of nursing by Maria Acácia Ernesto Lourenço, Maria Antonieta Rubio Tyrrell

Connect to this object online.

Avaliação hemodinâmica e do equilíbrio ácido-básico de fetos transfundidos: análise da substituição progressiva da hemácia do tipo fetal pela hemácia do tipo adulto Homodynamic and acid-basic equilibrium evaluation of transfused fetuses: analysis of the gradually replacement of fetal red cells by adult red cells in higher concentrations by Rose Mary de Castro Ranciaro Pereira

Connect to this object online.

Solar Energetic Particles A Modern Primer on Understanding Sources, Acceleration and Propagation by Reames, Donald V.

Subjects: “…Gradual SEP events…”
DOAB: download the publication
DOAB: description of the publication

Solar Energetic Particles A Modern Primer on Understanding Sources, Acceleration and Propagation by Reames, Donald V.

Subjects: “…Gradual SEP events…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Fuzzy Logic and Soft Computing – Dedicated to the Centenary of the Birth of Lotfi A. Zadeh (1921-2017)

Subjects: “…gradual sets…”
DOAB: download the publication
DOAB: description of the publication

Semiconductor Memory Devices for Hardware-Driven Neuromorphic Systems

Subjects: “…gradual and abrupt modulation…”
DOAB: download the publication
DOAB: description of the publication

Religious Conflict and Coexistence The Korean Context and Beyond

Subjects: “…gradual cultivation…”
DOAB: download the publication
DOAB: description of the publication

Solar Energetic Particles A Modern Primer on Understanding Sources, Acceleration and Propagation / by Reames, Donald V.

Table of Contents: “…Preface -- Introducing the Sun and SEPs -- A Turbulent History -- Distinguishing the Sources -- Impulsive SEP Events -- Gradual SEP Events -- High Energies and Radiation Effects -- Measurements of SEPs -- Elemental Abundances and FIP: SEPs, The Corona and the Solar Wind -- Hydrogen Abundances and Shock Waves -- Summary and Conclusions.…”
Link to Metadata

Programming Languages and Systems 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023,...

Table of Contents: “…Logics for extensional, locally complete analysis via domain refinements -- Clustered Relational Thread-Modular Abstract Interpretation with Local Traces -- Adversarial Reachability for Program-level Security Analysis -- Automated Grading of Regular Expressions -- Builtin Types viewed as Inductive Families -- Pragmatic Gradual Polymorphism with References -- Modal crash types for intermittent computing -- Gradual Tensor Shape Checking -- A Type System for Effect Handlers and Dynamic Labels -- Interpreting Knowledge-based Programs -- Contextual Modal Type Theory with Polymorphic Contexts -- A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests -- Quorum Tree Abstractions of Consensus Protocols -- MAG π : Types for Failure-Prone Communication -- System $Fˆ\mu \omega$ with Context-free Session Types -- Safe Session-Based Concurrency with Shared Linear State -- Bunched Fuzz: Sensitivity for Vector Metrics -- Fast and Correct Gradient-Based Optimisation for Probabilistic Programmingvia Smoothing -- Type-safe Quantum Programming in Idris -- Automatic Alignment in Higher-Order Probabilistic Programming Languages.…”
Link to Metadata

UK Child Migration to Australia, 1945-1970 A Study in Policy Failure / by Lynch, Gordon

Table of Contents: “…'If we were untrammelled by precedent...': pursuing gradual reform in child migration, 1954-61 -- 8. 'Avoiding fruitless controversy': UK child migration programmes and the anatomy of policy failure.…”
Link to Metadata

New Music and Institutional Critique

Table of Contents: “…My Via Dolorosa from (Impotent) Institutional Critique to the Founding of my own Institution, the Norwegian Opra, with the Gradual Construction of the followers of ø Opra-Dorf on a Meadow in the Swedish Forest, thereby (Maybe) Saving the Autonomy of Art -- 8. …”
Link to Metadata

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II /

Table of Contents: “…Logics, Decision Procedures, and Solvers -- Satisfiability Checking for Mission-Time LTL -- High-Level Abstractions for Simplifying Extended String Constraints in SMT -- Alternating Automata Modulo First Order Theories -- Q3B: An Efficient BDD-based SMT Solver for Quantified Bit-Vectors -- CVC4SY: Smart and Fast Term Enumeration for Syntax-Guided Synthesis -- Incremental Determinization for Quantifier Elimination and Functional Synthesis -- Numerical Programs -- Loop Summarization with Rational Vector Addition Systems -- Invertibility Conditions for Floating-Point Formulas -- Numerically-Robust Inductive Proof Rules for Continuous Dynamical Systems -- Icing: Supporting Fast-math Style Optimizations in a Verified Compiler -- Sound Approximation of Programs with Elementary Functions -- Verification -- Formal verification of quantum algorithms using quantum Hoare logic -- SecCSL: Security Concurrent Separation Logic -- Reachability Analysis for AWS-based Networks -- Distributed Systems and Networks -- Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics -- Gradual Consistency Checking -- Checking Robustness Against Snapshot Isolation -- Efficient verification of network fault tolerance via counterexampleguided refinement -- On the Complexity of Checking Consistency for Replicated Data Types -- Communication-closed asynchronous protocols -- Verification and Invariants -- Interpolating Strong Induction -- Verifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers -- Inferring Inductive Invariants from Phase Structures -- Termination of Triangular Integer Loops is Decidable -- AliveInLean: A Verified LLVM Peephole Optimization Verifier -- Concurrency -- Automated Parameterized Verification of CRDTs -- What's wrong with on-the-y partial order reduction -- Integrating Formal Schedulability Analysis into a Verifed OS Kernel -- Rely-guarantee Reasoning about Concurrent Memory Management in Zephyr RTOS -- Violat: Generating Tests of Observational Refinement for Concurrent Objects. .…”
Link to Metadata

The International Handbook of Social Enterprise Law Benefit Corporations and Other Purpose-Driven Companies /

Table of Contents: “…Foreword -- Introduction -- PART I: The Social Enterprise Movement -- The social enterprise movement and the birth of hybrid organizational forms as policy response to the growing demand for firm altruism -- Social enterprises in the European Union: gradual recognition of their importance and models of legal regulation -- The Governance Patterns of Social Enterprises Two Proposals to Reconcile the US and European Approaches -- Social Enterprises and Tax: Living Apart Together? …”
Link to Metadata