Search Results - "stochastic"

Classification and Data Science in the Digital Age

Table of Contents: “…Lee, and K. Bouchard: Stochastic Collapsed Variational Inference for Structured Gaussian Process Regression Networks -- H. …”
Link to Metadata

From Digital Twins to Digital Selves and Beyond Engineering and Social Models for a Trans-humanist World / by Barachini, Franz, Stary, Christian

Table of Contents: “…Emotional Modeling with Spatial Games -- 8. Agent-Based Stochastic Simulation of Emotions -- Part III: A Symbiosis -- 9. …”
Link to Metadata

Fundamental Approaches to Software Engineering 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

Table of Contents: “…FASE Contributions -- Information-flow Interfaces -- A Survey-Based Feature Model for Software Traceability -- Construction of Veri er Combinations Based on Off-the-Shelf Verifiers -- On the Detection of Doped Software by Falsification -- Estimating Worst-case Resource Usage by Resource-usage-aware Fuzzing -- Quantitative Program Sketching using Lifted Static Analysis -- SixthSense: Debugging Convergence Problems in Probabilistic Programs via Program Representation Learning -- Finding Semantic Bugs Fast -- SMC4PEP: Stochastic Model Checking of Product Engineering Processes -- Symbolic Predictive Cache Analysis for Out-of-Order Execution -- PEQtest: Testing Functional Equivalence -- An Institutional Approach to Communicating UML State Machines -- Semantic Code Search in Software Repositories using Neural Machine Translation -- AequeVox: Automated Fairness Testing of Speech Recognition Systems -- SMT-Based Planning Synthesis for Distributed System Reconfigurations -- Semantic Clone Detection via Probabilistic Software Modeling -- QMaxUSE: A Query-based Verification Tool for UML Class Diagrams with OCL Invariants -- Test-Comp Contributions -- Advances in Automatic Software Testing: Test-Comp 2022 -- FuSeBMC v4: Smart Seed Generation for Hybrid Fuzzing (Competition Contribution) -- VeriFuzz: Good Seeds for Fuzzing (Competition Contribution).…”
Link to Metadata

Industrial Chemistry Reactions: Kinetics, Mass Transfer and Industrial Reactor Design

DOAB: download the publication
DOAB: description of the publication

Volume II: Thermal Behaviour, Energy Efficiency in Buildings and Sustainable Construction

DOAB: download the publication
DOAB: description of the publication

The cost-utility of an intervention for children and adolescents with a parent having a mental illness in the framework of the German health and social care system: a health econom... by Tamara Waldmann, Jochen Schaible, Maja Stiawa, Thomas Becker, Karl Wegscheider, Bonnie Adema, Silke Wiegand-Grefe, Reinhold Kilian

Connect to this object online.

國民中學適足教育經費：臺灣偏遠與非偏遠地區學校的比較 Estimating Adequate Funding to Meet Performance Standards for Junior High School Students: Adequate Funding Comparisons Between Rural and Non-Rural Schoo... by 張良丞 Liang-Cheng Zhang, 許添明 Tian-Ming Sheu, 吳新傑Hsin-Chieh Wu

Connect to this object online.

The Utility of Efavirenz-based Prophylaxis Against HIV Infection. A Systems Pharmacological Analysis by Sulav Duwal, Daniel Seeler, Laura Dickinson, Saye Khoo, Max von Kleist

Connect to this object online.

Achieving the "Ending the HIV Epidemic in the U.S." incidence reduction goals among at-risk populations in the South by Deven T. Hamilton, Karen W. Hoover, Dawn K. Smith, Kevin P. Delaney, Li Yan Wang, Jingjing Li, Tamika Hoyte, Samuel M. Jenness, Steven M. Goodreau

Connect to this object online.

Investigation of human cationic antimicrobial protein-18 (hCAP-18), lactoferrin and CD163 as potential biomarkers for ovarian cancer by Lim Ratana, Lappas Martha, Riley Clyde, Borregaard Niels, Moller Holger J, Ahmed Nuzhat, Rice Gregory E

Connect to this object online.

Molecular Phylogenesis and Spatiotemporal Spread of SARS-CoV-2 in Southeast Asia by Mingjian Zhu, Jian Shen, Qianli Zeng, Joanna Weihui Tan, Jirapat Kleepbua, Ian Chew, Jia Xian Law, Sien Ping Chew, Anita Tangathajinda, Natthjija Latthitham, Lanjuan Li

Connect to this object online.

Characterizing pancreatic β-cell heterogeneity in the streptozotocin model by single-cell transcriptomic analysis by Ye Feng, Wei-Lin Qiu, Xin-Xin Yu, Yu Zhang, Mao-Yang He, Lin-Chen Li, Li Yang, Weiyi Zhang, Michael Franti, Junqing Ye, Joerg D. Hoeck, Cheng-Ran Xu

Connect to this object online.

Disease Concept-Embedding Based on the Self-Supervised Method for Medical Information Extraction from Electronic Health Records and Disease Retrieval: Algorithm Development and Val... by Chen, Yen-Pin, Lo, Yuan-Hsun, Lai, Feipei, Huang, Chien-Hua

Connect to this object online.

Model Grey (1,1) dan Grey-Markov pada Peramalan Realisasi Penerimaan Negara by Atina Ahdika

Connect to this object online.

Defining stopping criteria for ending randomized clinical trials that investigate the interruption of transmission of soil-transmitted helminths employing mass drug administration. by Marleen Werkman, Jaspreet Toor, Carolin Vegvari, James E Wright, James E Truscott, Kristjana H Ásbjörnsdóttir, Arianna Rubin Means, Judd L Walson, Roy M Anderson

Connect to this object online.

Performance of Innovative Controlled Buildings Under Resonant and Critical Earthquake Ground Motions by Izuru Takewaki

DOAB: download the publication
DOAB: description of the publication

A systematic review and evaluation of Zika virus forecasting and prediction research during a public health emergency of international concern. by Pei-Ying Kobres, Jean-Paul Chretien, Michael A Johansson, Jeffrey J Morgan, Pai-Yei Whung, Harshini Mukundan, Sara Y Del Valle, Brett M Forshey, Talia M Quandelacy, Matthew Biggerstaff, Cecile Viboud, Simon Pollett

Connect to this object online.

臺灣高等教育院校之學校品質、經營效率與最適規模分析 School Quality, Operational Efficiency, and Optimal Size: An Analysis of Higher Education Institutions in Taiwan... by 傅祖壇 Tsu-Tan Fu

Connect to this object online.

Improved methods to capture the total societal benefits of zoonotic disease control: Demonstrating the cost-effectiveness of an integrated control programme for Taenia solium, soil... by Walter O Okello, Anna L Okello, Phouth Inthavong, Tassilo Tiemann, Ammaly Phengsivalouk, Brecht Devleesschauwer, Alexandra Shaw, John Allen

Connect to this object online.

Enhancing predictive models for egg donation: time to blastocyst hatching and machine learning insights by Jorge Ten, Leyre Herrero, Ángel Linares, Elisa Álvarez, José Antonio Ortiz, Andrea Bernabeu, Rafael Bernabéu

Connect to this object online.