Isabelle

Results: 1487



#Item
81Formalizing Rewriting in Isabelle A Course in the Advanced Track of ISR 2017, Eindhoven, The Netherlands Christian Sternagel and Ren´e Thiemann February 1, 2017

Formalizing Rewriting in Isabelle A Course in the Advanced Track of ISR 2017, Eindhoven, The Netherlands Christian Sternagel and Ren´e Thiemann February 1, 2017

Add to Reading List

Source URL: www.win.tue.nl

- Date: 2017-02-01 10:34:25
    82An efficient Jacobi-like deflationary ICA algorithm: application to EEG denoising Sepideh Hajipour, Laurent Albera, Mohammad Bagher, Isabelle Merlet To cite this version: Sepideh Hajipour, Laurent Albera, Mohammad Bagher

    An efficient Jacobi-like deflationary ICA algorithm: application to EEG denoising Sepideh Hajipour, Laurent Albera, Mohammad Bagher, Isabelle Merlet To cite this version: Sepideh Hajipour, Laurent Albera, Mohammad Bagher

    Add to Reading List

    Source URL: hal.archives-ouvertes.fr

    - Date: 2018-03-31 05:54:13
      83IARC WORKING GROUP REPORTS ENERGY BALANCE AND OBESITY EDITED BY ISABELLE ROMIEU,

      IARC WORKING GROUP REPORTS ENERGY BALANCE AND OBESITY EDITED BY ISABELLE ROMIEU,

      Add to Reading List

      Source URL: publications.iarc.fr

      - Date: 2017-09-13 04:00:56
        84Defining Nonprimitively (Co)recursive Functions in Isabelle/HOL Jasmin Christian Blanchette, Aymeric Bouzy, Andreas Lochbihler, Andrei Popescu, and Dmitriy Traytel 12 December 2016

        Defining Nonprimitively (Co)recursive Functions in Isabelle/HOL Jasmin Christian Blanchette, Aymeric Bouzy, Andreas Lochbihler, Andrei Popescu, and Dmitriy Traytel 12 December 2016

        Add to Reading List

        Source URL: isabelle.in.tum.de

        - Date: 2016-12-12 09:14:41
          85Defining (Co)datatypes and Primitively (Co)recursive Functions in Isabelle/HOL Julian Biendarra, Jasmin Christian Blanchette, Martin Desharnais, Lorenz Panny, Andrei Popescu, and Dmitriy Traytel 12 December 2016

          Defining (Co)datatypes and Primitively (Co)recursive Functions in Isabelle/HOL Julian Biendarra, Jasmin Christian Blanchette, Martin Desharnais, Lorenz Panny, Andrei Popescu, and Dmitriy Traytel 12 December 2016

          Add to Reading List

          Source URL: isabelle.in.tum.de

          - Date: 2016-12-12 09:14:24
            86More SPASS with Isabelle Superposition with Hard Sorts and Configurable Simplification Jasmin Christian Blanchette1 , Andrei Popescu1 , Daniel Wand2 , and Christoph Weidenbach2 1

            More SPASS with Isabelle Superposition with Hard Sorts and Configurable Simplification Jasmin Christian Blanchette1 , Andrei Popescu1 , Daniel Wand2 , and Christoph Weidenbach2 1

            Add to Reading List

            Source URL: people.mpi-inf.mpg.de

            - Date: 2014-02-13 07:47:22
              87Behavior Genetics, Vol. 31, No. 3, May 2001 (©Open-Field Behavior of House Mice Selectively Bred for High Voluntary Wheel-Running Anne M. Bronikowski,1,4 Patrick A. Carter,1,3 John G. Swallow,1,2 Isabelle A. Gira

              Behavior Genetics, Vol. 31, No. 3, May 2001 (©Open-Field Behavior of House Mice Selectively Bred for High Voluntary Wheel-Running Anne M. Bronikowski,1,4 Patrick A. Carter,1,3 John G. Swallow,1,2 Isabelle A. Gira

              Add to Reading List

              Source URL: www.biology.ucr.edu

              - Date: 2010-06-20 15:17:34
                88Regarding Isabelle Huppert Tom Whalen Yesterday as I reread Hubert Hoskin’s translation of C. A. van Peursen’s Leibniz), I couldn’t help but think of Isabelle Huppert. As with Leibniz, experience alone ca

                Regarding Isabelle Huppert Tom Whalen Yesterday as I reread Hubert Hoskin’s translation of C. A. van Peursen’s Leibniz), I couldn’t help but think of Isabelle Huppert. As with Leibniz, experience alone ca

                Add to Reading List

                Source URL: www.ohio.edu

                - Date: 2015-09-01 15:57:56
                  89Curriculum Vitae – I. QUEVAL QUEVAL Isabelle Situation actuelle - Maîtresse de conférences en Sciences de l’éducation (HC 5è échelon) à l’Université de Paris Descartes – Faculté des Scie

                  Curriculum Vitae – I. QUEVAL QUEVAL Isabelle Situation actuelle - Maîtresse de conférences en Sciences de l’éducation (HC 5è échelon) à l’Université de Paris Descartes – Faculté des Scie

                  Add to Reading List

                  Source URL: www.cerlis.eu

                  - Date: 2015-11-09 10:27:51
                    90Structured Induction Proofs in Isabelle/Isar Makarius Wenzel Technische Universit¨at M¨unchen Institut f¨ur Informatik, Boltzmannstraße 3, 85748 Garching, Germany http://www.in.tum.de/∼wenzelm/

                    Structured Induction Proofs in Isabelle/Isar Makarius Wenzel Technische Universit¨at M¨unchen Institut f¨ur Informatik, Boltzmannstraße 3, 85748 Garching, Germany http://www.in.tum.de/∼wenzelm/

                    Add to Reading List

                    Source URL: isabelle.in.tum.de

                    - Date: 2006-08-15 14:30:39