Showing 1 - 20 results of 993,673 for search 'Computer science' Narrow Search
1
Conference

Contributors: Modèles et simulations pour l'Architecture et le Patrimoine (MAP - UPR 2002), Centre National de la Recherche Scientifique (CNRS), Laboratoire sciences et technologies de l'information géographique (LaSTIG), Ecole des Ingénieurs de la Ville de Paris (EIVP)-École nationale des sciences géographiques (ENSG), Institut National de l'Information Géographique et Forestière IGN (IGN)-Université Gustave Eiffel-Institut National de l'Information Géographique et Forestière IGN (IGN)-Université Gustave Eiffel, Archeovision, Archéosciences Bordeaux, Université de Bordeaux (UB)-Université Bordeaux Montaigne (UBM)-Centre National de la Recherche Scientifique (CNRS)-Université de Bordeaux (UB)-Université Bordeaux Montaigne (UBM)-Centre National de la Recherche Scientifique (CNRS), Université de Bordeaux (UB)-Université Bordeaux Montaigne (UBM)-Centre National de la Recherche Scientifique (CNRS), École nationale supérieure d'architecture de Lyon (ENSAL), Applications et Recherches en Informatique et Architecture (Laboratoire ARIA), Laboratoire de recherche des monuments historiques (LRMH), Centre de Recherche sur la Conservation (CRC ), Muséum national d'Histoire naturelle (MNHN)-Ministère de la Culture et de la Communication (MCC)-Centre National de la Recherche Scientifique (CNRS)-Muséum national d'Histoire naturelle (MNHN)-Ministère de la Culture et de la Communication (MCC)-Centre National de la Recherche Scientifique (CNRS), Cités, Territoires, Environnement et Sociétés (CITERES), Université de Tours (UT)-Centre National de la Recherche Scientifique (CNRS), Modélisation, Information et Systèmes - UR UPJV 4290 (MIS), Université de Picardie Jules Verne (UPJV), Equipes Traitement de l'Information et Systèmes (ETIS - UMR 8051), Ecole Nationale Supérieure de l'Electronique et de ses Applications (ENSEA)-Centre National de la Recherche Scientifique (CNRS)-CY Cergy Paris Université (CY), CNRS, Ministère de la Culture, Etablissement public chargé de la conservation et de la restauration de la cathédrale Notre-Dame de Paris, Notre-Dame de Paris vers la réouverture, European Project: 101055423,n-Dame_Heritage

Superior Title: Naissance et renaissance d'une cathédrale - Notre-Dame de Paris sous l'oeil des scientifiques ; https://hal.science/hal-04576563 ; Naissance et renaissance d'une cathédrale - Notre-Dame de Paris sous l'oeil des scientifiques, Apr 2024, Paris Cité de l'architecture et du patrimoine, France

Relation: info:eu-repo/grantAgreement//101055423/EU/n-Dimensional analysis and memorisation ecosystem for building cathedrals of knowledge in Heritage Science/n-Dame_Heritage; hal-04576563; https://hal.science/hal-04576563; https://hal.science/hal-04576563/document; https://hal.science/hal-04576563/file/Poster%201%20GT%20Nume%CC%81rique%202024.pdf

Availability: https://hal.science/hal-04576563
https://hal.science/hal-04576563/document
https://hal.science/hal-04576563/file/Poster%201%20GT%20Nume%CC%81rique%202024.pdf

2
Conference

Contributors: Modélisation, Information et Systèmes - UR UPJV 4290 (MIS), Université de Picardie Jules Verne (UPJV), Joint Robotics Laboratory (CNRS-AIST JRL ), National Institute of Advanced Industrial Science and Technology (AIST)-Centre National de la Recherche Scientifique (CNRS), IEEE

Superior Title: 2024 IEEE International Conference on Robotics and Automation (ICRA 2024)
https://hal.science/hal-04528418
2024 IEEE International Conference on Robotics and Automation (ICRA 2024), IEEE, May 2024, Yokohama, Japan
https://2024.ieee-icra.org/

Subject Geographic: Yokohama, Japan

Relation: hal-04528418; https://hal.science/hal-04528418; https://hal.science/hal-04528418/document; https://hal.science/hal-04528418/file/2024_ICRA_Goichon.pdf

Availability: https://hal.science/hal-04528418
https://hal.science/hal-04528418/document
https://hal.science/hal-04528418/file/2024_ICRA_Goichon.pdf

