Faculty: EEMCS: Electrical Engineering, Mathematics and Computer Science

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Year | Item Type
Jump to: 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1996 | 1994 | 1992 | 0002
Number of items: 1234.


Abdelaziz, Mohamed Essam Mohamed Kassem (2016) Designing, implementing and integrating a controller for the MRI compatible robotic breast biopsy system.

Aliyev, J. (2016) TCAD device simulation of novel test structures for determining the lifetime in solar cells.

Alizada, R. (2016) Experimental investigation of new device test structures for determining the lifetime in solar cells.

Appel, R.N. and Folmer, H.H (2016) Analysis, optimization, and design of a SLAM solution for an implementation on reconfigurable hardware (FPGA) using CλaSH.

Avgidis, F. (2016) Single charge transport and charge sensing in quantum dots.

Baas, S.P.R. (2016) A machine learning approach to the automatic classification of female uroflowmetry measurements.

Badin, Y. (2016) Contextual Authentication : Using Mobile Phone Movements to Authenticate Owners Implicitly.

Bakker, W. (2016) The analysis of passive Wi-Fi tracking.

Balk, Roland (2016) SQLento: database programming made easier.

Bankert, J.J.M. (2016) Comparison of Symbolic and Distributed Representation Language Models on the Lexical Substitution and Simplification Tasks.

Barbieri, G. (2016) Control architecture for docking UAVs with a 7-DOF manipulator.

Berg, T.M. van den (2016) Radar sensing for automotive parking distance control applications.

Beukema, W.J.B. (2016) Enhancing Network Intrusion Detection through Host Clustering.

Boerdonk, R.A.C. van (2016) Pensioenbewustzijn: Kan IT hieraan bijdragen?

Boink, Y.E. (2016) Combined modelling of optimal transport and segmentation revealing vascular properties.

Bokhove, T. (2016) Improving the model management workflow.

Bol Raap, W (2016) The design of a common data model for generic synchromodal cargo-tracking in logistics using web scraping and big & open data.

Bonilla Fernandez, A. (2016) Controller design for Dual-Hemi CVT.

Booltink, E.W.M. (2016) Dynamic sharing of service capacity in a network.

Braak, J.C. ter (2016) Radiolocalisation at construction sites.

Brink, F. van den (2016) Manipulation of soft grippers for pick-and-place tasks.

Broenink, T.G. (2016) On reusable SLAM.

Bukai, E. (2016) Design of a novel needle steering manipulator for minimally invasive guided breast biopsy.

Chan, N. P.K. (2016) On Analysis and Design of Algorithms for Robust Estimation from Relative Measurements.

Ciobotea, C. (2016) Improving payment authorization rates : by intelligently routing transactions.

Delamare, John S.R. (2016) 3D-printed whisker sensor.

Ding, H. (2016) Integrating value modeling into ArchiMate.

Dokter, J. (2016) 20-sim Template for Raspberry Pi 3.

Doppenberg, David (2016) Voorspellen van verkiezingsuitslagen van de Tweede Kamer op basis van getelde stemmen.

Eikenbroek, O.A.L. (2016) The boundedly rational user equilibrium : a parametric optimization approach.

Ekelmans, P.D.A. (2016) Modelling the Output Spectrum of a Direct Digital Synthesizer exploiting a Digital to Time Converter.

Elsinga, J.W. (2016) On a framework for domain independent heuristics in graph transformation planning.

Esquivel-Vargas, Herson (2016) Automatic deployment of specification-based intrusion detection in the BACnet Protocol.

Etheredge, C.E. (2016) GoSlow: Design and Implementation of a Scalable Camera Array for High-Speed Imaging.

Febriani, T.R. (2016) Strategic Planning Using Reasoning Tree-Based Approach.

Fokkema, J. (2016) Using a challenge to improve face spoofing detection.

Fransen, R.W. (2016) Single-to-many Dynamic Traffic Assignment for Container Freight on a Multimodal Network.

Garza Morales, G.A. (2016) Increasing the Autonomy of the Pipe Inspection Robot PIRATE.

Gellenbeck, T.L. (2016) Origin-destination matrix estimation with SPSA and STAQ.

Ghasemieh, H. (2016) Influence of short cycles on the PageRank distribution in scale-free random graphs.

Grefte, L.J.L. (2016) NI myRIO as target for 20-sim.

Groot Wassink, W.G.J. (2016) Combining filters and self-interference cancellation for mixer-first receivers in Full Duplex and Frequency-Division Duplex transceiver systems.

Grootjans, R. (2016) Design of an Astronomy Front End for Orbiting Low Frequency Antennas for Radio Astronomy.

Grootjans, Roelof (2016) Detection of dispersed pulsars in a time series by using a matched filtering approach.

Hakkenberg, Chiel (2016) Experimental evaluation of LoRa(WAN) in indoor and outdoor environments.

Hartman, T.H.F. (2016) Inter-Symbol Interference Prevention techniques for Noise-based Frequency Offset Transmit-reference Systems.

Heersink, R. (2016) An adaptive Bayesian approach towards a robust classifier for UAVs and birds.

Heijblom, A.R. (2016) Using features of models to improve state space exploration.

Hendrix, J.M. (2016) Impedimetric detection of cancer derived vesicles: combining smart sieves with nanogap capacitors.

Herwijnen, A.G. van (2016) The influence of inner-state displays on human-human interaction.

Hijum, S. van (2016) Symbolic model checking of timed automata using LTSmin.

Hillerström, F.H.J. (2016) Deep verification learning.

Hindriks, H.N. (2016) Vulnerability analysis of cyber security modelling language models using probabilistic logic.

Hofstra, Silke (2016) AMR correction in an FPGA.

Hoogesteger, Martijn (2016) Securing mobile VoIP privacy with tunnels.

Huistra, D.J. (2016) Automated generation of attack trees by unfolding graph transformation systems.

Hulsebosch, M.A.C. (2016) Cloud Strife : an analysis of cloud-based shadow IT and a framework for managing its risks and opportunities.

Jagannatha, P. (2016) Detecting Exploit kits using Machine Learning.

Jansen, R. (2016) Waypoint navigation with obstacle avoidance for MAV's.

Janssen, Bas (2016) Determining truth in tweets using feature based supervised statistical classifiers.

Janssen, Stefan C. (2016) Reducing labeled data usage in duplicate detection using deep belief networks.

Jimenez Kwast, D. (2016) GPU-Based Photon Mapping for Approximate Real-Time Indirect Diffuse Illumination.

Kamp, P.J. (2016) Towards an Ultra Sensitive Seismic Accelerometer.

Kanters, N.B. (2016) Head Pose And Light Source Estimation On Low Resolution Facial Images Using A Texture Based Approach.

Karavidas, A. (2016) Light Emission Measurements on Diodes.

Keller, Kristian M.Sc. (2016) A day ahead electricity storage flexibility prediction for peak shaving.

Keuter, D.R. (2016) Development of an Underwater Fan with Controllable Blade Pitch as an Infrasound Generator for Seismic Imaging.

Klein Schaarsberg, F.L.H. (2016) Filter Bubbles in Opinion Dynamics.

Klootwijk, S. (2016) Probabilistic Analysis of Facility Location on Random Shortest Path Metrics.

Knoben, L.A.M. (2016) Optimizing the moment of customer delivery in ORTEC Inventory Routing.

Kok, K.J. (2016) TERRA support for architecture modeling.

Kolev, Kiril (2016) Sequential price of anarchy for atomic congestion games with limited number of players.

Korać, Kristijan (2016) Impact of Data Visualisation on Users in CRM Systems.

Koukoulis, Yannis (2016) Dual laser fault injection.

Kreiser, Simon (2016) Marrying GUI and Git : how authoring tools for E-Learning can benefit from version control.

Langen, S.F. van (2016) An architectural design for LAN-based web applications in a military mission- and safety-critical context.

Laverman, G.J. (2016) Java Code Virtualization of Industrial-strength Java Code.

Le, Van Huynh (2016) Analyzing white-box designs for differential computation analysis resistance.

Lijbers, J.M. (2016) Predicting parking lot occupancy using Prediction Instrument Development for Complex Domains.

Liu, Luyao (2016) Applying intelligence amplification in decision making.

Luiken, N.A. (2016) Solution techniques for inverse problems in neural field theory.

Maan, H.C. (2016) Item availability restricted.

Maat, GJ ter (2016) Towards a scalable environment for traffic information services.

Man, Shen Yi (2016) Data driven banking : applying Big Data to accurately determine consumer creditworthiness.

Manders, J. (2016) Opslag strategieën in een Multi-deep magazijn.

Meer, A.J.M. van der (2016) Mapping the underworld.

Mentink, Fons (2016) Machine driven predictions of the socio-economic status of Twitter users.

Moscoviter, D. (2016) Improving spatial indexing and searching for location-based DNS queries.

Neele, Thomas (2016) GPU implementation of partial-order reduction.

Nijhof, S.F.J. (2016) Frequency tagging of electrocutaneous stimuli for observation of cortical nociceptive processing.

Nijmeijer, D.M. (2016) Modelling air quality in the city.

Noort, W (2016) Item availability restricted.

Noshahri, H. (2016) Reducing fuel consumption for Trailing Suction Hopper Dredgers using automatic steering.

Nutma, J. (2016) More comprehensive demand side management by the integration of the powermatcher and triana.

Oostewechel, P.S. (2016) Improving the linearity of a single stage boost converter audio amplifier.

Orij, J. (2016) Self-adaptation to concept drift in web-based anomaly detection.

Oude Booijink, N.H.M. (2016) Parallel magnetic particle imaging: compressed sensing of field free line excitations.

Ouden, J.J.A. den (2016) A quest for the best automated tests : Estimating software reliability based on Spec Explorer's on-the-fly test results.

Oudshoorn, Luuk (2016) The theory and practice of probabilistic CMOS.

Outersterp, R.M. van (2016) Partitioning of Spatial Data in Publish-Subscribe Messaging Systems.

PINGEN, G.L.J. (2016) Machine Learning for Ground Cover and Hot Target Analysis in RGB and Satellite Imagery.

Pakhira, A. (2016) A Fault Injection Framework for Reliability Evaluation of Networks on Chip Designed for Space Applications.

Peeters, J.J. (2016) Fast and Accurate Likelihood Ratio Based Biometric Verification in the Encrypted Domain.

Pfab, Isabel (2016) A wearable intervention for posture correction.

Pijnenborg, I. (2016) Methodological guideline to find suitable design patterns to implement adaptability.

Putten, L.A. van der (2016) Langste afstand per trein binnen een dag: Wat is de maximale afstand die in 24 uur per spoor in Nederland is af te leggen?

Reijnders, V.M.J.J. (2016) Probabilistic analysis of highly connected random geometric graphs.

Ritterfeld, Thom (2016) On-demand app development.

Rooij, V.A. van (2016) Item availability restricted.

Rossides, Charalambos (2016) Design and implementation of a modular, customizable and multi-modality compatible actuator with position feedback.

SIMSCH, J.J. (2016) Video Quality in VR : Measuring Impact of Bandwidth-Saving Approaches on Quality of Experience and Social Interaction in a HMD-mediated Video Application.

Schoot Uiterkamp, M.H.H. (2016) Robust planning of electric vehicle charging.

Schroer, G.H. (2016) Feasibility of End-To-End Encryption using Attribute Based Encryption in Health Care.

Schuermans, N.P.E. (2016) De druk van Nivolumab op resources van het Antoni van Leeuwenhoekziekenhuis.

Schultewolter, M. (2016) Verification of user information.

Seddigh, Uraz (2016) Bring your own authenticator/authentication security in physical access control systems.

Slatman, H. (2016) Unboxing security analytics : towards effective data driven security operations.

Spoor, R.J.F. (2016) Design of an Ultrasound Guided Breast Biopsy End-effector.

Stiphout, F. van (2016) Approximating the Flow-Based Transport Capacity Constraints for the Day-Ahead Power Market.

Strooisma, Ale (2016) A monitoring solution for multi-language software.

Suleymanov, S. (2016) Design and Implementation of an FMCW Radar Signal Processing Module for Automotive Applications.

Sybenga, S.D.A (2016) Anomaly detection in defence and surveillance.

Talele, A.S.T. (2016) Inertia driven controlled passive actuation with the Dual-Hemi CVT.

Tent Beking, Michiel van (2016) Sparse Array Antenna Signal Reconstruction using Compressive Sensing for Direction of Arrival Estimation.

Thirukokaranam Chandrasekar, Krishna Kumar (2016) Item availability restricted.

