Torsten

Results: 1020



#Item
101

Conflict-Driven Answer Set Solving Martin Gebser and Benjamin Kaufmann and Andr´e Neumann and Torsten Schaub∗ Institut f¨ur Informatik, Universit¨at Potsdam, Postfach, D–14439 Potsdam, Germany Abstract

Add to Reading List

Source URL: www.cs.uni-potsdam.de

- Date: 2008-03-06 05:55:32
    102

    Theory Solving made easy with Clingo 5 (Extended Version∗) Martin Gebser Roland Kaminski Torsten Schaub

    Add to Reading List

    Source URL: www.cs.uni-potsdam.de

    - Date: 2016-08-04 02:58:38
      103

      Conflict-Driven Answer Set Solving: From Theory to Practice∗ Martin Gebser Benjamin Kaufmann Torsten Schaub† Universit¨at Potsdam, Institut f¨ur Informatik,

      Add to Reading List

      Source URL: www.cs.uni-potsdam.de

      - Date: 2012-05-04 12:04:36
        104

        Design of Parallel and High-Performance Computing Fall 2013 Lecture: Locks and Lock-Free Instructor: Torsten Hoefler & Markus Püschel

        Add to Reading List

        Source URL: spcl.inf.ethz.ch

        - Date: 2014-01-06 07:53:19
          105

          författare Aminoff Torsten G. Ekberg Henrik Finlands forstmästareförbund Finlands läkarförbund Finlands Riddarhus/Aminoff Torsten G.

          Add to Reading List

          Source URL: www.bsbf.net

          - Date: 2015-10-17 13:40:27
            106

            Schritt für Schritt zum Veranstaltungsticket als Online-Ticket DB Vertrieb GmbH Vertrieb Geschäftskunden Torsten Schell

            Add to Reading List

            Source URL: www.fleet-events.de

            - Date: 2016-05-02 08:49:22
              107

              Extreme Scale Plasma Turbulence Simulations on Top Supercomputers Worldwide William Tang1,2 , Bei Wang1 , Stephane Ethier2 , Grzegorz Kwasniewski3 , Torsten Hoefler3 , Khaled Z. Ibrahim4 , Kamesh Madduri5 , Samuel Willia

              Add to Reading List

              Source URL: spcl.inf.ethz.ch

              - Date: 2016-08-08 09:39:05
                108

                Design of Parallel and High-Performance Computing Fall 2014 Lecture: Roofline Instructor: Torsten Hoefler & Markus Püschel

                Add to Reading List

                Source URL: spcl.inf.ethz.ch

                - Date: 2014-11-23 12:29:14
                  109

                  Eurographics/ IEEE-VGTC Symposium on VisualizationKen Museth, Torsten Möller, and Anders Ynnerman (Editors) Visualization of Uncertainty in Lattices to Support Decision-Making Christopher Collins,1 Sheelagh Carp

                  Add to Reading List

                  Source URL: vialab.science.uoit.ca

                  - Date: 2015-09-22 16:31:59
                    110

                    Design of Parallel and High Performance Computing HS 2014 Torsten Hoefler, Markus P¨ uschel Department of Computer Science ETH Zurich

                    Add to Reading List

                    Source URL: spcl.inf.ethz.ch

                    - Date: 2014-12-18 06:05:55
                      UPDATE