Faculty of Electrical Engineering, Mathematics & Computer Science

Research Output 1967 2019

Filter
Chapter
2019
2 Downloads (Pure)

Insect-inspired distributed flow-sensing: Fluid-mediated coupling between sensors

Krijnen, G., Steinmann, T., Jaganatharaja, R. K. & Casas, J., Apr 2019, Architectured Materials in Nature and Engineering. Estrin, Y., Bréchet, Y., Dunlop, J. & Fratzl, P. (eds.). Cham: Springer, p. 355-392 (Springer Series in Materials Science; vol. 282).

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

Open Access
File
insects
hair
fluids
sensors
air flow

Measurement of upper limb function during daily life after stroke

Held, J. P. O., Veltink, P. H., van Meulen, F. B., Luft, A. R. & Buurke, J. H., 1 Jan 2019, Converging Clinical and Engineering Research on Neurorehabilitation III: Proceedings of the 4th International Conference on NeuroRehabilitation (ICNR2018), October 16-20, 2018, Pisa, Italy. Masia, L., Micera, S., Akay, M. & Pons, J. L. (eds.). Springer, p. 307-311 5 p. (Biosystems and Biorobotics; vol. 21).

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

Patient rehabilitation
Sensors
Monitoring

Objective evaluation of functional walking in stroke survivors

Buurke, J. H., Prinsen, E. C., van Meulen, F. B. & Veltink, P. H., 1 Jan 2019, Converging Clinical and Engineering Research on Neurorehabilitation III: Proceedings of the 4th International Conference on NeuroRehabilitation (ICNR2018), October 16-20, 2018, Pisa, Italy. Masia, L., Micera, S., Akay, M. & Pons, J. L. (eds.). Springer, p. 551-555 5 p. (Biosystems and Biorobotics; vol. 21).

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

Gait analysis
Patient rehabilitation

Providing Proactiveness: Data Analysis Techniques Portfolios

Sillitti, A., Anakabe, J. F., Basurko, J., Dam, P., Ferreira, H., Ferreiro, S., Gijsbers, J., He, S., Hegedűs, C., Holenderski, M., Hooghoudt, J-O., Lecuona, I., Leturiondo, U., Marcelis, Q., Moldován, I., Okafor, E., Rebelo de Sá, C., Romero, R., Sarr, B., Schomaker, L. & 11 othersKumar Shekar, A., Soares, C., Sprong, H., Theodorsen, S., Tourwé, T., Urchegui, G., Webers, G., Yang, Y., Zubaliy, A., Zugasti, E. & Zurutuza, U., Jan 2019, The MANTIS Book: Cyber Physical System Based Proactive Collaborative Maintenance. Albano, M., Jantunen, E., Papa, G. & Zurutuza, U. (eds.). Aalborg: River Publishers, (River Publishers Series in Automation, Control and Robotics).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Open Access
2018
2 Downloads (Pure)

A Broader View on Verification: From Static to Runtime and Back (Track Summary)

Ahrendt, W., Huisman, M., Reger, G. & Rozier, K. Y., 2018, Leveraging Applications of Formal Methods, Verification and Validation. Verification : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II. Margaria, T. & Steffen, B. (eds.). Cham: Springer, p. 3-7 5 p. (Lecture Notes in Computer Science; no. 11245).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Open Access
File
Costs
5 Downloads (Pure)

A Building Information Model-centered Big Data Platform to Support Digital Transformation in the Construction Industry

Bosdriesz, Y., van Sinderen, M., Iacob, M. & Verkroost, P., 26 Oct 2018, Enterprise Interoperability: Smart Services and Business Impact of Enterprise Interoperability. Zelm, M., Jaekel, F-W., Doumeingts, G. & Wollschlaeger, M. (eds.). Wiley, p. 209-215 7 p.

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

Open Access
File
Construction industry
Industry
Big data
21 Downloads (Pure)

A Demonstration of Multi-Party Dialogue Using Virtual Coaches: The First Council of Coaches Demonstrator

Snaith, M., op den Akker, H., Beinema, T. C., Bruijnes, M., Fides-Valero, Á., Huizing, G. H., Kantharaju, R., Klaassen, R., Konsolakis, K., Reidsma, D. & Weusthof, M. H. H., Sep 2018, Computational Models of Argument. Modgil, S., Budzynska, K., Lawrence, J. & Budzynska, K. (eds.). IOS Press, p. 473-474 2 p. (Frontiers in Artificial Intelligence and Applications; vol. 305).

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

Open Access
File
Health
Coaching
Computational Model
1 Citation (Scopus)
34 Downloads (Pure)

A Formalization of the LLL Basis Reduction Algorithm

