University of Twente Student Theses

Essay

Ho, Yoeng Woey (2008) .NET integration TEAHA.

Broekhuijsen, Jeroen (2006) 2D Upper Body Pose Estimation from Monocular Images.

Rozen van, Riemer (2007) A Debugging Framework for NIPS.

He, Xiaobo and Mayasari, Elisabeth E. (2003) A Design of Software Architecture for “SHAPE” Workforce Management Game.

Bosems, Steven (2011) A Performance Analysis of Model Transformations and Tools.

Bloem van, R.J.G. (2008) A data transformation walkthrough.

Wester, Rinse (2010) A dataflow architecture for beamforming operations.

Henzen, S.F. (2008) A framework for service-oriented extensions to Ruby on Rails.

Meij van der, D.P.L. (2009) A metamodeling approach to incremental model changes.

Oostrum van, A. (2009) A model and specification for development of enterprise application frameworks.

Goos, Sander (2011) A model driven approach to modernizing legacy information systems.

Sözer, Hasan (2004) A peer-to-peer file sharing system for wireless ad-hoc networks.

Lonnee, J. (2008) A scalable repository based on a meta-modelling architecture.

Sikkes, Bart (2006) A stable matching based adaptive subcarrier assignment method for multimodal fibre access networks.

Stuurman, Gijs (2010) Action semantics applied to model driven engineering.

Laarman, A. (2009) An Ontology-Based Metalanguage with Explicit Instantiation.

Habib, Mena Badieh (2008) An intelligent system for automated arabic text categorization.

Brand, A. (2009) An investigation in qualities of software variability.

Bezemer, Maarten (2008) Analysing gCSP models using runtime and model analysis algorithms.

Dijk van, Michel (2007) Analysis and control of nonlinear oscillators.

Doornenbal, Ing. Dirk (2006) Analysis and redesign of the compose*language.

Franssens, Anne (2008) Analysis of Reed Solomon error correcting codes on reconfigurable hardware.

Nguyen, H.Q. (2006) Analysis of crosscutting concerns in QVT-based model transformations.

Gribnau, Erwin (2007) Analysis, design & implementation of a high-performance main-memory object database for Splice2.

Haanstra, Sander (2008) Analyzing and improving generalization over time in CSP-based Brain-Computer Interfaces.

Noordhuizen, Paul (2006) Analyzing aspects in production : plans for software product lines.

Withaar, T. (2005) Analyzing joint-measurements using 3D scancs and statistical models.

Franken, Michel (2007) Ankle actuation for planar bipedal robots.

Oosterhof, N.N. (2005) Application patterns in functional languages.

Winkel te, J.D. (2006) Applying Composition Filters to C.

Linnenbank, Tristan (2006) Architectural Principles for Large Scale Web sites: a Case Study.

Admiraal, A.J. (2010) Automated ANTLR tree walker generation.

Maatjes, N.C. (2007) Automated transformations from ECA rules to Jess.

Rietema, Richard (2009) Automatic Verification and Analysis of Test Results of Océ Printers.

Nijenhuis, C.F. (2011) Automatic generation of graphical domain ontology editors.

Jevring, Markus (2008) Automatic management of bluetooth networks for indoor localization.

Buth, Maarten Dimmen (2006) Ball-handling motion control for soccer playing mini-robots.

Putten van, Ing. A.E. (2007) Behavioural hybrid process calculus translation to modelica.

Kemna, Tim (2006) Bisimulation minimisation and probabilistic model checking.

Tetteroo, Arend-Jan (2006) Bomb-Proof Server : benodigde technieken en producten voor een high availability systeem en hun consequenties voor beschikbaarheid.

Huisman, Rolf (2007) Bugspray for composition filters.

Hove ten, D. (2010) Change management within SysML requirements models.

Kok, Guido (2010) Cloud computing & confidentiality.

Voorst van, B. (2010) Cluster-based collection selection in uncooperative distributed information retrieval.

Veelen van, P. (2007) Clustered acoustic modelling in speech recognition.

Oever van 't, Daniel (2008) CoNSoLe: A Domain Specific Language for Network Services.

Bockting, S. (2009) Collection selection for distributed web search : using highly discriminative keys, query-driven indexing and ColRank.

Kingma, J. (2009) Combined VCO/Mixer for satellite receiver in CMOS.

