|
|
Computer Aided Formal Design of Swarm Robotics Algorithms
Thibaut Balabonski
,
Pierre Courtieu
,
Robin Pelle
,
Lionel Rieg
,
Sébastien Tixeuil
,
et al.
2021
Preprints, Working Papers, ...
hal-03111541v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Comment s'assurer de garder le contact (et nos distances)
Thibaut Balabonski
,
Pierre Courtieu
,
Robin Pelle
,
Lionel Rieg
,
Sébastien Tixeuil
,
et al.
ALGOTEL 2021 - 23èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, 2021, La Rochelle, France
Conference papers
hal-03219933v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
L’usage de l’exécution symbolique pour la déobfuscation binaire en milieu industriel
Jonathan Salwan
Cryptographie et sécurité [cs.CR]. Université Grenoble Alpes [2020-..], 2020. Français. ⟨NNT : 2020GRALM005⟩
Theses
tel-02966552v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Unraveling the Hidden Environmental Impacts of AI Solutions for Environment Life Cycle Assessment of AI Solutions
Anne-Laure Ligozat
,
Julien Lefèvre
,
Aurélie Bugeau
,
Jacques Combaz
Journal articles
hal-03650884v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Environmental assessment of projects involving AI methods
Laurent Lefèvre
,
Anne-Laure Ligozat
,
Denis Trystram
,
Sylvain Bouveret
,
Aurélie Bugeau
,
et al.
2023
Preprints, Working Papers, ...
hal-03922093v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Proposition de document de cadrage Évaluation environnementale de projets impliquant des méthodes d'IA
Laurent Lefèvre
,
Anne-Laure Ligozat
,
Denis Trystram
,
Sylvain Bouveret
,
Aurélie Bugeau
,
et al.
EcoInfo. 2022, pp.1-8
Reports
hal-03853135v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Computer Aided Formal Design of Swarm Robotics Algorithms
Thibaut Balabonski
,
Pierre Courtieu
,
Robin Pelle
,
Lionel Rieg
,
Sébastien Tixeuil
,
et al.
Conference papers
hal-03425768v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Comment évaluer les bénéfices nets des solutions d’IA pour l’environnement ?
Anne-Laure Ligozat
,
Aurélie Bugeau
,
Julien Lefèvre
,
Jacques Combaz
Interstices, 2022
Journal articles
hal-03877383v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Du discrètement continu au continûment discret
Thibaut Balabonski
,
Pierre Courtieu
,
Robin Pelle
,
Lionel Rieg
,
Sébastien Tixeuil
,
et al.
ALGOTEL 2020 – 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Sep 2020, Lyon, France
Conference papers
hal-02871295v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Adversarial reachability for program-level security analysis
Sébastien Bardin
,
Soline Ducousso
,
Marie-Laure Potet
Conference papers
cea-04199882v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Vérification automatique de code bas-niveau : C, assembleur et binaire
Frédéric Recoules
Theses
tel-03719227v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|
|
|
Élection Autostabilisante dans les Réseaux à Haute Dynamicité
Karine Altisen
,
Stéphane Devismes
,
Anaïs Durand
,
Colette Johnen
,
Franck Petit
ALGOTEL 2020 – 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Sep 2020, Lyon, France
Conference papers
hal-02791667v1
|
Share
Gmail
Facebook
Twitter
LinkedIn
More
|