Search Results - "stochastic"

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

Connect to this object online.

An artificially simulated outbreak of a respiratory infectious disease by Zuiyuan Guo, Shuang Xu, Libo Tong, Botao Dai, Yuandong Liu, Dan Xiao

Connect to this object online.

Modelling exposure heterogeneity and density dependence in onchocerciasis using a novel individual-based transmission model, EPIONCHO-IBM: Implications for elimination and data nee... by Jonathan I D Hamley, Philip Milton, Martin Walker, Maria-Gloria Basáñez

Connect to this object online.

Associations and contribution of childhood diseases to fever risk among children less than five years in Uganda by Betty B Nambuusi, Julius Ssempiira, Fredrick E Makumbi, Simon Kasasa, Penelope Vounatsou

Connect to this object online.

Deep learning-based classification of infectious keratitis on slit-lamp images by Zijun Zhang, Haoyu Wang, Shigeng Wang, Zhenyu Wei, Yang Zhang, Zhiqun Wang, Kexin Chen, Zhonghong Ou, Qingfeng Liang

Connect to this object online.

KERJA SAMA SEKTOR STRATEGIS INDONESIA - DENMARK DALAM ENERGI TERBARUKAN DAN KONSERVASI ENERGI PERIODE 2015-2018 by Anugrah Prasertya Perwida, -

Link Metadata

Interdisciplinary Mathematics Education The State of the Art and Beyond /

Table of Contents: “…-SECTION 1: CONCEPTUAL FRAMEWORKS -- Introduction -- Theoretical Perspectives on Interdisciplinary Mathematics -- Interdisciplinary Collaboration Between Musicians and Mathematicians: An Experience with Stochastic Music -- Challenges and Opportunities STEM Interdisciplinary Agenda -- SECTION 2: FOCUS ON CROSS-CUTTING SKILLS -- Introduction -- Using Scientific Hypothesis in Interdisciplinary Maths Activities -- Quantitative Reasoning and its Role in Interdisciplinarity from a Mathematical Perspective -- Modelling and Programming of Digital Video: A Source for the Integration of Mathematics, Engineering, and Technology -- SECTION 3: CASE STUDIES OF INTERDISCIPLINARITY IN PRACTICE -- Introduction -- Mathematics in an Interdisciplinary STEM Course (NLT) -- "Maths add up": Interdisciplinary Maths Activities -- The Successful Students STEM project: A Medium Scale Case of Teacher Development -- "Draw What You See": Transcending The Mathematics Classroom -- Interdisciplinarity: Old wine in new bottles? …”
Link to Metadata

Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

Table of Contents: “…Constructing a universe for the setoid model -- Nominal Equational Problems -- Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy -- Fixpoint Theory - Upside Down -- "Most of"' leads to undecidability: Failure of adding frequencies to LTL -- Combining Semilattices and Semimodules -- One-way Resynchronizability of Word Transducers -- Fair Refinement for Asynchronous Session Types -- Running Time Analysis of Broadcast Consensus Protocols -- Leafy automata for higher-order concurrency -- Factorization in Call-by-Name and Call-by-Value Calculi via Linear Logic -- Generalized Bounded Linear Logic and its Categorical Semantics -- Focused Proof-search in the Logic of Bunched Implications -- Interpolation and Amalgamation for Arrays with MaxDi -- Adjoint Reactive GUI Programming -- On the Expressiveness of Büchi Arithmetic -- Parametricity for Primitive Nested Types -- The Spirit of Node Replication -- Nondeterministic and co-Nondeterministic Implies Deterministic, for Data Languages -- CertifyingInexpressibility -- A General Semantic Construction of Dependent Re nement Type Systems, Categorically -- Simple Stochastic Games with Almost-Sure Energy-Parity Objectives are in NP and coNP -- Nondeterministic Syntactic Complexity -- A String Diagrammatic Axiomatisation of Finite-State Automata -- Work-sensitive Dynamic Complexity of Formal Languages -- Learning Pomset Automata -- The Structure of Sum-Over-Paths, its Consequences, and Completeness for Clifford -- A Quantified Coalgebraic van Benthem Theorem.…”
Link to Metadata

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

Table of Contents: “…-- 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

Analysis and Design of Hybrid Energy Storage Systems by Garcia, Jorge

DOAB: download the publication
DOAB: description of the publication

Shallow turbulent wake flows: momentum and mass transfer due to large-scale coherent vortical structures by Carmer, Carl Friedrich von

DOAB: download the publication
DOAB: description of the publication

The Architecture of an Automatic eHealth Platform With Mobile Client for Cerebrovascular Disease Detection by Wang, Xingce, Bie, Rongfang, Sun, Yunchuan, Wu, Zhongke, Zhou, Mingquan, Cao, Rongfei, Xie, Lizhi, Zhang, Dong

Connect to this object online.

Feasible introgression of an anti-pathogen transgene into an urban mosquito population without using gene-drive. by Kenichi W Okamoto, Michael A Robert, Fred Gould, Alun L Lloyd

Connect to this object online.

Tracing coalition changes in knowledge in and engagement with childhood obesity prevention to improve intervention implementation by Travis R. Moore, Mark C. Pachucki, Erin Hennessy, Christina D. Economos

Connect to this object online.

A study protocol to evaluate the relationship between outdoor air pollution and pregnancy outcomes by Selemane Ismael, Silva Ana, Dias Carlos M, Tavares António B, Nave Joaquim G, Fonseca Susana, Llop Esteve, Augusto Sofia, Branquinho Cristina, Soares Amílcar, Pereira Maria J, Ribeiro Manuel C, de Toro Joaquin, Santos Mário J, Santos Fernanda

Connect to this object online.

Predictive gene lists for breast cancer prognosis: A topographic visualisation study by Lowe David, Sivaraksa Mingmanas

Connect to this object online.

Inferring the risk factors behind the geographical spread and transmission of Zika in the Americas. by Lauren M Gardner, András Bóta, Karthik Gangavarapu, Moritz U G Kraemer, Nathan D Grubaugh

Connect to this object online.

Cost-effectiveness of tuberculosis evaluation and treatment of newly-arrived immigrants by Grinsdale Jennifer, Marseille Elliot, Lewis Bryan, Porco Travis C, Flood Jennifer M, Royce Sarah E

Connect to this object online.

Mortality in Tonga over three triennia, 2010-2018 by Carah Figueroa, Christine Linhart, Latu Fusimalohi, Sioape Kupu, Gloria Mathenge, Stephen Morrell, Richard Taylor

Connect to this object online.

Impact of Inaccurate Documentation of Sampling and Infusion Time in Model-Informed Precision Dosing by Dzenefa Alihodzic, Dzenefa Alihodzic, Astrid Broeker, Michael Baehr, Stefan Kluge, Claudia Langebrake, Claudia Langebrake, Sebastian Georg Wicha

Connect to this object online.