Oostveen van, Laurens (2007) Conductivity gradient focusing by pervaporationand osmosis-induced fluxes.

Costa, Alvise (2010) Context - Free - Language Parser for Advanced Network Intrusion Detection.

Boros, H. (2008) Context Discovery Adapter (CDA) Protocol.

Klooster van 't, J-W. (2008) Context, design and implementation of a control system for ring resonator-based optical beam forming networks.

Bouwmeester, Egbert (2007) Continuous Classes of Power Amplifiers.

Koop, O.R. (2006) Continuous and discontinuous Galerkin finite element methods of variational Boussinesq water-wave models.

Nijssen, Bobby J.W. (2008) Cooperative Intelligent Transportation Systems Building a demonstrator for the CVIS-project on the Informatieve Weg.

Baardman, Roel (2010) Cumulus Humilis : wireless mesh-networking for gliders.

Baaij, C. (2009) CλasH : from Haskell to hardware.

Veldhuijsen van, Gerald (2006) DICOM Image Retrieval.

Blom, Koen (2009) DVB-S signal tracking techniques for mobile hased arrays.

Noltes, Johan (2011) Data location compliance in cloud computing.

Nouta, Christiaan Alexander (2011) Data processing networks made easy : improving development possibilities for people with limited computer science knowledge.

Borkent, Michiel (2005) De- and recomposition of expression in music performance.

Schiphorst, R. (2000) Demonstration of the Software-Radio Concept.

Verdonkschot, S.F.G. (2007) Design and implementation of a trusted RFID reader.

Bergen van, Marcel (2007) Design and prototyping of a human-computer interface for a desktop tele-classroom conference application.

Bruintjes, Tom M. (2011) Design of a Fused Multiply-Add Floating-Point and Integer Datapath.

Schabbink, Johan (2008) Design of a capacitive based closed-loop displacement sensor.

Mahrof, Dlovan Hoshiar (2008) Design of a fully integrated RF transceiver using noise modulation.

Twelkemeijer, R. (2008) Design of an audio power amplifier with a notch in the output impedance.

Leong, Frank (2007) Design of an oscillator for satellite reception.

Steen van der, H. (2008) Design of animation and debug facilities for gCSP.

Griffioen, H.T. (2008) Design of clock cleaner : a fast locking PLL.

Lootsma, Marten (2008) Design of the global software structure and controller framework for the 3TU soccer robot.

Havinga, W. (2005) Designating join points in Compose* : a predicate-based superimposition selector language for Compose.

Roolvink, S. (2008) Detecting attacks involving DNS servers : a netflow data based approach.

Vliek, G. (2009) Detecting spam machines, a netflow-data based approach.

Berkel, K. (2006) Determinanten van persoonlijk gezondheidsmanagement door senioren.

Yin, Haihan (2010) Developing a generic debugger for advanced-dispatching languages.

Palsma, T. (2010) Discovering groups using short messages from social network profiles : using hierarchically organized concepts to discover relations.

Kant, Gijs (2010) Distributed state space generation for graphs up to isomorphism.

Kroes, S. (2010) Domain specific embedded languages and model driven engineering.

Hollander, Emiel (2010) Dynamic access control.

Donckers, L. (2001) Energy Efficient TCP.

Dijk van, J.J. (2006) Entiteitreconciliatie ondanks beperkte overlap door middel van objectgelijkheid : casus ¿Koppelen van persoonsgegevens zonder een gemeenschappelijke identificatie¿.

Timmer, M. (2008) Evaluating and predicting actual test coverage.

Speelziek, M.D. (2006) Evaluating rapide using the FRODO service discovery protocol.

Wit de , Joost (2008) Evaluating recommender systems : an evaluation framework to predict user satisfaction for recommender systems in an electronic programme guide context.

Agung Julius, A.A. (2001) Evolution of the modal densities of a class of stochastic hybrid systems.

Moel de, E.L. (2010) Expanding the usability of recorded lectures : a new age in teaching and classroom instruction.

Poulisse, Gert-Jan (2007) Exploiting inter-conceptual relationships to boost SVM classification.

Munsterman, Thijs Pieter (2008) Exploring software scalability : and a method for evaluating and improving software scalability.

Peng, Yuxi (2011) Face Recognition at a Distance: a study of super resolution.

Prins, Martin (2007) Fast retransmission for multicast IPTV.

