Faculty of Electrical Engineering, Mathematics & Computer Science

Research Output 1967 2019

2019

Symbitron: Symbiotic man-machine interactions in wearable exoskeletons to enhance mobility for paraplegics

van der Kooij, H., van Asseldonk, E., van Oort, G., Sluiter, V., Emmens, A., Muijzer-Witteveen, H. J. B., Tagliamonte, N. L., Tamburella, F., Pisotta, I., Masciullo, M., Arquilla, M., Molinari, M., Wu, A., Ijspeert, A., Dzeladini, F. F., Thorsteinsson, F., Arami, A., Burdet, E., Huang, H. Y., Gregoor, W. & 1 othersMeijneke, C., 1 Jan 2019, Wearable Robotics: Challenges and Trends: Proceedings of the 4th International Symposium on Wearable Robotics, WeRob2018, October 16-20, 2018, Pisa, Italy. Carrozza, M. C., Micera, S. & Pons, J. L. (eds.). Cham: Springer, p. 361-364 4 p. (Biosystems and Biorobotics; vol. 22).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Human computer interaction
1 Downloads (Pure)

Systematic design of a circularly polarized microstrip antenna using a shape super-formula and the characteristic mode theory

Poordaraee Zadeh Abarghooee, M., Oraizi, H., Khajevandi, S. & Alayon Glazunov, A., 17 Jan 2019, 2018 18th Mediterranean Microwave Symposium (MMS). IEEE, p. 47-50 4 p. 8612068

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Microstrip antennas
Antennas
Circular polarization
Antenna feeders
1 Downloads (Pure)

Teaching Empirical Social-Science Research to Cybersecurity Students: The Case of "Thinking Like a Thief"

Barth, S., Hartel, P. H., Junger, M. & Montoya, L., 14 May 2019, In : IEEE security & privacy. 17, 3, p. 8-16 9 p.

Research output: Contribution to journalArticleAcademicpeer-review

Social sciences
Human engineering
computer science
Computer science
empirical research
2 Downloads (Pure)

Tests for qualitative features in the random coefficients model

Dunker, F., Eckle, K., Proksch, K. & Schmidt-Hieber, A. J., 2019, In : Electronic Journal of Statistics. 13, 2, p. 2257 2306 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
3 Downloads (Pure)

The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models: (QComp 2019 Competition Report)

Hahn, E. M., Hartmanns, A., Hensel, C., Klauck, M., Klein, J., Křetínský, J., Parker, D., Quatmann, T., Steinmetz, M. & Ruijters, E., 4 Apr 2019, Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics. Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019. Proceedings, Part III. Beyer, D., Huisman, M., Kordon, F. & Steffen, B. (eds.). Springer, p. 69-92 24 p. (Lecture Notes in Computer Science; vol. 11429).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Markov processes
Statistical Models

The 6D Framework: An Evidence-Based Tool for Designers of Game-Based Applications

de Vette, A. F. A., Tabak, M., Hermens, H. J. & Vollenbroek-Hutten, M. M. R., 1 Oct 2019, (Submitted) In : User modeling and user-adapted interaction.

Research output: Contribution to journalArticleAcademicpeer-review

evidence
expert
Serious games
2 Downloads (Pure)

The Best of both Worlds: Challenges in Linking Provenance and Explainability in Distributed Machine Learning

Scherzinger, S., Seifert, C. & Wiese, L., 2019, (Accepted/In press) Proceedings of the 39th International Conference on Distributed Computing Systems. IEEE Computer Society

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File

The CLARIAH Media Suite: A Hybrid Approach to System Design in the Humanities

Melgar-Estrada, L., Koolen, M., Beelen, K., Huurdeman, H., Wigham, M., Martinez-Ortiz, C., Blom, J. & Ordelman, R., 2019, Proceedings of the 2019 Conference on Human Information Interaction and Retrieval. New York: ACM Siggraph, p. 373-377 5 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

The Compliant Joint Toolbox for MATLAB: An Introduction with Examples

Malzahn, J., Roozing, W. & Tsagarakis, N., 9 Apr 2019, In : IEEE Robotics and Automation Magazine. 12 p.

Research output: Contribution to journalArticleAcademicpeer-review