Divasón, J., Joosten, S., Thiemann, R. & Yamada, A., 4 Jul 2018, Interactive Theorem Proving: 9th International Conference, ITP 2018. Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018. Proceedings. Avigad, J. & Mahboubi, A. (eds.). Springer, p. 160-177 18 p. (Lecture Notes in Computer Science; vol. 10895).

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

Open Access
File
Formalization
LLL Algorithm
Computer Algebra
Number theory
Soundness
1 Citation (Scopus)

Analysing AWN-specifications using mCRL2

van Glabbeek, R., Höfner, P. & van der Wal, D., 9 Aug 2018, Integrated Formal Methods: 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings. Springer, p. 398-418 21 p. (Lecture Notes in Computer Science; vol. 11023).

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

Algebra
Wireless networks
Specifications
1 Citation (Scopus)

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

Brain–Computer Interfaces and Haptics: A Literature Review

van Erp, J. B. F., 24 Jan 2018, Brain–Computer Interfaces Handbook: Technological and Theoretical Advances. 1st ed. Taylor & Francis, 14 p.

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

2 Citations (Scopus)
1 Downloads (Pure)

Computability and Complexity of Unconventional Computing Devices

Broersma, H., Stepney, S. & Wendin, G., 20 Jul 2018, Computational Matter. p. 185-229 45 p. (Natural Computing Series).

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

Computability
Turing
Computing
Polynomial time
NP-complete problem
1 Downloads (Pure)

Computer Science

Hartel, P. H. & Junger, M., 30 Dec 2018, Routledge Handbook of Crime Science: Every new technology brings new opportunity for crime, and information and communication technology (ICT) is no exception. This short article offers students of crime insights in the two main connections between ICT and criminology. On the one hand we show how ICT can be used as a tool, target, or location of crime. On the other hand we show how ICT can be used as a tool to study crime.. Wortley, R., Sidebottom, A., Tilley, N. & Laycock, G. (eds.). 1 ed. London: Routledge, p. 179-189 11 p.

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

Open Access
File
Computer science
Crime
Communication
Students

Conclusion: Moving Forward in Brain-Computer Interfaces

Nam, C. S., Lotte, F. & Nijholt, A., 9 Jan 2018, Brain-Computer Interfaces Handbook: Technological and Theoretical Advances. Nam, C. S., Nijholt, A. & Lotte, F. (eds.). Oxford, UK: CRC Press, p. 725 1 p.

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

Brain-Computer Interfaces
Technology
Research
Brain
1 Downloads (Pure)

Electroporation in Microfluidic devices

le Gac, S. & Van Uitert, I., 2018, Handbook of electroporation. Miklavčič, D. (ed.). Springer

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

Microfluidics
Cells
Cell membranes
Cell engineering
Joule heating
47 Downloads (Pure)

Evolution in Nanomaterio: The NASCENCE Project

Broersma, H., 2018, Inspired by Nature: Essays Presented to Julian F. Miller on the Occasion of his 60th Birthday. Stepney, S. & Adamatzky, A. (eds.). Cham: Springer, p. 87-111 25 p. (Emergence, Complexity and Computation; vol. 28).

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

File
dials
readers
nanotechnology
carbon nanotubes
nanoparticles

Graph Attribution Through Sub-Graphs

Kastenberg, H. & Rensink, A., 7 Feb 2018, Graph Transformation, Specifications, and Nets: In Memory of Hartmut Ehrig. Springer, p. 245-265 (Lecture Notes in Computer Science; vol. 10800).

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

Open Access
File

Introduction: Evolution of Brain-Computer Interfaces

Lotte, F., Nam, C. S. & Nijholt, A., 9 Jan 2018, Brain-Computer Interfaces Handbook: Technological and Theoretical Advances. Nam, C. S., Nijholt, A. & Lotte, F. (eds.). Oxford, UK: CRC Press, p. 1-8

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

Brain computer interface
Brain
1 Citation (Scopus)

MCC'2017 - The Seventh Model Checking Contest

Kordon, F., Garavel, H., Hillah, L-M., Paviot-Adet, E., Jezequel, L., Hulin-Hubard, F., Amparore, E. G., Beccuti, M., Berthomieu, B., Evrard, H., Jensen, P. G., Botlan, D. L., Liebke, T., Meijer, J., Srba, J., Thierry-Mieg, Y., Pol, J. V. D. & Wolf, K., 21 Nov 2018, Transactions on Petri Nets and Other Models of Concurrency XIII. Koutny, M., Kristensen, L. M. & Penczek, W. (eds.). p. 181-209 29 p. (Lecture notes in computer science; vol. 11090).

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

