Hybrid Modeling in Modelica based on the Synchronous Data Flow Principle
Building Hybrid Automata of Complex Physical Systems for Real-time Applications
Software Representation for Heterogeneous Data Sources Within A Probabilistic Framework
A new mobilty model based on maps
Applications of a Context Ontology Language
Problems of quantum theory may be solved by an emulation theory of quantum physics
Problems of quantum theory may be solved by an emulation theory of quantum physics
Multiple quantum teleportation within space-time, and dependent clones with given probability
Using MRT data to compute a hand kinematic model
Robust, expressive, and quantitative linear temporal logics: Pick any two for free
Modia3D: Modeling and Simulation of 3D-Systems in Julia
SQPDFO - a Trust-Region Based Algorithm for Generally-Constrained Derivative-Free Optimization
Conceptual development of a probabilistic graphical framework for assessing port resilience
Exact and heuristic static routing algorithms for improving online grocery shopping logistics
Port emergency tourist flows management - experiments with drones and active RFID sensors
Optimizing picking operations in a distribution center of the large-scale retail trade
Comparing a VR ship simulator using an HMD with a commercial ship handling simulator in a CAVE setup
Discrete-event simulation in logistics: a critical review and framework for classification