1 Citation (Scopus)
8 Downloads (Pure)

The dagstuhl beginners guide to reproducibility for experimental networking research

Bajpai, V., Kellerer, W., Smaragdakis, G., Brunstrom, A., Pras, A., Wählisch, M., Feldmann, A., Schulzrinne, H. & Wehrle, K., 1 Jan 2019, In : Computer communication review. 49, 1, p. 24-30 7 p.

Research output: Contribution to journalArticleAcademic

Open Access
File
Internet
Experiments
7 Downloads (Pure)

The effect of ankle-foot orthoses on fall/near fall incidence in patients with (sub-)acute stroke: A randomized controlled trial

Nikamp, C. D. M., Hobbelink, M. S. H., Van der Palen, J., Hermens, H. J., Rietman, J. S. & Buurke, J. H., 12 Mar 2019, In : PLoS ONE. 14, 3, e0213538.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Foot Orthoses
stroke
Ankle
Muscle
Kinematics
5 Downloads (Pure)

The energy deprived tripartite synapse: a biophysical model

Kalia, M., Meijer, H. G. E., van Putten, M. J. A. M., Rose, C. R. & van Gils, S. A., 2019, (Unpublished). 1 p.

Research output: Contribution to conferencePosterAcademic

File

The influence of network structure and prosocial cultural norms on charitable giving: A multilevel analysis of Movember's fundraising campaigns in 24 countries

van den Broek, T. A., Need, A., Ehrenhard, M. L., Priante, A. & Hiemstra, D., 1 Jul 2019, In : Social networks. 58, p. 128-135 8 p.

Research output: Contribution to journalArticleAcademicpeer-review

Multilevel Analysis
fundraising
multi-level analysis
donation
campaign
2 Downloads (Pure)

Theory and Implementation of a Load-Mismatch Protective Class-E PA System

Ponte, J., Ghahremani, A., Huiskamp, M., Annema, A-J. & Nauta, B., 22 Jul 2019, In : IEEE transactions on circuits and systems I: regular papers.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Switches
Electric potential
Capacitors
Tuning
Degradation

Theory of Spatial Statistics: A Concise Introduction

van Lieshout, M. N. M., 2019, Boca Raton: Chapman and Hall/CRC. 168 p. (Texts in Statistical Science)

Research output: Book/ReportBookAcademic

Spatial Statistics
Exercise
Disease Mapping
Statistics
Forestry

The price of anarchy for utilitarian scheduling games on related machines

Hoeksma, R. & Uetz, M., 1 Feb 2019, In : Discrete optimization. 31, p. 29-39 11 p.

Research output: Contribution to journalArticleAcademicpeer-review

Price of Anarchy
Completion Time
Choose
Scheduling
Game
4 Downloads (Pure)

The Quantitative Verification Benchmark Set

Hartmanns, A., Klauck, M., Parker, D., Quatmann, T. & Ruijters, E. J. J., 4 Apr 2019, Proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2019). Vojnar, T. & Zhang, L. (eds.). Springer, p. 344-350 (Lecture Notes in Computer Science; vol. 11427).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Benchmarking
Biological systems
Metadata
Petri nets
Markov processes
3 Downloads (Pure)

Thermal Atomic Layer Deposition of Polycrystalline Gallium Nitride

Banerjee, S., Aarnink, A. A. I., Gravesteijn, D. J. & Kovalgin, A. Y., 6 Sep 2019, In : Journal of physical chemistry C. 12 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Gallium nitride
Atomic layer deposition
gallium nitrides
atomic layer epitaxy
adducts
9 Downloads (Pure)

The role of off-grid houses in the energy transition with a case study in the Netherlands

Quintero Pulido, D. F., Ten Kortenaar, M. V., Hurink, J. L. & Smit, G. J. M., 27 May 2019, In : Energies. 12, 10, 18 p., 2033.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Electricity
Grid
Energy
Sustainable Development
Sustainable development
3 Downloads (Pure)

The sequential price of anarchy for affine congestion games with few players

de Jong, J. & Uetz, M. J., Mar 2019, In : Operations research letters. 47, 2, p. 133-139 7 p.

Research output: Contribution to journalArticleAcademicpeer-review

