Search Results - hobli~

The effect of antibiotic usage on resistance in humans and food-producing animals: a longitudinal, One Health analysis using European data by Sakib Rahman, Aidan Hollis

Connect to this object online.

'ZOOMing' in on Consulting with Children and Parents Remotely to Co-Create Health Information Resources by Holly Saron, James Munro, Rob Young, Enitan D. Carrol, David Porter, Ruth Cantwell, Claire Crouch, Julia Roberts, Bernie Carter

Connect to this object online.

A novel approach to the management of critically ill neonatal Ebstein's anomaly: Veno-venous extracorporeal membrane oxygenation to promote right ventricular recovery by Holly Bauser-Heaton, Charles Nguyen, Theresa Tacy, David Axelrod

Connect to this object online.

STRESS PADA LANSIA MENJADI FAKTOR PENYEBAB DAN AKIBAT TERJADINYA PENYAKIT by Nur Hidaayah

Connect to this object online.

Synthetic patch infection after congenital diaphragmatic hernia repair: A case series by Sabrina J. Flohr, Sierra D. Land, Holly L. Hedrick, Natalie E. Rintoul, Sanjeev K. Swami, Dustin D. Flannery

Connect to this object online.

Recurrent ovarian torsion in an adolescent after oophoropexy by Erin K. Fee, Rula V. Kanj, Holly R. Hoefgen

Connect to this object online.

Social Support Indicators that Influence Breastfeeding Decisions in Mothers of North Florida by Chelsea C. Reeves, Fran T. Close, Mary Copeland Simmons, Adrienne L. Hollis

Connect to this object online.

Iron deficiency anaemia to laparotomy - A hair-raising tale by Holly Campbell, Christopher Maguire, Roy Kimble

Connect to this object online.

Sex Differences in Brain Injury and Repair in Newborn Infants: Clinical Evidence and Biological Mechanisms by Ted S. Rosenkrantz, Zeenat Hussain, Zeenat Hussain, Roslyn Holly Fitch

Connect to this object online.

Multisite gynecologic endometrioid adenocarcinomas: Can mutation profiling be used to distinguish synchronous primary cancers from metastases? by Dominique Barnes, Nissreen Mohammad, Lien Hoang, Michael Anglesio, Robert L. Hollis, Charlie Gourley, Heather C. Stuart, Mark S. Carey, Gavin C.E. Stuart

Connect to this object online.

Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings /

Table of Contents: “…Certified Core-Guided MaxSAT Solving -- Superposition with Delayed Unification -- On Incremental Pre-processing for SMT -- Verified Given Clause Procedures -- QSMA: A New Algorithm for Quantified Satisfiability Modulo Theory and Assignment -- Uniform Substitution for Dynamic Logic with Communicating Hybrid Programs -- An Isabelle/HOL Formalization of the SCL(FOL) Calculus -- SCL(FOL) Can Simulate Non-Redundant Superposition Clause Learning -- Formal Reasoning about Influence in Natural Sciences Experiments -- A Theory of Cartesian Arrays (with Applications in Quantum Circuit Verification) -- SAT-Based Subsumption Resolution -- A more Pragmatic CDCL for IsaSAT and targetting LLVM (Short Paper) -- Proving Non-Termination by Acceleration Driven Clause Learning (Short Paper) -- COOL 2 - A Generic Reasoner for Modal Fixpoint Logics (System Description) -- Choose your Colour: Tree Interpolation for Quantified Formulas in SMT -- Proving Termination of C Programs with Lists -- Reasoning about Regular Properties: A Comparative Study -- Program Synthesis in Saturation -- A Uniform Formalisation of Three-Valued Logics in Bisequent Calculus -- Proving Almost-Sure Innermost Termination of Probabilistic Term Rewriting Using Dependency Pairs -- Verification of NP-hardness Reduction Functions for Exact Lattice Problems -- Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic -- Left-Linear Completion with AC Axioms -- On P -interpolation in local theory extensions and applications to the study of interpolation in the description logics EL, EL+ -- Theorem Proving in Dependently-Typed Higher-Order Logic -- Towards Fast Nominal Anti-Unification of Letrec-Expressions -- Confluence Criteria for Logically Constrained Rewrite Systems -- Towards a Verified Tableau Prover for a Quantifier-Free Fragment of Set Theory -- An Experimental Pipeline for Automated Reasoning in Natural Language (Short paper) -- Combining Combination Properties: An Analysis of Stable-infiniteness, Convexity, and Politeness -- Decidability of difference logic over the reals with uninterpreted unary predicates -- Incremental Rewriting Modulo SMT -- Iscalc: an Interactive Symbolic Computation Framework (System Description).…”
Link to Metadata

Gregorius A Medieval Oedipus Legend by Von Aue, Hartmann

DOAB: download the publication
DOAB: description of the publication

Chapter Relazioni pericolose: i gesuati e la povertà by Lodone, Michele

DOAB: download the publication
DOAB: description of the publication

Die Akten des Kaiserlichen Reichshofrats (RHR) - Serie II Antiqua Band 5: Karton 425-516 :

DOAB: download the publication
DOAB: description of the publication

Die Akten des Kaiserlichen Reichshofrats (RHR) - Serie II Antiqua Band 4: Karton 278-424 :

DOAB: download the publication
DOAB: description of the publication

Die Akten des Kaiserlichen Reichshofrats (RHR) - Serie II Antiqua Band 1: Karton 1-43 :

DOAB: download the publication
DOAB: description of the publication

Pope Paul VI - Prophetic Dimension of Pontificate in Hardship Times by Władysław Wyszowadzki

Connect to this object online.

Evidence-Based Education in Discourse around the Concept of Bildung by Tomislav Topolovcan, Snježana Dubovicki

Connect to this object online.

Investigation of some present issues related to medical ethics and some recommendation for improvement by Taavoni S.

Connect to this object online.

The Bolognese Societates Armatae of the Late 13th Century by Gassmann Jürg

Connect to this object online.