Showing 1 - 20 of 326

1

On Implementing Stabilizing Leader Election with Weak Assumptions on Network Dynamics
Altisen, Karine ; Devismes, Stéphane ; Durand, Anaïs ; et al.
Proceedings of the 2021 ACM Symposium on Principles of Distributed Computing. :21-31

pseudo-stabilization sources [INFO.INFO-DC]Computer S... sinks speculation leader election
Academic journal
Save to List
2

Relationship between superstring and compression measures: New insights on the greedy conjecture
Cazaux, Bastien ; Rivals, Eric ; Rivals, Eric ; et al.
Discrete Applied Mathematics. 245:59-64

2. Zero hunger ACM: F.: Theory of Compu... [INFO.INFO-DS]Computer S... Assembly Greedy conjecture [INFO.INFO-DS] Computer...
Academic journal
Save to List
3

125 Problems in Text Algorithms
Crochemore, Maxime ; Lecroq, Thierry ; Rytter, Wojciech ; et al.
https://hal.science/hal-03846646 ; 2021.

ACM: F.: Theory of Compu... ACM: I.: Computing Metho... [INFO.INFO-DS]Computer S... [INFO.INFO-TT]Computer S...
Book
Save to List
4

Linking indexing data structures to de Bruijn graphs: Construction and update
Cazaux, Bastien ; Lecroq, Thierry ; Rivals, Eric ; et al.
Journal of Computer and System Sciences. 104:165-183

Overlap 2. Zero hunger Contracted de Bruijn gra... Bioinformatics Computer Networks and Co... Applied Mathematics
Academic journal
Save to List
5

Complexity Study for the Robust Stable Marriage Problem
Genc, Begum ; Siala, Mohamed ; Simonin, Gilles ; et al.
Theoretical Computer Science. 775:76-92

[INFO.INFO-CC]Computer S... [INFO.INFO-AI] Computer... Computational Social Cho... ACM: F.: Theory of Compu... [INFO.INFO-DS]Computer S... Robust optimisation
Academic journal
Save to List
6

Glucagon and insulin production in pancreatic cells modeled using Petri nets and Boolean networks.
Barylska, Kamila ; Delaplace, Franck ; Gogolińska, Anna ; et al.
https://univ-evry.hal.science/hal-05183371 ; 2025.

bioinformatics analysis modelling Boolean networks Petri nets biological system
Report
Save to List
7

Multi-Round Cooperative Search Games with Multiple Players
Korman, Amos ; Rodeh, Yoav ; Networks, Graphs and Algorithms (GANG) ; et al.
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

Patras Greece ACM: F.: Theory of Compu... [INFO.INFO-DC]Computer S... Parallel and Cluster Computing [c...
Conference
Save to List
8

An Asymptotic Stability Theorem for Divide-and-Conquer Sequences
GUEDJ, Michael ; Chambre de commerce et d’industrie - Paris-Île de France (CCIP IDF)
https://hal.archives-ouvertes.fr/hal-02902407 ; 2021.

algorithm analysis asymptotic approximation... divide- and-conquer sequ... recurrence relations ACM: F.: Theory of Compu... ACM: G.: Mathematics of...
Report
Save to List
9

The power of greedy algorithms for approximating Max-ATSP, Cyclic Cover, and superstrings
Cazaux, Bastien ; Rivals, Eric ; Rivals, Eric ; et al.
Discrete Applied Mathematics. 212:48-60

[INFO.INFO-CC]Computer S... ACM: F.: Theory of Compu... [INFO.INFO-DS]Computer S... Assembly Greedy conjecture [INFO.INFO-DS] Computer...
Academic journal
Save to List
10

Accurate self-correction of errors in long reads using de Bruijn graphs
Salmela, Leena ; Walve, Riku ; Rivals, Eric ; et al.
Bioinformatics

assembly 0301 basic medicine ACM: F.: Theory of Compu... 0206 medical engineering non hybrid correction Recomb-Seq/Recomb-Cbb 20...
Academic journal
Save to List
11

A linear time algorithm for Shortest Cyclic Cover of Strings
Cazaux, Bastien ; Rivals, Eric ; Rivals, Eric ; et al.
Journal of Discrete Algorithms. 37:56-67

Overlap Minimum assignment ACM: F.: Theory of Compu... [INFO.INFO-DS]Computer S... [INFO.INFO-DS] Computer... 0102 computer and inform...
Academic journal
Save to List
12

Superstrings with multiplicities
Rivals, Eric ; Cazaux, Bastien ; Institut de Biologie Computationnelle (IBC) ; et al.
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.html

Qingdao China Approximation greedy algorithm Cyclic covers APX
Conference
Save to List
13

On the Worst-Case Complexity of TimSort
Auger, Nicolas ; Jugé, Vincent ; Nicaud, Cyril ; et al.
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⟩

Helsinki Finland Sorting algorithms Merge sorting algorithms Analysis of al-gorithms TimSort
Conference
Save to List
14

Quaternion Modeling and Observer-based Torque Compensation of an Aerial Manipulator
Alavrez Muños, Jonatan ; Escareno, Juan Antonio ; Marchand, Nicolas ; et al.
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/

Jalisco Mexico Euler-Lagrange and Quate... Stochastic vs Determinis... Aerial Manipulation Nonlinear Control
Conference
Save to List
15

On Implementing Stabilizing Leader Election with Weak Assumptions on Network Dynamics
Altisen, Karine ; Devismes, Stéphane ; Durand, Anaïs ; et al.
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.

sources sinks timely sources timely sinks speculation self-stabilization
Report
Save to List
16

An Extended Theorem Furnishing Asymptotic Approximations for Divide-and-Conquer Sequences
GUEDJ, Michael ; Chambre de commerce et d’industrie - Paris-Île de France (CCIP IDF)
https://hal.archives-ouvertes.fr/hal-02902407 ; 2020.

algorithm analysis asymptotic approximation... divide- and-conquer sequ... recurrence relations ACM: F.: Theory of Compu... ACM: F.: Theory of Compu...
Report
Save to List
17

Definability by Horn formulas and linear time on cellular automata
Bacquey, Nicolas ; Grandjean, Etienne ; Olive, Frédéric ; et al.
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

Warsaw Poland Horn formulas linear time picture languages local induction
Conference
Save to List
18

Compact deterministic self-stabilizing leader election on a ring: the exponential advantage of being talkative
Blin, Lélia ; Tixeuil, Sébastien ; Université d'Évry-Val-d'Essonne (UEVE) ; et al.
ISSN: 0178-2770.

ACM: C.: Computer System... ACM: D.: Software/D.1: P... ACM: F.: Theory of Compu... [INFO]Computer Science [... [INFO.INFO-DC]Computer S... Parallel
Academic journal
Save to List
19

Simultaneous conversions with the Residue Number System using linear algebra
Doliskani, Javad ; Giorgi, Pascal ; Lebreton, Romain ; et al.
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⟩.

ACM: G.: Mathematics of... ACM: F.: Theory of Compu... [INFO.INFO-SC]Computer S...
Academic journal
Save to List
20

Malleable task-graph scheduling with a practical speed-up model
Marchal, Loris ; Simon, Bertrand ; Sinnen, Oliver ; et al.
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⟩.

malleable tasks task graph Scheduling proportional mapping approximation algorithms speedup model
Academic journal
Save to List

Filter