Search Results - Computer science

1

Conference

Towards a federated learning approach for branched wired networks prognosis

Authors: Naline, Baudouin, Ravot, Nicolas, Hassen, Wafa Ben, Rodriguez, Sandra Garcia, Zeitouni, Karine

Contributors: Laboratoire Instrumentation Intelligente Distribuée et Embarquée (CEA, LIST) (LIIDE (CEA, LIST)), Département d'instrumentation Numérique (CEA, LIST) (DIN (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 d'Intégration des Systèmes et des Technologies (LIST (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université Paris-Saclay, Laboratoire Fiabilité et Intégration de Capteurs (CEA, LIST) (LFIC (CEA, LIST)), Département Métrologie Instrumentation & Information (CEA, LIST) (DM2I (CEA, LIST)), Données et algorithmes pour une ville intelligente et durable - DAVID (DAVID), Université de Versailles Saint-Quentin-en-Yvelines (UVSQ), Université Paris-Saclay

Superior Title: IEEE ICCAD 2023 - International Conference on Control, Automation and Diagnosis ; https://hal.science/hal-04371679 ; IEEE ICCAD 2023 - International Conference on Control, Automation and Diagnosis, May 2023, Rome, Italy. pp.1-6, ⟨10.1109/ICCAD57653.2023.10152421⟩

Subject Terms: [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB], [INFO.INFO-MC]Computer Science [cs]/Mobile Computing, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]

Subject Geographic: Rome, Italy

Relation: hal-04371679; https://hal.science/hal-04371679

Availability: https://doi.org/10.1109/ICCAD57653.2023.10152421
https://hal.science/hal-04371679

Zugang prüfen (DOI)

2

Conference

Détection et Explication des Données Régulières et Irrégulières

Authors: Nath, Rahul, Smits, Grégory, Pivert, Olivier

Contributors: University of Bergen (UiB), Département Informatique (IMT Atlantique - INFO), IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT), Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance (Lab-STICC), École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom Paris (IMT)-Centre National de la Recherche Scientifique (CNRS)-Université Bretagne Loire (UBL)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT), Equipe MOTEL (Lab-STICC_MOTEL), Institut Mines-Télécom Paris (IMT)-École Nationale d'Ingénieurs de Brest (ENIB)-Université de Bretagne Sud (UBS)-Université de Brest (UBO)-École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)-Institut Mines-Télécom Paris (IMT)-Centre National de la Recherche Scientifique (CNRS)-Université Bretagne Loire (UBL)-IMT Atlantique (IMT Atlantique), 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), INSA Centre Val de Loire

Superior Title: Rencontres francophones sur la logique floue et ses applications ; https://hal.science/hal-04186040 ; Rencontres francophones sur la logique floue et ses applications, INSA Centre Val de Loire, Nov 2023, Bourges, France

Subject Terms: Inférence de vocabulaire flou résumé linguistique détection d'anomalies explication d'anomalies Fuzzy vocabulary inference linguistic summaries anomaly detection anomaly explanation, Inférence de vocabulaire flou, résumé linguistique, détection d'anomalies, explication d'anomalies Fuzzy vocabulary inference, linguistic summaries, anomaly detection, anomaly explanation, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH], [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]

Subject Geographic: Bourges, France

Relation: hal-04186040; https://hal.science/hal-04186040; https://hal.science/hal-04186040/document; https://hal.science/hal-04186040/file/main.pdf

Availability: https://hal.science/hal-04186040
https://hal.science/hal-04186040/document
https://hal.science/hal-04186040/file/main.pdf

3

Academic Journal

Recognition of oil & gas pipelines operational states using graph network structural features

Authors: Zhang, Li, Yeh, Laurent, Su, Huai, Zeitouni, Karine, Zuo, Zhiheng, Li, Miao, Jiang, Luxin, Fan, Lin, Zhang, Jinjun

