|
111 |
A Certified Proof Checker for Deep Neural Network Verification in Imandra
Desmartin, Remi. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
|
|
112 |
A CFD ignition model to predict average-cycle combustion in SI engines with extreme EGR levels
Ramognino, Federico. - Darmstadt : Universitäts- und Landesbibliothek, 2025
|
|
|
|
113 |
A changing Roman world and its networks
Tittse, Celis. - Heidelberg : Propylaeum, 2025
|
|
|
|
114 |
A Chatbot to Help Promoting Financial Literacy
Eleuterio, Davi Silva. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
|
|
115 |
A Child’s Right to Non-Anthropocentric Education
Deckha, Maneesha. - Berlin : Fachinformationsdienst für internationale und interdisziplinäre Rechtsforschung Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, 2025
|
|
|
|
116 |
A chronic low dose of Δ9-tetrahydrocannabinol tetrahydrocannabinol (3 mg / kg / 21 d) reorganizes the disturbed wound healing process and accelerates wound closure in old female mice
Plum, Melissa. - Aachen : Universitätsbibliothek der RWTH Aachen, 2025
|
|
|
|
117 |
A circadian clock drives behavioral activity in Antarctic krill (Euphausia superba) and provides a potential mechanism for seasonal timing
Hüppe, Lukas. - Würzburg : Universität Würzburg, 2025
|
|
|
|
118 |
A clinical pilot study on overdentures retained by two unsplinted narrow-diameter implants– oral health-related quality of life and masticatory function
Kern, Jaana-Sophia. - Aachen : Universitätsbibliothek der RWTH Aachen, 2025
|
|
|
|
119 |
A clinical protocol for a German birth cohort study of the Maturation of Immunity Against respiratory viral Infections (MIAI)
Hartmann, Carina R.. - Würzburg : Universität Würzburg, 2025
|
|
|
|
120 |
A closed-form analytical variational approach to thermally induced thin-film delamination
Rheinschmidt, Florian. - Darmstadt : Universitäts- und Landesbibliothek, 2025
|
|
Administration
