Faculty of Electrical Engineering, Mathematics & Computer Science

Research Output 1967 2019

2018
27 Downloads (Pure)

Approximation Schemes for Stochastic Mean Payoff Games with Perfect Information and Few Random Positions

Boros, E., Elbassioni, K., Fouz, M., Gurvich, V., Makino, K. & Manthey, B., 1 Nov 2018, In : Algorithmica. 80, 11, p. 3132-3157 26 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
2 Downloads (Pure)

A precision system for computed tomography-guided needle placement in the thorax and abdomen-technical design and performance analysis

Arnolli, M. M., Buijze, M., Franken, M., Broeders, I. A. M. J. & Brouwer, D. M., 1 Jun 2018, In : Journal of medical devices. 12, 2, 021003.

Research output: Contribution to journalArticleAcademicpeer-review

Needles
Abdomen
Tomography
Thorax
Air
1 Citation (Scopus)
44 Downloads (Pure)

A protocol for urine collection and storage prior to DNA methylation analysis

Bosschieter, J., Bach, S., Bijnsdorp, I. V., Segerink, L. I., Rurup, W. F., van Splunter, A. P., Bahce, I., Novianti, P. W., Kazemier, G., van Moorselaar, R. J. A., Steenbergen, R. D. M. & Nieuwenhuijzen, J. A., 24 Aug 2018, In : PLoS ONE. 13, 8, 11 p., e0200906.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Urine Specimen Collection
DNA methylation
DNA Methylation
urine
DNA
2 Downloads (Pure)

A Prototype of Finger-vein Phantom

Normakristagaluh, P., Spreeuwers, L. J. & Veldhuis, R. N. J., 31 May 2018, Proceedings of the 2018 Symposium on Information Theory and Signal Processing in the Benelux: May 31-1 June, 2018, University of Twente, Enschede, The Netherlands. Spreeuwers, L. & Goseling, J. (eds.). Enschede, The Netherlands: Werkgemeenschap voor Informatie- en Communicatietheorie (WIC), p. 163-166 4 p.

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

Open Access
File
Bone
Soaps (detergents)
Titanium dioxide
Image quality
Printing
38 Downloads (Pure)

ARCH-COMP18 Category Report: Stochastic Modelling

Abate, A., Blom, H., Cauchi, N., Haesaert, S., Hartmanns, A., Lesser, K., Oishi, M., Sivaramakrishnan, V., Soudjani, S., Vasile, C. I. & Vinod, A. P., 2018, Proceedings of the 5th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH 2018). Frehse, G., Althoff, M., Bogomolov, S. & Johnson, T. T. (eds.). EasyChair, Vol. 54. p. 71-103 33 p. (EPiC Series in Computing).

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

Open Access
File
39 Downloads (Pure)

A reaching hand: towards an active therapeutic device for the upper extremity following stroke

Krabben, T., 6 Dec 2018, Enschede: University of Twente. 168 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
Upper Extremity
Arm
Hand
Stroke
Equipment and Supplies

A remote home monitoring system to support informal caregivers of people with dementia

Lentelink, S. J., Tabak, M., van Schooten, B., Hofs, D., op den Akker, H. & Hermens, H. J., 2018, Proceedings of the 11th International Joint Conference on Biomedical Engineering Systems and Technologies . Zwiggelaar, R., Gamboa, H., Fred, A. & Bermudez i Badia, S. (eds.). Vol. 5. p. 94-102

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

12 Downloads (Pure)

A Review on the Application of Natural Computing in Environmental Informatics

Kamilaris, A., 5 Sep 2018.

Research output: Contribution to conferencePaperAcademicpeer-review

Open Access
File
2 Citations (Scopus)

A simple capillary-based open microfluidic device for size on-demand high-throughput droplet/bubble/microcapsule generation

Mei, L., Jin, M., Xie, S., Yan, Z., Wang, X., Zhou, G., Van Den Berg, A. & Shui, L., 1 Jan 2018, In : Lab on a chip. 18, p. 2806-2815 10 p.

Research output: Contribution to journalArticleAcademicpeer-review

Lab-On-A-Chip Devices
Bubbles (in fluids)
Microfluidics
Capsules
Throughput
20 Downloads (Pure)

A Size-Biased Poisson-Aradhana Distribution with Applications

