Sort by
Refine Your Search
-
Listed
-
Country
-
Employer
- The University of Auckland
- Forschungszentrum Jülich
- CNRS
- University of Groningen
- University of Southern Denmark
- ; The University of Edinburgh
- Cranfield University
- Inria, the French national research institute for the digital sciences
- Ludwig-Maximilians-Universität München •
- Nature Careers
- The University of Edinburgh
- University of Groningen; 26 Sep ’25 published
- University of Sheffield
- University of Twente
- University of Twente (UT)
- University of Twente (UT); Enschede
- 6 more »
- « less
-
Field
-
, providing them with essential improvements to aspects such as performance and fault-tolerance. Due to the critical nature of many distributed systems, their correctness is of crucial importance
-
such as performance and fault-tolerance. Due to the critical nature of many distributed systems, their correctness is of crucial importance. The verification of distributed systems, however, is notoriously
-
interpretation, trust, error tracing etc. XAI methods offer clear-box models, often comparable to DL in accuracy, yet better in 1st-time scenarios (where the AI has not exactly encountered the given situation with
-
focuses on AI-driven fault diagnosis, predictive analytics, and embedded self-healing mechanisms, with applications in aerospace, robotics, smart energy, and industrial automation. Based
-
. Process simulation software is being developed for virtual optimization of tool design and material handling, enabling first-time-right manufacturing. The predictive quality of these tools relies
-
Inria, the French national research institute for the digital sciences | Saint Martin, Midi Pyrenees | France | about 1 month ago
or maintained outside the mainline kernel, and are a frequent source of bugs, especially memory safety issues such as buffer overflows, dangling pointers, and use-after-free errors. While verifying the entire
-
handling, enabling first-time-right manufacturing. The predictive quality of these tools relies on accurate constitutive models that describe the behavior of the molten material during forming. With
-
demonstrated experimental realizations and proven theoretical advantages. The project may involve several aspects, including mathematical theory, algorithm development, error correction, adaptation of GBS-based
-
design and material handling, enabling first-time-right manufacturing. The predictive quality of these tools relies on accurate constitutive models that describe the behavior of the molten material during
-
to join a cutting-edge research project at the intersection of microelectronics and quantum computing. As the quantum computing field rapidly advances toward large-scale, fault-tolerant systems, one