Faculty of Electrical Engineering, Mathematics & Computer Science

Research Output 1967 2019

Filter
Chapter
2015
11 Downloads (Pure)

Foreword

Nijholt, A., 2015, Brain-Computer Interfaces: Current trends and Applications. Hassanieu, A. E. & Azar, A. T. (eds.). Switzerland: Springer, p. v-vi 2 p. (Intelligent Systems Reference Library Series; vol. 74, no. 74).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

File
5 Citations (Scopus)

Formal Modelling and Analysis of Socio-Technical Systems

Probst, C. W., Kammüller, F. & Rydhof Hansen, R., 25 Dec 2015, Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays. Probst, C. W., Hankin, C. & Rydhof Hansen, R. (eds.). Berlin: Springer, p. 54-73 20 p. (Lecture Notes in Computer Science; vol. 9560).

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

Bakeries
17 Downloads (Pure)

Functional calculus for C0-semigroups using infinite-dimensional systems theory

Schwenninger, F. L. & Zwart, H., 2015, Operator Semigroups Meet Complex Analysis, Harmonic Analysis and Mathematical Physics. Arendt, W., Chill, R. & Tomilov, Y. (eds.). London: Springer, p. 483-489 7 p. (Operator Theory : Advances and Applications; vol. 250).

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

File
C0-semigroup
Functional Calculus
Infinite-dimensional Systems
Systems Theory
Strongly Continuous Semigroups
60 Citations (Scopus)
62 Downloads (Pure)

LTSmin: High-Performance Language-Independent Model Checking

Kant, G., Laarman, A., Meijer, J., van de Pol, J. C., Blom, S. & van Dijk, T., Apr 2015, Tools and Algorithms for the Construction and Analysis of Systems. Baier, C. & Tinelli, C. (eds.). London: Springer, p. 692-707 16 p. (Lecture Notes in Computer Science; vol. 9035, no. 9035).

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

File
Model checking
Interface states
Modeling languages
6 Downloads (Pure)

Magnetic-based contact and non-contact manipulation of cell mockups and biological MCF-7 cells

Khalil, I. S. M., Gomaa, I. E. O., Abdel Kader, R. M. & Misra, S., 10 Feb 2015, Smart Drug Delivery System. Sezer, A. D. (ed.). InTech, p. 219-235

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

Open Access
File

Magnetotactic Bacteria: characterization and control

Khalil, I. S. M. & Misra, S., 2015, Microbiorobotics. Kim, M-J. (ed.). Springer, p. -

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

3 Citations (Scopus)

Mass Equivalent Dyads

van der Wijk, V., 2015, Recent Advances in Mechanism Design for Robotics: Proceedings of the 3rd IFToMM Symposium on Mechanism Design for Robotics. Bai, S. & Ceccarelli, M. (eds.). Cham: Springer, p. 35-45 (Mechanisms and Machine Science; vol. 33, no. 33).

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

Medimate minilab, a microchip capillary electrophoresis self-test platform

Staal, S. S., Ungerer, M. C., Movig, K. L. L., Bartholomew, J. A., Krabbe, H. & Eijkel, J. C. T., 2015, Microfluidics for medical applications. van den Berg, A., Segerink, L. & Segerink, L. I. (eds.). Cambridge: Royal Society of Chemistry, p. 259-287 29 p. (RSC Nanoscience & Nanotechnology; no. 36).

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

Modeling and evaluation of location-based forwarding in vehicular networks

Heijenk, G., Klein Wolterink, W., van den Berg, H. L. & Karagiannis, G., 2015, Vehicular communications and networks - Architectures, protocols, operation and deployment. Chen, W. (ed.). Cambridge, UK: Woodhead Publishing, p. 151-169 19 p.

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

27 Downloads (Pure)

More playful user interfaces: an introduction

Nijholt, A., 18 May 2015, More Playful User Interfaces: Interfaces that Invite Social and Physical Interaction. Nijholt, A. (ed.). Singapore: Springer, p. 1-13 13 p. (Gaming media and social effects).

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

User interfaces
Sports
Profitability
Animals
Actuators

