Rennes

Results: 1341



#Item
171

1 Fundamenta Informaticae nnn–48 DOIFIIOS Press

Add to Reading List

Source URL: people.rennes.inria.fr

Language: English - Date: 2016-11-26 17:03:26
    172

    Under consideration for publication in J. Functional Programming 1 Interfaces for stack inspection Fr´ed´eric Besson and Thomas de Grenier de Latour and Thomas Jensen∗

    Add to Reading List

    Source URL: people.rennes.inria.fr

    Language: English - Date: 2014-09-03 04:27:28
      173

      Revisiting Statechart Synthesis with an Algebraic Approach Tew k Ziadi, Loc Hlout, Jean-Marc Jzquel IRISA, Campus de Beaulieu, 35042 Rennes Cedex, F rance {tewk.ziadi, loic.helouet, jeze quel}@irisa.fr Abstract

      Add to Reading List

      Source URL: people.rennes.inria.fr

      Language: English - Date: 2012-04-12 09:43:46
        174

        Semantic Search: Reconciling Expressive Querying and Exploratory Search S´ebastien Ferr´e1 and Alice Hermann2 1 IRISA/Universit´e de Rennes 1, Campus de Beaulieu, 35042 Rennes cedex, France

        Add to Reading List

        Source URL: iswc2011.semanticweb.org

        Language: English - Date: 2011-09-14 09:53:42
          175

          Estimating Power Loads from Partial Appliance States Nicolas Roux∗† , Baptiste Vrigneau∗ , and Olivier Sentieys∗† ∗ Univ Rennes, CNRS, IRISA, 6 rue de Kerampont, 22300 LANNION, France

          Add to Reading List

          Source URL: nilmworkshop.org

          Language: English - Date: 2018-04-30 17:14:56
            176

            Controlling probabilistic systems under partial observation an automata and verification perspective Nathalie Bertrand, Inria Rennes, France Uncertainty in Computation Workshop October 4th 2016, Simons Institute, Berkele

            Add to Reading List

            Source URL: people.rennes.inria.fr

            Language: English - Date: 2016-10-10 15:16:23
              177

              Algorithms for super-resolution of images and videos based on learning methods Marco Bevilacqua To cite this version: Marco Bevilacqua. Algorithms for super-resolution of images and videos based on learning

              Add to Reading List

              Source URL: people.rennes.inria.fr

              Language: English - Date: 2015-03-05 08:20:36
                178

                Contribution to the analysis of Discrete Event Systems Herv´e Marchand Inria Rennes - Bretagne Atlantique Habilitation defense - June 6th 2017

                Add to Reading List

                Source URL: people.rennes.inria.fr

                Language: English - Date: 2017-11-15 09:17:11
                  179

                  Discrete Event Dynamic Systems manuscript No. (will be inserted by the editor) Diagnosability of Repairable Faults Eric Fabre · Lo¨ıc H´elou¨et · Engel Lefaucheux · Herv´e Marchand

                  Add to Reading List

                  Source URL: people.rennes.inria.fr

                  Language: English - Date: 2018-01-01 15:31:18
                    180

                    T HÉORIE A LGORITHMIQUE DES N OMBRES Basé sur le cours de Christophe R ITZENTHALER Université de Rennes 1 Mathématiques de l’Information, Cryptographie Master 2 Elie N OUMON A LLINI

                    Add to Reading List

                    Source URL: perso.univ-rennes1.fr

                    Language: French - Date: 2017-10-11 06:07:35
                      UPDATE