Dein Suchergebnis zum Thema: Model

system model.

checkers ARMC (Abstraction Refinement Model Checker) and SLAB (Slicing Abstraction

The subjective data are compared to predictions of the Dynamic Loudness Model [3]

Yi, „Model Checking, Synthesis, and Learning“ in Proc.

The model combines a non-linear auditory-inspired preprocessing with a back end based

Physics Periodic Thermodynamics Superfluid-Insulator Transition in the Bose-Hubbard Model

In this talk we discuss the Ori model for charged AdS black holes.

Forschungsinteressen sind: (Erweiterungen von) Realzeitautomaten Multi-Lane Spatial Logic Model

introduction talks (2 min per poster) Julien Besle: Can the non-human primate core-belt model

Dissertationsvorhaben Model-based learning and science instruction: Establishing