Zobrazeno 1 - 10
of 5 442
pro vyhledávání: '"Teuber, A."'
When validated neural networks (NNs) are pruned (and retrained) before deployment, it is desirable to prove that the new NN behaves equivalently to the (original) reference NN. To this end, our paper revisits the idea of differential verification whi
Externí odkaz:
http://arxiv.org/abs/2410.20207
Autor:
Teuber, L. G., Wolfert, A. R. M.
Current project development practices often fail to engage stakeholders early and effectively. Decision support is often non-inclusive, single-sided, and lacking in transparency, while complexity goes beyond human's comprehension. Additionally, many
Externí odkaz:
http://arxiv.org/abs/2409.10549
Strategic project planning and dynamic control is essential for ensuring complex projects to be executed best-fit for common purpose. When best-for-project strategies are no longer conceivable for humans, there is a need for effective and efficient c
Externí odkaz:
http://arxiv.org/abs/2408.12422
Generative artificial intelligence (GenAI) holds the potential to transform the delivery, cultivation, and evaluation of human learning. This Perspective examines the integration of GenAI as a tool for human learning, addressing its promises and chal
Externí odkaz:
http://arxiv.org/abs/2408.12143
Publikováno v:
Sensors and Actuators A: Physical, 2024, 115797
Mid-infrared absorption spectroscopy is a well-established technique for non-destructive quantitative molecular analysis. Waveguide-integrated sensors provide a particularly compact solution operating with reduced sample volumes while exhibiting exqu
Externí odkaz:
http://arxiv.org/abs/2408.08039
While neural networks (NNs) have potential as autonomous controllers for Cyber-Physical Systems, verifying the safety of NN based control systems (NNCSs) poses significant challenges for the practical use of NNs, especially when safety is needed for
Externí odkaz:
http://arxiv.org/abs/2402.10998
Autor:
Redlich, Jan-Philipp, Feuerhake, Friedrich, Weis, Joachim, Schaadt, Nadine S., Teuber-Hanselmann, Sarah, Buck, Christoph, Luttmann, Sabine, Eberle, Andrea, Nikolin, Stefan, Appenzeller, Arno, Portmann, Andreas, Homeyer, André
Publikováno v:
npj Imaging 2024
In recent years, the diagnosis of gliomas has become increasingly complex. Analysis of glioma histopathology images using artificial intelligence (AI) offers new opportunities to support diagnosis and outcome prediction. To give an overview of the cu
Externí odkaz:
http://arxiv.org/abs/2401.15022
Autor:
Lanzinger, Florian, Martin, Christian, Reiche, Frederik, Teuber, Samuel, Heinrich, Robert, Weigl, Alexander
Most formal methods see the correctness of a software system as a binary decision. However, proving the correctness of complex systems completely is difficult because they are composed of multiple components, usage scenarios, and environments. We pre
Externí odkaz:
http://arxiv.org/abs/2401.14320
Publikováno v:
British Food Journal, 2024, Vol. 126, Issue 12, pp. 4324-4341.
Externí odkaz:
http://www.emeraldinsight.com/doi/10.1108/BFJ-02-2024-0182
Autor:
Teuber, Samuel, Beckert, Bernhard
This work presents insights gained by investigating the relationship between algorithmic fairness and the concept of secure information flow. The problem of enforcing secure information flow is well-studied in the context of information security: If
Externí odkaz:
http://arxiv.org/abs/2312.10128