Faculty of Electrical Engineering, Mathematics & Computer Science

Research Output 1967 2020

Filter
Paper
2015
29 Downloads (Pure)

From situation modelling to a distributed rule-based platform for situation awareness: an ontological framework for disaster management applications

Moreira, J., 20 Oct 2015, p. 1-13. 13 p.

Research output: Contribution to conferencePaperAcademicpeer-review

Open Access
File
Disasters
Specifications
Service oriented architecture (SOA)
Interoperability
Ontology

Log Data Analysis via Machine Learning to Make eHealth More Persuasive

Sieverink, F., Poel, M., Kelders, S. M., Braakman, E. J. M. & van Gemert, J., 4 Jun 2015, p. -.

Research output: Contribution to conferencePaperAcademicpeer-review

3 Citations (Scopus)
17 Downloads (Pure)

NEED4Tweet: A Twitterbot for Tweets Named Entity Extraction and Disambiguation

Habib, M. B. & van Keulen, M., Jul 2015, p. -. 6 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File
Syntactics
Semantics

Studying the blood-brain barrier on a microfluidic chip

McKim, J. M. (ed.), van der Helm, M. W., Broersen, K., van der Meer, A. D., Eijkel, J. C. T., van den Berg, A. & Segerink, L. I., 2015.

Research output: Contribution to conferencePaperAcademic

14 Downloads (Pure)

TERESA: a socially intelligent semi-autonomous telepresence system

Shiarlis, K., Messias, J., van Someren, M., Whiteson, S., Kim, J., Vroon, J. H., Englebienne, G., Truong, K. P., Pérez-Higueras, N., Pérez-Hurtado, I., Ramon-Vigo, R., Caballero, F., Merino, L., Shen, J., Petridis, S., Pantic, M., Hedman, L., Scherlund, M., Koster, R. & Michel, H., 26 May 2015, p. -. 6 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File
Robots
Feedback
European Union
49 Downloads (Pure)

The Influence of Prosocial Norms and Online Network Structure on Prosocial Behavior: An Analysis of Movember’s Twitter Campaign in 24 Countries

van den Broek, T. A., Need, A., Ehrenhard, M. L., Priante, A. & Hiemstra, D., Nov 2015. 15 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File
twitter
campaign
donation
social network
multi-level analysis

Towards Implantable Body Sensor Networks - Performance of MICS Band Radio Communication in Animal Tissue

Karuppiah Ramachandran, V. R., Meratnia, N., Zhang, K. & Havinga, P. J. M., Sep 2015, p. -. 7 p.

Research output: Contribution to conferencePaperAcademicpeer-review

Body sensor networks
Radio communication
Network performance
Animals
Tissue
47 Downloads (Pure)

Verification of Loop Parallelisations

Blom, S., Darabi, S. & Huisman, M., 24 Mar 2015, p. IPA-4. 2 p.

Research output: Contribution to conferencePaperAcademic

File
2014
1 Citation (Scopus)

Advanced IP-MCMC-PF design ingredients

Iglesias Garcia, F., Bocquel, M. & Driessen, H., 7 Jul 2014. 8 p.

Research output: Contribution to conferencePaperAcademicpeer-review

3 Citations (Scopus)

Analysis of in-band interference in noise-based frequency offset modulation

Bilal, I., Meijerink, A. & Bentum, M. J., 4 Sep 2014, p. 727-732. 6 p.

Research output: Contribution to conferencePaperAcademicpeer-review

Bit error rate
Modulation
Bandwidth
Degradation
47 Downloads (Pure)

Automated Rare Event Simulation for Stochastic Petri Nets

Reijsbergen, D. P., de Boer, P-T. & Scheinhardt, W. R. W., Aug 2014, p. 80-81. 2 p.

Research output: Contribution to conferencePaperAcademic

File
132 Downloads (Pure)

Controlling pneumatic artificial muscles in exoskeletons with surface electromyography

Groenhuis, V., Chandrapal, M., Stramigioli, S. & Chen, X., 16 Jun 2014, p. 451-457. 7 p.

Research output: Contribution to conferencePaperAcademicpeer-review

Open Access
File
Electromyography
Pneumatics
Muscle
Torque measurement
Stairs
1 Citation (Scopus)

eLabel: living labs for implementation and evaluation of integrated technology in primary care

van Velsen, L. S., Oude Nijeweme-d'Hollosy, W. & Hermens, H. J., 20 May 2014, p. 256-257. 2 p.

Research output: Contribution to conferencePaperAcademicpeer-review

2 Citations (Scopus)
20 Downloads (Pure)

How to educate for creativity in creative technology?

Bohemia, E. (ed.), Mader, A. H., Eger, A. O. (ed.), Dertien, E. C., Eggink, W. (ed.), Parkinson, B. (ed.), Wits, W. W. (ed.) & Kovacevic, A. (ed.), 2014, p. 562-567. 6 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File
7 Citations (Scopus)
122 Downloads (Pure)

Hybrid Petri nets with multiple stochastic transition firings

Ghasemieh, H., Remke, A. K. I. & Haverkort, B. R. H. M., 9 Dec 2014, p. 217-224. 8 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File
6 Citations (Scopus)

