Bitcoin joel beukers

2021

Chavannes, J.P. (2021) Information extraction for court cases.

Ekkelenkamp, D.H. (2021) Adding higher-order situation awareness components to a platoon commander's battle management system.

Fang, Zhuowen (2021) HejVR: a Virtual Reality online cultural learning system.

Weert, T. van (2021) An awareness campaign regarding energy consumption for the UT-community.

2020

Aalders, M.W.C. (2020) Accessible sleep support.

Achterkamp, F. (2020) The current situation of the food environment at a Dutch secondary school : a case study with insights from students and other stakeholders.

Ahmed, A.B.H. (2020) Balancing security and usability in Web Single Sign-On.

Alblas, H.J. (2020) Predictive maintenance of Dutch civil infrastructure: a structured approach.

Alphen, F.I.M. van (2020) Model order reduction on FitzHugh-Nagumo model.

An, X. (2020) Development and characterization of an HNA etching process for realization of big sensor tubes.

Aniraj, Ananthu (2020) Item availability restricted.

Aponte Urmeneta, J.M. (2020) Designing a sleep monitoring device to induce lucid dreaming.

Appelman, M.B. (2020) Non-intrusive measurement setup for time-variant mains impedances within the 16 kHz - 256 kHz Band.

Arend, S. (2020) Design of a solar home system for an unelectrified household in a rural community in the province of Limpopo, South Africa.

Arends, Simon Daniël (2020) Quantity meets quality for mined process models through simulated events.

Arkel, Lars van (2020) Demonstrating runtime assertion checking using Snap!

Arnold, L.H.A. (2020) Security in V2I projects : incorporating security into a framework for communication between connected cars and infrastructure.

Artolozaga, Iñigo (2020) Mental health care in a pandemic : a survey from a design and interaction perspective.

Arum, S.R. van (2020) Supporting healthy eating in children through the Sensory Interactive Table.

Aslam, Suhaib (2020) Designing a ubiquitous artifact for enhancing the digital wellbeing of smartphone users.

Azani, Maryam (2020) Supply Chain Control Tower Reference Architecture for Exception Monitoring and Real-Time Incident Management.

Baardwijk, P.F. van (2020) Gain and phase balancing techniques for a differential-pair based active balun pre-amplifier.

Bakker, Jelle / J.H.T. (2020) Design of a Monolithically Integrated High Speed (10Mbps) Optocoupler.

Bakker, Michiel (2020) Model validation for stochastic hybrid automata.

Balamuralidhar, Navaneeth (2020) MultEYE: Real-time Vehicle Detection and Speed Estimation from Aerial Images using Multi-Task Learning.

Bandi, S.S.A. (2020) Inter-subject synchrony and emotional dynamics in magnetoencephalographic signals during music stimulation.

Banu, R. (2020) Internet of nano-things in human cancer detection.

Bardsen, K.T (2020) From Quantified Self to Qualified Self: Creating a Happier User.

Barneveld, Shifra Abrahanna (2020) Designing the environment for a healthy lifestyle: reflection or change?

Beenhakker, L. (2020) Identification and modelling of interaction in volleyball using recognized actions of players.

Belinskis, Rihards (2020) Designing electropneumatic control unit(EPCU)and motor identification setup of the PneuARMM robot.

Benen, N.J. (2020) Using Graphviz to create aesthetically pleasing LaTeXdrawings of graphs.

Berends, T. (2020) Augmented Reality application to raise public awareness of the “Groene Linie” rainwater management project.

Berendse, S.E. (2020) Exploring semantic segmentation in rowing images.

Berg, J.L. van den (2020) An interactive visualization explaining probabilistic fault tree computations.

Berg, S.H.M.P. van den (2020) Co-designing a self-compassion application for newly diagnosed cancer patients with a focus on sustained use.

Bergsma, Sascha (2020) Multimodal virtual rowing coach.

Berkhoff, M.H. (2020) VRwonder : the development & implementation of a Virtual Reality application for people with dementia.

Bertolotti, E.M. (2020) Item availability restricted.

Bes, Martijn B. (2020) LC-balun impedance matching for a mixer first RF front-end.

Beurden, Jenneke van (2020) Technology Supported Music Education: using colored lights in instruments to provide feedback to beginning generalist teachers.

Bhaswara, I.D. (2020) Exploration of autoencoder as feature extractor for face recognition system.

Bhide, Gaurav (2020) Evaluation of the SUNRAM 5 for performing a full clinical in-situ breast biopsy procedure.

Bie, D.R. de (2020) Image Similarity Ranking Applied to the Forensic Domain.

Biggelaar, A. van den (2020) The process of designing a Rehabilitation Agent.

Bijl, M.H. de (2020) Encoder-Forecaster-Decoder: a Modular Deep Learning Framework for Cloudage Forecasting.

Bijsterveld, D.G. (2020) Item availability restricted.

Bistolfi, I.M.F. (2020) Virtual reality tool for teachers.

Blauw, A.W (2020) Emulation of electroactive polymers.

Bluiminck, M. (2020) Design of 3D printed biopsy robot and control using mobile phone application.

