„Formal models“

Suchergebnisse

1.000+ Treffer

• Simple and Formal Models in Comparative Politics
  Little, Andrew T. ; Pepinsky, Thomas B.
• An approach to automatically detect problems in restructured deployment models based on formalizing architecture and design patterns
  Saatkamp, Karoline ; Breitenbücher, Uwe ; Kopp, Oliver ; Leymann, Frank
• Grundlagen der Theoretischen Informatik – Einführung in Formale Sprachen, Berechenbarkeit, Komplexität - Ein Lernkurs mit Übungen
  Schulz, André 2026 Springer Vieweg
• Who pays and who benefits? How different models of shared responsibilities between formal and informal carers influence projections of costs of dementia management
  Vickland, Victor ; Werner, Joel ; Morris, Thomas ; McDonnell, Geoff ; Draper, Brian ; Low, Lee-Fay ; Brodaty, Henry
• Clinical decision support models for oropharyngeal cancer treatment: design and evaluation of a multi-stage knowledge abstraction and formalization process
  Gaebel, Jan ; Mehlhorn, Stefanie ; Oeser, Alexander ; Dietz, Andreas ; Neumuth, Thomas ; Stoehr, Matthaeus
• Combinatorial image analysis – 15th international workshop ; proceedings
  Barneva, Reneta P. ; Brimkov, Valentin E. ; Aggarwal, Jagdishkumar K. 2012 Springer
• Palladium‐Catalyzed Formal Cross‐Coupling of Diaryl Ethers with Amines: Slicing the 4‐ O ‐5 Linkage in Lignin Models
  Zeng, Huiying ; Cao, Dawei ; Qiu, Zihang ; Li, Chao‐Jun
• Palladium‐Catalyzed Formal Cross‐Coupling of Diaryl Ethers with Amines: Slicing the 4‐ O ‐5 Linkage in Lignin Models
  Zeng, Huiying ; Cao, Dawei ; Qiu, Zihang ; Li, Chao‐Jun
• Specification of regret-based models of choice behaviour: formal analyses and experimental design based evidence
  Rasouli, Soora ; Timmermans, Harry J. P.
• Dependable Software Engineering. Theories, Tools, and Applications – Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings
  Larsen, Kim Guldstrand ; Sokolsky, Oleg ; Wang, Ji 2017 Springer International Publishing
• Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
  Przigoda, Nils ; Wille, Robert ; Przigoda, Judith ; Drechsler, Rolf 2018 Springer International Publishing
• Inferring physical units in formal models
  Krings, Sebastian ; Leuschel, Michael
• Formale Logik im Dialog – Aussagenlogik, Prädikatenlogik und Modale Logik, mit einer Prise Softwaretechnik gewürzt
  Doberkat, Ernst-Erich 2025 Springer Vieweg
• Synthesis of models for excitable membranes, synaptic transmission and neuromodulation using a common kinetic formalism
  Destexhe, Alain ; Mainen, Zachary F. ; Sejnowski, Terrence J.
• Coupling algebraic topology theory, formal methods and safety requirements toward a new coverage metric for artificial intelligence models
  Adjed, Faouzi ; Mziou-Sallami, Mallek ; Pelliccia, Frédéric ; Rezzoug, Mehdi ; Schott, Lucas ; Bohn, Christophe ; Jaafra, Yesmina
• Revisiting the formalism of equivalent uniform dose based on the linear-quadratic and universal survival curve models in high-dose stereotactic body radiotherapy
  Chan, Mark Ka Heng ; Chiang, Chi-Leung
• Automata Theory and Logic
  Lange, Martin 2025 Springer Vieweg
• Formalising and analysing SMMT models using the mCRL2 toolset
  Laarhoven, J. E. P. M. van ; Bunte, O. ; Gool, L. C. M. van ; Willemse, T. A. C.
• The Epistemological Role of Fables in Formal Models about Power
  Woods, Dwayne
• Spectral band decomposition combined with nonlinear models: application to indoor formaldehyde concentration forecasting
  Ouaret, Rachid ; Ionescu, Anda ; Petrehus, Viorel ; Candau, Yves ; Ramalho, Olivier