Contributors: Laboratoire d'Informatique de Paris-Nord (LIPN), Centre National de la Recherche Scientifique (CNRS)-Université Sorbonne Paris Nord, Groupe de recherche rouennais en informatique fondamentale (GR2IF), Université de Rouen Normandie (UNIROUEN), Normandie Université (NU)-Normandie Université (NU), University of Science and Technology of Hanoi (USTH)
Superior Title: https://hal.science/hal-04565261 ; 2024.
Subject Terms: Lie algebras, Modules, Enveloping algebras, Normal forms, Linear Automata, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
Relation: hal-04565261; https://hal.science/hal-04565261; https://hal.science/hal-04565261v2/document; https://hal.science/hal-04565261v2/file/MOQ-NC_v7.pdf
Authors: Gamblin, Sebastien, Niveau, Alexandre, Bouzid, Maroua
Contributors: Equipe MAD - Laboratoire GREYC - UMR6072, Groupe de Recherche en Informatique, Image et Instrumentation de Caen (GREYC), Université de Caen Normandie (UNICAEN), Normandie Université (NU)-Normandie Université (NU)-École Nationale Supérieure d'Ingénieurs de Caen (ENSICAEN), Normandie Université (NU)-Centre National de la Recherche Scientifique (CNRS)-Université de Caen Normandie (UNICAEN), Normandie Université (NU)-Centre National de la Recherche Scientifique (CNRS), ACKNOWLEDGMENTSThis work has been partly supported by the Région Normandie, theEuropean Regional Development Fund, and the PING/ACK projectof the French National Agency for Research (ANR-18-CE40-0011).
Superior Title: Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2022) ; 21st International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2022) ; https://hal.science/hal-04524135 ; 21st International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2022), May 2022, Auckland (Nouvelle-Zélande), New Zealand. ⟨10.5555/3535850.3535901⟩
Subject Terms: Knowledge Representation Probabilistic Dynamic Epistemic Logic Symbolic Model Checking Hanabi Decision Diagrams ACM Reference, Knowledge Representation, Probabilistic Dynamic Epistemic Logic, Symbolic Model Checking, Hanabi, Decision Diagrams, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Subject Geographic: Auckland (Nouvelle-Zélande), New Zealand
Relation: hal-04524135; https://hal.science/hal-04524135; https://hal.science/hal-04524135/document; https://hal.science/hal-04524135/file/AAMAS22_GNB.pdf
Authors: Wehrung, Friedrich
Contributors: Laboratoire de Mathématiques Nicolas Oresme (LMNO), Université de Caen Normandie (UNICAEN), Normandie Université (NU)-Normandie Université (NU)-Centre National de la Recherche Scientifique (CNRS)
Superior Title: ISSN: 0955-792X.
Subject Terms: real spectrum, ring, L-group, lattice, colimit, functor, continuous, category, accessible, projective, infinitely deep language, infinitary language, vocabulary, First-order, condensate, 03C75, 18C35, 03C40, 06D35, 16D70, 16E50, 14P10, [MATH.MATH-CT]Mathematics [math]/Category Theory [math.CT], [MATH.MATH-LO]Mathematics [math]/Logic [math.LO]
Relation: hal-03580184; https://hal.science/hal-03580184; https://hal.science/hal-03580184v3/document; https://hal.science/hal-03580184v3/file/AccProj.pdf
Authors: Leturc, Christopher, Bonnet, Grégory
Contributors: Web-Instrumented Man-Machine Interactions, Communities and Semantics (WIMMICS), 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)-Scalable and Pervasive softwARe and Knowledge Systems (Laboratoire I3S - SPARKS), Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA)-Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA)-Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA), Equipe MAD - Laboratoire GREYC - UMR6072, Groupe de Recherche en Informatique, Image et Instrumentation de Caen (GREYC), Université de Caen Normandie (UNICAEN), Normandie Université (NU)-Normandie Université (NU)-École Nationale Supérieure d'Ingénieurs de Caen (ENSICAEN), Normandie Université (NU)-Centre National de la Recherche Scientifique (CNRS)-Université de Caen Normandie (UNICAEN), Normandie Université (NU)-Centre National de la Recherche Scientifique (CNRS)
Superior Title: ISSN: 1958-5780.
Subject Terms: Deception, Manipulation, Modal logics, Neighborhood semantics, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.4: Knowledge Representation Formalisms and Methods/I.2.4.1: Modal logic, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.11: Distributed Artificial Intelligence/I.2.11.1: Intelligent agents, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Relation: hal-03793389; https://hal.science/hal-03793389; https://hal.science/hal-03793389/document; https://hal.science/hal-03793389/file/Reasoning_about_Manipulation_in_Multi_Agent_Systems_Author_Version.pdf
Authors: Leturc, Christopher, Bonnet, Grégory
Contributors: Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (1965 - 2019) (UNS)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UniCA), Université de Caen Normandie (UNICAEN), Normandie Université (NU), École Nationale Supérieure d'Ingénieurs de Caen (ENSICAEN)
Superior Title: Journées Francophones Planification, Décision et Apprentissage ; https://hal.science/hal-03819902 ; Journées Francophones Planification, Décision et Apprentissage, Jun 2022, Saint-Etienne, France. pp.113-120
Subject Terms: Computational ethics, Modal logic, Argumentation, Éthique artificielle, Logique modale, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Subject Geographic: Saint-Etienne, France
Relation: hal-03819902; https://hal.science/hal-03819902; https://hal.science/hal-03819902/document; https://hal.science/hal-03819902/file/Leturc_Bonnet_2022.pdf
Authors: Aiello, S, Albert, A, Garre, S. Alves, Aly, Z, Ambrosone, A, Ameli, F, Andre, M, Androutsou, E, Anghinolfi, M, Anguita, M, Aphecetche, L, Ardid, M, Ardid, S, Atmani, H, Aublin, J, Bagatelas, C, Bailly-Salins, L, Bardačová, Z, Baret, B, Du Pree, S. Basegmez, Becherini, Y, Bendahman, M, Benfenati, F, Benhassi, M, Benoit, D.M, Berbee, E, Bertin, V, van Beveren, V, Biagi, S, Boettcher, M, Bonanni, D, Boumaaza, J, Bouta, M, Bouwhuis, M, Bozza, C, Bozza, R.M, Brânzaş, H, Bretaudeau, F, Bruijn, R, Brunner, J, Bruno, R, Buis, E, Buompane, R, Busto, J, Caiffi, B, Calvo, D, Campion, S, Capone, A, Carenini, F, Carretero, V, Cartraud, T, Castaldi, P, Cecchini, V, Celli, S, Cerisy, L, Chabab, M, Chadolias, M, Chen, A, Cherubini, S, Chiarusi, T, Circella, M, Cocimano, R, Coelho, J.A.B, Coleiro, A, Coniglione, R, Coyle, P, Creusot, A, Cruz, A, Cuttone, G, Dallier, R, Darras, Y, de Benedittis, A, de Martino, B, Decoene, V, del Burgo, R, Di Mauro, L.S, Di Palma, I, Díaz, A.F, Diego-Tortosa, D, Distefano, C, Domi, A, Donzaud, C, Dornic, D, Dörr, M, Drakopoulou, E, Drouhin, D, Dvornický, R, Eberl, T, Eckerová, E, Eddymaoui, A, van Eeden, T, Eff, M, van Eijk, D, Bojaddaini, I. El, El Hedri, S, Enzenhöfer, A, Ferrara, G, Filipović, M.D, Filippini, F, Fusco, L.A, Gabella, O, Gabriel, J, Gagliardini, S, Gal, T, Méndez, J. García, Garcia Soto, A, Oliver, C. Gatius, Geißelbrecht, N, Ghaddari, H, Gialanella, L, Gibson, B.K, Giorgio, E, Girardi, A, Goos, I, Goupilliere, D, Gozzini, S.R, Gracia, R, Graf, K, Guidi, C, Guillon, B, Gutiérrez, M, van Haren, H, Heijboer, A, Hekalo, A, Hennig, L, Hernández-Rey, J.J, Huang, F, Ibnsalih, W. Idrissi, Illuminati, G, James, C.W, Jansweijer, P, de Jong, M, de Jong, P, Jung, B.J, Kalaczyński, P, Kalekin, O, Katz, U.F, Khan Chowdhury, N.R, Khatun, A, Kistauri, G, Kopper, C, Kouchner, A, Kulikovskiy, V, Kvatadze, R, Labalme, M, Lahmann, R, Larosa, G, Lastoria, C, Lazo, A, Le Stum, S, Lehaut, G, Leonora, E, Lessing, N, Levi, G, Clark, M. Lindsey, Longhitano, F, Majumdar, J, Malerba, L, Mamedov, F, Mańczak, J, Manfreda, A, Marconi, M, Margiotta, A, Marinelli, A, Markou, C, Martin, L, Martínez-Mora, J.A, Marzaioli, F, Mastrodicasa, M, Mastroianni, S, Miccichè, S, Miele, G, Migliozzi, P, Migneco, E, Minutoli, S, Mitsou, M.L, Mollo, C.M, Morales-Gallegos, L, Morley-Wong, C, Mosbrugger, A, Moussa, A, Mozun Mateo, I, Muller, R, Musone, M.R, Musumeci, M, Nauta, L, Navas, S, Nayerhoda, A, Nicolau, C.A, Nkosi, B, Fearraigh, B.Ó, Oliviero, V, Orlando, A, Oukacha, E, Paesani, D, Palacios González, J, Papalashvili, G, Gomez, E.J. Pastor, Păun, A.M, Păvălaş, G.E, Martínez, S. Peña, Perrin-Terrin, M, Perronnel, J, Pestel, V, Pestes, R, Piattelli, P, Poirè, C, Popa, V, Pradier, T, Pulvirenti, S, Quéméner, G, Quiroz, C, Rahaman, U, Randazzo, N, Razzaque, S, Rea, I.C, Real, D, Reck, S, Riccobene, G, Robinson, J, Romanov, A, Saina, A, Salesa Greus, F, Samtleben, D.F.E, Sánchez Losa, A, Sanfilippo, S, Sanguineti, M, Santonastaso, C, Santonocito, D, Sapienza, P, Scarpetta, Y, Schnabel, J, Schneider, M.F, Schumann, J, Schutte, H.M, Seneca, J, Setter, B, Sgura, I, Shanidze, R, Shitov, Y, Šimkovic, F, Simonelli, A, Sinopoulou, A, Smirnov, M.V, Spisso, B, Spurio, M, Stavropoulos, D, Štekl, I, Taiuti, M, Tayalati, Y, Tedjditi, H, Thiersen, H, Melo, I. Tosta E, Trocme, B, Tsagkli, S, Tsourapis, V, Tzamariudaki, E, Vacheret, A, Valsecchi, V, van Elewyck, V, Vannoye, G, Vasileiadis, G, de Sola, F. Vazquez, Verilhac, C, Veutro, A, Viola, S, Vivolo, D, Warnhofer, H, Wilms, J, de Wolf, E, Yepes-Ramirez, H, Zarpapis, G, Zavatarelli, S, Zegarelli, A, Zito, D, Zornoza, J.D, Zúñiga, J, Zywucka, N
Contributors: Institut Pluridisciplinaire Hubert Curien (IPHC), Université de Strasbourg (UNISTRA)-Université de Haute-Alsace (UHA) Mulhouse - Colmar (Université de Haute-Alsace (UHA))-Institut National de Physique Nucléaire et de Physique des Particules du CNRS (IN2P3)-Centre National de la Recherche Scientifique (CNRS), Université de Haute-Alsace (UHA) Mulhouse - Colmar (Université de Haute-Alsace (UHA)), Centre de Physique des Particules de Marseille (CPPM), Aix Marseille Université (AMU)-Institut National de Physique Nucléaire et de Physique des Particules du CNRS (IN2P3)-Centre National de la Recherche Scientifique (CNRS), Laboratoire de physique subatomique et des technologies associées (SUBATECH), Institut National de Physique Nucléaire et de Physique des Particules du CNRS (IN2P3)-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é - 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)-Nantes Université (Nantes Univ), AstroParticule et Cosmologie (APC (UMR_7164)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Institut National de Physique Nucléaire et de Physique des Particules du CNRS (IN2P3)-Observatoire de Paris, Université Paris Sciences et Lettres (PSL)-Université Paris Sciences et Lettres (PSL)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité), Laboratoire de physique corpusculaire de Caen (LPCC), Université de Caen Normandie (UNICAEN), Normandie Université (NU)-Normandie Université (NU)-École Nationale Supérieure d'Ingénieurs de Caen (ENSICAEN), Normandie Université (NU)-Institut National de Physique Nucléaire et de Physique des Particules du CNRS (IN2P3)-Centre National de la Recherche Scientifique (CNRS), Laboratoire Univers et Particules de Montpellier (LUPM), Institut National de Physique Nucléaire et de Physique des Particules du CNRS (IN2P3)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM), Laboratoire de Physique de Clermont (LPC), Institut National de Physique Nucléaire et de Physique des Particules du CNRS (IN2P3)-Centre National de la Recherche Scientifique (CNRS)-Université Clermont Auvergne (UCA), 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.), Institut National de Physique Nucléaire et de Physique des Particules du CNRS (IN2P3), KM3NeT
Superior Title: Comput.Phys.Commun. ; https://hal.science/hal-04181856 ; Comput.Phys.Commun., 2024, 296, pp.109036. ⟨10.1016/j.cpc.2023.109036⟩
Subject Terms: radiation, Cherenkov, neutrino, detector, mass, particle source, interaction, programming, photomultiplier, hardware, optical, KM3NeT, tube, electronics, buildings, network, charged particle, sphere, glass, logic, [PHYS.PHYS.PHYS-INS-DET]Physics [physics]/Physics [physics]/Instrumentation and Detectors [physics.ins-det]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2308.01032; hal-04181856; https://hal.science/hal-04181856; ARXIV: 2308.01032; INSPIRE: 2684756
Authors: Grente, Théo, Grandjean, Etienne
Contributors: Equipe AMACC - Laboratoire GREYC - UMR6072, Groupe de Recherche en Informatique, Image et Instrumentation de Caen (GREYC), Université de Caen Normandie (UNICAEN), Normandie Université (NU)-Normandie Université (NU)-École Nationale Supérieure d'Ingénieurs de Caen (ENSICAEN), Normandie Université (NU)-Centre National de la Recherche Scientifique (CNRS)-Université de Caen Normandie (UNICAEN), Normandie Université (NU)-Centre National de la Recherche Scientifique (CNRS), Alonso Castillo-Ramirez, Pierre Guillon, Kévin Perrot, ANR-18-CE40-0011,PING-ACK,Pré-traitement d'informations pour la résolution de tâches complexes / Compilation avancée de connaissances(2018)
Superior Title: Open Access Series in Informatics (OASIcs) ; AUTOMATA ; https://hal.science/hal-03167529 ; AUTOMATA, Jul 2021, Marseille, France. ⟨10.4230/OASIcs.AUTOMATA.2021.8⟩ ; https://drops.dagstuhl.de/opus/portals/oasics/index.php?semnr=16194
Subject Terms: Computational complexity, Real-time, One-way/two-way communication, Grid-circuit, Unary language, Descriptive complexity, Existential second-order logic, Horn formula, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]
Relation: hal-03167529; https://hal.science/hal-03167529; https://hal.science/hal-03167529v2/document; https://hal.science/hal-03167529v2/file/OASIcs-AUTOMATA-2021-8.pdf
Authors: Barbier, Antoine
Contributors: Centre d’études des transformations des activités physiques et sportives (CETAPS), Université de Rouen Normandie (UNIROUEN), Normandie Université (NU)-Normandie Université (NU)-Institut de Recherche Interdisciplinaire Homme et Société (IRIHS), Normandie Université (NU)-Normandie Université (NU)-Université de Rouen Normandie (UNIROUEN), Normandie Université (NU), Normandie Université, Nadine Dermit-Richard, Barbara Evrard
Superior Title: https://theses.hal.science/tel-04525168 ; Education. Normandie Université, 2024. Français. ⟨NNT : 2024NORMR003⟩.
Subject Terms: Sports facilities, Aquatic centres, Public-private collaboration, Works concession, Public service delegation, Institutional logics, Institutional complexity, Organisational adaptations, Équipements sportifs, Centres aquatiques, Collaboration public-privé, Concession de travaux, Délégation de service public, Logiques institutionnelles, Complexité institutionnelle, Adaptations organisationnelles, [SHS.EDU]Humanities and Social Sciences/Education
Relation: NNT: 2024NORMR003; tel-04525168; https://theses.hal.science/tel-04525168; https://theses.hal.science/tel-04525168/document; https://theses.hal.science/tel-04525168/file/these_barbier_antoine.pdf
Authors: Alayrangues, Sylvie, Baudon, Olivier, Beffara, Emmanuel, Charpentier, Ronan, Daniel, Sébastien, Declercq, Christophe, Delay, Emmanuel, Grimaud, Aslı, Hoarau, Sébastien, Héam, Anne, Marquet, Philippe, Masseron, Jean-Christophe, Meyer, Antoine, More, Malika, Nény, Florence, Prouteau, Cécile, Vincent, Jean-Marc, Volte, Emmanuel, Weibel, Nathalie
Contributors: IREM de Poitiers, Université de Poitiers = University of Poitiers (UP), XLIM (XLIM), Université de Limoges (UNILIM)-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), IREM Aquitaine, Université de Bordeaux (UB), Institut de Recherche sur l’Enseignement des Mathématiques Grenoble (IREM), Institut de Recherche sur l'Enseignement des Mathématiques CAEN (IREM), Université de Caen Normandie (UNICAEN), Normandie Université (NU)-Normandie Université (NU), Institut de Recherche sur l’Enseignement des Mathématiques Lorraine (IREM), Laboratoire d'Informatique et de Mathématiques (LIM), Université de La Réunion (UR), IREM de Clermont-Ferrand, Université de Clermont-Ferrand, IREM de Lille, Université de Lille, Institut de recherche sur l'enseignement des mathématiques et de l'informatique LA RÉUNION (IREMI), IREM de Franche-Comté, IREM de Paris, Université Paris Cité (UPCité), Laboratoire d'Informatique Gaspard-Monge (LIGM), École des Ponts ParisTech (ENPC)-Centre National de la Recherche Scientifique (CNRS)-Université Gustave Eiffel, Institut de recherche sur l'enseignement des mathématiques d'Aix-Marseille (IREM), Aix Marseille Université (AMU), Académie de Paris, Université Grenoble Alpes (UGA), Performance analysis and optimization of LARge Infrastructures and Systems (POLARIS), 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 ), Institut National de Recherche en Informatique et en Automatique (Inria)
Superior Title: https://hal.science/hal-03812698 ; 2022.
Subject Terms: logic, programming, control structure, variable, boolean, booléen, logique, programmation, structure de contrôle, [INFO]Computer Science [cs], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [SHS.EDU]Humanities and Social Sciences/Education
Relation: hal-03812698; https://hal.science/hal-03812698; https://hal.science/hal-03812698/document; https://hal.science/hal-03812698/file/bool-final.pdf
Authors: Durand-Guerrier, Viviane, Mesnil, Zoé
Contributors: Institut Montpelliérain Alexander Grothendieck (IMAG), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM), Laboratoire de Didactique André Revuz (LDAR (URP_4434)), Université de Rouen Normandie (UNIROUEN), Normandie Université (NU)-Normandie Université (NU)-Université de Lille-Université Paris-Est Créteil Val-de-Marne - Paris 12 (UPEC UP12)-Université Paris Cité (UPCité)-CY Cergy Paris Université (CY)
Superior Title: Épijournal de Didactique et Epistémologie des Mathématiques pour l’Enseignement Supérieur ; https://hal.science/hal-03251270 ; Épijournal de Didactique et Epistémologie des Mathématiques pour l’Enseignement Supérieur, 2022, 1 | 2022, ⟨10.46298/epidemes-7550⟩
Subject Terms: Logic, implication, operational invariant, syntax, semantics, [MATH.MATH-HO]Mathematics [math]/History and Overview [math.HO]
Relation: hal-03251270; https://hal.science/hal-03251270; https://hal.science/hal-03251270v4/document; https://hal.science/hal-03251270v4/file/MESNIL_DURAND%20GUERRIER_Soumission%20EPIDEMES_final.pdf
Contributors: Equipe SAFE - Laboratoire GREYC - UMR6072, Groupe de Recherche en Informatique, Image et Instrumentation de Caen (GREYC), Université de Caen Normandie (UNICAEN), Normandie Université (NU)-Normandie Université (NU)-École Nationale Supérieure d'Ingénieurs de Caen (ENSICAEN), Normandie Université (NU)-Centre National de la Recherche Scientifique (CNRS)-Université de Caen Normandie (UNICAEN), Normandie Université (NU)-Centre National de la Recherche Scientifique (CNRS), Orange Labs Caen, Orange Labs
Superior Title: International Symposium on Integrated Network Management ; https://normandie-univ.hal.science/hal-03233878 ; International Symposium on Integrated Network Management, May 2021, Bordeaux, France
Subject Terms: IoT Security, Service Placement Problem, Ontology, Monadic Existential logic of the Second Order, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]
Relation: hal-03233878; https://normandie-univ.hal.science/hal-03233878; https://normandie-univ.hal.science/hal-03233878/document; https://normandie-univ.hal.science/hal-03233878/file/PosterPaper_IM_secondCut.pdf
Authors: Gamblin, Sébastien, Niveau, Alexandre, Bouzid, Maroua
Contributors: Equipe MAD - Laboratoire GREYC - UMR6072, Groupe de Recherche en Informatique, Image et Instrumentation de Caen (GREYC), Université de Caen Normandie (UNICAEN), Normandie Université (NU)-Normandie Université (NU)-École Nationale Supérieure d'Ingénieurs de Caen (ENSICAEN), Normandie Université (NU)-Centre National de la Recherche Scientifique (CNRS)-Université de Caen Normandie (UNICAEN), Normandie Université (NU)-Centre National de la Recherche Scientifique (CNRS)
Superior Title: Journées Francophones Planification, Décision et Apprentissage (PFIA) 2021 ; https://hal.science/hal-03664513 ; Journées Francophones Planification, Décision et Apprentissage (PFIA) 2021, Jun 2021, Bordeaux, France
Subject Terms: Planification, Kripke structures, PDEL, Probabilistic dynamic epistemic logic, Symbolic model checking, Hanabi, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic, [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC], [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]
Relation: hal-03664513; https://hal.science/hal-03664513; https://hal.science/hal-03664513/document; https://hal.science/hal-03664513/file/article_jfpda.pdf
Authors: Scheck, Sergej, Niveau, Alexandre, Zanuttini, Bruno
Contributors: Equipe MAD - Laboratoire GREYC - UMR6072, Groupe de Recherche en Informatique, Image et Instrumentation de Caen (GREYC), Université de Caen Normandie (UNICAEN), Normandie Université (NU)-Normandie Université (NU)-École Nationale Supérieure d'Ingénieurs de Caen (ENSICAEN), Normandie Université (NU)-Centre National de la Recherche Scientifique (CNRS)-Université de Caen Normandie (UNICAEN), Normandie Université (NU)-Centre National de la Recherche Scientifique (CNRS), ANR-18-CE40-0011,PING-ACK,Pré-traitement d'informations pour la résolution de tâches complexes / Compilation avancée de connaissances(2018)
Superior Title: actes_JFPDA_CH_PFIA2020 ; Journées Francophones sur la Planification, la Décision et l’Apprentissage pour la conduite de systèmes (JFPDA 2020) ; https://hal.science/hal-02942877 ; Journées Francophones sur la Planification, la Décision et l’Apprentissage pour la conduite de systèmes (JFPDA 2020), Jul 2020, Angers, France
Subject Terms: action theories, planning domain definition language, dynamic logic of propositional assignments, knowledge compilation, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Relation: hal-02942877; https://hal.science/hal-02942877; https://hal.science/hal-02942877/document; https://hal.science/hal-02942877/file/jfpda2020.pdf
Contributors: Sciences et Société, Historicité, Éducation et Pratiques (EA S2HEP), École normale supérieure de Lyon (ENS de Lyon)-Université Claude Bernard Lyon 1 (UCBL), Université de Lyon-Université de Lyon, Maths à Modeler (SFR MAM), Université Grenoble Alpes 2016-2019 (UGA 2016-2019 ), Laboratoire de Didactique André Revuz (LDAR (URP_4434)), Université de Rouen Normandie (UNIROUEN), Normandie Université (NU)-Normandie Université (NU)-Université de Lille-Université Paris-Est Créteil Val-de-Marne - Paris 12 (UPEC UP12)-Université Paris Cité (UPCité)-CY Cergy Paris Université (CY), Institut Fourier (IF), Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes (UGA), Université de Carthage, Université de Montpellier
Superior Title: INDRUM 2020 ; https://hal.science/hal-03114042 ; INDRUM 2020, Université de Carthage, Université de Montpellier, Sep 2020, Cyberspace (virtually from Bizerte), Tunisie
Subject Terms: Teaching and learning of logic, reasoning and proof, Teaching and learning of specific topics in university mathematics, syntax, semantics, [SHS.EDU]Humanities and Social Sciences/Education
Subject Geographic: Tunisia
Time: Cyberspace (virtually from Bizerte), Tunisia
Relation: hal-03114042; https://hal.science/hal-03114042; https://hal.science/hal-03114042/document; https://hal.science/hal-03114042/file/INDRUM2020_Deloustal_Gandit_Mesnil_al_version_revisee.pdf
Authors: Niskanen, K., Germanicus, Rosine Coq, Michez, A., Wrobel, Frédéric, Boch, Jérôme, Saigné, Frédéric, Touboul, Antoine
Contributors: Institut d’Electronique et des Systèmes (IES), Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS), Radiations et composants (RADIAC), Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS), Laboratoire de cristallographie et sciences des matériaux (CRISMAT), Université de Caen Normandie (UNICAEN), Normandie Université (NU)-Normandie Université (NU)-École Nationale Supérieure d'Ingénieurs de Caen (ENSICAEN), Normandie Université (NU)-Institut de Chimie - CNRS Chimie (INC-CNRS)-Centre National de la Recherche Scientifique (CNRS)-Institut de Recherche sur les Matériaux Avancés (IRMA), Normandie Université (NU)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-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)-Centre National de la Recherche Scientifique (CNRS)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Université de Rouen Normandie (UNIROUEN), Institut National des Sciences Appliquées (INSA)-Normandie Université (NU)-Institut National des Sciences Appliquées (INSA)-Centre National de la Recherche Scientifique (CNRS)
Superior Title: ISSN: 0018-9499.
Subject Terms: Logic gates, Radiation effects, Neutrons, MOSFET, Sensivity, Silicon carbide, Maximum likelihood estimation, Failure analysis, Power MOSFET, Radiation hardening (electronics), Semiconductor device reliability, Semiconductor device testing, Silicon compounds, Technology CAD (electronics), Wide band gap semiconductors, Single-event burnout, [SPI.TRON]Engineering Sciences [physics]/Electronics
Relation: hal-03341565; https://hal.science/hal-03341565; https://hal.science/hal-03341565/document; https://hal.science/hal-03341565/file/Niskanen_al_2021.pdf
Authors: Vu, M, Jardani, Abderrahim
Contributors: Morphodynamique Continentale et Côtière (M2C), Université de Caen Normandie (UNICAEN), Normandie Université (NU)-Normandie Université (NU)-Institut national des sciences de l'Univers (INSU - CNRS)-Université de Rouen Normandie (UNIROUEN), Normandie Université (NU)-Centre National de la Recherche Scientifique (CNRS)
Superior Title: ISSN: 0956-540X.
Subject Terms: Inverse theory, Neural networks, fuzzy logic, Numerical modelling, Hydrogeophysics, Electrical resistivity tomography (ERT), [SDU.STU.GP]Sciences of the Universe [physics]/Earth Sciences/Geophysics [physics.geo-ph]
Relation: insu-03958483; https://insu.hal.science/insu-03958483; https://insu.hal.science/insu-03958483/document; https://insu.hal.science/insu-03958483/file/ggab024.pdf
Contributors: Groupe de Recherche en Electrotechnique et Automatique du Havre (GREAH), Université Le Havre Normandie (ULH), Normandie Université (NU)-Normandie Université (NU), Department of Electrical and Electronic Engineering University of Cagliari (DIEE), University of Cagliari, University of Cyprus Nicosia (UCY)
Superior Title:
2023 62nd IEEE Conference on Decision and Control (CDC)
https://hal.science/hal-04469281
2023 62nd IEEE Conference on Decision and Control (CDC), Dec 2023, Singapore, Singapore. pp.6929-6935, ⟨10.1109/CDC49753.2023.10383800⟩
Subject Terms: Firing, Automata, Markov processes, Probabilistic logic, State estimation, [SPI.AUTO]Engineering Sciences [physics]/Automatic
Subject Geographic: Singapore
Relation: hal-04469281; https://hal.science/hal-04469281
Authors: Amri, Omar, Lefebvre, Dimitri
Contributors: Groupe de Recherche en Electrotechnique et Automatique du Havre (GREAH), Université Le Havre Normandie (ULH), Normandie Université (NU)-Normandie Université (NU)
Superior Title:
2023 International Conference on Networking, Sensing and Control (ICNSC)
https://hal.science/hal-04469535
2023 International Conference on Networking, Sensing and Control (ICNSC), Oct 2023, Marseille, France. pp.1-6, ⟨10.1109/ICNSC58704.2023.10319003⟩
Subject Terms: Performance evaluation, Systematics, Fault detection, SCADA systems, Probabilistic logic, Discrete-event systems, Sensors, [SPI.AUTO]Engineering Sciences [physics]/Automatic
Relation: hal-04469535; https://hal.science/hal-04469535
Authors: Amri, Omar, Lefebvre, Dimitri
Contributors: Groupe de Recherche en Electrotechnique et Automatique du Havre (GREAH), Université Le Havre Normandie (ULH), Normandie Université (NU)-Normandie Université (NU)
Superior Title:
2023 9th International Conference on Control, Decision and Information Technologies (CoDIT)
https://hal.science/hal-04469012
2023 9th International Conference on Control, Decision and Information Technologies (CoDIT), Jul 2023, Rome, Italy. pp.999-1004, ⟨10.1109/codit58514.2023.10284423⟩
Subject Terms: Visualization, Current measurement, Probabilistic logic, Security, State estimation, Information technology, Cyberattack, [SPI.AUTO]Engineering Sciences [physics]/Automatic
Relation: hal-04469012; https://hal.science/hal-04469012
Authors: Sayac, Nathalie
Contributors: Laboratoire de Didactique André Revuz (LDAR (URP_4434)), Université de Rouen Normandie (UNIROUEN), Normandie Université (NU)-Normandie Université (NU)-Université de Lille-Université Paris-Est Créteil Val-de-Marne - Paris 12 (UPEC UP12)-Université Paris Cité (UPCité)-CY Cergy Paris Université (CY)
Superior Title: ISSN: 0246-9367 ; Recherches en Didactique des Mathematiques ; https://hal.science/hal-04369346 ; Recherches en Didactique des Mathematiques, 2019, 39/3 (116), pp.283-331.
Subject Terms: assessment practice didactic professional judgement assessment episode assessment logic, assessment practice, didactic, professional judgement, assessment episode, assessment logic, MESH: évaluation, MESH: pratiques, MESH: mathématiques, MESH: didactique, [MATH]Mathematics [math], [SHS]Humanities and Social Sciences
Relation: hal-04369346; https://hal.science/hal-04369346; https://hal.science/hal-04369346/document; https://hal.science/hal-04369346/file/Article%20Sayac%20RDM%202019.pdf