Faculty of Electrical Engineering, Mathematics & Computer Science

Research Output 1967 2019

2019
23 Downloads (Pure)
Open Access
File
Application programs
Mobile phones
Students
Costs
Experiments

Quality requirements challenges in the context of large-scale distributed agile: An empirical study

Alsaqaf, W., Daneva, M. & Wieringa, R., 1 Jun 2019, In : Information and software technology. 110, p. 39-55 17 p.

Research output: Contribution to journalArticleAcademicpeer-review

Software architecture
Quality assurance
Communication
2 Downloads (Pure)

Quantification of tongue mobility impairment using optical tracking in patients after receiving primary surgery or chemoradiation

Kappert, K. D. R., van Alphen, M. J. A., Smeele, L. E., Balm, A. J. M. & van der Heijden, F., 27 Aug 2019, In : PLoS ONE. 14, 8, 19 p., e0221593.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Patient Identification Systems
tongue
Tongue
Surgery
surgery
1 Downloads (Pure)
Open Access
File
Stents
Electrocardiography
Tomography
Transplants
Equipment and Supplies

Questioning Our Attitudes and Feelings Towards Persuasive Technology

van Delden, R., de Vries, R. A. J. & Heylen, D. K. J., 2019, Persuasive Technology: Development of Persuasive and Behavior Change Support Systems: 14th International Conference, PERSUASIVE 2019, Limassol, Cyprus, April 9–11, 2019, Proceedings. Oinas-Kukkonen, H., Than Win, K., Karapanos, E., Karppinen, P. & Kyza, E. (eds.). Cham, Switzerland: Springer, p. 3-15 (Lecture Notes in Computer Science ; vol. 11433).

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

Labels
Labeling
Electric sparks
16 Downloads (Pure)

Queueing models for urban traffic networks

Oblakova, A., 27 Sep 2019, Enschede: University of Twente. 208 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
Telecommunication traffic
Traffic control
Traffic congestion
23 Downloads (Pure)

Randomized residual-based error estimators for parametrized equations

Smetana, K., Zahm, O. & Patera, A. T., 28 Mar 2019, In : SIAM journal on scientific computing. 41, 2, p. A900-A926

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Error Estimator
Estimator
A Posteriori Error Estimators
Costs
Model Order Reduction
32 Downloads (Pure)

Rapid development of embedded control software using variable-detail modelling and model-to-code transformation

Broenink, T. G. & Broenink, J. F., 11 Jun 2019, Communications of the ECMS: Proceedings of the 33rd International ECMS Conference on Modelling and SimulationECMS 2019 . 1 ed. Vol. 33. p. 151-157 7 p.

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

Open Access
File
Control systems
Cyber Physical System
2 Citations (Scopus)
22 Downloads (Pure)

Rare event simulation for dynamic fault trees

Ruijters, E. J. J., Reijsbergen, D. P., de Boer, P-T. & Stoelinga, M. I. A., 1 Jun 2019, In : Reliability engineering & system safety. 186, p. 220-231 12 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Importance sampling
Model checking
Stochastic models
Repair
Availability
30 Downloads (Pure)

Rare event simulation for non-Markovian tandem queues

Buijsrogge, A., 21 Jun 2019, Enschede: University of Twente. 182 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
Rare Event Simulation
Tandem Queues
Change of Measure
Importance Sampling
Efficient Estimator
24 Downloads (Pure)

Reachability Analysis of Hybrid Automata with Clocked Linear Dynamics

El Hakim, V. S. & Bekooij, M. J. G., 27 May 2019, SCOPES '19 Proceedings of the 22nd International Workshop on Software and Compilers for Embedded Systems. Stuijk, S. (ed.). ACM Inc., p. 27-36 10 p.

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

Open Access
File
Hybrid Automata
Reachability Analysis
Clocks
Pipe Flow
Pipe flow

Real-time monitored inhaler adherence and inhalation technique in patients with COPD and heart failure

