Search Results - "statistical model"

Simultaneous quantile regression and determinants of under-five severe chronic malnutrition in Ghana by Justice Moses K. Aheto

Connect to this object online.

A closer look at the relationship among accelerometer-based physical activity metrics: ICAD pooled data by Soyang Kwon, Lars Bo Andersen, Anders Grøntved, Elin Kolle, Greet Cardon, Rachel Davey, Susi Kriemler, Kate Northstone, Angie S. Page, Jardena J. Puder, John J. Reilly, Luis B. Sardinha, Esther M. F. van Sluijs, Kathleen F. Janz

Connect to this object online.

Model-Based Demography Essays on Integrating Data, Technique and Theory / by Burch, Thomas K.

Table of Contents: “…Computer Simulation and Statistical Modeling: Rivals or Complements? -- 5. Does Demography Need Differential Equations? …”
Link to Metadata

Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice o...

Table of Contents: “…Concurrent and Distributed Systems -- Computing the concurrency threshold of sound free-choice workflow nets -- Fine-Grained Complexity of Safety Verification -- Parameterized verification of synchronization in constrained reconfigurable broadcast networks -- EMME: a formal tool for the ECMAScript Memory Model Evaluation -- SAT and SMT II -- What a Difference a Variable Makes -- Abstraction Refinement for Emptiness Checking of Alternating Data Automata -- Revisiting Enumerative Instantiation -- An Non-linear Arithmetic Procedure for Control-Command Software Verification -- Security and Reactive Systems -- Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection -- Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts -- RVHyper: A Runtime Verification Tool for Temporal Hyperproperties -- The Refinement Calculus of Reactive Systems Toolset -- Static and Dynamic Program Analysis -- TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation -- Optimal Dynamic Partial Order Reduction with Observers -- Structurally Defined Conditional Data-flow Static Analysis -- Geometric Nontermination Arguments -- Hybrid and Stochastic Systems -- Efficient dynamic error reduction for hybrid systems reachability analysis -- AMT2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic -- Multi-Cost Bounded Reachability in MDPs -- A Statistical Model Checker for Nondeterminism and Rare Events -- Temporal logic and mu-calculus -- Permutation Games for the Weakly Aconjunctive mu-Calculus -- Symmetry Reduction for the Local Mu-Calculus -- Bayesian Statistical Parameter Synthesis for Linear Temporal Properties of Stochastic Models -- 7th Competition on Software Verification (SV-COMP) -- 2LS: Memory Safety and Non-Termination (Competition contribution) -- Yogar-CBMC: CBMC with Scheduling Constraint Based Abstraction Refinement (Competition Contribution) -- CPA-BAM-Slicing: Block-Abstraction Memorization and Slicing with Region-BasedDependency Analysis (Competition Contribution) -- InterpChecker: Reducing State Space via Interpolations (Competition Contribution) -- Map2Check using LLVM and KLEE (Competition Contribution) -- Symbiotic 5: Boosted Instrumentation (Competition Contribution) -- Ultimate Automizer and the Search for Perfect Interpolants (Competition Contribution) -- Ultimate Taipan with Dynamic Block Encoding (Competition Contribution) -- VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution).…”
Link to Metadata

Reconsidering the use of rankings in the valuation of health states: a model for estimating cardinal values from ordinal data by Salomon Joshua A

Connect to this object online.

Pan-cancer analysis of differential DNA methylation patterns by Mai Shi, Stephen Kwok-Wing Tsui, Hao Wu, Yingying Wei

Connect to this object online.

Identifying Elevated Risk for Future Pain Crises in Sickle-Cell Disease Using Photoplethysmogram Patterns Measured During Sleep: A Machine Learning Approach by Yunhua Ji, Patjanaporn Chalacheva, Carol L. Rosen, Michael R. DeBaun, Thomas D. Coates, Michael C. K. Khoo

Connect to this object online.

A model of disparities: risk factors associated with COVID-19 infection by Yelena Rozenfeld, Jennifer Beam, Haley Maier, Whitney Haggerson, Karen Boudreau, Jamie Carlson, Rhonda Medows

Connect to this object online.

