|
1 |
A Mixed Linear and Graded Logic: Proofs, Terms, and Models
Vollmer, Victoria. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
|
|
2 |
Accommodating Space-Time Scaling Issues in GAM-Based Varying Coefficient Models
Comber, Lex. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
|
|
3 |
An Algebraic Approach to Moralisation and Triangulation of Probabilistic Graphical Models
Lorenzin, Antonio. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
|
|
4 |
On Homogeneous Models of Fluted Languages
Kojelis, Daumantas. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
|
|
5 |
Quantum and Classical Markovian Graphical Causal Models and Their Identification
Barrett, Jonathan. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
|
6 |
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
|
|
|
|
7 |
Evaluating large language models for structured science summarization in the open research knowledge graph
Nechakhin, Vladyslav. - Mannheim : Universitätsbibliothek Mannheim, 2024
|
|
|
|
8 |
Influence Maximization in Ising Models
Chen, Zongchen. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024
|
|
|
|
9 |
Realizability Models for Large Cardinals
Fontanella, Laura. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024
|
|
|
|
10 |
Symmetric-Difference (Degeneracy) and Signed Tree Models
Bonnet, Édouard. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024
|
|
Administration