3
Conference

Contributors: Joint Robotics Laboratory (CNRS-AIST JRL ), National Institute of Advanced Industrial Science and Technology (AIST)-Centre National de la Recherche Scientifique (CNRS), Institute of Industrial Science (IIS), The University of Tokyo (UTokyo), Modélisation, Information et Systèmes - UR UPJV 4290 (MIS), Université de Picardie Jules Verne (UPJV), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria), Université de Montpellier (UM), IEEE

Superior Title: 2024 International Conference on Robotics and Automation (ICRA 2024)
https://hal.science/hal-04519122
2024 International Conference on Robotics and Automation (ICRA 2024), IEEE, May 2024, Yokohama, Japan
https://www.ieee-ras.org/conferences-workshops/fully-sponsored/icra

Subject Geographic: Yokohama, Japan

Relation: hal-04519122; https://hal.science/hal-04519122; https://hal.science/hal-04519122/document; https://hal.science/hal-04519122/file/2024_ICRA_Kang.pdf

Availability: https://hal.science/hal-04519122
https://hal.science/hal-04519122/document
https://hal.science/hal-04519122/file/2024_ICRA_Kang.pdf

4
Conference

Contributors: Modélisation, Information et Systèmes - UR UPJV 4290 (MIS), Université de Picardie Jules Verne (UPJV), Ce projet est soutenu par le projet PICKOPT (CIFRE no 2021/0599 entre Smile Pickup et le Laboratoire MIS)

Superior Title: 25 eme Congès Annuel de la Société Francaise de Recherche Opérationnelle et d'Aide à la Décision (ROADEF 2024)
https://hal.science/hal-04502678
25 eme Congès Annuel de la Société Francaise de Recherche Opérationnelle et d'Aide à la Décision (ROADEF 2024), Mar 2024, Amiens, France

Subject Geographic: Amiens, France

Relation: hal-04502678; https://hal.science/hal-04502678; https://hal.science/hal-04502678/document; https://hal.science/hal-04502678/file/ROADEF2024-1.pdf

Availability: https://hal.science/hal-04502678
https://hal.science/hal-04502678/document
https://hal.science/hal-04502678/file/ROADEF2024-1.pdf

5
Conference

Contributors: Joint Robotics Laboratory (CNRS-AIST JRL ), National Institute of Advanced Industrial Science and Technology (AIST)-Centre National de la Recherche Scientifique (CNRS), École polytechnique (X), Modélisation, Information et Systèmes - UR UPJV 4290 (MIS), Université de Picardie Jules Verne (UPJV), IEEE, SICE

Superior Title: Proceedings of the 16th IEEE/SICE International Symposium on System Integration ; IEEE/SICE International Symposium on System Integration ; https://hal.science/hal-04306460 ; IEEE/SICE International Symposium on System Integration, IEEE; SICE, Jan 2024, Ha Long, Vietnam

Subject Geographic: Ha Long, Vietnam

Relation: hal-04306460; https://hal.science/hal-04306460; https://hal.science/hal-04306460/document; https://hal.science/hal-04306460/file/2024_SII_Foussereau.pdf

Availability: https://hal.science/hal-04306460
https://hal.science/hal-04306460/document
https://hal.science/hal-04306460/file/2024_SII_Foussereau.pdf

6
Conference

Contributors: Joint Robotics Laboratory (CNRS-AIST JRL ), National Institute of Advanced Industrial Science and Technology (AIST)-Centre National de la Recherche Scientifique (CNRS), Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT), Artificial Intelligence Research Center Tokyo (AIST), National Institute of Advanced Industrial Science and Technology (AIST), Modélisation, Information et Systèmes - UR UPJV 4290 (MIS), Université de Picardie Jules Verne (UPJV), IEEE, SICE

Superior Title: 16th IEEE/SICE International Symposium on System Integration (SII2024)
https://hal.science/hal-04306456
16th IEEE/SICE International Symposium on System Integration (SII2024), IEEE
SICE, Jan 2024, Ha Long, Vietnam
https://sice-si.org/SII2024/

Subject Geographic: Ha Long, Vietnam

Relation: hal-04306456; https://hal.science/hal-04306456; https://hal.science/hal-04306456/document; https://hal.science/hal-04306456/file/2024_SII_Quaccia.pdf

