Feature Papers in Mathematical and Computational Applications

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

Model-Informed Precision Dosing

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

Systematische Analyse und Bewertung komplexer Supply Chain Prozesse bei dynamischer Festlegung des Auftragsentkopplungspunkts by Schodl, Reinhold

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

Chapter HSE Management for a Sound Work Environment: Strategies for Improving Health Safety and Environmental Indicators through Ergonomic Design Thinking by Santos, Marcello Silva e

Subjects: “…structural vibration, railway vibration, environmental noise, vibration assessment, measurement, standards, human effect, building simulation, noise mapping, LRT…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Chapter Risk Assessment and Automated Anomaly Detection Using a Deep Learning Architecture by Thomopoulos, Stelios C.A

Subjects: “…risk assessment, security, anomaly detection, deep learning, neural networks, crowd simulation, control and command, surveillance, risk-based security…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Flow and Heat or Mass Transfer in the Chemical Process Industry by Dimitrios V. Papavassiliou (Ed.)

Subjects: “…thermal lattice Boltzman simulations…”
DOAB: download the publication
DOAB: description of the publication

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

Table of Contents: “…Part I Agent-Based Models: 1 Introduction -- 2 Simulation and Artificial Life -- 3 Making the Artificial Real -- 4 Modelling in Population Biology -- Part II Modelling Social Systems: 5 Modelling for the Social Sciences -- 6 Analysis: Frameworks and Theories -- 7 Schelling: A Success for Simplicity -- 8 Conclusions Part III Case Study: Simulation in Demography -- 9 Modelling in Demography: From Statistics to Simulations -- 10 Model-Based Demography in Practice: I -- 11 Model-Based Demography in Practice: II -- 12 Conclusions. .…”
Link to Metadata

Phonons in Low Dimensional Structures

Subjects: “…carbon nanotube, density functional theory, raman spectroscopy, monte carlo simulation, piezoelectric, elastic properties…”
DOAB: download the publication
DOAB: description of the publication

Multivariate Statistische Modellierung der Tropfenstartbedingungen für Euler-Lagrange-Simulationen von Triebwerksbrennkammern by Holz, Simon

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

Numerical Heat Transfer and Fluid Flow 2022

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

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

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

Hybrid Solutions for the Modelling of Complex Environmental Systems by Stefano Mazzoleni

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

Air Pollution in China

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

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

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

Re-Enacting Sensorimotor Experience for Cognition by Guido Schillaci

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

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

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

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

Subjects: “…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 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice o...

Table of Contents: “…Synthesis -- HOLL: Program Synthesis for Higher Order Logic Locking -- The Complexity of LTL Rational Synthesis -- Synthesis of Compact Strategies for Coordination Programs -- ZDD Boolean Synthesis -- Verification -- Comparative Verification of the Digital Library of Mathematical -- Functions and Computer Algebra Systems -- Verifying Fortran Programs with CIVL -- NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems -- Efficient Neural Network Analysis with Sum-of-Infeasibilities -- Blockchain -- Formal Verification of the Ethereum 2.0 Beacon Chain -- Fast and Reliable Formal Verification of Smart Contracts with the Move Prover -- A Max-SMT Superoptimizer for EVM handling Memory and Storage -- Grammatical Inference -- A New Approach for Active Automata Learning Based on Apartness -- Learning Realtime One-Counter Automata -- Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic -- and Daniel NeiderLearning Model Checking and the Kernel Trick for Signal Temporal Logic on Stochastic Processes -- Verification Inference -- Inferring Interval-Valued Floating-Point Preconditions -- NeuReach: Learning Reachability Functions from Simulations -- Quantifier Alternations: Taming the Search Space Explosion -- LinSyn: Synthesizing Tight Linear Bounds for Arbitrary Neural Network Activation Functions -- Short papers -- Kmclib: Automated Inference and Verification of Session Types from OCaml Programs -- Automated Translation of Natural Language Requirements to Runtime Monitors -- MaskD: A Tool for Measuring Masking Fault-Tolerance -- Better Counterexamples for Dafny -- Constraint Solving -- cvc5: A Versatile and Industrial-Strength SMT Solver -- Clausal Proofs for Pseudo-Boolean Reasoning -- Moving Definition Variables in Quantified Boolean Formulas -- A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic -- Model checking and verification -- Property Directed Reachability for Generalized Petri Nets -- Transition Power Abstractions for Deep Counterexample Detection -- Searching for Ribbon-Shaped Paths in Fair Transition Systems -- CoVeriTeam: On-Demand Composition of Cooperative Verification Systems.…”
Link to Metadata

Annals of Scientific Society for Assembly, Handling and Industrial Robotics

Table of Contents: “…Assembly Processes and Systems -- Handling & Grasping -- Modelling & Simulation.…”
Link to Metadata

Smart Control of Ship Propulsion System

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