English
Related papers

Related papers: Verification and Validation for Trustworthy Scient…

200 papers

Translating machine learning (ML) models effectively to clinical practice requires establishing clinicians' trust. Explainability, or the ability of an ML model to justify its outcomes and assist clinicians in rationalizing the model…

Machine Learning · Computer Science 2019-08-08 Sana Tonekaboni , Shalmali Joshi , Melissa D McCradden , Anna Goldenberg

Studying the reliability of complex systems using machine learning techniques involves facing a series of technical and practical challenges, ranging from the intrinsic nature of the system and data to the difficulties in modeling and…

Machine Learning · Computer Science 2024-10-08 Maria Luz Gamiz , Fernando Navas-Gomez , Rafael Nozal-Cañadas , Rocio Raya-Miranda

Machine learning (ML) is transforming all areas of science. The complex and time-consuming calculations in molecular simulations are particularly suitable for a machine learning revolution and have already been profoundly impacted by the…

Chemical Physics · Physics 2019-11-11 Frank Noé , Alexandre Tkatchenko , Klaus-Robert Müller , Cecilia Clementi

The popularity of data science as a discipline and its importance in the emerging economy and industrial progress dictate that machine learning be democratized for the masses. This also means that the current practice of workforce training…

Machine Learning · Computer Science 2024-05-28 Hasan M Jamil

Optimization is central to both modern machine learning (ML) and scientific machine learning (SciML), yet the structure of the underlying optimization problems differs substantially across these domains. Classical ML typically relies on…

Numerical Analysis · Mathematics 2026-01-16 Alena Kopaničáková , Elisa Riccietti

Simulations play a crucial role in the modern scientific process. Yet despite (or due to) this ubiquity, the Data Science community shares neither a comprehensive definition for a "high-quality" study nor a consolidated guide to designing…

Computation · Statistics 2025-05-16 Corrine F Elliott , James PC Duncan , Tiffany M Tang , Merle Behr , Karl Kumbier , Bin Yu

The increasing use of deep neural networks for safety-critical applications, such as autonomous driving and flight control, raises concerns about their safety and reliability. Formal verification can address these concerns by guaranteeing…

Artificial Intelligence · Computer Science 2018-02-06 Lindsey Kuper , Guy Katz , Justin Gottschlich , Kyle Julian , Clark Barrett , Mykel Kochenderfer

Machine learning (ML) is the field of training machines to achieve high level of cognition and perform human-like analysis. Since ML is a data-driven approach, it seemingly fits into our daily lives and operations as well as complex and…

Machine Learning · Computer Science 2021-11-25 M. Z. Naser , Amir Alavi

While the uptake of data-driven approaches for materials science and chemistry is at an exciting, early stage, to realise the true potential of machine learning models for successful scientific discovery, they must have qualities beyond…

Materials Science · Physics 2022-06-28 Felipe Oviedo , Juan Lavista Ferres , Tonio Buonassisi , Keith Butler

In this community review report, we discuss applications and techniques for fast machine learning (ML) in science -- the concept of integrating power ML methods into the real-time experimental data processing loop to accelerate scientific…

Machine Learning · Computer Science 2023-02-07 Allison McCarn Deiana , Nhan Tran , Joshua Agar , Michaela Blott , Giuseppe Di Guglielmo , Javier Duarte , Philip Harris , Scott Hauck , Mia Liu , Mark S. Neubauer , Jennifer Ngadiuba , Seda Ogrenci-Memik , Maurizio Pierini , Thea Aarrestad , Steffen Bahr , Jurgen Becker , Anne-Sophie Berthold , Richard J. Bonventre , Tomas E. Muller Bravo , Markus Diefenthaler , Zhen Dong , Nick Fritzsche , Amir Gholami , Ekaterina Govorkova , Kyle J Hazelwood , Christian Herwig , Babar Khan , Sehoon Kim , Thomas Klijnsma , Yaling Liu , Kin Ho Lo , Tri Nguyen , Gianantonio Pezzullo , Seyedramin Rasoulinezhad , Ryan A. Rivera , Kate Scholberg , Justin Selig , Sougata Sen , Dmitri Strukov , William Tang , Savannah Thais , Kai Lukas Unger , Ricardo Vilalta , Belinavon Krosigk , Thomas K. Warburton , Maria Acosta Flechas , Anthony Aportela , Thomas Calvet , Leonardo Cristella , Daniel Diaz , Caterina Doglioni , Maria Domenica Galati , Elham E Khoda , Farah Fahim , Davide Giri , Benjamin Hawks , Duc Hoang , Burt Holzman , Shih-Chieh Hsu , Sergo Jindariani , Iris Johnson , Raghav Kansal , Ryan Kastner , Erik Katsavounidis , Jeffrey Krupa , Pan Li , Sandeep Madireddy , Ethan Marx , Patrick McCormack , Andres Meza , Jovan Mitrevski , Mohammed Attia Mohammed , Farouk Mokhtar , Eric Moreno , Srishti Nagu , Rohin Narayan , Noah Palladino , Zhiqiang Que , Sang Eon Park , Subramanian Ramamoorthy , Dylan Rankin , Simon Rothman , Ashish Sharma , Sioni Summers , Pietro Vischia , Jean-Roch Vlimant , Olivia Weng