Boeijen, R. van (2020) Sysnthesis of distribution network of large antenna array at mm-wave.

Boer, P.B. den (2020) Inner Join Privacy : incorporating functionality-privacy trade-offs in Mobility-as-a-Service Solution design methods.

Boersma, E. (2020) Intelligent process automation framework : supporting the transformation of a manual process to an automation.

Bogaard, C.H.M van den (2020) Thwarting File-Injection Attacks on Searchable Encryption via Client-side Detection.

Bongertman, M. (2020) Geometric state estimator tightly-coupling force and pose estimation for interaction in vision-denied environments.

Bonnema, Joris T. (2020) Item availability restricted.

Bontekoe, T.H. (2020) Balancing privacy and accountability in digital payment methods using zk-SNARKs.

Bontekoe, T.H. (2020) Balancing privacy and accountability in digital payment methods using zk-SNARKs.

Boot, J.J.F. (2020) Defending against Access Pattern Attacks on Secure Range Query Schemes.

Borgman, J. (2020) Design of a personalized e-coaching module on physical activity and nutrition for people with chronic diseases and low health literacy.

Bos, L.C. (2020) Formal analysis and verification of interactions in the O2N middleware framework.

Bosch, K.T.D. (2020) Item availability restricted.

Boschma, R. (2020) Exploring the world of Container Stacking using Approximate Dynamic Programming.

Bosdriesz, Laura (2020) Adding Speech to Dialogues with a Council of Coaches.

Bosma, H.R. (2020) Increasing nutrient awareness with the Smart Kitchen Scale.

Braams, T.L. (2020) Impact of programming environments and practices on energy consumption.

Brandl, L. (2020) FutureType : Word completion for medical reports.

Breazu, Bogdan (2020) Characterisation of a micromachined Wobbe index sensor.

Breggeman, F.T. (2020) Graph Isomorphism with Pathfinding Algorithms.

Bremmer, D.J. (2020) Mapping dataflow over multiple FPGAs in Clash.

Brink, K. van den (2020) Finding “The Drop” : Recognizing the climax in electronic music using classification models.

Brinke, N.J. ten (2020) Direct-sequence spread spectrum in backscatter wireless sensor networks.

Brinke, S.T. ten (2020) The Effect of Manipulating Perceived Action Boundaries On Catching Performance.

Brinkman, B. (2020) Improving communication for social impact organisations to create more impact on society : How entrepreneurs operating in the domain of social impact can communicate more effectively.

Brouwer, R (2020) Learning Timed Mealy Machines of the Physical Processes of an Industrial Control System for Anomaly-based Attack Detection.

Bruins, L.L.E. (2020) Validation of Legal Documents by comparing digital and printed photographs.

Brunt, B.W. (2020) Decreasing the computation time that's used for saving data in the DEMKit simulator.

Buchberger, C. (2020) Data visualization of the current state of electric mobility infrastructure.

Buist, H.A. (2020) Online travel mode detection on a smartphone.

Bundo, Silvi (2020) Multichannel electrocutaneous stimulus application for nociceptive system characterization.

Burgt, A.P. van der (2020) Designing a Low-Cost Autonomous Pyranometer.

Cantón García, Pablo (2020) User-centred design for team mood : the design of a digital dashboard.

Cents, R.B.A. (2020) Item availability restricted.

Cervone, B. (2020) Designing interactive data visualisations for RTL Nederland’s online news platforms : increasing visibility of the “volg” functionality and user engagement.

Chavan, S.S. (2020) Bandgap reference exploiting mechanical stress.

Chen, Zhiyuan (2020) Automatic detection of photographing or filming.

Chowdhary, A. (2020) Email-based Intelligent Virtual Assistant for scheduling (EIVA).

Clemens Villa, P. (2020) Supporting healthy eating through technology (supporting those with eating disorders in times of crisis, such as the COVID-19 pandemic).

Colombo, Riccardo (2020) On the escalation from Cyber Incidents to Cyber Crises.

Constantinescu, E.M. (2020) An in-depth approach to fitting probability distributions using evolutionary algorithms.

Court, M.A. de la (2020) Design of a model-driven platform for IoT event stream processing.

Couwenbergh, W. (2020) Real-time assistance for people endangered by forest fires : Mobile application.

Crichlow, Matthias Caretta (2020) A study on Blue Team’s OPSEC failures.

Cutina, Jennifer (2020) Assessing the use of process mining techniques to monitor the work process of commercial drivers.

Dai, Yinping (2020) Modelling the LIFE project using DEMKit.

Dalen, N.G.A. van (2020) Development and analysis of beat and tone detection for boomwhackers.

Damian, Gabriel-André Dominic (2020) Conceptual design of hybrid battery modules for optimising electric aircraft performance.

Dankers, Anna (2020) Influence of bursty interaction patterns on tie strength in tie-decay temporal networks.

De Miguel Aramburu, A. (2020) Vulnerability management in organizations.

Defize, D.R. (2020) Developing a Maturity Model for AI-Augmented Data Management.

Delaere, Y. (2020) Design of a machine vision based faulty bead wire detection system.

Delfgaauw, Camilio (2020) Predicting car movement for autonomous driving through traffic using neural networks.

