Formal verification of Artificial Intelligence
29 August 2023
Motivations Artificial Intelligence (AI) is now present in many of the services we use, and is becoming increasingly so, particularly in mission-critical systems such as autonomous driving, aviation and medical imaging. At the same time, it has been discovered in recent years that these AI-based systems are sensitive to certain disturbances in their inputs or … Formal verification of Artificial Intelligence
Kereval and EY selected by ANS to accelerate the digital shift in healthcare
19 October 2021
EY Advisory and Kereval have just won a major contract to provide project management assistance in interoperability, urbanization and architecture of healthcare information systems (IS) for the Agence du numérique en santé (ANS). These two partners, co-contractors for this contract, have already collaborated successfully on projects serving the ANS since 2017. EY Consulting is one … Kereval and EY selected by ANS to accelerate the digital shift in healthcare
Explicability of Artificial Intelligence
2 September 2021
Why and for whom? Artificial Intelligence (AI) makes it possible to harness huge volumes of data to perform complex tasks, usually very efficiently. However, AI models, and more specifically Machine Learning and Deep Learning models, are often compared to “black boxes”, due to their opaque operation, not necessarily understandable by humans. The complexity of these … Explicability of Artificial Intelligence
What is e-health interoperability?
22 September 2020
“MaSanté 2022: un engagement collectif” is a government project that aims to improve the French healthcare system in order to offer patients more relevant and higher-quality care, treatment and follow-up. This commitment proposes to reduce inequalities in access to care and enable healthcare professionals to cooperate more effectively by developing digital technology. To encourage cooperation … What is e-health interoperability?