Contributors: Shenyang Aerospace University (SAU), Données et algorithmes pour une ville intelligente et durable - DAVID (DAVID), Université de Versailles Saint-Quentin-en-Yvelines (UVSQ), Université Paris-Saclay, National Engineering Laboratory for Pipeline Safety/MOE Key Laboratory of Petroleum Engineering/Beijing Key Laboratory of Urban Oil and Gas Distribution Technology, China University of Petroleum-Beijing, Yangzhou University, China University of Petroleum Beijing (CUP), Anhui University Hefei

Superior Title: ISSN: 0952-1976 ; Engineering Applications of Artificial Intelligence ; https://hal.science/hal-04371682 ; Engineering Applications of Artificial Intelligence, 2023, 120, pp.105884. ⟨10.1016/j.engappai.2023.105884⟩.

Subject Terms: [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB], [INFO.INFO-MC]Computer Science [cs]/Mobile Computing, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]

Relation: hal-04371682; https://hal.science/hal-04371682

Availability: https://doi.org/10.1016/j.engappai.2023.105884
https://hal.science/hal-04371682

Zugang prüfen (DOI)

4

Academic Journal

Accurate calculation of Euclidean Norms using Double-word arithmetic

Authors: Lefèvre, Vincent, Louvet, Nicolas, Muller, Jean-Michel, Picot, Joris, Rideau, Laurence

Contributors: Arithmétiques des ordinateurs, méthodes formelles, génération de code (ARIC), Laboratoire de l'Informatique du Parallélisme (LIP), École normale supérieure de Lyon (ENS de Lyon)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure de Lyon (ENS de Lyon)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Inria Lyon, Institut National de Recherche en Informatique et en Automatique (Inria), Université Claude Bernard Lyon 1 (UCBL), Université de Lyon, Centre National de la Recherche Scientifique (CNRS), École normale supérieure de Lyon (ENS de Lyon), Sûreté du logiciel et Preuves Mathématiques Formalisées (STAMP), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), ANR-20-CE48-0014,NuSCAP,Sûreté numérique pour les preuves assistées par ordinateur(2020)

Superior Title: ISSN: 0098-3500 ; ACM Transactions on Mathematical Software ; https://hal.science/hal-03482567 ; ACM Transactions on Mathematical Software, 2023, 49 (1), pp.1-34. ⟨10.1145/3568672⟩.