Shanker, R., Shukla, K. K., Shanker, R. & Leonida, T. A., 2018, In : American Journal of Mathematics and Statistics. 8, 5, p. 126-135 10 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Poisson distribution
Biased
Hazard Rate Function
Moment
Unimodality
1 Citation (Scopus)

A Soft Robotic Phantom to Simulate the Dynamic Respiratory Motion of Human Liver

Naghibi, H., Costa, P. A. C. & Abayazid, M., 11 Oct 2018, BIOROB 2018 - 7th IEEE International Conference on Biomedical Robotics and Biomechatronics. IEEE Computer Society, p. 577-582 6 p. 8488115

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

Liver
Robotics
Needles
Magnetic resonance imaging
Simulators
11 Downloads (Pure)

A spatial optimisation model for fuel management to break the connectivity of high-risk regions while maintaining habitat quality

León, J., Reijnders, V. M. J. J., Hearne, J. W., Ozlen, M. & Reinke, K. J., 19 Jul 2018, RSFF 2018, Robust Solutions for Fire Fighting: Proceedings of the GEOSAFE Workshop on Robust Solutions for Fire Fighting. Di Stefano, G. & Navarra, A. (eds.). Vol. 2146. p. 8-17 10 p. (CEUR workshop proceedings; vol. 2146).

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

Open Access
File
6 Downloads (Pure)

A Spherical Probability distribution model of the User-induced mobile phone Orientation

Alayon Glazunov, A. & Hjalmar Lehne, P., 23 May 2018, In : IEEE Access. 6, p. 37185-37194 10 p., 17928107.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Mobile phones
Probability distributions
Antennas
Bluetooth
Accessories
300 Downloads (Pure)

Assessment of hand kinematics and interactions with the environment

Kortier, H. G., 9 Feb 2018, Enschede: University of Twente. 169 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

Open Access
File
Kinematics
Magnetometers
Hardware
Sensors
Permanent magnets
19 Downloads (Pure)

Assessment of Maintenance Policies for Smart Buildings: Application of Formal Methods to Fault Maintenance Trees

Abate, A., Budde, C. E., Cauchi, N., Hoque, K. A. & Stoelinga, M. I. A., 2 Jul 2018, Proceedings of the European Conference of the PHM Society. 1 ed. PHM society, Vol. 4. 16 p. (Proceedings of the European Conference of the PHM Society).

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

Open Access
File
Intelligent buildings
Formal methods
Availability
Costs
Fault tree analysis
18 Downloads (Pure)
Open Access
File
Self-Help Devices
Upper Extremity
Stroke
Technology
Delivery of Health Care
5 Citations (Scopus)
51 Downloads (Pure)

A Statistical Model Checker for Nondeterminism and Rare Events

Budde, C. E., D'Argenio, P. R., Hartmanns, A. & Sedwards, S., 2018, Proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2018). Beyer, D. & Huisman, M. (eds.). Cham: Springer, p. 340-358 19 p. (Lecture Notes in Computer Science; vol. 10806).

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

Open Access
File
Model checking
Software architecture
Explosions
Sampling
Statistical Models
32 Downloads (Pure)

A Study on the Perceptions of Autistic Adolescents towards Mainstream Emotion Recognition Technologies

Oude Nijeweme-d'Hollosy, W., Notenboom, T. & Banos, O., 2018, In : Proceedings (MDPI). 2, 19, 1200.

Research output: Contribution to journalConference articleAcademicpeer-review

Open Access
File
Cameras
Infrared radiation
Communication
5 Downloads (Pure)

Asymptotic period of an aperiodic Markov chain

van Doorn, E. A., 2018, In : Markov processes and related fields. 24, 5, p. 759-778 20 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Markov processes
Markov chain
Birth-death Process
Transition Probability
Countable
1 Citation (Scopus)
30 Downloads (Pure)

A systematic approach to optimize excitations for perturbative transport experiments

Van Berkel, M., De Cock, A., Ravensbergen, T., Hogeweij, G. M. D., Zwart, H. J. & Vandersteen, G., 1 Aug 2018, In : Physics of plasmas. 25, 8, 082510.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
optimization
frequency modulation
excitation
Fisher information
geometry
2 Citations (Scopus)
19 Downloads (Pure)

A Systematic Review of Bacterial Foodborne Outbreaks Related to Red Meat and Meat Products