Multiple stakeholders in road pricing: A game theoretic approach

Ohazulike, A., Still, G. J., Kern, W. & van Berkum, E. C., 2015, Game Theoretic Analysis of Congestion, Safety and Security. Hausken, K. & Zhuang, J. (eds.). London: Springer, p. 159-189 31 p. (Springer Series in Reliability Engineering).

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

Costs
Traffic congestion
Multiobjective optimization
Taxation
Air pollution

Narrow-linewidth lasers on a silicon chip

Bernhardi, E. & Pollnau, M., 2015, Nano-Structures for Optics and Photonics. Di Bartolo, B., Collins, J. & Silvestri, L. (eds.). Dordrecht: Springer, p. 237-248 12 p. (NATO Science for Peace and Security Series B: Physics and Biophysics).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

27 Citations (Scopus)
56 Downloads (Pure)

OR and simulation in combination for optimization

van Dijk, N. M., Haijema, R., van der Sluis, E., Kortbeek, N., Al-Ibrahim, A. & van der Wal, J., 2015, Applied Simulation and Optimization: In Logistics, Industrial and Aeronautical Practice. Mujica Mota, M., Flores de la Mota, I. & Guimarans Serrano, D. (eds.). Switzerland: Springer, p. 75-107 34 p.

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

File

Pain management: the multidisciplinary roessingh back-school rehabilitation program and e-health interventions for chronic pain sufferers

Vollenbroek-Hutten, M. M. R., Hermens, H. J. & Wever, D., 2015, International Handbook of Occupational Therapy Interventions. Söderback, I. (ed.). Switzerland: Springer, p. 669-679 11 p.

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

5 Downloads (Pure)

Preface

Nijholt, A., 1 Jul 2015, More Playful User Interfaces: Interfaces that Invite Social and Physical Interaction. Nijholt, A. (ed.). Singapore: Springer, p. v-vi 2 p. (Gaming media and social effects).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Sensors
Actuators
Human computer interaction
Sports
User interfaces
1 Downloads (Pure)

Preface book Microfluidics for medical applications

Segerink, L. & van den Berg, A., 2015, Microfluidics for medical applications. van den Berg, A. & Segerink, L. (eds.). Cambridge, UK: Royal Society of Chemistry, p. vii-ix 3 p. (RSC Nanoscience & Nanotechnology; no. 36).

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

Medical applications
medicine
Microfluidics
handbooks
Medicine

Shortest Path to Mechanism Design

Müller, R. & Uetz, M. J., 23 Dec 2015, Gems of Combinatorial Optimization and Graph Algorithms. Schulz, A. S., Skutella, M., Stiller, S. & Wagner, D. (eds.). Berlin: Springer, p. 83-94 13 p.

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

7 Citations (Scopus)
3 Downloads (Pure)

Social Behaviour in Police Interviews: Relating Data to Theories

Bruijnes, M., Linssen, J. M., op den Akker, H. J. A., Theune, M., Wapperom, S., Broekema, C. & Heylen, D. K. J., 2015, Conflict and Multimodal Communication. D'Errico, F., Poggi, I., Vinciarelli, A. & Vincze, L. (eds.). London: Springer, p. 317-347 31 p. (Computational Social Sciences).

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

File
7 Citations (Scopus)

Social Media Indicator and Local Elections in the Netherlands: Towards a Framework for Evaluating the Influence of Twitter, YouTube, and Facebook

Effing, R., van Hillegersberg, J. & Huibers, T. W. C., 2015, Social Media and Local Governments: Theory and Practice. Zahid Sobaci, M. (ed.). Switzerland: Springer, p. 281-298 18 p. (Public Administration and Information Technology; vol. 15, no. 15).

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

Stochastic almost output synchronization for time-varying networks of non-identical and non-introspective agents under external stochastic disturbances and disturbances with known frequencies

Zhang, M., Stoorvogel, A. A. & Saberi, A., 9 Jul 2015, Mathematical Control Theory II. Belur, M. N., Camlibel, M. K., Rapisarda, P. & Scherpen, J. M. A. (eds.). Switzerland: Springer, p. 101-127 27 p. (Lecture Notes in Control and Information Sciences; vol. 462, no. 462).

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

