|
161 |
A Framework for Belief-based Programs and Their Verification
Liu, Daxin. - Aachen : Universitätsbibliothek der RWTH Aachen, 2025
|
|
|
|
162 |
A Framework for Extraction and Transformation of Documents
Riveros, Cristian. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
|
|
163 |
A framework for the simulation of individual glycan coordinates to analyze spatial relationships within the glycocalyx
Fritsche, Sarah. - Erlangen : Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), 2025
|
|
|
|
164 |
A framework to evaluate machine learning crystal stability predictions
Riebesell, Janosh. - Berlin : Bundesanstalt für Materialforschung und -prüfung (BAM), 2025
|
|
|
|
165 |
A fully decoupled, iteration-free, unconditionally stable fractional-step scheme for dispersed multi-phase flows
Pacheco, Douglas R. Q.. - Aachen : Universitätsbibliothek der RWTH Aachen, 2025
|
|
|
|
166 |
A fully-resolved micromechanical simulation of piping erosion during a suction bucket installation
Kemmler, Samuel. - Berlin : Bundesanstalt für Materialforschung und -prüfung (BAM), 2025
|
|
|
|
167 |
A Functional Clock Within the Main Morning and Evening Neurons of D. melanogaster Is Not Sufficient for Wild-Type Locomotor Activity Under Changing Day Length
Menegazzi, Pamela. - Würzburg : Universität Würzburg, 2025
|
|
|
|
168 |
A Fungal Endophyte Alters Poplar Leaf Chemistry, Deters Insect Feeding and Shapes Insect Community Assembly
Walther, Christin. - Kiel : Universitätsbibliothek Kiel, 2025
|
|
|
|
169 |
A Gendered Analysis of Famines as Genocide-Locating Opportunities for International Law
Agarwal, Vadita. - Berlin : Fachinformationsdienst für internationale und interdisziplinäre Rechtsforschung Staatsbibliothek zu Berlin - Preußischer Kulturbesitz, 2025
|
|
|
|
170 |
A General Class of Reductions and Extension-Based Proofs
Shi, Yusong. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
Administration
