„Formal models“
Suchergebnisse
1.000+ Treffer
-
Simple and Formal Models in Comparative Politics
-
An approach to automatically detect problems in restructured deployment models based on formalizing architecture and design patterns
-
Grundlagen der Theoretischen Informatik – Einführung in Formale Sprachen, Berechenbarkeit, Komplexität - Ein Lernkurs mit Übungen
-
Who pays and who benefits? How different models of shared responsibilities between formal and informal carers influence projections of costs of dementia management
-
Clinical decision support models for oropharyngeal cancer treatment: design and evaluation of a multi-stage knowledge abstraction and formalization process
-
Combinatorial image analysis – 15th international workshop ; proceedings
-
Palladium‐Catalyzed Formal Cross‐Coupling of Diaryl Ethers with Amines: Slicing the 4‐ O ‐5 Linkage in Lignin Models
-
Palladium‐Catalyzed Formal Cross‐Coupling of Diaryl Ethers with Amines: Slicing the 4‐ O ‐5 Linkage in Lignin Models
-
Specification of regret-based models of choice behaviour: formal analyses and experimental design based evidence
-
Dependable Software Engineering. Theories, Tools, and Applications – Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings
-
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
-
Inferring physical units in formal models
-
Formale Logik im Dialog – Aussagenlogik, Prädikatenlogik und Modale Logik, mit einer Prise Softwaretechnik gewürzt
-
Synthesis of models for excitable membranes, synaptic transmission and neuromodulation using a common kinetic formalism
-
Coupling algebraic topology theory, formal methods and safety requirements toward a new coverage metric for artificial intelligence models
-
Revisiting the formalism of equivalent uniform dose based on the linear-quadratic and universal survival curve models in high-dose stereotactic body radiotherapy
-
Automata Theory and Logic
-
Formalising and analysing SMMT models using the mCRL2 toolset
-
The Epistemological Role of Fables in Formal Models about Power
-
Spectral band decomposition combined with nonlinear models: application to indoor formaldehyde concentration forecasting