Time-Varying phasors and their application to power analysis

Stramigioli, S., 14 Jul 2015, Mathematical Control Theory I: Nonlinear and Hybrid Control Systems. Springer, p. 51-72 22 p. (Lecture Notes in Control and Information Sciences; vol. 461).

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

Reactive power
Linear systems
Electric potential
2 Citations (Scopus)

Tool-based Risk Assessment of Cloud Infrastructures as Socio-Technical Systems

Nidd, M., Ivanova, M. G., Probst, C. W. & Tanner, A., 3 Jun 2015, The Cloud Security Ecosystem. Ko, R. & Choo, R. (eds.). Amsterdam: Elsevier, p. 495-517 23 p.

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

Risk assessment
Dynamical systems

Towards Low Power N-Path filters for flexible RF-channel selection

Klumperink, E. A. M., Soer, M. C. M., Struiksma, R. E., van Vliet, F. E. & Nauta, B., 31 Dec 2015, Efficient Sensor Interfaces, Advanced Amplifiers and Low Power RF Systems. Switzerland: Springer, p. 255-274 20 p.

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

2014
1 Citation (Scopus)

An Architecture for Health Information Exchange in Pervasive Healthcare Environment

Cardoso de Moraes, J. L., Lopes de Souza, W., Ferreira Pires, L. & Francisco do Prado, A., 31 Aug 2014, Enterprise Information Systems. Hammoudi, S., Cordeiro, J., Maciaszek, L. A. & Filipe, J. (eds.). Switzerland: Springer, p. 384-401 17 p. (Lecture Notes in Business Information Processing; vol. 190, no. 190).

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

45 Downloads (Pure)

An Integrated Patient-Centric Approach for Situated Research on Total Hip Replacement: ESTHER

Jimenez Garcia, J., Romero, N., Keyson, D. & Havinga, P. J. M., 2014, Pervasive Health : State of the art and Beyond. London: Springer, p. 343-365 23 p. (Human-computer interaction series).

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

File

An introduction to micro array technology companies

Tierney, R., Walsh, S. T., Vulto, P., Chavez, V. & Haak, R., 2014, The pharmaceutical landscape; industry-technology-diagnostics-instrumentation-drug delivery a new form of roadmapping. Walsh, S. T., Tierney, R., Giasolli, R. & Tolfree, D. (eds.). Naples, Florida: MANCEF, p. 163-212 50 p.

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

2 Citations (Scopus)
102 Downloads (Pure)

Applying Mean-Field Approximation to Continuous Time Markov Chains

Kolesnichenko, A. V., Senni, V., Pourranjabar, A. & Remke, A., Oct 2014, Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems: Advanced Lectures of the International Autumn School ROCKS 2012. Remke, A. & Stoelinga, M. (eds.). Berlin: Springer, p. 242-280 39 p. (Lecture Notes in Computer Science; vol. 8453).

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

Open Access
File
Continuous-time Markov Chain
Mean-field Approximation
Mean Field
Computer Science
Performance Modeling

Biometrics — Developments and Potential

Meuwly, D. & Veldhuis, R. N. J., 16 Jun 2014, Wiley Encyclopedia of Forensic Science. Chichester, UK: Wiley, p. 1-8 8 p.

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

science
biometrics
3 Citations (Scopus)
80 Downloads (Pure)

Biometrics in Forensic Science: Challenges, Lessons and New Technologies

Tistarelli, M., Grosso, E. & Meuwly, D., 30 Nov 2014, Biometric Authentication. Switzerland: Springer, p. 153-164 12 p. (Lecture Notes in Computer Science; vol. 8897, no. 8897).

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

File
37 Downloads (Pure)

Clio's talkative daughther goes digital: the interplay between technology and oral accounts as historical data.

Scagliola, S. & de Jong, F. M. G., Sep 2014, The Making of the Humanities, Volume III. The Modern Humanities. Bod, R., ter Maat, J. & Weststeijn, T. (eds.). Amsterdam: Amsterdam University Press, p. 511-526 16 p. (The making of the humanities; vol. III).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

