Zobrazeno 1 - 10
of 6 162
pro vyhledávání: '"A. Lüth"'
Autor:
Behner, Gerrit, Jalil, Abdur Rehman, Rupp, Alina, Lüth, Hans, Grützmacher, Detlev, Schäpers, Thomas
The combination of an ordinary s-type superconductor with three-dimensional topological insulators creates a promising platform for fault-tolerant topological quantum computing circuits based on Majorana braiding. The backbone of the braiding mechani
Externí odkaz:
http://arxiv.org/abs/2410.19311
Autor:
Amara, Kenza, Klein, Lukas, Lüth, Carsten, Jäger, Paul, Strobelt, Hendrik, El-Assady, Mennatallah
The various limitations of Generative AI, such as hallucinations and model failures, have made it crucial to understand the role of different modalities in Visual Language Model (VLM) predictions. Our work investigates how the integration of informat
Externí odkaz:
http://arxiv.org/abs/2410.01690
Autor:
Klein, Lukas, Lüth, Carsten T., Schlegel, Udo, Bungert, Till J., El-Assady, Mennatallah, Jäger, Paul F.
Explainable AI (XAI) is a rapidly growing domain with a myriad of proposed methods as well as metrics aiming to evaluate their efficacy. However, current studies are often of limited scope, examining only a handful of XAI methods and ignoring underly
Externí odkaz:
http://arxiv.org/abs/2409.16756
Autor:
Traub, Jeremias, Bungert, Till J., Lüth, Carsten T., Baumgartner, Michael, Maier-Hein, Klaus H., Maier-Hein, Lena, Jaeger, Paul F
Selective Classification, wherein models can reject low-confidence predictions, promises reliable translation of machine-learning based classification systems to real-world scenarios such as clinical diagnostics. While current evaluation of these sys
Externí odkaz:
http://arxiv.org/abs/2407.01032
Mathematical proofs are a cornerstone of control theory, and it is important to get them right. Deduction systems can help with this by mechanically checking the proofs. However, the structure and level of detail at which a proof is represented in a
Externí odkaz:
http://arxiv.org/abs/2404.10747
BinSym is a framework for symbolic program analysis of software in binary form. Contrary to prior work, it operates directly on binary code instructions and does not require lifting them to an intermediate representation (IR). This is achieved by for
Externí odkaz:
http://arxiv.org/abs/2404.04132
Autor:
Zimmermann, Erik, Jalil, Abdur Rehman, Schleenvoigt, Michael, Karthein, Jan, Frohn, Benedikt, Behner, Gerrit, Lentz, Florian, Trellenkamp, Stefan, Neumann, Elmar, Schüffelgen, Peter, Lüth, Hans, Grützmacher, Detlev, Schäpers, Thomas
Nanoscale superconducting quantum interference devices (SQUIDs) are fabricated in-situ from a single Bi$_{0.26}$Sb$_{1.74}$Te$_{3}$ nanoribbon that is defined using selective-area growth and contacted with superconducting Nb electrodes via a shadow m
Externí odkaz:
http://arxiv.org/abs/2403.13689
Autor:
Gotkowski, Karol, Lüth, Carsten, Jäger, Paul F., Ziegler, Sebastian, Krämer, Lars, Denner, Stefan, Xiao, Shuhan, Disch, Nico, Maier-Hein, Klaus H., Isensee, Fabian
Traditionally, segmentation algorithms require dense annotations for training, demanding significant annotation efforts, particularly within the 3D medical imaging field. Scribble-supervised learning emerges as a possible solution to this challenge,
Externí odkaz:
http://arxiv.org/abs/2403.12834
Uncertainty estimation is an essential and heavily-studied component for the reliable application of semantic segmentation methods. While various studies exist claiming methodological advances on the one hand, and successful application on the other
Externí odkaz:
http://arxiv.org/abs/2401.08501
Generating physical movement behaviours from their symbolic description is a long-standing challenge in artificial intelligence (AI) and robotics, requiring insights into numerical optimization methods as well as into formalizations from symbolic AI
Externí odkaz:
http://arxiv.org/abs/2312.10328