Bakker, M., Sloots, J. M., Ommeren, C., Kleberger, A., Tabak, M., Effing, T., Linssen, G. C. M., Grinovero, M., van der Palen, J. & Lenferink, A., 29 Sep 2019.

Research output: Contribution to conferencePosterAcademic

Regulated state synchronization of homogeneous multiagent systems with partial‐state coupling via low‐gain adaptive protocol

Stoorvogel, A. A., Saberi, A., Liu, Z. & Nojavanzadeh, D., 25 Jul 2019, In : International journal of robust and nonlinear control. 29, 11, p. 3518 - 3528 11 p.

Research output: Contribution to journalArticleAcademicpeer-review

Multi agent systems
Synchronization
Topology
Communication
Telecommunication networks
86 Downloads (Pure)

Rehabilitation of stroke patients with sensor-bassed systems

Held, J. P. O., 13 Feb 2019, Enschede: University of Twente. 178 p.

Research output: ThesisPhD Thesis - Research external, graduation UTAcademic

Open Access
File
Stroke
Technology
Patient Participation
Stroke Rehabilitation
Therapeutics

Reinforcement Learning and SLAM based approach for mobile robot navigation in unknown environments

Sirmaçek, B., Botteghi, N., Khaled, M., Stramigioli, S. & Poel, M., Jun 2019.

Research output: Contribution to conferencePaperAcademicpeer-review

Reinforcement learning
Mobile robots
Navigation
Robots
Silver
2 Downloads (Pure)

Relevance and utility in an educational search environment

Huibers, T. & Westerveld, T., 15 Jun 2019. 6 p.

Research output: Contribution to conferencePaperAcademicpeer-review

Open Access
File
search engine
education
1 Downloads (Pure)

Remixing Headlines for Context-Appropriate Flavor Text

van Stegeren, J. & Theune, M., 20 Aug 2019, Proceedings of the IEEE Conference On Games (COG) 2019. Piscataway, NJ: IEEE, 2 p. 156

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

Open Access
File
Flavors
Linguistics
Seed
1 Citation (Scopus)
10 Downloads (Pure)

Repeatability of 18F-FDG PET radiomic features: A phantom study to explore sensitivity to image reconstruction settings, noise, and delineation method

Pfaehler, E., Beukinga, R. J., de Jong, J. R., Slart, R. H. J. A., Slump, C. H., Dierckx, R. A. J. O. & Boellaard, R., 1 Feb 2019, In : Medical physics. 46, 2, p. 665-678 14 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Computer-Assisted Image Processing
Deoxyglucose
Positron-Emission Tomography
Noise
Biomarkers
10 Downloads (Pure)

Requirements of an Application to Monitor Diet, Physical Activity and Glucose Values in Patients with Type 2 Diabetes: The Diameter

den Braber, N., Vollenbroek-Hutten, M. M. R., Hermens, H. J., Oosterwijk, M. M., Gant, C. M., Hagedoorn, I. J. M., van Beijnum, B. J. F. & Laverman, G. D., 15 Feb 2019, In : Nutrients. 11, 2, p. 1-16 16 p., 409.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
noninsulin-dependent diabetes mellitus
physical activity
Type 2 Diabetes Mellitus
lifestyle
Life Style
44 Downloads (Pure)

Respiratory Biofeedback Does Not Facilitate Lowering Arousal in Meditation Through Virtual Reality

Tinga, A. M., Nyklíček, I., Jansen, M-P., de Back, T. T. & Louwerse, M. M., Mar 2019, In : Applied psychophysiology and biofeedback. 44, 1, p. 51-59 9 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Meditation
Arousal
Sensory Feedback
Placebos
Respiration

Rethinking Blockchain Security: Position Paper

Chia, V., Hartel, P. H., Hum, Q., Ma, S., Piliouras, G., Reijsbergen, D., Van Staalduinen, M. & Szalachowski, P., 3 Jun 2019, 2018 IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, Physical and Social Computing (CPSCom) and IEEE Smart Data (SmartData). IEEE, p. 1273-1280 8 p.

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