Logical Lego? Co-constructed perspectives on service design

Heath, C. P., Coles-Kemp, L. & Hall, P. A., 2014, p. 416-425. 10 p.

Research output: Contribution to conferencePaperAcademic

42 Downloads (Pure)

Modelling of a micro Coriolis mass flow sensor for sensitivity improvement

Groenesteijn, J., van de Ridder, B., Lötters, J. C. & Wiegerink, R. J., 4 Nov 2014, p. 954-957. 4 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File
49 Downloads (Pure)

Near Vertical Incidence Skywave (NVIS) Antenna and Propagation Research in The Netherlands

Witvliet, B. A., van Maanen, E., Petersen, G. J., Westenberg, A. J., Bentum, M. J., Slump, C. H. & Schiphorst, R., 18 Nov 2014. 1 p.

Research output: Contribution to conferencePaperAcademicpeer-review

Open Access
File
Telecommunication
Antennas
Radio communication
Ionosphere
Disasters
18 Downloads (Pure)

Overview of the TREC 2014 Federated Web Search Track

Demeester, T., Trieschnigg, R. B., Nguyen, D-P., Zhou, K. & Hiemstra, D., Nov 2014. 14 p.

Research output: Contribution to conferencePaperAcademic

File
40 Downloads (Pure)

Robots for the psychological wellbeing of the elderly

Gallego Pérez, J., Lohse, M. & Evers, V., 3 Mar 2014. 4 p.

Research output: Contribution to conferencePaperAcademicpeer-review

Open Access
File
Robots
Experiments
1 Downloads (Pure)

State of the art in microfabrication

Schmitz, J., 2 Jun 2014, p. 1-10. 10 p.

Research output: Contribution to conferencePaperAcademicpeer-review

14 Downloads (Pure)

Sub-base-pair resolution during DNA separation in an optofluidic chip

Pollnau, M., Hammer, M., Dongre, C. & Hoekstra, H., Sep 2014, p. Page 26. 1 p.

Research output: Contribution to conferencePaperAcademic

File

Submicron electrode gaps fabricated by gold electrodeposition at interdigitated electrodes

van Megen, M. J. J., Olthuis, W. & van den Berg, A., 2014, p. 107-110. 4 p.

Research output: Contribution to conferencePaperAcademicpeer-review

14 Citations (Scopus)
22 Downloads (Pure)

Towards a service centric contextualized vehicular cloud

Hu, X., Wang, L., Sheng, Z., TalebiFard, P., Zhou, L., Liu, J. & Leung, V. C. M., 2014, p. 73-80. 8 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File

Wiskundeonderwijs in het licht van het PWN-visiedocument 2025

Verhoef, N. C. & Timmer, M., 2014.

Research output: Contribution to conferencePaperAcademic

2013
8 Downloads (Pure)

A method to determine validity and reliability of activity sensors

Boerema, S. T. & Hermens, H. J., 24 Jan 2013, p. 162-163. 2 p.

Research output: Contribution to conferencePaperAcademic

File
15 Downloads (Pure)

Correct and efficient accelerator programming (Dagstuhl Seminar 13142)

Cohen, A., Donaldson, A. F., Huisman, M. & Katoen, J. P., 2013, p. 17-33.

Research output: Contribution to conferencePaperAcademic

Open Access
File
Technical presentations
Particle accelerators
Computer science
14 Downloads (Pure)

Daily physical activity patterns in cancer survivors: a pilot study

Timmerman, J., van Weering, M., Kurvers, R., Tönis, T., Hermens, H. J. & Vollenbroek-Hutten, M. M. R., 25 Jan 2013. 1 p.

Research output: Contribution to conferencePaperAcademic

File
Neoplasms
Drug Therapy
Research
Therapeutics
Surveys and Questionnaires
11 Citations (Scopus)

Deciding bisimilarities on distributions

Eisentraut, C., Hermanns, H., Krämer, J., Turini, A. & Zhang, L., Aug 2013, p. 72-88. 17 p.

Research output: Contribution to conferencePaperAcademic

7 Citations (Scopus)
115 Downloads (Pure)

Designing Personal Informatics for Self-Reflection and Self-Awareness: The Case of Children with Attention Deficit Hyperactivity Disorder.

Jimenez Garcia, J., de Bruyckere, H., Keyson, D. V. & Romero, N., 2013, p. 109-123. 15 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File
2 Citations (Scopus)
42 Downloads (Pure)

ESTHER 1.3: integrating in-situ prompts to trigger self-reflection of physical activity in knowledge workers.

Jimenez Garcia, J., Romero, N. A., Keyson, D. & Havinga, P. J. M., Nov 2013, p. 1-4. 4 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File
29 Downloads (Pure)

Estimating qualitative parameters for assessment of body balance and arm function in a simulated ambulatory setting

van Meulen, F., Reenalda, J. & Veltink, P. H., 12 Sep 2013. 2 p.

Research output: Contribution to conferencePaperAcademic

File
15 Downloads (Pure)

Exploring sequences of speech and laughter activity using visualisations of conversations

