VU Research Institutes

Research Output 1973 2021

Filter
Conference contribution
2020

Adapting to an Emerging Social Media Landscape: : The Rise of Informalization of Company Communication in Tourism

Dijkmans, C., Kerkhof, P. & Beukeboom, C., 2020, Information and Communication Technologies in Tourism 2020: Proceedings of the International Conference in Surrey, United Kingdom, January 08–10, 2020. Neidhardt, J. & Wörndl, W. (eds.). Cham: Springer, p. 3-14

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

Open Access
File
Social media
Tourism
Communication
Tourism industry
Factors

An Adaptive Cognitive Temporal-Causal Network Model of a Mindfulness Therapy Based on Humor

Mohammadi Ziabari, S. S. & Treur, J., 1 Jan 2020, Information Systems and Neuroscience - NeuroIS Retreat 2019: NeuroIS Retreat 2019. Davis, F. D., Riedl, R., vom Brocke, J., Léger, P-M., Randolph, A. & Fischer, T. (eds.). Springer, p. 189-201 13 p. (Lecture Notes in Information Systemsand Organisation; vol. 32).

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

Open Access
Mindfulness
Network model
Therapy
Wikipedia
Movies

Confuzz—a concurrency fuzzer

Vinesh, N., Rawat, S., Bos, H., Giuffrida, C. & Sethumadhavan, M., 1 Jan 2020, 1st International Conference on Sustainable Technologies for Computational Intelligence- Proceedings of ICTSCI 2019. Luhach, A. K., Kosa, J. A., Poonia, R. C., Gao, X-Z. & Singh, D. (eds.). Springer, p. 667-691 25 p. (Advances in Intelligent Systems and Computing; vol. 1045).

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

Static analysis
Data storage equipment
Uncertainty

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

Employees
Developer
Communication style
Customer service
Online communication

Do maternal sensitivity and cognitive stimulation during infancy predict executive functions and motor skills in early childhood?

van Setten, L., Ledebt, A., Tharner, A., Oosterman, M., Savelsbergh, G., Schuengel, C. & de Moor, M. H. M., 2020, (Accepted/In press) ICIS.

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

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

Throwhammer: Rowhammer attacks over the network and defenses

Tatar, A., Konoth, R. K., Giuffrida, C., Bos, H., Athanasopoulos, E. & Razavi, K., 1 Jan 2020, Proceedings of the 2018 USENIX Annual Technical Conference, USENIX ATC 2018. USENIX Association, p. 213-225 13 p. (Proceedings of the 2018 USENIX Annual Technical Conference, USENIX ATC 2018).

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

Data storage equipment
Packet networks
Dynamic random access storage
Websites
Servers
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 boxology of design patterns for hybrid learning and reasoning systems

van Harmelen, F. & Ten Teije, A., 8 Nov 2019, BNAIC/BENELEARN 2019 Proceedings of the Reference AI & ML Conference for Belgium, Netherlands & Luxemburg : Proceedings of the 31st Benelux Conference on Artificial Intelligence (BNAIC 2019) and the 28th Belgian Dutch Conference on Machine Learning (Benelearn 2019) Brussels, Belgium, November 6-8, 2019. Beuls, K., Bogaerts, B., Bontempi, G., Geurts, P., Harley, N., Lebichot, B., Lenaerts, T., Louppe, G. & Van Eecke, P. (eds.). CEUR-WS, p. 1-2 2 p. (CEUR Workshop Proceedings; vol. 2491).

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

Knowledge engineering
Knowledge representation
Computer science
Learning systems
Software engineering

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 model of myelin excess for patients with post-traumatic stress disorder

Langbroek, J., Treur, J. & Mohammadi Ziabari, S. S., 2019, Artificial Intelligence and Soft Computing: 18th International Conference, ICAISC 2019, Zakopane, Poland, June 16–20, 2019, Proceedings. Tadeusiewicz, R., Pedrycz, W., Rutkowski, L., Scherer, R., Korytkowski, M. & Zurada, J. M. (eds.). Springer Verlag, Vol. 2. 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