Kruiskamp, Michel (2008) FastSOA : achieving high-performance service oriented architectures.

Molderink, Albert (2007) Feasibility Analysis of MPEG decoding on reconfigurable hardware.

Conradi, Olaf (2006) Fine-grained Join Point Model in Compose.

Brinke te, Steven (2011) First-order function dispatch in a Java-like programming language.

Bosch, Stephan (2008) FollowMe! : distributed movement coordination in wireless sensor and actuator networks.

Evers, Sander (2004) Form follows function. Editor GUIs in a functional style.

Rovers, Kenneth C. (2006) Front-end research for a low-cost spectrum analyser : receiver system and topology study.

Dam, Arjan (2008) Geographic routing in wireless sensor networks for surveillance : introducing a novel routing algorithm: GZOR.

Sombekke, N.B.H. (2007) Graph-Based Semantics of the .NET Intermediate Language.

Derks, Theo (2006) Health at home.

Krijnen, Bram (2007) Heat flow modeling in copiers.

Siles Del Castillo, Hugo (2007) Hybrid Content-Based Collaborative-Filtering Music Recommendations.

Fritz, Jako (2011) Hybrid Intrusion detection network monitoring with honeypots.

Roes, J.B.M. (2007) Identifying and solving overlap between messaging standards with the help of domain models, illustrated with HR-XML’s SIDES and SEP.

Looman, S.A.M. (2009) Impact Analysis of Changes in Functional Requirements in the Behavioral View of Software Architectures.

Babakhani, Bayan (2008) Implementation of a 2D master-slave system.

Sealy, Timothy (2008) Implementation of aggregation based Resource Management in DiffServ (RMD) Quality of Service Model (QOSM).

Blumink, Remco (2008) Implementing and communicating with SHILS.

Jeeninga, Jesper (2011) Improving communication between computer programmers and domain experts : creating a generic scenario description language to aid the process of describing scenarios for emergency response training simulators.

Baesjou, Bertrand (2007) Improving dependability of OSS access to a hierarchical distributed ad-hoc NMS.

Gaiser, Vincent Alexander (2008) Improving spatial awareness in an indoor environment with wireless positioning technology.

Spenkelink, Dennis (2006) Incremental Compilation in Compose*.

Adolfsen, Martijn (2011) Industrial validation of test coverage quality.

Hegeman, Erik (2011) InfoSupport - On the Quality of Quality Models.

Rorije, R.J. (2006) Input/output in functional languages : using algebraic uniontTypes.

Velner, J. (2008) Integrated state-of-charge circuit for rechargeable batteries.

Sulistyo, Pythia (2009) Inter-Organizational Strategic Information Systems Planning (IOSISP) in Network Perspective: How Network Governance Influences IOSISP Effectiveness Evaluation of Healthcare, Government and logistic/Transport Industry Sectors in the Netherlands.

Looise, M.J. (2008) Inter-level consistency checking between requirements and design artefacts.

Bos, Pieter (2006) Interacting with a virtual conductor.

Ende van den, Frederik (2011) Interference Nulling via a Resistor-Weighted Op-Amp Vector Modulator.

Steen van der, J.L.P.J. (2006) Investigation of the band gap widening effect in thin silicon double gate MOSFETs.

Vos, Geert (2008) Issues of iterative mda-bades software development processes.

Kroon, E. (2009) Layered configuration management for software product lines.

Heerde van, Harold (2006) Life-cycle privacy policies for the ambient intelligence.

Scholte, Theodoor (2008) Managing continuous uncertain data by a probabilistic XML database management system.

Sijtema, Marten (2010) Managing variability in model transformations for model-driven product lines : extending the ATL model transformation language with variability management capabilities.

Dekens, Berend (2011) Mapping of a DAB Radio Decoder to Homogeneous Multi-Core SoC : a case study to evaluate a NLP based mapping flow.

Engelen van, L. (2006) Massively parallel quantization implementation using simulated annealing.

Veldman, I. (2009) Matching profiles from social network sites : similarity calculations with social network support.

Nurdin, H.I. (2002) Mathematical modelling of bias and uncertainty in accident risk assessment.

Westmijze, M. (2009) Memory optimizations on the sequential hardware-in-the-loop simulator.

Overbeek, J.F. (2006) Meta Object Facility (MOF): investigation of the state of the art.

