|
241 |
Formal Verification of Algorithms for Automata and Model Checking
Brunner, Julian M.. - München : Universitätsbibliothek der TU München, 2022
|
|
|
|
242 |
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
|
|
|
|
243 |
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
|
|
|
|
244 |
Investigation of self-learned zeroth-order optimization algorithms
Schüttler, Kilian. - Stuttgart : Universitätsbibliothek der Universität Stuttgart, 2022
|
|
|
|
245 |
Lattice Kinetic Algorithms for Relativistic Flows: a Unified Treatment
Simeoni,, Daniele. - Wuppertal : Universitätsbibliothek Wuppertal, 2022
|
|
|
|
246 |
Learning with Differentiable Algorithms
Petersen, Felix. - Konstanz : KOPS Universität Konstanz, 2022
|
|
|
|
247 |
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
|
|
|
|
248 |
Multilevel Algorithms in Lattice QCD for Exascale Machines
Ramírez Hidalgo, Gustavo Alonso. - Wuppertal : Universitätsbibliothek, 2022
|
|
|
|
249 |
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
|
|
|
|
250 |
Nonnegative matrix factorization - theory, algorithms and applications
Fernsel, Pascal. - Bremen : Staats- und Universitätsbibliothek Bremen, 2022
|
|
Administration
