Quick search
Advanced search in
Field to searchTerm
Add rule
Filters (3)
Download Results
10,323 research outcomes, page 1 of 1,033
  • publication . Article . 2022
    Open Access English
    Authors:
    Tumash, Liudmila; Canudas de Wit, Carlos; Delle Monache, Maria Laura;
    Persistent Identifiers
    Publisher: HAL CCSD
    Project: EC | Scale-FreeBack (694209)

    International audience; We address a problem of boundary control for a nonlinear scalar conservation law. Namely, this paper is devoted to the boundary control of an LWR PDE with triangular flux function evolving along a single road. The target state is a time-and space...

    Add to ORCID
  • publication . Article . Preprint . 2021
    Open Access English
    Authors:
    Unicomb, Samuel; Iñiguez, Gerardo; Gleeson, James P.; Karsai, Márton;
    Persistent Identifiers
    Publisher: Nature Publishing Group
    Project: ANR | DataRedux (ANR-19-CE46-0008), ANR | SoSweet (ANR-15-CE38-0011), SFI | INSIGHT - Irelands Big Da... (12/RC/2289), EC | X5gon (761758), EC | SoBigData-PlusPlus (871042)

    Temporal networks in which interaction events are distributed heterogeneously in time are complex to model. Unicomb et al. propose an analytical framework for the analysis of cascading dynamics in such networks, relevant for spin interactions, epidemic spreading, and la...

    Add to ORCID
  • publication . Article . 2021
    Open Access English
    Authors:
    Uwizeye, Clarisse; Decelle, Johan; Jouneau, Pierre-Henri; Flori, Serena; Gallet, Benoit; Keck, Jean-Baptiste; Bo, Davide Dal; Moriscot, Christine; Seydoux, Claire; Chevalier, Fabien; ...
    Publisher: HAL CCSD
    Project: EC | ChloroMito (833184), EC | CORBEL (654248), ANR | CBH-EUR-GS (ANR-17-EURE-0003), ANR | MoMix (ANR-17-CE05-0029)

    Eukaryotic phytoplankton have a small global biomass but play major roles in primary production and climate. Despite improved understanding of phytoplankton diversity and evolution, we largely ignore the cellular bases of their environmental plasticity. By comparative 3...

    Add to ORCID
  • publication . Conference object . 2021
    Open Access English
    Authors:
    Sanchez, Téo; Caramiaux, Baptiste; Françoise, Jules; Bevilacqua, Frédéric; Mackay, Wendy;
    Publisher: HAL CCSD
    Project: EC | SISCODE (788217)

    International audience; Machine learning systems became pervasive in modern interactive technology but provide users with little, if any, agency with respect to how their models are trained from data. In this paper, we are interested in the way novices handle learning a...

  • publication . Conference object . Article . 2021
    Open Access English
    Authors:
    Dragoi, Cezara; Enea, Constantin; Ozkan, Burcu Kulahcioglu; Majumdar, Rupak; Niksic, Filip;
    Persistent Identifiers
    Publisher: HAL CCSD
    Project: ANR | SAFTA (ANR-17-CE25-0008), EC | IMPACT (610150)

    International audience; Large scale production distributed systems are difficult to design and test. Correctness must be ensured when processes run asynchronously, at arbitrary rates relative to each other, and in the presence of failures, e.g., process crashes or messa...

    Add to ORCID
  • publication . Conference object . Part of book or chapter of book . 2021
    Open Access English
    Authors:
    Faqeh, Rasha; Fetzer, Christof; Herrmanns, Holger; Hoffmann, Jörg; Klauck, Michaela; Koehl, Maximilian; Steinmetz, Marcel; Weidenbach, Christoph;
    Persistent Identifiers
    Publisher: Springer International Publishing
    Project: EC | POWVER (695614)

    International audience; Future cyber-physical systems are expected to be dynamic, evolving while already being deployed. Frequent updates of software components are likely to become the norm even for safety-critical systems. In this setting, a full re-certification befo...

    Add to ORCID
  • publication . Conference object . 2021
    Open Access English
    Authors:
    Bhargavan, Karthikeyan; Bichhawat, Abhishek; Do, Quoc,; Hosseyni, Pedram; Küsters, Ralf; Schmitz, Guido; Würtele, Tim;
    Publisher: HAL CCSD
    Project: EC | CIRCUS (683032)

    International audience; We present DY*, a new formal verification framework for the symbolic security analysis of cryptographic protocol code written in the F* programming language. Unlike automated symbolic provers, our framework accounts for advanced protocol features...

  • publication . Conference object . 2021
    Open Access English
    Authors:
    Nikitin, Denis; Canudas de Wit, Carlos; Frasca, Paolo;
    Publisher: HAL CCSD
    Project: EC | Scale-FreeBack (694209)

    International audience; This paper deals with the problem of controlling aggregated linear outputs of a large-scale network to a constant reference value. A multi-output feedback controller is designed such that no information about state vector or system matrices is ne...

  • publication . Article . 2021
    Open Access English
    Authors:
    Romero, Victor; Ly, Mickaël; Rasheed, Abdullah-Haroon; Charrondière, Raphaël; Lazarus, Arnaud; Neukirch, Sébastien; Bertails-Descoubes, Florence;
    Publisher: HAL CCSD
    Project: EC | GEM (639139)

    International audience; We introduce a selected set of protocols inspired from the Soft Matter Physics community in order to validate Computer Graphics simulators of slender elastic structures possibly subject to dry frictional contact. Although these simulators were pr...

  • publication . Conference object . 2021
    Open Access English
    Authors:
    Vianello, Lorenzo; Mouret, Jean-Baptiste; Dalin, Eloïse; Aubry, Alexis; Ivaldi, Serena;
    Publisher: HAL CCSD
    Project: EC | ResiBots (637972), EC | An.Dy (731540)

    International audience; Objective: When a human is interacting physically with a robot (cobot or exoskeleton),his/her posture is inevitably influenced by the robot movement when the two accomplish a task. Among the possible movements that the human could do to follow th...

10,323 research outcomes, page 1 of 1,033