Zobrazeno 1 - 10
of 39
pro vyhledávání: '"Lehmann, Sascha"'
Autor:
Lehmann, Sascha1 (AUTHOR), Schleich, Joachim1,2,3 (AUTHOR) Joachim.Schleich@grenoble-em.com, Pinkse, Jonatan4 (AUTHOR)
Publikováno v:
Energy Journal. Nov2024, Vol. 45 Issue 6, p203-221. 19p.
Autor:
Lehmann, Sascha, Rogalla, Antje, Neidhardt, Maximilian, Reinecke, Anton, Schlaefer, Alexander, Schupp, Sibylle
Publikováno v:
EPTCS 355, 2022, pp. 40-59
Medical cyber-physical systems are safety-critical, and as such, require ongoing verification of their correct behavior, as system failure during run time may cause severe (or even fatal) personal damage. However, creating a verifiable model often co
Externí odkaz:
http://arxiv.org/abs/2203.09884
Autor:
Lehmann, Sascha, Rogalla, Antje, Neidhardt, Maximilian, Schlaefer, Alexander, Schupp, Sibylle
Publikováno v:
EPTCS 348, 2021, pp. 128-135
Autonomous systems are often applied in uncertain environments, which require prospective action planning and retrospective data evaluation for future planning to ensure safe operation. Formal approaches may support these systems with safety guarante
Externí odkaz:
http://arxiv.org/abs/2110.12590
Autor:
Rogalla, Antje, Lehmann, Sascha, Neidhardt, Maximilian, Sprenger, Johanna, Bengs, Marcel, Schlaefer, Alexander, Schupp, Sibylle
Publikováno v:
EPTCS 316, 2020, pp. 261-274
In medicine, needles are frequently used to deliver treatments to subsurface targets or to take tissue samples from the inside of an organ. Current clinical practice is to insert needles under image guidance or haptic feedback, although that may invo
Externí odkaz:
http://arxiv.org/abs/2004.13292
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Richstein, Jörn C., Anatolitis, Vasilios, Blömer, Robin, Bunnenberg, Lennart, Dürrwächter, Jakob, Eckstein, Johannes, Ehrhart, Karl-Martin, Friedrichsen, Nele, Köveker, Till, Lehmann, Sascha, Lösch, Oliver, Matthes, Felix Christian, Neuhoff, Karsten, Niemöller, Paula, Riemer, Matia, Ueckerdt, Falko, Wachsmuth, Jakob, Wang, Runxi, Winkler, Jenny
Publikováno v:
Joule; December 2024, Vol. 8 Issue: 12 p3233-3238, 6p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Lehmann, Sascha, Rogalla, Antje, Neidhardt, Maximilian, Reinecke, Anton, Schlaefer, Alexander, Schupp, Sibylle
Publikováno v:
Electronic proceedings in theoretical computer science 355: 40-59 (2022)
Medical cyber-physical systems are safety-critical, and as such, require ongoing verification of their correct behavior, as system failure during run time may cause severe (or even fatal) personal damage. However, creating a verifiable model often co
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2d78761b723178c7e3301537b59a02a3
https://hdl.handle.net/11420/12330
https://hdl.handle.net/11420/12330
Autor:
Schröder, Jonas, Cihlar, Jan, Munzel, Benjamin, Jörling, Korinna, Klessmann, Corinna, Geipel, Jasper, Schöniger, Franziska, Resch, Gustav, Eckstein, Johannes, Höfling, Holger, Lehmann, Sascha, Wachsmuth, Jakob
The recast Renewable Energy Directive (RED II) (DIRECTIVE (EU) 2018/2001 OF THE EUROPEAN PARLIAMENT AND OF THE COUNCIL, 2018) created a legal basis for using renewable liquid and gaseous transport fuels of non-biological origin (RFNBO) for renewable
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f3ac0348fafaf73809acc434acad2b4b