Network protocols
Software testing
Defects
Economics

Reverse breakdown and light-emission patterns studied in Si PureB SPADs

Krakers, M., Kneževic, T. & Nanver, L. K., 1 May 2019, 2019 42nd International Convention on Information and Communication Technology, Electronics and Microelectronics, MIPRO 2019 - Proceedings. Skala, K., Car, Z., Pale, P., Huljenic, D., Janjic, M., Koricic, M., Sruk, V., Ribaric, S., Grbac, T. G., Butkovic, Z., Cicin-Sain, M., Skvorc, D., Mauher, M., Babic, S., Gros, S., Vrdoljak, B. & Tijan, E. (eds.). Piscataway, NJ: IEEE, p. 30-35 6 p. 8757007. (International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO); vol. 2019).

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

Avalanche diodes
Boron
Light emission
Photons
Diodes
1 Downloads (Pure)

Rewriting Abstract Structures: Materialization Explained Categorically

Corradini, A., Heindel, T., König, B., Nolte, D. & Rensink, A., 1 Jan 2019, Foundations of Software Science and Computation Structures: 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings. Simpson, A. & Bojanczyk, M. (eds.). Cham: Springer Verlag, p. 169-188 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11425 LNCS).

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

Open Access
File
Rewriting
Classifiers
Semantics
Graph in graph theory
Topos

Robots for Social Good: Exploring Critical Design for HRI

Lee, H. R., Cheon, E., De Graaf, M., Alves-Oliveira, P., Zaga, C. & Young, J., 25 Mar 2019, 14th ACM/IEEE International Conference on Human-Robot Interaction (HRI). IEEE Computer Society, p. 681-682 2 p. 8673130

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

Human robot interaction
Robots
Shopping centers
Economic and social effects
Human computer interaction
1 Downloads (Pure)

Robustness of a partially learned photoacoustic reconstruction algorithm

Boink, Y. E., Brune, C. & Manohar, S., 6 Mar 2019, Photons Plus Ultrasound: Imaging and Sensing 2019. Wang, L. V. & Oraevsky, A. A. (eds.). Bellingham, WA: SPIE, 7 p. 108781D. (Proceedings of SPIE; vol. 10878).

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

Photoacoustic effect
Tomography
tomography
Neural networks
sampling
13 Downloads (Pure)

Roots, symmetry and contour integrals in queueing systems

Oblakova, A., Al Hanbali, A., Boucherie, R., van Ommeren, J. C. W. & Zijm, W. H. M., May 2019, University of Twente, Department of Applied Mathematics. 23 p. (TW-memoranda; no. 2067)

Research output: Book/ReportReportOther research output

File
Contour integral
Queueing System
Probability generating function
Roots
Symmetry
126 Downloads (Pure)

Security in Embedded Hardware

Ziener, D., 2019, Universiteit Twente. 130 p.

Research output: Book/ReportBookAcademic

Open Access
File
90 Downloads (Pure)
Open Access
File
Emergency services
Alarm systems
Interoperability
Semantics
Disasters
40 Downloads (Pure)

Semiparametric Likelihood-ratio-based Biometric Score Level Fusion via Parametric Copula

Susyanto, N., Veldhuis, R. N. J., Spreeuwers, L. & Klaassen, C., Feb 2019, In : IET biometrics. p. 1-8 8 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Biometrics
Fusion reactions
Maximum likelihood
43 Downloads (Pure)
File
61 Downloads (Pure)

Single catalyst particle diagnostics: using magnetic and electric fields

Solsona, M., 26 Apr 2019, Enschede: University of Twente. 178 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
11 Downloads (Pure)

Single step fabrication of Silicon resistors on SOI substrate used as Thermistors

Rollo, S., Rani, D., Olthuis, W. & Garcia, C. P., 26 Feb 2019, In : Scientific reports. 9, 1, 2835.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
3 Citations (Scopus)
3 Downloads (Pure)

Single tube liquid biopsy for advanced non-small cell lung cancer

