Vrije Universiteit Amsterdam

  • De Boelelaan

    Amsterdam

    Netherlands

Research Output 1880 2021

Filter
Conference contribution
2020

Creating Humanlike Chatbots: What Chatbot Developers Could Learn From Webcare Employees In Adopting A Conversational Human Voice

Liebrecht, C. & van Hooijdonk, C., 15 Jan 2020, Proceedings of CONVERSATIONS 2019. Springer LNCS, Vol. 11970.

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

Developer
Employees
Communication style
Experiment
Automation

Defining and classifying infrastructural contestation: Towards a synergy between anthropology and data science

Giovanopoulos, C., Kallianos, Y., Athanasiadis, I. & Dalakoglou, D., 2020, Proceedings ISESS 2020 conference, IFIP AICT . Cham: Springer, Cham, Vol. 554. 17 p. (IFIP Advances in Information and Communication Technology; vol. 554).

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

synergy
anthropology
social infrastructure
industrial revolution
science

Letting off STEAM: Distributed Runtime Traffic Scheduling for Service Function Chaining

Blöcher, M., Khalili, R., Wang, L. & Eugster, P., 2020, (Accepted/In press) IEEE International Conference on Computer Communications: INFOCOM.

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

2019

[Demo] low-latency spark queries on updatable data

Uta, A., Ghit, B., Dave, A. & Boncz, P., 25 Jun 2019, SIGMOD 2019 - Proceedings of the 2019 International Conference on Management of Data. Association for Computing Machinery, p. 2009-2012 4 p. (Proceedings of the ACM SIGMOD International Conference on Management of Data).

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

Query processing
Electric sparks

A bottleneck with randomly distorted arrival times

Van Leeuwen, D., Ravner, L., Ghazanfari, S. & Queija, R. N., 12 Mar 2019, Proceedings of the 12th EAI International Conference on Performance Evaluation Methodologies and Tools, VALUETOOLS 2019. Association for Computing Machinery, p. 55-62 8 p.

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

Numerical analysis
Mechanics
Uncertainty

A business ecosystem architecture modeling framework

Wieringa, R., Engelsman, W., Gordijn, J. & Ionita, D., 22 Aug 2019, Proceedings - 21st IEEE Conference on Business Informatics, CBI 2019. Novikov, D. & Becker, J. (eds.). Institute of Electrical and Electronics Engineers Inc., Vol. 1. p. 147-156 10 p. 8808048

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

Ecosystem
Ecosystems
Enterprise Architecture
Modeling
Industry

A cognitive temporal-causal network model of hormone therapy

Mohammadi Ziabari, S. S., 2019, Computational Collective Intelligence: 11th International Conference, ICCCI 2019 Hendaye, France, September 4–6, 2019, Proceedings - Part I. Nguyen, N. T., Chbeir, R., Exposito, E., Aniorté, P., Trawinski, B. & Nguyen, N. T. (eds.). Springer Verlag, Vol. 1. p. 650-660 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11683 LNAI).

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

Causal Model
Estrogen
Hormones
Network Model
Therapy

A communicative robot to learn about us and the world

Vossen, P., Baez Santamaria, S., Bajc̆etić, L., Bašić, S. & Kraaijeveld, B., 2019, Proceedings of the Russian Conference on Computational Linguistics : DIALOGUE2019, Moscow, Russia, May 29 – June 1, 2019. Moscow

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

Robots

A computational analysis of psychopathy based on a network-oriented modeling approach

van Dijk, F. W. & Treur, J., 2019, Distributed Computing and Artificial Intelligence, 15th International Conference [2018]. Fernandez-Caballero, A., De La Prieta, F. & Omatu, S. (eds.). Springer Verlag, p. 344-356 13 p. (Advances in Intelligent Systems and Computing; vol. 800).

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

Open Access
Decision making
Networks (circuits)

A computational model of myelin excess for patients with post-traumatic stress disorder