Dellink, Mike (2020) Item availability restricted.

Dellink, Rick (2020) Item availability restricted.

Di Giorgio, Z. (2020) Breath as key to life : development of Breathline’s corporate visual identity & communication strategy.

Diatmiko, G.P.K. (2020) Just-in-time intervention : Increasing young adults' fruit intake in an engaging way.

Dijk, Luc van (2020) Distortion evaluation in a 3-stage inverter-only op-amp.

Dijk, M.N. van (2020) Cascading multiple LDA classifiers for facial recognition.

Dijk, R.J. van (2020) Improving food safety by designing a decentralised traceability architecture in line with stakeholder concerns.

Dijkstra, F.B. (2020) Decoding Individual Contralateral and Ipsilateral Finger Movements from Electrocorticographic Signals Recorded over the Human Sensorimotor Cortex of a Single Hemisphere.

Dijkstra, Sander (2020) A Markov decision process with an ADP-based solution for MRI appointment scheduling in Rijnstate.

Diphoorn, W. (2020) A Smartphone Application for the Creation of Legal Document Photographs.

Dokter, J. (2020) Segmentation and classification of skin lesions using neural networks.

Drijfhout, S.H. (2020) Improving eSports performance : conducting stress measurements during Fifa gameplay.

Droogsma, T. (2020) Detecting airflow leakage in home spirometry : using metaphors for children.

Dubowski, A. (2020) Activation function impact on Sparse Neural Networks.

Duijndam, J.M. (2020) Design and implementation of an in-vitro carotid artery flow circuit with pulsatile flow conditions.

Dulfer, R.M. (2020) The propaganda machine.

Eggengoor, Amber (2020) Smart Sports Exercises: Volleyball.

Egle, Vaicekauskaite (2020) Development of a method to implement the concepts of resilience in EA.

Eijnden, E.K. van den (2020) Optimal Handover in MEC for an Automotive Application.

Ekris, C.J. van (2020) Pump diagnostics using machine learning.

Elsten, J.M. (2020) System for indoor person localization in a healthcare setting.

Engelenhoven, Adjorn van (2020) Modular Neural Networks using Multiple Gradients.

Evci, H. T. (2020) Efficient and Reliable Delivery of VR over 5G Mobile Networks.

Ferronato, Giovanni (2020) IoT White Worms : design and application.

Filipovic, Simona (2020) Subpopulation process mining in healthcare.

Flapper, Edwin (2020) ETA Prediction for vessels using Machine Learning.

Flederus, D.R. (2020) Enhancing music genre classification with neural networks by using extracted musical features.

Franken, A.D. (2020) Drag reduction in two-phase Taylor-Couette flow.

Ganesh, Manasa (2020) An Improved Soft-Robotic Knee Brace to Enhance the Knee Stability for ACL Deficient Patients.

Garcia-Escallon, R.R. (2020) Enterprise architecture patterns : Supporting sustainable development.

Gavenavicius, M. (2020) Evaluating and comparing textual summaries using question answering models and reading comprehension datasets.

Geest, F. van der (2020) Finding a solution against loneliness among the elderly living in a senior housing complex with the help of remote co-design.

Genderen, T.R. van (2020) Solving the trip based transport model using iterative optimization algorithms.

Georges, MaryCaroline (2020) Extinguishing the Use : implementing Virtual Reality in substance use disorder treatments for patients with a mild intellectual disability or Borderline Intellectual Functioning.

Gerats, B.G.A. (2020) Individual action and group activity recognition in soccer videos.

Gerats, B.G.A. (2020) Individual action and group activity recognition in soccer videos.

Gerlagh, B. (2020) Energy-aware adaptive interaction control using offline task-based optimization in an impedance control framework.

Gijsbers, C.J. (2020) Item availability restricted.

Gijsen, Niels (2020) Balancing software maintenance effort as a technical debt management strategy : the design and implementation of a novel algorithm.

Graaf, A.J.M. de (2020) OMNI: Distributed tangibles for balanced gameplay including visually impaired people.

Grasselli, I. (2020) Exploring the design space of e-detailing through Magic Machine workshops to advance technologies for desirable futures.

Grefte, L.J.L. (2020) Autonomous navigation of the PIRATE using reinforcement learning.

Greuter, K.O. (2020) Evaluating the quality of the international consumer IoT Cyber Security Standard.

Grimbergen, Jeroen (2020) A classical treatment of scalar electrodynamics : Gauge theory in the Port-Hamiltonian framework.

Grimm, Sander (2020) Design of a 3D imaging system for psoriasis assesment.

Groen, R.R.A. (2020) Item availability restricted.

Groot Roessink, R. (2020) Experimental review of the IKK query recovery attack : Assumptions, recovery rate and improvements.

Grooters, T. (2020) Analysing certificate transparency logs for let’s encrypt customer behaviour.

Gugten, L.A. van der (2020) Load balancing framework comparison.

Haalstra, O.N.R. (2020) Browser Anti-Fingerprinting as a pathway to Impersonation and Fraud.

Haarman, T.R. (2020) Analysing countermeasures against fault injection attacks on FPGA based cryptographic implementations.