Congestion Games
Price of Anarchy
Cost functions
Linear programming
Combinatorial argument

The Seven Layers of Complexity of Recommender Systems for Children in Educational Contexts

Murgia, E., Landoni, M., Huibers, T. W. C., Fails, J. A. & Pera, M. S., 22 Sep 2019, Proceedings of the Workshop on Recommendation in Complex Scenarios. Association for Computing Machinery (ACM), p. 5-9 5 p. (CEUR Workshop Proceedings; vol. 2449).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
evaluation
57 Downloads (Pure)

The sooner the better?! Providing ankle-foot orthoses in the rehabilitation after stroke

Nikamp-Simons, C. D. M., 2019, Enschede: University of Twente. 170 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
Foot Orthoses
Ankle
Stroke
Foot
Walking
3 Downloads (Pure)

The ventricular fibrillation waveform in relation to shock success in early vs. late phases of out-of-hospital resuscitation

Thannhauser, J., Nas, J., van Grunsven, P. M., Meinsma, G., Zwart, H. J., de Boer, M. J., van Royen, N., Bonnes, J. L. & Brouwer, M. A., Jun 2019, In : Resuscitation. 139, p. 99-105

Research output: Contribution to journalArticleAcademicpeer-review

File

The Visual Analog Scale detects exercise-induced bronchoconstriction in children with asthma

Lammers, N., van Hoesel, M. H. T., van der Kamp, M., Brusse-Keizer, M., van der Palen, J., Visser, R., Driessen, J. M. M. & Thio, B. J., 4 Sep 2019, In : Journal of asthma. 7 p.

Research output: Contribution to journalArticleAcademicpeer-review

Bronchoconstriction
Visual Analog Scale
Asthma
Exercise
Exercise Test
2 Citations (Scopus)
13 Downloads (Pure)

Three-dimensional photonic band gap cavity with finite support: Enhanced energy density and optical absorption

Devashish, D., Ojambati, O. S., Hasan, S. B., van der Vegt, J. J. W. & Vos, W. L., 6 Feb 2019, In : Physical Review B - Condensed Matter and Materials Physics. 99, 7, 16 p., 075112.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Photonic band gap
Light absorption
optical absorption
flux density
photonics
1 Downloads (Pure)

Threshold Queueing to Describe the Fundamental Diagram of Uninterrupted Traffic

Baër, N., Boucherie, R. J. & van Ommeren, J-K. C. W., 26 Mar 2019, In : Transportation science. 53, 2, p. 585-596 12 p.

Research output: Contribution to journalArticleAcademicpeer-review

traffic
road traffic
1 Downloads (Pure)

Time Coherent Full-Body Poses Estimated Using Only Five Inertial Sensors: Deep versus Shallow Learning

Wouda, F. J., Giuberti, M., Rudigkeit, N., van Beijnum, B-J. F., Poel, M. & Veltink, P. H., 27 Aug 2019, In : Sensors (Basel, Switzerland). 19, 17 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
learning
Learning
sensors
Sensors
markers
11 Downloads (Pure)

Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III

Beyer, D. (ed.), Huisman, M. (ed.), Kordon, F. (ed.) & Steffen, B. (ed.), 2019, Springer. (Lecture Notes in Computer Science; vol. 11429)

Research output: Book/ReportBook editingAcademic

Open Access
File
9 Downloads (Pure)

TOOLympics 2019: An Overview of Competitions in Formal Methods

Bartocci, E., Beyer, D., Black, P. E., Fedyukovich, G., Garavel, H., Hartmanns, A., Huisman, M., Kordon, F., Nagele, J., Sighireanu, M., Steffen, B., Suda, M., Sutcliffe, G., Weber, T. & Yamada, A., 4 Apr 2019, Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics. Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019. Proceedings, Part III. Beyer, D., Huisman, M., Kordon, F. & Steffen, B. (eds.). Cham: Springer, p. 3-24 22 p. (Lecture Notes in Computer Science; vol. 11429).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

Open Access
File
Formal methods
Hardware
Learning systems
Tumors
Motion estimation
Liver
Skin
24 Downloads (Pure)

Towards a balanced and active lifestyle

