Zobrazeno 1 - 10
of 1 359
pro vyhledávání: '"P. Gassert"'
This demo presents the implementation and usage details of GASSERT, the first tool to automatically improve assertion oracles. Assertion oracles are executable boolean expressions placed inside the program that should pass (return true) for all corre
Externí odkaz:
http://arxiv.org/abs/2103.02901
Autor:
Ilyuta, Gennadiy
We generalize Gassert-Shor formula for numerical semigroups.
Comment: in Russian
Comment: in Russian
Externí odkaz:
http://arxiv.org/abs/2012.11505
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:
Unger, Tim, Moslehian, Arash Sal, Peiffer, J. D., Ullrich, Johann, Gassert, Roger, Lambercy, Olivier, Cotton, R. James, Easthope, Chris Awai
Marker-based Optical Motion Capture (OMC) paired with biomechanical modeling is currently considered the most precise and accurate method for measuring human movement kinematics. However, combining differentiable biomechanical modeling with Markerles
Externí odkaz:
http://arxiv.org/abs/2411.14992
Autor:
Gassert, Philipp, Althoff, Matthias
Reinforcement learning (RL) is not yet competitive for many cyber-physical systems, such as robotics, process automation, and power systems, as training on a system with physical components cannot be accelerated, and simulation models do not exist or
Externí odkaz:
http://arxiv.org/abs/2410.23419
Autor:
Kaster, Lennard, Klein, Henriette, Marka, Alexander W., Urban, Theresa, Karl, Sandra, Gassert, Florian T., Steinhelfer, Lisa, Makowski, Marcus R., Pfeiffer, Daniela, Pfeiffer, Franz
Objectives: Evaluating the effects and artifacts introduced by medical foreign bodies in clinical dark-field chest radiographs and assessing their influence on the evaluation of pulmonary tissue, compared to conventional radiographs. Material & Metho
Externí odkaz:
http://arxiv.org/abs/2408.10855
Autor:
Konovalova, Natalia, Tolpadi, Aniket, Liu, Felix, Akkaya, Zehra, Gassert, Felix, Giesler, Paula, Luitjens, Johanna, Han, Misung, Bahroos, Emma, Majumdar, Sharmila, Pedoia, Valentina
This study investigates the relationship between deep learning (DL) image reconstruction quality and anomaly detection performance, and evaluates the efficacy of an artificial intelligence (AI) assistant in enhancing radiologists' interpretation of m
Externí odkaz:
http://arxiv.org/abs/2407.12184
Autor:
Stolz, Roland, Krasowski, Hanna, Thumm, Jakob, Eichelbeck, Michael, Gassert, Philipp, Althoff, Matthias
Continuous action spaces in reinforcement learning (RL) are commonly defined as multidimensional intervals. While intervals usually reflect the action boundaries for tasks well, they can be challenging for learning because the typically large global
Externí odkaz:
http://arxiv.org/abs/2406.03704
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:
Reichardt, Sven
Publikováno v:
Neue Politische Literatur; 20240101, Issue: Preprints p1-3, 3p