Subject Terms: Overflow, Underflow, Square-root, Formalization, Proof assistant, Coq, Floating-Point arithmetic, Euclidean norms, Double-word arithmetic, Double-double arithmetic, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH], [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic, [INFO.INFO-MS]Computer Science [cs]/Mathematical Software [cs.MS]

Relation: hal-03482567; https://hal.science/hal-03482567; https://hal.science/hal-03482567v2/document; https://hal.science/hal-03482567v2/file/NormsandDW%20HaLV2.pdf

Availability: https://doi.org/10.1145/3568672
https://hal.science/hal-03482567
https://hal.science/hal-03482567v2/document
https://hal.science/hal-03482567v2/file/NormsandDW%20HaLV2.pdf

Zugang prüfen (DOI)

5

Academic Journal

Modulo, des moyens d'enseignement de l'informatique à visée participative

Authors: Hersch, Micha, Petreska von Ritter, Biljana, Silva, David Da, Edelmann, Romain, Farenc, Nathalie, Haussauer, Virginia, Holzer, Raphael, Pellet, Jean-Philippe

Contributors: Haute Ecole Pédagogique du canton de Vaud (HEPL), EPFL, Ecole Polytechnique Fédérale de Lausanne (EPFL), Université de Lausanne = University of Lausanne (UNIL)

Superior Title: ISSN: 0759-9188.

Subject Terms: Computer science education, Didactique de l'informatique, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH], [SHS]Humanities and Social Sciences

Relation: hal-04186753; https://hal.science/hal-04186753; https://hal.science/hal-04186753/document; https://hal.science/hal-04186753/file/petitx_modulo-3.pdf

Availability: https://hal.science/hal-04186753
https://hal.science/hal-04186753/document
https://hal.science/hal-04186753/file/petitx_modulo-3.pdf

6

Conference

Automation and fluidity of logistics transactions through blockchain technologies

Authors: Lambard, Maxence, Bertelle, Cyrille, Duvallet, Claude

Contributors: Equipe Réseaux d'interactions et Intelligence Collective (RI2C - LITIS), Laboratoire d'Informatique, du Traitement de l'Information et des Systèmes (LITIS), Université Le Havre Normandie (ULH), Normandie Université (NU)-Normandie Université (NU)-Université de Rouen Normandie (UNIROUEN), Normandie Université (NU)-Institut national des sciences appliquées Rouen Normandie (INSA Rouen Normandie), Institut National des Sciences Appliquées (INSA)-Normandie Université (NU)-Institut National des Sciences Appliquées (INSA)-Université Le Havre Normandie (ULH), Institut National des Sciences Appliquées (INSA)-Normandie Université (NU)-Institut National des Sciences Appliquées (INSA), Normandie Université (NU)

Superior Title: French Regional Conference of Complex Systems ; https://hal.science/hal-04550547 ; French Regional Conference of Complex Systems, May 2023, Le Havre, France

Subject Terms: [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]

Subject Geographic: Le Havre, France

Relation: hal-04550547; https://hal.science/hal-04550547; https://hal.science/hal-04550547/document; https://hal.science/hal-04550547/file/Affiche_FRCCS_2023.pdf

Availability: https://hal.science/hal-04550547
https://hal.science/hal-04550547/document
https://hal.science/hal-04550547/file/Affiche_FRCCS_2023.pdf

7

Book

Computational Thinking and Mathematics

Authors: Broley, Laura, Buteau, Chantal, Modeste, Simon, Rafalska, Maryna, Stephens, Max

Contributors: Brock University Canada, Institut Montpelliérain Alexander Grothendieck (IMAG), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM), Laboratoire d'Innovation et Numérique pour l'Education (LINE), Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Université Côte d'Azur (UniCA), Melbourne Graduate School of Education Melbourne (MGSE), University of Melbourne, Birgit Pepin, Ghislaine Gueudet, Jeff Choppin

Superior Title: Handbook of Digital Resources in Mathematics Education ; https://hal.science/hal-04536404 ; Birgit Pepin; Ghislaine Gueudet; Jeff Choppin. Handbook of Digital Resources in Mathematics Education, Springer International Publishing, pp.1-38, 2023, Springer International Handbooks of Education, 978-3-030-95060-6. ⟨10.1007/978-3-030-95060-6_12-1⟩

Subject Terms: Computational thinking, mathematics, curriculum, resources, teacher education, [MATH.MATH-HO]Mathematics [math]/History and Overview [math.HO], [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH], [SHS.EDU]Humanities and Social Sciences/Education

Relation: hal-04536404; https://hal.science/hal-04536404; https://hal.science/hal-04536404/document; https://hal.science/hal-04536404/file/Broley%20et%20al%20-%20CT%20and%20Math%20Chapter%20-%20preprint.pdf

Availability: https://doi.org/10.1007/978-3-030-95060-6_12-1
https://hal.science/hal-04536404
https://hal.science/hal-04536404/document
https://hal.science/hal-04536404/file/Broley%20et%20al%20-%20CT%20and%20Math%20Chapter%20-%20preprint.pdf

Zugang prüfen (DOI)

8

Conference

Multi-tasking resource-constrained agents reach higher accuracy when tasks overlap

Authors: Kalaitzakis, Andreas, Euzenat, Jérôme

Contributors: Evolution de la connaissance (MOEX ), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Grenoble (LIG), Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP ), Université Grenoble Alpes (UGA)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP ), Université Grenoble Alpes (UGA), Vadim Malvone, Aniello Murano, ANR-19-P3IA-0003,MIAI,MIAI @ Grenoble Alpes(2019)

Superior Title: Proc. 20th European conference on multi-agents systems (EUMAS) ; EUMAS 2023 - 20th European conference on multi-agents systems ; https://hal.science/hal-04351111 ; EUMAS 2023 - 20th European conference on multi-agents systems, Sep 2023, Napoli, Italy. pp.425-434, ⟨10.1007/978-3-031-43264-4_28⟩

