Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Abstraction-Aware Inference of Metamorphic Relations
Nolasco, Agustín, Molina, Facundo, Degiovanni, Renzo, Gorla, Alessandra, Garbervetsky, Diego, Papadakis, Mike, Uchitel, Sebastian, Aguirre, Nazareno, Frias, Marcelo F.
Published in Proceedings of the ACM on software engineering (12.07.2024)
Published in Proceedings of the ACM on software engineering (12.07.2024)
Get full text
Journal Article
Formal Specification and Testing for Reinforcement Learning
Varshosaz, Mahsa, Ghaffari, Mohsen, Johnsen, Einar Broch, Wąsowski, Andrzej
Published in Proceedings of ACM on programming languages (30.08.2023)
Published in Proceedings of ACM on programming languages (30.08.2023)
Get full text
Journal Article
Editor for system configuration and experiment program specification
Kühner, G, Heimann, P, Heinzel, S, Hennig, Ch, Kühntopf, H, Kroiss, H, Maier, J, Reetz, J, Zilker, M
Published in Fusion engineering and design (01.06.2004)
Published in Fusion engineering and design (01.06.2004)
Get full text
Journal Article
Conference Proceeding
Hemophilia patient education: teaching and assessment of 10 programs
Ané, Anne-Marie, Wintz, Lydie, Sannié, Thomas, Gagnayre, Rémi
Published in Santé publique (Vandoeuvre-lès-Nancy, France) (01.03.2011)
Get full text
Published in Santé publique (Vandoeuvre-lès-Nancy, France) (01.03.2011)
Journal Article
Therapeutic education of haemophiliacs: pedagogical evaluation and formation of 10 programs
Ané, Anne-Marie, Wintz, Lydie, Sannie, Thomas
Published in Santé publique (Vandoeuvre-lès-Nancy, France) (01.01.2011)
Get full text
Published in Santé publique (Vandoeuvre-lès-Nancy, France) (01.01.2011)
Journal Article
Quality and reporting of large-scale improvement programmes: a review of maternity initiatives in the English NHS, 2010–2023
McGowan, James, Attal, Bothaina, Kuhn, Isla, Hinton, Lisa, Draycott, Tim, Martin, Graham P, Dixon-Woods, Mary
Published in BMJ quality & safety (01.11.2024)
Published in BMJ quality & safety (01.11.2024)
Get full text
Journal Article
TRACTION APPARATUS AND METHODS
PIOREK STEVEN K, SENYEI ANDREW, CASH PAUL, KARTEN STUART, GALLANT STUART L, MARSH M. LOU, ROCHA MICHAEL JACOB, OLSON ERIC
Year of Publication 11.06.2015
Get full text
Year of Publication 11.06.2015
Patent