|
81 |
Richly Parametrized Linear Models: Additive, Time Series, and Spatial Models Using Random Effects. J. S. Hodges (2014). Boca Raton: Chapman & Hall/CRC Texts in Statistical Science. 431 pages, ISBN: 978‐1‐4398‐6683‐2.
Enthalten in Biometrical journal Bd. 57, 2015, Nr. 2: 364-365. 2 S.
|
|
|
82 |
On the Complexity of Computing Maximum Entropy for Markovian Models
Chen, Taolue. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2014
|
|
|
|
83 |
The Complexity of Counting Models of Linear-time Temporal Logic
Torfah, Hazem. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2014
|
|
|
|
84 |
Joint Models for Longitudinal and Time‐to‐Event Data with Applications in R. Dimitris Rizopoulos (2012). Boca Raton: Chapman & Hall/CRC Texts in Statistical Science Series. 261 pages, ISBN: 978‐1439872864.
Enthalten in Biometrical journal Bd. 55, 2013, Nr. 5: 816-817. 2 S.
|
|
|
|
85 |
Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models
Danos, Vincent. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2012
|
|
|
|
86 |
On the equational consistency of order-theoretic models of the lambda-calculus
Carraro, Alberto. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2012
|
|
|
|
87 |
Filter Models: Non-idempotent Intersection Types, Orthogonality and Polymorphism
Bernadet, Alexis. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2011
|
|
|
|
88 |
How to prove security of communication protocols? A discussion on the soundness of formal models w.r.t. computational ones.
Comon-Lundh, Hubert. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2011
|
|
|
|
89 |
Evolving Multialgebras Unify All Usual Sequential Computation Models
Grigorieff, Serge. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2010
|
|
|
|
90 |
Named Models in Coalgebraic Hybrid Logic
Schröder, Lutz. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2010
|
|
Administration