Subject Terms: Cultural knowledge evolution, Knowledge transfer, Multi-tasking, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]

Subject Geographic: Napoli, Italy

Relation: hal-04351111; https://hal.science/hal-04351111; https://hal.science/hal-04351111/document; https://hal.science/hal-04351111/file/kalaitzakis2023b.pdf

Availability: https://doi.org/10.1007/978-3-031-43264-4_28
https://hal.science/hal-04351111
https://hal.science/hal-04351111/document
https://hal.science/hal-04351111/file/kalaitzakis2023b.pdf

Zugang prüfen (DOI)

9

Conference

Synthetic data generation and testing for the semantic segmentation of heritage buildings

Authors: Pellis, Eugénio, Masiero, Andrea, Grussenmeyer, Pierre, Betti, Michele, Tucci, Grazia

Contributors: Laboratoire des sciences de l'ingénieur, de l'informatique et de l'imagerie (ICube), École Nationale du Génie de l'Eau et de l'Environnement de Strasbourg (ENGEES)-Université de Strasbourg (UNISTRA)-Institut National des Sciences Appliquées - Strasbourg (INSA Strasbourg), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Les Hôpitaux Universitaires de Strasbourg (HUS)-Centre National de la Recherche Scientifique (CNRS)-Matériaux et Nanosciences Grand-Est (MNGE), Université de Strasbourg (UNISTRA)-Université de Haute-Alsace (UHA) Mulhouse - Colmar (Université de Haute-Alsace (UHA))-Institut National de la Santé et de la Recherche Médicale (INSERM)-Institut de Chimie du CNRS (INC)-Centre National de la Recherche Scientifique (CNRS)-Université de Strasbourg (UNISTRA)-Université de Haute-Alsace (UHA) Mulhouse - Colmar (Université de Haute-Alsace (UHA))-Institut National de la Santé et de la Recherche Médicale (INSERM)-Institut de Chimie du CNRS (INC)-Centre National de la Recherche Scientifique (CNRS)-Réseau nanophotonique et optique, Université de Strasbourg (UNISTRA)-Université de Haute-Alsace (UHA) Mulhouse - Colmar (Université de Haute-Alsace (UHA))-Centre National de la Recherche Scientifique (CNRS)-Université de Strasbourg (UNISTRA)-Centre National de la Recherche Scientifique (CNRS)

Superior Title: The International Archives of the Photogrammetry, Remote Sensing and Spatial Information Sciences ; 29th CIPA Symposium “Documenting, Understanding, Preserving Cultural Heritage: Humanities and Digital Technologies for Shaping the Future”, 25–30 June 2023, Florence, Italy ; https://hal.science/hal-04238115 ; 29th CIPA Symposium “Documenting, Understanding, Preserving Cultural Heritage: Humanities and Digital Technologies for Shaping the Future”, 25–30 June 2023, Florence, Italy, Jun 2023, Florence, Italy. ⟨10.5194/isprs-archives-XLVIII-M-2-2023-1189-2023⟩

Subject Terms: [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]

Subject Geographic: Florence, Italy

Time: Florence, Italy

Relation: hal-04238115; https://hal.science/hal-04238115; https://hal.science/hal-04238115/document; https://hal.science/hal-04238115/file/islandora_167965.pdf

Availability: https://doi.org/10.5194/isprs-archives-XLVIII-M-2-2023-1189-2023
https://hal.science/hal-04238115
https://hal.science/hal-04238115/document
https://hal.science/hal-04238115/file/islandora_167965.pdf

Zugang prüfen (DOI)

10

Conference

Fine-grained location prediction of non geo-tagged tweets

Authors: Abboud, Mohammad, Zeitouni, Karine, Taher, Yehia

Contributors: Données et algorithmes pour une ville intelligente et durable - DAVID (DAVID), Université de Versailles Saint-Quentin-en-Yvelines (UVSQ)