Omer, M. K., Alvarez-Ordonez, A., Prieto, M., Skjerve, E., Leonida, T. A. & Alvseike, O. A., 1 Oct 2018, In : Foodborne Pathogens and Disease. 15, 10, p. 598-611 14 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
red meat
Meat Products
systematic review
meat products
Disease Outbreaks
106 Downloads (Pure)

A Tool for Generating Automata of IEC60870-5-104 Implementations

Kerkers, M., Chromik, J. J., Remke, A. K. I. & Haverkort, B. R. H. M., 2018, Measurement, Modelling and Evaluation of Computing Systems: 19th International GI/ITG Conference, MMB 2018, Erlangen, Germany, February 26-28, 2018, Proceedings. German, R., Hielscher, K-S. & Krieger, U. R. (eds.). p. 307-311 (Lecture notes in computer science; vol. 10740).

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

Specifications
Network protocols
Finite automata
Electric power distribution
1 Citation (Scopus)
10 Downloads (Pure)

A tutorial on graph transformation

König, B., Nolte, D., Padberg, J. & Rensink, A., 7 Feb 2018, Graph Transformation, Specifications, and Nets: In Memory of Hartmut Ehrig. Heckel, R. & Taentzer, G. (eds.). Springer, p. 83-104 22 p. (Lecture Notes in Computer Science; vol. 10800).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Open Access
File
Gluing
Graph Transformation
Graph Rewriting
Leader Election
Tool Support
16 Downloads (Pure)

A Two-Echelon Spare Parts Network with Lateral and Emergency Shipments: A Product-From Approximation

Boucherie, R. J., van Houtum, G-J., Timmer, J. & van Ommeren, J-K., 1 Oct 2018, In : Probability in the engineering and informational sciences. 32, 4, p. 536-555 20 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Spare Parts
Warehouses
Emergency
Repair
Lateral
61 Downloads (Pure)

A Two-Parameter Poisson-Akash Distribution with Properties and Applications

Shanker, R., Shukla, K. K. & Leonida, T. A., 29 Jun 2018, In : International Journal of Probability and Statistics. 7, 4, p. 114-123 10 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Poisson distribution
Two Parameters
Hazard Rate Function
Moment
Unimodality
46 Downloads (Pure)

Augmentation of Class-E PA reliability under load mismatch conditions

Ponte, J., Ghahremani, A., Huiskamp, M., Annema, A-J. & Nauta, B., 10 Dec 2018, 2018 25th IEEE International Conference on Electronics, Circuits and Systems (ICECS) . IEEE

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

Open Access
File
Switches
Electric potential
Safety factor
3 Downloads (Pure)

A Unified Nurse Rostering Model Based on XHSTT

Kingston, J. H., Post, G. F. & Vanden Berghe, G., 1 Aug 2018, PATAT 2018: Proceedings of the 12th International Conference of the Practice and Theory of Automated Timetabling. Burke, E. K., Di Gaspero, L., McCollum, B., Musliu, N. & Özcan, E. (eds.). PATAT, p. 81-96 16 p.

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

Open Access
File
Servers

Automated equivalent circuit extraction of impedance curves using a Gauss-Newton algorithm

Moonen, D. J. G., Lansink Rotgerink, J. H. G. J. & Leferink, F., 25 Jun 2018, Proceedings of 2018 IEEE International Symposium on Electromagnetic Compatibility and 2018 IEEE Asia-Pacific Symposium on Electromagnetic Compatibility. IEEE Electromagnetic Compatibility Society, p. 1103-1108 6 p.

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

Equivalent circuits
Simulators
3 Downloads (Pure)

Automatic face recognition for home safety using video-based side-view face images

Santemiz, P., Spreeuwers, L. J. & Veldhuis, R. N. J., 5 Nov 2018, In : IET biometrics. 7, 6, p. 606-614 9 p.

Research output: Contribution to journalArticleAcademicpeer-review

Face recognition
Cameras
5 Downloads (Pure)

Automatic measurements of a leisure activity for people with profound disabilities

Van Delden, R. & Reidsma, D., 2018, BCSS 2018. Behavior Change Support Systems. Sieverink, F., Klaassen, R., van Delden, R., Wentzel, J., van Gemert-Pijnen, L., Heylen, D. & Oinas-Kukkonen, H. (eds.). p. 48-59 12 p. (CEUR Workshop Proceedings; vol. 2102).

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

