-
1Academic Journal
Contributors: 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)
Source: Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing. :21-31
Subject Terms: 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]
File Description: application/pdf
Access URL: 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 -
2Academic Journal
Authors: Cazaux, Bastien, Rivals, Eric
Contributors: 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)
Source: Discrete Applied Mathematics. 245:59-64
Subject Terms: 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]
File Description: application/pdf
Linked Full TextAccess URL: 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 -
3Book
Authors: Crochemore, Maxime, Lecroq, Thierry, Rytter, Wojciech
Contributors: Université Gustave Eiffel, King‘s College London, Université de Rouen Normandie (UNIROUEN), Normandie Université (NU), Warsaw University of Technology Warsaw
Source: https://hal.science/hal-03846646 ; 2021.
Subject Terms: ACM: F.: Theory of Computation/F.2: ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY, ACM: I.: Computing Methodologies/I.7: DOCUMENT AND TEXT PROCESSING, [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], [INFO.INFO-TT]Computer Science [cs]/Document and Text Processing
-
4Academic Journal
Authors: Cazaux, Bastien, Lecroq, Thierry, Rivals, Eric
Contributors: 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), Equipe Traitement de l'information en Biologie Santé (TIBS - LITIS), Laboratoire d'Informatique, de 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), ANR-12-BS02-0008,Colib'read,Méthodes d'extraction d'information biologique dans les données HTS non assemblées(2012), ANR-11-BINF-0002,IBC,Institut de biologie Computationnelle(2011)
Source: Journal of Computer and System Sciences. 104:165-183
Subject Terms: Overlap, 2. Zero hunger, Contracted de Bruijn graph, Bioinformatics, Computer Networks and Communications, Applied Mathematics, 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, 0206 medical engineering, 1. No poverty, [INFO.INFO-DS] Computer Science [cs]/Data Structures and Algorithms [cs.DS], Dynamic update, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Index, Theoretical Computer Science, Suffix tree, Computational Theory and Mathematics, Data structure, Suffix array, [INFO.INFO-BI]Computer Science [cs]/Bioinformatics [q-bio.QM], Algorithms, [INFO.INFO-BI] Computer Science [cs]/Bioinformatics [q-bio.QM]
File Description: application/pdf
Linked Full TextAccess URL: https://dblp.uni-trier.de/db/journals/jcss/jcss104.html#CazauxLR19
https://core.ac.uk/display/82441636
https://www.sciencedirect.com/science/article/pii/S0022000016300502
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01617207
https://doi.org/10.1016/j.jcss.2016.06.008
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01617207/document
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01617207v1/document
https://doi.org/10.1016/j.jcss.2016.06.008
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01617207v1 -
5Academic Journal
Authors: Genc, Begum, Siala, Mohamed, Simonin, Gilles, O'Sullivan, Barry
Contributors: Siala, Mohamed, University College Cork (UCC), Insight Centre for Data Analytics (INSIGHT), Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT), Équipe Recherche Opérationnelle, Optimisation Combinatoire et Contraintes (LAAS-ROC), Laboratoire d'analyse et d'architecture des systèmes (LAAS), Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT)-Université de Toulouse (UT)-Institut National des Sciences Appliquées - Toulouse (INSA Toulouse), Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Institut National des Sciences Appliquées (INSA)-Université de Toulouse (UT)-Université Toulouse - Jean Jaurès (UT2J), Université de Toulouse (UT)-Université Toulouse III - Paul Sabatier (UT3), Université de Toulouse (UT)-Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique (Toulouse) (Toulouse INP), Université de Toulouse (UT)-Université Toulouse Capitole (UT Capitole), Université de Toulouse (UT), IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT), Laboratoire des Sciences du Numérique de Nantes (LS2N), Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT)
Source: Theoretical Computer Science. 775:76-92
Subject Terms: [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC], [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], Computational Social Choice, 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], Robust optimisation, [INFO.INFO-DS] Computer Science [cs]/Data Structures and Algorithms [cs.DS], 0102 computer and information sciences, 02 engineering and technology, Algorithmic Complexity, 01 natural sciences, [INFO.INFO-RO] Computer Science [cs]/Operations Research [math.OC], [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], NP-completeness, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE, Stable Matching, Artificial inteligence, [INFO.INFO-RO]Computer Science [cs]/Operations Research [math.OC], 0202 electrical engineering, electronic engineering, information engineering, Robust Stable Marriage, [INFO.INFO-CC] Computer Science [cs]/Computational Complexity [cs.CC], Schaefer's Dichotomy, Robustness
File Description: application/pdf
Linked Full TextAccess URL: https://hal.laas.fr/hal-01974431/file/19-TCS.pdf
https://www.sciencedirect.com/science/article/pii/S0304397518307503
https://doi.org/10.1016/j.tcs.2018.12.017
https://hal.laas.fr/hal-01974431/document
https://dblp.uni-trier.de/db/journals/tcs/tcs775.html#GencSSO19
https://hal.laas.fr/hal-01974431 -
6Report
Contributors: Nicolaus Copernicus University Toruń, Informatique, BioInformatique, Systèmes Complexes (IBISC), Université d'Évry-Val-d'Essonne (UEVE)-Université Paris-Saclay, Institute of Diabetology
Source: https://univ-evry.hal.science/hal-05183371 ; 2025.
Subject Terms: bioinformatics, analysis, modelling, Boolean networks, Petri nets, biological system, glucagon secretion, insulin secretion, diabetes, ACM: F.: Theory of Computation/F.2: ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY, ACM: G.: Mathematics of Computing, [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM], [INFO.INFO-BI]Computer Science [cs]/Bioinformatics [q-bio.QM]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/2504.21578v1; ARXIV: 2504.21578v1
-
7Conference
Authors: Korman, Amos, Rodeh, Yoav
Contributors: Networks, Graphs and Algorithms (GANG), Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS)-Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS)-Centre Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Université Paris Diderot - Paris 7 (UPD7)-Centre National de la Recherche Scientifique (CNRS), Weizmann Institute of Science Rehovot, Israël, This work has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation program (grant agreement No 648032)
Source: ICALP 2019 - 46th International Colloquium on Automata, Languages and Programming ; https://hal.science/hal-02105524 ; ICALP 2019 - 46th International Colloquium on Automata, Languages and Programming, Jul 2019, Patras, Greece
Subject Terms: ACM: F.: Theory of Computation/F.2: ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-GT]Computer Science [cs]/Computer Science and Game Theory [cs.GT]
Relation: info:eu-repo/semantics/altIdentifier/arxiv/1811.01270; ARXIV: 1811.01270
-
8Report
Authors: GUEDJ, Michael
Contributors: Chambre de commerce et d’industrie - Paris-Île de France (CCIP IDF)
Source: https://hal.archives-ouvertes.fr/hal-02902407 ; 2021.
Subject Terms: algorithm analysis, asymptotic approximations, divide- and-conquer sequences, recurrence relations, ACM: F.: Theory of Computation/F.2: ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY, ACM: G.: Mathematics of Computing/G.2: DISCRETE MATHEMATICS, [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM]
Relation: hal-02902407; https://hal.archives-ouvertes.fr/hal-02902407; https://hal.archives-ouvertes.fr/hal-02902407v2/document; https://hal.archives-ouvertes.fr/hal-02902407v2/file/MICHAEL_GUEDJ__DAC__E1.pdf
-
9Academic Journal
Authors: Cazaux, Bastien, Rivals, Eric
Contributors: 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), Défi MASTODONS SePhHaDe from CNRS, ANR-12-BS02-0008,Colib'read,Méthodes d'extraction d'information biologique dans les données HTS non assemblées(2012), ANR-11-BINF-0002,IBC,Institut de biologie Computationnelle(2011)
Source: Discrete Applied Mathematics. 212:48-60
Subject Terms: [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC], 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], Approximation algorithm, 01 natural sciences, [INFO.INFO-DM] Computer Science [cs]/Discrete Mathematics [cs.DM], ACM: G.: Mathematics of Computing/G.2: DISCRETE MATHEMATICS, Shortest Superstring Problem, Data compression, 0202 electrical engineering, electronic engineering, information engineering, [INFO.INFO-CC] Computer Science [cs]/Computational Complexity [cs.CC], [INFO.INFO-BI]Computer Science [cs]/Bioinformatics [q-bio.QM], Stringology, [INFO.INFO-BI] Computer Science [cs]/Bioinformatics [q-bio.QM]
Linked Full TextAccess URL: https://hal-lirmm.ccsd.cnrs.fr/lirmm-01286943v1
https://doi.org/10.1016/j.dam.2015.06.003 -
10Academic Journal
Authors: Salmela, Leena, Walve, Riku, Rivals, Eric, Ukkonen, Esko
Contributors: Department of Computer Science, Helsinki Institute for Information Technology, Finnish Centre of Excellence in Algorithmic Data Analysis Research (Algodan), Combinatorial Pattern Matching research group / Esko Ukkonen, Genome-scale Algorithmics research group / Veli Mäkinen, Bioinformatics, Algorithmic Bioinformatics, Rivals, Eric, Helsinki Institute for Information Technology (HIIT), Helsingin yliopisto = Helsingfors universitet = University of Helsinki-Aalto University, 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), Academy of Finland (grant 267591)EU FP7 SYSCOL UE7-SYSCOL-258236, ANR-12-BS02-0008,Colib'read,Méthodes d'extraction d'information biologique dans les données HTS non assemblées(2012), ANR-11-BINF-0002,IBC,Institut de biologie Computationnelle(2011), European Project: 258236,EC:FP7:HEALTH,FP7-HEALTH-2010-two-stage,SYSCOL(2011)
Source: Bioinformatics
Subject Terms: assembly, 0301 basic medicine, ACM: F.: Theory of Computation/F.2: ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY, 0206 medical engineering, non hybrid correction, Recomb-Seq/Recomb-Cbb 2016, Saccharomyces cerevisiae, 02 engineering and technology, 03 medical and health sciences, substitution, Escherichia coli, Quantitative Biology - Genomics, [INFO.INFO-BI] Computer Science [cs]/Bioinformatics [q-bio.QM], PacBio, Genomics (q-bio.GN), Computer and information sciences, Genome, ACM: F.: Theory of Computation/F.2: ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY/F.2.2: Nonnumerical Algorithms and Problems/F.2.2.6: Sorting and searching, Sequence analysis, High-Throughput Nucleotide Sequencing, DNA, Sequence Analysis, DNA, de Bruijn, indel, Genetics, developmental biology, physiology, NGS, FOS: Biological sciences, LoRDEC, [INFO.INFO-BI]Computer Science [cs]/Bioinformatics [q-bio.QM], Algorithms, Software
File Description: application/pdf
Linked Full TextAccess URL: https://academic.oup.com/bioinformatics/article-pdf/33/6/799/25147868/btw321.pdf
https://pubmed.ncbi.nlm.nih.gov/27273673
http://arxiv.org/abs/1604.02233
https://helda.helsinki.fi/handle/10138/182781
http://europepmc.org/articles/PMC5351550
http://dblp.uni-trier.de/db/journals/bioinformatics/bioinformatics33.html#SalmelaWRU17
https://www.ncbi.nlm.nih.gov/pubmed/27273673
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01385006/document
https://www.ncbi.nlm.nih.gov/pmc/articles/PMC5351550
http://hdl.handle.net/10138/182781
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01385006v1
https://doi.org/10.1093/bioinformatics/btw321
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01385006v1/document -
11Academic Journal
Authors: Cazaux, Bastien, Rivals, Eric
Contributors: 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), Défi MASTODONS, ANR-12-BS02-0008,Colib'read,Méthodes d'extraction d'information biologique dans les données HTS non assemblées(2012), ANR-11-BINF-0002,IBC,Institut de biologie Computationnelle(2011)
Source: Journal of Discrete Algorithms. 37:56-67
Subject Terms: Overlap, Minimum assignment, 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], [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], Superstring, 16. Peace & justice, 01 natural sciences, Graph, Theoretical Computer Science, 3. Good health, [INFO.INFO-DM] Computer Science [cs]/Discrete Mathematics [cs.DM], Computational Theory and Mathematics, ACM: G.: Mathematics of Computing/G.2: DISCRETE MATHEMATICS, 0202 electrical engineering, electronic engineering, information engineering, Discrete Mathematics and Combinatorics, [INFO.INFO-BI]Computer Science [cs]/Bioinformatics [q-bio.QM], Shortest cyclic cover of strings, Greedy, [INFO.INFO-BI] Computer Science [cs]/Bioinformatics [q-bio.QM]
File Description: application/pdf
Access URL: https://hal-lirmm.ccsd.cnrs.fr/lirmm-01525995
https://dblp.uni-trier.de/db/journals/jda/jda37.html#CazauxR16
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01525995/document
https://www.sciencedirect.com/science/article/pii/S1570866716300065
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01525995v1/document
https://doi.org/10.1016/j.jda.2016.05.001
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01525995v1 -
12Conference
Authors: Auger, Nicolas, Jugé, Vincent, Nicaud, Cyril, Pivoteau, Carine
Contributors: Laboratoire d'Informatique Gaspard-Monge (LIGM), École nationale des ponts et chaussées (ENPC)-Centre National de la Recherche Scientifique (CNRS)-Université Gustave Eiffel
Source: 26th Annual European Symposium on Algorithms (ESA 2018)
https://hal.science/hal-01798381
26th Annual European Symposium on Algorithms (ESA 2018), Aug 2018, Helsinki, Finland. pp.4:1--4:13, ⟨10.4230/LIPIcs.ESA.2018.4⟩Subject Terms: Sorting algorithms, Merge sorting algorithms, Analysis of al-gorithms, TimSort, ACM: F.: Theory of Computation/F.2: ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY, ACM: F.: Theory of Computation/F.2: ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY/F.2.2: Nonnumerical Algorithms and Problems/F.2.2.6: Sorting and searching, [INFO]Computer Science [cs], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]
-
13Conference
Authors: Alavrez Muños, Jonatan, Escareno, Juan Antonio, Marchand, Nicolas, Guerrero Castellanos, Jose Fermi, Raharijaona, Thibaut, Rakotondrabe, Micky
Contributors: Institut Polytechnique des Sciences Avancées (IPSA), GIPSA - Systèmes non linéaires et complexité (GIPSA-SYSCO), Département Automatique (GIPSA-DA), Grenoble Images Parole Signal Automatique (GIPSA-lab), Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes 2016-2019 (UGA 2016-2019 )-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes 2016-2019 (UGA 2016-2019 )-Grenoble Images Parole Signal Automatique (GIPSA-lab), Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes 2016-2019 (UGA 2016-2019 )-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes 2016-2019 (UGA 2016-2019 ), Facultad de Ciencias de la Electrónica Puebla (FCE BUAP), Benemérita Universidad Autónoma de Puebla (BUAP), Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174) (FEMTO-ST), Université de Technologie de Belfort-Montbeliard (UTBM)-Ecole Nationale Supérieure de Mécanique et des Microtechniques (ENSMM)-Centre National de la Recherche Scientifique (CNRS)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté COMUE (UBFC)-Université Bourgogne Franche-Comté COMUE (UBFC), Institut des Sciences du Mouvement Etienne Jules Marey (ISM), Aix Marseille Université (AMU)-Centre National de la Recherche Scientifique (CNRS), Edited by Edgar N. Sánchez, Esteban A. Hernandez-Vargas, ANR-17-CE05-0014,CODE-Track,Méthodes de l'automatique pour la conception optimale de récupérateurs d'énergie piézoélectriques dédiés pour les systèmes de géolocalisation d'oiseaux(2017)
Source: MICNON 2018 - 2nd IFAC Conference on Modelling, Identification and Control of Nonlinear ; https://hal.science/hal-03053030 ; MICNON 2018 - 2nd IFAC Conference on Modelling, Identification and Control of Nonlinear, Jun 2018, Jalisco, Mexico. pp.543-548, ⟨10.1016/j.ifacol.2018.07.336⟩ ; https://www.micnon2018.org/
Subject Terms: Euler-Lagrange and Quaternion Modeling, Stochastic vs Deterministic State Estimation, Aerial Manipulation, Nonlinear Control, ACM: I.: Computing Methodologies/I.6: SIMULATION AND MODELING, 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], [SPI.AUTO]Engineering Sciences [physics]/Automatic
-
14Conference
Authors: Rivals, Eric, Cazaux, Bastien
Contributors: 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), 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), Défi MASTODONS C3G http://www.lirmm.fr/~rivals/C3G/ from CNRS, Qingdao University, Gonzalo Navarro, David Sankoff, Binhai Zhu, ANR-11-BINF-0002,IBC,Institut de biologie Computationnelle(2011)
Source: 29th Annual Symposium on Combinatorial Pattern Matching (CPM)
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01843225
29th Annual Symposium on Combinatorial Pattern Matching (CPM), Qingdao University, Jul 2018, Qingdao, China. pp.21:1-21:16, ⟨10.4230/LIPIcs.CPM.2018.21⟩
http://cpm2018.sdu.edu.cn/index.htmlSubject Terms: algorithm analysis, overlap, subset system, APX, Cyclic covers, Approximation, greedy algorithm, ACM: F.: Theory of Computation, ACM: F.: Theory of Computation/F.2: ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.2: Approximation, ACM: G.: Mathematics of Computing/G.2: DISCRETE MATHEMATICS, [INFO.INFO-BI]Computer Science [cs]/Bioinformatics [q-bio.QM], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC]
-
15Report
Contributors: 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)
Source: https://hal.science/hal-02979166 ; [Research Report] 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. 2020.
Subject Terms: sources, sinks, timely sources, timely sinks, speculation, self-stabilization, dynamic graphs, leader election, pseudo-stabilization, ACM: F.: Theory of Computation, ACM: F.: Theory of Computation/F.2: ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY, [INFO]Computer Science [cs], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]
-
16Report
Authors: GUEDJ, Michael
Contributors: Chambre de commerce et d’industrie - Paris-Île de France (CCIP IDF)
Source: https://hal.archives-ouvertes.fr/hal-02902407 ; 2020.
Subject Terms: algorithm analysis, asymptotic approximations, divide- and-conquer sequences, recurrence relations, ACM: F.: Theory of Computation, ACM: F.: Theory of Computation/F.2: ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY, ACM: G.: Mathematics of Computing/G.2: DISCRETE MATHEMATICS, [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC], [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM]
Relation: hal-02902407; https://hal.archives-ouvertes.fr/hal-02902407; https://hal.archives-ouvertes.fr/hal-02902407/document; https://hal.archives-ouvertes.fr/hal-02902407/file/MICHAEL_GUEDJ_EEE1__MAIN.pdf
-
17Conference
Authors: Bacquey, Nicolas, Grandjean, Etienne, Olive, Frédéric
Contributors: Linking Dynamic Data (LINKS), Centre Inria de l'Université de Lille, 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), 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), Laboratoire d'informatique Fondamentale de Marseille (LIF), Aix Marseille Université (AMU)-École Centrale de Marseille (ECM)-Centre National de la Recherche Scientifique (CNRS), Ioannis Chatzigiannakis, Piotr Indyk, Fabian Kuhn, Anca Muscholl, partiellement soutenu par l'ANR AGGREG, ANR-14-CE25-0017,Aggreg,Requêtes d'Agrégation(2014)
Source: ICALP 2017 - 44th International Colloquium on Automata, Languages and Programming ; https://hal.science/hal-01494246 ; ICALP 2017 - 44th International Colloquium on Automata, Languages and Programming, Jul 2017, Warsaw, Poland. pp.1-14, ⟨10.4230/LIPIcs.ICALP.2017.99⟩ ; https://drops.dagstuhl.de/opus/portals/lipics/index.php?semnr=16038
Subject Terms: Horn formulas, linear time, picture languages, local induction, descriptive complexity, logic programming, cellular automata of any dimension, second-order logic, ACM: F.: Theory of Computation/F.2: ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]
-
18Academic Journal
Authors: Doliskani, Javad, Giorgi, Pascal, Lebreton, Romain, Schost, Éric
Contributors: University of Waterloo Waterloo, Exact Computing (ECO), 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), Cheriton School of Computer Science Waterloo (CS), ANR-11-BS02-0013,HPAC,Calcul Algébrique Haute-Performance(2011), ANR-12-BS02-0001,CATREL,Cribles: Améliorations Théoriques et Résolution Effective du Logarithme Discret.(2012)
Source: ISSN: 0098-3500 ; ACM Transactions on Mathematical Software ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-01415472 ; ACM Transactions on Mathematical Software, 2018, 44 (3), pp.#27. ⟨10.1145/3145573⟩.
Subject Terms: ACM: G.: Mathematics of Computing, ACM: F.: Theory of Computation/F.2: ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY, [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC]
-
19Academic Journal
Authors: Blin, Lélia, Tixeuil, Sébastien
Contributors: Université d'Évry-Val-d'Essonne (UEVE), Networks and Performance Analysis (NPA), LIP6, Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS)-Sorbonne Université (SU)-Centre National de la Recherche Scientifique (CNRS), 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.), Laboratory of Information, Network and Communication Sciences (LINCS), Université Pierre et Marie Curie - Paris 6 (UPMC)-Institut National de Recherche en Informatique et en Automatique (Inria)-Institut Mines-Télécom Paris (IMT), ANR-16-CE25-0009,ESTATE,Auto-stabilisation et amélioration de la sûreté dans les environnements distribués évoluant dans le temps(2016)
Source: ISSN: 0178-2770.
Subject Terms: ACM: C.: Computer Systems Organization/C.2: COMPUTER-COMMUNICATION NETWORKS, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES, ACM: F.: Theory of Computation/F.2: ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY, [INFO]Computer Science [cs], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC], [INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM], [INFO.INFO-NI]Computer Science [cs]/Networking and Internet Architecture [cs.NI], [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF]
-
20Academic Journal
Authors: Marchal, Loris, Simon, Bertrand, Sinnen, Oliver, Vivien, Frédéric
Contributors: Optimisation des ressources : modèles, algorithmes et ordonnancement (ROMA), Centre Inria de l'Université Grenoble Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire de l'Informatique du Parallélisme (LIP), École normale supérieure de Lyon (ENS de Lyon), Université de Lyon-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL), 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é de Lyon-Centre National de la Recherche Scientifique (CNRS), Laboratoire de l'Informatique du Parallélisme (LIP), Université de Lyon-Institut National de Recherche en Informatique et en Automatique (Inria)-Centre National de la Recherche Scientifique (CNRS), Department of Electrical and Computer Engineering Auckland (ECE), University of Auckland Auckland, ANR-13-MONU-0007,SOLHAR,Solveurs pour architectures hétérogènes utilisant des supports d'exécution(2013)
Source: ISSN: 1045-9219 ; IEEE Transactions on Parallel and Distributed Systems ; https://inria.hal.science/hal-01687189 ; IEEE Transactions on Parallel and Distributed Systems, 2018, 29 (6), pp.1357-1370. ⟨10.1109/TPDS.2018.2793886⟩.
Subject Terms: malleable tasks, task graph, Scheduling, proportional mapping, approximation algorithms, speedup model, ACM: G.: Mathematics of Computing, ACM: F.: Theory of Computation/F.2: ANALYSIS OF ALGORITHMS AND PROBLEM COMPLEXITY, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]