Arama Sonuçları - "stochastic"

Resonance Effects in Variable Practice for Handball, Basketball, and Volleyball Skills: A Study on Contextual Interference and Differential Learning Yazar: Julius Baba Apidogo, Achraf Ammar, Atef Salem, Johannes Burdack, Wolfgang Immanuel Schöllhorn

Connect to this object online.

Application of geospatial multi-agent system for simulation of different aspects of tuberculosis transmission Yazar: I.O. Semianiv, L.D. Todoriko, Ya.I. Vyklyuk, D.V. Nevinskyi

Connect to this object online.

Risk stratification for arrhythmic death in an emergency department cohort: a new method of nonlinear PD2i analysis of the ECG Yazar: James E Skinner, Michael Meyer, William C Dalsey, Brian A Nester, George Ramalanjaona, et al

Connect to this object online.

Modeling human papillomavirus and cervical cancer in the United States for analyses of screening and vaccination Yazar: Ortendahl Jesse, Stout Natasha K, Goldhaber-Fiebert Jeremy D, Kuntz Karen M, Goldie Sue J, Salomon Joshua A

Connect to this object online.

Modeling methicillin-resistant Staphylococcus aureus (MRSA) acquisitions in the intensive care unit with different staffing levels and finite direct-care tasks Yazar: Stephanie Johnson, Matthew Mietchen, Eric Lofgren

Connect to this object online.

Estimating the cost of vaccine development against epidemic infectious diseases: a cost minimisation study Yazar: Dimitrios Gouglas, MSc, Tung Thanh Le, MSc, Klara Henderson, PhD, Aristidis Kaloudis, ProfPhD, Trygve Danielsen, MSc, Nicholas Caspersen Hammersland, MSc, James M Robinson, MS, Penny M Heaton, MD, John-Arne Røttingen, ProfMD

Connect to this object online.

Outbreaks of COVID-19 variants in US prisons: a mathematical modelling analysis of vaccination and reopening policies Yazar: Theresa Ryckman, PhD, Elizabeth T Chin, BS, Lea Prince, PhD, David Leidner, PhD, Elizabeth Long, MS, David M Studdert, ProfScD, Joshua A Salomon, ProfPhD, Fernando Alarid-Escudero, PhD, Jason R Andrews, MD, Jeremy D Goldhaber-Fiebert, PhD

Connect to this object online.

Predictors and disparities in neonatal and under 5 mortality in rural Pakistan: cross sectional analysisResearch in context Yazar: Zahid Memon, Daniel Fridman, Sajid Soofi, Wardah Ahmed, Shah Muhammad, Arjumand Rizvi, Imran Ahmed, James Wright, Simon Cousens, Zulfiqar A. Bhutta

Connect to this object online.

Mapeamento do risco de homicídio com base na co-krigeagem binomial e simulação: um estudo de caso para São Paulo, Brasil Mapping of homicide risk with binomial cokriging and si... Yazar: Eduardo Celso Gerbi Camargo, Suzana Druck, Antônio Miguel Vieira Monteiro, Corina Costa Freitas, Gilberto Câmara

Connect to this object online.

Effect of Protein Binding on Exposure of Unbound and Total Mycophenolic Acid: A Population Pharmacokinetic Analysis in Chinese Adult Kidney Transplant Recipients Yazar: Changcheng Sheng, Qun Zhao, Wanjie Niu, Xiaoyan Qiu, Ming Zhang, Zheng Jiao

Connect to this object online.

REKONSTRUKSI MEDIA PEMBELAJARAN BERBASIS SMARTPHONE PADA SUB MATERI PENURUNAN TEKANAN UAP LARUTAN Yazar: Hany Khairunnisa, -

Link Metadata

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