Superior Title: 5th ACM SIGSPATIAL International Workshop on AI for Geographic Knowledge Discovery, GeoAI 2022
SIGSPATIAL '22: The 30th International Conference on Advances in Geographic Information Systems
https://hal.science/hal-04278253
SIGSPATIAL '22: The 30th International Conference on Advances in Geographic Information Systems, Nov 2022, Seattle Washington, France. pp.82-91, ⟨10.1145/3557918.3565875⟩

Subject Terms: Spatial Databases Social Media Natural Language Processing Location Prediction Multi-view Learning, Spatial Databases, Social Media, Natural Language Processing, Location Prediction, Multi-view Learning, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-DB]Computer Science [cs]/Databases [cs.DB], [INFO.INFO-MC]Computer Science [cs]/Mobile Computing, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]

Subject Geographic: Seattle Washington, France

Time: Seattle Washington, France

Relation: hal-04278253; https://hal.science/hal-04278253; https://hal.science/hal-04278253/document; https://hal.science/hal-04278253/file/3557918.3565875.pdf

Availability: https://doi.org/10.1145/3557918.3565875
https://hal.science/hal-04278253
https://hal.science/hal-04278253/document
https://hal.science/hal-04278253/file/3557918.3565875.pdf

Zugang prüfen (DOI)

11

Conference

'They're not that hard to mitigate': What Cryptographic Library Developers Think About Timing Attacks

Authors: Jancar, Jan, Fourné, Marcel, de Almeida Braga, Daniel, Sabt, Mohamed, Schwabe, Peter, Barthe, Gilles, Fouque, Pierre-Alain, Acar, Yasemin

Contributors: Masaryk University Brno (MUNI), Max Planck Institute for Security and Privacy (MPI SP), Security & PrIvaCY (SPICY), SYSTÈMES LARGE ÉCHELLE (IRISA-D1), 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 Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT), Université de Rennes (UR), Centre National de la Recherche Scientifique (CNRS), Radboud University Nijmegen, Institute IMDEA Software Madrid, Applied Cryptography and Implementation Security (CAPSULE), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-SYSTÈMES LARGE ÉCHELLE (IRISA-D1), 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), The George Washington University (GW), Czech Science Foundation project GA2003426S, Red Hat Czech, Direction Générale de l’Armement (Pôle de Recherche CYBER), European Project: 805031,EPOQUE

Superior Title: 2022 IEEE Symposium on Security and Privacy (SP)
2022 IEEE Symposium on Security and Privacy
https://hal.science/hal-03694811
2022 IEEE Symposium on Security and Privacy, May 2022, San Francisco, United States. pp.755-772, ⟨10.1109/SP46214.2022.9833713⟩
https://www.ieee-security.org/TC/SP2022/

Subject Terms: constant-time, timing-attacks, cryptographic-library, survey, developer-survey, expert-survey, usable-security, human-factors, cryptography, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR], [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]

Subject Geographic: San Francisco, United States

Relation: info:eu-repo/grantAgreement//805031/EU/ERC Starting Grant 805031 (EPOQUE)/EPOQUE; hal-03694811; https://hal.science/hal-03694811; https://hal.science/hal-03694811/document; https://hal.science/hal-03694811/file/2022-sp-usec.pdf

Availability: https://doi.org/10.1109/SP46214.2022.9833713
https://hal.science/hal-03694811
https://hal.science/hal-03694811/document
https://hal.science/hal-03694811/file/2022-sp-usec.pdf

Zugang prüfen (DOI)

12

Book

From Hybrid Automata to DAE-Based Modeling

Authors: Benveniste, Albert, Caillaud, Benoît, Malandain, Mathias

Contributors: Modélisation hybride & conception par contrats pour les systèmes embarqués multi-physiques (HYCOMES), 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)

Superior Title: Principles of Systems Design ; https://inria.hal.science/hal-03921708 ; Principles of Systems Design, 13660, Springer Nature Switzerland, pp.3-20, 2022, Lecture Notes in Computer Science, ⟨10.1007/978-3-031-22337-2_1⟩