Achterkamp, R., 19 Jun 2019, Enschede: University of Twente. 129 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
13 Downloads (Pure)
Open Access
File
Reinforcement learning
robot
reinforcement
Mobile robots
navigation
165 Downloads (Pure)

Tweet your #mo and save a bro: Micro-mobilization dynamics and outcomes of online social movement campaigns

Priante, A., 2019, Enschede: University of Twente. 240 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
social movement
mobilization
campaign
collective behavior
social change
1 Downloads (Pure)

Two-Client and Multi-client Functional Encryption for Set Intersection

van de Kamp, T. R., Stritzl, D., Jonker, W. & Peter, A., 30 May 2019, Information security and privacy: 24th Australasian Conference, ACISP 2019, Christchurch, New Zealand, July 3–5, 2019, Proceedings. Jang-Jaccard, J. & Guo, F. (eds.). Charm: Springer International Publishing AG, p. 97-115 19 p. (Lecture Notes in Computer Science; vol. 11547).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Cryptography
Data transfer

Ultrasound-guided breast biopsy of ultrasound occult lesions using multimodality image co-registration and tissue displacement tracking

Nikolaev, A., Hansen, H. H. G., De Jong, L., Mann, R., Tagliabue, E., Maris, B., Groenhuis, V., Siepel, F., Caballo, M., Sechopoulos, I. & De Korte, C. L., 1 Jan 2019, Medical Imaging 2019: Ultrasonic Imaging and Tomography. Byram, B. C. & Ruiter, N. V. (eds.). SPIE, Vol. 10955. 109550W. (Progress in Biomedical Optics and Imaging - Proceedings of SPIE; vol. 10955).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Biopsy
breast
lesions
Breast
Ultrasonics
4 Downloads (Pure)

Ultrasound-guided breast biopsy of ultrasound occult lesions using multimodality image co-registration and tissue displacement tracking

Nikolaev, A., Hansen, H. H. G., de Jong, L., Tagliabue, E., Maris, B. M., Groenhuis, V., Siepel, F. J., Caballo, M., Sechopoulos, I. & de Korte, C. L., 3 Sep 2019, (Accepted/In press).

Research output: Contribution to conferenceAbstractProfessional

Open Access
File
Breast
Biopsy
Transducers
Needles
Prone Position
14 Downloads (Pure)

Underestimation of pelvic organ prolapse in the supine straining position, based on magnetic resonance imaging findings

Grob, A. T. M., Heuvel, J. O., Futterer, J. J., Massop, D., Veenstra van Nieuwenhoven, A. L., Simonis, F. F. J. & van der Vaart, C. H., 17 Jan 2019, In : International Urogynecology Journal.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Pelvic Organ Prolapse
Supine Position
Magnetic Resonance Imaging
Douglas' Pouch
Cervix Uteri
21 Downloads (Pure)

Universal Turing Machine and Computability Theory in Isabelle/HOL

Xu, J., Zhang, X., Urban, C. & Joosten, S. J. C., 1 Feb 2019, In : Archive of Formal Proofs.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Computability Theory
Turing Machine
Halting Problem
Recursive Functions
Undecidability
60 Downloads (Pure)

Unobtrusive sensing technologies to monitor and coach elderly with dementia: Track, Trace & Trigger

Wrede, C., Jansen, L., Havinga, P. J. M., Croockewit, J. H. & van Gemert-Pijnen, J. E. W. C., 9 Apr 2019, Adjunct Proceedings of the 14th International Conference on Persuasive Technology, Limassol, Cyprus. Kyza, E., Karpinnen, P., Karapanos, E., Win, K. T. & Oinas-Kukkonen, H. (eds.). p. 43-45 3 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File

Using the ecovat system to supply the heat demand of a neighbourhood

De Goeijen, G. J. H., Hoogsteen, G., Hurink, J. L. & Smit, G. J. M., 1 Jun 2019, 2019 IEEE Milan PowerTech, PowerTech 2019. IEEE, 8810724

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Boilers
Gases
Electricity
Hot Temperature
Demand side management
3 Citations (Scopus)

Validation of low-cost smartphone-based thermal camera for diabetic foot assessment