Langbroek, J., Treur, J. & Mohammadi Ziabari, S. S., 1 Jan 2019, Artificial Intelligence and Soft Computing - 18th International Conference, ICAISC 2019, Proceedings. Pedrycz, W., Tadeusiewicz, R., Zurada, J. M., Rutkowski, L., Scherer, R. & Korytkowski, M. (eds.). Springer Verlag, p. 203-215 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11509 LNAI).

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

Computational Model
Excess
Disorder
Brain
Health

A cost–benefit analysis for developing item banks in higher education

Draaijer, S., 2019, Technology Enhanced Assessment: 21st International Conference, TEA 2018, Amsterdam, The Netherlands, December 10–11, 2018, Revised Selected Papers. Draaijer, S., Ras, E. & Joosten-ten Brinke, D. (eds.). Springer Verlag, p. 165-179 15 p. (Communications in Computer and Information Science; vol. 1014).

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

Cost-benefit Analysis
Higher Education
Education
Misclassification
Costs

A CPU contention predictor for business-critical workloads in cloud datacenters

Van Beek, V., Oikonomou, G. & Iosup, A., 8 Aug 2019, Proceedings - 2019 IEEE 4th International Workshops on Foundations and Applications of Self* Systems, FAS*W 2019. Institute of Electrical and Electronics Engineers Inc., p. 56-61 6 p. 8791987

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

Contention
Program processors
Workload
Predictors
Resources

Adaptive Network Modeling for Criterial Causation

Treur, J., 10 Dec 2019, Complex Networks and Their Applications VIII: Proceedings of the Eighth International Conference on Complex Networks and Their Applications COMPLEX NETWORKS 2019. Cherifi, H., Gaito, S., Mendes, J. F., Moro, E. & Rocha, L. M. (eds.). Springer, Vol. 2. p. 827-841 15 p. (Studies in Computational Intelligence ; vol. 882).

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

Neurons
Chemical activation
Factorization
Plasticity
Brain

A formal proof of Hensel's lemma over the p-adic integers

Lewis, R. Y., 14 Jan 2019, CPP 2019 - Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with POPL 2019. Mahboubi, A. (ed.). Association for Computing Machinery, Inc, p. 15-26 12 p.

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

Number theory
Polynomials

A Framework for Citing Nanopublications

Fabris, E., Kuhn, T. & Silvello, G., 2019, Digital Libraries for Open Knowledge: 23rd International Conference on Theory and Practice of Digital Libraries, TPDL 2019, Proceedings. Doucet, A., Isaac, A., Golub, K., Aalberg, T. & Jatowt, A. (eds.). Springer Verlag, p. 70-83 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11799 LNCS).

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

Citations
Metadata
Open Source
Schema
Encoding

A Fully Polynomial Time Approximation Scheme for Packing While Traveling

Neumann, F., Polyakovskiy, S., Skutella, M., Stougie, L. & Wu, J., 1 Jan 2019, Algorithmic Aspects of Cloud Computing - 4th International Symposium, ALGOCLOUD 2018, Revised Selected Papers. Disser, Y. & Verykios, V. S. (eds.). Springer Verlag, p. 59-72 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11409 LNCS).

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

Fully Polynomial Time Approximation Scheme
Memory architecture
Computer architecture
Combinatorial optimization
Dynamic programming

Aggregation of Linked Data: A case study in the cultural heritage domain

Freire, N., Meijers, E., De Valk, S., Voorburg, R., Isaac, A. & Cornelissen, R., 22 Jan 2019, Proceedings - 2018 IEEE International Conference on Big Data, Big Data 2018. Song, Y., Liu, B., Lee, K., Abe, N., Pu, C., Qiao, M., Ahmed, N., Kossmann, D., Saltz, J., Tang, J., He, J., Liu, H. & Hu, X. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 522-527 6 p. 8622348

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

Metadata
Agglomeration
Digital libraries
Data integration
Data structures

A learning-based framework for optimizing service migration in mobile edge clouds