The use of machine learning to develop intelligent software tools for interpretation of radiology images has gained widespread attention in recent years. The development, deployment, and eventual adoption of these models in clinical…

Machine Learning · Computer Science 2021-02-04 Viraj Kulkarni , Manish Gawali , Amit Kharat

The emergence and continued reliance on the Internet and related technologies has resulted in the generation of large amounts of data that can be made available for analyses. However, humans do not possess the cognitive capabilities to…

Machine Learning · Computer Science 2021-01-12 MohammadNoor Injadat , Abdallah Moubayed , Ali Bou Nassif , Abdallah Shami

There is a strong consensus that combining the versatility of machine learning with the assurances given by formal verification is highly desirable. It is much less clear what verified machine learning should mean exactly. We consider this…

Machine Learning · Computer Science 2021-02-15 Tonicha Crook , Jay Morgan , Arno Pauly , Markus Roggenbach

Artificial Intelligence/Machine Learning techniques have been widely used in software engineering to improve developer productivity, the quality of software systems, and decision-making. However, such AI/ML models for software engineering…

Software Engineering · Computer Science 2020-12-04 Chakkrit Tantithamthavorn , Jirayus Jiarpakdee , John Grundy

The growing adoption of foundation models calls for a paradigm shift from Data Science to Model Science. Unlike data-centric approaches, Model Science places the trained model at the core of analysis, aiming to interact, verify, explain,…

Artificial Intelligence · Computer Science 2025-08-28 Przemyslaw Biecek , Wojciech Samek

Increased demands in the field of scientific computation require that algorithms be more efficiently implemented. Maintaining correctness in addition to efficiency is a challenge that software engineers in the field have to face. In this…

Software Engineering · Computer Science 2018-02-15 Bernhard Beckert , Britta Nestler , Moritz Kiefer , Michael Selzer , Mattias Ulbrich

Machine learning (ML) methods have been developing rapidly, but configuring and selecting proper methods to achieve a desired performance is increasingly difficult and tedious. To address this challenge, automated machine learning (AutoML)…

Artificial Intelligence · Computer Science 2024-02-28 Zhenqian Shen , Yongqi Zhang , Lanning Wei , Huan Zhao , Quanming Yao

In the emerging era of big data, larger available clinical datasets and computational advances have sparked a massive interest in machine learning-based approaches. The number of manuscripts related to machine learning or artificial…

Machine Learning · Statistics 2020-06-29 Julius M. Kernbach , Victor E. Staartjes

Dynamical systems that evolve continuously over time are ubiquitous throughout science and engineering. Machine learning (ML) provides data-driven approaches to model and predict the dynamics of such systems. A core issue with this approach…

Machine Learning · Computer Science 2023-11-23 Aditi S. Krishnapriyan , Alejandro F. Queiruga , N. Benjamin Erichson , Michael W. Mahoney

The convergence of statistical learning and molecular physics is transforming our approach to modeling biomolecular systems. Physics-informed machine learning (PIML) offers a systematic framework that integrates data-driven inference with…

Biomolecules · Quantitative Biology 2025-11-11 Aaryesh Deshpande
‹ Prev 1 4 5 6 7 8 10 Next ›