2025-07-16 22:01 |
|
2025-07-16 16:53 |
|
2025-07-16 16:50 |
|
2025-07-16 16:41 |
|
2025-07-16 09:08 |
-
Barkhausen noise analysis for inline monitoring of residual stresses using a soft sensor for freeform bending with moveable die
Stebner, S. C. (Corresponding author) ; Kong, L. (Corresponding author) ; Böhm, V. (Corresponding author) ; Ismail, A. (Corresponding author) ; ; et al
Material forming, ESAFORM 2025 : the 28th International ESAFORM Conference on Material Forming - ESAFORM 2025 - held in Paestum (Italy), 7-9 May, 2025 / editors Pierpaolo Carlone, Luigino Filice, Domenico Umbrello, Seiten/Artikel-Nr: 2012-2019
DOI: 10.21741/9781644903599-216
Contribution to a book/Contribution to a conference proceedings
2025
|
2025-07-15 09:07 |
|
2025-07-14 14:09 |
|
2025-07-11 11:08 |
-
Fixed Point Certificates for Reachability and Expected Rewards in MDPs
Chatterjee, K. ; Quatmann, T. ; Schäffeler, M. ; Weininger, M. (Corresponding author) ; ; et al
Tools and Algorithms for the Construction and Analysis of Systems : 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part II / edited by Arie Gurfinkel, Marijn Heule, Seiten/Artikel-Nr: 130-151
DOI: 10.1007/978-3-031-90653-4_7
Contribution to a book/Contribution to a conference proceedings
2025
|
2025-07-09 09:56 |
|
2025-07-08 09:16 |
|
|
|