Brandherm, F., Wang, L. & Mühlhäuser, M., 25 Mar 2019, EdgeSys 2019 - Proceedings of the 2nd ACM International Workshop on Edge Systems, Analytics and Networking, Part of EuroSys 2019. Association for Computing Machinery, Inc, p. 12-17 6 p.

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

Reinforcement learning
Costs

A Modeling Environment for Reified Temporal-Causal Networks Modeling Plasticity and Metaplasticity in Cognitive Agent Models

Treur, J., Oct 2019, PRIMA 2019: Principles and Practice of Multi-Agent Systems: 22nd International Conference, Turin, Italy, October 28–31, 2019, Proceedings. Baldoni, M., Dastani, M., Liao, B., Sakurai, Y. & Wenkstern, R. Z. (eds.). Springer, p. 487-495 (Lecture Notes in Computer Science book series (LNCS); vol. 11873)(Lecture Notes in Artificial Intelligence book sub series (LNAI); vol. 11873).

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

Open Access
Plasticity
Brain

A Multimodal Chatbot System for Enhancing Social Skills Training for Security Guards

de Bever, S., Formolo, D., Wang, S. & Bosse, T., Jul 2019, Human-Computer Interaction. Perspectives on Design: Thematic Area, HCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings. Kurosu, M. (ed.). Springer Verlag, Vol. 1. p. 499-513 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11566 LNCS).

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

Dialogue Systems
Customers
Enhancement
Experiments
Experiment

An Adaptive Cognitive Agent Model for Development of a Hoarding Disorder and Recovery from it by Therapy

Italiaander, A. & Treur, J., Oct 2019, PRIMA 2019: Principles and Practice of Multi-Agent Systems: 22nd International Conference, Turin, Italy, October 28–31, 2019, Proceedings. Baldoni, M., Dastani, M., Liao, B., Sakurai, Y. & Wenkstern, R. Z. (eds.). Springer, p. 635-643 9 p. (Lecture Notes in Computer Science book series (LNCS); vol. 11873)(Lecture Notes in Artificial Intelligence book sub series (LNAI); vol. 11873).

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

Open Access
Recovery
Experiments

An Adaptive Cognitive Temporal-Causal Model for Extreme Emotion Extinction Using Psilocybin

Mohammadi Ziabari, S. S. & Treur, J., 2019, Proc. of the 3rd International Conference on Computational Methods in Systems and Software, CoMeSySo'19.

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

An Adaptive Cognitive Temporal-Causal Network Model of a Mindfulness Therapy Based on Humor, NeuroIS Retreat, June 4-6, Vienna, Austria, 2019.

Mohammadi Ziabari, S. S., 2019, NeuroIS Retreat, June 4-6, Vienna, Austria, 2019..

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

An adaptive temporal-causal network for representing changing opinions on music releases

van Gerwen, S., van Meurs, A. & Treur, J., 2019, Distributed Computing and Artificial Intelligence, 15th International Conference [2018]. Fernandez-Caballero, A., De La Prieta, F. & Omatu, S. (eds.). Springer Verlag, p. 357-367 11 p. (Advances in Intelligent Systems and Computing; vol. 800).

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

Open Access
Tuning
Experiments

An Adaptive Temporal-Causal Network Model for Stress Extinction Using Fluoxetine

Mohammadi Ziabari, S. S., 2019, Artificial Intelligence Applications and Innovations: 15th IFIP WG 12.5 International Conference, AIAI 2019, Hersonissos, Crete, Greece, May 24–26, 2019, Proceedings. Iliadis, L., Maglogiannis, I., MacIntyre, J. & Pimenidis, E. (eds.). Springer New York LLC, p. 107-119 13 p. (IFIP Advances in Information and Communication Technology; vol. 559).

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

Network model
Extinction
Therapy
Drugs
Medicine

A Network Model for the Influence of Myelin Excess in Patients with Post-Traumatic Stress Disorder