Availability: https://hal.science/hal-04306456
https://hal.science/hal-04306456/document
https://hal.science/hal-04306456/file/2024_SII_Quaccia.pdf

7
Conference

Contributors: CB - Centre Borelli - UMR 9010 (CB), Service de Santé des Armées-Institut National de la Santé et de la Recherche Médicale (INSERM)-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay)-Université Paris Cité (UPCité), GE Healthcare, The authors wish to acknowledge the French ANRT (Association Nationale de la Recherche et de la Technologie) for partially funding this research, under CIFRE grant number 2021/0422., IEEE

Superior Title: 2024 IEEE 21st International Symposium on Biomedical Imaging (ISBI)
https://hal.science/hal-04577704
2024 IEEE 21st International Symposium on Biomedical Imaging (ISBI), IEEE, May 2024, Athens, Greece

Subject Geographic: Athens, Greece

Relation: hal-04577704; https://hal.science/hal-04577704; https://hal.science/hal-04577704/document; https://hal.science/hal-04577704/file/ISBI24_paper_871_preprint.pdf

Availability: https://hal.science/hal-04577704
https://hal.science/hal-04577704/document
https://hal.science/hal-04577704/file/ISBI24_paper_871_preprint.pdf

8
Conference

Contributors: Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité), Université Paris Cité (UPCité), Laboratoire Méthodes Formelles (LMF), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), Université Paris-Saclay, DistributEd aLgorithms and sYStems (DELYS), LIP6, Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), ANR-22-CE25-0008,SKYDATA,Un nouveau paradigme de donnée: Les données autononomes et intelligentes(2022)

Superior Title: Lecture Notes in Computer Science (LNCS), Springer ; SIROCCO 2024 ; https://hal.science/hal-04448960 ; SIROCCO 2024, May 2024, Salerno, Italy

Subject Geographic: Salerno, Italy

Relation: hal-04448960; https://hal.science/hal-04448960; https://hal.science/hal-04448960/document; https://hal.science/hal-04448960/file/SIROCCO2024.pdf

Availability: https://hal.science/hal-04448960
https://hal.science/hal-04448960/document
https://hal.science/hal-04448960/file/SIROCCO2024.pdf

9
Conference

Contributors: Laboratoire des signaux et systèmes (L2S), CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS), Université Paris-Saclay, Université Sorbonne Paris Nord

Superior Title: IFIP/IEEE Networking 2024: XR&6GNet ; https://hal.science/hal-04572693 ; IFIP/IEEE Networking 2024: XR&6GNet, Jun 2024, Thessaloniki, Greece

Subject Geographic: Thessaloniki, Greece

Relation: hal-04572693; https://hal.science/hal-04572693; https://hal.science/hal-04572693/document; https://hal.science/hal-04572693/file/QoS_Driven_O_CNOMA_Scheme.pdf

Availability: https://hal.science/hal-04572693
https://hal.science/hal-04572693/document
https://hal.science/hal-04572693/file/QoS_Driven_O_CNOMA_Scheme.pdf

10
Conference

Contributors: Laboratoire Interdisciplinaire des Sciences du Numérique (LISN), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS), Université Paris-Saclay, QWANT, Sciences et Technologies des Langues - LISN (STL), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS), Information, Langue Ecrite et Signée (ILES), Laboratoire d'Informatique pour la Mécanique et les Sciences de l'Ingénieur (LIMSI), Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)

Superior Title: LREC-COLING 2024 ; https://hal.science/hal-04519930 ; LREC-COLING 2024, May 2024, TURIN, Italy

Subject Geographic: TURIN, Italy

Relation: hal-04519930; https://hal.science/hal-04519930; https://hal.science/hal-04519930v2/document; https://hal.science/hal-04519930v2/file/paper_coling_lepagnol_FINAL.pdf

Availability: https://hal.science/hal-04519930
https://hal.science/hal-04519930v2/document
https://hal.science/hal-04519930v2/file/paper_coling_lepagnol_FINAL.pdf

11
Conference

Contributors: Département Ingénierie Logiciels et Systèmes (DILS (CEA, LIST)), Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA)), Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay, Laboratoire Méthodes Formelles (LMF), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), INSTICC

Superior Title: MODELSWARD 2024 ; https://centralesupelec.hal.science/hal-04452208 ; MODELSWARD 2024, INSTICC, Feb 2024, Rome, Italy