Subject Terms: Hybrid automata, multiphysics modeling, DAE, multimode DAE, structural analysis, index reduction, mDAE, HybridLang, Hybrid systems, Multimode systems, Nonstandard analysis, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH], [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation

Relation: hal-03921708; https://inria.hal.science/hal-03921708; https://inria.hal.science/hal-03921708/document; https://inria.hal.science/hal-03921708/file/main.pdf

Availability: https://doi.org/10.1007/978-3-031-22337-2_1
https://inria.hal.science/hal-03921708
https://inria.hal.science/hal-03921708/document
https://inria.hal.science/hal-03921708/file/main.pdf

Zugang prüfen (DOI)

13

Book

Model-Driven Engineering as the Interface for Tactical Operation Order of Mixed Robot/Human Platoons

Authors: Belloir, Nicolas, Buisson, Jérémy, Touseau, Lionel

Contributors: Centre de Recherche des Ecoles de St-Cyr Coëtquidan (CREC), Ecoles de St-Cyr Coëtquidan, Advanced Technologies for Operated Networks (ARCHWARE), 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 Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT), Réseaux et algorithmique opportunistes (CASA), RÉSEAUX, TÉLÉCOMMUNICATION ET SERVICES (IRISA-D2)

Superior Title: Developments and Advances in Defense and Security ; https://hal.science/hal-03418759 ; Developments and Advances in Defense and Security, 255, Springer Singapore, pp.205-214, 2022, Smart Innovation, Systems and Technologies, ⟨10.1007/978-981-16-4884-7_16⟩

Subject Terms: [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]

Relation: hal-03418759; https://hal.science/hal-03418759; https://hal.science/hal-03418759/document; https://hal.science/hal-03418759/file/main.pdf

Availability: https://doi.org/10.1007/978-981-16-4884-7_16
https://hal.science/hal-03418759
https://hal.science/hal-03418759/document
https://hal.science/hal-03418759/file/main.pdf

Zugang prüfen (DOI)

14

Conference

A Virtual Clustering for Data Dissemination in Vehicular Fog Computing

Authors: Roose, Philippe, Abdelatif, Sahraoui, Ghouzlen, Abdelhak

Contributors: Laboratoire Informatique de l'Université de Pau et des Pays de l'Adour (LIUPPA), Université de Pau et des Pays de l'Adour (UPPA)

Superior Title: PAIS ; https://univ-pau.hal.science/hal-03778715 ; PAIS, Oct 2022, Oum El Bouaghi, France

Subject Terms: Data dissemination, virtual cluster, dominant set, vehicular fog computing, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH], [INFO]Computer Science [cs]

Subject Geographic: Oum El Bouaghi, France

Relation: hal-03778715; https://univ-pau.hal.science/hal-03778715; https://univ-pau.hal.science/hal-03778715/document; https://univ-pau.hal.science/hal-03778715/file/PAIS_2022_paper_85.pdf

Availability: https://univ-pau.hal.science/hal-03778715
https://univ-pau.hal.science/hal-03778715/document
https://univ-pau.hal.science/hal-03778715/file/PAIS_2022_paper_85.pdf

15

Conference

Avoid One's Doom: Finding Cliff-Edge Configurations in Petri Nets

Authors: Karlo Aguirre-Samboní, Giann, Haar, Stefan, Paulevé, Loïc, Schwoon, Stefan, Würdemann, Nick

Contributors: Modeling and Exploitation of Interaction and Concurrency (MEXICO), 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), Centre National de la Recherche Scientifique (CNRS), 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), Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), Fachbereich Informatik - Oldenburg, Carl Von Ossietzky Universität Oldenburg = Carl von Ossietzky University of Oldenburg (OFFIS), DIGICOSME grant ESCAPE , DIGICOSME RD 242-ESCAPE-15203, ANR-20-CE45-0001,BNeDiction,Ensembles de Réseaux Booléens Prédictifs(2020)

Superior Title: GandALF 2022 - Games, Automata, Logics, and Formal Verification ; https://inria.hal.science/hal-03773855 ; GandALF 2022 - Games, Automata, Logics, and Formal Verification, Sep 2022, Madrid, Spain. ⟨10.4204/EPTCS.370.12⟩ ; https://gandalf2022.software.imdea.org/