Langbroek, J., Treur, J. & Mohammadi Ziabari, S. S., 15 Mar 2019, (Accepted/In press) Proc. of the 18th International Conference on Artificial Intelligence and Soft Computing. . Springer, (Lecture Notes in AI).

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

Open Access
Post-Traumatic Stress Disorders
Myelin Sheath
Brain
Oligodendroglia
Fear

An extensible data-driven approach for evaluating the quality of microservice architectures

Cardarelli, M., Di Salle, A., Iovino, L., Malavolta, I., Di Francesco, P. & Lago, P., 8 Apr 2019, Proceedings of the 34th Annual ACM/SIGAPP Symposium on Applied Computing, SAC 2019, Limassol, Cyprus, April 08-12, 2019. Limassol: ACM, p. 1225-1234 10 p.

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

Ecosystems
Maintainability
Scalability
Agglomeration
Productivity

A Nichesourcing Framework applied to Software Sustainability Requirements

Condori-Fernandez, N., Lago, P., Luaces, M. & Catala, A., 21 Oct 2019, RCIS 2019 - IEEE 13th International Conference on Research Challenges in Information Science: Towards a Design Science for Information Systems. Kolp, M., Vanderdonckt, J., Snoeck, M. & Wautelet, Y. (eds.). IEEE Computer Society, 8877000. (Proceedings - International Conference on Research Challenges in Information Science; vol. 2019-May).

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

Sustainable development
Software engineering
Economics

An Online Market Mechanism for Edge Emergency Demand Response via Cloudlet Control

Chen, S., Jiao, L., Wang, L. & Liu, F., 1 Apr 2019, INFOCOM 2019 - IEEE Conference on Computer Communications. Institute of Electrical and Electronics Engineers Inc., p. 2566-2574 9 p. 8737574. (IEEE Conference Proceedings).

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

Cost functions
Quality of service
Energy utilization
Switches
Degradation

Approximate Multi-matroid Intersection via Iterative Refinement

Linhares, AE., Olver, N., Swamy, C. & Zenklusen, R., 1 Jan 2019, Integer Programming and Combinatorial Optimization - 20th International Conference, IPCO 2019, Proceedings. Lodi, A. & Nagarajan, V. (eds.). Springer Verlag, p. 299-312 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11480 LNCS).

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

Matroid Intersection
Iterative Refinement
Matroid
Rounding
Integrality

Architecture design decision maps for software sustainability

Lago, P., 15 Aug 2019, 2019 IEEE/ACM 41st International Conference on Software Engineering: Software Engineering in Society, ICSE-SEIS 2019. Institute of Electrical and Electronics Engineers Inc., p. 61-64 4 p. 8797634. (Proceedings - 2019 IEEE/ACM 41st International Conference on Software Engineering: Software Engineering in Society, ICSE-SEIS 2019).

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

Open Access
File
Sustainable development
sustainability
software
Economics
Software design

A reference architecture for datacenter scheduling: Design, validation, and experiments

Andreadis, G., Versluis, L., Mastenbroek, F. & Iosup, A., 11 Mar 2019, Proceedings - International Conference for High Performance Computing, Networking, Storage, and Analysis, SC 2018. Institute of Electrical and Electronics Engineers Inc., p. 478-492 15 p. 8665816

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

Scheduler
Scheduling
Experiment
Experiments
Scheduling Policy

A serious game for training verbal resilience to doorstep scams

van der Lubbe, L. M., Gerritsen, C., Formolo, D., Otte, M. & Bosse, T., 1 Jan 2019, Games and Learning Alliance - 7th International Conference, GALA 2018, Proceedings. Söbke, H., Gentile, M. & Allegra, M. (eds.). Springer - Verlag, p. 110-120 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11385 LNCS).

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

Open Access
File
Serious Games
Resilience
Feedback
Speech recognition
Virtual Characters

A social network model for integration of refugees

