• De Boelelaan 1081a

    1081 HV Amsterdam

    Netherlands

Research Output 1976 2020

Filter
Conference contribution
2017

GRaSP: Grounded Representation of Source Perspective

Fokkens, A. S., Vossen, P. T. J. M., Rospocher, M., Hoekstra, R. J. & van Hage, W., 2017, Proceedings of the Workshop Knowledge Resources for the Socio-Economic Sciences and Humanities associated with RANLP 2017. p. 19-25 7 p.

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

time

Green ICT Research and Challenges

Verdecchia, R., Ricchiuti, F., Hankel, A. C., Lago, P. & Procaccianti, G., 14 Sep 2017, Advances and New Trends in Environmental Informatics. Progress in IS. . Wohlgemuth, V., Fuchs-Kittowski, F. & Wittmann, J. (eds.). Springer, p. 37-48

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

Open Access
Green computing
Chemical analysis

HAPPYNESS: An Emotion-aware QoS Assurance Framework for Enhancing User Experience

Condori Fernandez, O. N., Feb 2017, ICSE 2017 Proceedings in the ACM and IEEE Digital Libraries . Buenos Aires, 3 p.

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

Open Access
File
Quality of service
Monitoring

Harnessing diversity in crowds and machines for better ner performance

Inel, O. & Aroyo, L., 2017, European Semantic Web Conference. p. 289-304 16 p.

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

High-precision Ramsey-comb spectroscopy in the DUV and XUV spectral region

Dreissen, L. S., Altmann, R. K., Roth, C. & Eikema, K. S. E., 2017, European Quantum Electronics Conference, EQEC 2017. OSA - The Optical Society, Vol. Part F81-EQEC 2017.

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

Protons
Electrodynamics
Spectroscopy
Hydrogen
Helium

How anywhere computing just killed your phone-based two-factor authentication

Konoth, R. K., van der Veen, V. & Bos, H., 2017, Financial Cryptography and Data Security - 20th International Conference, FC 2016, Revised Selected Papers. Springer/Verlag, Vol. 9603 LNCS. p. 405-421 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9603 LNCS).

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

Mobile Phone
Mobile phones
Application programs
Authentication
Malware

How to make process model matching work better? An analysis of current similarity measures

Jabeen, F., Leopold, H. & Reijers, H. A., 2017, Proceedings of the 20th International Conference on Business Information Systems.

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

Humanoid robots that differ in facial expressivity evoke different emotional responses

Konijn, E. A. & Hoorn, J. F., Aug 2017, Humanoid Robots that Differ in Facial Expressivity Evoke Different Emotional Responses.. Lisbon: IEEE, (Proceedings IEEE International Symposium on Robot and Human Interactive Communication, RO-MAN 2017 Workshop of the Natural Interaction with Social Robots Topic Group).

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

Humanoid Robot Tutors Times Tables: Does Robot’s Social Behavior Match Pupils’ Educational Ability?

Konijn, E. A. & Hoorn, J. F., 2017, Humanoid Robot Tutors Times Tables: Does Robot’s Social Behavior Match Pupils’ Educational Ability?. IEEE, (Proceedings IEEE International Symposium on Robot and Human Interactive Communication, RO-MAN 2017 Workshop Mutual Shaping of Human-Robot Interaction).

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

Hunger for Contextual Knowledge and a Road Map to Intelligent Entity Linking

Ilievski, F., Vossen, P. & van Erp, M., 2017, International Conference on Language, Data and Knowledge. p. 143-149 7 p.

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

Incorporating User Feedback in Embodied Evolution

Kemeling, M. & Haasdijk, E., 2017, (Accepted/In press) Proceedings of the 2017 on Genetic and Evolutionary Computation Conference Companion. ACM

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

Feedback
Robots

Inducing Fear: Difference Between Virtual Reality and 2D Video

van der Wal, C. N., Hermans, A. & Bosse, T., 2017, Proceedings of the 19th International Conference on Human-Computer Interaction, HCI'17. Springer Verlag, p. 711 720 p.

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

Fear
Emergency Responders
Emergencies
Motion Pictures
Glass

Is my:sameAs the same as your:sameAs?

Idrissou, A. K., Hoekstra, R., van Harmelen, F., Khalili, A. & van den Besselaar, P., 2017, The ninth international conference on knowledge capture: k-cap 2017.

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

Lenses
Semantic Web
Metadata
Chemical analysis

