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-11 10:42 |
|
2025-07-11 10:35 |
|
2025-07-10 08:19 |
-
Effective approaches for teaching 4D shape-changing textiles structures in engineering : the role of design-led research and design thinking
Kelbel, H. C. ; Zhang, D. ; Gries, T.
14th International Materials Education Symposium, Clare College, University of Cambridge, Cambridge, UK, April 10-11, 2025 / [Symposium Booklet], Seiten/Artikel-Nr: 28-28
URL: https://www.materialseducation.com/images/IMES2025Booklet.pdf
Abstract (Extended abstract)/Contribution to a conference proceedings
2025
|
2025-07-09 10:58 |
|
2025-07-09 09:56 |
|
2025-07-08 15:28 |
|
2025-07-08 13:11 |
-
Ribbon and wide fabric for curing UV adhesives using side-emitting POF
Pätzel, M. ; Kallweit, J. P. ; Seewald, R. V. ; Schiebahn, A. ; ; et al
[POF2024 The 32nd International Conference on Plastic Optical Fibers, November 11th-13th, Tokyo, Japan., POF2024, 2024-11-11 - 2024-11-13, Tokyo, Japan], Seiten/Artikel-Nr: 156-160
Contribution to a conference proceedings
2024
|
2025-07-08 09:35 |
|
2025-07-08 09:31 |
|
|
|