Sort by
Refine Your Search
- 
                Listed
- 
                Category
- 
                Country
- 
                Employer- The University of Auckland
- Forschungszentrum Jülich
- CNRS
- University of Groningen
- University of Southern Denmark
- ; The University of Edinburgh
- Aalborg University
- Cranfield University
- Eindhoven University of Technology (TU/e); yesterday published
- INESC ID
- Inria, the French national research institute for the digital sciences
- Newcastle University
- Simula UiB AS
- The University of Edinburgh
- University of Amsterdam (UvA)
- University of British Columbia
- University of Groningen; 26 Sep ’25 published
- University of Sheffield
- University of Twente
- University of Twente (UT)
- University of Twente (UT); Enschede
- 11 more »
- « less
 
- 
                Field
- 
                
                
                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 
- 
                
                
                . 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 | 2 months agoor 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 
- 
                
                
                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 
- 
                
                
                page showing the error message or issue, and any details you can, to our Student Support Team . Disclaimer Every effort has been made to ensure the information we have supplied is correct and up to date 
- 
                
                
                enquiry as urgent. Technical issues or errors For technical issues or errors, the most common fix is to clear your internet browser cache . Then try again. If this doesn’t resolve the issue, please send a 
- 
                
                
                page showing the error message or issue, and any details you can, to our Student Support Team . Disclaimer Every effort has been made to ensure the information we have supplied is correct and up to date