Search Results - "lower bound"

Estimating the impact of implementation and timing of the COVID-19 vaccination programme in Brazil: a counterfactual analysisResearch in context by Leonardo Souto Ferreira, Flavia Maria Darcie Marquitti, Rafael Lopes Paixão da Silva, Marcelo Eduardo Borges, Marcelo Ferreira da Costa Gomes, Oswaldo Gonçalves Cruz, Roberto André Kraenkel, Renato Mendes Coutinho, Paulo Inácio Prado, Leonardo Soares Bastos

Connect to this object online.

Noninferiority of Multiplex Polymerase Chain Reaction Compared to Standard Urine Culture for Urinary Tract Infection Diagnosis in Pediatric Patients at Hackensack Meridian Health C... by Bhavsar SM, Polavarapu N, Haley E, Luke N, Mathur M, Chen X, Havrilla J, Baunoch D, Lieberman K

Connect to this object online.

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II /

Table of Contents: “…-Regular Properties with Decoupled Search -- AIGEN: Random Generation of Symbolic Transition Systems -- GPU Acceleration of Bounded Model Checking with ParaFROST -- Pono: A Flexible and Extensible SMT-based Model Checker -- Logical Foundations -- Towards a Trustworthy Semantics-Based Language Framework via Proof Generation -- Formal Foundations of Fine-Grained Explainability -- Latticed k-Induction with an Application to Probabilistic Programs -- Stochastic Systems -- Runtime Monitors for Markov Decision Processes -- Model Checking Finite-Horizon Markov Chains with Probabilistic Inference -- Enforcing Almost-Sure Reachability in POMDPs -- Rigorous Floating-Point Roundo Error Analysis of Probabilistic Computations -- Model-free Reinforcement Learning for Branching Markov Decision Processes -- Software Verification -- Cameleer: a Deductive Verification Tool for OCaml -- LLMC: Verifying High-Performance Software -- Formally Validating a Practical Verification Condition Generator -- Automatic Generation and Validation of Instruction Encoders and Decoders -- An SMT Encoding of LLVM's Memory Model for Bounded Translation Validation -- Automatically Tailoring Abstract Interpretation to Custom Usage Scenarios -- Functional Correctness of C implementations of Dijkstra's, Kruskal's, and Prim's Algorithms -- Gillian, Part II: Real-World Verification for JavaScript and C -- Debugging Network Reachability with Blocked Paths -- Lower-Bound Synthesis using Loop Specialization and Max-SMT -- Fast Computation of Strong Control Dependencies -- Di y: Inductive Reasoning of Array Programs using Difference Invariants.…”
Link to Metadata

Economic Evaluation of Single versus Combination Immuno-Oncology Therapies: Application of a Novel Modelling Approach in Metastatic Melanoma by Gibson EJ, Begum N, Koblbauer I, Dranitsaris G, Liew D, McEwan P, Yuan Y, Juarez-Garcia A, Tyas D, Pritchard C

Connect to this object online.

A multicenter, double-blind, randomized, comparison study of the efficacy and safety of tigecycline to imipenem/cilastatin to treat complicated intra-abdominal infections in hospit... by Chen Y, Zhu D, Zhang Y, Zhao Y, Chen G, Li P, Xu L, Yan P, Hickman MA, Xu X, Tawadrous M, Wible M

Connect to this object online.

Comparing one dose of HPV vaccine in girls aged 9-14 years in Tanzania (DoRIS) with one dose of HPV vaccine in historical cohorts: an immunobridging analysis of a randomised contro... by Kathy Baisley, MSc, Troy J Kemp, PhD, Aimée R Kreimer, PhD, Partha Basu, PhD, John Changalucha, MSc, Allan Hildesheim, PhD, Carolina Porras, MSc, Hilary Whitworth, PhD, Rolando Herrero, PhD, Charles J Lacey, MD, John T Schiller, PhD, Eric Lucas, MSc, Paul Mutani, MD, Joakim Dillner, PhD, Jackton Indangasi, MSc, Richard Muwonge, PhD, Richard J Hayes, DSc, Ligia A Pinto, PhD, Deborah Watson-Jones, PhD

Connect to this object online.

The Determinants of Nursing Workforce Demand and Predicting the Number of the Required Nurses in the Public Hospitals of Iran (2018-2025) by M Shahraki

Connect to this object online.

Comparison between learning of students trained by the management model method and students trained in the method of teaching a second language by leila poloie

Connect to this object online.

Advances in occupational traumatic injury research by David A Lombardi

Connect to this object online.

Low birthweight in term singletons mediates the association between maternal smoking intensity exposure status and immediate neonatal intensive care unit admission: the E-value ass... by Anthony J. Kondracki

Connect to this object online.

The construction and evaluation of a low-cost isokinetic knee exerciser by David Greenblatt

Connect to this object online.

A simple model for behaviour change in epidemics by Brauer Fred

Connect to this object online.

Modeling College Graduation GPA Considering Equity in Admissions: Evidence from the University of Puerto Rico by Horacio Matos-Diaz, Dwight Garcia

Connect to this object online.

Deep Unsupervised Representation Learning for Feature-Informed EEG Domain Extraction by Han Wei Ng, Cuntai Guan

Connect to this object online.

Immunogenicity and safety of intramuscular versus subcutaneous administration of a combined measles, mumps, rubella, and varicella vaccine to children 12 to 18 months of age by Hervé Haas, Patrick Richard, Cécile Eymin, Anne Fiquet, Barbara Kuter, Benoit Soubeyrand

Connect to this object online.

MF59-adjuvanted influenza vaccine (FLUAD®) elicits higher immune responses than a non-adjuvanted influenza vaccine (Fluzone®): A randomized, multicenter, Phase III pediatric trial... by Aurelio Cruz-Valdez, Gabriel Valdez-Zapata, Sanjay S. Patel, Flavia V. Castelli, Marcia G. Garcia, Wim T. Jansen, Ashwani Kumar Arora, Esther Heijnen

Connect to this object online.

Comparative efficiency and safety of potassium competitive acid blockers versus Lansoprazole in peptic ulcer: a systematic review and meta-analysis by Yongqi Dong, Hongyan Xu, Zhihuan Zhang, Zhihang Zhou, Qiang Zhang

Connect to this object online.

Martial arts as a mental health intervention for children? Evidence from the ECLS-K by Strayhorn Joseph M, Strayhorn Jillian C

Connect to this object online.

A phase 3 randomized, open-label study evaluating the immunogenicity and safety of concomitant and staggered administration of a live, pentavalent rotavirus vaccine and an inactiva... by Shaomin Chen, Zhifang Ying, Yan Liu, Yuan Li, Yebin Yu, Meilian Huang, Zhuhang Huang, Zhiqiang Ou, Yuyi Liao, Yong Zhang, Guixiu Liu, Weiwei Zhao, Rong Fu, Qiong Shou, Minghuan Zheng, Xueyan Liao, Yingmei Tu, Jon Stek, Jonathan Hartzel, Changgui Li, Jikai Zhang

Connect to this object online.

Safety and immunogenicity of meningococcal (Groups A and C) polysaccharide vaccine in children 2 to 6 y of age in China: a randomized, active-controlled, non-inferiority study by Feng-Cai Zhu, Yue-Mei Hu, Ya-Nan Li, Jean-Denis Shu, Philipp Oster

Connect to this object online.