Download Results
33 research outcomes, page 1 of 4
  • software . 2019
    Open Access English
    Authors:
    Walter, Benjamin; Wiese, Kay Joerg;
    Publisher: HAL CCSD
  • software . 2017
    Open Access English
    Authors:
    Barbu, Vlad Stefan; Bérard, Caroline; Sautreuil, Mathilde; Cellier, Dominique; Vergne, Nicolas;
    Publisher: HAL CCSD
  • software . 2021
    Open Access English
    Authors:
    Seropian, Lou; Moulin, Annie; Bidet-Caulet, Aurélie;
    Publisher: HAL CCSD
  • software . 2019
    Open Access English
    Authors:
    Lanos, Philippe; Dufresne, Philippe;
    Publisher: HAL CCSD

    New featuresModel Window Relocation and modification of the function of the STUDY PERIOD button. The button is now situated above both scenes. Addition of visualization of the loading progress for large models. Relocation of the button to display the properties of EVENT...

  • software . 2019
    Open Access English
    Authors:
    Deraux, Martin;
    Publisher: HAL CCSD
  • software . 2018
    Open Access English
    Authors:
    Regis-Gianas, Yann; Jeannerod, Nicolas; Treinen, Ralf;
    Publisher: HAL CCSD
  • software . 2018
    Open Access English
    Authors:
    Girka, Thibaut; Régis-Gianas, Yann;
    Publisher: HAL CCSD

    This archive contains the Coq development described in the paper “VerifiableSemantic Difference Languages”[1].It is composed of meta-theoritical definitions and proofs (coq/OracleLanguage.v,coq/ProgrammingLanguage.v, …) as well as an instantiation of those definitionson...

  • software . 2020
    Open Access English
    Authors:
    Nghe, Philippe; Woronoff, Gabrielle;
    Publisher: HAL CCSD

    data processing matlab codes and data associated with the article: Woronoff, G., Nghe, P., Baudry, J., Boitard, L., Braun, E., Griffiths, A. D., & Bibette, J.Metabolic Cost of Rapid Adaptation of Single Yeast CellsbioRxiv, 564419, 2019

  • software . 2019
    Open Access English
    Authors:
    Levchenko, Oleksandra; Yagoubi, Djamel-Edine; Akbarinia, Reza; Masseglia, Florent; Kolev, Boyan; Shasha, Dennis; Palpanas, Themis; Valduriez, Patrick;
    Publisher: HAL CCSD

    Imitates is a complete solution for similarity search over very large time series datasets (Terabytes). It implements two efficient approaches for time series indexing and querying: DPiSAX and parSketch. DPiSAX is a parallel solution developed to construct iSAX-based in...

  • software . 2019
    Open Access English
    Authors:
    Pradal, Christophe; Fournier, Christian; Boudon, Frédéric; Valduriez, Patrick; Pacitti, Esther; Guédon, Yann,; Godin, Christophe;
    Publisher: HAL CCSD
    Project: EC | IPM Decisions (817617)

    OpenAlea 2.0 adds to OpenAlea 1.0 a high-level formalism dedicated to the modeling of morphogenesis that makes it possible to use several modeling paradigms (Blackboard, L-systems, Agents, Branching processes, Cellular Automata) expressed with different languages (Pytho...

33 research outcomes, page 1 of 4