Subject Geographic: Rome, Italy

Relation: hal-04452208; https://centralesupelec.hal.science/hal-04452208; https://centralesupelec.hal.science/hal-04452208/document; https://centralesupelec.hal.science/hal-04452208/file/Example.pdf

Availability: https://centralesupelec.hal.science/hal-04452208
https://centralesupelec.hal.science/hal-04452208/document
https://centralesupelec.hal.science/hal-04452208/file/Example.pdf

12
Conference

Contributors: Deduction modulo, interopérabilité et démonstration automatique (DEDUCTEAM), Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Méthodes Formelles (LMF), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), Laboratoire Méthodes Formelles (LMF), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), Mathématiques et Informatique pour la Complexité et les Systèmes (MICS), CentraleSupélec-Université Paris-Saclay

Superior Title: Lecture Notes in Computer Science, International Conference on Foundations of Software Science and Computation Structures ; FoSSaCS 2024 - 27th International Conference on Foundations of Software Science and Computation Structures ; https://hal.science/hal-04275229 ; FoSSaCS 2024 - 27th International Conference on Foundations of Software Science and Computation Structures, Apr 2024, Luxembourg City, Luxembourg. pp.3-23, ⟨10.1007/978-3-031-57231-9_1⟩

Subject Geographic: Luxembourg City, Luxembourg

Relation: info:eu-repo/semantics/altIdentifier/arxiv/2402.09024; hal-04275229; https://hal.science/hal-04275229; https://hal.science/hal-04275229v2/document; https://hal.science/hal-04275229v2/file/elimrule.pdf; ARXIV: 2402.09024

Availability: https://doi.org/10.1007/978-3-031-57231-9_1
https://hal.science/hal-04275229
https://hal.science/hal-04275229v2/document
https://hal.science/hal-04275229v2/file/elimrule.pdf

13
Book

Contributors: Laboratoire Bordelais de Recherche en Informatique (LaBRI), Université de Bordeaux (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS), SUpervision of large MOdular and distributed systems (SUMO), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT), Laboratoire Méthodes Formelles (LMF), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), University of Oxford, Laboratoire d'Informatique Gaspard-Monge (LIGM), École des Ponts ParisTech (ENPC)-Centre National de la Recherche Scientifique (CNRS)-Université Gustave Eiffel, University of Liverpool, Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité), Modélisation et Vérification (MOVE), Laboratoire d'Informatique et des Systèmes (LIS) (Marseille, Toulon) (LIS), Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS)-Aix Marseille Université (AMU)-Université de Toulon (UTLN)-Centre National de la Recherche Scientifique (CNRS), IBM, Université de Mons / University of Mons (UMONS), Institut universitaire de France (IUF), Ministère de l'Education nationale, de l’Enseignement supérieur et de la Recherche (M.E.N.E.S.R.), Equipe Polynomial OPtimization (LAAS-POP), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)

Superior Title: https://hal.science/hal-04273394 ; pp.1-491, In press, ⟨10.48550/arXiv.2305.10546⟩.

Relation: info:eu-repo/semantics/altIdentifier/arxiv/2305.10546; hal-04273394; https://hal.science/hal-04273394; https://hal.science/hal-04273394/document; https://hal.science/hal-04273394/file/2305.10546.pdf; ARXIV: 2305.10546

Availability: https://doi.org/10.48550/arXiv.2305.10546
https://hal.science/hal-04273394
https://hal.science/hal-04273394/document
https://hal.science/hal-04273394/file/2305.10546.pdf

14
Conference

Contributors: Designing the Future of Computational Models (MOCQUA), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Quantum Computation Structures (QuaCS), Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Méthodes Formelles (LMF), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), Laboratoire Méthodes Formelles (LMF), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), European projects NEASQC and HPCQS, ANR-22-PETQ-0007,EPiQ,Etude de la pile quantique : Algorithmes, modèles de calcul et simulation pour l'informatique quantique(2022), ANR-17-CE25-0009,SoftQPRO,Solutions logicielles pour l'optimisation des programmes et ressources quantiques(2017), ANR-22-PNCQ-0002,HQI – R&D et Support,Initiative Nationale Hybride HPC Quantique – R&D et Support des communautés(2022), European Project: 101018180 ,HPCQS(2021)

