Results 271 to 280 of about 5,521,647 (293)

Model-Based Testing of Quantum Computations

We summarize our paper Model-Based Testing of Quantum Computations which has been published in the proceedings of the 18th International Conference on Tests and Proofs (TAP 2024).
Malte Lochau, Ina Schaefer
openaire   +2 more sources

Gut Microbiota Regulate Motor Deficits and Neuroinflammation in a Model of Parkinson’s Disease

Cell, 2016
Timothy R Sampson, Justine W Debelius, Stefan Janssen   +2 more
exaly  

Density functionals and model Hamiltonians: Pillars of many-particle physics

Physics Reports, 2013
V L Campo
exaly  

Studies on the mechanism of hydrolysis and polymerization of aluminum salts in aqueous solution: correlations between the “Core-links” model and “Cage-like” Keggin-Al13 model

Coordination Chemistry Reviews, 2004
Shuping Bi, Chenyi Wang, Qing Cao
exaly  

Model Selection and Model Averaging in Phylogenetics: Advantages of Akaike Information Criterion and Bayesian Approaches Over Likelihood Ratio Tests

Systematic Biology, 2004
David Posada, Thomas R Buckley
exaly  

Anatomy of sustainable business model innovation

Journal of Cleaner Production, 2020
Abbas Mardani, Abdoulmohammad Gholamzadeh Chofreh, Feybi Ariani Goni   +2 more
exaly  

Software model checking

ACM Computing Surveys, 2009
Ranjit Jhala
exaly  

Bayesian Model Averaging for Linear Regression Models

Journal of the American Statistical Association, 1997
Adrian E Raftery, David Madigan, Jennifer A Hoeting   +2 more
exaly  

The Kuramoto model in complex networks

Physics Reports, 2016
Francisco A Rodrigues, Thomas Peron, Peng Ji   +2 more
exaly  

Simulation Model Predicts Cost Savings from Colorectal Cancer Screening

Ca-A Cancer Journal for Clinicians, 2010
exaly