Open Access
Computational Model
Excess
Disorder
Brain
Health

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

Open Access
Neurons
Chemical activation
Factorization
Plasticity
Brain

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., 2019, Algorithmic Aspects of Cloud Computing: 4th International Symposium, ALGOCLOUD 2018, Revised Selected Papers. Verykios, V. S. & Disser, Y. (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

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

Aligning DMBOK and open government with the FAIR data principles

de Figueiredo, G. B., Moreira, J. L. R., de Faria Cordeiro, K. & Campos, M. L. M., 2019, Advances in Conceptual Modeling: ER 2019 Workshops FAIR, MREBA, EmpER, MoBiD, OntoCom, and ER Doctoral Symposium Papers, Salvador, Brazil, November 4–7, 2019, Proceedings. Guizzardi, G., Gailly, F. & Suzana Pitangueira Maciel, R. (eds.). Springer, p. 13-22 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11787 LNCS).

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

Information management
Data Management
Industry
Life cycle
Government

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 Temporal-Causal Model for Extreme Emotion Extinction Using Psilocybin

Mohammadi Ziabari, S. S. & Treur, J., 2019, Computational Statistics and Mathematical Modeling Methods in Intelligent Systems: Proceedings of 3rd Computational Methods in Systems and Software 2019. Silhavy, R., Silhavy, P. & Prokopova, Z. (eds.). Springer, Vol. 2. p. 176-186 11 p. (Advances in Intelligent Systems and Computing; vol. 1047).

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

Open Access
Brain

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

Analysing visitor flow using a bluetooth positioning system

Van Den Ham, P., Bredeweg, B. & Raijmakers, M., 8 Nov 2019, BNAIC/BENELEARN 2019 - Proceedings of the Reference AI & ML Conference for Belgium, Netherlands & Luxemburg: Proceedings of the 31st Benelux Conference on Artificial Intelligence (BNAIC 2019) and the 28th Belgian Dutch Conference on Machine Learning (Benelearn 2019) Brussels, Belgium, November 6-8, 2019. Beuls, K., Bogaerts, B., Bontempi, G., Geurts, P., Harley, N., Lebichot, B., Lenaerts, T., Louppe, G. & Van Eecke, P. (eds.). CEUR-WS, p. 1-2 2 p. (CEUR Workshop Proceedings; vol. 2491).

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

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 - 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

Anticiperen op een delegatiegrondslag?

Zijlstra, S. E., 1 Dec 2019, De wetsfiguur. Keppel, M. & Van Arnhem, T. (eds.). Tilburg: Wolf Legal Publishers (WLP), p. 3-10 8 p.

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

Apex: A High-Performance Hierarchical Distributed Ledger

Makkes, M. X. & Diebels, R., 23 Dec 2019, 2019 Sixth International Conference on Internet of Things: Systems, Management and Security (IOTSMS). Alsmirat, M. & Jararweh, Y. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 466-473 8 p. 8939189

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

Intellectual property
Throughput
Costs
Industry
High performance

Approximate Multi-matroid Intersection via Iterative Refinement

Linhares, A., Olver, N., Swamy, C. & Zenklusen, R., 2019, Integer Programming and Combinatorial Optimization: 20th International Conference, IPCO 2019, Ann Arbor, MI, USA, May 22–24, 2019, Proceedings. Nagarajan, V. & Lodi, A. (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

Approximate pricing in networks: How to boost the betweenness and revenue of a node

Brokkelkamp, R., Polak, S., Schäfer, G. & Velaj, Y., Dec 2019, 30th International Symposium on Algorithms and Computation (ISAAC 2019). Lu, P. & Zhang, G. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-15 15 p. 13. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 149).

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