Tieleman, P (2016) Rail-guided ballast tank inspection robot, Software architecture analysis and enhancement in the ROS environment.

Trillhose, Frank T. (2016) Controlling the production cell using TERRA-LUNA.

Tromper, T. (2016) Activity classification through hidden Markov modeling.

Uebbing, Tobias J. (2016) User experience in smart environments : design and prototyping.

Ullah, I. (2016) Detecting Lateral Movement Attacks through SMB using BRO.

Van 't Hof, J. J. (2016) Design improvement and prototyping of a Testbed for the Calibration and RFI Mitigation Algorithms used in OLFAR.

Varkevisser, R.A. (2016) Large Scale Online Readability Assessment.

Veer, D. van der (2016) Design of a GMSK Receiver Prototype on a Heterogeneous Real-time Multiprocessor Platform.

Venema, M. (2016) DM3730 Camera interfaces on Gumstix.

Verheij, J.G.J. (2016) Co-simulation between CλaSH and traditional HDLs.

Verkuil, S. (2016) CiteRep - Journal Citation Statistics for Library Collections using Document Reference Extraction Techniques.

Vijver, B. van de (2016) A Human Robot Interaction Toolkit with Heterogeneous Multilevel Multimodal Mixing.

Visser, M. (2016) Effects of Twitter mentions on the Movember campaign.

Vissers, E.J.P. (2016) Acquisition Time and Image Quality Improvement by Using HDR Imaging for Finger-vein Image Acquisition.

Vlutters, S. (2016) Long short-term memory networks for body movement estimation.

Vollenbroek, J.C. (2016) Design and characterization of a microreactor for monodisperse catalytic droplet generation at elevated temperatures and/or pressures.

Vonk, Jeroen (2016) Bisimulation Reduction with MapReduce.

Vossen, J.J. van (2016) Offloading Haskell functions onto an FPGA.

Vries, J.J. de (2016) A Tick Based Fixed Priority Scheduler Suitable for Dataflow Analysis of Task Graphs.

Vries, S.H.S. de (2016) Achieving 128-bit Security against Quantum Attacks in OpenVPN.

WIDYADARI, K.L. (2016) Integrated Resources Planning: A Continuous Approach.

WU, D. (2016) Play and practice together: How to Design the practice activity in E-learning by adding social interaction.

Wang, Q. (2016) A reference architecture for integration platforms.


Werff, W.M. van der (2016) Connecting ROS to the LUNA embedded real-time framework.

Wicaksana, M.A. (2016) IPv4 vs IPv6 Anycast Catchment: a Root DNS Study.

Wijlens, Bart (2016) Intelligent heating of a room.

Wilde, Lisa de (2016) A Bayesian Network Model for predicting data breaches caused by insiders of a health care organization.

Wit, Erik de (2016) Charge carrier transport through silicon nitride membranes and fabrication of solid-state nanopores.

Wolf, T. (2016) Design of an Air Factor Sensor based on Light Emission.

Wolters, N.H. (2016) Analysis of Attack Trees with Timed Automata (transforming formalisms through metamodeling).

ZOMPAS, A. (2016) Development of a three dimensional path planner for aerial robotic workers.

Zakiy, Mochammad Fadhli (2016) HW-SW co-Design of an On-Chip IJTAG Dependability Processor.

Zandberg, K. (2016) Passive fingerprinting on an IPv6-enabled network.

Zeilstra, J. (2016) Reasoning about Active Object Programs.


Allah Bukhsh, Zaharah (2015) BPMN Plus : a modelling language for unstructured business processes.

Baarsma, Jort Harm (2015) Docking a UAV using a robotic arm and computer vision.

Bakker, M. (2015) Numerical mathematics on FPGAs using CλaSH.

Bartelds, J.T. (2015) Understanding the critical design parameters of aerial manipulators during physical interaction.

Beek, G.P. van der (2015) Spectra of finite and infinite Jordan blocks.

Berg, A.W. van den (2015) Improving customer satisfaction through personalization.

Berkel, Niels van (2015) Item availability restricted.

Berkhout, Julia (2015) Differences in brain connectivity between Essential tremor and Parkinson's disease: an EEG study.

Birkhölzer, Y.A. (2015) Nanomechanical sensing of hypermethylated DNA for the detection of bladder cancer.

Bloemen, V. (2015) On-The-Fly parallel decomposition of strongly connected components.

Blommendaal, Chris (2015) Information Security Risks for Car Manufacturers based on the in-Vehicle Network.

Boensma, Robert (2015) Geovisualization and time based mission planning on a multi-touch tabletop.

Bogaard, J.A. van den (2015) Predicting the performance of ERP in a changing and challenging energy market.

Bolhuis, M. (2015) Estimating Creditworthiness using Uncertain Online Data.

Boom, B.A. (2015) Towards a High Dynamic Range Resonant MEMS Accelerometer.

Bouius, B A.G. (2015) Characterising the Ripple Effects of Introducing Energy-Awareness Functionality in Cyber-Physical-Systems Software in Cyber-Physical System software.

Brethouwer, M.F. (2015) Design of a testbed for the calibration and RFI mitigation algorithms used in OLFAR.

Brilman, Maarten (2015) A multimodal predictive model of successful debaters or how I learned to sway votes.

Brinkhuis, M.E. (2015) Improving the Medicaid eligibility determination process using big data.

Broekema, F.H. (2015) Robust sensor coverage in a two-dimensional area.

Bruijn, D.S. de (2015) Mapping electron tunnelling in a nanoparticle network to a cellular neural network.

Bruijn, S.A. de (2015) Item availability restricted.

Buijs, R.D. (2015) A Light Direction Sensor for Integrated 3D Vision.

Buuren, R.A. ten (2015) Domain-Specific Language Testing Framework.

Buursma, D.L. (2015) Spoorkwaliteitsanalyse met behulp van sensormetingen.

Carvajal Gallardo, I. R. (2015) Privacy-preserving social DNA-based recommender.

Cheng, Miss Shu (2015) Translating strategy into implementation via capability-based planning.

Chromik, Justyna Joanna (2015) Booters (black)list.

Cloet, Jeroen de and Marissen, Jasper and Westendorp, Ties (2015) Preconditioners based on splitting for time domain photonic crystal modeling.

DAM, M.R. (2015) Auditory processing using CλaSH.

Dekker, Thomas W.G. (2015) Applying parental involvement in secondary vocational education using a technological solution.

Dietz, W.S. (2015) A Reference Model Method to align the development of one software system with multiple Hinterland Container Terminals.

Dijk, P. van and Honing, S. van der and Tsai, E. (2015) Toppositie in Google's zoekresultaten mogelijk? Vergelijken van methodes die de positie van een website voorspellen in Google's zoekresultaten.

Donselaar, V.L. van (2015) Low latency asynchronous database synchronization and data transformation using the replication log.

Drijfhout, Wanno (2015) The Knowledge Cloud: Evolving the data management paradigm.

Egberink, J.G.H. (2015) The influence of trust on inter-organizational information sharing in logistic outsourcing relationships.

FU, Q. (2015) Implementing a real-time control algorithm of Triana on SASensor Open Platform.

Fonville, M.E. (2015) The virtual machine delivery network.

Foustanas, Nestoras (2015) Helping elderly users control a telepresence robot with a touch screen.

Frijnts, S. (2015) Design of a target lock for an endoscope using TeleFLEX.

Gerritsen, S.N.J. (2015) Using teamwork to enhance the social presence on a distributed playground.

Gerritsma, I. (2015) Next Generation Sequencing in the UMC Groningen.

Gijsen, Stijn (2015) Runtime Permission Checking in Concurrent Java Programs.

Grinten, B.A. van der (2015) Port based Hamiltonian modelling of flapping wing aeroelasticity using vacuum chamber and wind tunnel measurements.

Gunneweg, Freddy (2015) Measurement of network activity in acute slices of the healthy and parkinsonian striatum on microelectrode arrays.

Hack, S.A. (2015) Spherical harmonics based aggregation in the multilevel fast multipole algorithm MSc Thesis.

Hageman, Kaspar (2015) The Performance of ECC Algorithms in DNSSEC: A Model-based Approach.

Hakim, V.S. El (2015) Implementation and Analysis of Real-time Object Tracking on the Starburst MPSoC.

Harmsen, Ruud (2015) Specifying the WaveCore in CλaSH.

Heegde, L. ter (2015) Optimal Forgetting: Dynamic Pricing in Changing Markets.

Hensema, M.A. (2015) Applying Agile in Enterprise Architecture.

Heubach, Kevin and Nelis, Marjan and Spek, Len (2015) Acoustic wave propagation in multi-layered media : An application to hip implants.

Heukels, F.R (2015) Simultaneous Localization and Mapping (SLAM) : towards an autonomous search and rescue aiding drone.

Hoegen, Rens (2015) Human Behavior towards Virtual Humans.

Hoener, P.M. (2015) Improving the Processes and Safeguards for Fraud Detection and Prevention in US Medicaid.

Hoff, Joost van der (2015) Transport through single-acceptor transistors in Silicon.

Horsman, J.C. (2015) The influence of Wi-Fi on the operation of Bluetooth based wireless sensor networks in the Internet of Things.

Huizenga, G.R. (2015) A Front-end Application for Markov Random Field-based Texture Image Segmentation.

Huls, C. J. (2015) A scenario planning for interbank payments and Decentralized Ledger Platforms.

Jongsma, K.W. (2015) Conflictdetectie en -resolutie bij treinverstoringen.

Jutten, M.G. (2015) The Fit between Business Processes and Process Mining related Activities: a Process Mining Success Model.

KARAMPATZAKIS, E. (2015) Item availability restricted.

Kamminga, J.W. (2015) Cooperative Localisation on Android Devices by Utilising only Environmental Sound.

Kleverwal, J. (2015) Supervised text classification of medical triage reports.

Knapen, T.J. (2015) Analyzing and optimally controlling the Kelvin water dropper.

Koelemans, DRPM (2015) Item availability restricted.

Koenen, S.K. (2015) Assessing the level of security of an organization by analyzing the enterprise architecture : a methodology.

Kolkman, M.C. (2015) Cross-domain textual geocoding: the influence of domain-specific training data.

Kolkmeier, Jan (2015) Intimacy is Induced and Regulated Through Proxemic & Gaze Behaviour - A Study in Immersive Virtual Reality.

Kooi, Oedsen van der (2015) Traffic Assignment with Junction Modeling in TAPAS.

Krisnawati, Anastasia Maria (2015) Project portfolio valuation with Enterprise Architecture.

Kruk, D.A. van der (2015) A domain-specific language for specifying distributed real-time software system configurations.

Kumar, Atul (2015) Security Analysis of Mobile Payment Systems.

Lagerwerf, M.J. (2015) Higher Order Variational Methods for Photoacoustic Tomography.

Lanting, Peter (2015) Multi-level views in a SUM-based environment.

Leeuwen, M.M. van (2015) Agile Scaling @ Topicus : s caling scrum with help of Agile Scaling frameworks at Topicus Finance.

Leur, C. de (2015) Permission-based separation logic for Scala.

Maas, I.J. and Haan, H. de and Hoek, X.P. op de (2015) De toepasbaarheid van de Ziegler-Nichols regels.

Martakis, A. (2015) Framework for Enterprise Uncertainty-Driven Decision-Making : FEUD.

Meijer Cluwen, F.T.F. (2015) Dynamic Room Allocation - Adaptive planning of teaching facilities at the University of Twente.

Meijerink, B.J. (2015) Lossless Multicast Handovers in Proxy Fast Mobile IPv6 Networks.

Mekenkamp, E. (2015) Microburner for Wobbe Index measurements.

Metzger, Magdalena (2015) Accurate Discontinuous Galerkin Finite Element Methods for Computing Light Propagation in Photonic Crystals.

Meyere, K,P. de (2015) Switching behavior of AMLEDS for implementation in opto-coupling devices on CMOS chips.

Middelesch, E.W. (2015) Anonymous and hidden communication channels : a perspective on future developments.

Müller, M. C. (2015) SIDekICk - Detecting Malicious Domain Names in the .nl Zone.

Oortwijn, W.H.M (2015) Distributed Symbolic Reachability Analysis.

Oosterkamp, J. (2015) Creating a toolkit for human-robot interaction.

Overbeek, L.M (2015) Controller design for a rail mounted inspection robot manipulator.

Paauw, Tim (2015) Analysis of unstructured data at GGD : text mining semi-medical notes to predict childhood obesity and abuse.

Parzian, Alessio (2015) Java Card Bytecode Verification. Designing a novel verification system.

Piggott, J.J.H. (2015) Identification of business travelers through clustering algorithms.