Haas, A.N.J.P.M. (2020) Attitudes towards digital transformation at small enterprises : A cross-border analysis.

Hadiwijaya, Aditya Gianto (2020) User-centred design for input interface of a machine learning platform.

Haklander, W. (2020) Quantum mechanical modelling of carbon nanotube transistor.

Haller, Stefan (2020) Automatic Short Answer Grading using Text-to-Text Transfer Transformer Model.

Ham, Laura (2020) The design of an Interactive Topic Modeling application for media content.

Hari, Atul (2020) A spatial cognitive exploration algorithm for autonomous mapping of unknown indoor environments.

Harmes, J.P.M. (2020) A threat model analysis of audio recording on mobile health care applications.

Harms, J.R. (2020) Research and Design of Collecting and Analysing the Customer Journey in a Collaborative Software Tool.

Hartvelt, S.J. (2020) Assessing the impact of data availability on parking prediction accuracy : a case study using a simulation-based Approach.

Hast, Fritz (2020) The Impact of 5G on Future Data Center’s Carbon Dioxide Emissions.

Haven, H. (2020) Submodel-aware testing.

Heeres, R.W. (2020) Handling gate leakage in FDSOI CMOS for a Passive Discrete-Step Attenuator.

Heerlien, I.R. (2020) Automatic detection of user errors in spirometry data using machine learning techniques and the analysis of the effect of metaphors on the quality of spirometry measurements.

Heerlien, I.R. (2020) Automatic detection of user errors in spirometry data using machine learning techniques and the analysis of the effect of metaphors on the quality of spirometry measurements.

Heinen, Niek (2020) Using lightweight image classifiers for electrocardiogram classification on embedded devices.

Hendriks, C. (2020) Proactively detecting crafted domains using active DNS measurements.

Hendriks, K.J.H. (2020) Towards reducing the sample complexity of a model-free reinforcement learning agent controlling a single segment tendon-driven continuum manipulator.

Hendrikx, Cedric (2020) Characterization of segregation in nanometer thin films using hybrid X-ray measurements.

Hengst, Kimberly (2020) Best Practices in Cloud Incident Handling.

Hertog, H. den (2020) Bitstream Manipulation to Support Relocation and LUT Adaptation.

Hetterscheid, K.J.T. (2020) Detecting agitated speech : A neural network approach.

Heus, Steven de (2020) Designing and Evaluating an Educational Board Game.

Heuver, Rien / P.R. (2020) Generating facial morphs through PCA and VAE.

Hexspoor, G. (2020) Item availability restricted.

Heyns, L. (2020) Converting Modest Models to Efficient Code.

Hobert, E.C. (2020) Integrating Energy Awareness into Sequence Control.

Hoedemakers, Juliette (2020) Development of the vocie commerce ultrasound payment solution for FMCG in the innovation labs.

Hoek, J.M. van (2020) Predicting purchasing intent of website visitors with deep feature learning.

Hof, H.A. (2020) Gaussian beam excitation of optical fibers using the Fictitious Domain Method.

Hofman, N. (2020) Enterprise social software acceptance : overhauling the "One Size Fits All" approach to explain social intranet usage.

Hofmeijer, E.I.S. (2020) Machine learning and deep learning for better assessment of the Big-3 disease in healthcare.

Hofstede, A. (2020) Integration of hard and soft real-time tasks in cyber-physical systems.

Hofsteenge, M. T. (2020) Convolutional autoencoders to process 4D gynaecological data.

Hollander, K.J.C. den (2020) Evaluation of the structured design method on discrete-events in cyber-physical systems.

Honig, J.J. (2020) Incremental symbolic execution.

Horstink, S.F. (2020) Funnel cruise control with input saturation.

Hsu, Yi-Hsiou (2020) Exploring the effect of using vibrate-type haptic glove in the VR industrial training task.

Huijts, Joep W. (2020) Developing a measurement item to assess the Smartness of Cities across the world.

Hut, D.A. (2020) Statistical disclosure control when publishing on thematic maps.

IJzereef, R.M.M. (2020) X-band CRLH-TL based phase shifter.

Ignatius Patrick, Patrick (2020) Assessing LOKI by learning from Mitsuku and dataset themes.

Ikhena, Priscilla Onivie (2020) Designing a system for evaluating the performance of computer vision applications, and managing the events generated by these applications.

Ikink, D.T.R. (2020) Security for an Internet-of-Things Network in the Context of a Dairy Management System.

Imbrea, A. (2020) An empirical comparison of automated machine learning techniques for data streams.

Imhof, Thomas (2020) Home telemonitoring acceptance for eye care patients.

Iseke, Ann-Cathrin (2020) An Enterprise Architecture Approach Towards Sustainability and Environmental Performance.

Jaarsveld, F. van (2020) Estimating the effects of the Macroscopic Traffic Parameters on the overall Cooperative Awareness Message generations.

Jansen, F.X. (2020) Shining light on software modelling : a creative technology workshop.

Jansen, G.A.A. (2020) Underground Wireless Communication and Wake-Up at 125 kHz.

Jansen, L.W.L. (2020) Comparing cloud security directions between the Academia and the Industry.