Is my:sameAs the same as your:sameAs? Lenticular lenses for context-specific identity

Idrissou, A. K., Hoekstra, R., Van Harmelen, F., Khalili, A. & Van Den Besselaar, P., 4 Dec 2017, Proceedings of the Knowledge Capture Conference, K-CAP 2017. Association for Computing Machinery, Inc, p. 1-8 8 p. 23

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

Lenses
Social sciences
Semantic Web
Metadata
Chemical analysis

JTR: A binary solution for switch-case recovery

Cojocar, L., Kroes, T. & Bos, H., 1 Jan 2017, Engineering Secure Software and Systems - 9th International Symposium, ESSoS 2017, Proceedings. Springer/Verlag, Vol. 10379 LNCS. p. 177-195 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10379 LNCS).

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

Binary codes
Switch
Jump
Recovery
Switches

Kea: A Computation Offloading System for Smartphone Sensor Data

Bharath Das, R., Bozdog, N. V., Makkes, M. & Bal, H., Dec 2017, 9th IEEE International Conference on Cloud Computing Technology and Science (CloudCom 2017). IEEE CS

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

Linked Data Reactor: Towards Data-aware User Interfaces

Khalili, A. & de Graaf, K. A., 2017, SEMANTiCS 2017.

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

Linking African Traditional Medicine Knowledge

Lô, G., Boer, V. D. & Schlobach, S., 2017, Proceedings of the 10th International Conference on Semantic Web Applications and Tools for Health Care and Life Sciences (SWAT4LS 2017), Rome, Italy, December 4-7, 2017..

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

Linking Dutch World War II Cultural Heritage Collections with Events Extracted by Machines and Crowds

Both, J., Hooge, D. D., IJff, R., Inel, O., Boer, V. D. & Aroyo, L., 2017, Joint Proceedings of SEMANTiCS 2017 Workshops co-located with the 13th International Conference on Semantic Systems (SEMANTiCS 2017), Amsterdam, Netherlands, September 11 and 14, 2017..

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

Linking up the last mile: how humanitarian power relations shape community e-resilience

Mulder, F. & Boersma, F. K., 2017, ISCRAM 2017 Conference Proceedings – 14th International Conference on Information Systems for Crisis Response and Management. http://idl.iscram.org/files/tinacomes/2017/1440_TinaComes_etal2017.pdf, p. 715-725 11 p.

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

resilience
community
Nepal
social inequality
disaster

LOD-a-lot: A queryable dump of the LOD cloud

Fernández, J. D., Beek, W., Martínez-Prieto, M. A. & Arias, M., 2017, The Semantic Web – ISWC 2017 - 16th International Semantic Web Conference, Proceedings. Springer/Verlag, Vol. 10588 LNCS. p. 75-83 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10588 LNCS).

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

Random access storage
Linked Data
Experimentation
Fragment
Resources

LOD-A-lot: A single-file enabler for data science

Beek, W., Ferńandez, J. D. & Verborgh, R., 11 Sep 2017, Proceedings of the 13th International Conference on Semantic Systems, SEMANTiCS 2017. Association for Computing Machinery, Vol. 2017-September. p. 181-184 4 p.

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

Semantics
Data storage equipment
Costs

LOD lab: Scalable linked data processing

Beek, W., Rietveld, L., Ilievski, F. & Schlobach, S., 2017, Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering - 12th International Summer School 2016, Tutorial Lectures. Springer/Verlag, Vol. 9885 LNCS. p. 124-155 32 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9885 LNCS).

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

Linked Data
Knowledge representation
Semantic Web
Metadata
Scalability

Mixing Music as Linked Data: SPARQL-based MIDI Mashups

Meerwaldt, R., Meroño-Peñuela, A. & Schlobach, S., 2017, Proceedings of the 2nd Workshop on Humanities in the SEmantic web (WHiSe 2017).

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

Modeling Context with an Architecture Viewpoint

Bedjeti, A., Lago, P., Lewis, G. A., De Boer, R. D. & Hilliard, R., 16 May 2017, Proceedings - 2017 IEEE International Conference on Software Architecture, ICSA 2017. Gothenburg, Sweden: Institute of Electrical and Electronics Engineers, Inc., p. 117-120 4 p. 7930207

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

Software architecture
Software design

Monitoring the Impact of Negative Events and Deciding about Emotion Regulation Strategies

