Tootfinder

Backward Responsibility in Transition Systems Beyond Safety
Christel Baier, Rio Klatt, Sascha Kl\"uppelholz, Johannes Lehmann
https://arxiv.org/abs/2506.05192

Backward Responsibility in Transition Systems Beyond Safety
As the complexity of software systems rises, methods for explaining their behaviour are becoming ever-more important. When a system fails, it is critical to determine which of its components are responsible for this failure. Within the verification community, one approach uses graph games and the Shapley value to ascribe a responsibility value to every state of a transition system. As this is done with respect to a specific failure, it is called backward responsibility. This paper provides ti…

Celebrating 10 Years of EaPConnect! 🎉
For a decade, EaPConnect has empowered universities, research institutions, and students across Armenia, Azerbaijan, Georgia, Moldova, and Ukraine, providing high-capacity network infrastructure and fostering international collaboration.
As it nears completion in 2025, Rosanna Cramarossa Norman spoke with NREN directors about the project's impact.
🔗 Read the full interview in the latest edition of

Celebrating 10 Years of EaPConnect: Voices from the NRENs | GÉANT CONNECT Online
We are joined by the directors of the five NRENs beneficiary partners involved in the EU-funded ‘EU4Digital: Connecting Research and Education Communities (EaPConnect)’ project: ASNET from Armenia, AzScienceNet from Azerbaijan, GRENA from Georgia, RENAM from Moldova and URAN from Ukraine. Launched in 2015, the EaPConnect project has empowered universities, research institutions, and students throughout the Eastern

A visco-plastic constitutive model for accurate densification and shape predictions in powder metallurgy hot isostatic pressing
Subrato Sarkar, Jason R Mayeur, KPK Ajjarapu, Fred A List III, Soumya Nag, Ryan R Dehoff
https://arxiv.org/abs/2506.11946

A visco-plastic constitutive model for accurate densification and shape predictions in powder metallurgy hot isostatic pressing
Powder metallurgy hot isostatic pressing (PM-HIP) is an advanced manufacturing process that produces near net shape parts with high material utilization and uniform microstructures. Despite being used frequently to produce small-scale components, the application of PM-HIP to large-scale components is limited due to inadequate understanding of its complex mechanisms that cause unpredictable post-HIP shape distortions. A computational model can provide necessary information about the intermediate…

🇺🇦 #NowPlaying on BBCRadio3's #PrivatePassions
César Franck & Naji Hakim:
🎵 Chorale No. 3 in A minor
#CésarFranck #NajiHakim
https://open.spotify.com/track/0a1r4cDcLSIazLJrdaMPdN