Jenden, J.N. (2020) Identification of a drinking water softening model using machine learning.

Jeulink, Kevin (2020) Smart sports exercises project : the detection of (in)correct motion during resistance training.

Jong, A.M. de (2020) Prediction of treatment results for patients with rheumatoid arthritis.

Jong, S. de (2020) Arduino toolkit for the control of pneumatically actuated wearables.

Jongh, N. de (2020) An ADP approach for the allocation of orthopaedic patients to the operating rooms at the Sint Maartenskliniek.

Jonkheer, A.J. (2020) Solving the obstacle problem : Finite element simulation with a study on exact solutions.

Jordens, M. (2020) A low power highly accurate Bandgap temperature sensor.

Jung, Annkatrin (2020) The Breathing Garment - Exploring Breathing-Based Interactions through Deep Touch Pressure.

Kahraman, G.M. (2020) Characterizing Sender Policy Framework configurations at scale.

Kakodia, Deepak (2020) Gamify your digital strategy : designing a board game by using gamification as a tool.

Kalpoe, L.V. (2020) Exploration of the possibilities of wireless power transfer for e-bikes and business opportunities.

Kamies, Bram (2020) Abeona: A generalized framework for state space exploration algorithm composition.

Kampen, C.M. van (2020) Formal Automated Verification of a Work-Stealing Deque.

Kampen, J. (2020) From quantified self to qualified self : Reducing academic procrastination through the qualified self.

Kant, M.W.E. (2020) Authorization, privacy and informed consent : who is allowed access to which medical information? : The development of an authorization model for the Datakluis application.

Kanters, N.B. (2020) Direction-of-arrival estimation of an unknown number of signals using a machine learning framework.

Kapoor, R. (2020) Enhancing breathline with posture tracking : Development and design of a posture tracking feedback module.

Kaptein, J.A. (2020) Gold nanoparticles for biosensing.

Karlashchuk, M.O. (2020) Detection of exoplanets by means of the Bump Detection Method.

Karsten, Jarik (2020) Crunching Attack Trees : efficient algorithms for computation of metrics.

Keijzer, N. (2020) The new generation of ransomware : an in depth study of Ransomware-as-a-Service.

Kemp, Tim (2020) An algorithmic approach to a conjecture of Chvátal on toughness and hamiltonicity of graphs.

Kemper, Puck (2020) Engineering a chloroplast movement sensor.

Kerimov, Emil (2020) FPGA-based AES variants against side-channel attacks.

Kerkhof, R.G. (2020) Natural Language Processing for scoring open-ended questions : a systematic review.

Kerssens, M. (2020) Creating wildland fire simulations for evacuation routes in Twente, The Netherlands.

Kesteloo, T.V. (2020) Autonomous navigation for the pipeline inspection robot "PIRATE".

Khatami, Ava (2020) Item availability restricted.

Klein Kranenbarg, P.W. (2020) Patient scheduling optimization through an application of the cutting stock problem.

Klotz, M.S. (2020) Extending the shunting plan generator of the Dutch railways with non-service train traffic.

Knol, R. (2020) Emotional activity detection using behavioural sounds.

Kok, Frank (2020) Towards E-mode AlGaN/GaN HEMTs with ferroelectrics.

Kok, M.R. (2020) Biologically Realistic Artificial Neural Networks.

Konijn, J. (2020) Development of low-cost autonomous meteorological measurements system for urban environments.

Koning, S. (2020) Modelling and visualizing emergency egress.

Koomen, R.P.J. (2020) Evaluation of rapid development of embedded control software for cyber-physical systems with feature-based development cycles.

Koomen, S.B. (2020) Esports performance : A dashboard proposal.

Korpershoek, J.J. (2020) Profiling encryption algorithms using ARM-based cache eviction attacks.

Kortekaas, Y.A.M. (2020) Access Pattern Hiding Aggregation over Encrypted Databases.

Kortstra, Wybren (2020) Automatic Registration of Clinical Auditsfor Head and Neck Oncology at MST.

Kosmas, Dimitrios (2020) Model-Based hysteresis compensation and control with 3D printed lousy sensors.

Kregting, W.H.W (2020) Equilibria in probabilistic location models.

Kruijshaar, J.M.R. (2020) Technology supported music education : visual feedback support for pre-service teachers in guiding a music class.

Kruistum, G.M. van (2020) Determining the projected frontal area of cyclists using motion capturing data.

Kräwinkel, R.W. (2020) The effect of writing and transmitting SD card data on the consistency of SD card write performance.

Kuiken, J.A. (Jaro) (2020) Modeling associative memory in robots for promoting social behavior.

Kuil, E.D. van der (2020) A Data Integration Design Approach for the Planning Process of a Public Transport Operator.

Kuin, I.C.H. (2020) Optimizing the planning strategy of the judiciary using Approximate Dynamic Programming : A case study for commercial and administrative law within the teams of Overijssel and Rotterdam.

Kukuk, L. (2020) Analyzing adoption of contact tracing apps using UTAUT.

Kumar, Niveditha (2020) Customer segmentation and enrichment using expectation maximization algorithm.