İçindekiler: “…Synthesis -- HOLL: Program Synthesis for Higher Order Logic Locking -- The Complexity of LTL Rational Synthesis -- Synthesis of Compact Strategies for Coordination Programs -- ZDD Boolean Synthesis -- Verification -- Comparative Verification of the Digital Library of Mathematical -- Functions and Computer Algebra Systems -- Verifying Fortran Programs with CIVL -- NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems -- Efficient Neural Network Analysis with Sum-of-Infeasibilities -- Blockchain -- Formal Verification of the Ethereum 2.0 Beacon Chain -- Fast and Reliable Formal Verification of Smart Contracts with the Move Prover -- A Max-SMT Superoptimizer for EVM handling Memory and Storage -- Grammatical Inference -- A New Approach for Active Automata Learning Based on Apartness -- Learning Realtime One-Counter Automata -- Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic -- and Daniel NeiderLearning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes -- Verification Inference -- Inferring Interval-Valued Floating-Point Preconditions -- NeuReach: Learning Reachability Functions from Simulations -- Quantifier Alternations: Taming the Search Space Explosion -- LinSyn: Synthesizing Tight Linear Bounds for Arbitrary Neural Network Activation Functions -- Short papers -- Kmclib: Automated Inference and Verification of Session Types from OCaml Programs -- Automated Translation of Natural Language Requirements to Runtime Monitors -- MaskD: A Tool for Measuring Masking Fault-Tolerance -- Better Counterexamples for Dafny -- Constraint Solving -- cvc5: A Versatile and Industrial-Strength SMT Solver -- Clausal Proofs for Pseudo-Boolean Reasoning -- Moving Definition Variables in Quantified Boolean Formulas -- A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic -- Model checking and verification -- Property Directed Reachability for Generalized Petri Nets -- Transition Power Abstractions for Deep Counterexample Detection -- Searching for Ribbon-Shaped Paths in Fair Transition Systems -- CoVeriTeam: On-Demand Composition of Cooperative Verification Systems.…”
Link to Metadata

Proceedings of the International Conference on Social Modeling and Simulation, plus Econophysics Colloquium 2014

İçindekiler: “…Chapter 1 Financial Market -- Influence Networks in the Foreign Exchange Market -- Entropy and Transfer Entropy: The Dow Jones and the build up to the 1997 Asian Crisis -- Execution and Cancellation Lifetimes in Foreign Currency Market -- Signs of market orders and human dynamics -- Damped oscillatory behaviors in the ratios of stock market indices -- Exploring Market Making Strategy for High Frequency Trading: an Agent-based Approach -- Effect of Cancel Order on Simple Stochastic Order-Book Model -- Chapter 2 Robustness and Fragility -- Cascading failures in interdependent economic networks -- Do connections make systems robust?…”
Link to Metadata

Combining Bulk and Single Cell RNA-Sequencing Data to Identify Hub Genes of Fibroblasts in Dilated Cardiomyopathy Yazar: Huang X, Zhao X, Li Y, Feng Y, Zhang G, Wang Q, Xu C

Connect to this object online.

Using a Decision Tree Algorithm Predictive Model for Sperm Count Assessment and Risk Factors in Health Screening Population Yazar: Huang HH, Lu CJ, Jhou MJ, Liu TC, Yang CT, Hsieh SJ, Yang WJ, Chang HC, Chen MS

Connect to this object online.

Optimizing the nucleic acid screening strategy to mitigate regional outbreaks of SARS-CoV-2 Omicron variant in China: a modeling study Yazar: Yun Yin, Yuanhua Liu, Mengwei Duan, Xiyang Xie, Jie Hong, Jiaqi Huang, Ke Li, Jin Shi, Xi Chen, Hongyan Guo, Xuan Zhou, Rui Liu, Caifeng Zhou, Xiaozhe Wang, Lingcai Kong, Zhijie Zhang

Connect to this object online.

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

İçindekiler: “…-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

Determining the optimal model for role substitution in NHS dental services in the UK: a mixed-methods study Yazar: Paul Brocklehurst, Stephen Birch, Ruth McDonald, Harry Hill, Lucy O'Malley, Richard Macey, Martin Tickle

Connect to this object online.

Feasibility of controlling COVID-19 outbreaks by isolation of cases and contacts Yazar: Joel Hellewell, PhD, Sam Abbott, PhD, Amy Gimma, MSc, Nikos I Bosse, BSc, Christopher I Jarvis, PhD, Timothy W Russell, PhD, James D Munday, MSc, Adam J Kucharski, PhD, W John Edmunds, ProfPhD, Sebastian Funk, PhD, Rosalind M Eggo, PhD, Fiona Sun, Stefan Flasche, Billy J Quilty, Nicholas Davies, Yang Liu, Samuel Clifford, Petra Klepac, Mark Jit, Charlie Diamond, Hamish Gibbs, Kevin van Zandvoort

Connect to this object online.

The impact of non-pharmaceutical interventions on the first COVID-19 epidemic wave in South Africa Yazar: Thabo Mabuka, Nesisa Ncube, Michael Ross, Andrea Silaji, Willie Macharia, Tinashe Ndemera, Tlaleng Lemeke

Connect to this object online.