-
1Academic Journal
Συγγραφείς: Lyubov Klapkiv, Faruk Ulgen
Συνεισφορές: Ciesla, Catherine, Maria Curie-Sklodowska University (UMCS), Centre de recherche en économie de Grenoble (CREG), Université Grenoble Alpes (UGA)
Πηγή: Bank i Kredyt. 55:661-682
Θεματικοί όροι: financial crises, JEL: G - Financial Economics/G.G0 - General/G.G0.G01 - Financial Crises, JEL: O - Economic Development, ekonomia ewolucyjna, Methodology, and Heterodox Approaches/B.B5 - Current Heterodox Approaches/B.B5.B52 - Institutional • Evolutionary, JEL: G - Financial Economics/G.G1 - General Financial Markets/G.G1.G18 - Government Policy and Regulation, regulation, creative destruction, [SHS.ECO]Humanities and Social Sciences/Economics and Finance, Technological Change, ACM: F.: Theory of Computation, innovation, JEL: B - History of Economic Thought, regulacja, twórcza destrukcja, kryzysy finansowe, Słowa kluczowe: destrukcyjna twórczość, JEL: E - Macroeconomics and Monetary Economics/E.E1 - General Aggregative Models/E.E1.E14 - Austrian • Evolutionary • Institutional, evolutionary economics, and Growth/O.O3 - Innovation • Research and Development • Technological Change • Intellectual Property Rights/O.O3.O31 - Innovation and Invention: Processes and Incentives, destructive creation, [SHS.ECO] Humanities and Social Sciences/Economics and Finance, innowacje
Σύνδεσμος πρόσβασης: https://shs.hal.science/halshs-04746678v1
-
2Report
Συγγραφείς: Cohen, Johanne, Pilard, Laurence, Sénizergues, Jonas
Συνεισφορές: 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), Graphes, Algorithmes et Combinatoire - LISN (GALaC), 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)-Algorithmes, Apprentissage et Calcul (AAC), 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), Algorithmes, Apprentissage et Calcul (AAC), Laboratoire d'Informatique Parallélisme Réseaux Algorithmes Distribués (LI-PaRAD), Université de Versailles Saint-Quentin-en-Yvelines (UVSQ), 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)
Πηγή: https://hal.science/hal-04872001 ; 2025.
Θεματικοί όροι: Clique decomposition, Auto-stabilization, Distributed systems, Graph Algorithms, Byzantine fault tolerance, ACM: F.: Theory of Computation, ACM: G.: Mathematics of Computing, [INFO]Computer Science [cs], [MATH]Mathematics [math]
-
3Conference
Συγγραφείς: Ghanem, Hussam, Atmani, Massinissa, Cruz, Christophe
Συνεισφορές: Laboratoire Interdisciplinaire Carnot de Bourgogne (ICB), Université de Technologie de Belfort-Montbeliard (UTBM)-Université de Bourgogne (UB)-Université Bourgogne Franche-Comté COMUE (UBFC)-Centre National de la Recherche Scientifique (CNRS)
Πηγή: French Regional Conference on Complex Systems (FRCCS 2023) ; https://hal.science/hal-04146881 ; French Regional Conference on Complex Systems (FRCCS 2023), May 2023, Le Havre, France
Θεματικοί όροι: Conversational agents, Knowledge graphs, Natural Language Generation, ACM: F.: Theory of Computation, ACM: H.: Information Systems, ACM: I.: Computing Methodologies, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2307.01548; ARXIV: 2307.01548
-
4Report
Συγγραφείς: Come, Aymeric, Fabre, Éric, Hélouët, Loïc
Συνεισφορές: Vérification efficace pour des systèmes distribués fiables (DEVINE), Centre Inria de l'Université de Rennes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-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 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 National de Recherche en Informatique et en Automatique (Inria), ANR-20-CE25-0012,MAVEriQ,Méthodes d'analyse pour la vérification de propriétés quantitatives(2020)
Πηγή: https://inria.hal.science/hal-04619555 ; 2024.
Θεματικοί όροι: Markov Decision processes, Value Iteration, Policy Iteration, Floyd-Warshall, ACM: F.: Theory of Computation, [INFO]Computer Science [cs]
-
5Report
Συγγραφείς: Knapik, Teodor
Συνεισφορές: Institut de sciences exactes et appliquées (ISEA), Université de la Nouvelle-Calédonie (UNC)
Πηγή: https://hal.science/hal-04580653 ; 2024.
Θεματικοί όροι: parallel graph grammars, 1st order model checking, automatic structures, expanders, ACM: F.: Theory of Computation, [INFO]Computer Science [cs]
-
6Academic Journal
Συγγραφείς: Altisen, Karine, Devismes, Stéphane, Durand, Anaïs, Johnen, Colette, Petit, Franck
Συνεισφορές: Altisen, Karine, VERIMAG (VERIMAG - IMAG), 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), Université Grenoble Alpes, VERIMAG, UMR 5104, France, LIMOS, Université Clermont Auvergne, CNRS, UMR 6158, France, Université de Bordeaux, LaBRI, UMR 5800, France, Sorbonne Université, Paris, LIP6, UMR 7606, France, ANR-16-CE25-0009,ESTATE,Auto-stabilisation et amélioration de la sûreté dans les environnements distribués évoluant dans le temps(2016), ANR-16-CE40-0023,DESCARTES,Abstraction modulaire pour le calcul distribué(2016)
Πηγή: Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing. :21-31
Θεματικοί όροι: pseudo-stabilization, sources, [INFO.INFO-DC]Computer Science [cs]/Distributed, sinks, speculation, leader election, dynamic graphs, ACM: F.: Theory of Computation/F.2: ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY, 0102 computer and information sciences, ACM: F.: Theory of Computation, Parallel, 01 natural sciences, self-stabilization, and Cluster Computing [cs.DC], timely sinks, [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], timely sources, [INFO]Computer Science [cs]
Περιγραφή αρχείου: application/pdf
Σύνδεσμος πρόσβασης: https://hal.archives-ouvertes.fr/hal-02979166/file/evolvingSourceElection.pdf
https://hal.science/hal-03346225v1/document
https://doi.org/10.1145/3465084.3467917
https://hal.science/hal-03346225v1
https://hal.archives-ouvertes.fr/hal-02979166/document
https://dblp.uni-trier.de/db/conf/podc/podc2021.html#AltisenDDJP21
https://hal.archives-ouvertes.fr/hal-02979166
https://dl.acm .org/doi/pdf/10.1145/3465084.3467917
https://www.podc.org/podc2021/list-of-accepted-papers/#17 -
7Academic Journal
Συγγραφείς: Jouannaud, Jean-Pierre, Orejas, Fernando
Συνεισφορές: Deduction modulo, interopérabilité et démonstration automatique (DEDUCTEAM), 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)-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)-Centre Inria de l'Université Paris-Saclay, Centre Inria de Saclay, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre Inria de Saclay, Institut National de Recherche en Informatique et en Automatique (Inria), Universitat Politècnica de Catalunya = Université polytechnique de Catalogne Barcelona (UPC)
Πηγή: ISSN: 2352-2208 ; Journal of Logical and Algebraic Methods in Programming ; https://inria.hal.science/hal-02562152 ; Journal of Logical and Algebraic Methods in Programming, 2023, 131, pp.26. ⟨10.1016/j.jlamp.2022.100845⟩.
Θεματικοί όροι: Drags, graphs, unification, confluence, ACM: D.: Software, ACM: F.: Theory of Computation, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
-
8Academic Journal
Συγγραφείς: Frascolla, Cindy, Visalli, Michel, Cardot, Hervé, Schlich, Pascal
Συνεισφορές: Institut de Mathématiques de Bourgogne Dijon (IMB), Université de Bourgogne (UB)-Centre National de la Recherche Scientifique (CNRS), Centre des Sciences du Goût et de l'Alimentation Dijon (CSGA), Université de Bourgogne (UB)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche pour l’Agriculture, l’Alimentation et l’Environnement (INRAE)-Institut Agro Dijon, Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)-Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro), Plateforme Chemosens Dijon, Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)-Institut national d'enseignement supérieur pour l'agriculture, l'alimentation et l'environnement (Institut Agro)-Université de Bourgogne (UB)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche pour l’Agriculture, l’Alimentation et l’Environnement (INRAE)-Institut Agro Dijon, Cindy Frascolla’s doctoral thesis was financially supported by the Bourgogne Franche-Comté Regional Council.
Πηγή: ISSN: 0950-3293 ; Food Quality and Preference ; https://hal.inrae.fr/hal-04169844 ; Food Quality and Preference, 2023, 110, pp.104929. ⟨10.1016/j.foodqual.2023.104929⟩ ; https://www.sciencedirect.com/science/article/pii/S0950329323001234.
Θεματικοί όροι: Temporal Dominance of Sensations (TDS), Temporal Check-All-That-Apply (TCATA), Panelist repeatability, Product discrimination, Jaccard index, Permutation test, ACM: F.: Theory of Computation, [SDV.AEN]Life Sciences [q-bio]/Food and Nutrition, [STAT]Statistics [stat]
Relation: WOS: 001039246800001
-
9Academic Journal
Συγγραφείς: Moudafi, Abdellatif
Συνεισφορές: 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), Images et Modèles (I&M), 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)
Πηγή: ISSN: 2227-7390 ; Mathematics ; https://amu.hal.science/hal-04211389 ; Mathematics , 2023, 11 (20), pp.4285. ⟨10.3390/math11204285⟩.
Θεματικοί όροι: proximity mapping, Minimization, feasibility, l0-norm, Moreau envelope, fixed-point algorithm, forward-backward iterations, ACM: F.: Theory of Computation, [MATH]Mathematics [math]
-
10Academic Journal
Συγγραφείς: Sghiar, M.
Συνεισφορές: Chercheur indépendant
Πηγή: ISSN: 2278-0661 ; IOSR Journal of Computer Engineering (IOSR - JCE) ; https://hal.science/hal-04054250 ; IOSR Journal of Computer Engineering (IOSR - JCE) , 2023, Volume 25 (5), pp.54-60. ⟨10.9790/0661-2505015460⟩.
Θεματικοί όροι: Riemann hypothesis, Prime Number number theory distribution of prime numbers the law of prime numbers the Gamma function the Mertens function quantum mechanics black Holes holomorphic function the Riemann hypothesis, the Mertens function, quantum mechanics, black Holes, the Riemann hypothesis, Hilbert-Polya's conjecture, Prime Number number theory distribution of prime numbers the law of prime numbers the Gamma function, Prime Number, number theory, distribution of prime numbers, the law of prime numbers, the Gamma function, holomorphic function, MESH: number theory, JEL: C - Mathematical and Quantitative Methods/C.C0 - General/C.C0.C00 - General, JEL: C - Mathematical and Quantitative Methods/C.C0 - General/C.C0.C02 - Mathematical Methods, ACM: F.: Theory of Computation, [MATH.MATH-NT]Mathematics [math]/Number Theory [math.NT]
Relation: hal-04054250; https://hal.science/hal-04054250; https://hal.science/hal-04054250v5/document; https://hal.science/hal-04054250v5/file/2DPBQRH.pdf
-
11Conference
Συγγραφείς: Karlo Aguirre-Samboní, Giann, Haar, Stefan, Paulevé, Loïc, Schwoon, Stefan, Würdemann, Nick
Συνεισφορές: Modeling and Exploitation of Interaction and Concurrency (MEXICO), 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)-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)-Centre Inria de l'Université Paris-Saclay, Centre Inria de Saclay, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre Inria de Saclay, Institut National de Recherche en Informatique et en Automatique (Inria), 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)
Πηγή: 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/
Θεματικοί όροι: 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]
Θέμα γεωγραφικό: Spain
Time: Madrid, Spain
-
12Conference
Συγγραφείς: Izabachène, Malika, Nitulescu, Anca, de Perthuis, Paola, Pointcheval, David
Συνεισφορές: Cosmian, Protocol Labs, Département d'informatique - ENS Paris (DI-ENS), École normale supérieure - Paris (ENS-PSL), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), Construction and Analysis of Systems for Confidentiality and Authenticity of Data and Entities (CASCADE), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Paris (ENS-PSL), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Centre National de la Recherche Scientifique (CNRS)-Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria), Clemente Galdi, Stanislaw Jarecki, European Project: 966570,CryptAnalytics
Πηγή: Lecture Notes in Computer Science ; SCN 2022 - 13th Conference on Cryptography and Security for Networks ; https://hal.science/hal-03820565 ; SCN 2022 - 13th Conference on Cryptography and Security for Networks, Sep 2022, Amalfi, Italy. pp.663-686, ⟨10.1007/978-3-031-14791-3_29⟩
Θεματικοί όροι: ACM: F.: Theory of Computation, ACM: G.: Mathematics of Computing, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]
Relation: info:eu-repo/grantAgreement//966570/EU/ERC PoC CryptAnalytics: Secure Analytics as Business Services/CryptAnalytics; hal-03820565; https://hal.science/hal-03820565; https://hal.science/hal-03820565/document; https://hal.science/hal-03820565/file/main.pdf
-
13Conference
Συγγραφείς: de Perthuis, Paola, Pointcheval, David
Συνεισφορές: Cosmian, Construction and Analysis of Systems for Confidentiality and Authenticity of Data and Entities (CASCADE), Département d'informatique - ENS Paris (DI-ENS), École normale supérieure - Paris (ENS-PSL), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-École normale supérieure - Paris (ENS-PSL), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS)-Centre National de la Recherche Scientifique (CNRS)-Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria), Université Paris sciences et lettres (PSL)-Université Paris sciences et lettres (PSL)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), ANR Crypto4Graph-AI, European Project: 966570,CryptAnalytics
Πηγή: ACM CCS- Computer and Communications Security 2022 ; https://hal.science/hal-03830846 ; ACM CCS- Computer and Communications Security 2022, Nov 2022, Los Angeles, United States
Θεματικοί όροι: ACM: F.: Theory of Computation, ACM: G.: Mathematics of Computing, [INFO]Computer Science [cs]
Θέμα γεωγραφικό: Los Angeles, United States
Relation: info:eu-repo/grantAgreement//966570/EU/ERC PoC CryptAnalytics: Secure Analytics as Business Services/CryptAnalytics; hal-03830846; https://hal.science/hal-03830846; https://hal.science/hal-03830846/document; https://hal.science/hal-03830846/file/main.pdf
-
14Academic Journal
Συγγραφείς: Cazaux, Bastien, Rivals, Eric
Συνεισφορές: Rivals, Eric, Méthodes et Algorithmes pour la Bioinformatique (MAB), Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS), Institut de Biologie Computationnelle (IBC), Institut National de la Recherche Agronomique (INRA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS), CNRS defi mastosons, ANR-11-BINF-0002,IBC,Institut de biologie Computationnelle(2011), ANR-12-BS02-0008,Colib'read,Méthodes d'extraction d'information biologique dans les données HTS non assemblées(2012)
Πηγή: Discrete Applied Mathematics. 245:59-64
Θεματικοί όροι: 2. Zero hunger, ACM: F.: Theory of Computation/F.2: ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY, [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], Assembly, Greedy conjecture, [INFO.INFO-DS] Computer Science [cs]/Data Structures and Algorithms [cs.DS], 0102 computer and information sciences, 02 engineering and technology, [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM], ACM: F.: Theory of Computation, Approximation algorithm, 01 natural sciences, 7. Clean energy, 12. Responsible consumption, [INFO.INFO-DM] Computer Science [cs]/Discrete Mathematics [cs.DM], ACM: G.: Mathematics of Computing/G.2: DISCRETE MATHEMATICS, Shortest Common Superstring Problem, Data compression, 0202 electrical engineering, electronic engineering, information engineering, [INFO.INFO-BI]Computer Science [cs]/Bioinformatics [q-bio.QM], Stringology, [INFO.INFO-BI] Computer Science [cs]/Bioinformatics [q-bio.QM]
Περιγραφή αρχείου: application/pdf
Συνδεδεμένο Πλήρες ΚείμενοΣύνδεσμος πρόσβασης: https://hal-lirmm.ccsd.cnrs.fr/lirmm-01800340
https://www.sciencedirect.com/science/article/pii/S0166218X1730183X
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01800340/document
https://www.sciencedirect.com/science/article/abs/pii/S0166218X1730183X -
15Conference
Συγγραφείς: Khaled, Tarek, Benhamou, Belaïd
Συνεισφορές: Logique, Interaction, Raisonnement et Inférence, Complexité, Algèbre (LIRICA), 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)
Πηγή: 14eme Journées Francophones de Programmation par Contraintes, JFPC
https://amu.hal.science/hal-03616262
14eme Journées Francophones de Programmation par Contraintes, JFPC, Jun 2021, Nice, FranceΘεματικοί όροι: ACM: F.: Theory of Computation, [INFO]Computer Science [cs], [SDV]Life Sciences [q-bio]
Time: Nice, France
-
16
Συγγραφείς: Díaz-Caro, Alejandro, Dowek, Gilles, Jouannaud, Jean-Pierre
Συνεισφορές: Universidad Nacional de Quilmes (UNQ), Designing the Future of Computational Models (MOCQUA), Centre Inria de l'Université de Lorraine, 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)-CentraleSupélec-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-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)-CentraleSupélec-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-CentraleSupélec-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Deduction modulo, interopérabilité et démonstration automatique (DEDUCTEAM), 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)-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)-Centre Inria de l'Université Paris-Saclay, Centre Inria de Saclay, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre Inria de Saclay, Institut National de Recherche en Informatique et en Automatique (Inria), ANR-22-PETQ-0007,EPiQ,Etude de la pile quantique : Algorithmes, modèles de calcul et simulation pour l'informatique quantique(2022)
Πηγή: https://inria.hal.science/hal-05146299 ; 2025.
Θεματικοί όροι: Quantum calculi, Computability path ordering, Path orderings, Termination proof, Higher-order rewrite rules, Typed lambda calculus, ACM: F.: Theory of Computation, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]
-
17Report
Συγγραφείς: Cheng, Zheng, Méry, Dominique
Συνεισφορές: Proof-oriented development of computer-based systems (MOSEL), 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)-CentraleSupélec-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-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)-CentraleSupélec-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Modeling and Verification of Distributed Algorithms and Systems (VERIDIS), Max-Planck-Institut für Informatik (MPII), Max-Planck-Gesellschaft-Max-Planck-Gesellschaft-Centre Inria de l'Université de Lorraine, 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), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-CentraleSupélec-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), TELECOM Nancy, Université de Lorraine (UL), ANR-17-CE25-0005,DISCONT,Intégration correcte de modèles discrets et continus(2017)
Πηγή: https://hal.science/hal-04152829 ; 2023.
Θεματικοί όροι: control theory, verification, Laplace transform, formal method, ACM: D.: Software, ACM: F.: Theory of Computation, ACM: G.: Mathematics of Computing, [INFO]Computer Science [cs]
-
18Report
Συγγραφείς: Delaplace, Franck
Συνεισφορές: Informatique, BioInformatique, Systèmes Complexes (IBISC), Université d'Évry-Val-d'Essonne (UEVE)-Université Paris-Saclay
Πηγή: https://hal.science/hal-04048197 ; 2023.
Θεματικοί όροι: Community structures, Color, Detection Methods, ACM: D.: Software, ACM: F.: Theory of Computation, [INFO]Computer Science [cs], [SHS]Humanities and Social Sciences
-
19Report
Συγγραφείς: Boy de la Tour, Thierry
Συνεισφορές: Laboratoire d'Informatique de Grenoble (LIG), Institut National de Recherche en Informatique et en Automatique (Inria)-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)
Πηγή: https://hal.univ-grenoble-alpes.fr/hal-03969945 ; 2023.
Θεματικοί όροι: Algebraic Graph Transformation, Graph Structures, Typed Graphs, ACM: F.: Theory of Computation, [INFO]Computer Science [cs]
-
20Report
Συγγραφείς: Dershowitz, Nachum, Jouannaud, Jean-Pierre, Orejas, Fernando
Συνεισφορές: School of Computer Science (TAU-CS), Tel Aviv University (TAU), 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), Universitat Politècnica de Catalunya Barcelona (UPC)
Πηγή: https://inria.hal.science/hal-04143346 ; 2023.
Θεματικοί όροι: Graph rewriting, drags, cyclic composition, rewriting, drag morphisms, ACM: F.: Theory of Computation, [INFO]Computer Science [cs], [MATH]Mathematics [math]
Relation: hal-04143346; https://inria.hal.science/hal-04143346; https://inria.hal.science/hal-04143346v3/document; https://inria.hal.science/hal-04143346v3/file/Drag_Rewriting.pdf