Items where Schools and Departments is "School of Science & Technology" and Year is 2025
A
Aminof, B., De Giacomo, G., Di Stasio, A. 
ORCID: 0000-0001-5475-2978 , Francon, H., Rubin, S. & Zhu, S. (2025).
ltl Synthesis Under Environment Specifications for Reachability and Safety Properties.
Information and Computation, 303,
article number 105255.
doi: 10.1016/j.ic.2024.105255
B
Baugh, M. ORCID: 0000-0001-6252-7658, Reynaud, H. ORCID: 0000-0003-0261-2660, Marimont, S. N. ORCID: 0000-0002-7075-5586 , Cechnicka, S., Müller, J. P. ORCID: 0000-0001-8636-7986, Tarroni, G. ORCID: 0000-0002-0341-6138 & Kainz, B. ORCID: 0000-0002-7813-5023 (2025).
Image-Conditioned Diffusion Models for Medical Anomaly Detection.
In:
Uncertainty for Safe Utilization of Machine Learning in Medical Imaging.
UNSURE 2024, 10 Oct 2024, Marrakesh, Morocco.
doi: 10.1007/978-3-031-73158-7_11
Bekhradinasab, A., Vakilipour, S. & Al-Zaili, J. ORCID: 0000-0003-4072-2107 (2025).
Influence of swirl number and air preheating on turbulent mixing in hydrogen–methane blends within a swirl-stabilized burner.
International Journal of Heat and Mass Transfer, 239,
article number 126475.
doi: 10.1016/j.ijheatmasstransfer.2024.126475
Bennetot, A. ORCID: 0000-0001-8232-8728, Donadello, I. ORCID: 0000-0002-0701-5729, El Qadi El Haouari, A. ORCID: 0000-0002-7296-1252 , Dragoni, M. ORCID: 0000-0003-0380-6571, Frossard, T. ORCID: 0009-0005-6388-5672, Wagner, B. ORCID: 0009-0002-6747-1862, Sarranti, A. ORCID: 0000-0002-1085-8428, Tulli, S. ORCID: 0000-0002-6826-370X, Trocan, M. ORCID: 0000-0001-6241-0126, Chatila, R. ORCID: 0000-0001-7822-0634, Holzinger, A. ORCID: 0000-0002-6786-5194, d'Avila Garcez, A. S. ORCID: 0000-0001-7375-9518 & Díaz-Rodríguez, N. ORCID: 0000-0003-3362-9326 (2025).
A Practical Tutorial on Explainable AI Techniques.
ACM Computing Surveys, 57(2),
pp. 1-44.
doi: 10.1145/3670685
E
Emamikoupaei, A., Tsavdaridis, K. ORCID: 0000-0001-8349-3979, Bigdeli, A. & Saffarzadeh, K. (2025).
Fragility-Based Robustness Assessment of Steel Modular Building Systems: Connection and Building Height.
Journal of Constructional Steel Research, 226,
article number 109199.
doi: 10.1016/j.jcsr.2024.109199
M
Mergos, P. E. ORCID: 0000-0003-3817-9520 & Yang, X-S. (2025).
Structural Optimization of Reinforced Concrete Frames with a Modified Flower Pollination Algorithm.
In: Yang, X-S. (Ed.),
Springer Tracts in Nature-Inspired Computing.
Springer Tracts in Nature-Inspired Computing.
(pp. 33-50). Singapore: Springer Nature Singapore.
doi: 10.1007/978-981-97-5979-8_2