Superior Title: International Conference on Computer Science Logic CSL 2024 ; https://hal.science/hal-04016498 ; International Conference on Computer Science Logic CSL 2024, Feb 2024, Naples, Italy. ⟨10.4230/LIPIcs.CSL.2024.20⟩

Subject Geographic: Naples, Italy

Relation: info:eu-repo/grantAgreement//101018180 /EU/High Performance Computer and Quantum Simulator hybrid/HPCQS; hal-04016498; https://hal.science/hal-04016498; https://hal.science/hal-04016498v3/document; https://hal.science/hal-04016498v3/file/main.pdf

Availability: https://doi.org/10.4230/LIPIcs.CSL.2024.20
https://hal.science/hal-04016498
https://hal.science/hal-04016498v3/document
https://hal.science/hal-04016498v3/file/main.pdf

15
Conference

Contributors: MARine Biodiversity Exploitation and Conservation (UMR MARBEC), Institut de Recherche pour le Développement (IRD)-Institut Français de Recherche pour l'Exploitation de la Mer (IFREMER)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS), Institut de Recherche pour le Développement (IRD), Laboratoire des Sciences de l'Environnement Marin (LEMAR) (LEMAR), Institut de Recherche pour le Développement (IRD)-Institut Français de Recherche pour l'Exploitation de la Mer (IFREMER)-Université de Brest (UBO)-Institut Universitaire Européen de la Mer (IUEM), Institut de Recherche pour le Développement (IRD)-Institut national des sciences de l'Univers (INSU - CNRS)-Université de Brest (UBO)-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche pour le Développement (IRD)-Institut national des sciences de l'Univers (INSU - CNRS)-Université de Brest (UBO)-Centre National de la Recherche Scientifique (CNRS)-Centre National de la Recherche Scientifique (CNRS), Université de Brest (UBO), Institut Universitaire Européen de la Mer (IUEM), Institut de Recherche pour le Développement (IRD)-Institut national des sciences de l'Univers (INSU - CNRS)-Université de Brest (UBO)-Centre National de la Recherche Scientifique (CNRS), Centre Camille Jullian - Histoire et archéologie de la Méditerranée et de l'Afrique du Nord de la protohistoire à la fin de l'Antiquité (CCJ), Aix Marseille Université (AMU)-Ministère de la Culture et de la Communication (MCC)-Centre National de la Recherche Scientifique (CNRS), Dpt. of hyperbaric medicine, Sainte Marguerite University Hospital, Marseille, France, Institut méditerranéen de biodiversité et d'écologie marine et continentale (IMBE), Avignon Université (AU)-Aix Marseille Université (AMU)-Institut de recherche pour le développement IRD : UMR237-Centre National de la Recherche Scientifique (CNRS), Biologie des Organismes et Ecosystèmes Aquatiques (BOREA), Université de Caen Normandie (UNICAEN), Normandie Université (NU)-Normandie Université (NU)-Muséum national d'Histoire naturelle (MNHN)-Institut de Recherche pour le Développement (IRD)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Université des Antilles (UA), Centre De Recherche et d'Enseignement sur les Systèmes Côtiers (CRESCO), Muséum national d'Histoire naturelle (MNHN)-Institut Français de Recherche pour l'Exploitation de la Mer (IFREMER), Centre de Géo-Écologie Littorale (CGEL), École Pratique des Hautes Études (EPHE), Université Paris Sciences et Lettres (PSL)-Université Paris Sciences et Lettres (PSL)-Ministère de l'Education nationale, de l’Enseignement supérieur et de la Recherche (M.E.N.E.S.R.), Centre Alpin de Recherche sur les Réseaux Trophiques et Ecosystèmes Limniques (CARRTEL), Université Savoie Mont Blanc (USMB Université de Savoie Université de Chambéry )-Institut National de Recherche pour l’Agriculture, l’Alimentation et l’Environnement (INRAE), Institut Français de Recherche pour l'Exploitation de la Mer (IFREMER), Institut de Systématique, Evolution, Biodiversité (ISYEB ), Muséum national d'Histoire naturelle (MNHN)-École Pratique des Hautes Études (EPHE), Université Paris Sciences et Lettres (PSL)-Université Paris Sciences et Lettres (PSL)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Université des Antilles (UA), Département des Recherches Archéologiques Subaquatiques et Sous-Marines Marseille (DRASSM), Ministère de la Culture (MC), Centre de Formation et de Recherche sur les Environnements Méditérranéens (CEFREM), Université de Perpignan Via Domitia (UPVD)-Institut national des sciences de l'Univers (INSU - CNRS)-Centre National de la Recherche Scientifique (CNRS), Ecosystèmes aquatiques et changements globaux (UR EABX), Institut National de Recherche pour l’Agriculture, l’Alimentation et l’Environnement (INRAE), MARine Biodiversity Exploitation and Conservation - Station Ifremer Sète (UMR Marbec - Station Sète), MARine Biodiversity Exploitation and Conservation - MARBEC (UMR MARBEC ), Institut de Recherche pour le Développement (IRD)-Institut Français de Recherche pour l'Exploitation de la Mer (IFREMER)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Institut de Recherche pour le Développement (IRD)-Institut Français de Recherche pour l'Exploitation de la Mer (IFREMER)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)

