PDF Document

Source URL: www.wis.ewi.tudelft.nl

EINLADUNG ewi Energy Debate Ökonomische Effekte eines deutschen Kohleausstiegs auf den Strommarkt in Deutschland und der EU

Source URL: www.ewi.research-scenarios.de

Analyzing the State of Static Analysis: A Large-Scale Evaluation in Open Source Software Moritz Beller, Radjino Bholanath Shane McIntosh

Source URL: www.st.ewi.tudelft.nl

• Anti-satellite weapon
• Satellites
• Version control
• Package manager
• Configuration file
• Software quality
• Test automation
• Open Vulnerability and Assessment Language

Towards an application-specific expert finding repository on the Social Web Tom Tourw´e and Elena Tsiporkova Software Engineering & ICT Group, Sirris {tom.tourwe,elena.tsiporkova}@sirris.be

Source URL: www.wis.ewi.tudelft.nl

Dramatic Presence in Improvised Stories Ivo Swartjes and Mari¨et Theune Human Media Interaction group, University of Twente P.O. Box 217, 7500 AE Enschede, The Netherlands [swartjes,theune]@ewi.utwente.nl

Source URL: wwwhome.cs.utwente.nl

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

Source URL: fmt.ewi.utwente.nl

VerCors project Marieke Huisman Formal Methods and Tools

Source URL: fmt.ewi.utwente.nl

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

Source URL: wwwhome.ewi.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

Source URL: wwwhome.ewi.utwente.nl

Adding Dialogue to the Virtual Storyteller Erwin Bergervoet ABSTRACT The Virtual Storyteller is an interactive storytelling system in development at the University of Twente. Currently,

Source URL: hmi.ewi.utwente.nl