|
251 |
Formal Verification of Algorithms for Automata and Model Checking
Brunner, Julian M.. - München : Universitätsbibliothek der TU München, 2022
|
|
|
|
252 |
Game-based assessment of peripheral neuropathy in patients with diabetes by combining sensor-equipped insoles with video games and machine learning algorithms
Ming, Antao. - Magdeburg : Universitätsbibliothek Otto-von-Guericke-Universität, 2022
|
|
|
|
253 |
Graphbasierte Algorithmen und gesamtheitliche Repräsentation von Systemen der TGA mit BIM und Linked Data
Pauen, Nicolas Patrick Maria. - Aachen : Universitätsbibliothek der RWTH Aachen, 2022
|
|
|
|
254 |
Implementation and comparison of pathfinding algorithms in a dynamic 3D space
Krafft, Carina. - Hamburg : Hochschule für Angewandte Wissenschaften Hamburg, 2022
|
|
|
|
255 |
Investigation of self-learned zeroth-order optimization algorithms
Schüttler, Kilian. - Stuttgart : Universitätsbibliothek der Universität Stuttgart, 2022
|
|
|
|
256 |
Lattice Kinetic Algorithms for Relativistic Flows: a Unified Treatment
Simeoni,, Daniele. - Wuppertal : Universitätsbibliothek Wuppertal, 2022
|
|
|
|
257 |
Learning with Differentiable Algorithms
Petersen, Felix. - Konstanz : KOPS Universität Konstanz, 2022
|
|
|
|
258 |
Modelling and validation of neutral particle flow by means of stochastic algorithms using the example of a fusion divertor
Gleason González, Cristian. - Karlsruhe : KIT-Bibliothek, 2022
|
|
|
|
259 |
Multilevel Algorithms in Lattice QCD for Exascale Machines
Ramírez Hidalgo, Gustavo Alonso. - Wuppertal : Universitätsbibliothek, 2022
|
|
|
|
260 |
Nature-Inspired Algorithms for Mobile, Communicating, and Sensing Robot Swarms
Cheraghi, Ahmad Reza. - Düsseldorf : Universitäts- und Landesbibliothek der Heinrich-Heine-Universität Düsseldorf, 2022
|
|
Administration