Model checking
Petri nets

Membranes for Organs-on-Chips

Tibbe, M. P., van der Meer, A. D., van den Berg, A., Stamatialis, D. & Segerink, L., 2018, Biomedical Membranes and (Bio)Artificial Organs. Stamatialis, D. (ed.). World Scientific, p. 295-321 (World Scientific Series in Membrane Science and Technology: Biological and Biomimetic Applications, Energy and the Environment: ; vol. 2).

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

1 Downloads (Pure)

Multi-Brain Computing: BCI Monitoring and Real-Time Decision Making

Nijholt, A., 1 Nov 2018, Neuroergonomics: The Brain at Work and in Everyday Life. Ayaz, H. & Dehais, F. (eds.). Elsevier, p. 243 1 p.

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

Brain computer interface
Brain
Decision making
Monitoring
Human computer interaction
36 Downloads (Pure)

Multi-core Decision Diagrams

van Dijk, T. & van de Pol, J., 2018, Handbook of Parallel Constraint Reasoning. Hamadi, Y. & Sais, L. (eds.). Cham: Springer, p. 509-545 37 p.

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

Open Access
File
Decision Diagrams
Data structures
Model checking
Algorithms and Data Structures
Automated Reasoning
44 Downloads (Pure)

On backstepping boundary control for a class of linear port-Hamiltonian systems

Ramirez, H., Zwart, H., Le Gorrec, Y. & Macchelli, A., 18 Jan 2018, 2017 IEEE 56th Annual Conference on Decision and Control, CDC 2017: CDC 2017. IEEE, p. 658-663 6 p. (2017 IEEE 56th Annual Conference on Decision and Control, CDC 2017; vol. 2018-January).

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

Open Access
File
Backstepping Control
Hamiltonians
Backstepping
Boundary Control
Hamiltonian Systems
1 Downloads (Pure)

Operations research for occupancy modeling at hospital wards and its integration into practice

van de Vrugt, N. M., Schneider, A. J., Zonderland, M. E., Stanford, D. A. & Boucherie, R. J., 2018, Operations Research Applications in Health Care Management. Kahraman, C. & Topcu, Y. I. (eds.). Springer, p. 101-137 37 p. (International Series in Operations Research and Management Science; vol. 262).

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

Operations research
Operations Research
Healthcare
Obstetrics
Health care
1 Citation (Scopus)
22 Downloads (Pure)

Parallel Model Checking Algorithms for Linear-Time Temporal Logic

Barnat, J., Bloemen, V., Duret-Lutz, A., Laarman, A., Petrucci, L., van de Pol, J. & Renault, E., 2018, Handbook of Parallel Constraint Reasoning. Hamadi, Y. & Sais, L. (eds.). Cham: Springer, p. 457-507 51 p.

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

Open Access
File
Temporal logic
Model checking
Temporal Logic
Model Checking
Linear Time

Philosophy of Computation

Konkoli, Z., Stepney, S., Broersma, H., Dini, P., Nehaniv, C. L. & Nichele, S., 20 Jul 2018, Computational Matter. Springer, p. 153-184 (Computational Matter).

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

information processing
machinery
rock
trend
2 Downloads (Pure)

Preface

Bach Tobji, M. A., Jallouli, R., Koubaa, Y. & Nijholt, A., 20 Jul 2018, Digital Economy. Emerging Technologies and Business Innovation: Third International Conference, ICDEc 2018, Brest, France, May 3-5, 2018, Proceedings. Bach Tobji, M. A., Jallouli, R., Koubaa, Y. & Nijholt, A. (eds.). Cham: Springer, p. V-VI 2 p. ( Lecture Notes in Business Information Processing; vol. 325).

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

Open Access
File
Digital economy
Information systems
Business innovation
World Wide Web
Measurement scales
3 Downloads (Pure)

Preface

Nijholt, A., Nam, C. S. & Lotte, F., 9 Jan 2018, Brain-Computer Interfaces Handbook: Technological and Theoretical Advances. Nam, C. S., Nijholt, A. & Lotte, F. (eds.). Oxford, UK: CRC Press, p. xiii 1 p.

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

Open Access
File
Brain
Human engineering

Quantification of macrocirculation and microcirculation in brain using ultrasound perfusion imaging

Vinke, E. J., Eyding, J., de Korte, C., Slump, C. H., van der Hoeven, J. G. & Hoedemaekers, C. W. E., 1 Mar 2018, Intracranial Pressure & Neuromonitoring XVI. Heldt, T. (ed.). Springer, p. 115-120 6 p. (Acta Neurochirurgica Supplement; vol. 126).

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

