Search Results - "modelling"

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

Subjects: “…Computer modelling & simulation bicssc…”
DOAB: download the publication
DOAB: description of the publication

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

Subjects: “…Computer modelling & simulation bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II

Subjects: “…Computer modelling & simulation bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Innovations in Derivatives Markets: Fixed Income Modeling, Valuation Adjustments, Risk Management, and Regulation

Subjects: “…Mathematical Modelling and Industrial Mathematics…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Methods in Computational Biology by Carlson, Ross

Subjects: “…BioModels Database…”
DOAB: download the publication
DOAB: description of the publication

Multiskalige Modellierung von Lithium-Ionen-Batterien by Schmidt, Adrian

Subjects: “…Batterie; Lithium-Ionen-Batterie; Modellierung; Multiskalenmodell; Simulation; Charakterisierung; Multiskalen Modell; battery; lithium-ion battery; modeling; multiscale model; simulation; characterization…”
DOAB: download the publication
DOAB: description of the publication

Multiskalige Modellierung von Lithium-Ionen-Batterien by Schmidt, Adrian

Subjects: “…Batterie; Lithium-Ionen-Batterie; Modellierung; Multiskalenmodell; Simulation; Charakterisierung; Multiskalen Modell; battery; lithium-ion battery; modeling; multiscale model; simulation; characterization…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Democratic State and Democratic Society. Institutional Change in the Nordic Model by Engelstad, Fredrik

Subjects: “…nordic model…”
DOAB: download the publication
DOAB: description of the publication

Les Ports normands by Éric Wauters

Subjects: “…modèle portuaire…”
DOAB: download the publication
DOAB: description of the publication

Chapter La governance dell'accoglienza straordinaria in Toscana by Cuevas, Miriam

Subjects: “…Reception model…”
DOAB: download the publication
DOAB: description of the publication

Chapter La governance dell'accoglienza straordinaria in Toscana by Cuevas, Miriam

Subjects: “…Reception model…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

A Little Fleet by Yeats, Jack B. (Jack Butler), 1871-1957

Subjects: “…Ship models -- Juvenile literature…”
Get full text

Natural Computing and Beyond by Toshiyuki Nakagaki

Subjects: “…Simulation and Modeling…”
DOAB: download the publication
DOAB: description of the publication

Modeling Disease Spread and Control by Tariq Halasa

Subjects: “…simulation model…”
DOAB: download the publication
DOAB: description of the publication

Software for Exascale Computing - SPPEXA 2016-2019

Subjects: “…Computer Modelling.…”
Link to Metadata

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

Subjects: “…Computer modelling & simulation bicssc…”
DOAB: download the publication
DOAB: description of the publication

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

Subjects: “…Computer modelling & simulation bicssc…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Cyber-Physical Systems: A Model-Based Approach by Taha, Walid M.

Subjects: “…Simulation and Modeling…”
DOAB: download the publication
DOAB: description of the publication

Cyber-Physical Systems: A Model-Based Approach by Taha, Walid M.

Subjects: “…Simulation and Modeling…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Multiscale Cohort Modeling of Atrial Electrophysiology Risk Stratification for Atrial Fibrillation through Machine Learning on Electrocardiograms by Nagel, Claudia

Subjects: “…Electrophysiologische Modellierung und Simulation; Elektrokardiogramm; Maschinelles Lernen; Vorhofflimmern; Statistisches Shape Modell; electrophysiological modeling and simulation; electrocardiogram; machine learning; atrial fibrillation; statistical shape model…”
DOAB: download the publication
DOAB: description of the publication