Superior Title: 8th European Conference on Scientific Diving (ECSD8)
https://ird.hal.science/ird-04574999
8th European Conference on Scientific Diving (ECSD8), Apr 2024, Heraklion (Crete Island), Greece. Zenodo, 2024, ⟨10.5281/zenodo.10894845⟩

Subject Geographic: Heraklion (Crete Island), Greece

Relation: ird-04574999; https://ird.hal.science/ird-04574999; https://ird.hal.science/ird-04574999/document; https://ird.hal.science/ird-04574999/file/Poster%20ECSD8%20-%20Scientific%20diving%20in%20France%20an%20overview%20of%20the%20current%20practices%20in%20science.pdf

Availability: https://doi.org/10.5281/zenodo.10894845
https://ird.hal.science/ird-04574999
https://ird.hal.science/ird-04574999/document
https://ird.hal.science/ird-04574999/file/Poster%20ECSD8%20-%20Scientific%20diving%20in%20France%20an%20overview%20of%20the%20current%20practices%20in%20science.pdf

16
Conference

Contributors: Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT), Declarative & Reliable management of Uncertain, user-generated Interlinked Data (DRUID), GESTION DES DONNÉES ET DE LA CONNAISSANCE (IRISA-D7), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR), Laboratoire des Sciences du Numérique de Nantes (LS2N), Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-NANTES UNIVERSITÉ - École Centrale de Nantes (Nantes Univ - ECN), Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes université - UFR des Sciences et des Techniques (Nantes univ - UFR ST), Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ)-Nantes Université (Nantes Univ)-Nantes Université - pôle Sciences et technologie, Nantes Université (Nantes Univ), Data User Knowledge (LS2N - équipe DUKe), Nantes Université (Nantes Univ)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), This work has received a French government supportgranted to the Labex Cominlabs excellence laboratoryand managed by the National Research Agency in the“Investing for the Future” program under reference ANR-10-LABX-07-01.

Superior Title: 16th International Conference on Computer Supported Education (CSEDU)
https://hal.science/hal-04510615
16th International Conference on Computer Supported Education (CSEDU), May 2024, Angers, France. pp.645-652, ⟨10.5220/0012745000003693⟩

Subject Geographic: Angers, France

Relation: hal-04510615; https://hal.science/hal-04510615; https://hal.science/hal-04510615/document; https://hal.science/hal-04510615/file/ConstrucTED-CR.pdf

Availability: https://doi.org/10.5220/0012745000003693
https://hal.science/hal-04510615
https://hal.science/hal-04510615/document
https://hal.science/hal-04510615/file/ConstrucTED-CR.pdf

17
Conference

Contributors: Diversity-centric Software Engineering (DiverSe), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT), Institut universitaire de France (IUF), Ministère de l'Education nationale, de l’Enseignement supérieur et de la Recherche (M.E.N.E.S.R.), ACM

Superior Title: ACM Conference on Reproducibility and Replicability (REP) ; https://hal.science/hal-04582287 ; ACM Conference on Reproducibility and Replicability (REP), ACM, Jun 2024, Rennes, France

Subject Geographic: Rennes, France

Relation: hal-04582287; https://hal.science/hal-04582287; https://hal.science/hal-04582287/document; https://hal.science/hal-04582287/file/REP_ACM_ReproducibleScienceDeepVariability24.pdf

Availability: https://hal.science/hal-04582287
https://hal.science/hal-04582287/document
https://hal.science/hal-04582287/file/REP_ACM_ReproducibleScienceDeepVariability24.pdf

18
Conference

