E-LIB Suche - Ergebnisse für: Ladner, Tobias

1

Automatic Abstraction Refinement in Neural Network Verifica..:

, In: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control,

Ladner, Tobias ; Althoff, Matthias - p. 1-13 , 2023

2

Combined dissolved oxygen tension and online viscosity meas..:

Ladner, Tobias ; Flitsch, David ; Lukacs, Mihaly..
Biotechnology and Bioengineering. 116 (2019) 12 - p. 3215-3227 , 2019

Link: https://doi.org/10.1002/..

3

CFD Supported Investigation of Shear Induced by Bottom-Moun..:

Ladner, Tobias ; Odenwald, Sebastian ; Kerls, Kevin...
Pharmaceutical Research. 35 (2018) 11 - p. , 2018

Link: https://doi.org/10.1007/..

4

Prediction of Escherichia coli expression performance in mi..:

Ladner, Tobias ; Mühlmann, Martina ; Schulte, Andreas..
Journal of Biological Engineering. 11 (2017) 1 - p. , 2017

Link: https://doi.org/10.1186/..

5

Probing unnatural amino acid integration into enhanced gree..:

Wandrey, Georg ; Wurzel, Joel ; Hoffmann, Kyra...
Journal of Biological Engineering. 10 (2016) 1 - p. , 2016

Link: https://doi.org/10.1186/..

6

Respiration activity monitoring system for any individual w..:

Flitsch, David ; Krabbe, Sebastian ; Ladner, Tobias...
Journal of Biological Engineering. 10 (2016) 1 - p. , 2016

Link: https://doi.org/10.1186/..

7

Parallel online multi-wavelength (2D) fluorescence spectros..:

Ladner, Tobias ; Beckers, Mario ; Hitzmann, Bernd.
Biotechnology Journal. 11 (2016) 12 - p. 1605-1616 , 2016

Link: https://doi.org/10.1002/..

8

Easy to use and reliable technique for online dissolved oxy..:

Flitsch, David ; Ladner, Tobias ; Lukacs, Mihaly.
Microbial Cell Factories. 15 (2016) 1 - p. , 2016

Link: https://doi.org/10.1186/..

9

Quasi-continuous parallel online scattered light, fluoresce..:

Ladner, Tobias ; Held, Markus ; Flitsch, David..
Microbial Cell Factories. 15 (2016) 1 - p. , 2016

Link: https://doi.org/10.1186/..

10

Online monitoring of dissolved oxygen tension in microtiter..:

Ladner, Tobias ; Flitsch, David ; Schlepütz, Tino.
Microbial Cell Factories. 14 (2015) 1 - p. , 2015

Link: https://doi.org/10.1186/..

11

Technical developments for online bioprocess monitoring in ..:

Ladner, Tobias Michael David , 2017

Link: http://nbn-resolving.de/..

12

End-To-End Set-Based Training for Neural Network Verificati..:

Koller, Lukas ; Ladner, Tobias ; Althoff, Matthias
http://arxiv.org/abs/2401.14961. , 2024

Link: http://arxiv.org/abs/240..

13

Specification-Driven Neural Network Reduction for Scalable ..:

Ladner, Tobias ; Althoff, Matthias
http://arxiv.org/abs/2305.01932. , 2023

Link: http://arxiv.org/abs/230..

14

Automatic Abstraction Refinement in Neural Network Verifica..:

Ladner, Tobias ; Althoff, Matthias
https://mediatum.ub.tum.de/1710698. , 2023

Link: https://mediatum.ub.tum...

15

ARCH-COMP23 Category Report: Artificial Intelligence and Ne..:

Lopez, Diego Manzanas ; Althoff, Matthias ; Forets, Marcelo...
https://mediatum.ub.tum.de/1725397. , 2023

Link: https://mediatum.ub.tum...