Transitions in health care settings for frequent and infrequent users of emergency departments: a population-based retrospective cohort study by Rhonda J. Rosychuk, Anqi A. Chen, Maria B. Ospina, Andrew D. McRae, X. Joan Hu, Patrick McLane

Connect to this object online.

Factors associated with COVID-19 vaccine uptake in a US/Mexico border community: demographics, previous influenza vaccination, and trusted sources of health information by Angel Lomeli, Angel Lomeli, Arleth A. Escoto, Breanna Reyes, Maria Linda M. Burola, Stephenie Tinoco-Calvillo, Isabel Villegas, Ariel S. Cohen, Louise C. Laurent, Linda Salgin, Linda Salgin, Nicole A. Stadnick, Nicole A. Stadnick, Nicole A. Stadnick, Borsika Rabin, Borsika Rabin, Marva Seifert

Connect to this object online.

Interfacial biomechanical properties of a dual acid-etched versus a chemically modified hydrophilic dual acid-etched implant surface: an experimental study in Beagles by Rainde Naiara Rezende de Jesus, Eunice Carrilho, Pedro V. Antunes, Amílcar Ramalho, Camilla Christian Gomes Moura, Andreas Stavropoulos, Darceny Zanetta-Barbosa

Connect to this object online.

Assessing the impact of COVID-19 border restrictions on dengue transmission in Yunnan Province, China: an observational epidemiological and phylogenetic analysis by Naizhe Li, Yun Feng, Bram Vrancken, Yuyang Chen, Lu Dong, Qiqi Yang, Moritz U.G. Kraemer, Oliver G. Pybus, Hailin Zhang, Oliver J. Brady, Huaiyu Tian

Connect to this object online.

Spatial distribution of arboviral mosquito vectors (Diptera, Culicidae) in Vale do Ribeira in the South-eastern Brazilian Atlantic Forest Distribuição espacial de mosquitos (Dipt... by Gabriel Zorello Laporta, Milton Cezar Ribeiro, Daniel Garkauskas Ramos, Maria Anice Mureb Sallum

Connect to this object online.

Estimating the cumulative incidence of SARS-CoV-2 infection in Costa Rica: modelling seroprevalence data in a population-based cohortResearch in context by Romain Fantin, Neha Agarwala, Amada Aparicio, Ruth Pfeiffer, Tim Waterboer, Arturo Abdelnour, Julia Butt, Julia Flock, Kim Remans, D. Rebecca Prevots, Carolina Porras, Allan Hildesheim, Viviana Loria, Mitchell H. Gail, Rolando Herrero, Alejandro Calderón, Karla Moreno, Melvin Morera, Roy Wong, Roberto Castro, Bernal Cortés, Rebecca Ocampo, Michael Zúñiga, Juan Carlos Vanegas, Kaiyuan Sun, Cristina Barboza-Solís, Marco Binder

Connect to this object online.

Common mental disorders in Peruvian immigrant in Chile: a comparison with the host population by Antonia Errazuriz, Kristin Schmidt, Paulina Valenzuela, Rodolfo Pino, Peter B. Jones

Connect to this object online.

Advances in Credit Risk Modeling and Management

DOAB: download the publication
DOAB: description of the publication

Comparação em EMG dos músculos tríceps braquial e deltóide anterior nos exercícios desenvolvimento de ombro e tríceps supino by Abraham Lincoln de Paula Rodrigues, Túlio Luiz Banja, Danilo Rodrigues Cavalcante Feitosa, Igor Neves Torres

Connect to this object online.

Unintended pregnancy and abortion by income, region, and the legal status of abortion: estimates from a comprehensive model for 1990-2019 by Jonathan Bearak, PhD, Anna Popinchalk, MPH, Bela Ganatra, MD, Ann-Beth Moller, MPH, Özge Tunçalp, MD, Cynthia Beavin, BA, Lorraine Kwok, BA, Leontine Alkema, PhD

Connect to this object online.

Using overbooking to manage no-shows in an Italian healthcare center by Chiara Anna Parente, Domenico Salvatore, Giampiero Maria Gallo, Fabrizio Cipollini

Connect to this object online.

Unmet Need for Contraception Among Young Married Women in Eastern Ethiopia by Dingeta T, Oljira L, Worku A, Berhane Y

Connect to this object online.