Post, T.H. (2015) Precise localization of a UAV using visual odometry.

Pouw, I.H. (2015) You are what you eat : serious gaming for type 1 diabetic persons.

Prins, Yvonne (2015) Extending the PowerMatcher using dynamic programming.

Raa, I. te (2015) Recursive functional hardware descriptions using CλaSH.

Rodday, Nils Miro (2015) Exploring Security Vulnerabilities of Unmanned Aerial Vehicles.

Roo, M. de (2015) Optimal Event Handling by Multiple UAVs.

Sandhaus, Hauke Gregor Wilhelm (2015) Development of a 3D navigable interface for a touchless showcase.

Schooneman, M. (2015) Measurement of evoked potentials during multiple threshold tracking of nociceptive electrocutaneous stimuli.

Scrinzi, F. (2015) Behavioral Analysis of Obfuscated Code.

Senden, J.M.J. (2015) Biasing a ring-oscillator based true random number generator with an electro-magnetic fault injuction using harmonic waves.

Slootweg, M.H.F. (2015) Implementing and Characterising Medical Implantable Wireless Communication Using the Microsemi ZL70102 : And Prototyping a Load Measurement Tool for Unicompartmental Knee Replacement Operations.

Sniekers, T.M.J (2015) Design of a constant false alarm rate (CFAR) detection scheme : using the sequential likelihood ratio test in a TBD approach.

Staring, A.J. (2015) Business models & business cases for point-of-care testing.

Starink, O.A.W. (2015) State-Save Overhead Reduction Techniques for Shared Accelerators in an MPSoC with a Ring NoC.

Stojkovski, Borce (2015) Employing User-Centered Design methods for the development of a Virtual Reality training system for firefighters.

Stottelaar, Bas G.B. (2015) Practical cyber-attacks on autonomous vehicles.

Tensen, IF (2015) Stochastic optimization of the dial-a-ride problem. Dealing with variable travel times and irregular arrival of requests in the planning of special transport services.

Thunnissen, J. (2015) Communication solution for ICU patients : a case study.

Vasileios, Papadimitriou (2015) Templated Activated Carbon for Electric Double Layer Capacitors.

Veen, H. van der (2015) Composing a more complete and relevant Twitter dataset.

Veen, M.J. van der (2015) Workforce scheduling algorithms at Grolsch Brewery Enschede.

Venis, A.J. van de (2015) Recommendations using DBpedia : how your Facebook profile can be used to find your next greeting card.

Verhaar, Jort (2015) Micrometer scale 3d membrane printing towards locust ear imitation.

Vettorel, Diego (2015) Design a platform for providing home-based services concerning: care, safety, comfort and fun.

Veurink, Stefan (2015) Optimal bidding in Google Shopping.

Visser, N.S. (2015) Fully automated web harvesting using a combination of new and existing heuristics.

Vocke, Tom (2015) An evaluation of the Adapteva Epiphany Many-Core Architecture.

Vorstenbosch, S. (2015) On-premise to SaaS Integration Risk Mitigation A framework to gain insight in the risks, and recommend mitigation strategies, specific to on-premise to SaaS integration.

Vos, M.C.P.M. (2015) Quantification of parkinsonian tremor, bradykinesia and rigidity using the PowerGlove in combination with a force sensor.

Vos, Peter-Jan (2015) Demonstrator combining ROS/TERRA-LUNA.

Weijers, F. (2015) Experimental evaluation of a safety aware impedance controller design.

Weijers, Martijn (2015) Minimum swing control of a UAV with a cable suspended load.

Wolbers, S. (2015) Participatory design approach to improve the communication between care providers through the electronic health record.

Wopereis, H.W. (2015) Bilateral Human-Robot Control for Semi-Autonomous UAV Navigation.

Ye, Xiaohao (2015) GlucOnline Coach: a virtual coach app for diabetes patients.

Zanetti, Nicola (2015) Concept-drift in web-based IDS : evaluating current capabilities & future challenges.

de Vries, J. (2015) The Generation of Booter (black)lists.

de Witte, B. (2015) Network games, information spread and endogenous security.

van Huizen, D.I. (2015) A stochastic approach to allocation of capacity in a gas transmission network.

van der Valk, D.J. (2015) How accurately can sitting and the intensity of walking and cycling be classified using an accelerometer on the waist for the purpose of the “Global recommendations on physical activity for health”?


Abreha, Gebremedhin Teklemariam (2014) An environmental audio-based context recognition system using smartphones.

Aertsen, M.Y. (2014) Verifying functional requirements in multi-layer networks: a case for formal description of computer networks.

Akbar, Nurul (2014) Analysing Persuasion Principles in Phishing Emails.

Amrin, Nabila (2014) The Impact of Cyber Security on SMEs.

Anagnostopoulos, Nikolaos Athanasios (2014) Optical fault injection attacks in smart card chips and an evaluation of countermeasures against them.

Anagnostopoulos, Nikolaos Athanasios (2014) Optical fault injection attacks in smart card chips and an evaluation of countermeasures against them.

Aregay, Tesfay (2014) Ranking Factors for Web Search : Case Study in the Netherlands.

Arzoglou, Ektor (2014) Item availability restricted.

Badarinath Hampiholi, Brinda (2014) Secure & privacy-preserving eID systems with Attribute-Based Credentials.

Bai, Xinwei (2014) The invariant measure of random walks in the quarter plane.

Berg, Boudewijn van den (2014) Visual tracking of magnetic microrobots in biomedical research applications.

Biesbroek, Rudolf (2014) Last-mile lightpath services : on packet-switched shared infrastructure.

Blonk, J.W. van der (2014) Modeling and Control of a Ball-Balancing Robot.

Bokhove, Tom (2014) Public data visualisation in traffic, based on local, real-time monitoring.

Bolhuis, M (2014) Using an NFC-equipped mobile phone as a token in physical access control.

Bookholt, Erik (2014) The Impact of Enterprise Architecture on Business Performance.

Boom, N. (2014) XRM at a bilateral trade organisation.

Bortolameotti, Riccardo (2014) C&C Botnet Detection over SSL.

Bos, J.C.H. (2014) Synthesizable Specification of a VLIW Processor in the Functional Hardware Description Language CλaSH.

Bos, S.L. (2014) Improving the well-being of independently living seniors using ICT How can a personal service be used to improve the self-efficacy, social engagement and security awareness of independently living seniors?

Brinke, Hans ten (2014) Hide and sneak - Perceptions in The Virtual Storyteller.

Broekema, C.D. (2014) Modelling loitering character agents in conflict situations: Visualizing and evaluating interpersonal conflict strategies.

Broekhuis, Djurre (2014) Sousveillance on Intelligent Transportation Systems.

Broenink, Ralph (2014) Finding Relations Between Botnet C&Cs for Forensic Purposes.

Bronkhorst, T.A.W. (2014) Hardware design of a cooperative adaptive cruise control system using a functional programming language.

Buijsrogge, Anne A (2014) Optimization of the BUbiNG web craler.

Corradin, M.C. (2014) Then and Now: On The Maturity of Cybercrime Markets - A study on regulation enforcement of forums in the online underground trading economy.

Davelaar, K.I. (2014) Protecting high school students from bullying: Bully Shield.

Dekker, Stefan (2014) Bead Separation using impedance spectroscopy and dielectrophoresis.

Deneka, Agnes (2014) A coach ECA to increase Societal Participation of Low Literates and Non-Native Citizens in the Societal Participation Learning Support System.

Dijkstra, Anton (2014) Optimizing the material flow at Bosch : supplying the Deventer plant with materials for making heating boilers.

Dijkstra, Jelle (2014) Adaptation to Low-frequent Stimuli in Computational and Cultured Neuronal Networks.

Dove, I. (2014) Analysis of Radio Propagation Inside the Human Body for in-Body Localization Purposes.

Drenthen, S. (2014) Towards continuous delivery in system integration projects : introducing a strategy to achieve continuous delivery and test automation with FitNesse.

Duraisingam, Prithivi Ram (2014) Crack detection in semiconductor products : machine vision techniques for detection of cracks in semiconductor products.

Elderen, Sybren van (2014) Beating Logic: Dependent types with time for synchronous circuits.

Erich, Floris Marc Arden (2014) Improving information system development and operations using the DevOps conceptual framework.

Fu, Q. (2014) Validation of Interpersonal Stances Expressed by Virtual Suspect Characters in a Police Interview Setting.

Galen, Rick van (2014) Design and feasibility of mobile peer-to-peer payment systems.

Geevers, S. (2014) Space-Time Discontinuous Galerkin Methods for the Elastic Wave Equations.

Gielen, M W (2014) Prioritizing Computer Forensics Using Triage Techniques.

Gietema, J. (2014) Comparison of iterative eigenvalue solvers for photonic crystal modeling.

Groenhuis, Vincent (2014) Improving Accuracy and Efficiency in MRI-navigated Breast Biopsy.

Groot, M. de (2014) Flow prediction in brain aneurysms using OpenFOAM.

Haji Ghasemi, Maryam (2014) Symbolic model checking using Zero-suppressed Decision Diagrams.

Havinga, E.N. (2014) Model development for supporting advanced risk-based approaches in air traffic management.

Hebbink, G.J. (2014) Activity types in a neural mass model.

Heer, G.W.A. de (2014) Instance Pointcuts.

Heling, Yoran (2014) Biased Random Periodic Switching in Direct Connect.

Hendriks, Luuk (2014) SSH Compromise Detection using NetFlow and IPFIX.

Heuven, D.W. (2014) Opportunistic sensing & Aggregation network Using Smartphones and Sensor nodes.

Hoek, Marissa (2014) Generating Dutch focalized stories about interaction in a serious game.

Hummel, Tim (2014) Exploring Effects of Electromagnetic Fault Injection on a 32-bit High Speed Embedded Device Microprocessor.

Janson, T.G. (2014) Controllable elastocapillary folding of silicon nitride 3D structures by through-wafer filling.

Jin, Xiaopeng (2014) Implementation of the MUSIC Algorithm in CλaSH.

Jochemsen, M.C. (2014) An exploration of content-driven commerce.

Jong, Berend J.M. de (2014) A basis for the next VHDL revision.

Jonker, M. (2014) Flow-based SSH Dictionary Attack Detection: the Effects of Aggregation.

Joustra, Yme (2014) Forecasting of wind power production in the Netherlands.

Kamp, T.R. van de (2014) Combining ABCs with ABE: Privacy-Friendly Key Generation for Smart Card Based Attribute-Based Encryption.

Kamphuis, Gertjan (2014) Adding Quality of Service to Disruption Tolerant Networking using the ORWAR routing protocol for use in military MANETs.

Kandziora, Jorne (2014) Runtime assertion checking of multithreaded Java programs - An extension of the STROBE framework.

Karampatsos, Ilias (2014) Successful Communication Over a Wireless Link Under the Presence of Other Users.

Karuppiah Ramachandran, Vignesh Raja (2014) Characterization of Communication Mechanisms for Implantable Body Sensor Networks.

Kegel, R.H.P. (2014) Development and Validation of a Personal Information Security Assistant Architecture.

Kerkhof, B. van de (2014) Item availability restricted.

Kiewiet, B. (2014) On the effect of a Gaussian firing rate function on the dynamics of a network of Wilson-Cowan populations.

Knippers, D. (2014) Querying Uncertain Data in XML.

Kooij, W.J. (2014) Playout delay of TV broadcasting.

Kremers, S.H.G (2014) Modelling Real-World Contract Negotiations.

Krist, J.O. (2014) The effect of residential storage and conrrol on the distribution net compared to central storage and control.

LU, Yuan (2014) Essay #64997

Laan, C.M. (2014) Item availability restricted.

Li, Liang (2014) Embedded Data Compression for Automotive FMCW Radar System.

Loker, Andre (2014) Evaluating data structures for runtime storage of aspect instances.

Ma, L. (2014) Design, fabrication and characterization of an electrochemical microfluidic chip for drug screening.

Marenco Zúñiga, Andrés (2014) Federated Aggregated Search.

Meijer, J.J.G. (2014) Improving Reachability Analysis in Ltsmin - Guards, Read, Write and Copy Dependencies for mcrl2, Promela and Dve.

Meutstege, Esken (2014) Micro-valve with in-plane fluidics using surface channel technology on SOI wafer for use with micro-Coriolis sensor.

Mirchev, Hristofor (2014) Creating a Modular AspectJ Foundation for Simple and Rapid Extension Implementation.

Molen, N.J van der (2014) Item availability restricted.

Moonen, D.J.G. (2014) Implementation of a Distributed Correlator for Astronomical applications.