Subject Terms: ACM: G.: Mathematics of Computing, ACM: F.: Theory of Computation, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH], [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]

Subject Geographic: Spain

Time: Madrid, Spain

Relation: hal-03773855; https://inria.hal.science/hal-03773855; https://inria.hal.science/hal-03773855/document; https://inria.hal.science/hal-03773855/file/Gandalf2022%282%29.pdf

Availability: https://doi.org/10.4204/EPTCS.370.12
https://inria.hal.science/hal-03773855
https://inria.hal.science/hal-03773855/document
https://inria.hal.science/hal-03773855/file/Gandalf2022%282%29.pdf

Zugang prüfen (DOI)

16

Conference

Modular Analysis of Tree-Topology Models

Authors: Arias, Jaime, Knapik, Michał, Penczek, Wojciech, Petrucci, Laure

Contributors: Centre National de la Recherche Scientifique (CNRS), Laboratoire d'Informatique de Paris-Nord (LIPN), Centre National de la Recherche Scientifique (CNRS)-Université Sorbonne Paris Nord, Université Sorbonne Paris Nord, Institute of Computer Science Warszawa, Polska Akademia Nauk = Polish Academy of Sciences = Académie polonaise des sciences (PAN)

Superior Title: Formal Methods and Software Engineering, ICFEM ; https://hal.science/hal-03811772 ; Formal Methods and Software Engineering, ICFEM, Oct 2022, Madrid, Spain. pp.36-53, ⟨10.1007/978-3-031-17244-1_3⟩

Subject Terms: [INFO]Computer Science [cs], [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]

Subject Geographic: Spain

Time: Madrid, Spain

Relation: hal-03811772; https://hal.science/hal-03811772; https://hal.science/hal-03811772/document; https://hal.science/hal-03811772/file/liveTrees.pdf

Availability: https://doi.org/10.1007/978-3-031-17244-1_3
https://hal.science/hal-03811772
https://hal.science/hal-03811772/document
https://hal.science/hal-03811772/file/liveTrees.pdf

Zugang prüfen (DOI)

17

Conference

Perception des Méthodes Agiles par les Développeurs Aujourd'hui

Authors: Florian, Gauthier, Deneckére, Rébecca

Contributors: Centre de Recherche en Informatique de Paris 1 (CRI), Université Paris 1 Panthéon-Sorbonne (UP1)

Superior Title: INFORSID ; https://hal.science/hal-03877534 ; INFORSID, May 2022, Dijon, France. ⟨10.3166/RCMA.25.1-n⟩

Subject Terms: Questionnaire, Développeur, Méthode Agile Survey, Developer, Agile Method, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH], [INFO]Computer Science [cs]

Subject Geographic: Dijon, France

Relation: hal-03877534; https://hal.science/hal-03877534; https://hal.science/hal-03877534/document; https://hal.science/hal-03877534/file/inforsid%20florian%20v3.pdf

Availability: https://doi.org/10.3166/RCMA.25.1-n
https://hal.science/hal-03877534
https://hal.science/hal-03877534/document
https://hal.science/hal-03877534/file/inforsid%20florian%20v3.pdf

Zugang prüfen (DOI)

18

Conference

Total Cost Modeling for VNF Based on Licenses and Resources

Authors: Bista, Ghoshana, Caron, Eddy, Vion, Anne-Lucie

Contributors: Orange S.A. Bordeaux, Algorithms and Software Architectures for Distributed and HPC Platforms (AVALON), Laboratoire de l'Informatique du Parallélisme (LIP), École normale supérieure de Lyon (ENS de Lyon)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure de Lyon (ENS de Lyon)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Inria Lyon, Institut National de Recherche en Informatique et en Automatique (Inria)

Superior Title: CLOSER 2022 - 12th International Conference on Cloud Computing and Services Science ; https://hal.science/hal-03660857 ; CLOSER 2022 - 12th International Conference on Cloud Computing and Services Science, Apr 2022, Virtual, Portugal