Kumashev, Yernar (2020) GPGPU Verification: Correctness of Odd-Even Transposition Sort Algorithm.

Lafranca, L.R.S. (2020) Humans and robots in times of quarantine based on first-hand accounts.

Lammers, B. (2020) VR-based visual model mediated telepresence using a SLAM generated virtual model.

Lapshyna, V. (2020) Sparse artificial neural networks : Adaptive performance-based connectivity inspired by human-brain processes.

Laribi, T. (2020) Making sense together : multimodal learning analytics in a STEAM collaborative learning environment: An introduction to a proof-of-concept study.

Leendertz, R.R. (2020) Validating the Maneuver Coordination Protocol with UPPAAL.

Leeuw, Maxim de (2020) Increasing the feeling of connectedness upon separation due to hospitalization among elderly via remote co-design.

Leeuwen, P. van (2020) FPGA-on-FPGA emulation using subgraph homeomorphism.

Li, Y. (2020) Interactive visualization of book publication history.

Libohova, Kennet (2020) An algebraic geometry approach to three dimensional graph rigidity.

Licu, D.V. (2020) Automatic container code identification using Machine Learning.

Lieftink, R.J. (2020) Bi-directional impedance reflection for Cartesian space telemanipulation control to reduce the effect of time delay.

Ligtenstein, S.L.B. (2020) Modelling the effect of cardiac arrest on neural activity using an energy-dependent neural mass model based on ion concentrations.

Lijcklama à Nijeholt, D.J. (2020) Control for Cooperative Autonomous Driving Inspired by Bird Flocking Behavior.

Lijzenga, O. (2020) Symbolic parity games : Two novel fixpoint iteration algorithms with strategy derivation.

Linden, Anna van der (2020) Happy Healthy High School.

Linssen, R.H.H.G.M. (2020) Vulnerability of DNS name servers against BGP hijacking.

Lio, Ron (2020) Analysis of Image Rejection in AC-Coupled LNTA-Mixer-TIA Front-End.

Lohuis, R. (2020) Item availability restricted.

Lok, R.M. (2020) Reducing loneliness among elderly with decreased mobility using technology.

Lomillos Rozeboom, I. (2020) Beamforming performance evaluation with impact of user model electric properties.

Loohuis, P. (2020) On the importance of mutual coherence for image reconstruction with neural networks.

Loos, B. (2020) Designing a smartphone application for supporting the COMET-program in mental health care.

Lu, C. (2020) Deep sleep stage detection.

Lukassen, C.M.A. (2020) Developing a set up for monitoring cycling performance of patients with CVA with an electric tricycle.

Lummen, D.L.M. (2020) An analysis of Link and Node Level Resilience on Network Resilience.

Lüpkes, Niklas (2020) Using static weight estimation of general trees to efficiently parallelize the execution of DEMKit Simulation Models.

Ma, R. (2020) Anomaly detection for Linux system log.

Maas, Jelle (2020) Cyber attack detection in smart grids.

Maat, M. T. (2020) Greedy algorithms for anchored rectangle packings.

Macarie, M. (2020) DNS bitsquatting in the wild.

Manjesh, M. (2020) Deterministic modelling and parameterization of height-dependent interaction between radio waves and human body.

Martikainen, Katariina (2020) Audio-based stylistic characteristics of Podcasts for search and recommendation : a user and computational analysis.

Mathivanan, Rajavarman (2020) Texture Based Autonomous Reconstruction of 3D Point Cloud Models using Fully Actuated UAVs.

Mauritz, R.R. (2020) Improving data quality in a probabilistic database by means of an autoencoder.

Maškanceva, Laura (2020) Developing understandable and actionable sleep data visualizations.

Meenhuis, R.A. (2020) Energiezuinige verdeling van taken over verschillende processoren in een 'embedded' computersysteem.

Meer, E.M van der (2020) A study on backstepping boundary control for two classes of linear port-Hamiltonian systems.

Meer, Olaf van der (2020) Improving stability in high-resolution class-D amplifiers with global feedback.

Mehra, A. (2020) Deepfake detection using capsule networks with long short-term memory networks.

Meijer, BSc G. (2020) Producing high quality face morphs using GANs.

Meijer, J.J.W. (2020) Morphing detection based on regional analysis of local frequency content.

Meijer, Max Jan (2020) Exploring augmented reality for enhancing ADAS and remote driving through 5G study of applying augmented reality to improve safety in ADAS and remote driving use cases.

Meijer, R.J. (2020) Simulating the quantum transport properties of a single atom transistor in silicon.

Metten, S.T.H. (2020) Designing an energy data representation to raise awareness within the UT community.

Meulman, ir. G.R. (2020) A 2-layer 45 degree Slanted Phased Array Antenna with Baffles for 5G mmWave Applications Based on Gap Waveguide Technology.

Miclea, Stefan (2020) Comparison of Short Block and Low Rate Channel Codes for UNB communication.

Middelkamp, T.P. (2020) Minimizing the overlap of cleaning times after surgeries while considering multiple cleaning teams.

Middelkoop, D.E.V. (2020) Sensitivity analysis of predicting wireless c hannels within an indoor factory floor.