Muijzer, Frodo (2014) Development of an automated exercise Detection and Evaluation system using the Kinect depth camera.

Mustafa, Hasib (2014) Optimizing the detection limit of micro ring resonators.

Nguyen, Ha (2014) Fast and Scalable Algorithm For Sequencing Problems with Private Information.

Nienhuis, J. (2014) Using Change Management to improve CRM User Acceptance.

Nijenhuis, N. (2014) Ontwerp een freesrobot.

Opheusden, L.M.E. van (2014) Flock together : an analysis of starling swarm intelligence in the StarDisplay model.

Pallett, Dennis (2014) Improving Query Performance of Holistic Aggregate Queries for Real-Time Data Exploration.

Permatasari, Siti Intan (2014) Rethinking energy conservation via anevaluation of the heating system: A Case Study of Zilverling, University of Twente.

Peters, Rifca Marcella (2014) How Turn-Taking Influences the Perception of a Suspect in Police Interviews.

Reiling, Mark (2014) Implementation of a Monocular Structured Light Vision System for Pipe Inspection Robot PIRATE.

Rinsma, S.G. (2014) Design of a Reusable Teleoperation Control Architecture Applied to the youBot.

Rooijen, MSc M.J. van (2014) Characterization of capacitive deionization concentration profiles for small volume sample preparation.

Roozing, W. (2014) Control strategy for variable gait using variable knee stiffness in a bipedal robot model.

Ruiter, Mark de (2014) Performance measurement of Hermite-based multi-carrier communication.

Russcher, K.J. (2014) Optimization of Bipedal Walker Gaits with Constant Knee Stiffness.

Schimmel, Leon (2014) Model gebaseerde regelaar voor riolering.

Schlepers, Mathijs (2014) Investigation of the mechanical properties of 3D printed structures of Objet and DLP.

Scholten, Jasper (2014) Essay #66193

Selman, K.J.R. (2014) Facial expression compensation.

Smid, Wietse (2014) Ad-hoc context-driven changes in a business process management system.

Snoyl, K.E.R. (2014) De effecten van het gebruik van het F-LinQ fotolijstje op de verbondenheid tussen ouderen en hun (klein)kinderen.

Spil, Twan (2014) Analytical model of the crossed wire particle velocity sensor.

Spoor, R.J.F. (2014) Design of a wall latching device.

Staicu, Cristian-Alexandru (2014) Evaluation of HIMMO with Long Identifiers, an Extension of the HIMMO Key Establishment Scheme.

Stallmeyer, A (2014) A Heuristic Approach to Efficient Appointment Scheduling at Short-Stay Units.

Steeg, D.P.M.H. van der (2014) Essay #65875

Stegehuis, C. (2014) Predicting Long Term Impact of Scientific Publications.


Straatman, W. (2014) Developing an autopilot for the peregrine falcon Robird.

Strecke, Jonas (2014) A high torque variable stiffness mechanism for the 'VSDD': conceptual design, realization and experimental validation.

Stroeken, K.L.J. (2014) Floor vibration isolation of a coriolis mass-flow meter using filtering techniques.

Tax, Niek (2014) Scaling Learning to Rank to Big Data: Using MapReduce to parallelise Learning to Rank.

Tjhin, Yoppy (2014) DOA Estimation of UHF RFID Tags in Multipath Environments.

Touzani, M (2014) Solving optimal Asset Allocation Problems by means of Numerical techniques used for HJB Equations.

Trouwborst, Cees (2014) Control of quadcopters for collaborative interaction.

Van Nee, F.D. (2014) To a new hardware design methodology: A case study of the cochlea model.

Vaseur, C.S.E. (2014) Robird wind tunnel test setup design.

Verbij, Ruud Paul (2014) Dutch e-voting opportunities. Risk assessment framework based on attacker resources.

Vercammen, S.A.A. (2014) Displaying intermediate results for on-going searches.

Vermaas, Peter C. (2014) Item availability restricted.

Vries, W.B. de (2014) How asymmetric is the Internet? A Study to support DDoS Mitigation approaches.

Waanders, M.J.C (2014) Approximation Algorithms for Connected Graph Factor Problems.

Wagenaar, J.C.N. (2014) Collaborative Cyber Security in the Retail Sector.

Wanders, I. (2014) Design and analysis of an optimal hopper for use in resonance-based locomotion.

Wapperom, Sjoerd (2014) Computational Modelling of Suspect Behaviour in Police Interviews.

Weber, Vincent (2014) UTFM - a Next Generation Language and Tool for Feature Modeling.

Welling, Ruud (2014) Conflict detection and analysis for single-pushout high-level replacement.

Werf, S.J. van der (2014) Measuring Workload at a ProRail Control Post.

Westenberg, R.M. (2014) Managing customer innovation in the financial services industry: A technology acceptance perspective.

Westerik, P.J. (2014) MEMS acoustic sensors inspired by the locust ear.

Wevers, Gerben (2014) Hardware accelerator sharing within an MPSOC with a connectionless NOC.

Wevers, Gerben G.A. (2014) Hardware Accelerator Sharing within an MPSoC with a connectionless NoC.

Wiegers, R.F.P. (2014) Behavior specification for ontologically grounded conceptual models.

Wierbosch, Mark (2014) It is raining packets.

Windhouwer, Dennis (2014) The Modularity of the Resource Utilization Model in Python.

Wu, Kai (2014) Design, Fabrication and Characterization of a Piezo-electric Micro Control Valve.

Zaga, Cristina (2014) Engaging child-robot interaction in a collaborative task.

ter Maat, Roel (2014) A Framework for Modular Implementation of Domain-Specific Event-Based Applications.

van Hurne, I. (2014) Towards a Unifying Framework for Modelling and Executing Model Transformations.

van Kleef, NTM (2014) Making people matches using Supervised Machine Learning algorithms.

van Lenthe, J.M. (2014) Combining Multiple Malware Detection Approaches for Achieving Higher Accuracy.

van Tiem, J.A.J. (2014) Modeling, design, fabrication and characterization of a biomimetic angular acceleration sensor.

van den Bosch, S.F. (2014) Designing Secure Enterprise Architectures A comprehensive approach: framework, method, and modelling language.


ALVERINGH, IR. D. (2013) A Large Range Multi-Axis Capacitive Force/Torque Sensor Realized in a Single SOI Wafer.

Akkersdijk, Saskia M. (2013) User evaluations of a behaviour change support system.

Baar, S. van and Krul, I. and Veen, S. van der (2013) Het optimaliseren van het voorraadbeheer van verbruiksgoederen in de voorraadkamers in het AMC.

Balen, Simone van and Brenk, Denise van and Egbers, Camiel (2013) Klantgericht roosteren. Gebruik van CPsolver binnen Rostar Eduflex.

Beek, Daan van (2013) Comparing the LTSmin and NuSMV reachability tools via automatic translation of their respective input languages.

Been, A.J. (2013) Self-assembly of silicon particles using magnetic levitation.

Been, Henry (2013) Finding you on the Internet: Entity resolution on Twitter accounts and real world people.

Berg, F.I. van der (2013) Model checking LLVM IR using LTSmin : using relaxed memory model semantics.

Berkhout, J. and Jezuita, L. and Willink, S. (2013) Wind en water in de Westerschelde.

Booltink, Edwin and Lagerwerf, Rien and Prins, Yvonne (2013) Het bloed beter laten stromen.

Bos, H.D. (2013) Optimizing a liquid-based energy conversion system.

Bosschaart, Peter (2013) Constructing an �α-maximizing option trading strategy in a multidimensional setting.

Brink, F. (2013) Discontinuous Galerkin Finite Element Methods for Photonic Crystals.

Brink, F. van den (2013) Modeling and magnetic-based motion control of a cluster of microparticles.

Brinkhof, S. (2013) Asset wide optimization in shell's LNG upstream value chain.

Bruijn, Vincent de (2013) Model-based testing with graph grammers.

Bullée, Jan-Willem (2013) Detection of leadership in informal (small) groups based on CCTV information.

Capelle, F. van (2013) Design and validation of a face recognition framework.

Companjen, Ben (2013) Probabilistically matching author names to researchers.

Cornelissen, Richard (2013) Towards a methodology-growing framework.

Davison, David (2013) A framework for creating semantic wikis for biomedical research laboratories.

Denissen, Irana (2013) Discontinuous Galerkin Finite Element Methods for the time-harmonic Maxwell equations in periodic media.

Duerink, Hendrik Lodewijk (2013) Information System Data Flow within Performance Based Logistics.

Ellenbroek, T.T.M. (2013) Ultrasound-guided control of a minimally-invasive surgical instrument.

Fluttert, Ernst (2013) Deciding between mobile implementation platforms - A multi-criteria decision system for implementation platforms for mobile applications.

Franssen, Tim K.C. (2013) Gesture recognition in streaming motion data using offline training with a limited training set.

Fredriks, Liza and Kamp, Tim van de and Witte, Bram de (2013) Geautomatiseerde vrijwilligersplanning voor festival Amusing Hengelo.

Gennep, Bart van (2013) In the eye of the wizard : effects of (mutual) gaze on an avatar mediated conversation.

Gerritsma, I. and Sniekers, T. and Sark, E. van (2013) Het vermogen om te winnen.

Golüke, T. (2013) The influence of remanence and flux trapping on the magnetic shielding properties of mu-metals and superconductors.

Grinten, B. van der (2013) A step in the right direction : modelling and analysis of a robotic leg with an energy storage system.

Hack, Sjoerd and Hanse, Abel and Höcker, Stephan (2013) Krylov subspace methods for time modeling of photonic crystals.

Hageman, T.A.G. (2013) Tracking of the tongue in three dimensions using a visual recording system.

Heersink, R. and Stiphout, F. van and Wevers, M. (2013) Crowd modelling: de menigte gemodelleerd.

Hemert, Teun van (2013) Implementing flexible, extensible composition operators.

Hendrix, J.K. (2013) An embodied conversational agent in a mobile health coaching application.

Heus, Marije de (2013) Design and evaluation of a recommender system for high school courses in the Netherlands.

Hoekerd, P.G. (2013) Using existing software to build a virtual community for telemedicine.

Huijgen, Arris (2013) Effciently protecting virtualized desktop infrastructures against malware - Performance comparison between traditional- and centralized antivirus.

Hullu, Clermond de (2013) Architectural design of modular ESB systems.

Hulsebosch, Marc (2013) Targeting gamification applications to increase user participation.

Höfer, Christina (2013) Privacy-Preserving : Charging for eMobility.

Ionita, Dan (2013) Current established risk assessment methodologies and tools.

Jin, Peng (2013) Prostate tracking using 3D active appearance models with 2D fitting : feasibility testing with deformable prostate phantom.

Keijl, Edwin (2013) Picalilly: sharing photos through locative social media.

Keken, R.M. van (2013) Real-Time environmental impedance estimation using a variable stiffness actuator as a variable stiffness sensor.

Kerkhof, T.R. (2013) Control strategy for variable stiffness actuators in belateral teleimpedance interaction tasks.

Keuter, D.R. (2013) Item availability restricted.

Kleinsman, E.J.E. (2013) Modelling local field potentials in the subthalamic nucleus.

Kleinsmann, E.M. (2013) Design of an RF receiver in BiCMOS implementing beamforming to reject interference.

Knoben, L. and Otten, M. and Fransen, R. (2013) De waterzuivering als Petrinet: het voorspellen van overstromingen.

Kolk, H. (2013) Characterization, modeling and control of magnetic microrobots.

Kuiper, Guus (2013) Guaranteed-throughput improvement techniques for connectionless ring networks.

Kuiper, Guus (2013) Guaranteed-throughput improvement techniques for connectionless ring networks.

Laarakkers, Mark (2013) Generating continuation passing style code for the co-op language.

Logtenberg, Sander W. (2013) Ultra-thin PbTiO3 films : thickness and ferroelectricity.

Lucas, Jorn (2013) Large Eddy Simulation of Interfacial Gas-Liquid Turbulent Channel Flow.

Ma, Song (2013) Feasibility study of frequency doubling using an anxor-gate method.

Marsman, G.H. (2013) Exploring magnetic slf-assembly by studying the influence of shape on interactions of centimeter size particles.

Misra, Gaurav (2013) Permeance of ICT in crime in India.

Moll, René (2013) A DFT based synchronization scheme for chirped communication.

Nguyen, A.D. (2013) Integration of IEC 61850 mms and lte to support remote control communications in electricity distribution grid.

Olthuis, Ferry (2013) A comparison of state space reduction techniques in SCOOP.

