Advanced search in
Research products
arrow_drop_down
Searching FieldsTerms
Any field
arrow_drop_down
includes
arrow_drop_down
Include:
42 Research products, page 1 of 5

  • Publications
  • 2017-2021
  • Conference object
  • CA
  • AT
  • English
  • HAL AMU
  • HAL Paris Nanterre

10
arrow_drop_down
Relevance
arrow_drop_down
  • Publication . Conference object . Article . Preprint . 2021
    Open Access English
    Authors: 
    Guha, Shibashis; Jecker, Ismaël; Lehtinen, Karoliina; Zimmermann, Martin;
    Countries: France, United Kingdom
    Project: EC | ISTplus (754411), EC | FouCo (892704)

    We study the expressiveness and succinctness of good-for-games pushdown automata (GFG-PDA) over finite words, that is, pushdown automata whose nondeterminism can be resolved based on the run constructed so far, but independently of the remainder of the input word. We pr...

  • Publication . Article . Conference object . 2019
    Closed Access English
    Authors: 
    Quentin Lemarié; Fannie Alloin; Pierre-Xavier Thivel; Hassane Idrissi; Lionel Roué;
    Publisher: HAL CCSD
    Country: France
    Project: NSERC

    The acoustic emission (AE) technique has been widely used since the 70’s for detecting anomalies such as leakages and cracks on large structure (e.g. bridges, pressure containers, and pipe lines). The analysis of the AE signals (transient elastic waves) can also be use...

  • Publication . Article . Part of book or chapter of book . Conference object . 2020
    Open Access English
    Authors: 
    Laureijs, R.; Racca, G.D.; Mellier, Y.; Musi, P.; Brouard, L.; Boenke, T.; Gaspar Venancio, L.; Maiorano, E.; Short, A.; Strada, P.; +54 more
    Countries: France, United States, Netherlands

    International audience; Euclid, an ESA mission designed to characterise dark energy and dark matter, passed its Mission Critical Design Review in November 2018. It was demonstrated that the project is ready to start integration and test of the main systems, and that it ...

  • Publication . Article . Conference object . Part of book or chapter of book . 2018
    Open Access English
    Authors: 
    Matthew Elliott; Benjamin Golub; Matt V. Leduc;
    Publisher: HAL CCSD
    Countries: France, United Kingdom, France, Austria

    Empirical studies of commercial relationships between firms reveal that (i) suppliers encounter situations in which they can gain in the short run by acting opportunistically---for example, delivering a lower quality than promised after being paid; and (ii) good conduct...

  • English
    Authors: 
    Boissonnat, Jean-Daniel; Kachanovich, Siargey; Wintraecken, Mathijs;
    Publisher: HAL CCSD
    Country: France
    Project: ANR | 3IA@cote d'azur (ANR-19-P3IA-0002), EC | ISTplus (754411), EC | GUDHI (339025)

    International audience; Isomanifolds are the generalization of isosurfaces to arbitrary dimension and codimension, i.e. submanifolds of $R^d$ defined as the zero set of some multivariate multivalued smooth function f from $R^d$ to $R^{d-n}$, where n is the intrinsic dim...

  • Publication . Preprint . Conference object . Article . 2018
    Open Access English
    Authors: 
    Creignou, Nadia; Pichler, Reinhard; Woltran, Stefan;
    Publisher: HAL CCSD
    Country: France
    Project: FWF | Fixed-Parameter Tractabil... (P 25518), FWF | Fragment-Driven Belief Ch... (P 25521), FWF | Decodyn: Treating Hard Pr... (Y 698)

    Many reasoning problems are based on the problem of satisfiability (SAT). While SAT itself becomes easy when restricting the structure of the formulas in a certain way, the situation is more opaque for more involved decision problems. We consider here the CardMinSat pro...

  • Publication . Article . Conference object . Preprint . 2019
    Open Access English
    Authors: 
    Das, Shantanu; Di Luna, Giuseppe A.; Flocchini, Paola; Santoro, Nicola; Viglietta, Giovanni; Yamashita, Masafumi;
    Publisher: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
    Countries: Italy, France
    Project: NSERC

    We consider a distributed system of n identical mobile robots operating in the two dimensional Euclidian plane. As in the previous studies, we consider the robots to be anonymous, oblivious, dis-oriented, and without any communication capabilities, operating based on th...

  • Publication . Preprint . Conference object . Article . 2021
    Open Access English
    Authors: 
    Bouchard, Sébastien; Dieudonné, Yoann; Labourel, Arnaud; Pelc, Andrzej;
    Publisher: HAL CCSD
    Country: France
    Project: NSERC

    A mobile agent navigating along edges of a simple connected graph, either finite or countably infinite, has to find an inert target (treasure) hidden in one of the nodes. This task is known as treasure hunt. The agent has no a priori knowledge of the graph, of the locat...

  • Publication . Article . Other literature type . Conference object . 2020
    Open Access English
    Authors: 
    Yves Tramblay; Aristeidis Koutroulis; Luis Samaniego; Sergio M. Vicente-Serrano; Florence Volaire; Aaron Boone; Michel Le Page; Maria Carmen Llasat; Clément Albergel; Selmin Burak; +21 more
    Publisher: HAL CCSD
    Countries: Spain, Greece, Croatia, France

    Summarization: Droughts can have strong environmental and socio-economic impacts in the Mediterranean region, in particular for countries relying on rain-fed agricultural production, but also in areas in which irrigation plays an important role and in which natural vege...

  • Closed Access English
    Authors: 
    Charley Gros; Benjamin De Leener; Sara M. Dupont; Allan R. Martin; Michael G. Fehlings; Rohit Bakshi; Subhash Tummala; Vincent Auclair; Donald G. McLaren; Virginie Callot; +2 more
    Publisher: HAL CCSD
    Country: France

    International audience; Localizing the center of the spinal cord on MR images is a critical step toward fully automated and robust quantitative analysis, which is essential to achieve clinical utilization. While automatic localization of the spinal cord might appear as ...