Miedema, Lukas (2020) QuickInterp - Improving interpreter performance with superinstructions.

Mientki, Mattijs (2020) Ontwerp van lesmodule voor de kwaliteitsverbetering van onderzoeksvragen.

Minnema, Jeroen (2020) Towards component-based, sensor-independent and back-end independent SLAM.

Mirwani, Yash (2020) Redesign of the PIRATE robot.

Miu, Ioana (2020) Fundamental characteristics and concept of material passports.

Mol, S. (2020) Movement localization in indoor environments by means of light and air pressure sensors.

Molen, R.M. van der (2020) Item availability restricted.

Moltman, G.A.W. (2020) Increasing the rate of discharge conversations by pharmacy assistants.

Mondria, Matthijs (2020) How does a WADI work?

Monshouwer, R. (2020) Detection of subclinical ketosis in dairy cows using behaviour sensor data.

Moraru, Alexandru (2020) Iterative computed tomography reconstruction using deep learning.

Myśliwiec, J. (2020) Generating short RPG side-quest stories with transformers.

Nandi, S (2020) Reduction in Controlled Degrees of Freedom for a Cable Driven Variable Stiffness Actuator.

Nass, Mathieu (2020) Wi-Fi based range-only constraint integration in RTAB-Map.

Natarajan, Sriram (2020) Learned clustering for 3D object segmentation.

Nateshan, A.V. (2020) Investigating the application of inductive wireless power transfer in real-world drone charging.

Neuvel, P. (2020) Developing a reliable method to connect conductors to 3d printed conducting structures.

Nguyen, Anh Tuan (2020) Interactive Fault Trees.

Nguyen, M. (2020) Interaction technology in improving learning of sports tactics : A novel way of teaching adult novice players the volleyball side-out rotation with an interactive LED floor.

Ni, Z. (2020) An improved Java-based single sign-on solution.

Nijeboer, F.J. (2020) Detection of HTTPS encrypted DNS traffic.

Nijenhuis, Bart (2020) Electric vehicle charging in the Dutch low-voltage grid.

Nijenhuis, W.J.G. (2020) The resistive-pulse technique as a method for determining spermatozoa morphology.

Nijland, R.G. (2020) Using in-game data to give insights in the performance of eSporters.

Nijpels, S.T. (2020) Implementing feedback systems and content creation tools in an educational game.

Nijweide, F.P.J. (2020) Autoencoder-based cleaning of non-categorical data in probabilistic databases.

Nijzink, H.J. (2020) Data-driven Decision-making Maturity.

Noort, N. van (2020) Machine Learning for monitoring attacks in the cloud.

Obbink, Ruben (2020) Development and Optimization of a Robot Navigation Algorithm combining Deep Reinforcement Learning and State Representation Learning.

Oedzes, J.M. (2020) ASIP design and algorithm implementation for beamforming in an antenna array.

Oldengarm, B.M.J. (2020) Improving human activity recognition using embedded smartphone sensors.

Oldenhof, M. (2020) De toepassing van storytelling in het wiskundeonderwijs.

Oorschot, D.H.M.A. van (2020) Let’s sort this out: GPGPU Verification of Radix Sort.

Oostra, B.V. (2020) Tracking on an interactive pressure sensing floor.

Orlinski, Jakub (2020) MEG-driven emotion classification using convolutional and recurrent Neural Networks.

Oude Roelink, B.M. (2020) On the security of authentication when linking federated identities.

Ouderkerken, R.F. (2020) Improving cycling experiences on bicycle highways in Zeeland.

Ouyang, Cijun (2020) Robot Navigation in Dynamic Environment Based on Reinforcement Learning.

Overeem, W.T. (2020) Item availability restricted.

Ovost, L.R.J. van (2020) Developing a tool to sustain desired plastic waste separation behavior in Dutch hospitals.

Padje, J. van 't (2020) The impact of the Dutch weather on the health of horses.

Padubidri, C.P. (2020) Sea lion Counting from Aerial Images with Deep Learning : A density Map Approach.

Pastoor, G.H. (2020) Improving the visualization of the Career Compass tool.

Pawirotaroeno, Rezfan (2020) Development of a Social Robot Toolkit for Co-Design and Prototyping.

Pebesma, J.L. (2020) Towards transfer learning in e-discovery : finding the optimal classifier and evaluating domain adaptation methods.

Pebesma, J.L. (2020) Towards transfer learning in e-discovery : finding the optimal classifier and evaluating domain adaptation methods.

Perera, Navoda (2020) An API for intelligent deployment of numerical calculations.

Perkowski, Ernest (2020) Impact of ensemble machine learning methods on handling missing data.

Peters, S.T.H. (2020) Distribution of advertisements on YouTube among several content categories.

Petersen, Timo (2020) Council of Coaches in Virtual Reality.

Petrov, B.P. (2020) Algorithms for finding the Euclidian distance between a point and a polytope with application to spanning tree polytopes.

Pijnappel, M.C. (2020) Low-cost Autonomous Temperature Measurements System.

Pistorius, N. (2020) Acousto-mechanical imaging with 3D printed ultrasound probe extension.