Oude Veldhuis, M. (2013) Multi-target user interface design and generation using model-driven engineering.

Pasveer, Marco (2013) Importance sampling for probabilistic timed automata.

Pham, Giang T. (2013) Integration of IEC 61850 MMS and LTE to support smart metering communications.

Postema, B.F. (2013) Fluid survival tool: a model checker for Hybrid Petri nets.

Riet, M. van 't (2013) Trace-based debugging for advanced-dispatching programming languages.

Roemers, Arnout (2013) An adapter-aware, non-intrusive dependency injection framework for Java.

Rolink, S. (2013) Cognitive radio: comparing cross-correlators.

Rotgerink, J.L. (2013) An in silico description of an alzheimer network.

Satria, Triadimas Arief (2013) Seamless service continuity in cloud based lte systems.

Schade, Christiaan Leonard (2013) FCScan: A new lightweight and effective approach for detecting malicious content in electronic documents.

Sepulveda Bradford, G.U. (2013) What happens when a robot favors someone?: how a museum-guide robot uses gaze behavior to address multiple persons while storytelling about art.

Sikkens, B.N.A. (2013) An analysis of Coriolis mass flow chips with a bypass.

Smulders, Edwin (2013) User Space Memory Analysis.

Spoor, Jeroen (2013) Double effect : multiple interest rate curve bootstrapping.

Tanuhardja, R.R. (2013) Item availability restricted.

Tesfay, Tesfahun Aregawy (2013) Automatic distribution analysis of business processes for cloud-based BPM.

Thij, Marijn ten (2013) Modelling trends in social media - Application and analysis using random graphs.

Tijhuis, K. (2013) Methods for modelling unit operations in chemical process simulators.

Ugen, Mattijs (2013) Scalable performance for a forensic database application.

Valtulina, Luca (2013) Seamless distributed mobility management(dmm) solution in cloud based lte systems.

Veen, Emma van der (2013) Optimizing transport properties in TM5 using SF6.

Veen, G.F.P. van (2013) Brain Invaders - Finding the paradox of control in a p300-game through the use of distractions.

Veen, J. van der (2013) Mobility analysis in silicon for high-frequency surface acoustic wave applications.

Velde, Luuk van der (2013) Theoretical treatment of streaming potential energy conversion using viscoelastic fluids.

Velde, M. van der (2013) Analyzing the solution of a linear program: the effect of normal distributions in costs and constraints.

Verver, Maks (2013) Practical improvements to parity game solving.

Vonk, J. (2013) Formal specification and verification of OpenCL Kernel optimization.

Vos, Peter-Jan (2013) Effect of system parameters on target motion.

Vries, R.A. de (2013) How to determine position, rotation and orientation for a tethered twin nano satellite with sufficient accuracy to map data from an interferometer.

Vugt, Pieter van (2013) Behavioral models of nonlinear power consuming loads.

Wal, Jelmer ter (2013) Specification and verification of selected parts of the Java Collections Framework using JML* and KeY.

Werf, R.W. van der (2013) Item availability restricted.

Wiggers, F.B. (2013) Measuring the dielectric constant of liquid on a chip with silicon nanowires : scientific investigation of the measurement principles and functionality.

Willenswaard, Lars Corbijn van (2013) Models for the electronic transport properties of thermoelectric materials.

Wit, Jeroen de (2013) Continuous forensic readiness.

Zaalberg, R. (2013) Quantifying uncertainty in credit rating model development.

Zarghami, S. (2013) Middleware for Internet of things.


Alofs, Thijs (2012) The Interactive Storyteller A multi-user tabletop board game interface to support social interaction in AI-based interactive storytelling.

Bamberg, Rob (2012) Non-deterministic generalised stochastic petri nets modelling and analysis.

Bartelds, J.T. (2012) Design and control of a modular end-effector for UAVs in interaction with a remote environment.

Beek, S. van de (2012) Characterizing Large-Form-Factor devices in a reverberation chamber.

Beld, W. van den (2012) Microfluidic pump based on arrays of rotating magnetic microspheres.

Berhe, Merhawi Tecle (2012) Advanced ranging techniques in uwb based localization.

Beusink, J.W.C. (2012) Secure access contol to personal sensor information in federations of personal networks.

Bisschop, S.H. (2012) Logistiek achter wiel-rail-conditionering: welke treinstellen moeten uitgerust worden met een WRC systeem om overal in Nederland het spoor te conditioneren?

Boersma, Jochem H. (2012) Controller design of LTI systems subject to hysteresis.

Bonestroo, G. (2012) A safe-guarded multi-agent control system for Tripod.

Braak, Mathijs ter (2012) A hyperheuristic for generating timetables in the XHSTT format.

Brandon, Merel (2012) Effect personality matching on robot acceptance : effect of robot-user personality matching on the acceptance of domestic assistant robots for elderly.

Brands, E.H.T.B. (2012) Flow-based monitoring of GTP traffic in cellular networks.

Broek, J.D.A. van den (2012) Design and implementation of an analog-to-time-to-digital convertor.

Broek, Jurgen Gijs van den (2012) Real-world analyses of internet protocols.

Brugman, Ivo (2012) A multimodal interactive system for creative expressions.

Bruintjes, Harold (2012) Bridging GROOVE to the world using a conceptual language model.

Burgman, Ronald (2012) Partial-order reduction based on probe sets.

Chen, Zhen (2012) Workflow management solution for a security management application.

Dijk, K. van (2012) Source localization of brain activity.

Dijk, Tom van (2012) The parallelization of binary decision diagram operations for model checking.

Doll, R.J. (2012) Comparison of adaptive psychophysical methods for nociceptive threshold tracking : a simulation and human subject study.

Donker, J.H. (2012) Handfish - tunable heterogenous multi-core simulators on multi-core hosts.

Duipmans, E.F. (2012) Business process management in the cloud with data and activity distribution.

Epskamp, S.G. (2012) On the influence of stereographic 3D on user dependent direct projected augmented reality in the OR.

Feenstra, A. (2012) Optimale seinplaatsingen : een branch-and-bound algoritme voor de plaatsing van spoorwegseinen.

Fortgens, L.C. (2012) Approximation of an ideal bandpass filter using an N-path filter with overlapping clocks and harmonic rejection.

Geerts, A.J.E. (2012) Detection of interictal epileptiform discharge in EEG.

Gehring, Felix (2012) Software performance prediction in early development phases: A UML- and simulation-based approach.

Gerritsen, Jan-Henk (2012) Detecting synchronization conflicts for horizontally decentralized relational databases.

Heijden, Rens W. van der (2012) SeDyA: secure dynamic aggregation in VANETs.

Heukels, Rolf (2012) Predicting user behavior using transition probability.

Hijmans, Remco (2012) Comparing grid-based features and classification settings, in an off-line supervised human action detection and recognition task.

Hirtum, M.A. van (2012) Balance and step responses with an impaired ankle torque.

Hobert, L.H.X. (2012) A study on platoon formations and reliable communication in vehicle platoons.

Hoeve, Thijs ten (2012) Model based testing of a PLC based interlocking system.

Hofste, J. (2012) Scalable identity extraction and ranking in Tracks Inspector.

Holland, Erik van (2012) Contributions to bin packing games.

Huang, Liting (2012) Secure and privacy-preserving broadcast authentication for IVC.

Iqbal, Sehar (2012) Infinite Dimensional System Theory for Networks of Flows.

Jansen, M. (2012) Improving inattentive operation of peripheral touch controls.

Janssen, S.L. (2012) Image-guided control of a continuum robot.

Jiang, Lai (2012) Monte Carlo pricing of Bermudan-style derivatives with lower and upper bound methods.

Jonkman, F. (2012) Nonverbal behaviour of an embodied storyteller.

Kalsbeek, Maarten van (2012) Interface and interaction design patterns for e-commerce checkouts.

Kalverboer, J. (2012) Active noise reduction in double-panel structures : decentralized adaptive feedforward control.

Kamp, Pieter (2012) Magnetic self-assembly in 3 dimensions at the macro scale.

Ketelaar, J.G. (2012) Controller design for a bipedal robot with variable stiffness actuators.

Keuper, D. (2012) XNU: a security evaluation.

Klijnstra, F. (2012) Control and implementation of a transfemoral prosthesis for walking at different speeds.

Kornalijnslijper, D.S. (2012) The user effects of using textual cues to increase image viewing attention.

Kristanto, Ferry (2012) An allocation approach of sponsored search auctions.

Kroon, L.A.M. van der (2012) On Faraday waves and jets.

Kuperus, Jasper (2012) Catching criminals by chance: a probabilistic approach to named entity recognition using targeted feedback.

Lagerweij, G.R. (2012) Methodology and analysis for the recognition of tumour tissue based on FDG-PET.

Liu, Peng (2012) Test bed and sensor platform for building usage profiling.

Loch, Frieder (2012) Hierarchical gestures: ggestural shortcuts for touchscreen devices.

Middag, Jacob (2012) Convergence of an implicit runge-kutta discontinuous Galerkin method using smooth limiters.

Mijden, T.L.C. van der (2012) Deploying security forces to intercept threats.

Mocioiu, V. (2012) Automatic classification between active brain state vs. rest state in healthy subjects and stroke patients.

Mols, Emiel (2012) Sharding Spotify search.

Noppen, I. (2012) Assessing the benefits of spectrum sharing in wireless access networks.

Ommeren, Erik van (2012) Decompositions for stochastic product form Petri nets.

Oostinga, Ruben (2012) A java bridge for LSTMIN.

Ottow, Christiaan (2012) Hacking the next web: penetration testing over IPv6.

Peters, V. (2012) Analysis and design of a low power ADC.

Prins, P.J. (2012) On the effect of antenna coupling on spectrum sensing using a cross-correlation spectrum analyser with two antennas.

Qiao, Yu (2012) Using tall vehicles as next relay hops in VANET multi-hop communication protocols.

Reuvekamp, S. (2012) Towards a six degree-of-freedom resistive force sensor : device design and bonding technique.

Sarakiotis, D. (2012) Specification of aperitif polyphase filter bank in cƛash.

Sburlea, Andreea Ioana (2012) Brighten up your mind! Effects of light priming and encouraging feedback on the neural and behavioral responses in a general knowledge task.

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

Schoot, D.S. van (2012) Electrocavitation in nanochannels.

Schot, N. (2012) QoS-aware model-driven SOA using SoaML.

Siaw, Tien Loong (2012) Saturation for LTSmin.

Smink, S. (2012) Improving nutritional intake of hospital patients using a persuasive tablet application Master’s thesis.

Spijker, Hanno (2012) Improving information dissemination in sparse vehicular networks by adding satellite communication.

Spijker, Roelof (2012) Generic scheduling in radar systems.

Spoel, Sjoerd van der (2012) Outcome and variable prediction for discrete processes: A framework for �nding answers to business questions using (process) data.

Stapersma, Paul (2012) Efficient query evaluation on probabilistic XML data : derived from a glue process with skeleton & flesh.

Stemmer, Joel (2012) detecting outliers in web-based network traffic.

Stoica, Mircea (2012) Detecting the no-control state in self-paced Brain-Computer Interfaces.

Stokkink, Gerjan (2012) Quiescent transition systems.

Straatman, W. (2012) Teleimpedance control of unmanned aerial vehicles.

Teka, Abelneh Y. (2012) Analysis of indirect influence relations in goal-oriented requirements engineering.

Terwellen, Christian (2012) Evaluating the behavior of embedded control software - using a modular software-in-the-loop simulation environment and a domain specific modeling language for plant modeling.

Tiem, Joël van (2012) Electrospray from glass capillaries.

Ton , B. (2012) Vascular patern of the finger: biometric of the future? Sensor design, data collection and performance verification.

Tummers, R.T.L.M. (2012) Design of control strategies for UAVs physically interacting with each other and the environment.

Verberkt, S.L.C. (2012) Claiming security properties in a service oriented architecture.

Verhoog, M. (2012) Electrohydrodynamic properties of gold surfaces in micro- and nanofluidic structures : Worth its weight or superficial glitter?

Vermolen, R.M. (2012) The red queen’s race: from delivery stories to effort estimation: an empirical study.

Villamil, J.C. (2012) Design and analysis of a flat sound generator.

Villamil Oostra, J.C. (2012) Design and analysis of a flat sound generator.

Vinke, Maarten (2012) An approximate dynamic programming approach to the micro-CHP scheduling problem.

Vonk, R.V. (2012) Likelihood functions for Window-based stereo vision.

Vrooijink, G.J. (2012) Real-time three-dimensional tracking and steering of flexible needles using two-dimensional ultrasound images.