Manzoor, A., Abro, A. H. & Treur, J., 2017, Multi-Agent Systems and Agreement Technologies, Proc. of the14th European Conference on Multi-Agent Systems, EUMAS'16. Criado Pacheco, N. (ed.). Springer, p. 350-363 14 p. (Lecture Notes in Artificial Intelligence; vol. 10207).

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

Open Access
Monitoring

Multi-rendezvous spacecraft trajectory optimization with beam P-ACO

Simões, L. F., Izzo, D., Haasdijk, E. & Eiben, A. E., 2017, Evolutionary Computation in Combinatorial Optimization -17th European Conference, EvoCOP 2017, Proceedings. Springer/Verlag, Vol. 10197 LNCS. p. 141-156 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10197 LNCS).

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

Space rendezvous
Beam Search
Trajectory Optimization
Rendezvous
Spacecraft

Nested multisets, hereditary multisets, & syntactic ordinals in Isabelle/HOL

Blanchette, J. C., Fleury, M. & Traytel, D., 1 Sep 2017, 2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017. Miller, D. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 84. 11

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

Syntactics
Computability and decidability

New Life for Old Media: Investigations into Speech Synthesis and Deep Learning-based Colorization for Audiovisual Archives

Marsman, R., de Boer, V., Karavellas, T. & Oomen, J., 2017, New European Media Summit (NEM-Summit 2017).

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

NEXT: Generating Tailored ERP Applications from Ontological Enterprise Models: Generating tailored ERP applications from ontological enterprise models

Van Der Schuur, H., Van De Ven, E., De Jong, R., Schunselaar, D., Reijers, H. A., Overeem, M., De Graaf, M., Jansen, S. & Brinkkemper, S., 2017, The Practice of Enterprise Modeling - 10th IFIP WG 8.1. Working Conference, PoEM 2017, Proceedings. Springer/Verlag, Vol. 305. p. 283-298 16 p. (Lecture Notes in Business Information Processing; vol. 305).

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

Enterprise Resource Planning
Enterprise resource planning
Industry
Software
Model

No need to hide: Protecting safe regions on commodity hardware

Koning, K., Chen, X., Bos, H., Giuffrida, C. & Athanasopoulos, E., 23 Apr 2017, Proceedings of the 12th European Conference on Computer Systems, EuroSys 2017. Association for Computing Machinery, Inc, p. 437-452 16 p.

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

Hardware
Hardening
Data storage equipment

Off-the-shelf embedded devices as platforms for security research

Cojocar, L., Razavi, K. & Bos, H., 2017, EuroSec 2017, Proceedings of the 10th European Workshop on Systems Security, co-located with European Conference on Computer Systems, EuroSys 2017. New York, NY: ACM Press, p. 1-6 6 p. 1

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

Hardware
Firmware
Programmable logic controllers
Experiments
Internet of things

On the Presence of Green and Sustainable Software Engineering in Higher Education Curricula

Torre, D., Procaccianti, G., Fucci, D., Lutovac, S. & Scanniello, G., 17 Feb 2017, (Accepted/In press) ICSE 2017 Companion Proceedings. ACM

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

Optimizing Explorative Search for the Needs of Media Professionals: The DIVE+ Use Case

Verhulst, J., Inel, O., Boer, V. D. & Aroyo, L., 2017, Joint Proceedings of SEMANTiCS 2017 Workshops co-located with the 13th International Conference on Semantic Systems (SEMANTiCS 2017), Amsterdam, Netherlands, September 11 and 14, 2017..

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

Pragmatic descriptions of perceptual stimuli

van Miltenburg, C. W. J., 2017, Proceedings of the Student Research Workshop at the 15th Conference of the European Chapter of the Association for Computational Linguistics. Association for Computational Linguistics, p. 1-10 10 p.

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

Precongruence formats with lookahead through modal decomposition

Fokkink, W. & Van Glabbeek, R. J., 1 Aug 2017, Computer Science Logic 2017, CSL 2017. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 82. 25

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

Semantics
Decomposition
Specifications
Algebra

Predicting Individual Trip Destinations With Artificial Potential Fields.

Zonta, A., Smit, S. K. & Haasdijk, E., 26 May 2017, Smart Cities: Second International Conference, Smart-CT 2017, Málaga, Spain, June 14-16, 2017, Proceedings. Springer/Verlag, p. 118-127

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

Open Access
File

P-SWAN: Real-time Privacy Preserving Computation for IoT Ecosystems