Open Access
File
Cameras
1 Citation (Scopus)
9 Downloads (Pure)

Automatic segmentation of puborectalis muscle on three-dimensional transperineal ultrasound

van den Noort, F., Grob, A. T. M., Slump, C. H., van der Vaart, C. H. & van Stralen, M., 1 Jul 2018, In : Ultrasound in obstetrics & gynecology. 52, 1, p. 97-102 6 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Muscles
First Pregnancy Trimester
Confidence Intervals
36 Downloads (Pure)

Automatic structuring of breast cancer radiology reports for quality assurance

Pathak, S., van Rossen, J., Vijlbrief, O., Geerdink, J., Seifert, C. & van Keulen, M., 17 Nov 2018, Proceedings of the Workshop on Data Mining in Biomedical Informatics and Healthcare (DMBIH 2018). Yu, J., Li, Z., Tong, H. & Zhu, F. (eds.). IEEE Computer Society, Vol. 2018-November. p. 732-739 8 p. 8637387

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

Open Access
File
Radiology
Quality assurance
Network protocols
Natural language processing systems
XML
1 Downloads (Pure)

Automatic temporal ranking of children’s engagement levels using multi-modal cues

Kim, J., Truong, K. P. & Evers, V., 1 Jul 2018, In : Computer Speech and Language. 50, p. 16-39 24 p.

Research output: Contribution to journalArticleAcademicpeer-review

Ranking
Robots
Robot
Ordinal Regression
Engagement
4 Downloads (Pure)

Autonomous Battery Exchange of UAVs with a Mobile Ground Base

Barrett, E., Reiling, M., Mirhassani, S., Meijering, R., Jager, J., Mimmo, N., Callegati, F., Marconi, L., Carloni, R. & Stramigioli, S., 10 Sep 2018, 2018 IEEE International Conference on Robotics and Automation, ICRA 2018. IEEE, p. 699-705 7 p. 8460201

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

Open Access
File
Unmanned aerial vehicles (UAV)
Robotic arms
Filling stations
Robotics
Experiments

A variable detail model simulation methodology for cyber-physical systems

Broenink, T. G. & Broenink, J. F., 22 Jun 2018, Proceedings of the 32nd European Conference on Modelling and Simulation ECMS 2018. p. 219-225

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

Dynamic models
Processing
Cyber Physical System
1 Citation (Scopus)
34 Downloads (Pure)

Average nearest neighbor degrees in scale-free networks

Yao, D., van der Hoorn, P. & Litvak, N., 10 Jan 2018, In : Internet mathematics. 2018, p. 1-38

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Scale-free Networks
Complex networks
Nearest Neighbor
Configuration
Finite Size Effects
18 Downloads (Pure)

A verified factorization algorithm for integer polynomials with polynomial complexity

Divasón, J., Joosten, S., Thiemann, R. & Yamada, A., 6 Feb 2018, In : Archive of Formal Proofs. 79 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Polynomial Complexity
Factorization
Polynomial
Integer
Polynomial time
18 Downloads (Pure)

A verified LLL algorithm

Divasón, J., Joosten, S., Thiemann, R. & Yamada, A., 2018, In : Archive of Formal Proofs. 2018

Research output: Contribution to journalArticleAcademic

Open Access
File
Polynomials
Number theory
Textbooks
Computer science
Computational complexity

Back-UP: Personalised Prognostic Models To Imporve Well-Being And return To Work After Neck and Low Back Pain

Cabrita, A. M., Oude Nijeweme - d'Hollosy, W. & Jansen-Kosterink, S., 15 Nov 2018, p. 26. 1 p.

Research output: Contribution to conferencePaperAcademicpeer-review

Return to Work
Low Back Pain
Neck
Data Mining
Information Storage and Retrieval
3 Downloads (Pure)

Balancing energy production and consumption in energy efficient neighborhoods

Piotrowski, K., Geers, M. P. A., Garrido, D., Chen, J., Peralta, J. J., Casaca, A. & Gerards, M. E. T., 27 Jun 2018, 2018 IEEE International Energy Conference, ENERGYCON 2018. IEEE, 6 p.

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

Energy Management
Energy management
Energy Efficient
Balancing
Energy
6 Citations (Scopus)
43 Downloads (Pure)

Barriers-on-chips: Measurement of barrier function of tissues in organs-on-chips

