Faculty of Science

Filter
Conference Article in proceeding

Search results

  • 2020

    Capturing and Characterising Notional Machines

    Fincher, S., Jeuring, J., Miller, C. S., Donaldson, P., Boulay, B. D., Hauswirth, M., Hellas, A., Hermans, F., Lewis, C. M., Mühling, A., Pearce, J. L. & Petersen, A., Jun 2020, Proceedings of the 2020 ACM Conference on Innovation and Technology in Computer Science Education: ITiCSE 2020. Giannakos, M. N., Sindre, G., Luxton-Reilly, A. & Divitini, M. (eds.). New York: acm, p. 502-503 2 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access
    File
    111 Downloads (Pure)

  • Computational Thinking and Mathematical thinking: Digital literacy in Mathematics curricula

    Borkulo, S., Kallia, M., Drijvers, P., Barendsen, E. & Tolboom, J., 20 May 2020, Proceedings of the 14th International Conference on Technology in Mathematics Teaching: ICTMT 14. Barzel, B., Bebernik, R., Göbel, L., Pohl, M., Ruchniewicz, H., Schacht, F. & Thurm, D. (eds.). University of Duisburg-Essen, p. 384-385 2 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Computational Thinking Interventions in Higher Education: A Scoping Literature Review of Interventions Used to Teach Computational Thinking

    Jong, I. D. & Jeuring, J., Nov 2020, Koli Calling '20: 20th Koli Calling International Conference on Computing Education Research. Falkner, N. & Seppälä, O. (eds.). New York: acm, p. 1-10 10 p. 35

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access
    File
    180 Downloads (Pure)

  • Concepts for Comparison in Models to Support Decision Making

    Roubtsova, E. E. & Bosua, R., 2020, Business Modeling and Software Design: 10th International Symposium, BMSD 2020, Berlin, Germany, July 6-8, 2020, Proceedings. Shishkov, B. (ed.). Cham: Springer, p. 266-275 10 p. (Lecture Notes in Business Information Processing, Vol. 391).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access
    File
    11 Downloads (Pure)

  • Data Analytics Project Methodologies: Which one to choose?

    Baijens, J., Helms, R. W. & Kusters, R., 15 May 2020, Proceedings of the 2020 International Conference on Big Data in Management (ICBDM 2020). ACM Digital Library, p. 41-47 7 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access
    File
    101 Downloads (Pure)

  • Deploying TESTAR to enable remote testing in an industrial CI pipeline: a case-based evaluation

    Pastor Ricos, F., Aho, P. K., Vos, T. E. J., Torres Boigues, I., Calas Blasco, E. & Martınez Martınez, H., 30 Nov 2020, Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles. Margaria, T. & Steffen, B. (eds.). 1 ed. Springer International Publishing AG, Vol. 12476. p. 543-557 15 p. (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 12476).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Discourje: Runtime Verification of Communication Protocols in Clojure

    Hamers, R. & Jongmans, S-S., 2020, Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I. Biere, A. & Parker, D. (eds.). Cham: Springer Open, p. 266-284 19 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 12078). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 12078).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Dynamic Enterprise Architecture Capabilities and Organizational Benefits: An empirical mediation study

    Van de Wetering, R., 2020, Proceedings of the Twenty-Eigth European Conference on Information Systems (ECIS2020): ECIS 2020 Research Papers. AIS Electronic Library, p. 1-18 18 p. 93

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access
    File
    75 Downloads (Pure)

  • Dynamic Process Synchronization using BPMN 2.0 to Support Buffering and (Un)Bundling in Manufacturing

    Traganos, K., Spijkers, D., Grefen, P. W. P. J. & Vanderfeesten, I. T. P., 2020, Business Process Management Forum: BPM Forum 2020, Seville, Spain, September 13–18, 2020, Proceedings. Fahland, D., Ghidini, C., Becker, J. & Dumas, M. (eds.). Cham: Springer Nature Switzerland AG, p. 18-34 17 p. (Lecture Notes in Business Information Processing, Vol. 392).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Exploring New Opportunities for Mental Healthcare Through the Internet of Things (IoT)

    Folkerts, G. B., van de Wetering, R., Bosua, R. & Helms, R. W., 2020, Proceedings of 9th International Conference on Health Information Science (HIS 2020). Huang, Z., Siuly, S., Wang, H., Zhou, R. & Zhang, Y. (eds.). Cham: Springer Nature Switzerland AG, p. 35-46 12 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 12435). (Information Systems and Applications, incl. Internet/Web, and HCI, Vol. 12435).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access
    File
    98 Downloads (Pure)

  • Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types

    Jongmans, S-S. & Yoshida, N., 2020, Programming Languages and Systems: 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings. Müller, P. (ed.). Cham: Springer Open, p. 251-279 29 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 12075). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 12075).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Gaining Insight into Determinants of Physical Activity using Bayesian Network Learning

    Tummers, S. C. M. W., Hommersom, A. J., Lechner, E. H. S., Bolman, C. & Bemelmans, R., 2020, BNAIC/BeneLearn 2020 : Proceedings. Cao, L., Kosters, W. & Lijffijt, J. (eds.). Leiden: Leiden University, p. 298- 312 15 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access
    File
    2219 Downloads (Pure)

  • Highly Automated Formal Proofs over Memory Usage of Assembly Code

    Verbeek, F., Bockenek, J. & Ravindran, B., 2020, Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part II. Biere, A. & Parker, D. (eds.). Cham: Springer Open, p. 98-117 20 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 12079).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • History-Based Specification and Verification of Java Collections in KeY

    Hiep, H-D. A., Bian, J., Boer, F. S. D. & Gouw, S. D., 13 Nov 2020, Integrated Formal Methods : 16th International Conference, IFM 2020. Dongol, B. & Troubitsyna, E. (eds.). Lugano, Switzerland: Springer, p. 199-217 19 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Hybrid Analysis of BPEL Models with Grammars

    Jager, E. D. & Gouw, S. D., 2020, Proceedings of the SOFSEM 2020 Doctoral Student Research Forum co-located with the 46th International Conference on Current Trends in Theory and Practice of Computer Science : SOFSEM-SRF 2020. Manolopoulos, Y., Papadopoulos, G. A. & Tzouramanis, T. (eds.). Limassol, Cyprus: CEUR-WS.org, Vol. 2568. p. 73-84 12 p. (CEUR Workshop Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Identification of IT-Needs to Cope with Dynamism in Collaborative Networked Organizations—A Case Study

    van den Heuvel, R., van de Wetering, R., Bos, R. & Trienekens, J. J. M., 2020, Digital Business Transformation: Organizing, Managing and Controlling in the Information Age. Agrifoglio, R., Lamboglia, R., Mancini, D. & Ricciardi, F. (eds.). Cham: Springer Nature Switzerland AG, p. 219-236 18 p. (Lecture Notes in Information Systems and Organisation, Vol. 38).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access
    File
    59 Downloads (Pure)

  • Improving Agility Through Enterprise Architecture Management: The Mediating Role of Aligning Business and IT

    Pattij, M., van de Wetering, R. & Kusters, R. J., 2020, AMCIS 2020 Proceedings: the 26th Americas Conference on Information Systems. Association for Information Systems, 10 p. 3

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • KPI Design as a Simulation Project

    Roubtsova, E. E., Sept 2020, Proceedings of the 32nd European Modeling & Simulation Symposium (EMSS 2020). Affenzeller, M., Bruzzone, A. G., Longo, F. & Petrillo, A. (eds.). Cal-Tek, p. 120-129 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Online active learning: a comparison of three virtual classroom collaborative learning scenarios

    Janssen, J., Wopereis, I., Swennenhuis, P., Ebus, P., Severeyns - Wijenbergh, H. & van Wijnen, J., 2020, ICERI2020 Proceedings: 13th International Conference of Education, Research and Innovation, November 9th-10th, 2020. Gómez Chova, L., López Martínez, A. & Candel Torres, I. (eds.). Valencia, Spain: IATED, p. 8518-8521 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    File
    172 Downloads (Pure)

  • Preventing Algorithmic Bias in the Development of Algorithmic Decision-Making Systems: A Delphi Study

    Aysolmaz, B., Iren, D. & Dau, N., 7 Jan 2020, Proceedings of the 53rd Hawaii International Conference on System Sciences, 2020. Honolulu: HICSS, p. 5267-5276 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Providing Hints, Next Steps and Feedback in a Tutoring System for Structural Induction

    Lodder, J. S., Heeren, B. J. & Jeuring, J. T., 28 Feb 2020, Proceedings 8th International Workshop on Theorem Proving Components for Educational Software : EPTCS 313 Natal, Brazil, 25th August 2019. Quaresma, P., Neuper, W. & Marcos, J. (eds.). Cornell University, Vol. 313. p. 17–34 18 p. (Electronic proceedings in theoretical computer science, Vol. 313).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access
    File
    43 Downloads (Pure)

  • Real-Time Multimodal Feedback with the CPR Tutor

    Di Mitri, D., Schneider Barnes, J., Trebing, K., Sopka, S., Specht, M. M. & Drachsler, H. J., 30 Jun 2020, Artificial Intelligence in Education: 21st International Conference, AIED 2020, Ifrane, Morocco, July 6–10, 2020, Proceedings, Part I. Bittencourt, I. I., Cukurova, M., Muldner, K., Luckin, R. & Millán, E. (eds.). Cham: Springer International Publishing, Vol. 1. p. 141-152 12 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 12163). (Lecture Notes in Artificial Intelligence (subseries), Vol. 12163).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Reference Model for Generic Capabilities in Maturity Models

    Merkus, J., Helms, R. W. & Kusters, R., Sept 2020, Proceedings of the 2020 12th International Conference on Information Management and Engineering, ICIME 2020. New York, NY: Association for Computing Machinery (ACM), p. 10-17 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access
    File
    38 Downloads (Pure)

  • Safe Sessions of Channel Actions in Clojure: A Tour of the Discourje Project

    Jongmans, S-S. & Hamers, R., 2020, Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles. Margaria, T. & Steffen, B. (eds.). Cham: Springer Nature Switzerland AG, p. 489-508 10 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Scriptless Testing at the GUI Level in an Industrial Setting

    Chahim, H., Duran, M., Vos, T. E. J., Aho, P. K. & Condori-Fernández, N., 25 Sept 2020, Research Challenges in Information Science: 14th International Conference, RCIS 2020. Dalpiaz, F., Zdravkovic, J. & Loucopoulos, P. (eds.). Cham: Springer Nature Switzerland AG, p. 267-284 18 p. (Lecture Notes in Business Information Processing).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Shepherd: A Generic Approach to Automating Website Login

    Jonker, H. L., Karsch, S., Krumnow, B. & Sleegers, M., 2020, Proceedings MADWeb 2020: Workshop on Measurements, Attacks, and Defenses for the Web, February 23, 2020, San Diego, California. Reston: Internet Society, 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Softmax Recurrent Unit: A new type of RNN cell

    Vos, L. & van Laarhoven, T. M., Oct 2020, ESANN 2020 proceedings: 28th European Symposium on Artificial Neural Networks, Computational Intelligence and Machine Learning. Bruges, Belgium: European Symposium on Artificial Neural Networks, p. 309-314 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Sound C Code Decompilation for a Subset of x86-64 Binaries

    Verbeek, F., Olivier, P. & Ravindran, B., 2020, Software Engineering and Formal Methods: 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14–18, 2020, Proceedings. de Boer, F. & Cerone, A. (eds.). Cham: Springer Nature Switzerland AG, p. 247-264 18 p. (Lecture Notes in Computer Science (LNCS) series, Vol. 12310). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 12310).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Student Refactoring Behaviour in a Programming Tutor

    Keuning, H., Heeren, B. & Jeuring, J., Nov 2020, Koli Calling '20: Proceedings of the 20th Koli Calling International Conference on Computing Education Research. Falkner, N. & Seppälä, O. (eds.). New York: acm, p. Pages 1–10 10 p. 4

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access
    File
    197 Downloads (Pure)

  • Super-Resolution by Image Enhancement Using Texture Transfer

    Ople, J. J. M., Tan, D. S., Azcarraga, A., Yang, C-L. & Hua, K-L., Oct 2020, 2020 IEEE International Conference on Image Processing (ICIP): Proceedings. IEEE, p. 953-957 5 p. 9190844

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Tandem: Securing Keys by Using a Central Server While Preserving Privacy

    Lueks, W., Hampiholi, B., Alpár, G. & Troncoso, C., 17 Aug 2020, Proceedings on Privacy Enhancing Technologies. Chatzikokolakis, K. & Johnson, A. (eds.). 3 ed. Sciendo, Vol. 2020. p. 327-355 29 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Temporal Exceptional Model Mining Using Dynamic Bayesian Networks

    Bueno, M. L. P., Hommersom, A. J. & Lucas, P. J. F., 2020, Advanced Analytics and Learning on Temporal Data: 5th ECML PKDD Workshop, AALTD 2020. Lemaire, V., Malinowski, S., Bagnall, A., Guyet, T., Tavenard, R. & Ifrim, G. (eds.). Springer International Publishing AG, p. 97-112 16 p. (Lecture Notes in Computer Science (LNCS) series).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • TESTOMAT: Next Level of Test Automation

    Eldh, S., Vos, T. E. J., Demeyer, S., Aho, P. K. & van der Bijl, M., 25 Sept 2020, Research Challenges in Information Science: 14th International Conference, RCIS 2020. Dalpiaz, F., Zdravkovic, J. & Loucopoulos, P. (eds.). Cham: Springer Nature Switzerland AG, p. 637-639 3 p. (Lecture Notes in Business Information Processing).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • The Value Management Platform and ArchiMate –Towards an Integration? An Illustrative Example for Value Stream Mapping

    Poels, G., Nollet, K., Roelens, B. F. C., de Man, H. & van Donge, T., 17 Mar 2020, VMBO 2020: Proceedings of 14th International Workshop on Value Modelling and Business Ontologies. Roelens, B., Laurier, W., Poels, G. & Weigand, H. (eds.). Brussels, Belgium: CEUR-WS, Vol. 2574. p. 139-148 10 p. (CEUR Workshop Proceedings (CEUR-WS.org), Vol. 2574).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • To Be or Not to Be a Teacher? Exploring CS Students’ Perceptions of a Teaching Career

    Yeni, S., Aivaloglou, E. & Hermans, F., Nov 2020, Koli Calling '20: Proceedings of the 20th Koli Calling International Conference on Computing Education Research. New York, NY: Association for Computing Machinery (ACM), p. 1-11 11 p. 11

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Towards a Framework for Data Analytics Governance Mechanisms

    Baijens, J., Helms, R. W. & Velstra, T., 2020, Proceedings of the 28th European Conference on Information Systems (ECIS2020). AIS Electronic Library, 16 p. 81

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access
    File
    357 Downloads (Pure)

  • Towards an Assessment Rubric for EiPE Tasks in Secondary Education: Identifying Quality Indicators and Descriptors

    Weeda, R., Izu, C., Kallia, M. & Barendsen, E., Nov 2020, Proceedings of the 20th Koli Calling International Conference on Computing Education Research. Falker, N. & Seppala, O. (eds.). New York: Association for Computing Machinery, 10 p. 30

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Towards a Viable System Model-based Organizing Logic for IT Governance

    Huygh, T. & De Haes, S., 2020, Proceedings of International Conference on Information Systems ICIS 2020: ICIS 2020 PROCEEDINGS. Hyderabad, India: AIS Electronic Library, 2211

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access
    File
    13 Downloads (Pure)

  • Verifying OpenJDK's LinkedList using KeY

    Hiep, H-D. A., Maathuis, O., Bian, J., Boer, F. S. D., Eekelen, M. C. J. D. V. & Gouw, S. D., 17 Apr 2020, TACAS 2020: Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software. Biere, A. & Parker, D. (eds.). Cham: Springer, p. 217-234 18 p. (Lecture Notes in Computer Science, Vol. 12079). (Theoretical Computer Science and General Issues (LNCS subseries), Vol. 12079).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access
  • 2019

    A Data-Driven Exploration of Hypotheses on Disease Dynamics

    Bueno, M. L. P., Hommersom, A., Lucas, P. J. F. & Janzing, J., 30 May 2019, Artificial Intelligence in Medicine: 17th Conference on Artificial Intelligence in Medicine, AIME 2019, Poznan, Poland, June 26–29, 2019, Proceedings. Riaño, D., Wilk, S. & ten Teije, A. (eds.). Cham: Springer International Publishing AG, p. 170-179 10 p. (Lecture Notes in Computer Science (LNCS), Vol. 11526).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Analysis of SLA Compliance in the Cloud: An Automated, Model-based Approach

    Boer, F. S. D., Giachino, E., Gouw, S. D., Hähnle, R., Johnsen, E. B., Laneve, C., Pun, K. I. & Zavattaro, G., 27 Aug 2019, Proceedings of the Second Workshop on Verification of Objects at RunTime EXecution : Amsterdam, Netherlands, 17th July 2018. Ancona, D. & Pace, G. (eds.). Open Publishing Association, Vol. 302. p. 1-15 15 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Analytic Pattern and Tool for Analysis of a Gap of Changes in Enterprise Architectures

    Dijkstra, R. & Roubtsova, E. E., 2019, Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering: May 4-5, 2019, in Heraklion, Crete, Greece. E. D., G. S. & L. M. (eds.). Heraklion, Crete, Greece: SCITEPRESS-Science and Technology Publications, Lda., p. 226-233 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • A Pattern Language for Value Modeling in ArchiMate

    Sales, T. P., Roelens, B. F. C., Poels, G., Guizzardi, G., Guarino, N. & Mylopoulos, J., 29 May 2019, Advanced Information Systems Engineering: 31st International Conference, CAiSE 2019, Rome, Italy, June 3–7, 2019, Proceedings. Giorgini, P. & Weber, B. (eds.). Cham: Springer, p. 230-245 16 p. (Lecture Notes in Computer Science, Vol. 11483).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access
    File
    349 Downloads (Pure)

  • A Python Library for Memory Augmented Neural Networks

    Debie, P., Wang, W. & Bromuri, S., 10 Jan 2019, 2018 IEEE/WIC/ACM International Conference on Web Intelligence (WI) : 3–6 December 2018 Santiago, Chile. Piscataway, NJ : IEEE Canada, p. 494-501 8 p. 8609636

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Architecture and Design Patterns for Distributed, Scalable Augmented Reality and Wearable Technology Systems

    Guest, W., Wild, F., Mitri, D. D., Klemke, R., Karjalainen, J. & Helin, K., Dec 2019, 2019 IEEE International Conference on Engineering, Technology and Education (TALE). IEEE, p. 1-8 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

  • Autism: Implications for Inclusive Education with respect to Software Engineering

    Stuurman, S., Passier, H. J. M., Geven, F. & Barendsen, E., Nov 2019, CSERC '19: Proceedings of the 8th Computer Science Education Research Conference. Rahimi, E. & Stikkolorum, D. (eds.). 1 ed. New York, NY: Association for Computing Machinery (ACM), p. 15-25 11 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access
    File
    420 Downloads (Pure)

  • Automated feedback on the structure of hypothesis tests

    Tacoma, S. G., Heeren, B. J., Jeuring, J. T. & Drijvers, P., 2019, Proceedings of the Eleventh Congress of the European Society for Research in Mathematics Education. Jankvist, U. T., van den Heuvel-Panhuizen, M. & Veldhuis, M. (eds.). Freudenthal Group & Freudenthal Institute, Utrecht University and ERME, p. 2969-2976 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access

  • Automated feedback on the structure of hypothesis tests

    Tacoma, S., Heeren, B., Jeuring, J. & Drijvers, P., 21 Jun 2019, Artificial Intelligence in Education: 20th International Conference, AIED 2019, Chicago, IL, USA, June 25-29, 2019, Proceedings, Part II. Isotani, S., Millán, E., Ogan, A., McLaren, B., Hastings, P. & Luckin, R. (eds.). Cham: Springer, p. 281-285 5 p. (Science of Computer Programming, Vol. 11626).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access
    File
    65 Downloads (Pure)

  • Big Data is Power: Business Value from a Process Oriented Analytics Capability

    Van de Wetering, R., Mikalef, P. & Krogstie, J., 2019, Business Information Systems Workshops: BIS 2018 International Workshops, Berlin, Germany, July 18–20, 2018, Revised Papers. Abramowicz, W. & Paschke, A. (eds.). 1 ed. Cham: Springer International Publishing AG, p. 468-480 13 p. (Lecture Notes in Business Information Processing, Vol. 339).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access
    File
    98 Downloads (Pure)

  • Board IT competence and firm performance

    Joshi, A., van Peteghem, M., Mithas, S., Bollen, L. & De Haes, S., Dec 2019, International Conference on Information Systems (ICIS) 2019 Proceedings. AIS Electronic Library

    Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic