Stephan

Results: 3557



#Item
641

Expressiveness + Automation + Soundness: Towards Combining SMT Solvers and Interactive Proof Assistants Pascal Fontaine, Jean-Yves Marion, Stephan Merz, Leonor Prensa Nieto, and Alwen Tiu LORIA – INRIA Lorraine – Uni

Add to Reading List

Source URL: www.montefiore.ulg.ac.be

Language: English - Date: 2006-01-07 06:25:43
    642

    Exploring and Exploiting Algebraic and Graphical Properties of Resolution Pascal Fontaine, Stephan Merz and Bruno Woltzenlogel Paleo [Pascal.Fontaine,Stephan.Merz,Bruno.WoltzenlogelPaleo]@loria.fr LORIA, INRIA & Nancy Un

    Add to Reading List

    Source URL: www.montefiore.ulg.ac.be

    Language: English - Date: 2010-07-30 09:23:43
      643

      Exploring and Exploiting Algebraic and Graphical Properties of Resolution Pascal Fontaine, Stephan Merz and Bruno Woltzenlogel Paleo [Pascal.Fontaine,Stephan.Merz,Bruno.WoltzenlogelPaleo]@loria.fr LORIA, INRIA & Nancy Un

      Add to Reading List

      Source URL: www.montefiore.ulg.ac.be

      Language: English - Date: 2010-07-30 09:23:43
        644

        1 Learning Robust Objective Functions for Model Fitting in Image Understanding Applications Matthias Wimmer, Freek Stulp, Stephan Tschechne, Bernd Radig Fakult¨at f¨ur Informatik, Technische Universit¨at M¨unchen,

        Add to Reading List

        Source URL: wimmerm.bplaced.net

        Language: English - Date: 2013-01-15 15:47:31
          645

          Besov regularity of solutions to the p-Poisson equation ∗ Stephan Dahlke Lars Diening

          Add to Reading List

          Source URL: www-m15.ma.tum.de

          Language: English - Date: 2014-08-21 12:00:33
            646

            Compression of Propositional Resolution Proofs via Partial Regularization? Pascal Fontaine, Stephan Merz, and Bruno Woltzenlogel Paleo University of Nancy and INRIA, Nancy, France {Pascal.Fontaine,Stephan.Merz,Bruno.Wolt

            Add to Reading List

            Source URL: www.montefiore.ulg.ac.be

            Language: English - Date: 2011-07-11 06:39:50
              647Operations research / Simulation / Scientific modelling / Train / Simulation software / Epistemology

              Stephan_IT08Rail_OpenPowerNet

              Add to Reading List

              Source URL: www.opentrack.ch

              Language: English - Date: 2010-05-20 04:53:19
              648

              Exploring and Exploiting Algebraic and Graphical Properties of Resolution Pascal Fontaine, Stephan Merz and Bruno Woltzenlogel Paleo [Pascal.Fontaine,Stephan.Merz,Bruno.WoltzenlogelPaleo]@loria.fr LORIA, INRIA & Nancy Un

              Add to Reading List

              Source URL: www.verit-solver.org

              Language: English - Date: 2015-06-10 09:33:21
                649

                Flexible decision making under uncertainty for intelligent mobility on-demand Michael Rigby and Stephan Winter Department of Infrastructure Engineering The University of Melbourne, Australia

                Add to Reading List

                Source URL: cognitivegiscience.psu.edu

                Language: English - Date: 2014-09-02 02:00:21
                  650

                  Speakers Programme Dr Stephan Ellner is Head of Clinic in Kalmar County in Sweden. He has worked in the field of implant dentistry since 1988 with experience with Branemark, Astra, Straumann and Friadent. He is the pri

                  Add to Reading List

                  Source URL: www.bsrd.org.uk

                  Language: English - Date: 2006-11-16 02:46:36
                    UPDATE