Wagenaar, P. (2012) Detecting botnets using file system indicators.

Wevers, Lesley (2012) A persistent functional language for concurrent transaction processing.

Wieringa, Wilko (2012) User Handover in a Cross Media Device Environment, A Coaching Service for Physical Activity.

Willink Castro, Teodoro J. (2012) Antenna system design for OLGAR"s inter-satellite link.

Woldman, Wessel (2012) Computational model on neuronal stabilization in perceptual choice dynamics.

Wolfswinkel, J.F. (2012) Semi-automatically enriching ontologies : a case study in the e-recruiting domain.

Wopereis, H.W. (2012) Characterization of the mVSA-UT.

Wu, Xian (2012) Modeling and performance evaluation of wirelesshart.

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

Zanderink, Arnold (2012) Drum assistant.


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

Averkamp, Astrid (2011) Optimization of a 3-beam splitter by means of the Rigorous Coupled Wave Analysis.

Bergervoet, Erwin Josephus (2011) Let the game do the talking : the influence of explicitness and game behavior on comprehension in an educational computer game.

Bicker, P.I. (2011) Analysis and design of an ADC for a spectrum analyzer.

Bijl, Matthijs (2011) Strategisch plannen met BOSS.

Boer Rookhuiszen, Roan (2011) Generation of German narrative probability exercises.

Bos, Maarten (2011) Programming a CNC-machine using ILP.

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

Bosmans, Maarten (2011) Improving the convergence rate of rotorcraft loose coupling algorithms using interaction laws based on autoregressive modelling.

Bosschaart, Peter and Spoor, Jeroen and Steenhuisen, Berend (2011) Volatility estimation and visualization for stock/option trader.

Brink, E.T.G. van den (2011) Parallel sampling from individual cells on a microchip : towards a parallel single cell analysis platform.

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

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

Busschers, Roxanne (2011) Cash flow modelling for Residential Mortgage Backed Securities: a survival analysis approach.

Camacho Camacho, José Manuel (2011) Assembler a bgp-compatible multipath inter-domain routing protocol.

Chevalking, S.K.L. (2011) Reviewing and optimizing the security of FIGO.

Dam, Franciscus Jozua van (2011) A stripline antenna for radiated immunity testng.

Dehling, Eike (2011) The Reactive Virtual Trainer.

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

Delden, R.W. van (2011) Design of therapeutic TagTile games for children with unilateral spastic cerebral paresis.

Deligkaris, K. (2011) Development of an 11000 electrode high-density multi-electrode-array system for neural network recording.

Duiven, M. (2011) Feasibility study for a CMOS integrated Optical Receiver for FLIM.

Duives, J. (2011) Mathematical programming approach to multidimensional mechanism design for single machine scheduling.

Eerenberg, E. (2011) Towards distributed information retrieval based on economic models.

Eijkeren, C.E. van (2011) On-chip separation of spermatozoa using dielectrophoresis.

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

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

Gerards, Marco (2011) Optimal Dynamic Voltage and Frequency Scaling for Multimedia Devices.

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

Grisel, I.G.J. (2011) Multimodal user interface for robotized flexible endoscopy.

Groen, Maarten (2011) Investigation into the transport properties of isolated FePt nanoparticles using STM.

Hakvoort, Gido (2011) Immersion and affect in a brain-computer interface game.

Ham, Wim van der (2011) An Appraisal Based Model of A�ect for a Negotiating Agent.

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

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

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

Heusden, A.J. van (2011) Automatic Gain Control ADC based on signal statistics for a cognitive radio cross-correlation spectrum analyzer.

Hilhorst, Gijs (2011) Stabilisation of Linear Time-Invariant Systems subject to Output Saturation.

Hoeijmakers, Niek J. (2011) User experience and User performance of feedback in a Pose Game.

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.

Jong, Jasper de (2011) Het ontwerpen van patronen voor polymetrische metselwerken.

Jong, Maurits D. de (2011) Network Management in a Distributed System.

Joosten, Sebastiaan J.C. (2011) Relaxations of the 3-partition problem.

Kanis, Zwier (2011) Classification of Semantically Coherent Segments in Web Pages.

Kaspers, R. (2011) Using a time-of-flight camera for autonomous indoor navigation.

Keuning, J. (2011) Image-based magnetic control of Microparticles.

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

Koebruggw, Jantine (2011) Estimating default probabilities for CDO's : a regime switching model.

Koelewijn, Jacob J. (2011) Graph-theoretical aspects of constraint solving in the SST project.

Kortüm, Michael (2011) Non-invasive imaging with UWB.

Koster, M.J. (2011) µFlow : A compact fluorescence detection system that uses a DVD pickup for the optical detection of beads.

Koster, Pieter A.J.M. (2011) High IMFDR3 Switched-Capacitor Amplifier design in CMOS 65nm.

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

Le, Quyen T. (2011) Spin polarized tunneling in hybrid magnetic tunnel junctions comprising C60.

Leeuwen, A.S. van (2011) Static Traffic Assignment with Queuing.

Maraha, Mirel (2011) Efficiënter gebruik van CT-scanners : casus bij Medisch Spectrum Twente.

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

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

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.

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

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

Ottenhof, Robbert H.J. (2011) Towards automated truancy detection.

Pap, M.G. (2011) Wobbe meter : A calorific measurement system on chip.

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

Peek, K. (2011) Estimation and compensation of frequency sweep nonlinearity in FMCW radar.

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

Perloy, L.M. (2011) The influence of personalization on education and enjoyment in a museum.

Posthumus, Wytse Jan (2011) The situated cognitive engineering tool.

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

Rorije, B. (2011) Calibrating OD-matrices with public transport and mobile phone data.

Russcher, Klaas Jan (2011) 3D estimation of a salient object.

Schutte, Rik (2011) Maintaining the causal thread of execution in distributed and multilanguage software.

Sluijsmans, Dennis (2011) Performance Evaluation of Data Dissemination Protocols for an Infrastructure-to-Vehicle Cooperative Traffic Light Application.

Snippe, A. (2011) Optimal signal reconstruction : quantification and graphical representation of optimal signal reconstructions.

Struiksma, R.E. (2011) An interference-robust wideband low-noise amplifier with balanced outputs.

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

Visser, Thomas (2011) Toward a model for incremental grounding in dialogue systems.

Vrugt, N.M. van de (2011) Loss Networks with Reservation.

Vural, Gürhan (2011) Microwave power amplifier design using stack topology.

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

Wanders, Brend (2011) Exploring signalling pathways as a serious game.

Warmer, Martin (2011) Detection of web based command & control channels.

Weenk, D. (2011) Automatic identification of inertial sensors on the human body segments.

Wiekens, Adri (2011) Feedback presentation for physical activity coaching: by an embodied conversational agent or by a simple e-mail?

Wijngaarden, P. van (2011) Frame capture in IEEE 802.11P vehicular networks: a simulation-based approach.

Wilbers, Janine (2011) The Flip-chip concept: A new way to electrically characterize molecular monolayers.

Wilterdink, Robert (2011) Design of a hard real-time, multi-threaded and CSP-capable execution framework.

Witteveen, T. (2011) The effect of tetanic stimulation on functional connectivity.

Zijlstra, B. (2011) Devices for spin injection & detection in graphite.

Zon, K. van (2011) Scenario based SLAM.


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

Ahmed, F. (2010) Relations between semidefinite, copositive, semi-infinite and integer programming.

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

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

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

Bijker, Remko (2010) Efficient pointcut projection.

Boksteen, B.K. (2010) A simulation study and analysis of advanced silicon Schottky barrier field effect transistors.

Borggreve, D. (2010) Design of a 1.2 volt reference voltage stabilizer in 180NM CMOS.

Bouwhuis, Wilco (2010) Modelleren van de Neocortex : analyse en simulatie op grote schaal.

Bragt, Jasper (2010) Towards believable characters in the virtual storyteller.

Brugge, Jonathan (2010) Implementing and simulating the cross-entropy ant system.

Bukhsh, Faiza Allah (2010) Enhanced ICoNos maturity model.

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

Diephuis, Maurits (2010) A framework for robust forensic image identification.

Doggen, C. (2010) Wireless state feedback and control of a pipe inspection robot.

Dorp, H. van (2010) Electrochemical characterisation of silicon nanowires.

Dresscher, Douwe (2010) Robust autonomy for the youBot.

Feng, Yuan (2010) Modified potential approach to efficient, linear and symmetric values for TU-games.

Franchimon, Ellen (2010) Modelling circular optical microresonators using whispering gallery modes.

Franssens, Anne (2010) Impact of multiple inquires on the bluetooth discovery process : and its application to localization.

Ganzeboom, Mario S. (2010) User-independent recognition of dynamic hand gestures using a dataglove.

Gao, A. (2010) Influence of nanoscale surface roughness on flow behaviour in fluidic microchannels.

Groenesteijn, J. (2010) MEMS-based step-up voltage conversion for comb-drive actuation.

Groeneveld, D.J.A. (2010) Bandwidth extension and noise cancelling for TIAs : wwo new common source TIA implementations.

Hagos, Ambesagir S. (2010) Geocasting solution for bluewave services in the context of vehicular communications.

Hartholt, Woutske (2010) Beslissingsondersteuning voor het aanpassen van de online OK-planning.

Hartog, M.R. den (2010) Shunt planning : an integral approach of matching, parking and routing.

Hettinga, S. (2010) Performance analysis for embedded software design.

Hoeksma, Ruben (2010) Price of anarchy for machine scheduling games with sum of completion times objective.

Hollander, Emiel (2010) Dynamic access control.

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

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

Jochems, Bart (2010) Detecting emotional intensity peaks in narrative conversational settings.

Jong, H.W. de (2010) Two-dimensional coding and detection for data storage on patterned media.

Jongsma, T.M. (2010) Connecting Æthereal to the Montium.

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

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

Koenders, M.J.M. (2010) Field emission and stability.

Kok, Guido (2010) Cloud computing & confidentiality.

Korevaar, Cornelis Willem (2010) A time-frequency localized signal basis for multi-carrier communication.

Kortier, H. (2010) Assessment of daily-life dynamic interactions between human body and environment using movement and force sensing on the interface.

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

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

Lansink, M. (2010) Hair simulation and rendering.

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

Lin, Y. (2010) Architecture for IP based interconnection of heterogeneous wireless communication systems for mission-critical group oriented communications.

Maan, B. (2010) Comparison of methods for quantitative analysis of dynamic susceptibility contrast enhanced brain perfusion MRI.

Mennink, T. (2010) Self localization of PIRATE inside a partially structured environment.

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

Nikolopoulos, Panayiotis A. (2010) Assessment of model risk through hedging simulations: valuation of Bermudan swaptions with a one-factor Hull-White model.

Olieman, Erik (2010) Charge steered RF PA.

Oortgiesen, R. (2010) Feasability study of frequency doubling using a dual-edge method.

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

Paul, Ronald (2010) Realization and high level specification of facial expressions for embodied agents.

Peters, Tjitte-Jelte (2010) Fabrication and characterisation of cantilever arrays with integrated sharp tips.

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

Pothoven, Tristan (2010) Workflow usage in the healthcare environment.

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

Qiu, Xian (2010) Bin packing games.

Ruiter, M. (2010) Feasibility study for a clock-controlled analog beamforming frontend.

Schellekens, T. (2010) Synchronization performance of noise-based frequency offset modulation.

Schippers, E. (2010) Solving ambiguity problems in phase based profilometry.

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

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

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

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

Smeenge, A.R. (2010) Improving cross-correlation spectrum sensing using two antennas.

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

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

Sundaram, J. (2010) Surface tension driven fabrication of three-dimensional microstructures.

Teijgeler, Stefan (2010) Connecting GROOVE to the world using XMI.

Tijssen, Peter (2010) Interaction of TEMPO-derivative 2D spin systems with conduction electrons in thin gold films.

Ton, B. (2010) OFDM synchronization for the MIMO testbed.

Ugryumova, D. (2010) Control design for a chemical disinfection process using the residence time distribution.

Valk, J.J. van der (2010) The in uence of a target motion model on the exact Bayesian filter recursion; research by particle filtering.

Vlieg, Edwin (2010) Usage patterns for user-centric service composition.

Vliet, Frank van (2010) Threat detection systems.

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

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

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

Zanden, Guido van der (2010) Quality assessment of medical health records using information extraction.


Akker, H. op den (2009) On adressee prediction for remote hybrid meeting settings or how to use multiple modalities in predicting whether or not you are being addressed in a live hybrid meeting environment.

Angoshtari, Bahman (2009) On utility of wealth maximization.

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

