TU Wien

Results: 297



#Item
1Local Soundness for QBF Calculi? Martin Suda and Bernhard Gleiss TU Wien, Vienna, Austria Abstract. We develop new semantics for resolution-based calculi for Quantified Boolean Formulas, covering both the CDCL-derived ca

Local Soundness for QBF Calculi? Martin Suda and Bernhard Gleiss TU Wien, Vienna, Austria Abstract. We develop new semantics for resolution-based calculi for Quantified Boolean Formulas, covering both the CDCL-derived ca

Add to Reading List

Source URL: forsyte.at

Language: English - Date: 2018-06-26 03:55:02
2Checkable Proofs for First-Order Theorem Proving Giles Reger1 , Martin Suda2 1 School of Computer Science, University of Manchester, UK 2 TU Wien, Vienna, Austria

Checkable Proofs for First-Order Theorem Proving Giles Reger1 , Martin Suda2 1 School of Computer Science, University of Manchester, UK 2 TU Wien, Vienna, Austria

Add to Reading List

Source URL: www.cs.man.ac.uk

Language: English - Date: 2017-08-08 03:28:45
3A Separation Logic with Data: Small Models and Automation? Jens Katelaan1 , Dejan Jovanovi´c2 , and Georg Weissenbacher1 1  TU Wien, Vienna, Austria

A Separation Logic with Data: Small Models and Automation? Jens Katelaan1 , Dejan Jovanovi´c2 , and Georg Weissenbacher1 1 TU Wien, Vienna, Austria

Add to Reading List

Source URL: csl.sri.com

Language: English - Date: 2018-04-25 11:34:42
4TECHNOLOGY OFFER Vibration isolation: Cheap, simple, and effective up to highest standards A “passive” vibration isolation system invented at the TU Wien offers performance comparable to or better than active vibrati

TECHNOLOGY OFFER Vibration isolation: Cheap, simple, and effective up to highest standards A “passive” vibration isolation system invented at the TU Wien offers performance comparable to or better than active vibrati

Add to Reading List

Source URL: www.wtz-ost.at

Language: English - Date: 2018-03-21 04:04:00
    5Erster Zwischenbericht Gender in die Lehre (GiL) Ein Projekt der Koordinationsstelle für Frauenförderung und Gender Studies der TU Wien Autorinnen: Brigitte Ratzer, Sonja Hnilica, Bente Knoll, Elke Szalai

    Erster Zwischenbericht Gender in die Lehre (GiL) Ein Projekt der Koordinationsstelle für Frauenförderung und Gender Studies der TU Wien Autorinnen: Brigitte Ratzer, Sonja Hnilica, Bente Knoll, Elke Szalai

    Add to Reading List

    Source URL: www.b-nk.at

    Language: German - Date: 2015-07-21 02:28:41
      6Open Access Förderung an der TU Wien Mag.(FH) Ingrid Haas Bibliothek der TU Wien  Inhalt

      Open Access Förderung an der TU Wien Mag.(FH) Ingrid Haas Bibliothek der TU Wien Inhalt

      Add to Reading List

      Source URL: www.ub.tuwien.ac.at

      Language: German - Date: 2014-10-22 03:06:36
        7Die Bibliothek der TU Wien  Rundgang und Übersicht

        Die Bibliothek der TU Wien Rundgang und Übersicht

        Add to Reading List

        Source URL: www.ub.tuwien.ac.at

        Language: German - Date: 2014-10-22 03:05:26
          8Expressibility of Argumentation Frameworks and its Relation to the Dynamics of Argumentation Stefan Woltran TU Wien, Austria  April 10th, 2018

          Expressibility of Argumentation Frameworks and its Relation to the Dynamics of Argumentation Stefan Woltran TU Wien, Austria April 10th, 2018

          Add to Reading List

          Source URL: www.dbai.tuwien.ac.at

          Language: English - Date: 2018-05-08 04:23:48
            9Particle Therapy Patient Scheduling: Time Estimation for Scheduling Sets of Treatments? Johannes Maschler, Martin Riedler, and G¨ unther R. Raidl Institute of Computer Graphics and Algorithms, TU Wien, Vienna, Austria {

            Particle Therapy Patient Scheduling: Time Estimation for Scheduling Sets of Treatments? Johannes Maschler, Martin Riedler, and G¨ unther R. Raidl Institute of Computer Graphics and Algorithms, TU Wien, Vienna, Austria {

            Add to Reading List

            Source URL: www.ac.tuwien.ac.at

            Language: English - Date: 2017-06-22 11:30:50
              10„Wir sind nicht verschroben, wir sind ganz normal.“  Gender in die Lehre (GiL) Ein Projekt der Koordinationsstelle für Frauenförderung und Gender Studies der TU Wien Zweiter Zwischenbericht Autorinnen: Brigitte Rat

              „Wir sind nicht verschroben, wir sind ganz normal.“ Gender in die Lehre (GiL) Ein Projekt der Koordinationsstelle für Frauenförderung und Gender Studies der TU Wien Zweiter Zwischenbericht Autorinnen: Brigitte Rat

              Add to Reading List

              Source URL: www.b-nk.at

              Language: German - Date: 2015-07-21 02:27:51