Zobrazeno 1 - 10
of 45
pro vyhledávání: '"Thomas Stauner"'
The application of AI is a key enabler for highly automated driving. Initiated by VDA, a consortium of OEMs, suppliers, technology providers and scientific institutions is developing a methodology for a novel safety argumentation in the project “KI
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4472ad0f1bbc5a8cc994fd703e71f9f8
https://publica.fraunhofer.de/handle/publica/419947
https://publica.fraunhofer.de/handle/publica/419947
Autor:
Fabian Hüger, Michael Mock, Stephan Dr. Scholz, Loren Schwarz, Thomas Stauner, Andreas J. Rohatschek, Frederik Blank
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030839055
SAFECOMP Workshops
SAFECOMP Workshops
Developing a stringent safety argumentation for AI-based perception functions requires a complete methodology to systematically organize the complex interplay between specifications, data and training of AI-functions, safety measures and metrics, ris
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a23508feef4a21c2462c82f4a8f588ec
https://doi.org/10.1007/978-3-030-83906-2_21
https://doi.org/10.1007/978-3-030-83906-2_21
Autor:
Gerhard Wenz, Thomas Stauner, Prajakta Dandekar, Brigitta Loretz, Marcus Koch, Claus-Michael Lehr, Ratnesh Jain
Publikováno v:
Macromolecular Bioscience. 12:184-194
A hydrophobic starch derivative is used for safe and enhanced delivery of anticancer agents. The synthesis and characterization of propyl starch with a controlled degree of substitution to modulate the release of the encapsulated hydrophobic drug is
Autor:
Marcus Koch, Thomas Stauner, Brigitta Loretz, Gerhard Wenz, Claus-Michael Lehr, Ratnesh Jain, Ana Melero, Prajakta Dandekar
Publikováno v:
International Journal of Pharmaceutics. 420:147-155
Enhanced intracellular internalization of the anti-cancer active idarubicin (IDA) was achieved through appropriate surface modification of IDA loaded propyl starch nanoparticles. This was conducted by synthesizing pteroic acid modified polyvinyl alco
Autor:
Thomas Stauner
Publikováno v:
Formal Methods in System Design. 24:223-259
The paper formalizes and classifies important properties of hybrid, i.e. mixed discrete and continuous, systems from a computer science point of view. General proof methods for some of these properties are also provided and applied to an example. For
Autor:
Radu Grosu, Thomas Stauner
Publikováno v:
Formal Methods in System Design. 21:5-38
Visual description techniques are particularly important for the design of hybrid systems, because specifications of such systems usually have to be discussed between engineers from a number of different disciplines. Modularity is vital for hybrid sy
Autor:
Olaf Müller, Thomas Stauner
Publikováno v:
Mathematical and Computer Modelling of Dynamical Systems. 6:71-89
This paper discusses the use of hybrid automata to specify and verify embedded distributed systems, that consist of both discrete and continuous components. The basis of the evaluation is an automotive control system, which controls the height of an
Autor:
Manfred Broy, Thomas Stauner
Publikováno v:
itit. 41:7-11
Autor:
Radu Grosu, Thomas Stauner
Publikováno v:
IFAC Proceedings Volumes. 31:93-98
The design of hybrid systems usually involves engineers from a number of different engineering disciplines. Hence, specification techniques are needed that can intuitively be understood by People from all these engineering communities. Furthermore, a
Autor:
Omar A. El Seoud, Igor Benedetti e Silva, Elisabete Frollini, Denise Freitas Siqueira Petri, Thomas Stauner
Publikováno v:
Repositório Institucional da USP (Biblioteca Digital da Produção Intelectual)
Universidade de São Paulo (USP)
instacron:USP
Universidade de São Paulo (USP)
instacron:USP
The enzymatic hydrolysis of cotton raw cellulose (RC) samples, sieved RC samples through meshes
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fb4b49cf0c52d7d3458dfec6bea41d49