Marieke

Results: 262



#Item
41Learning with the Web: Spotting Named Entities on the intersection of NERD and Machine Learning Marieke van Erp1 , Giuseppe Rizzo2 , Rapha¨el Troncy2 1

Learning with the Web: Spotting Named Entities on the intersection of NERD and Machine Learning Marieke van Erp1 , Giuseppe Rizzo2 , Rapha¨el Troncy2 1

Add to Reading List

Source URL: giusepperizzo.github.io

Language: English - Date: 2015-12-06 12:53:25
    42Josephson supercurrent through a topological insulator surface state Nb/Bi2Te3/Nb junctions Marieke Snelder MESOChernogolovka 17 June 2012

    Josephson supercurrent through a topological insulator surface state Nb/Bi2Te3/Nb junctions Marieke Snelder MESOChernogolovka 17 June 2012

    Add to Reading List

    Source URL: meso12.itp.ac.ru

    Language: English - Date: 2012-07-19 02:16:11
      43Marieke Bickert ist da! Wir wünschen euch, liebe Sabrina und lieber Marco, von Herzen alles Gute zur Geburt eurer Tochter!

      Marieke Bickert ist da! Wir wünschen euch, liebe Sabrina und lieber Marco, von Herzen alles Gute zur Geburt eurer Tochter!

      Add to Reading List

      Source URL: lakk.sts-gym-fulda.bildung.hessen.de

      - Date: 2015-05-06 10:32:52
        44Formal Techniques for Java-like Programs (FTfJP) Alessandro Coglio1 , Marieke Huisman2 , Joseph R. Kiniry3 , Peter M¨ uller4 , and Erik Poll3 1

        Formal Techniques for Java-like Programs (FTfJP) Alessandro Coglio1 , Marieke Huisman2 , Joseph R. Kiniry3 , Peter M¨ uller4 , and Erik Poll3 1

        Add to Reading List

        Source URL: www.kestrel.edu

        Language: English - Date: 2005-01-30 14:52:17
          4512 I/O Magazine / decemberI/O Magazine / december 2013 Op 31 oktober ontving Marieke Huisman (UT) de Nederlandse prijs voor ICT-onderzoekZij kreeg die prijs voor haar werk op het

          12 I/O Magazine / decemberI/O Magazine / december 2013 Op 31 oktober ontving Marieke Huisman (UT) de Nederlandse prijs voor ICT-onderzoekZij kreeg die prijs voor haar werk op het

          Add to Reading List

          Source URL: fmt.ewi.utwente.nl

          Language: Dutch - Date: 2014-02-11 14:42:18
            46@inproceedings{fokkens-etal:13, author = {Antske Fokkens and Marieke van Erp and Piek Vossen and Sara Tonelli and Willem Robert van Hage and Luciano Serafini and Rachele Sprugnoli and Jesper Hoeksema}, title = {{GAF}: A

            @inproceedings{fokkens-etal:13, author = {Antske Fokkens and Marieke van Erp and Piek Vossen and Sara Tonelli and Willem Robert van Hage and Luciano Serafini and Rachele Sprugnoli and Jesper Hoeksema}, title = {{GAF}: A

            Add to Reading List

            Source URL: groundedannotationframework.org

              47VerCors project  Marieke Huisman Formal Methods and Tools

              VerCors project Marieke Huisman Formal Methods and Tools

              Add to Reading List

              Source URL: fmt.ewi.utwente.nl

              Language: Dutch - Date: 2012-06-11 08:22:31
                48Scheduler-Specific Confidentiality for Multi-Threaded Programs and Its Logic-Based Verification Marieke Huisman and Tri Minh Ngo University of Twente, Netherlands

                Scheduler-Specific Confidentiality for Multi-Threaded Programs and Its Logic-Based Verification Marieke Huisman and Tri Minh Ngo University of Twente, Netherlands

                Add to Reading List

                Source URL: wwwhome.ewi.utwente.nl

                Language: English - Date: 2012-04-12 05:48:23
                  49Specification and Verification of Atomic Operations in GPGPU Programs Afshin Amighi, Saeed Darabi, Stefan Blom, and Marieke Huisman University of Twente, The Netherlands, {a.amighi,s.darabi,s.blom,m.huisman}@utwente.nl

                  Specification and Verification of Atomic Operations in GPGPU Programs Afshin Amighi, Saeed Darabi, Stefan Blom, and Marieke Huisman University of Twente, The Netherlands, {a.amighi,s.darabi,s.blom,m.huisman}@utwente.nl

                  Add to Reading List

                  Source URL: wwwhome.ewi.utwente.nl

                  Language: English - Date: 2015-07-15 04:42:14
                    50Achtergrond Arbeidsmarkt  Meer vrouwen in de ict, waarom eigenlijk? Ict lijkt wel een mannensport. Marieke Huisman en Mariëlle Stoelinga, beiden verbonden aan de Universiteit Twente, pleiten voor meer vrouwen in de tech

                    Achtergrond Arbeidsmarkt Meer vrouwen in de ict, waarom eigenlijk? Ict lijkt wel een mannensport. Marieke Huisman en Mariëlle Stoelinga, beiden verbonden aan de Universiteit Twente, pleiten voor meer vrouwen in de tech

                    Add to Reading List

                    Source URL: fmt.ewi.utwente.nl

                    Language: Dutch - Date: 2014-11-10 12:18:03