|
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 |
Dynamic Traffic Models in Transportation Science (Dagstuhl Seminar 24281)
Enthalten in Schloss Dagstuhl, Leibniz-Zentrum für Informatik: Dagstuhl Reports 2025, Volume 14, Issue 7, page 1-16
|
|
|
|
6 |
Evaluating large language models for structured science summarization in the open research knowledge graph
Nechakhin, Vladyslav. - Mannheim : Universitätsbibliothek Mannheim, 2024
|
|
|
|
7 |
Feature Models
Felfernig, Alexander. - Cham : Springer International Publishing, Imprint: Springer, 2024, 1st ed. 2024
|
|
|
|
8 |
Influence Maximization in Ising Models
Chen, Zongchen. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024
|
|
|
|
9 |
Language Design for Reactive Systems
Schulz-Rosengarten, Alexander. - Kiel : Universitätsbibliothek Kiel, 2024
|
|
|
|
10 |
On the Epistemic Functions of Neural Network Models in Cognitive Science
Hein, Alice. - München : Universitätsbibliothek der TU München, 2024
|
|
Administration