Trouvain, J. & Truong, K. P., Aug 2013. 5 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File
humor
visualization
conversation
speaking
acceptance
34 Citations (Scopus)
324 Downloads (Pure)

Flow whitelisting in SCADA networks

Barbosa, R. R. R., Pras, A. & Sadre, R., Mar 2013. 19 p.

Research output: Contribution to conferencePaperAcademic

Open Access
File
Data acquisition
Servers
Network protocols
Water treatment plants
Packet networks
18 Downloads (Pure)

Interpersonal Stance in Conflict Conversation: Police Interviews

Bruijnes, M., Oct 2013, p. -. 2 p.

Research output: Contribution to conferencePaperAcademicpeer-review

Open Access
File
police
conversation
interview
police officer
dialogue
23 Downloads (Pure)

Mobility 2.0: Co-Operative ITS Systems for Enhanced Personal Electromobility

Solar, A., Bolovinou, A., Heijenk, G., Lasgouttes, J-M. & Giménez, R., Nov 2013. 10 p.

Research output: Contribution to conferencePaperAcademic

File
15 Downloads (Pure)

OLFAR - Orbiting low frequency antennas for radio astronomy

Bentum, M. J., 21 Jun 2013, p. 1. 1 p.

Research output: Contribution to conferencePaperAcademic

File
radio astronomy
antennas
low frequencies
very low frequencies
radio telescopes
6 Citations (Scopus)

Peak-to-average power reduction by rotation of the time-frequency representation

Korevaar, C. W., de Boer, P-T., Kokkeler, A. B. J. & Smit, G. J. M., Dec 2013, p. 3722-3727. 6 p.

Research output: Contribution to conferencePaperAcademicpeer-review

10 Downloads (Pure)

Recent advances in importance sampling for statistical model checking

Reijsbergen, D. P., de Boer, P-T., Scheinhardt, W. R. W. & Haverkort, B. R. H. M., 23 Sep 2013, p. -. 4 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File
Importance sampling
Model checking
Markov processes
Statistical Models
7 Downloads (Pure)

Reliable sequential testing for statistical model checking

Reijsbergen, D. P., de Boer, P-T., Scheinhardt, W. R. W. & Haverkort, B. R. H. M., 23 Sep 2013, p. -. 4 p.

Research output: Contribution to conferencePaperAcademicpeer-review

Open Access
File
Model checking
Testing
Statistical Models
74 Downloads (Pure)

Smoothed analysis of the successive shortest path algorithm

Cornelissen, K. (ed.), Brunsch, T., Hoeksma, R. P. (ed.), Hurink, J. L. (ed.), Manthey, B. (ed.) & Röglin, H., 2013, p. 27-30. 4 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File
26 Downloads (Pure)

Specification and Verification of GPGPU Programs using Permission-Based Separation Logic

Huisman, M. & Mihelcic, M., 2013. 8 p.

Research output: Contribution to conferencePaperAcademicpeer-review

Open Access
File
Specifications
Computer programming languages
Energy efficiency
Graphics processing unit
13 Downloads (Pure)

Statistical model checking in Uppaal: lets practice

David, A., Larsen, K. G., Legay, A. & Mikučionis, M., Sep 2013.

Research output: Contribution to conferencePaperAcademic

File
34 Downloads (Pure)

Taking things at face value: how stance informs politeness of virtual agents

Conci, M. (ed.), Linssen, J. M., Dignum, V. (ed.), Theune, M., Funk, M. (ed.) & Heylen, D. K. J. (ed.), Sep 2013, p. 71-82. 12 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File
12 Citations (Scopus)

The quest for minimal quotients for probabilistic automata

Eisentraut, C., Hermanns, H., Schuster, J., Turini, A. & Zhang, L., Mar 2013, p. 16-31. 16 p.

Research output: Contribution to conferencePaperAcademic

Probabilistic Automata
Automata
Canonical Representation
Quotient
Minimality
2 Citations (Scopus)

The Social Media Indicator 2: Towards a Software Tool for Measuring the Influence of Social Media

Withaar, R. J., Ribeiro, G. F. & Effing, R., 16 Sep 2013.

Research output: Contribution to conferencePaperAcademic

Application programming interfaces (API)
9 Downloads (Pure)

What Is at Play? Meta-techniques in Serious Games and Their Effects on Social Believability and Learning

Linssen, J. M., Theune, M. & de Groot, T. F., 12 Nov 2013, p. -. 6 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File
learning success
role play
learning
2012

6th Workshop on Virtual Machines and Intermediate Languages (VMIL’12)

Rajan, H., Hauptmann, M., Bockisch, C. & Blackburn, S., 2012.

Research output: Contribution to conferencePaperAcademic

1 Citation (Scopus)
16 Downloads (Pure)

Aspect-Oriented Language Mechanisms for Component Binding

Hatun, K., Bockisch, C. & Aksit, M., Sep 2012, p. 11-14. 4 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File
19 Citations (Scopus)
81 Downloads (Pure)

Automatic Player Detection and Recognition in Images Using AdaBoost

Mahmood, Z., Ali, T. & Khattak, S., 2012, p. 64-69. 6 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File