Curi, F., Nikolopoulos, D. & De Mello Araújo, E. F., 31 Jul 2019, SIMULTECH 2019: Proceedings of the 9th International Conference on Simulation and Modeling Methodologies, Technologies and Applications. Obaidat, M., Obaidat, M., Oren, T. & Szczerbicka, H. (eds.). SciTePress, Vol. 1. p. 165-175 11 p.

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

Social Networks
Network Model
Social Network Analysis
Vertex of a graph
Electric network analysis

A spectrally resolved single-shot wavefront sensor for broadband high-harmonic generation sources

Liu, X., Jansen, M., De Beurs, A., Eikema, K. & Witte, S., 17 Oct 2019, 2019 Conference on Lasers and Electro-Optics Europe and European Quantum Electronics Conference, CLEO/Europe-EQEC 2019. Institute of Electrical and Electronics Engineers Inc., 8872611. (2019 Conference on Lasers and Electro-Optics Europe and European Quantum Electronics Conference, CLEO/Europe-EQEC 2019).

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

Wavefronts
Harmonic generation
shot
harmonic generations
broadband

Assessing the effect of learning styles on risk model comprehensibility: A controlled experiment (short paper)

Labunets, K. & Condori-Fernandez, N., 18 Mar 2019, 2019 Joint of International Conference on Requirements Engineering: Foundation for Software Quality Workshops, Doctoral Symposium, Live Studies Track, and Poster Track, REFSQ-JP 2019. CEUR-WS, Vol. 2376. (CEUR Workshop Proceedings).

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

Open Access
Experiments
Communication

A Temporal-Causal Modeling Approach to the Dynamics of a Burnout and the Role of Physical Exercise

Dujmić, Z., Machielse, E. & Treur, J., 2019, Biologically Inspired Cognitive Architectures 2018: Proceedings of the 9th International Conference on Biologically Inspired Cognitive Architectures, BICA'18. Samsonovich, A. V. (ed.). Springer Verlag, p. 88-100 13 p. (Advances in Intelligent Systems and Computing; vol. 848).

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

Open Access
Tuning
Experiments

A Temporal-Causal Modelling Approach to Analyse the Dynamics of Burnout and the Effects of Sleep

von Kentzinsky, H., Wijtsma, S. & Treur, J., 25 Feb 2019, Proceedings of the Fourth International Congress on Information and Communication Technology, ICICT'19. . Springer, (Advances in Intelligent Systems and Computing).

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

Open Access
Recovery
Sleep

A temporal-causal network model for age and gender difference in choice of emotion regulation strategies

Gao, Z., Liu, R. & Ullah, N., 2019, Computational Collective Intelligence: 11th International Conference, ICCCI 2019, Hendaye, France, September 4–6, 2019, Proceedings - Part I. Nguyen, N. T., Chbeir, R., Exposito, E., Aniorté, P., Trawinski, B. & Nguyen, N. T. (eds.). Springer Verlag, Vol. 1. p. 106-117 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11683 LNAI).

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

Gender Differences
Causal Model
Network Model
Computational Model
Emotion

A Temporal Cognitive Model of The Influence of Methylphenidate (Ritalin) on Test Anxiety

Mohammadi Ziabari, S. S., 25 Feb 2019, Proceedings of the Fourth International Congress on Information and Communication Technology, ICICT'19. Springer, (Advances in Intelligent Systems and Computing).

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

Attributes assessing the quality of microservices automatically decomposed from monolithic applications

Cojocaru, M. D., Oprescu, A. & Uta, A., 3 Jun 2019, Proceedings - 2019 18th International Symposium on Parallel and Distributed Computing, ISPDC 2019. Iosup, A., Pop, F., Prodan, R. & Uta, A. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 84-93 10 p. 8790889

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

Industry
Service oriented architecture (SOA)
Software engineering
Decomposition
Quality attributes

Automated Prediction of Relevant Key Performance Indicators for Organizations

Aksu, Ü., Schunselaar, D. M. M. & Reijers, H. A., 1 Jan 2019, Business Information Systems - 22nd International Conference, BIS 2019, Proceedings. Corchuelo, R. & Abramowicz, W. (eds.). Springer Verlag, p. 283-299 17 p. (Lecture Notes in Business Information Processing; vol. 353).

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

