|
1 |
A Mixed Linear and Graded Logic: Proofs, Terms, and Models
Vollmer, Victoria. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
|
|
2 |
On Homogeneous Models of Fluted Languages
Kojelis, Daumantas. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
|
|
3 |
Quantum and Classical Markovian Graphical Causal Models and Their Identification
Barrett, Jonathan. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
|
4 |
Exploring adoption of humanoid robots in education: UTAUT-2 and TOE models for science teachers
Enthalten in Education and information technologies 15.1.2025: 1-42
|
|
|
|
5 |
Evaluating large language models for structured science summarization in the open research knowledge graph
Nechakhin, Vladyslav. - Mannheim : Universitätsbibliothek Mannheim, 2024
|
|
|
|
6 |
Influence Maximization in Ising Models
Chen, Zongchen. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024
|
|
|
|
7 |
Realizability Models for Large Cardinals
Fontanella, Laura. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024
|
|
|
|
8 |
Symmetric-Difference (Degeneracy) and Signed Tree Models
Bonnet, Édouard. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024
|
|
|
|
9 |
The different ways to operationalise the social in applied models and simulations of sustainability science
Bialozyt, Ronald B.. - Aachen : Universitätsbibliothek der RWTH Aachen, 2024
|
|
|
|
10 |
Trust your gut : Establishing confidence in gastrointestinal models : An overview of the state of the science and contexts of use
Debad, Susan. - Konstanz : KOPS Universität Konstanz, 2024
|
|
Administration
