Programma 21st Twente Student Conference on IT
23 juni 2014
10.15 - 10.30
Ontvangst en koffie: ingang Waaier
10.30 - 10.35
Waaier 3: Welkomstwoord door opleidingsdirecteur
10.35 - 10.55
Best paper track A: Thijs Scheepers Virtualization and Containerization of Application Infrastructure: A Comparison
10.55 - 11.15
Best paper track C: Koen van Urk DREAMR: Real-time Evaluation and Attribute based Movie Recommender
11.15 - 11.35
Best paper track D: Jeroen Monteban Using Group Decision Support Systems to Facilitate Organizational Change
11.35 - 11.55
Koffie/thee ingang Waaier
11.55 - 12.15
Best paper track E: Wietze Beukema Formalising the Bitcoin protocol
12.15 - 12.35
Best paper track F: Pim Jager Analysing Embedded Domain Specific Languages in Haskell from Core
12.35 - 12.45
Uitreiking Best Paper Awards door opleidingsdirecteuren BIT en TI
12.45 - 13.30
Lunch: Waaier
HB 2F
13.30 - 13.45
13.45 - 14.00
14.00 - 14.15
M. Boersma
An Effective Audit Strategy
L.J. Buit
Optimising Embedded Domain Specific
Languages (eDSL) using Template Haskell
T. de Jong
Suitability of Haskell for Multi-Agent Systems
HB 2A
HB 2B
HB 2D
B. van den Brink
Providing an Efficient Lockless Hash Table for
Multi-Core Reachability in Java
A.W.B. Drechsel
Providing A Basis For Verifying Android
Applications In JML
M.P.R. Hannema
A Continuation-based Framework for Control
Structures in Scheme
S.H.S. de Vries
Optimizing State Vector Compression for Program
Verification by Reordering Program Variables
G.G. van Gool
Accuracy Characterization for Wifi Localization in
Changing Environments
K.G. Bonnes
Predictive Analytics for Supply Chains: a
Systematic Literature Review
T.G. Franck
How to Engineer an App that Changes Habits
Effectively
D. Lamers
Using Sensor Data Analytics to Improve Decision
Making in High-Speed Sailing
A.P. Dekker
Improvements of Adding a Spoken Dialog
System to a Cooking Coach Application
J. van Doorn
Analysis of Deep Convolutional Neural Network
Architectures
B. S. Veeling
Improving Visitor Traffic Forecasting in Brickand-Mortar Retail Stores with Neural Networks
S.V. Vlutters
Using Rapidly-exploring Random Trees for
Social Navigation
14.15 - 14.30
B. Klein Essink
Using FPGAs as Fine-Grained Static Dataflow
Machines
14.30 - 14.50
Pauze: koffie/thee ingang Waaier
14.50 - 15.05
W. Noort
Arity Reduction for PilGRIM Instructions
P.A.H. van Dijk
Using a Graph Transformation Tool to Generate a
Parser
R.A. Mocking
How does Domain Knowledge Influence the
Creation of Context Diagrams?
R.N. Boon
Post-accident Analysis of Digital Sources for
Traffic Accidents
15.05 - 15.20
N. ten Veen
Using Function Profiling for Implicit Parallelism
H.N. Hindriks
Generating Game Strategies using Graph
Transformations
B. van Ommen
IT Security in SMEs: Necessary or Irrelevant?
D. van der Giessen
Discrete-Event Simulation of Hybrid Petri Nets
with General One-Shot Transitions
J. van Leeuwen
Dynamicity Management in Domain Name
System Resource Records
15.20 - 15.35
15.35
Borrel + Posterpresentatie Ontwerpproject: Educafe
Track A
Broadband for All
Track B
Ubiquitous Computing
Track C
Intelligent Interaction
Track D
Information Management
Track E
Formal Methods and Software Engineering
Track F
Embedded Systems - Functional Specifications