Balen , J. van (2009) A virtual billiard assistant.

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

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

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

Boot, L. (2009) Facial expressions in EEG/EMG recordings.

Bos, W.J. (2009) Interactive signaling network analysis tool.

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

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

Broersen, Jeroen (2009) Towards a detection and recognition system for freshwater fish.

Chauhan, P. (2009) Study the impact of smile and tail dependence on the prices of European style bivariate equity and interest rate derivatives using Copulas and UVDD model.

Colenbrander, Roderick (2009) On FPGAs with processor cores for embedded control systems.

Diepenmaat, J. (2009) Object XML mappings.

Domburg, R.S.A. van (2009) Empirical evaluation of change impact predictions using a requirements management tool with formal relation types : a quasi-experiment.

Droogendijk, Harmen (2009) Design and fabrication of a bulk micromachined accelerometer for geophysical applications.

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.

Galen, J. van (2009) Modelling, simulation and impelementation of an optical beam forming network control software system.

Gao, Yang (2009) Microfluidic structures for separation of blood cells and bacteria.

Garcia Garcia, A. (2009) Optical phase synchronization in coherent optical beamformers for phased array receive antennas.

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

Gutierrez Perez, V. (2009) Power signal measurements.

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

Hemert, T. van (2009) On the modeling and simulation of novel schottky based silicon rectifiers.

Hong, L. (2009) Implementation and tuning of optical singlesideband modulation in ring resonator-based optical beam forming systems for phased-array receive antennas.

Houtman, J. (2009) Bringing scalability/failover to a complex producer/consumer implementation.

Janssen, Oskar (2009) A finite difference time domain model of an eddy current based measurement system.

Jeckmans, A.J.P. (2009) Practical Client Puzzle from Repeated Squaring.

Julsing, B.K. (2009) Phenomenological modeling of the human tongue and lips.

Kamp, Roel van der (2009) Local volatility modelling.

Khomasuridze, Irakli (2009) Extensions of the SABR Model for Equity Options.

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

Klaassen, R. (2009) COPD home interaction device.

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

Kok, I. de (2009) The influence of videoconferencing and an emotional feedback support system on polyadic negotiations.

Kooijman, M. (2009) Haskell as a higher order structural hardware description language.

Kristina, W. (2009) Wave reflection over flat and slowly varying bathymetry modeled by Effective Boundary Conditions.

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

Kuperus, Johan (2009) Wave monitoring using wireless sensor nodes.

Laar, B. v.d. (2009) Actual and imagined movement in BCI gaming.

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

Li, C.H. (2009) Quadrature power amplifier for RF applications.

Logtenberg, Jeroen (2009) Multi-user interaction with molecular visualizations on a multi-touch table.

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

Lucassen, T. (2009) Adaptive support of human attention allocation using cognitive models.

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

Muis, Allard (2009) Patterns in data conversion.

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

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

Nouwens, I.C.C. (2009) Predicting dialogue state transitions using prosodic markers: Exploring AMI Corpus backchannels.

Ohazulike, Anthony E. (2009) Multi-Objective Road Pricing Problem: A Cooperative and Competitive Bilevel Optimization Approach.

Ooms, Matthijs (2009) Provenance management in practice.

Oost, H.B. (2009) SDA-based discrete head pose estimation.

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

Raesen, E. (2009) A time-based order fill rate model for spare parts.

Ravesteijn, W. van (2009) Connecting distributed e-health applications by means of a generic control protocol.

Rezola Exteberria, I. (2009) Learning Multi-Agent Control with OROCOS.

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

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

Rossem, E. van (2009) Design of a sub-1V bandgap reference in FinFET technology.

Rossem, F. van (2009) Doping extraction in FinFETs.

Rubio Paniza, E. (2009) Design and evaluation of an MSP-based body area network management architecture using JMX.

Sassen, Thijs (2009) Floating-point based control of the production cell using an FPGA with Handel-C.

Satink, Laurens (2009) The adaptive presentation assistant using grammar-based recognition to support the process of presenting.

Schippers, Jorrit (2009) A massively scalable architecture for instant messaging & presence.

Schouten, J.H. (2009) Optimisation of packet scheduling in wireless networks.

Stolp, D.G.A. (2009) Using ontology mapping to automate derivation of transformations for data integration.

Stut, Wendy (2009) Een stochastisch optimalisatie model voor een robuuste dienstregeling: Een nieuwe oplosmethode.

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.

Tariq, T. (2009) Extending CACI : implementing support functions for the context producer and designing a security Framework.

Tijmes, M. (2009) Simulation of a ring resonator-based optical beamformer system for phased-array receive antennas.

Timens, R.B. (2009) Performance evaluation of frequency modulation and slope detection in analog optical links.

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

Tommassen, P. (2009) Wacky Pirate Hijinks : causing and resolving conflict between autonomous agents in a virtual storyworld.

Veldhuijzen, B. (2009) Redesign of the CSP execution engine.

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

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

Verhoef, B. (2009) Design of a high speed digital to analog converter.

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

Vrielink, Jasper D. (2009) Phased array processing: direction of arrival estimation on reconfigurable hardware.

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

Weele, J.H.D. ter (2009) Onderzoek naar de gebruikersvriendelijkheid van boekingsformulieren.

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

Wildeman, A. (2009) Parallel Preconditioners for Stokes Flow.

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


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

Berg, Ruben van den (2008) Interaction capabilities of Second Life : a framework to determine Second Life's suitability for a 3D virtual world application.

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

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

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

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

Boer, Harm (2008) Analysis, optimization and evaluation of a pipe inspection robot.

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

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

Boschker, Frank B. (2008) Design of a 12bit 500Ms/s standalone charge redistribution Digital-to-Analog Converter.

Brink, Tim van den (2008) Ketenarchitectuur : succes- en faalfactoren bij de invoering van het digitaal klantdossier.

Brinkman, E. (2008) Recognition of the emotion in abstract expressionistic paintings using a machine learning approach.

Broekhuizen, V.P. (2008) Security for EPC discovery services.

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

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

Damman, B. (2008) Representing PCTL counterexamples.

Deddens, M.K. (2008) Toepasbaar risicomanagement in software ontwikkelingsprojecten : ontwerp en toepassing van een risicomanagementmethode voor software ontwikkelingsprojecten binnen Centric IT Solutions.

Deen, Bart (2008) A software solution for absolute position estimation using WLAN for robotics.

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.

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

Engelsman, W. (2008) Method for requirements management and modeling.

Es, Frank J. van (2008) Type inference for graph transformation systems.

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

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

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

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

Gils, F.M.D.M. van (2008) PodVinder : spoken document retrieval for Dutch pod- and vodcasts.

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

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

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

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

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

Hogt, N.A. (2008) Aanbevelingen voor een architectuur voor het regionale zorgsysteem.

Idserda, K. (2008) Simultaneous binding proxy mobile IPv6.

Janssen, Oskar (2008) Wifi interface for mobile robots.

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

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

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

Jonker, J. (2008) Wizard of Oz for gesture prototyping.

Kaijen, J.A.H. (2008) Management of risk & information security data.

Kessel, Ruud van (2008) Querying Probabilistic XML.

Klein Wolterink, W. (2008) A content-based routing protocol for mobile ad-hoc networks using a distributed connected k-Hop dominating set as a backbone.

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

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

Linders, Stefan (2008) Opportunities and limitations of using SOA concepts and technologies for building BI applications : a Delphi study.

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

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

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

Lopez, J.M. (2008) Dynamic service composition in an innovative communication environment.

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

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

Melissen, Arthur (2008) Exploring neglected avenues in the modelling of attribution theory.

Mengerink, Jeroen (2008) SeCo : a tool for semantic test coverage.

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

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

Nijmeijer, Tom (2008) Automatic classification of television commercials.

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

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

Oostrum, A.R. (2008) A service register as an information intermediary : towards a structured design approach for service registers.

Oude Alink, M.S. (2008) Increasing the spurious-free dynamic range of an integrated spectrum analyzer.

Oude Bos, Danny (2008) BrainBasher : a multi-modal BCI game for research and demonstration.

Pasch, M. (2008) Bye-bye couch potato : body movement in the gaming experience.

Post, Albert (2008) Endstops for the mechatronic demonstrator.

Reilink, Rob (2008) Realtime stereo vision processing for a humanoid.

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

Roos, J. (2008) Residual risk management : a quantitative approach to information security.

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

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

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

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

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

Tigelaar, Almer S. (2008) Automatic discussion summarization : a study of Internet fora.

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

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

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

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

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

Verhaar, Kees (2008) An integrated embedded control software design case study using Ptolemy II.

Visser, Ludo (2008) Motion control of a humanoid head.

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

Vries, A.J.K. de (2008) Improving reliability of streaming radio.

Vries, R. de (2008) Switching behavior of nano scale light sources.

Wei, Z. (2008) Design of application specific high bandwidth Nyquist DAC.

Werf, R.J. van der (2008) The Embodied Conversational Agent Toolkit : a new modularization approach.

Wijngaarden, Pieter van (2008) Error tolerance analysis of the Telefónica de España optical fibre network.

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

Zuijlen, Jasper van (2008) FPGA-based control of the production cell using Handel-C.


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

Ambrosius, R.B.P. (2007) Elektronische leeromgeving met gebarentaalherkenning : Grafische user interface oplossingen voor ambigu¨ıteitproblemen van een gebarentaalherkenner voor een elektronische leeromgeving voor dove en slechthorende kleuters.

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

Baalman, Philippus (2007) Van mono naar multi: een automatische VJ.

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

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

Bosman, Yoran Maxim (2007) Incorporating Functional Design Patterns In Software Development.

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

Braber, Kommer (2007) A policy based MBU control system using OSGi.

Brink, P.H.B. (Pieter) van den (2007) Ontology-driven information integration of food industry related RSS news feeds.

Buurman, H.A. (2007) Virtual Storytelling: Emotions for the narrator.

Derwort, Selmer (2007) IT governance: de doelen en de middelen: In kaart brengen van IT governance in theorie en praktijk.

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

Doorn, Gerrit Hendrikus van (2007) Accelerated playback of meeting recordings.

Elling, Erwin (2007) Tools for fun and fruitful meetings. : “Don’t let meetings make you go bananas!”.

Faber, T.D. (2007) Designing a Low Noise Amplifier for Satellite Receivers in CMOS technology.

Fountain, Stefan J. (2007) Success prediction induction framework : success models for online applications, introducing network effects and trust constructs.

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

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

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

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

Herms, K.G.F. (2007) Body pose tracking in the Watching Window : a system that tracks both hands in a virtual reality environment.

Heuts, R.P. (2007) Mobile interface design for dynamic environments.

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

Huisman, Rolf (2007) Bugspray for composition filters.

Jansen, Lisette (2007) Panze: A Multimodal Preschool Music Education System.

Jong, Bart, de (2007) Optimizing cost effectiveness and flexibility of air taxis: A case study for optimization of air taxi operations.

Jong, M.A. de (2007) Politeness and Alignment in the Virtual Guide.

Kalter, Stefan Reijmer (2007) Vertical collaboration in open source business.

Karapetian, Armen (2007) Automobile tire profile measurement.

Kernkamp, Reinier (2007) Alignment of Requirements & Architectural Design In a Blended Delivery Model.

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

Kock, Arien S. (2007) Enhancing Synthetic Speech with Filled Pauses.

Kok, J. (2007) The design of a Delta Impact analysis model for data warehouses.

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

Kooistra, Cornelis (2007) Design and testing of embedded control software for the ViewCorrect Plotter.

Koster, J. (2007) Influencing tabletop interaction speed: directness and device.

Kosters, Dennis (2007) Invloed van slimme meters op de energiebalans: Een analyse van de invloed van het slimme meter systeem op een netbeheerder en zijn ondersteunende IT, binnen het kader van de energiebalans.

Kosters, T. (2007) Van gasbel naar gasstel : een onderzoek naar de inrichting van de shipper op de gasmarkt.

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

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

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

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

Lie, S.L. (2007) An analysis of extremal periodic water wave profile.

Lukkien, Mechiel (2007) Venti analysis and memventi implementation: Designing a trace-based simulator and implementing a venti with in-memory index.

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

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

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

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

Nijdam, N.A. (2007) Facial rendering.

Odijk, M. (2007) Novel sensor structures for enhanced redox cycling.

Oijen, Joost van (2007) A Framework to support the influence of culture on nonverbal behavior generation in Embodied Conversational Agents.

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

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

Ooms, Wendy (2007) Providing AAA with the Diameter protocol for multi-domain interacting services.

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

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

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

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