Contributors: Karlsruhe Institute of Technology (KIT), Architectures matérielles spécialisées pour l’ère post loi-de-Moore (TARAN), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-ARCHITECTURE (IRISA-D3), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT), Università degli Studi di Trento = University of Trento (UNITN), Politecnico di Torino = Polytechnic of Turin (Polito), Department of Electrical and Computer Engineering - University of Massachusetts (ECE), University of Massachusetts Amherst (UMass Amherst), University of Massachusetts System (UMASS)-University of Massachusetts System (UMASS), ANR-21-CE24-0015,RE-TRUSTING,Architectures matérielles fiable pour l'Intelligence Artificielle de confiance(2021)

Superior Title: ETS 2024 - 29th IEEE European Test Symposium ; https://hal.science/hal-04577494 ; ETS 2024 - 29th IEEE European Test Symposium, May 2024, The Hague, Netherlands. pp.1-10

Subject Geographic: The Hague, Netherlands

Relation: hal-04577494; https://hal.science/hal-04577494; https://hal.science/hal-04577494/document; https://hal.science/hal-04577494/file/Reliability_and_Security_of_AI_Hardware_ETS24_specialSession.pdf

Availability: https://hal.science/hal-04577494
https://hal.science/hal-04577494/document
https://hal.science/hal-04577494/file/Reliability_and_Security_of_AI_Hardware_ETS24_specialSession.pdf

19
Conference

Contributors: Sciences et Technologies de la Musique et du Son (STMS), Institut de Recherche et Coordination Acoustique/Musique (IRCAM)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), Institut de Recherche et Coordination Acoustique/Musique (IRCAM), Représentations musicales (Repmus), Institut de Recherche et Coordination Acoustique/Musique (IRCAM)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche et Coordination Acoustique/Musique (IRCAM)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), Learning, Fuzzy and Intelligent systems (LFI), LIP6, Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)

Superior Title: Discrete Geometry and Mathematical Morphology ; https://hal.science/hal-04444390 ; Discrete Geometry and Mathematical Morphology, Apr 2024, Florence, Italy

Subject Geographic: Florence, Italy

Time: Florence, Italy

Relation: hal-04444390; https://hal.science/hal-04444390; https://hal.science/hal-04444390/document; https://hal.science/hal-04444390/file/DGMM%202024.pdf

Availability: https://hal.science/hal-04444390
https://hal.science/hal-04444390/document
https://hal.science/hal-04444390/file/DGMM%202024.pdf

20
Conference

Contributors: Modèles et simulations pour l'Architecture et le Patrimoine (MAP - UPR 2002), Centre National de la Recherche Scientifique (CNRS), Ludwig Maximilian University Munich = Ludwig Maximilians Universität München (LMU), Laboratoire de Mécanique et Génie Civil (LMGC), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM), Laboratoire d’Ingénierie des Systèmes Physiques et Numériques (LISPEN), Arts et Métiers Sciences et Technologies, HESAM Université - Communauté d'universités et d'établissements Hautes écoles Sorbonne Arts et métiers université (HESAM)-HESAM Université - Communauté d'universités et d'établissements Hautes écoles Sorbonne Arts et métiers université (HESAM), CNRS, Ministère de la Culture, Etablissement public en charge de la conservation et de la restauration de la Cathédrale Notre-Dame de Paris, Notre-Dame de Paris vers la réouverture, European Project: 101055423,n-Dame_Heritage

Superior Title: Naissance et renaissance d’une cathédrale - Notre-Dame de Paris sous l'oeil des scientifiques ; https://hal.science/hal-04576767 ; Naissance et renaissance d’une cathédrale - Notre-Dame de Paris sous l'oeil des scientifiques, Apr 2024, Paris, France

Subject Geographic: Paris, France

Relation: info:eu-repo/grantAgreement//101055423/EU/n-Dimensional analysis and memorisation ecosystem for building cathedrals of knowledge in Heritage Science/n-Dame_Heritage; hal-04576767; https://hal.science/hal-04576767; https://hal.science/hal-04576767/document; https://hal.science/hal-04576767/file/Poster%204%20GT%20Nume%CC%81rique%202024.pdf

Availability: https://hal.science/hal-04576767
https://hal.science/hal-04576767/document
https://hal.science/hal-04576767/file/Poster%204%20GT%20Nume%CC%81rique%202024.pdf