Performance Indicators
Prediction
Enterprise software
Software
Key performance indicators

Automatic classification of strike techniques using limb trajectory data

Soekarjo, K. M. W., Orth, D., Warmerdam, E. & van der Kamp, J., 2019, Machine Learning and Data Mining for Sports Analytics: 5th International Workshop, MLSA 2018, Co-located with ECML/PKDD 2018, Proceedings. Brefeld, U., Van Haaren, J., Zimmermann, A. & Davis, J. (eds.). Springer Verlag, p. 131-141 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11330 LNAI).

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

Trajectories
Trajectory
Supervised Classification
Nearest Neighbor
Classify

A verified prover based on ordered resolution

Schlichtkrull, A., Blanchette, J. C. & Traytel, D., 14 Jan 2019, CPP 2019 - Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with POPL 2019. Mahboubi, A. (ed.). Association for Computing Machinery, Inc, p. 152-165 14 p.

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

Specifications

Aves: A Framework for Energy-efficient Stream Analytics across Low-power Devices

Bharath Das, R., Makkes, M., Uta, A., Wang, L. & Bal, H., Dec 2019, (Accepted/In press) IEEE Big Data 2019. IEEE Computer Society

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

Bayesian Best-Arm Identification for Selecting Influenza Mitigation Strategies

Libin, P., Verstraeten, T., Roijers, D. M., Grujic, J., Theys, K., Lemey, P. & Nowé, A., 2019, ECML PKDD 2018 Machine Learning and Knowledge Discovery in Databases: European Conference, ECML PKDD 2018, Dublin, Ireland, September 10–14, 2018, Proceedings. Brefeld, U. (ed.). Springer, Vol. 3. p. 456-471 16 p. (Lecture Notes in Computer Science; vol. 11053).

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

Sampling
Curbs
Decision making
Statistics
Experiments

Benefits of Social Learning in Physical Robots

Heinerman, J., Bussmann, B., Groenendijk, R., Krieken, E. V., Slik, J., Tezza, A., Haasdijk, E. & Eiben, A. E., 28 Jan 2019, Proceedings of the 2018 IEEE Symposium Series on Computational Intelligence, SSCI 2018. Sundaram, S. (ed.). Institute of Electrical and Electronics Engineers Inc., p. 851-858 8 p. 8628857

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

Social Learning
Robot
Robots
Controllers
Robot learning

Better Late than Never: A Multilayer Network Model using Metaplasticity for Emotion Regulation Strategies

Ullah, N. & Treur, J., 10 Dec 2019, Complex Networks and Their Applications VIII: Proceedings of the Eighth International Conference on Complex Networks and Their Applications COMPLEX NETWORKS 2019. Cherifi, H., Gaito, S., Mendes, J. F., Moro, E. & Rocha, L. M. (eds.). Springer, Vol. 2. p. 697-708 12 p. (Studies in Computational Intelligence; vol. 882).

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

Plasticity
Multilayers
Health

Body symmetry in morphologically evolving modular robots

van de Velde, T., Rossi, C. & Eiben, A. E., 1 Jan 2019, Applications of Evolutionary Computation - 22nd International Conference, EvoApplications 2019, Held as Part of EvoStar 2019, Proceedings. Kaufmann, P. & Castillo, P. A. (eds.). Springer Verlag, p. 583-598 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11454 LNCS).

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

Modular robots
Animals
Robot
Earth (planet)
Robots

Breaking with the traditional Ottoman tafsīr curriculum? Al-Qāsimī’s Tamhīd khaṭīr fī qawāʿid al-tafsīr in the context of late-Ottoman Arabism

Coppens, P., 2019, Osmanlı'da İlm-i Tefsir. Boyalık, M. T. & Abacı, H. (eds.). Istanbul: İSAR Yayınları, p. 13-34 21 p.

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