Penning, M.P.J. (2007) Boosting LUCK: Improving the language understanding capabilities of Kaitito.

Plass, Martijn J.A. (2007) Rules Decomposition for Distributed Context Processing.

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

Posthumus, Ronald (2007) Data logging and monitoring for real-time systems.

Pot, Wouter (2007) A machine learning approach for generating expressive musical transcriptions.

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

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

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

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

Reuderink, Boris (2007) Fusion for Audio-Visual Laughter Detection.

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.

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

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

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

Scherpenzeel, Fabian (2007) Project assessment: a search for root causes.

Scholten, F.B. (2007) The concern-oriented software architecture analysis method.

Sierhuis, Pim (2007) Het voorkomen van prestatieverlies bij de koppeling met Web services: ... en de rol van standaardisatie daarbij.

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

Sisseren, B. van (2007) Design of a lightweight real-time streaming kernel.

Slakhorst, Robert Jan (2007) Switched Mode Piezo-Panel Driver.

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

Soer, Michiel (2007) Analysis and comparison of switch-based frequency converters.

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

Spanjer, Frank (2007) Niveaus in de vraagorganisatie: een raamwerk met processen binnen de ICT-vraagorganisatie.

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

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

Stellinga, Anne (2007) A low-power second-order sampling receiver for Bluetooth.

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

Tuijn, Jasper Aartse (2007) Partial session mobility in context aware IP-based multimedia subsystem.

Tuin, Vincent van der (2007) Computer-Aided Security Surveillance : design of the Quo Vadis Object Tracker.

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

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

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

Versloot, Corne (2007) Cross-document named entity coreference resolution for Dutch as a pre-process for named entity based text mining.

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

Vlasveld, J. (2007) On context in context-aware ICT applications.

Wijgerse, Steven (2007) Generating realistic city boundaries using two-dimensional Perlin noise.

Witteman, M.T. (2007) Efficient proximity detection among mobile clients using the GSM network.

Zimmerman, Jurit (2007) Toepassen van “serious games” ter ondersteuning van de opleiding binnen het bedrijfsproces ICT service management.

Zonderland, M.E. (2007) Re-Design of the Pre-Anesthetic Evaluation Clinic at Leiden University Medical Center.

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


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

Berens, Menno (2006) De tevredenheid over shared service centers in de publieke sector : het succes van shared service centers en de oorzaken daarvan in de inrichting en het functioneren van de klant-leverancierrelatie.

Bijlsma, T. (2006) Performance of real-time scheduling on sensor nodes : comparing scheduling algorithms, resource policies and energy conservation methods in AmbientRT.

Boorsma, Simon (2006) Ketenintegratie van het intermediaire distributiekanaal in de verzekeringsbranche : huidige ontwikkelingen in de verzekeringsbranche en de mogelijkheden voor Zevenwouden Verzekeringen om ketenintegratie te realiseren¿.

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

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

Braam, G.J.M. (2006) Supporting multi-modal and multi-medial user interfaces from an embedded environment.

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

Brouwer, L.J. (2006) Monitoring van een ASR-systeem : het gebruik van interne confidencewaarden en teletekstondertiteling om de Word-Error-Rate van een herkenning te voorspellen.

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

Cheng, W. (2006) The design of a new power combining technique for the RF power amplifiers.

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

Daniele, L.M. (2006) Toward a rule-based approach for context-aware applications.

Derks, Theo (2006) Health at home.

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

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

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

Eijkelenkamp, L.P. (2006) Incident management bij extramurale revalidatieprocessen : onderzoek naar de geschiktheid van het CSDM Incident Management ten bate van Extramurale Revalidatietherapieën.

Elshout, Tjeerd van den (2006) Obtaining time reduction, in the movement of a clamp mechanism.

Elzakker, M. van (2006) Low-power analog-to-digital conversion.

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

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

Groenland, A.W. (2006) Degradation processes of platinum thin films on a silicon nitride surface.

Groenland, A.W. (2006) Hot tips for chemistry : development of a carbon nanotube based field emitter array for plasma chemistry on chip.

Groot, Paul de (2006) Enhancing the performance and testability of the MI20 robot soccer system.

Hassink, N. and Schopman, M.G. (2006) Gesture recognition in a meeting environment.

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

Houwelingen, Fabian van (2006) Frequency division.

Hulswit, D.R. (2006) Automatic interpretation of Nijntje-images.

Ingberg, G. (2006) Location aware performance measurements.

Kattenbelt, M.A. (2006) Towards an explicit-state model checking framework.

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

Kok, A.L. (2006) Spatial Resource Costrained Project Scheduling : the allocation and sequencing of activity groups tospatial resources.

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

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

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

Linthorst, Henk-Jan (2006) De mogelijkheden van ICT in het effectiever en efficiënter functioneren van de diabetesketen.

Meer, C.H. van der (2006) Ocean waves of maximal amplitude.

Meijer, Gijs (2006) Performance measurement of IT investments.

Mocking, Ceriel (2006) Optimal design and strategy for the SolUTra.

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

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

Nusman, Daan (2006) Real-time full-body motion capture in virtual worlds.

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

Puming, Liu (2006) Service agreements and facilities for M-health vital sign monitoring.

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

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

Schrijver, Bert Jan (2006) Classificeren met vertrouwen : contextgevoelige tekstclassificatie met betrouwbaarheidsindicatie.

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

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

Slabbers, Nanda (2006) Narration for virtual storytelling.

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

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

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

Stapelbroek, W. (2006) Higher order feedback loop for a pulse width modulator.

Steeden, Remco van (2006) Communication-centric debug of systems-on-chip using networks-on-chip.

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

Steghuis, Claudia (2006) Service granularity in SOA-projects : a trade-off analysis.

Stehouwer, J.H. (2006) Cue phrase selection methods for textual classification problems.

Swartjes, Ivo (2006) The Plot Thickens : bringing structure and meaning into automated story generation.

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

Veldhuijsen, Gerald van (2006) DICOM Image Retrieval.

Verbree, A.T. (2006) On the structuring of discussion transcripts based on utterances automatically classified.

Vrielink, S.B. (2006) Situational reinforcement learning : learning and combining local policies by using heuristic state preference values.

Vrijkorte, A.B. (2006) Semantics in service-oriented architectures.

Wasbeek, Edwin van (2006) A repository for the management of artifacts in system engineering.

Wassink, Bart W. (2006) `Innovasie¿ : een onderzoek naar innovatie bij publieke dienstverlener CWI.

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


Berge, Matthijs ten (2005) Design Space Exploration for Fieldbus-based Distributed Control Systems.

Boedeltje, Michel Ronald (2005) In response to your inquiry : Automatic E-mail Answer Suggestion in a Dutch Contact Centre.

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

Borssum Waalkes, Bart (2005) Managing Genome Databases.

Buit, Erik (2005) PC104 stack mechatronic control platform.

Burgwal, M.D. (2005) Serving the Montium : design of an energy-efficient processor-network interface.

Dertien, Edwin (2005) Realisation of an energy-efficient walking robot.

Dirne, Hans (2005) Demonstrator of advanced controllers.

Ellenbroek, Frank R. (2005) Hardware integration for a passive optical communication network.

Guo, Xiaohu (2005) Design and realization of a one-dimensional vibration isolation setup for floor vibrations.

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

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

Huijgen, Mark (2005) Patterns for dependable and distributed embedded control.

Jong, Gerdo (2005) Dual stage actuation in linear drive systems.

Kamphuis, Job (2005) Variable batch sizes for Learning Feed Forward Control using Key Sample Machines.

Kapoor, A. (2005) A Reconfigurable Architecture of Software-Defined-Radio for Wireless Local Area Networks.

Klaij, Bastiaan (2005) Toegepast tokenizen voor natuurlijke taal verwerking : automatische analyse van platte en opgemaakte tekst.

Lammertink, Tijs (2005) Power-port modelling of an in-plane 3 DOF parallel micro-manipulator with feed-forward position control.

Liu, Yu (2005) Benchmarking of the Key Sample Machine.

Loon, Sebastiaan van (2005) Modeling and gait control of a quadruped robot.

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

Oort, Gijs van (2005) Strategies for stabilizing a 3D dynamically walking robot.

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

Otto, M. (2005) Mechatronic setup for Boderc project.

Pieper, Peter (2005) Fast dynamic-model based weight measurement.

Schippers, Bob (2005) Dislocation engineered silicon Light Emitting Diode.

Schutyser, Pieter (2005) An optimal controller for Desdemona for an optimal feeling.

Tiggelman, M.P.J. (2005) Low series resistance structures for gate dielectrics with a high leakage current.

Timmer, M. (2005) How to identify the speed limiting factor of a TCP flow.

Weijden, Erik van der (2005) Structuring argumentation in meetings : Visualizing the argument structure.

Willemink, G.H. (2005) Segmentation and Motion Estimation of Multiple Independently Moving Objects in Stereo Video Streams.

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

Zhang, Yuchen (2005) Real-Time Network for Distributed Control.


Ananda, Artha Sejati (2004) Design and simulation of non-zero and zero dispersion optical lattice wavelength filters.

Balkema, Wietse (2004) Realization and characterization of a 2.4 GHz radio system based on frequency offset division multiple access.

Beekman, Niels (2004) Analysis and development of a 2D walking machine.

Bekkaoui, A. (2004) Link performance of the time offset transmitted reference system.

Bui, Cuong (2004) Write-intensive applications with DLAP.

Damstra, M.C. (2004) Path search algorithms for application in W-CDMA systems.

Engelen, Thiemo van (2004) CTC++ enhancements towards fault tolerance and RTAI.

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

Ferdinando, Hany (2004) Fault-tolerance in real time distributed system using the CT Library.

Groothuis, Marchel (2004) Distributed HIL simulation for Boderc.

Hidayat, Zulkifli (2004) Comparison of Learning Methods in the Learning Feed-forward Control Setting.

Konuk, Ali Riza (2004) Development and Implementation of Compliant Controller On Manus Robot Arm.

Moseley, N.A. (2004) Radio Resource Discovery for Ad-hoc Wireless Networking.

Roelofsen, Floris (2004) Contextual Reasoning - Complexity Analysis and Decision Procedures -.

Schepers, Martin (2004) Modeling a Piezoelectric Inertial Stepping Turntable Using Bond Graphs.

Scholten, Jeroen (2004) Modelling of direct drive motors for performance improvement by design and control.

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

Zhao, Dongsheng (2004) EMC study of an automotive application.


Bajracharya, G. (2003) Integrated Design and Implementation Tool for Multi-Agent Controllers IDITmac.

Eglence, E. (2003) Design and Realization of a Safe Control System for a Parallel Manipulator.

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

Heinen, G. (2003) Turbo Multiuser Detection Architectures.

Iakovou, Dimitrios (2003) Recognition of Structures in Numerical Data.

Jansen, Bas (2003) Service profiling in business to business web services.

Min, Volker J.T. (2003) Transport accounting management in a multi-access technologies environment.


Boer, G.R. de (2002) A physical multi-body car model using 3-D (screw) bond graphs.

Hoesel, L.F.W. (2002) Design and Implementation of a Software Defined HiperLAN/2 Physical Layer Model for Simulation Purposes.

Koenders, P.A.J. (2002) On the relation between equation formulation of constrained systems and implicit numerical integration and optimization.

Mourik, L.C. van (2002) Design & Implementation of Digital Channel Selection Filters for a Combined Bluetooth and Hiperlan/2 Receiver.

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

Potman, J. (2002) Development of a Multiuser Detection Testbed.

Stephan, R.A. (2002) Real-time Linux in Control Applications Area.

Visser, P.M. (2002) Control Software Design and Safeguarding with the support of UML and CT.


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

Donckers, L. (2001) Energy Efficient TCP.

Hendriks, J.P.A. (2001) Realization of Tool Support for CSP Diagrams and Generation of Concurrent Java Software.

Kluwer, Taco (2001) Development of a test-bed for smart antennas, using digital beamforming.

Seters, Nathan van (2001) Compensation of Friction in the Flight Simulator Stick using an Adaptive Friction Compensator.

Valkenburg, Govert (2001) On training strategies for parsimonious learning feed-forward controllers.


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


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


Konings, Sandra J.C. (1994) Tidal effects on cohesive sediment transport in the Western Scheldt : an identification of model parameters using the extended Kalmar filter.


Leferink, F.B.J. (1992) Preventing electromagnetic interference form integrated circyits and printed circuit boards using computer simulation.


Nibbelke, Vincent (0002) Vascular pattern recognition for finger veins using biometric graph matching.

This list was generated on Sun Jan 22 05:09:48 2017 CET.