|
1 |
A Certified Proof Checker for Deep Neural Network Verification in Imandra
Desmartin, Remi. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
|
|
2 |
A conceptual study on the relationship between daily stressors, stressful life events, and mental health in refugees using network analysis
Behrendt, Malte. - Lausanne : Frontiers Media S.A., 2025
|
|
|
|
3 |
A Genetic Algorithm for Multi-Capacity Fixed-Charge Flow Network Design
Eardley, Caleb. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
|
|
4 |
A novel mixed-conducting network in all-oxide composites: overcoming traditional percolation constraints
Zeng, Fanlin. - Aachen : Universitätsbibliothek der RWTH Aachen, 2025
|
|
|
|
5 |
Analysis on Braess paradox and network design considering parking in the autonomous vehicle environment
Zhang, Xiang. - Dresden : Technische Universität Dresden, 2025
|
|
|
|
6 |
Association of the delayed changes in glutamate levels and functional connectivity with the immediate network effects of S-ketamine
Danyeli, Lena Vera. - Darmstadt : Universitäts- und Landesbibliothek, 2025
|
|
|
|
7 |
Boosting Payment Channel Network Liquidity with Topology Optimization and Transaction Selection
Chatterjee, Krishnendu. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
|
|
8 |
Brief Announcement: Broadcast via Mobile Agents in a Dynamic Network: Interplay of Graph Properties & Agents
Moses Jr., William K.. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
|
|
9 |
Changes in brain network dynamics during functional/dissociative seizures: An exploratory pilot study on EEG microstates
Kučikienė, Domantė. - Aachen : Universitätsbibliothek der RWTH Aachen, 2025
|
|
|
|
10 |
Cholinergic network modulation in disinhibited eating behavior
Hesse, Swen. - Augsburg : Universität Augsburg, 2025
|
|
Administration