File
1 Citation (Scopus)

Collaborative development of embedded systems

Verhoef, M., Pierce, K., Gamble, C. & Broenink, J. F., 2014, Collaborative design for embedded systems: co-modelling and co-simulation. Fitzgerald, J., Larsen, P. G. & Verhoef, M. (eds.). London: Springer, p. 3-14 12 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

8 Citations (Scopus)
2 Downloads (Pure)

Cost-effectiveness of Security Measures: A model-based Framework

Pieters, W., Probst, C. W., Lukszo, Z. & Montoya, L., Jan 2014, Approaches and Processes for Managing the Economics of Information Systems. Tsiakis, T., Kargidis, T. & Katsaros, P. (eds.). Hershey, PA: IGI Global, p. 139-156 18 p.

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

70 Downloads (Pure)

Crickets as bio-inspiration for MEMS-based flow-sensing

Krijnen, G. J. M., Droogendijk, H., Dagamseh, A. M. K., Jaganatharaja, R. K. & Casas, J., 2014, Flow Sensing in Air and Water; Behavioral, Neural and Engineering Principles of Operation. London: Springer, p. 459-488 30 p.

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

File
1 Citation (Scopus)

Design space exploration of a particle filter using higher-0rder functions

Wester, R. & Kuper, J., 2014, Reconfigurable Computing: Architectures, Tools, and Applications. London: Springer, p. 219-226 8 p. (Lecture Notes in Computer Science; vol. 8405, no. 8405).

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

Dorsal Root Ganglion

Marani, E., 2014, Encyclopedia of the Neurological Sciences (Second Edition). Aminoff, M. J. & Daroff, R. B. (eds.). Elsevier, p. 1020-1025

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

Spinal Ganglia
Spinal Cord
Sensory Receptor Cells
Cell Body

Electrocavitation in Nanochannels

van Schoot, D. S., Janssen, K. G. H., Hankemeier, T. & Eijkel, J. C. T., 2014, Transport and Reactivity of Solutions in Confined Hydrosystems. Mercury, L., Tas, N. R. & Zilberbrand, M. (eds.). Springer, p. 141-150 (NATO Science for Peace and Security Series C: Environmental Security).

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

cavitation flow
aqueous solutions
conductivity
low pressure
platforms

Entertaining the whole world

Cheok, A. D., Romão, T., Nijholt, A. & Yu, G., 1 Oct 2014, Entertaining the Whole World. Cheok, A. D., Nijholt, A. & Romão, T. (eds.). London: Springer, p. 1-3 3 p. (Human-Computer Interaction Series).

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

Entertainment
Creativity
Nepal
Developing world
World Wide Web
2 Citations (Scopus)
19 Downloads (Pure)

Event-Based Modularization of Reactive Systems

Malakuti Khah Olun Abadi, S. & Aksit, M., 2014, Concurrent Objects and Beyond: Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday. Berlin, Heidelberg: Springer, p. 367-407 41 p. (Lecture Notes in Computer Science; vol. 8665, no. 8665).

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

File
16 Downloads (Pure)

Event Modules - Modularizing Domain-Specific Crosscutting RV Concerns

Malakuti Khah Olun Abadi, S. & Aksit, M., 2014, Transactions on Aspect-Oriented Software Development XI. Berlin, Heidelberg: Springer, p. 27-69 43 p. (Lecture Notes in Computer Science; vol. 8400, no. 8400).

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

File

Forensic use of fingermarks and fingerprints

Meuwly, D., 2014, Encyclopedia of Biometrics. Li, S. Z. & Jain, A. K. (eds.). London: Springer, p. 1-15 15 p.

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

18 Downloads (Pure)

Hair-based flow-sensing inspired by the cricket cercal system

Krijnen, G. J. M., Droogendijk, H., Steinmann, T., Dagamseh, A. M. K., Jaganatharaja, R. K. & Casas, J., 2014, Handbook of Biomimetics and Bioinspiration: Electromechanical Systems. Singapore: World Scientific, p. 861-887 27 p. (World Scientific Series in Nanoscience and Nanotechnology; vol. 2, no. 2).

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