Arık, Y. B., van der Helm, M. W., Odijk, M., Segerink, L. I., Passier, R., van den Berg, A. & van der Meer, A. D., 1 Jul 2018, In : Biomicrofluidics. 12, 4, 042218.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
organs
chips
Tissue
Cells
Equipment Design
1 Citation (Scopus)
30 Downloads (Pure)

Batch scheduling in the histopathology laboratory

Leeftink, A. G., Boucherie, R. J., Hans, E. W., Verdaasdonk, M. A. M., Vliegen, I. H. M. & van Diest, P. J., 1 Jun 2018, In : Flexible services and manufacturing journal. 30, 1-2, p. 171-197 27 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Scheduling
Tissue
Decomposition
Turnaround time
Scheduling algorithms

Belief propagation for the maximum-weight independent set and minimum spanning tree problems

Cornelissen, K. & Manthey, B., 22 Aug 2018, In : Theoretical computer science. 738, p. 53-64 12 p.

Research output: Contribution to journalArticleAcademicpeer-review

8 Citations (Scopus)
1 Downloads (Pure)

Big Data Semantics

Ceravolo, P., Azzini, A., Angelini, M., Catarci, T., Cudré-Mauroux, P., Damiani, E., Mazak, A., van Keulen, M., Jarrar, M., Santucci, G., Sattler, K-U., Scannapieco, M., Wimmer, M., Wrembel, R. & Zaraket, F., 1 Jun 2018, In : Journal on Data Semantics. 7, 2, p. 65-85 21 p.

Research output: Contribution to journalArticleAcademicpeer-review

Semantics
Data structures
Big data
10 Citations (Scopus)

Biomimetic Architectures for Peripheral Nerve Repair: A Review of Biofabrication Strategies

Wieringa, P. A., Gonçalves de Pinho, A. R., Micera, S., van Wezel, R. J. A. & Moroni, L., 25 Apr 2018, In : Advanced healthcare materials. 7, 8, 1701164.

Research output: Contribution to journalArticleAcademicpeer-review

Biomimetics
Peripheral Nervous System
Neurology
Peripheral Nerves
Nerve Regeneration

Bipolar electrode-induced electrokinetic effects in nanochannels generate fluorescence enhancement and sharp pH gradients in the absence of a voltage bias

Scida, K., Arroyo-Currás, N., satik, Y., Eden, A., Eijkel, J. C. T. & Pennathur, S., 19 Aug 2018, p. 43.

Research output: Contribution to conferencePaperAcademicpeer-review

Blood group probabilities by next of kin

van Sambeeck, J. H. J., van Dijk, N. M., de Kort, W. L. A. M., Schonewille, H. & Janssen, M. P., 21 May 2018, In : Probability in the engineering and informational sciences. 21 p.

Research output: Contribution to journalArticleAcademicpeer-review

Blood Group Antigens
Blood
Likelihood
Rh-Hr Blood-Group System
Genotype
1 Citation (Scopus)
9 Downloads (Pure)

Booter list generation: The basis for investigating DDoS-for-hire websites

Santanna, J. J., de Vries, J., de O. Schmidt, R., Tuncer, D., Z. Granville, L. & Pras, A., 1 Jan 2018, In : International journal of network management. 28, 1, e2008.

Research output: Contribution to journalSpecial issueAcademicpeer-review

Open Access
File
Websites
Internet
Monitoring
Denial-of-service attack
4 Downloads (Pure)

Botnet detection and prevention in anonymous networks

Kuhnert, K., Steinberger, J. & Baier, H., Jul 2018. 5 p.

Research output: Contribution to conferencePaperAcademicpeer-review

Computer networks
Internet
Botnet
23 Downloads (Pure)

Bounds and Error bounds for unsolvable CT Markov chains

van Dijk, N. M., 10 Jul 2018, 15th International Conference of Numerical Analysis and Applied Mathematics (ICNAAM 2017). Tsitouras, C., Simos, T., Simos, T., Simos, T., Simos, T. & Simos, T. (eds.). 1 ed. United States: AIP Publishing LLC, Vol. 1978. p. 1-5 5 p. 190008. (INTERNATIONAL CONFERENCE OF NUMERICAL ANALYSIS AND APPLIED MATHEMATICS (ICNAAM 2017)).

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

Open Access
File
Continuous-time Markov Chain
Queueing Networks
Reward
Error Bounds
Markov chain