CITE

Results: 8839



#Item
291Parallel postulates and decidability of intersection of lines: a mechanized study within Tarski’s system of geometry Pierre Boutry, Julien Narboux, Pascal Schreck To cite this version:

Parallel postulates and decidability of intersection of lines: a mechanized study within Tarski’s system of geometry Pierre Boutry, Julien Narboux, Pascal Schreck To cite this version:

Add to Reading List

Source URL: hal.inria.fr

- Date: 2016-12-20 17:23:49
    292GigaVoxels, Real-time Voxel-based Library to Render Large and Detailed Objects Pascal Guehl, Fabrice Neyret To cite this version: Pascal Guehl, Fabrice Neyret. GigaVoxels, Real-time Voxel-based Library to Render Large an

    GigaVoxels, Real-time Voxel-based Library to Render Large and Detailed Objects Pascal Guehl, Fabrice Neyret To cite this version: Pascal Guehl, Fabrice Neyret. GigaVoxels, Real-time Voxel-based Library to Render Large an

    Add to Reading List

    Source URL: hal.inria.fr

    - Date: 2016-12-20 20:35:07
      2931) Si una vez realizada la instalación de Write-N-Cite, no aparece el icono en la barra de herramientas de Word. Vaya a Opciones de Word > Complementos. Mire si hay un fichero listado llamado “RefWorks.dot” en el li

      1) Si una vez realizada la instalación de Write-N-Cite, no aparece el icono en la barra de herramientas de Word. Vaya a Opciones de Word > Complementos. Mire si hay un fichero listado llamado “RefWorks.dot” en el li

      Add to Reading List

      Source URL: drupal.upsa.es

      - Date: 2011-11-23 07:53:06
        294Machine learning solutions to visual recognition problems Jakob Verbeek To cite this version: Jakob Verbeek. Machine learning solutions to visual recognition problems. Computer Vision

        Machine learning solutions to visual recognition problems Jakob Verbeek To cite this version: Jakob Verbeek. Machine learning solutions to visual recognition problems. Computer Vision

        Add to Reading List

        Source URL: hal.inria.fr

          295Dictionary learning from phaseless measurements Andreas Tillmann, Yonina Eldar, Julien Mairal To cite this version: Andreas Tillmann, Yonina Eldar, Julien Mairal. Dictionary learning from phaseless measurements. IEEE Int

          Dictionary learning from phaseless measurements Andreas Tillmann, Yonina Eldar, Julien Mairal To cite this version: Andreas Tillmann, Yonina Eldar, Julien Mairal. Dictionary learning from phaseless measurements. IEEE Int

          Add to Reading List

          Source URL: hal.inria.fr

          - Date: 2016-12-20 22:11:47
            296Automated rejection and repair of bad trials in MEG/EEG Mainak Jas, Denis Engemann, Federico Raimondo, Yousra Bekhti, Alexandre Gramfort To cite this version:

            Automated rejection and repair of bad trials in MEG/EEG Mainak Jas, Denis Engemann, Federico Raimondo, Yousra Bekhti, Alexandre Gramfort To cite this version:

            Add to Reading List

            Source URL: hal.archives-ouvertes.fr

            - Date: 2016-12-19 04:06:00
              297Health Care Guideline Diagnosis and Treatment of Osteoporosis How to cite this document: Florence R, Allen S, Benedict L, Compo R, Jensen A, Kalogeropoulou D, Kearns A, Larson S, Mallen E, O’Day K, Peltier A, Webb B.

              Health Care Guideline Diagnosis and Treatment of Osteoporosis How to cite this document: Florence R, Allen S, Benedict L, Compo R, Jensen A, Kalogeropoulou D, Kearns A, Larson S, Mallen E, O’Day K, Peltier A, Webb B.

              Add to Reading List

              Source URL: www.icsi.org

              - Date: 2016-01-12 09:54:50
                298Monomials in arithmetic circuits: Complete problems in the counting hierarchy Hervé Fournier1 , Guillaume Malod1 , and Stefan Mengel∗2 1 Univ Paris Diderot, Sorbonne Paris Cité,

                Monomials in arithmetic circuits: Complete problems in the counting hierarchy Hervé Fournier1 , Guillaume Malod1 , and Stefan Mengel∗2 1 Univ Paris Diderot, Sorbonne Paris Cité,

                Add to Reading List

                Source URL: drops.dagstuhl.de

                - Date: 2012-02-24 06:03:32
                  299[Cite as State v. Castagnola, 145 Ohio St.3d 1, 2015-OhioTHE STATE OF OHIO, APPELLEE, v. CASTAGNOLA, APPELLANT. [Cite as State v. Castagnola, 145 Ohio St.3d 1, 2015-OhioSearch-warrant affiant’s undiscl

                  [Cite as State v. Castagnola, 145 Ohio St.3d 1, 2015-OhioTHE STATE OF OHIO, APPELLEE, v. CASTAGNOLA, APPELLANT. [Cite as State v. Castagnola, 145 Ohio St.3d 1, 2015-OhioSearch-warrant affiant’s undiscl

                  Add to Reading List

                  Source URL: www.supremecourt.ohio.gov

                  - Date: 2016-07-06 10:37:44
                    300Herbrand’s theorem and non-Euclidean geometry Michael Beeson, Pierre Boutry, Julien Narboux To cite this version: Michael Beeson, Pierre Boutry, Julien Narboux. Herbrand’s theorem and non-Euclidean geometry. Bulletin

                    Herbrand’s theorem and non-Euclidean geometry Michael Beeson, Pierre Boutry, Julien Narboux To cite this version: Michael Beeson, Pierre Boutry, Julien Narboux. Herbrand’s theorem and non-Euclidean geometry. Bulletin

                    Add to Reading List

                    Source URL: hal.inria.fr

                    - Date: 2016-12-20 09:17:19