Perfusion Imaging
Microcirculation
Cerebrovascular Circulation
Ultrasonography
Brain

Recipes for Coffee: Compositional Construction of Jave Control Flow Graphs in GROOVE

Zambon, E. & Rensink, A., 24 Oct 2018, Principled Software Development: Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday. Müller, P. & Schaefer, I. (eds.). Springer, p. 305-323

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

Open Access
File

RS4IoT: a Recommender System for IoT

Barbosa, C. M., Lima Gomes, R., Goncalves Pereira Filho, J. & Moreira, J. L., 30 Aug 2018, Enterprise Interoperability: Smart Services and Business Impact of Enterprise Interoperability. Wiley, p. 225 - 231 7 p.

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

Recommender systems
Sensors
Application programming interfaces (API)
Interoperability
Web services

Security Games with Restricted Strategies: An Approximate Dynamic Programming Approach

Laan, C. M., Barros, A. I., Boucherie, R. & Monsuur, H., 13 Jul 2018, NL ARMS Netherlands Annual Review of Military Studies 2018: Coastal Border Control: From Data and Tasks to Deployment and Law Enforcement. Monsuur, H. (ed.). The Hague: T.M.C. Asser Press, p. 171-191 21 p. (NL ARMS : Netherlands Annual Review of Military Studies).

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

Approximate Dynamic Programming
Game
Stochastic Games
Cell
Requirements

Semantic Interoperability for the IoT: Analysis of JSON for Linked Data

Moreira, J. L., Ferreira Pires, L. & van Sinderen, M. J., Oct 2018, Enterprise Interoperability: Smart Services and Business Impact of Enterprise Interoperability. Zelm, M., Jaekel, F-W., Doumeingts, G. & Wollschlaeger, M. (eds.). Wiley, p. 163-169 7 p. (Systems and Industrial Engineering Series).

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

Interoperability
Semantics
Syntactics
Actuators
Sensors

Semantic Interoperability of Early Warning Systems: a Systematic Literature Review

Moreira, J. L., Ferreira Pires, L., Dockhorn Costa, P. & van Sinderen, M. J., 30 Aug 2018, Enterprise Interoperability: Smart Services and Business Impact of Enterprise Interoperability. Wiley, p. 407 - 413 7 p.

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

Alarm systems
Interoperability
Semantics
Emergency services
Electronic data interchange

SmTIP: A Big Data Intergration Platform for Synchromodal Transport

Singh, P. M., van Sinderen, M. & Wieringa, R., Oct 2018, Enterprise Interoperability: Smart Services and Business Impact of Enterprise Interoperability. Zelm, M., Jaekel, F-W., Doumeingts, G. & Wollschlaeger, M. (eds.). Wiley, p. 187-192 6 p.

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

User interfaces
Decision making
Planning
Big data

Summary: Industrial Big Data Platforms Enabling Enterprise Interoperability for Smart Services

van Sinderen, M. & Gusmeroli, S., Oct 2018, Enterprise Interoperability: Smart Services and Business Impact of Enterprise Interoperability. Zelm, M., Jaekel, F-W., Doumeingts, G. & Wollschlaeger, M. (eds.). Wiley, p. 159-161 3 p. (Systems and Industrial Engineering Series).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Interoperability
Industry
Big data
1 Citation (Scopus)
27 Downloads (Pure)

Symbolically Aligning Observed and Modelled Behaviour

Bloemen, V., van de Pol, J. & van der Aalst, W. M. P., 25 Jun 2018, 2018 18th International Conference on Application of Concurrency to System Design : Proceedings. IEEE, p. 50-59 10 p.

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

Open Access
File
Model checking
Petri nets
Structural properties
Experiments
Costs

Unsupervised Domain Adaptation for Human Activity Recognition

Barbosa, P., Dearo Garcia, K. & Mendes-Moreira, J., 21 Nov 2018, Intelligent Data Engineering and Automated Learning: IDEAL 2018. Springer, p. 623-630 (Lecture Notes in Computer Science; vol. 11314).

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

Unsupervised learning
Learning systems
Experiments
Sensors
Testing

Welcome from the Workshop Chairs

Daneva, M., Marczak, S., Knauss, E. & Madhavji, N., 19 Oct 2018, 2018 IEEE 7th International Workshop on Empirical Requirements Engineering (EmpiRE). 7 ed. IEEE, p. VI-VII

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

2017
1 Downloads (Pure)

Adversarial risks in social experiments with new technologies

Pieters, W. & Dechesne, F., 2017, Experimentation beyond the laboratory: new perspectives on technology. van der Poel, I., Asveld, L. & Mehos, D. C. (eds.). Oxford, UK: Routledge

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

