8 citations
- Laboratoire d'Informatique et d'Automatique pour les SystèmesFR2 papers
- Groupe d'Étude des Méthodes de l'Analyse Sociologique de la SorbonneFR1 paper
- Institut national de recherche en sciences et technologies du numériqueFR1 paper
- Laboratoire d'Informatique, de Robotique et de Microélectronique de MontpellierFR1 paper
- Mississippi State UniversityUS1 paper
- Prevention of Organ FailureCA1 paper
- Université de PerpignanFR1 paper
- University of ManchesterGB1 paper
4 papers
Geographical and Disciplinary Coverage of Open Access Journals: OpenAlex, Scopus and WoS
Abdelghani Maddi, Marion Maisonobe, Chérifa Boukacem-Zeghmouri
This study aims to compare the geographical and disciplinary coverage of OA journals in three databases: OpenAlex, Scopus and the WoS. We used the ROAD database, managed by the ISS…
Using Graphics Processors for Parallelizing Hash-based Data Carving
Sylvain Collange, Yoginder Dandass, Marc Daumas +1
The ability to detect fragments of deleted image files and to reconstruct these image files from all available fragments on disk is a key activity in the field of digital forensics…
Formal proof for delayed finite field arithmetic using floating point operators
Sylvie Boldo, Marc Daumas, Pascal Giorgi
Formal proof checkers such as Coq are capable of validating proofs of correction of algorithms for finite field arithmetics but they require extensive training from potential users…
Stochastic Formal Methods for Hybrid Systems
Marc Daumas, David Lester, Erik Martin-Dorel +1
We provide a framework to bound the probability that accumulated errors were never above a given threshold on hybrid systems. Such systems are used for example to model an aircraft…