|
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 |
Intelligent Computing Social Modeling and Methodological Innovations in Political Science in the Era of Large Language Models
Enthalten in Journal of Chinese political science 26.4.2025: 1-36
|
|
|
|
5 |
Science, faith and belief in pediatric animal models
Enthalten in Pediatric research 14.4.2025: 1-3
|
|
|
|
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