de Wit, S., Rossi, E., Weber, S., Tamminga, M., Manicone, M., Swennenhuis, J. F., Groothuis-Oudshoorn, C. G. M., Vidotto, R., Facchinetti, A., Zeune, L. L., Schuuring, E., Zamarchi, R., Hiltermann, T. J. N., Speicher, M. R., Heitzer, E., Terstappen, L. W. M. M. & Groen, H. J. M., 15 Jun 2019, In : International journal of cancer. 144, 12, p. 3127-3137 11 p.

Research output: Contribution to journalArticleAcademicpeer-review

Circulating Neoplastic Cells
Non-Small Cell Lung Carcinoma
Biopsy
Neoplasms
Biomarkers

Smart, Affective, and Playable Cities

Nijholt, A., 31 Jan 2019, Interactivity, Game Creation, Design, Learning, and Innovation - 7th EAI International Conference, ArtsIT 2018, and 3rd EAI International Conference, DLI 2018, ICTCC 2018, Proceedings. Brooks, A. L., Brooks, E. & Sylla, C. (eds.). Cham: Springer Verlag, p. 163-168 6 p. (Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST; vol. 265).

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

Embedded systems
Actuators
Sensors
Smart city
35 Downloads (Pure)

Social Touch in Human–Robot Interaction: Robot-Initiated Touches can Induce Positive Responses without Extensive Prior Bonding

Willemse, C. J. A. M. & van Erp, J. B. F., Apr 2019, In : International journal of social robotics. 11, 2, p. 285-304 20 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Robots
Robotics
Communication
Experiments

Solvability conditions and design for H∞ & H2 almost state synchronization of homogeneous multi-agent systems

Stoorvogel, A. A., Saberi, A., Zhang, M. & Liu, Z., 1 Mar 2019, In : European journal of control. 46, p. 36-48 13 p.

Research output: Contribution to journalArticleAcademicpeer-review

Multi agent systems
Synchronization
Riccati equations
Transfer functions
Topology
1 Downloads (Pure)

Solving partially observable agent-intruder games with an application to border security problems

Laan, C. M., Barros, A. I., Boucherie, R., Monsuur, H. & Timmer, J., Mar 2019, In : Naval research logistics. 66, 2, p. 174-190 17 p., 21834.

Research output: Contribution to journalArticleAcademicpeer-review

Game
Optimal Strategy
Imperfect
Horizon
Search Game

Sonny, Cerca! Evaluating the Impact of Using a Vocal Assistant to Search at School

Landoni, M., Matteri, D., Murgia, E., Huibers, T. W. C. & Pera, M. S., 3 Aug 2019, Experimental IR Meets Multilinguality, Multimodality, and Interaction: 10th International Conference of the CLEF Association, CLEF 2019, Lugano, Switzerland, September 9-12, 2019. Proceedings. Crestani, F., Braschler, M., Savoy, J., Rauber, A., Müller, H., Losada, D. E., Heinatz Bürki, G., Cappellato, L. & Ferro, N. (eds.). Cham: Springer, p. 101-113 13 p. (Lecture Notes in Computer Science; vol. 11696).

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

Search engines
4 Downloads (Pure)

Special issue editorial: Virtual Agents for Social Skills Training

Bruijnes, M., Linssen, J. & Heylen, D. K. J., 8 Mar 2019, In : Journal on multimodal user interfaces. 13, 1, p. 1-2 2 p.

Research output: Contribution to journalEditorialAcademicpeer-review

1 Downloads (Pure)

Speeding up a Mass-Lumped Tetrahedral Finite-Element Method for Wave Propagation

Mulder, W. A., Geevers, S. & van der Vegt, J. J. W., 3 Jun 2019, 81st EAGE Conference and Exhibition 2019 . London: European Association of Engineers and Geoscientists (EAGE), 5 p.

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

seismic wave
wave propagation
finite element method
stiffness
acoustics

