|
1461 |
Bosonic Randomized Benchmarking with Passive Transformations Arienzo, Mirko. - Hamburg : Technische Universität Hamburg. Universitätsbibliothek, 2025
|
|
|
1462 |
Bottom-Up Synthesis of Memory Mutations with Separation Logic Ferdowsi, Kasra. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
|
1463 |
BOUNCE Hildebrandt, Juliane. - Dresden : Technische Universität Dresden, 2025
|
|
|
1464 |
Boundary element simulation of the normal contact problem with a poroelastic half‐space Leroy, Jean‐Emmanuel. - Berlin : Technische Universität Berlin, 2025
|
|
|
1465 |
Boundedness of Cost Register Automata over the Integer Min-Plus Semiring Draghici, Andrei. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
|
1466 |
Bounding the WCET of a GPU Thread Block with a Multi-Phase Representation of Warps Execution Jeanmougin, Louison. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
|
1467 |
Bounds on the fixed effects estimand in the presence of heterogeneous assignment propensities Humphreys, Macartan. - Berlin : Humboldt-Universität zu Berlin, 2025
|
|
|
1468 |
Brain acid sphingomyelinase controls addiction-related behaviours in a sex-specific way Kalinichenko, Liubov S.. - Augsburg : Universität Augsburg, 2025
|
|
|
1469 |
Brain-constrained neural modeling explains fast mapping of words to meaning Constant, Marika. - Berlin : Humboldt-Universität zu Berlin, 2025
|
|
|
1470 |
Brain-derived blood biomarkers in multiple sclerosis—current trends and beyond anandan, shamundeeswari. - Erlangen : Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), 2025
|
|