Subject Terms: License Cost, Simultaneous Active Users, Software licensing, VNF, Software Cost, Cloudification, Softwarization, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]

Subject Geographic: Virtual, Portugal

Relation: hal-03660857; https://hal.science/hal-03660857; https://hal.science/hal-03660857/document; https://hal.science/hal-03660857/file/CLOSER2022.pdf

Availability: https://hal.science/hal-03660857
https://hal.science/hal-03660857/document
https://hal.science/hal-03660857/file/CLOSER2022.pdf

19

Conference

How Libraries Evolve: A Survey of Two Industrial Companies and an Open-Source Community

Authors: Zaitsev, Oleksandr, Ducasse, Stéphane, Anquetil, Nicolas, Thiefaine, Arnaud

Contributors: Arolla, Centrale Lille, Centre National de la Recherche Scientifique (CNRS), Analyses and Languages Constructs for Object-Oriented Application Evolution (RMOD), Inria Lille - Nord Europe, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 (CRIStAL), Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS)-Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS), Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 (CRIStAL), Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS)

Superior Title: 29th Asia-Pacific Software Engineering Conference (APSEC 2022)
https://hal.science/hal-03853493
29th Asia-Pacific Software Engineering Conference (APSEC 2022), Dec 2022, Virtual, Japan

Subject Terms: [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]

Subject Geographic: Virtual, Japan

Relation: hal-03853493; https://hal.science/hal-03853493; https://hal.science/hal-03853493/document; https://hal.science/hal-03853493/file/main.pdf

Availability: https://hal.science/hal-03853493
https://hal.science/hal-03853493/document
https://hal.science/hal-03853493/file/main.pdf

20

Report

BY-COVID D2.2: Data Access and Transfer across research domains and jurisdictions

Authors: Cortada Aina, Jené, Gormanns, Philipp, Furlani, Andrea, van Dam, Iris, Portell-Silva, Laura, Belien, Jeroen, David, Romain, Navest, Robin, Heinonen, Matti, Tuominen, Markus, Kondyli, Dimitra, Freeberg, Mallory

Contributors: EMBL-CRG (EMBL-CRG), EMBL, INFRAFRONTIER GmbH Neuherberg, Sciensano Bruxelles, Réseau International des Instituts Pasteur (RIIP), Biotechnologie et signalisation cellulaire (BSC), Université de Strasbourg (UNISTRA)-Centre National de la Recherche Scientifique (CNRS), ELIXIR Hub Cambridge, European Research Infrastructure on Highly Pathogenic Agents (ERINHA-AISBL), Lygature, Consortium of European Social Science Data Archives (CESSDA ERIC), European Bioinformatics Institute Hinxton (EMBL-EBI), EMBL Heidelberg, BBMRI-ERIC, EMBL-EBI, INFRAFRONTIER, Sciensano, BSC, ELIXIR-NL/VUmc, ERINHA, CESSDA, European Project: 101046203,BY-COVID

Superior Title: https://hal.science/hal-04149733 ; 2.2, BBMRI-ERIC; EMBL-EBI; INFRAFRONTIER; Sciensano; BSC; ELIXIR-NL/VUmc; ERINHA; Lygature; CESSDA. 2023.

Subject Terms: [INFO.INFO-BI]Computer Science [cs]/Bioinformatics [q-bio.QM], [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]

Relation: info:eu-repo/grantAgreement//101046203/EU/European Commission: BY-COVID - Beyond COVID (101046203)/BY-COVID; Report N°: 2.2; hal-04149733; https://hal.science/hal-04149733; https://hal.science/hal-04149733/document; https://hal.science/hal-04149733/file/BY-COVID_D2.2_Data_Access_and_Transfer_across_research_domains_and_jurisdictions.pdf

Availability: https://doi.org/10.5281/zenodo.8101848
https://hal.science/hal-04149733
https://hal.science/hal-04149733/document
https://hal.science/hal-04149733/file/BY-COVID_D2.2_Data_Access_and_Transfer_across_research_domains_and_jurisdictions.pdf

Zugang prüfen (DOI)

Narrow Search