Costs
Approximation algorithms
Taxation
Directed graphs
Computational complexity

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 Robot Math Tutor that Gives Feedback

Hindriks, K. V. & Liebens, S., 2019, Social Robotics: 11th International Conference, ICSR 2019, Madrid, Spain, November 26–29, 2019, Proceedings. Salichs, M. A., Ge, S. S., Barakova, E. I., Cabibihan, J-J., Wagner, A. R., Castro-González, Á. & He, H. (eds.). Springer, p. 601-610 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11876 LNAI).

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

Robot
Robots
Design Patterns
Feedback
Interaction Design

A serious game for training verbal resilience to doorstep scams

van der Lubbe, L. M., Gerritsen, C., Formolo, D., Otte, M. & Bosse, T., 2019, Games and Learning Alliance: 7th International Conference, GALA 2018, Palermo, Italy, December 5–7, 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

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., 2019, Business Information Systems: 22nd International Conference, BIS 2019, Seville, Spain, June 26–28, 2019, Proceedings. Abramowicz, W. & Corchuelo, R. (eds.). Springer Verlag, Vol. 1. 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

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

Body armor for binaries: Preventing buffer overflows without recompilation

Slowinska, A., Stancescu, T. & Bos, H., Jun 2019, Proceedings of the 2012 USENIX Annual Technical Conference, USENIX ATC 2012. Boston: USENIX Association, p. 125-137 13 p. (Proceedings of the 2012 USENIX Annual Technical Conference, USENIX ATC 2012).

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

Armor
Data storage equipment

Body symmetry in morphologically evolving modular robots

van de Velde, T., Rossi, C. & Eiben, A. E., 2019, Applications of Evolutionary Computation: 22nd International Conference, EvoApplications 2019, Held as Part of EvoStar 2019, Leipzig, Germany, April 24–26, 2019, Proceedings. Castillo, P. A. & Kaufmann, P. (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).

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

Bringing third and second harmonic generation microscopy into the clinic for the assessment of fresh lung tissue

Van Huizen, L. M. G., Seinstra, D., Dickhoff, C., Radonic, T., Bahce, I., Van Mourik, F., Annema, J. T., Daniels, J. M. A., Van Boven, W. J. P. & Groot, M. L., 22 Jul 2019, Medical Laser Applications and Laser-Tissue Interactions IX. Lilge, L. D. & Philipp, C. M. (eds.). SPIE, 110790J. (Progress in Biomedical Optics and Imaging - Proceedings of SPIE; vol. 11079).

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

Harmonic generation
lungs
Microscopy
harmonic generations
Microscopic examination

Budget-feasible mechanism design for non-monotone submodular objectives: Offline and online

Amanatidis, G., Kleer, P. & Schäfer, G., 17 Jun 2019, ACM EC 2019 - Proceedings of the 2019 ACM Conference on Economics and Computation. Association for Computing Machinery, Inc, p. 901-919 19 p.

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

Mechanism Design
Approximation
Valuation
Polynomials
Polynomial time

Chamulteon: Coordinated auto-scaling of micro-services

Bauer, A., Lesch, V., Versluis, L., Ilyushkin, A., Herbst, N. & Kounev, S., 31 Oct 2019, 2019 39th IEEE International Conference on Distributed Computing Systems, ICDCS 2019. Institute of Electrical and Electronics Engineers Inc., p. 2015-2025 11 p. 8885153. (Proceedings - International Conference on Distributed Computing Systems; vol. 2019-July).

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

Elasticity
Internet
Experiments

Characterization of a big data storage workload in the cloud

Talluri, S., Abad, C. L., Łuszczak, A. & Iosup, A., 4 Apr 2019, ICPE 2019 - Proceedings of the 2019 ACM/SPEC International Conference on Performance Engineering. New York, NY: Association for Computing Machinery, Inc, p. 33-44 12 p.

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

Open Access
File
Electric sparks
Tuning
Systems analysis
Big data