Kuppeveld van, Teun (2007) Model-based redesign of a self-balancing scooter.

Khadka, Ravi (2010) Model-driven development of service compositions : transformation from service choreography to service orchestrations.

Vervuurt, Mark (2007) Modeling business process variability : a search for innovative solutions to business process variability modeling problems.

Groen, Ruud (2006) Modelleren en analyseren van een Ethernet switch.

Everse, Wouter M. (2009) Modelling and Verification of a Shortest Path Tree Protocol for Wireless Sensor Networks : Towards a Platform for Formal Veri�cation Experiments.

Ambrosius, Frank (2007) Modelling and distributed controller design of the bodeRC paper-path setup.

Punter, C.M. (2010) Multi-source entity resolution.

Lavooij, K. (2010) Near-real time statistics gathered from a continuous and voluminous data mutation stream.

Kuperus, J.H. (2007) Nested quantification in graph transformation rules.

Diepenmaat, J. (2009) Object XML mappings.

Reede, Joost (2007) On A-Select and Federated Identity Management Systems.

Barbosa, Rafael Ramos Regis (2009) On Access Network Identification and Characterization.

Meijer, Michael (2011) On a Design Space for Aggregating over Sliding Windows on a Stream.

Backx, Niels (2006) On the design of a mobile e-health platform ¿ towards deployment flexibility.

Atketin, Namik (2007) Ontwikkeling van een interactieve model-gedreven E-formulier generator.

Wolterink, T.J.L. (2009) Operational Semantics Applied to Model Driven Engineering.

Nguyen, V.Y. (2007) Optimising techniques for model checkers.

Nguyen, Viet Yen (2007) Optimising techniques for model checkers.

Zandberg, Martin (2012) Optimization of aspect-instantiation strategies in the JIT-compiler.

Os van, Roel (2007) Optimizing XML information retrieval query execution at the physical level.

Pater, Elwin (2011) Partial Order Reduction for PINS.

Mutter, T. (2009) Partition-based network load balanced routing in large scale multi-sink wireless Sensor Networks.

Muis, Allard (2009) Patterns in data conversion.

Olthof, Mark (2007) Performance & Scalability of a Spatial Database in a GIS-Web Service Environment.

Dimitrova, Desislava C. (2006) Performance evaluation of RMD (Resource Management in DIFFSERV) within NSIS (Next Steps In Signaling).

Boschman, S.R. (2006) Performing transformations on .NET intermediate language code.

Portengen, Rik (2007) Phased array antenna processing on reconfigurable hardware.

Spenkelink, Roy David (2007) Porting Compose* to the Java Platform.

Scheerens, Daan (2012) Practical indoor localization using bluetooth.

Hegge, Stephan (2007) Predicting end-to-end network characteristics on mobile devices.

Fournier, Bas (2008) Preprocessing on bilingual data for Statistical Machine Translation.

Oldenkamp, H.A. (2007) Probabilistic model checking : a comparison of tools.

Klifman, T.E. (2011) Propagation of Annotations in a Streaming Context.

Rajput, Abdul Ghani (2011) Properties Relevant for Inferring Provenance.

Lange de, R-J. (2010) Provenance aware sensor networks for real-time data analysis.

Eenennaam van, E.M. (2008) Providing over-the-horizon awareness to driver support systems by means of multi-hop ad hoc vehicle -to-vehicle communication.

Kessel van, Ruud (2008) Querying Probabilistic XML.

Op 't Land, Sjoerd (2011) Ranging and localisation error mitigation in indoor obstructed direct path conditions.

Sambeek van, M. (2007) Real-time shadow generation for 3D simulations using modern hardware.

Sirchia, Riccardo (2006) Realtime softwarematige radarscan conversie : met GPU programmeren.

Slomp, G.H. (2010) Reducing UPPAAL models through control flow analysis.

Damman, B. (2008) Representing PCTL counterexamples.

Koelewijn, J.W. (2009) Resource operations model in a dynamic world.

Tjink-Kam-Jet, Kien-Tsoi T.E. (2009) Result merging for efficient distributed information retrieval.

Braak ter, Timon D. (2009) Run-time spatial resource management in heterogeneous MPSoCs.

Holzenspies, Philip (2005) SILC: SPRITE Input Language with C(++).

Smulders, Bram (2007) SQLbusRT : real time data distribution and storage.