Makkes, M. X., Uta, A., Bharath Das, R., Bozdog, N. V. & Bal, H., May 2017, IEEE International Conference on Fog and Edge Computing (ICFEC 2017).

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

Querying Software Architecture Knowledge as Linked Open Data

de Graaf, K. A., Tang, A., Liang, P. & Khalili, A., 6 Apr 2017, International Conference on Software Architecture (ICSA). IEEE, 4 p.

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

Open Access
File
Software architecture
Semantics
Ontology

Ranking-based Evaluation of Process Model Matching

Kuss, E., Leopold, H., Meilicke, C. & Stuckenschmidt, H., 2017, OTM Confederated International Conferences "On the Move to Meaningful Internet Systems".

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

Real-Life Validation of Methods for Detecting Locations, Transition Periods and Travel Modes Using Phone-Based GPS and Activity Tracker Data

Manzoor, A., Mollee, J. S., van Halteren, A. T. & Klein, M. C. A., 1 Jan 2017, Computational Collective Intelligence - 9th International Conference, ICCCI 2017, Proceedings. Nguyen, N. T., Trawinski, B., Vossen, G., Papadopoulos, G. A. & Jedrzejowicz, P. (eds.). Springer Verlag, p. 473-483 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10448 LNAI).

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

Global positioning system
Smartphones
Clustering algorithms
Cycling
Health

Research on Architecting Microservices: Trends, Focus, and Potential for Industrial Adoption

Francesco, P. D., Malavolta, I. & Lago, P., 1 Apr 2017, International Conference on Software Architecture (ICSA).

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

RevAnC: A framework for reverse engineering hardware page table caches

Van Schaik, S., Razavi, K., Gras, B., Bos, H. & Giuffrida, C., 23 Apr 2017, Proceedings of the Proceedings of the 10th European Workshop on Systems Security, EuroSec 2017, co-located with European Conference on Computer Systems, EuroSys 2017. Association for Computing Machinery, Inc, 3

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

Memory management units
Reverse engineering
Hardware
Retrofitting
Data storage equipment

Reweighting Rewards in Embodied Evolution to Achieve a Balanced Distribution of Labour

Bangel, S. & Haasdijk, E., 2017, (Accepted/In press) Proceedings of the European Conference on Artificial Life 2017, ECAL 2017. MIT Press

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

Open Access
File
Personnel
Robots

Robot as a Legal Entity, Legal Dream or Nightmare?

van den Hoven van Genderen, R., 22 Feb 2017, in: Schweighofer et al., Tagungsband IRIS 2017, 161 – 170. Schweighofer, E. (ed.). Salzburg: Amalthea Signum Verlag, Vol. IRIS 2017.

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

legal entity
robot
privacy
data protection
artificial intelligence

Scalable fine-grained proofs for formula processing

Barbosa, H., Blanchette, J. C. & Fontaine, P., 2017, Automated Deduction: CADE 26 - 26th International Conference on Automated Deduction, Proceedings. de Moura, L. (ed.). Springer/Verlag, p. 398-412 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10395 LNAI).

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

Surface mount technology
Data structures
Processing
Linear Time
Inference Rules

Secure Page Fusion with VUsion

Oliverio, M., Bos, H., Razavi, K. & Giuffrida, C., 14 Oct 2017, SOSP 2017 - Proceedings of the 26th ACM Symposium on Operating Systems Principles. Association for Computing Machinery, Inc, p. 531-545 15 p.

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

Fusion reactions
Data storage equipment
Computer operating systems
Entropy
Semantics

Semantically Mapping Science (SMS) Platform

Khalili, A., van den Besselaar, P., Al Koudous, I., de Graaf, K. A. & van Harmelen, F., 2017, SemSci 2017: Enabling Open Semantic Science. CEUR Workshop Proceedings, p. 1-6 6 p.

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

Semantic organization and verification of web services for processing sensor data

Wang, H. Y., Zhang, Y. H., Huang, J. J., Huang, Z. S. & Zhong, N., 4 Dec 2017, 2017 2nd IEEE International Conference on Computational Intelligence and Applications, ICCIA 2017. Institute of Electrical and Electronics Engineers Inc., Vol. 2017-January. p. 31-35 5 p.

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

Web services
Semantics
Sensors
Processing
Markup languages

Simulating Collective Evacuations with Social Elements

Formolo, D. & van der Wal, C. N., 2017, (Accepted/In press) 8th International Conference on Computational Collective Intelligence (ICCCI 2016). Springer LNCS

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