Zobrazeno 1 - 9
of 9
pro vyhledávání: '"LEMESLE, Augustin"'
As AI systems are becoming more and more popular and used in various critical domains (health, transport, energy, ...), the need to provide guarantees and trust of their safety is undeniable. To this end, we present PyRAT, a tool based on abstract in
Externí odkaz:
http://arxiv.org/abs/2410.23903
Autor:
Girard-Satabin, Julien, Alberti, Michele, Bobot, François, Chihani, Zakaria, Lemesle, Augustin
Publikováno v:
AISafety, Jul 2022, Vienne, Austria
We present CAISAR, an open-source platform under active development for the characterization of AI systems' robustness and safety. CAISAR provides a unified entry point for defining verification problems by using WhyML, the mature and expressive lang
Externí odkaz:
http://arxiv.org/abs/2206.03044
Autor:
Pedrouzo-Ulloa, Alberto, Ramon, Jan, Duflot, Patrick, Pérez-González, Fernando, Lilova, Siyanna, Chihani, Zakaria, Gentili, Nicola, Ulivi, Paola, Hoque, Mohammad Ashadul, Mukammel, Twaha, Pritzker, Zeev, Lemesle, Augustin, Loureiro-Acuña, Jaime, Martı́nez, Xavier, Jiménez-Balsa, Gonzalo
Publikováno v:
IEEE CSR 2P-DPA workshop-Workshop on Privacy-Preserving Data Processing and Analysis
IEEE CSR 2P-DPA workshop-Workshop on Privacy-Preserving Data Processing and Analysis, Jul 2023, Venice, Italy
IEEE CSR 2P-DPA workshop-Workshop on Privacy-Preserving Data Processing and Analysis, Jul 2023, Venice, Italy
International audience; This paper is an overview of the EU-funded project TRUMPET (https://trumpetproject.eu/), and gives an outline of its scope and main technical aspects and objectives. In recent years, Federated Learning has emerged as a revolut
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0233a49b38a2acd6b180f877da80f535
https://inria.hal.science/hal-04092216/document
https://inria.hal.science/hal-04092216/document
Publikováno v:
1st Workshop on Formal Verification of Machine Learning (WFVML 2022)
1st Workshop on Formal Verification of Machine Learning (WFVML 2022), Jul 2022, Baltimore, United States
1st Workshop on Formal Verification of Machine Learning (WFVML 2022), Jul 2022, Baltimore, United States
International audience; With the rapidly advancing improvements to the already successful Deep Learning artifacts, Neural Networks (NN) are poised to permeate a growing number of everyday applications, including ones where safety is paramount and, th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::77c414d48339eebfb69992be3836899e
https://inria.hal.science/hal-03926281
https://inria.hal.science/hal-03926281
Autor:
ADEDJOUMA, Morayo, ALIX, Christophe, BONHOMME, Yannick, BRAUNSCHWEIG, Bertrand, BRAUD, Raphaël, CANTAT, Loïc, CHALE-GONGORA, Hugo Guillermo, CHIHANI, Zakaria, DEJEAN, Philippe, DELLINGER, Flora, GELIN, Rodolphe, LOESCH, Angélique, LEMESLE, Augustin, MATTIOLI, Juliette, NICOLAS, Yves, ROBERT, Boris, TAHIRI, Yassine, TSCHIRHART, Fabien, Wouters, Thomas, Yelloz, Jacques
Publikováno v:
ActuIA; apr-jun2023, Issue 11, p50-55, 6p
Autor:
Francaviglia, Giuseppe, Sousa, Luís, Theodoropoulos, Christos, Diaz, Rodrigo, Kozic, Rafal, Milánkovich, Ákos, Lukács, Dávid, Dimakopoulos, Nikos, Nati, Michele, Signoles, Julien, Lemesle, Augustin, Gilga. Razvan, Daskalakis, Emmanouil, Khan, Muhammad Taimoor, Rademacher, Rebecca
This Report presents the results of Task 3.4 –System architecture and integration planning. The detailed technical specification of the components, the logical architecture, the conceptual data model and data flow, the integration plan and finally,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::22ccf6f428287db1c87aabb6cbd88cf4
Autor:
Kuhlmann, Dirk, Kirchner, Florent, Lemesle, Augustin, Antignac, Thibaud, Bachlechner, Daniel, Bührer, Susanne, Ebbers, Frank, Friedewald, Michael, Lindner, Ralf, Wallwaey, Elisa, Cadete, Gonçalo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4fb543d433ccf1a58d273413e5edaada
Publikováno v:
ActuIA; oct-dec2022, Issue 9, p24-25, 2p