Siaw, Tien Loong (2012) Saturation for LTSmin.

Roodenburg, S.B. (2009) Scheduling the sequential hardware-in-the-loop simulator.

Veen van, Dirk (2011) Secure searching through encrypted data - Creating an efficient Hidden Vector Encryption construction using Inner Product Encryption.

Lastdrager, Elmer (2011) Securing Patient Information in Medical Databases.

Uithol, Michiel (2008) Security in domain-driven design.

Kooijman, Ruben (2007) See, hear, listen : head movements and the sensitive artificial listener.

Driezen, Wouter (2008) Service-oriented and open-source software as potential markets for applications markets : analysis of the possible added value of Capgemini outsourcing's Dutch applications management service center.

Alemneh, E. (2010) Sharing nonlinear gates in the presence of glitches.

Jongeling, R. (2008) Signature modification for Compose?/.NET : implications of signature modification for generic compilers and behavioral signatures of types.

Staal, Eric (2007) Simulation with Hamiltonian mechanics : creating a module for 20-sim.

Nijenhuis, Barry (2005) Smart sign for smart surroundings.

Obbink, Michel (2011) Social interaction in a cooperative brain-computer interface game.

Veen van der, Marcel (2007) Sparse matrix vector multiplication on a field programmable gate array.

Smelik, R.M. (2006) Specification and Construction of Control Flow Semantics : a generic approach using graph transformations.

Horst, Arie (2010) Sport coach : online activity using wireless sensor network.

Zwerus, Robert (2007) Storing Personal Information Management data: Akonadi - unifying PIM data for KDE.

Hoogsteder, V.J.M. (2007) Strategic performance measurement for eBuddy.

Heddema, R.R. (2007) Strategy for a robot soccer team - Let’s play robot soccer -.

Gerards, M. (2008) Streaming reduction circuit for sparse matrix vector multiplication in FPGAs.

Wal van der, Tjalling (2011) Streaming workflow transformation.

Peterson, R.S. (2010) Testing real-time requirements for integrated systems.

Ordelmans, L. (2007) The Creation of a Flexible, Functional Simulation Generator for the Montium Tile Processor.

Jonge de, Marc (2008) The SpinJ model checker : a fast, extensible, object-oriented model checker.

Papegaaij, E. (2007) The Tree Processing Language: Defining the structure and behaviour of a tree.

Sikkens, B. (2010) The storage and retrieval of sensor data and its annotations.

Tinselboer, Koen (2007) The use of rare key indexing for distributed web search.

Bloem van, E.J.W. (2008) The user oriented knowledge management method : a knowledge management method for a small organization with a distributed environment.

Veldhuis, J.W. (2009) Tool support for a metamodeling approach for reasoning about requirements.

Spijkerman, Wietze (2010) Tool support for change impact analysis in requirement models : exploiting semantics of requirement relations as traceabilitt relations.

Hassani, A.Z. (2011) Touch versus in-air Hand Gestures: Evaluating the acceptance by seniors of Human-Robot Interaction using Microsoft Kinect.

Vries de, E. (2009) Touchscreen interaction for healthcare applications.

Harleman, T. (2011) Towards a generic model for audit trails.

Graaff de, V. (2009) Towards distributed information access : possibilities and implementation.

Meppelink, Lianne (2008) Towards interoperability between existing VoIP systems.

Roo, A.J. de (2007) Towards more robust advice : message flow analysis for composition Filters and its Application.

Bakker, P.J. (2010) Train composition using motion as a common context.

Klaver, Ruud (2007) Using NSIS (Next Steps in Signaling) for support of QoS aware multimedia services.

Nijkamp, Barry (2009) Using functional design patterns to improve exports to management information systems.

Schwartzenberg, J. (2010) Using machine learning techniques for advanced passive operating system fingerprinting.

Hiemstra, D. (1996) Using statistical methods to create a bilingual dictionary.

Hagendoorn, B. (2009) Viscous coupling between bio-inspired hair-sensors.

Leenslag, Wilco (2006) Werkwijze ter beoordeling van IT governance op basis van geaccepteerde methodes op het terrein van IT governance.

Schilpzand, M.P. (2008) X-Stream in MaDAM : new junction modelling in macroscopic dynamic traffic assignment models.

Daemen, P. (2008) ZMP based control in 3D passive dynamic walking.