File
3 Citations (Scopus)
16 Downloads (Pure)

Hang in There: A Novel Body-Centric Interactive Playground

van Delden, R. W., Moreno Celleri, A. M., Ramos, C., Carrasco, G., Reidsma, D. & Poppe, R. W., May 2014, Innovative and Creative Developments in Multimodal Interaction Systems. Rybarczyk, Y., Cardoso, T., Rosas, J. & Camarinha-Matos, L. M. (eds.). London: Springer, p. 160-178 19 p. (IFIP Advances in Information and Communication Technology; vol. 425).

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

File
2 Citations (Scopus)
59 Downloads (Pure)

How Interface Design and Search Strategy Influence Children’s Search Performance and Evaluation

Jochmann-Mannak, H., Lentz, L., Huibers, T. W. C. & Sanders, T., Jan 2014, Evaluating Websites and Web Services: Interdisciplinary Perspectives on User Satisfaction. Hershey, PA, USA: IGI Global, p. 241-287 47 p.

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

File

Individual and Collaborative Personalization in a Science Museum

van Dijk, E. M. A. G., Lingnau, A., Vissers, G. & Kockelhorn, H., Feb 2014, Playful User Interfaces: Interfaces that Invite Social and Physical Interaction. Nijholt, A. & Nijholt, A. (eds.). Singapore: Springer, p. 185-208 24 p. (Gaming Media and Social Effects).

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

89 Downloads (Pure)

Interactive Playgrounds for Children

Poppe, R. W., van Delden, R. W., Moreno Celleri, A. M. & Reidsma, D., Feb 2014, Playful User Interfaces. Nijholt, A. & Nijholt, A. (eds.). Berlin: Springer, p. 99-118 20 p. (Gaming Media and Social Effects).

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

File
22 Citations (Scopus)
3 Downloads (Pure)

Mechanisms for Leveraging Models at Runtime in Self-adaptive Software

Bennaceur, A., France, R., Tamburelli, G., Vogel, T., Mosterman, P. J., Cazzola, W., Costa, F. M., Pierantonio, A., Tichy, M., Aksit, M., Emanuelson, P., Gang, H., Georgantas, N. & Redlich, D., 2014, Models@run.time. Switzerland: Springer, p. 19-46 28 p. (Lecture Notes in Computer Science; vol. 8378, no. 8378).

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

File
4 Citations (Scopus)

Mediated Interactions and Musical Expression - A Survey

Reidsma, D., Radha, M. & Nijholt, A., 12 Apr 2014, Digital Da Vinci: Computers in Music. Lee, N. (ed.). New York: Springer, p. 79-98 20 p.

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

51 Downloads (Pure)

Mobile monitoring application to support sustainable behavioural change towards healthy lifestyle

Jones, V. M., de Wijk, R. A., Duit, J., Widya, I. A., Bults, R. G. A., Mendes Batista, R. J., Mendes Batista, R., Hermens, H. J. & Noldus, L. P. J. J., Jun 2014, Sensor Networks for Sustainable Development. Ilyas, M., Alwakeel, S. S., Alwakeel, M. M. & Aggoune el Hadi, M. (eds.). USA: CRC Press, p. 145-173 29 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

File
2 Citations (Scopus)
55 Downloads (Pure)

Perception and manipulation of game control

Plass - Oude Bos, D., van de Laar, B. L. A., Reuderink, B., Poel, M. & Nijholt, A., Jul 2014, Proceedings of the 6th International Conference on Intelligent Technologies for Interactive Entertainment, INTETAIN 2014. Reidsma, D., Choi, I. & Bargar, R. (eds.). Berlin: Springer, p. 57-66 10 p. (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering (LNICST); vol. 136, no. 136).

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

File

Playful Interfaces: Introduction and History

Nijholt, A., 18 Feb 2014, Playful User Interfaces : Gaming Media and Social Effects. Nijholt, A. (ed.). Berlin: Springer, p. 1-21 21 p. (Gaming Media and Social Effects).

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