van Doremalen, R. F. M., van Netten, J. J., van Baal, J. G., Vollenbroek-Hutten, M. M. R. & van der Heijden, F., 1 Mar 2019, In : Diabetes Research and Clinical Practice. 149, p. 132-139 8 p.

Research output: Contribution to journalArticleAcademicpeer-review

Diabetic Foot
Hot Temperature
Foot
Costs and Cost Analysis
Temperature

Validation of the Auditory Stroop Task to increase cognitive load in walking tasks in healthy elderly and persons with Parkinson’s disease

Janssen, S., Heijs, J. J. A., van der Meijs, W., Nonnekes, J., Bittner, M., Dorresteijn, L. D. A., Bloem, B. R., van Wezel, R. J. A. & Heida, T., 6 Aug 2019, In : PLoS ONE. 14, 8, e0220735.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Parkinson disease
gait
Gait
Freezing
walking
49 Downloads (Pure)

Values for Cooperative Games with Restricted Coalition Formation

Li, X., 20 Feb 2019, University of Twente. 161 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
coalition formation
communication situation
coalition
Values
Grand Coalition
1 Downloads (Pure)

Van der Waals integration of silicene and hexagonal boron nitride

Wiggers, F. B., Fleurence, A., Aoyagi, K., Yonezawa, T., Yamada-Takamura, Y., Feng, H., Zhuang, J., Du, Y., Kovalgin, A. Y. & de Jong, M. P., 5 Apr 2019, In : 2D Materials. 035001.

Research output: Contribution to journalArticleAcademicpeer-review

Boron nitride
boron nitrides
Electronic properties
Silicon
electronics
8 Downloads (Pure)

VerifyThis2018: A Program Verification Competition

Huisman, M., Monahan, R., Müller, P., Paskevich, A. & Ernst, G., Jan 2019

Research output: Book/ReportReportAcademic

Open Access
File
Greece
event
software
8 Downloads (Pure)

VerifyThis - Verification Competition with a Human Factor

Ernst, G., Huisman, M., Mostowski, W. & Ulbrich, M., 4 Apr 2019, Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III. Beyer, D., Huisman, M., Kordon, F. & Steffen, B. (eds.). Cham: Springer, p. 176-195 20 p. (Lecture Notes in Computer Science; vol. 11429).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
Human engineering

Vessel wall enhancement of intracranial aneurysms: fact or artifact?

Cornelissen, B. M. W., Leemans, E. L., Slump, C. H., Marquering, H. A., Majoie, C. B. L. M. & van den Berg, R., 1 Jul 2019, In : Neurosurgical Focus. 47, 1, p. E18 E18.

Research output: Contribution to journalArticleAcademicpeer-review

Intracranial Aneurysm
Artifacts
Aneurysm
Ruptured Aneurysm
Subarachnoid Hemorrhage
1 Citation (Scopus)
2 Downloads (Pure)

Wafer-scale fabrication of high-quality tunable gold nanogap arrays for surface-enhanced Raman scattering

Le-The, H., Lozeman, J. J. A., Lafuente, M., Muñoz, P., Bomer, J. G., Duy-Tong, H., Berenschot, E., Van Den Berg, A., Tas, N. R., Odijk, M. & Eijkel, J. C. T., 7 Jul 2019, In : Nanoscale. 11, 25, p. 12152-12160 9 p.

Research output: Contribution to journalArticleAcademicpeer-review

Gold
Raman scattering
Fabrication
Silicon
Wet etching
43 Downloads (Pure)

Well-posedness of infinite-dimensional linear systems with nonlinear feedback

Hastir, A., Califano, F. & Zwart, H., 1 Jun 2019, In : Systems and control letters. 128, p. 19-25 7 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
Nonlinear feedback
Closed loop systems
Partial differential equations
Linear systems
Hamiltonians
1 Citation (Scopus)
6 Downloads (Pure)

Zeeman-Effect-Induced 0-π Transitions in Ballistic Dirac Semimetal Josephson Junctions

Li, C., De Ronde, B., De Boer, J., Ridderbos, J., Zwanenburg, F., Huang, Y., Golubov, A. & Brinkman, A., 9 Jul 2019, In : Physical review letters. 123, 2, 026802.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Zeeman effect
metalloids
Josephson junctions
ballistics
momentum