X-Machines for Agent-Based Modeling FLAME Perspectives by Kiran, Mariam

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

Scaling of Differential Equations by Langtangen, Hans Petter

Subjects: DOAB: download the publication
DOAB: description of the publication

Proceedings of the 2020 DigitalFUTURES The 2nd International Conference on Computational Design and Robotic Fabrication (CDRF 2020)

Subjects: DOAB: download the publication
DOAB: description of the publication

Scaling of Differential Equations by Langtangen, Hans Petter

Subjects: OAPEN Library: download the publication
OAPEN Library: description of the publication

Proceedings of the 2020 DigitalFUTURES The 2nd International Conference on Computational Design and Robotic Fabrication (CDRF 2020)

Subjects: OAPEN Library: download the publication
OAPEN Library: description of the publication

Finding the Limits of the Limes Modelling Demography, Economy and Transport on the Edge of the Roman Empire /

Subjects: Link to Metadata

Characterizing Cardiac Electrophysiology during Radiofrequency Ablation : An Integrative Ex vivo, In silico, and In vivo Approach by Pollnow, Stefan

Subjects: DOAB: download the publication
DOAB: description of the publication

Cyber-Physical Systems: A Model-Based Approach by Taha, Walid M., Taha, Abd-Elhamid M., Thunberg, Johan

Subjects: Link to Metadata

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I /

Subjects: Link to Metadata

Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II /

Table of Contents: “…-Regular Properties with Decoupled Search -- AIGEN: Random Generation of Symbolic Transition Systems -- GPU Acceleration of Bounded Model Checking with ParaFROST -- Pono: A Flexible and Extensible SMT-based Model Checker -- Logical Foundations -- Towards a Trustworthy Semantics-Based Language Framework via Proof Generation -- Formal Foundations of Fine-Grained Explainability -- Latticed k-Induction with an Application to Probabilistic Programs -- Stochastic Systems -- Runtime Monitors for Markov Decision Processes -- Model Checking Finite-Horizon Markov Chains with Probabilistic Inference -- Enforcing Almost-Sure Reachability in POMDPs -- Rigorous Floating-Point Roundo Error Analysis of Probabilistic Computations -- Model-free Reinforcement Learning for Branching Markov Decision Processes -- Software Verification -- Cameleer: a Deductive Verification Tool for OCaml -- LLMC: Verifying High-Performance Software -- Formally Validating a Practical Verification Condition Generator -- Automatic Generation and Validation of Instruction Encoders and Decoders -- An SMT Encoding of LLVM's Memory Model for Bounded Translation Validation -- Automatically Tailoring Abstract Interpretation to Custom Usage Scenarios -- Functional Correctness of C implementations of Dijkstra's, Kruskal's, and Prim's Algorithms -- Gillian, Part II: Real-World Verification for JavaScript and C -- Debugging Network Reachability with Blocked Paths -- Lower-Bound Synthesis using Loop Specialization and Max-SMT -- Fast Computation of Strong Control Dependencies -- Di y: Inductive Reasoning of Array Programs using Difference Invariants.…”
Link to Metadata

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: Link to Metadata

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: Link to Metadata

Systems Biology Functional Strategies of Living Organisms by Konieczny, Leszek

Subjects: DOAB: download the publication
DOAB: description of the publication

Systems Biology Functional Strategies of Living Organisms by Konieczny, Leszek

Subjects: OAPEN Library: download the publication
OAPEN Library: description of the publication

Modeling of the Phase Change Material of a Hybrid Storage using the Finite Element Method by Kasper, Lukas

Subjects: DOAB: download the publication
DOAB: description of the publication

Modeling of the Phase Change Material of a Hybrid Storage using the Finite Element Method by Kasper, Lukas

Subjects: OAPEN Library: download the publication
OAPEN Library: description of the publication

Annals of Scientific Society for Assembly, Handling and Industrial Robotics

Subjects: DOAB: download the publication
DOAB: description of the publication

Annals of Scientific Society for Assembly, Handling and Industrial Robotics

Subjects: OAPEN Library: download the publication
OAPEN Library: description of the publication

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

Subjects: Link to Metadata

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

Subjects: Link to Metadata