Squared-down passivity based H∞ almost synchronization of homogeneous continuous-time multi-agent systems with partial-state coupling via static protocol

Stoorvogel, A. A., Nojavanzadeh, D., Liu, Z. & Saberi, A., 21 Jan 2019, 2018 IEEE Conference on Decision and Control, CDC 2018. IEEE, Vol. 2018-December. p. 2508-2513 6 p. 8619229

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

Passivity
Continuous-time Systems
Multi agent systems
Multi-agent Systems
Synchronization
57 Downloads (Pure)

Stacked-FET based GaAs monolithic microwave high-power amplifiers for active electronically scanned array radar front-ends

van der Bent, G., 3 May 2019, Enschede: University of Twente. 239 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
Field effect transistors
Power amplifiers
Radar
Microwaves
Electric potential
5 Downloads (Pure)

Stand-up Comedy and Humor by Robots

Nijholt, A., 21 Jan 2019, Proceedings Sixteenth International Symposium on Social Communication: Comunicación Social: Lingüística, Medios Masivos, Arte, Etnología, Folclor y otras ciencias afines. Ruiz Miyares, L. (ed.). Santiago de Cuba, Cuba: Centro de Lingüística Aplicada, p. 228-234

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

Open Access
File
Robots
Artificial intelligence
Feedback
Communication

State synchronization of a class of homogeneous linear multi-agent systems in the presence of unknown input delays via static protocols

Zhang, M., Saberi, A., Stoorvogel, A. A. & Liu, Z., 1 May 2019, In : European journal of control. 47, p. 20-29 10 p.

Research output: Contribution to journalArticleAcademicpeer-review

Multi agent systems
Synchronization

Status Quo in Requirements Engineering: A Theory and a Global Family of Surveys

Wagner, S., Mendez Fernandez, D., Felderer, M., Vetro, A., Kalinowski, M., Wieringa, R. J., Pfahl, D., Conte, T., Christiansson, M-T., Greer, D., Lassenius, C., Mannisto, T., Nayebi, M., Oivo, M., Penzenstadler, B., Prikladnicki, R., Ruhe, G., Schekelmann, A., Sen, S., Spinola, R. & 3 othersTuzcu, A., De La Vara, J. L. & Winkler, D., 26 Feb 2019, In : ACM Transactions on Software Engineering and Methodology. 28, 2, 9 p., 9.

Research output: Contribution to journalArticleAcademicpeer-review

Requirements engineering
Engineering research
Software engineering
Partially Observable Markov Decision Process
Optimal Value Function
Breast Cancer
Tumors
Tumor
42 Downloads (Pure)

Strong Connectivity and Shortest Paths for Checking Models

Bloemen, V., 10 Jul 2019, Enschede. 264 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
Model checking
Decomposition
Cost functions
Directed graphs
Data structures

Subgraphs in preferential attachment models

Garavaglia, A. & Stegehuis, C., 1 Sep 2019, In : Advances in applied probability. 51, 3, p. 898-926 29 p.

Research output: Contribution to journalArticleAcademicpeer-review

Preferential Attachment
Subgraph
Urn model
Model
Count
3 Downloads (Pure)

Sufficient conditions for hamiltonian properties of graphs

Zhou, Q., 2019, Enschede: University of Twente. 161 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
Sufficient Conditions
Graph in graph theory
Hamilton Path
Hamilton Cycle
Vertex of a graph
1 Citation (Scopus)

Sustainability of Individual EndoAnchor Implants in Therapeutic Use to Treat Type Ia Endoleak After Endovascular Aneurysm Repair

van Noort, K., Vermeulen, J. J. M., Goudeketting, S. R., Ouriel, K., Jordan, W. D., Panneton, J. M., Slump, C. H. & de Vries, J. P. P. M., 1 Jun 2019, In : Journal of Endovascular Therapy. 26, 3, p. 369-377 9 p.

Research output: Contribution to journalArticleAcademicpeer-review

Endoleak
Therapeutic Uses
Aneurysm
Registries
Computed Tomography Angiography