new technology
experiment
actor-network-theory
currency
typology
2 Citations (Scopus)
4 Downloads (Pure)

An aggregation and visualization technique for crowd-sourced continuous monitoring of transport infrastructures

Seraj, F., Meratnia, N. & Havinga, P. J. M., 2 May 2017, 2017 IEEE International Conference on Pervasive Computing and Communications Workshops, PerCom Workshops 2017. Piscataway, NJ: IEEE, p. 219-224 6 p.

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

Agglomeration
Visualization
Health
Monitoring
Smartphones

Appendix B: Dichotomy and Criteria

Boucherie, R. & van Dijk, N. M., 2017, Markov Decision in Practice. Boucherie, R. J. & van Dijk, N. M. (eds.). Springer, p. 549-550 (International Series in Operations Research & Management Science; vol. 248).

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

Uniformization
Dichotomy
Performance Measures
Continuous Time
Table

Assessing the gaming experience of an applied game for rehabilitation of the arm and hand function: A feasibility study

Kottink, A. I. R., Prange-Lasonder, G. B., Rietman, J. S. & Buurke, J. H., 2017, Converging Clinical and Engineering Research on Neurorehabilitation II: Proceedings of the 3rd International Conference on NeuroRehabilitation (ICNR2016), October 18-21, 2016, Segovia, Spain. Ibánez, J., González-Vargas, J., Azorín, J. M., Akay, M. & Pons, J. L. (eds.). Springer, Vol. 15. p. 389-393 5 p. (Biosystems & Biorobotics; vol. 15).

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

Patient rehabilitation
Brain
Serious games
1 Citation (Scopus)

Automated Fingerprint Identification Systems: From Fingerprints to Fingermarks

Maltoni, D., Cappelli, R. & Meuwly, D., 3 Feb 2017, Handbook of Biometrics for Forensic Science. Tistarelli, M. & Champod, C. (eds.). Springer, p. 37-61 25 p. (Advances in Computer Vision and Pattern Recognition).

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

Identification (control systems)
2 Citations (Scopus)

Blood platelet inventory management

Haijema, R., van Dijk, N. M. & van der Wal, J., 2017, Markov Decision Processes in Practice. Boucherie, R. J. & van Dijk, N. M. (eds.). Cham: Springer, p. 293-317 25 p. (International Series in Operations Research; vol. 248).

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

Inventory management
Stochastic dynamic programming
Holidays
Optimal policy
Simulation
2 Downloads (Pure)

Boosting Fault Tree Analysis by Formal Methods

Katoen, J. P. & Stoelinga, M. I. A., 15 Oct 2017, ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. Katoen, J-P., Langerak, R. & Rensink, A. (eds.). p. 368-380 (Lecture notes in computer science; vol. 10500).

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

Fault tree analysis
Formal methods
Aerospace applications
Process engineering
Nuclear energy
54 Downloads (Pure)

Computational Modeling of Complex Protein Activity Networks

Schivo, S., Leijten, J., Karperien, M. & Post, J. N., 29 Nov 2017, Protein Phosphorylation. Prignet, C. (ed.). IntechOpen, p. 155-178 24 p.

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

Open Access
File
Computational Modeling
Computer Simulation
Molecular interactions
Proteins
Protein
3 Citations (Scopus)

Continuum Modeling of Biological Network Formation

Albi, G., Burger, M., Haskovec, J., Markowich, P. & Schlottbom, M., 2017, Active Particles, Volume 1: Advances in Theory, Models, and Applications. Bellomo, N., Degond, P. & Tadmor, E. (eds.). Springer, Vol. 1. p. 1-48 (Modeling and Simulation in Science, Engineering and Technology ).

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

continuum modeling
pulse detonation engines
transportation networks
pressure distribution
partial differential equations
2 Citations (Scopus)

Detecting obstructive sleep apnea in children by self-affine visualization of oximetry

Garde, A., Dekhordi, P., Petersen, C. L., Ansermino, J. M. & Dumont, G. A., 13 Sep 2017, 39th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBS 2017). IEEE, p. 3757-3760 4 p.

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

Oximetry
Polysomnography
Obstructive Sleep Apnea
Waiting Lists
Growth and Development
186 Downloads (Pure)

Discretization of Continuous Dynamical Systems Using UPPAAL

Schivo, S. & Langerak, R., 27 Sep 2017, ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. Katoen, J-P., Langerak, R. & Rensink, A. (eds.). Springer, p. 297-315 19 p. (Lecture Notes in Computer Science; vol. 10500).

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

Open Access
File
Dynamical systems
Differential equations
Model checking