University of Twente

Results: 606



#Item
1Introduction to the R Project for Statistical Computing for use at ITC D G Rossiter University of Twente Faculty of Geo-information Science & Earth Observation (ITC)

Introduction to the R Project for Statistical Computing for use at ITC D G Rossiter University of Twente Faculty of Geo-information Science & Earth Observation (ITC)

Add to Reading List

Source URL: mirrors.shu.edu.cn

Language: English - Date: 2012-08-20 01:45:16
    2Handling uncertainty in information extraction Maurice van Keulen1 and Mena B. Habib1 University of Twente, Faculty of EEMCS, Enschede, The Netherlands {m.vankeulen,m.badiehhabibmorgan}@utwente.nl Abstract. This positio

    Handling uncertainty in information extraction Maurice van Keulen1 and Mena B. Habib1 University of Twente, Faculty of EEMCS, Enschede, The Netherlands {m.vankeulen,m.badiehhabibmorgan}@utwente.nl Abstract. This positio

    Add to Reading List

    Source URL: iswc2011.semanticweb.org

    Language: English - Date: 2011-09-23 10:52:23
      3On stability robustness with respect to LTV uncertainties Gjerrit Meinsma Department of Systems, Signals and Control Faculty of Mathematical Sciences University of Twente P.O. Box 217, 7500 AE Enschede

      On stability robustness with respect to LTV uncertainties Gjerrit Meinsma Department of Systems, Signals and Control Faculty of Mathematical Sciences University of Twente P.O. Box 217, 7500 AE Enschede

      Add to Reading List

      Source URL: wwwhome.math.utwente.nl

      Language: English - Date: 1998-11-18 05:32:30
        4Formal Specification of LinkedBlockingQueue Using Concurrent Separation Logic Jeroen Meijer University of Twente P.O. Box 217, 7500AE Enschede The Netherlands

        Formal Specification of LinkedBlockingQueue Using Concurrent Separation Logic Jeroen Meijer University of Twente P.O. Box 217, 7500AE Enschede The Netherlands

        Add to Reading List

        Source URL: fmt.cs.utwente.nl

        Language: English - Date: 2011-07-12 07:16:33
          5A VERIFICATION TECHNIQUE FOR DETERMINISTIC PARALLEL PROGRAMS MARIEKE HUISMAN UNIVERSITY OF TWENTE, NETHERLANDS JOINT WORK WITH SAEED DARABI AND STEFAN BLOM

          A VERIFICATION TECHNIQUE FOR DETERMINISTIC PARALLEL PROGRAMS MARIEKE HUISMAN UNIVERSITY OF TWENTE, NETHERLANDS JOINT WORK WITH SAEED DARABI AND STEFAN BLOM

          Add to Reading List

          Source URL: www.sci.unich.it

          - Date: 2017-10-23 05:21:59
            6Specification and verification of GPGPU programs Stefan Blom, Marieke Huisman and Matej Mihelˇci´c University of Twente, Enschede, The Netherlands {s.c.c.blom,m.huisman}@utwente.nl November 8, 2013

            Specification and verification of GPGPU programs Stefan Blom, Marieke Huisman and Matej Mihelˇci´c University of Twente, Enschede, The Netherlands {s.c.c.blom,m.huisman}@utwente.nl November 8, 2013

            Add to Reading List

            Source URL: eprints.eemcs.utwente.nl

            - Date: 2013-11-07 12:44:35
              7On the Organisation of Program Verification Competitions Marieke Huisman1 , Vladimir Klebanov2 , and Rosemary Monahan3 1 University of Twente, The Netherlands

              On the Organisation of Program Verification Competitions Marieke Huisman1 , Vladimir Klebanov2 , and Rosemary Monahan3 1 University of Twente, The Netherlands

              Add to Reading List

              Source URL: ceur-ws.org

              - Date: 2012-07-04 10:49:53
                8Witnessing the Elimination of Magic Wands Stefan Blom and Marieke Huisman University of Twente November 8, 2013 Abstract. This paper discusses the use and verification of magic wands. Magic wands are used to specify

                Witnessing the Elimination of Magic Wands Stefan Blom and Marieke Huisman University of Twente November 8, 2013 Abstract. This paper discusses the use and verification of magic wands. Magic wands are used to specify

                Add to Reading List

                Source URL: eprints.eemcs.utwente.nl

                - Date: 2013-11-07 12:31:39
                  9A Smoothed Analysis of the k-Means Method DAVID ARTHUR, Stanford University, Department of Computer Science BODO MANTHEY, University of Twente, Department of Applied Mathematics ¨ HEIKO ROGLIN

                  A Smoothed Analysis of the k-Means Method DAVID ARTHUR, Stanford University, Department of Computer Science BODO MANTHEY, University of Twente, Department of Applied Mathematics ¨ HEIKO ROGLIN

                  Add to Reading List

                  Source URL: wwwhome.math.utwente.nl

                  - Date: 2011-09-07 02:34:22