Resultados da pesquisa - "Bayesian statistics"

Dwarfs on the Shoulders of Giants: Bayesian Analysis With Informative Priors in Elite Sports Research and Decision Making Por Anne Hecksteden, Sabrina Forster, Florian Egger, Felix Buder, Ralf Kellner, Ralf Kellner, Tim Meyer

Connect to this object online.

Myobolica: A Stochastic Approach to Estimate Physiological Muscle Control Variability Por Alex Bersani, Mercy Amankwah, Daniela Calvetti, Erkki Somersalo, Marco Viceconti, Giorgio Davico

Connect to this object online.

Early Urinary Biomarkers in Pediatric Autosomal Dominant Polycystic Kidney Disease (ADPKD): No Evidence in the Interest of Urinary Neutrophil Gelatinase-Associated Lipocalin (uNGAL... Por Marianthi Tsingos, Laura Merlini, Marco Solcà, Alexandra Goischke, Alexandra Wilhelm-Bals, Paloma Parvex

Connect to this object online.

Epidemiological models, parameters, and prediction of the COVID-19 outbreak in a southwest Georgia hotspot Por Daniel F. Linder, William M. Sewell III, Jack D. Owens, Jim Franklin, Mark Miller, Casey Newton, Priyank Shah

Connect to this object online.

Impacts of social distancing, rapid antigen test and vaccination on the Omicron outbreak during large temperature variations in Hong Kong: A modelling study Por Hsiang-Yu Yuan, Jingbo Liang, Md Pear Hossain

Connect to this object online.

Generating normative data from web-based administration of the Cambridge Neuropsychological Test Automated Battery using a Bayesian framework Por Elizabeth Wragg, Caroline Skirrow, Caroline Skirrow, Pasquale Dente, Jack Cotter, Peter Annas, Peter Annas, Milly Lowther, Milly Lowther, Rosa Backx, Jenny Barnett, Jenny Barnett, Fiona Cree, Jasmin Kroll, Francesca Cormack

Connect to this object online.

Spatiotemporal evolution of global population ageing from 1960 to 2017 Por Junming Li, Xiulan Han, Xiangxue Zhang, Sixian Wang

Connect to this object online.

Declining trends in vaccine confidence across sub-Saharan Africa: A large-scale cross-sectional modeling study Por A. de Figueiredo, E. Temfack, R. Tajudeen, H. J. Larson

Connect to this object online.

Bayesian Design in Clinical Trials

DOAB: download the publication
DOAB: description of the publication

Leishmania braziliensis causing human disease in Northeast Brazil presents loci with genotypes in long-term equilibrium. Por Juliana A Silva, Ana Isabelle Pinheiro, Maria Luiza Dourado, Lilian Medina, Adriano Queiroz, Luiz Henrique Guimarães, Marcus Miranda Lessa, Ednaldo L Lago, Paulo Roberto L Machado, Mary E Wilson, Edgar M Carvalho, Albert Schriefer

Connect to this object online.

Bayesian estimation of the effect of health inequality in disease detection Por Dinah Jane Lope, Haydar Demirhan, Anil Dolgun

Connect to this object online.

Longer Neurophysiological vs. Clinical Recovery Following Sport Concussion Por Michail Ntikas, Angus M. Hunter, Iain J. Gallagher, Thomas G. Di Virgilio

Connect to this object online.

Differences between Frequentist and Bayesian inference in routine surveillance for influenza vaccine effectiveness: a test-negative case-control study Por Michael L. Jackson, Jill Ferdinands, Mary Patricia Nowalk, Richard K. Zimmerman, Burney Kieke, Manjusha Gaglani, Kempapura Murthy, Joshua G. Petrie, Emily T. Martin, Jessie R. Chung, Brendan Flannery, Lisa A. Jackson

Connect to this object online.

Multicentric Assessment of a Multimorbidity-Adjusted Disability Score to Stratify Depression-Related Risks Using Temporal Disease Maps: Instrument Validation Study Por Rubèn González-Colom, Kangkana Mitra, Emili Vela, Andras Gezsi, Teemu Paajanen, Zsófia Gál, Gabor Hullam, Hannu Mäkinen, Tamas Nagy, Mikko Kuokkanen, Jordi Piera-Jiménez, Josep Roca, Peter Antal, Gabriella Juhasz, Isaac Cano

Connect to this object online.

Suspected adverse drug reactions of rivaroxaban reported in the United States food and drug administration adverse event reporting system database: a pharmacovigilance study Por Jingying Wu, Jianru Wu, Biyu Tang, Xinru Wang, Fenfang Wei, Yi Zhang, Limin Li, Hongqiao Li, Bei Wang, Wenyu Wu, Xiang Hong

Connect to this object online.

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...

Sumário: “...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

Bayesian Networks

DOAB: download the publication
DOAB: description of the publication

Seasonal variation of femoral fractures in the state of São Paulo, Southeast Brazil Por Mônica Marin de Souza, Eniuce Menezes de Souza, Altacílio Aparecido Nunes, Edson Zangiacomi Martinez

Connect to this object online.

Towards Bayesian Model-Based Demography Agency, Complexity and Uncertainty in Migration Studies Por Bijak, Jakub

DOAB: download the publication
DOAB: description of the publication

COVID-19 outbreaks analysis in the Valencian Region of Spain in the prelude of the third wave Por David Fuente, David Hervás, Miguel Rebollo, J. Alberto Conejero, Nuria Oliver

Connect to this object online.