Resultados de búsqueda - "stochastic process"

Equilibration of athletes' body state in the course of increasing the training intensity por Wei Wang, Elena Kozlova

Connect to this object online.

COMPARATIVE ANALYSIS OF THE ESSENCE AND STRUCTURE OF TRADITIONAL AND NONLINEAR EDUCATIONAL PROCESS IN THE HIGHER SCHOOL por L. I. Vasilyev

Connect to this object online.

Probabilistic and Fuzzy Approaches for Estimating the Life Cycle Costs of Buildings

DOAB: download the publication
DOAB: description of the publication

Phenotypic and Molecular Characterization of Carbapenem-Heteroresistant <i>Bacteroides fragilis</i> Strains por Zain Baaity, Friederike D. von Loewenich, Elisabeth Nagy, László Orosz, Katalin Burián, Ferenc Somogyvári, József Sóki

Connect to this object online.

Joint analyses of longitudinal and time-to-event data in research on aging: Implications for predicting health and survival por Konstantin G. Arbeev, Igor eAkushevich, Alexander M Kulminski, Svetlana eUkraintseva, Anatoliy I Yashin

Connect to this object online.

Latent HIV dynamics and implications for sustained viral suppression in the absence of antiretroviral therapy por John M. Murray

Connect to this object online.

ApiAP2 Factors as Candidate Regulators of Stochastic Commitment to Merozoite Production in Theileria annulata. por Marta Pieszko, William Weir, Ian Goodhead, Jane Kinnaird, Brian Shiels

Connect to this object online.

Healthcare services for people with acquired disability in South-East Queensland, Australia: Assessing potential proximity and its association with service obstacles por David N. Borg, Joshua J. Bon, Michele M. Foster, Ali Lakhani, Melissa Kendall, Timothy Geraghty

Connect to this object online.

International Symposium on Mathematics, Quantum Theory, and Cryptography Proceedings of MQC 2019 /

Tabla de Contenidos: “…-- Emerging Ultrastrong Coupling between Light and Matter Observed in Circuit Quantum Electrodynamics -- Quantum Random Numbers Generated by a Cloud Superconducting Quantum Computer -- Quantum Factoring Algorithm: Resource Estimation and Survey of Experiments -- A Review of Secret Key Distribution Based on Bounded Observability -- Towards Constructing Fully Homomorphic Encryption without Ciphertext Noise from Group Theory -- Number Theoretic Study in Quantum Interactions -- From the Bloch Sphere to Phase Space Representations with the Gottesman-Kitaev-Preskill Encoding -- A Data Concealing Technique with Random Noise Disturbance and A Restoring Technique for the Concealed Data by Stochastic Process Estimation.…”
Link to Metadata

Aberrant PRDM2 methylation as an early event in serrated lesions destined to evolve into microsatellite‐instable colorectal cancers por David EFWM vanToledo, Arne GC Bleijenberg, Andrea Venema, Mireille J deWit, Susanne vanEeden, Gerrit A Meijer, Beatrice Carvalho, Evelien Dekker, Peter Henneman, Joep EG IJspeert, Carel JM vanNoesel

Connect to this object online.

Internet and Computers for Agriculture

DOAB: download the publication
DOAB: description of the publication

Internet and Computers for Agriculture

DOAB: download the publication
DOAB: description of the publication

Public Systems Modeling Methods for Identifying and Evaluating Alternative Plans and Policies / por Loucks, Daniel P.

Tabla de Contenidos: “…Dealing with Uncertainty -- 13. Modeling Stochastic Processes -- 14. Chance Constrained and Monte Carlo Modeling -- 15. …”
Link to Metadata

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

Tabla de Contenidos: “…Concurrent and Distributed Systems -- Checking Deadlock-Freedom of Parametric Component-Based Systems -- The mCRL2 Toolset for Analysing Concurrent Systems: Improvements in Expressivity and Usability -- Automatic Analysis of Consistency Properties of Distributed Transaction Systems in Maude -- Multi-Core On-The-Fly Saturation -- Monitoring and Runtime Verification -- Specification and Efficient Monitoring Beyond STL -- VyPR2: A Framework for Runtime Verification of Python Web Services -- Constraint-based Monitoring of Hyperproperties -- Hybrid and Stochastic Systems -- Tail Probabilities for Runtimes of Randomized Programs: Martingale Synthesis for Higher Moments -- Computing the Expected Execution Time of Probabilistic Workflow Nets -- Shepherding Hordes of Markov Chains -- Optimal Time-Bounded Reachability Analysis for Concurrent Systems -- Synthesis -- Minimal-Time Synthesis for Parametric Timed Automata -- Environmentally-friendly GR(1) Synthesis -- StocHy: automated verification and synthesis of stochastic processes -- Synthesis of Symbolic Controllers: A Parallelized and Sparsity-Aware Approach -- Symbolic Verification -- iRank: a variable order metric for DEDS subject to linear invariants -- Binary Decision Diagrams with Edge-Specified Reductions -- Effective Entailment Checking for Separation Logic with Inductive Definitions -- Safety and Fault-Tolerant Systems -- Digital Bifurcation Analysis of TCP Dynamics -- Verifying Safety of Synchronous Fault-Tolerant Algorithms by Bounded Model Checking -- Measuring Masking Fault-Tolerance -- PhASAR: An Inter-Procedural Static Analysis Framework for C/C++.…”
Link to 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...

Tabla de Contenidos: “…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

Uncertainties in energy markets and their consideration in energy storage evaluation por Keles, Dogan

DOAB: download the publication
DOAB: description of the publication

Introduction to Mathematical Modeling and Computer Simulations por Mityushev, Vladimir

OAPEN Library: description of the publication

Introduction to Mathematical Modeling and Computer Simulations por Mityushev, Vladimir

DOAB: download the publication
DOAB: description of the publication

Hysteretic Behavior in Voltage-Gated Channels por Carlos A. Villalba-Galea, Alvin T. Chiem

Connect to this object online.

Penalized splines model to estimate time-varying reproduction number for Covid-19 in India: A Bayesian semi-parametric approach por Ranjita Pandey, Himanshu Tolani

Connect to this object online.