Plas, E.C.M. (2020) A study of the shape of the phalangeal joint in finger vein images.

Plas, W.J. van der (2020) Edge computing : a business model for tele monitoring IoT applications for diabetic remote care.

Plentinger, C.S. (2020) GUI for FIG : visualising simulation results.

Ploeg, E.M. van der (2020) Developing a Platform to Emulate Fault Injection Attacks on Cryptographic Implementations.

Pluister, D. (2020) A graphical tool for constructing mathematical fractals for the AMT Toolbox.

Podorozhnyy, Gleb (2020) Data visualization of the current state of electric mobility market.

Pohjanheimo, R.J. (2020) Mood effects of immersion, control, and interaction in virtual reality eye-movement desensitization and reprocessing therapy.

Pompe, B.L. (2020) Robot applications for elderly care.

Ponte, J. (2020) Techniques for energy-efficient data converter design.

Poot, Martijn (2020) Real time posture tracking using Breathline : posture , body position and movement classification using an Arduino, accelerometer and k-Nearest Neighbour classification.

Popa, A. (2020) Feature evaluation for detection of COVID-19 in pulmonary CT scan images.

Post, Leander (2020) Piecewise linear landmark mapping for pose normalization.

Praas, J.W. (2020) Predicting influence spread in online social networks using combinations of node centralities.

Prieto Álvarez, Roberto (2020) Design of a Flat-Swipe Finger Vein Recognition Device in the NIR Spectrum.

Prins, J. (2020) Proactive recognition of domain abuse.

Quattrocchi, J. L. (2020) Reaction-Diffusion patterns modelled by Continuous-State Cellular Automata.

Rai, Shubham (2020) Behavioral Threat Detection : detecting Living of Land Techniques.

Rang, M.S. (2020) Computational methods in quantum mechanics with applications in spintronic calculations.

Rawat, K. (2020) Human activity recognition based on energy efficient schemes.

Redonet Klip, T.H. (2020) Monitoring crowd dynamics by passively sniffing cellular traffic.

Reesink, T.B.J. (2020) Creating 3D faces from 2D images using GANs.

Reiling, N. (2020) The design of an interpolator for alias suppresion in direct-digital transmitters.

Rendering, C. (2020) Research and conceptual design of a new user-driven fall detection concept for older adults.

Rengers, J.J. (2020) Investigating association between musical features and emotion through EEG signal analysis.

Reurslag, H.J (2020) Analysis of spurious tones in energy injected crystal oscillators.

Riesewijk, M. (2020) High availability orchestration of Linux containers in mission-critical on-premise systems.

Rijn, K.D. van (2020) A binary decision diagram based approach on improving probabilistic databases.

Ritmeester, J.C. (2020) ReFERee : a self-reflection tool For gamers.

Robert, Julien (2020) Recipe suggestion for meal-sharing online Marketplaces.

Robson, Francis (2020) Using Temperature and Humidity Sensors to Propose a New Form of Flat Roof Leakage Detection.

Roelink, M.J. (2020) Encoding deadlock-free monitors in the VerCors verification tool.

Roest, J.J. van (2020) Presenting automated test results for web development : A dashboard for reports from automated tests.

Romkema, J.F. (2020) Development of a NOx Emission Model using advanced regression techniques.

Roodink, Sander (2020) Controlling deformations of a 3D-printed vibrating beam using stiffness modulation.

Rooijen, J. van (2020) Sustainability of cancer drug prices using UPPAAL.

Rotari, Cristian (2020) Secure and transparent dispute resolution system in supply chains using hyperledger fabric.

Rozo Carreño, Daniel Felipe (2020) An enterprise architecture framework for digital transformation.

Rubbens, R.B. (2020) Improving Support for Java Exceptions and Inheritance in VerCors.

Ruiter, R. de (2020) The impact of temperature and mechanical stressinduced by packaging mold on the accuracy of CMOS integrated LC oscillators.

Rump, A. (2020) Automated assessment of learning objectives in programming assignments.

Rus, Adrian-Catalin (2020) Modelling and evaluating Obstructive Sleep Apnea management protocols with UPPAAL.

Sain, R. de (2020) Impact of language on detecting agitation.

Saksena, Saumya (2020) CABiNet : Efficient Context Aggregation Network for Low-Latency Semantic Segmentation.

Saravanan, i Adharshna (2020) Development of a Myocardial Perfusion Tube Phantom: Analysis of Tissue perfusion by contrast kinetics.

Sartori, Damiano (2020) Redactable Blockchain : how to change the immutable and the consequences of doing so.

Sawaryn, B. (2020) Modelling fluctuations of blood glucose levels based on food intake and physical activity in patients with Diabetes Mellitus Type 2 : development of a controlled protocol which administer perturbations in daily life situations.

Schaafsma, N. (2020) From Quantified Self to Qualified Self, the benefit for DM2 patients.

Schaarman, W.A. (2020) An analysis of Andreev bound states in a system of topological insulators.

Schmit, C. (2020) Smoothed analysis of the ICP algorithm for arbitrary probability distributions.

Scholten, R.H.D. (2020) Secure biometric verification in a malicious attacker model setting.

Schoneveld, J. (2020)