Quick search
Advanced search in
Field to searchTerm
Add rule
Filters (4)
Download Results
2,155 research outcomes, page 1 of 216
  • publication . Conference object . 2015
    Open Access English
    Authors:
    Romain Fontugne; Patrice Abry; Kensuke Fukuda; Pierre Borgnat; Johan Mazel; Herwig Wendt; Darryl Veitch;
    Persistent Identifiers
    Publisher: HAL CCSD
    Project: EC | NECOMA (608533)

    International audience; We present a new anomaly detector for data traffic, `SMS', based on combining random projections (sketches) with multiscale analysis, which has low computational complexity. The sketches allow `normal' traffic to be automatically and robustly ext...

    Add to ORCIDorcid
  • publication . Conference object . 2014
    Open Access English
    Authors:
    Matthieu Perrinel;
    Persistent Identifiers
    Publisher: HAL CCSD

    International audience; Context semantics is a tool inspired by Girard' s geometry of interaction. It has had many applications from study of optimal reduction to proofs of complexity bounds. Yet, context semantics have been defined only on $\lambda$-calculus and linear...

    Add to ORCIDorcid
  • publication . Report . Conference object . 2018
    Open Access English
    Authors:
    Anne Benoit; Aurélien Cavelan; Florina M. Ciorba; Valentin Le Fèvre; Yves Robert;
    Persistent Identifiers
    Publisher: HAL CCSD

    This report combines checkpointing and replication for the reliable executionof linear workows. While both methods have been studied separately, their combinationhas not yet been investigated despite its promising potential to minimize the execution timeof linear workow...

    Add to ORCIDorcid
  • publication . Conference object . Other literature type . Preprint . Article . 2018
    Open Access English
    Authors:
    Bonnet, E.; Giannopoulos, P.;
    Publisher: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik

    Journal of Computational Geometry, Vol. 10 No. 2 (2019): Special Issue of Selected Papers from SoCG 2018

    Add to ORCIDorcid
  • publication . Conference object . Part of book or chapter of book . 2013
    Open Access English
    Authors:
    Bonchi, F.; Caltais, G.; Pous, D.; Silva, A.; Shan, C.-C.;
    Project: ANR | Avenir L.S.E. (ANR-11-IDEX-0007), FCT | SFRH/BPD/71956/2010 (SFRH/BPD/71956/2010), ANR | PiCoq (ANR-10-BLAN-0305), ANR | PANDA (ANR-09-BLAN-0169), FCT | PTDC/EIA-CCO/122240/2010 (122240)

    Checking language equivalence (or inclusion) of finite automata is a classical problem in Computer Science, which has recently received a renewed interest and found novel and more effective solutions, such as approaches based on antichains or bisimulations up-to. Severa...

    Add to ORCIDorcid
  • publication . Conference object . Preprint . 2014
    Open Access French
    Authors:
    Perrot, Kévin; Rémila, Éric;
    Publisher: HAL CCSD

    Comment: 21 pages (including 9 pages of annexes). LATIN 2014. arXiv admin note: substantial text overlap with arXiv:1301.0997

  • publication . Conference object . 2018
    Open Access English
    Authors:
    Anupam Das; Amina Doumane; Damien Pous;
    Persistent Identifiers
    Publisher: HAL CCSD
    Project: EC | CoVeCe (678157), EC | MiLC (753431)

    We give a new proof that the axioms of left-handed Kleene algebra are complete with respect to language containments. This proof is significantly simpler than both the proof of Boffa (which relies on Krob’s completeness result), and the more recent proof of Kozen and Si...

    Add to ORCIDorcid
  • publication . Conference object . 2021
    Open Access French
    Authors:
    Reboul, Marianne;
    Publisher: HAL CCSD

    International audience

  • publication . Report . Conference object . Part of book or chapter of book . 2018
    Open Access English
    Authors:
    Fanny Dufossé; Kamer Kaya; Ioannis Panagiotas; Bora Uçar;
    Persistent Identifiers
    Publisher: HAL CCSD

    The problem of finding a maximum cardinality matching in a d-partite d-uniform hypergraph is an important problem in combinatorial optimization and has beentheoretically analyzed by several researchers. In this work, we first devise heuristics for this problem by genera...

    Add to ORCIDorcid
  • publication . Conference object . Article . 2015
    Open Access French
    Authors:
    Céline Alcade-Lebrun;
    Persistent Identifiers
    Publisher: HAL CCSD

    Notre contribution aborde la problématique méthodologique des choix effectués déterminant les modalités d’approche du terrain et de recueil de données. Dans un premier temps, nous replaçons notre étude dans le triple contexte, scientifique, éducatif, et professionnel, q...

    Add to ORCIDorcid
2,155 research outcomes, page 1 of 216