Search Results - "Simulation"

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 simulation…”
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 simulation…”
OAPEN Library: download the publication
OAPEN Library: 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 simulation…”
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 simulation…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Natural Computing and Beyond Winter School Hakodate 2011, Hakodate, Japan, March 2011 and 6th International Workshop on Natural Computing, Tokyo, Japan, March 2012, Proceedings /

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

Avantgarde Reliability Implications in Civil Engineering

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

High-Precision Automotive Radar Target Simulation by Diewald, Axel

Subjects: “…automotive radar; Radar target simulation; Automobilradar; Radarzielsimulation; autonomous driving; validation; Validierung; Autonomes Fahren…”
DOAB: download the publication
DOAB: description of the publication

Renewable Energy Utilisation and System Integration

Subjects: “…reliability, biomass, simulation, energy harvesting, finite element analysis, distributed generation…”
DOAB: download the publication
DOAB: description of the publication

Handbook of Stillinger-Weber Potential Parameters for Two-Dimensional Atomic Crystals

Subjects: “…molecular dynamics simulation, empirical potential, pacs: 78.20.bh, 63.22.…”
DOAB: download the publication
DOAB: description of the publication

At the Crossroads: Lessons and Challenges in Computational Social Science by Javier Borge-Holthoefer

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

Methodological Investigations in Agent-Based Modelling: With Applications for the Social Sciences by Eric Silverman

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

Simulation von Fahrspielen und Energieflüssen in Nahverkehrssystemen by Kühn, Christoph

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

Introducción a la estadística descriptiva con R by Aguilar Fernández, Eduardo

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

Recent Advances in Understanding the Basic Mechanisms of Atrial Fibrillation Using Novel Computational Approaches

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

What Is Social and Embodied about Situated Embodied Social Cognition? Current Issues and Perspectives

Subjects: “…sensori-motor simulation…”
DOAB: download the publication
DOAB: description of the publication

System- and Data-Driven Methods and Algorithms

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

Experimental investigation and process simulation of the compression molding process of Sheet Molding Compound (SMC) with local reinforcements by Hohberg, Martin

Subjects: “…Prozesssimulation; virtuelle Prozesskette; Materialcharakterisierung; SMC; process simulation; virtual process chain; material characterization…”
DOAB: download the publication
DOAB: description of the publication

Numerische Modellierung und Simulation von bleifreien Relaxor-Ferroelektrikum-Kompositen by Streich, Friedemann

Subjects: “…Finite-Elemente-Simulation…”
DOAB: download the publication
DOAB: description of the publication

System- and Data-Driven Methods and Algorithms

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

Experimental investigation and process simulation of the compression molding process of Sheet Molding Compound (SMC) with local reinforcements by Hohberg, Martin

Subjects: “…Prozesssimulation; virtuelle Prozesskette; Materialcharakterisierung; SMC; process simulation; virtual process chain; material characterization…”
OAPEN Library: download the publication
OAPEN Library: description of the publication