|
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 Holistic Assessment of Efficient and Secure Cellular Machine-Type Communications for Low Power Wide Area Network Applications
Irnstorfer, Florian. - Erlangen : Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), 2025
|
|
|
|
5 |
A novel mixed-conducting network in all-oxide composites: overcoming traditional percolation constraints
Zeng, Fanlin. - Aachen : Universitätsbibliothek der RWTH Aachen, 2025
|
|
|
|
6 |
A street-level sensor network in support of high-resolution modelling of urban weather and climate in Bristol, UK
Christen, Andreas. - Freiburg : Universität, 2025
|
|
|
|
7 |
Advanced sampling and surrogate modeling for uncertainty propagation in structural and network systems
Ding, Chen. - Hannover : Gottfried Wilhelm Leibniz Universität Hannover, 2025
|
|
|
|
8 |
Advances in temporal gravity field retrieval from satellite observations: Measurement techniques and neural network-based signal separation algorithms
Heller-Kaikov, Betty. - München : Universitätsbibliothek der TU München, 2025
|
|
|
|
9 |
Analysis of information processing and memory prerequisites for temporal difference learning in cortical neural network models
Schulte to Brinke, Tobias. - Aachen : Universitätsbibliothek der RWTH Aachen, 2025
|
|
|
|
10 |
Analysis of Inter-leg Coordination Mechanisms in Cricket Locomotion: Insights from Thoracic Ganglion Network Transection
Sugimoto, Yasuhiro. - Darmstadt : Universitäts- und Landesbibliothek, 2025
|
|
Administration
