Risultati della ricerca - "computational model"

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

Soggetti: “...Computer Modelling....”
Link to Metadata

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

Soggetti: “...Computer Modelling....”
Link to Metadata

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

Sommario: “...-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 /

Soggetti: “...Computer Modelling....”
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 /

Soggetti: “...Computer Modelling....”
Link to Metadata

Systems Biology Functional Strategies of Living Organisms di Konieczny, Leszek

Soggetti: “...Computational models...”
DOAB: download the publication
DOAB: description of the publication

Systems Biology Functional Strategies of Living Organisms di Konieczny, Leszek

Soggetti: “...Computational models...”
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 di Kasper, Lukas

Soggetti: “...Computer modelling & simulation bicssc...”
DOAB: download the publication
DOAB: description of the publication

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

Soggetti: “...Computer modelling & simulation bicssc...”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Annals of Scientific Society for Assembly, Handling and Industrial Robotics

Soggetti: “...Computer modelling & simulation bicssc...”
DOAB: download the publication
DOAB: description of the publication

Annals of Scientific Society for Assembly, Handling and Industrial Robotics

Soggetti: “...Computer modelling & simulation bicssc...”
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...

Soggetti: “...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 /

Soggetti: “...Computer Modelling....”
Link to Metadata

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

Soggetti: “...Computer modelling & simulation bicssc...”
DOAB: download the publication
DOAB: 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

Soggetti: “...Computer modelling & simulation bicssc...”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Chinese Water Systems Volume 4: Applied Water Management in China

Soggetti: “...Computer modelling & simulation bicssc...”
DOAB: download the publication
DOAB: description of the publication

Chinese Water Systems Volume 4: Applied Water Management in China

Soggetti: “...Computer modelling & simulation bicssc...”
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

Soggetti: “...Computer modelling & simulation bicssc...”
DOAB: download the publication
DOAB: description of the publication

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

Soggetti: “...Computer modelling & simulation bicssc...”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings,...

Soggetti: “...Computer Modelling....”
Link to Metadata