Cover Image
Read Now

61
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... ATL* in ATL -- Model Checking Modal Transition Systems Using Kripke Structures -- Parameterized...”
Cover Image
Read Now

62
Published 2008
Springer Berlin Heidelberg
Table of Contents: “... with Counting and the Pnueli Modalities -- MTL with Bounded Variability: Decidability and Complexity -- Timed...”
Cover Image
Read Now

63
Published 2017
Springer International Publishing
Table of Contents: “...Bringing LTL Model Checking to Biologists -- Verified Concurrent Code: Tricks of the Trade...”
Cover Image
Read Now

64
Published 2006
Springer US
Table of Contents: “...Forward and Backward Recurrence Times and Length Biased Sampling: Age Specific Models -- Difference...”
Cover Image
Read Now

65
Published 2001
Springer London
Table of Contents: “...24. Borrowing Dynamies from Evolution: Association using Catalytie Network Models -- 25. Evolving...”
Cover Image
Read Now

66
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... Theory of Conceptual Modelling -- Accepted Papers -- Assessing Modal Aspects of OntoUML Conceptual Models...”
Cover Image
Read Now

67
Published 2014
Springer International Publishing
Table of Contents: “... on Environmental Protection: E. Accinelli et al -- 4 A Bayesian Pricing Model for Cat Bonds: F. Ahrens et al -- 5...”
Cover Image
Read Now

68
Published 2021
Springer International Publishing
Subjects: “...Computer Modelling...”
Cover Image
Read Now

69
Published 2015
Springer International Publishing
Table of Contents: “...Estimation Theory for Generalized Linear Models -- New Distorsion Risk Measure Based on Bimodal...”
Cover Image
Read Now

70
Published 2010
Springer Netherlands
Table of Contents: “... Extraction -- Hypertext Types and Markup Languages -- Representation Formats and Models for Lexicons -- HTTL...”
Cover Image
Read Now

71
by Gift, Noah
Published 2024
Pragmatic AI Solutions
“... Multi-Modal Vision Model with LLamaFile Learning Objectives Understand what small language models...”
Cover Image
Read Now

72
by Kossak, Felix, Illibauer, Christa, Geist, Verena, Natschläger, Christine
Published 2016
Springer International Publishing
Table of Contents: “...1 Introduction -- 2 Deontic Process Diagrams -- 3 A Layered Approach for Actor Modelling -- 4 A...”
Cover Image
Read Now

73
by Gao, Nansha, Deng, Jie
Published 2022
Springer Nature Singapore
Table of Contents: “... inverse problem solving theory -- Chapter 3. Theoretical model for solving inverse problem of dynamic...”
Cover Image
Read Now

74
by Brasoveanu, Adrian
Published 2020
Springer Nature
“... and procedural modalities of Anderson's ACT-R framework, it presents fine-grained computational models of human...”
Cover Image
Read Now

75
by Friswell, Michael, Mottershead, J.E.
Published 1995
Springer Netherlands
Table of Contents: “...1. Introduction -- 2. Finite Element Modelling -- 3. Vibration Testing -- 4. Comparing Numerical...”
Cover Image
Read Now

76
Published 2022
Springer International Publishing
Table of Contents: “... Assessment of Models and Modal Test of Simpler Systems -- Chapter 18. Application of Speaker Recognition x...”
Cover Image
Read Now

77
Published 2013
Springer Berlin Heidelberg
Table of Contents: “... Modalities -- Proposal of Automotive 8-directional Warning System That Makes Use. of Tactile Apparent...”
Cover Image
Read Now

78
by Walther, Klaus
Published 1980
VS Verlag für Sozialwissenschaften
Table of Contents: “... Verkehrsaufteilung -- Entwicklung Eines Verhaltensorientierten Modells for die Verkehrsaufteilung auf der Basis...”
Cover Image
Read Now

79
Published 2014
Springer International Publishing
Table of Contents: “... -- Uncertainty Propagation in Experimental Modal Analysis -- Quantification of Prediction Bounds Caused by Model...”
Cover Image
Read Now

80
Published 2015
Springer International Publishing
Table of Contents: “... Multifidelity Models -- Robust Modal Test Design Under Epistemic Model Uncertainties --...”