Mathematics and Computer Science

Filter
Chapter

Search results

  • 2023

    Applications: Puzzles and Games

    Atif, M. & Groote, J. F., 2023, Studies in Systems, Decision and Control. Springer, p. 165-181 17 p. (Studies in Systems, Decision and Control; vol. 458).

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

  • Applications: Distributed Algorithms

    Atif, M. & Groote, J. F., 2023, Studies in Systems, Decision and Control. Springer, p. 183-200 18 p. (Studies in Systems, Decision and Control; vol. 458).

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

  • Automata to Represent Behaviour

    Atif, M. & Groote, J. F., 2023, Studies in Systems, Decision and Control. Springer, p. 9-23 15 p. (Studies in Systems, Decision and Control; vol. 458).

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

  • Behavioural Equivalences

    Atif, M. & Groote, J. F., 2023, Studies in Systems, Decision and Control. Springer, p. 37-50 14 p. (Studies in Systems, Decision and Control; vol. 458).

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

  • Communicating Processes

    Atif, M. & Groote, J. F., 2023, Studies in Systems, Decision and Control. Springer, p. 25-35 11 p. (Studies in Systems, Decision and Control; vol. 458).

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

  • Data Types and Data-Dependent Behaviour

    Atif, M. & Groote, J. F., 2023, Studies in Systems, Decision and Control. Springer, p. 51-91 41 p. (Studies in Systems, Decision and Control; vol. 458).

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

  • Emotion Analysis in Software Ecosystems

    Novielli, N. & Serebrenik, A., 29 Apr 2023, (Accepted/In press) Software Ecosystems: Tooling and Analytics. Mens, T., De Roover, C. & Cleve, A. (eds.). Springer Nature

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

  • Introducing mCRL2

    Atif, M. & Groote, J. F., 2023, Studies in Systems, Decision and Control. Springer, p. 1-7 7 p. (Studies in Systems, Decision and Control; vol. 458).

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

  • Linear Processes and Parameterised BESs

    Atif, M. & Groote, J. F., 2023, Studies in Systems, Decision and Control. Springer, p. 149-163 15 p. (Studies in Systems, Decision and Control; vol. 458).

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

  • Model-Checking

    Atif, M. & Groote, J. F., 2023, Studies in Systems, Decision and Control. Springer, p. 93-115 23 p. (Studies in Systems, Decision and Control; vol. 458).

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

  • Noise-Shaping SAR ADCs: From Discrete Time to Continuous Time

    Li, H., Shen, Y., Cantatore, E. & Harpe, P. J. A., 2023, Biomedical Electronics, Noise Shaping ADCs, and Frequency References: Advances in Analog Circuit Design 2022. Harpe, P., Baschirotto, A. & Makinwa, K. A. A. (eds.). Cham: Springer, p. 161-178 18 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    Open Access
    File
    165 Downloads (Pure)
  • The Modal μ -Calculus

    Atif, M. & Groote, J. F., 2023, Studies in Systems, Decision and Control. Springer, p. 117-148 32 p. (Studies in Systems, Decision and Control; vol. 458).

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

  • 2022

    Advanced Process Discovery Techniques

    Augusto, A., Carmona, J. & Verbeek, H. M. W., 2022, Process Mining Handbook. Springer, p. 76-107 32 p. (Lecture Notes in Business Information Processing (LNBIP); vol. 448).

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

    Open Access
    9 Citations (Scopus)
  • Algorithm Recommendation for Data Streams

    Brazdil, P., van Rijn, J. N., Soares, C. & Vanschoren, J., 2022, Cognitive Technologies. Springer, p. 201-218 18 p. (Cognitive Technologies).

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

    Open Access
  • Automating Data Science

    Brazdil, P., van Rijn, J. N., Soares, C. & Vanschoren, J., 2022, Cognitive Technologies. Springer, p. 269-282 14 p. (Cognitive Technologies).

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

    Open Access
  • Automating the Design of Complex Systems

    Brazdil, P., van Rijn, J. N., Soares, C. & Vanschoren, J., 2022, Cognitive Technologies. Springer, p. 283-294 12 p. (Cognitive Technologies).

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

    Open Access
  • Automating Workflow/Pipeline Design

    Brazdil, P., van Rijn, J. N., Soares, C. & Vanschoren, J., 2022, Cognitive Technologies. Springer, p. 123-140 18 p. (Cognitive Technologies).

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

    Open Access
  • Concluding Remarks

    Brazdil, P., van Rijn, J. N., Soares, C. & Vanschoren, J., 2022, Cognitive Technologies. Springer, p. 329-337 9 p. (Cognitive Technologies).

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

    Open Access
  • Conformance Checking: Foundations, Milestones and Challenges

    Carmona, J., van Dongen, B. & Weidlich, M., 2022, Process Mining Handbook. Springer, p. 155-190 36 p. (Lecture Notes in Business Information Processing; vol. 448).

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

    Open Access
    12 Citations (Scopus)
  • Das Re-Engineering variantenreicher Systeme verstehen: Eine empirische Arbeit über Kosten, Wissen, Nachvollziehbarkeit und Methoden

    Krüger, J., 2022, INFORMATIK 2022: Ausgezeichnete Informatikdissertationen. Gesellschaft für Informatik e.V. (GI), p. 141-150 10 p.

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

    Open Access
  • Dataset Characteristics (Metafeatures)

    Brazdil, P., van Rijn, J. N., Soares, C. & Vanschoren, J., 2022, Cognitive Technologies. Springer, p. 53-75 23 p. (Cognitive Technologies).

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

    Open Access
  • Evaluating Recommendations of Metalearning/AutoML Systems

    Brazdil, P., van Rijn, J. N., Soares, C. & Vanschoren, J., 2022, Cognitive Technologies. Springer, p. 39-52 14 p. (Cognitive Technologies).

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

    Open Access
    1 Citation (Scopus)
  • From the X1 to the X8: A Brief History of the First Dutch Computer Industry, Electrologica

    de Beer, H., 2022, Tales of Electrologica. Springer, p. 39-71

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

  • Integrated Optical-Wireless Interface and Detection

    Konstantinou, D., Xue, L., Shivan, T., Hossain, M., Rommel, S., Johannsen, U., Caillaud, C., Krozer, V., Chen, J. & Monroy, I. T., 2022, Enabling 6G Mobile Networks. Rodriguez, J., Verikoukis, C., Vardakas, J. S. & Passas, N. (eds.). Cham: Springer, p. 223-258 36 p.

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

    Open Access
    File
    59 Downloads (Pure)
  • Introduction

    Brazdil, P., van Rijn, J. N., Soares, C. & Vanschoren, J., 2022, Cognitive Technologies. Springer, p. 3-17 15 p. (Cognitive Technologies).

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

    Open Access
  • Introduction to the theory of imprecise probability

    Quaeghebeur, E., 2022, Uncertainty in Engineering: Introduction to Methods and Applications. Aslett, L. J. M., Coolen, F. P. A. & De Bock, J. (eds.). 1 ed. Cham: Springer, p. 37-50 14 p. (SpringerBriefs in Statistics).

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

    Open Access
  • Learning from Metadata in Repositories

    Brazdil, P., van Rijn, J. N., Soares, C. & Vanschoren, J., 2022, Cognitive Technologies. Springer, p. 311-327 17 p. (Cognitive Technologies).

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

    Open Access
  • Metadata Repositories

    Brazdil, P., van Rijn, J. N., Soares, C. & Vanschoren, J., 2022, Cognitive Technologies. Springer, p. 297-310 14 p. (Cognitive Technologies).

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

    Open Access
  • Metalearning Approaches for Algorithm Selection I (Exploiting Rankings)

    Brazdil, P., van Rijn, J. N., Soares, C. & Vanschoren, J., 2022, Cognitive Technologies. Springer, p. 19-37 19 p. (Cognitive Technologies).

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

    Open Access
    7 Citations (Scopus)
  • Metalearning Approaches for Algorithm Selection II

    Brazdil, P., van Rijn, J. N., Soares, C. & Vanschoren, J., 2022, Cognitive Technologies. Springer, p. 77-102 26 p. (Cognitive Technologies).

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

    Open Access
  • Metalearning for Hyperparameter Optimization

    Brazdil, P., van Rijn, J. N., Soares, C. & Vanschoren, J., 2022, Cognitive Technologies. Springer, p. 103-122 20 p. (Cognitive Technologies).

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

    Open Access
    1 Citation (Scopus)
  • Metalearning in Ensemble Methods

    Brazdil, P., van Rijn, J. N., Soares, C. & Vanschoren, J., 2022, Cognitive Technologies. Springer, p. 189-200 12 p. (Cognitive Technologies).

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

    Open Access
    2 Citations (Scopus)
  • Process Mining over Multiple Behavioral Dimensions with Event Knowledge Graphs.

    Fahland, D., 2022, Process Mining Handbook. p. 274-319 46 p. (Lecture Notes in Business Information Processing; vol. 448).

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

    Open Access
    11 Citations (Scopus)
  • Responsible Process Mining

    Mannhardt, F., 2022, Process Mining Handbook. van der Aalst, W. M. P. & Carmona, J. (eds.). Springer, p. 373-401 29 p. (Lecture Notes in Business Information Processing; vol. 448).

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

    Open Access
    3 Citations (Scopus)
  • Setting Up Configuration Spaces and Experiments

    Brazdil, P., van Rijn, J. N., Soares, C. & Vanschoren, J., 2022, Cognitive Technologies. Springer, p. 143-168 26 p. (Cognitive Technologies).

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

    Open Access
  • The Ethics of Matching: Hookup Apps and Online Dating

    Klincewicz, M., Frank, L. E. & Jane, E. A., 2022, The Routledge Handbook of Philosophy of Sex and Sexuality. New York: Routledge Taylor & Francis Group, p. 553-573 21 p.

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

  • The Moral Rights and Wrongs of Online Dating and Hook-ups

    Klincewicz, M. & Frank, L. E., 20 Oct 2022, The Oxford Handbook of Digital Ethics. Véliz, C. (ed.). Oxford University Press, p. C12.S1–C12.N12

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

  • Using the Parallel ATerm Library for Parallel Model Checking and State Space Generation

    Groote, J. F., Jilissen, K. H. J., Laveaux, M., van Spaendonck, P. H. M. & Willemse, T. A. C., 2022, A Journey from Process Algebra via Timed Automata to Model Learning. Jansen, N., Stoelinga, M. & van den Bos, P. (eds.). Springer, p. 306-320 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13560 LNCS).

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

  • 2021

    An Account of the ISO/IEC Standardization of the Simon and Speck Block Cipher Families

    Ashur, T. & Luykx, A., 1 Jan 2021, Security of Ubiquitous Computing Systems: (Selected Topics). Springer, p. 63-78 16 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    Open Access
    File
    2 Citations (SciVal)
    21 Downloads (Pure)
  • An Introduction to Imprecise Markov Chains

    Krak, T., 15 Feb 2021, Optimization Under Uncertainty with Applications to Aerospace Engineering. Vasile, M. (ed.). Springer Nature, p. 141-179 39 p.

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

  • Anonymity

    Bleumer, G. & Sciancalepore, S., 18 Dec 2021, Encyclopedia of Cryptography, Security and Privacy. Jajodia, S., Samarati, P. & Yung, M. (eds.). Springer, p. 1-3

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

  • Approximation Algorithms for Multi-Robot Patrol-Scheduling with Min-Max Latency

    Afshani, P., de Berg, M., Buchin, K., Gao, J., Löffler, M., Nayyeri, A., Raichel, B., Sarkar, R., Wang, H. & Yang, H. T., 2021, Springer Proceedings in Advanced Robotics. Springer, p. 107-123 17 p. (Springer Proceedings in Advanced Robotics; vol. 17).

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

    1 Citation (Scopus)
  • Automatische Prozessaufnahme mit Process-Discovery

    Fahland, D., Pufahl, L. & Koschmider, A., 2021, Prozessmanagement und Process-Mining - Grundlagen. Laue, R., Koschmider, A. & Fahland, D. (eds.). p. 235-268

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

  • Computing Expected Hitting Times for Imprecise Markov Chains

    Krak, T., 2021, (Accepted/In press) Advances in Uncertainty Quantification and Optimization Under Uncertainty with Aerospace Applications: Proceedings of the 2020 UQOP International Conference. Vasile, M. & Quagliarella, D. (eds.). Springer

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

  • Convolutional neural networks for real-time eye tracking in interactive applications

    Burch, M., Jalba, A. C. & van Dueren den Hollander, C. J. P., 2021, Convolutional neural networks for real-time eye tracking in interactive applications. p. 455-473 (Handbook of research on Applied AI for international business and marketing applications).

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

  • Data economy 2.0: From big data value to AI value and a european data space

    Zillner, S., Gomez, J. A., García Robles, A., Hahn, T., Bars, L. L., Petkovic, M. & Curry, E., 1 Aug 2021, The Elements of Big Data Value: Foundations of the Research and Innovation Ecosystem. Springer, p. 379-399 21 p.

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

    Open Access
    2 Citations (Scopus)
  • Evaluation of the Quality of Administrative Data Used in the Dutch Virtual Census

    Daas, P., Schulte Nordholt, E., Tennekes, M. & Ossen, S., 21 Mar 2021, Administrative Records for Survey Methodology. Chun, A. Y., Larsen, M. D., Durrant, G. & Reiter, J. P. (eds.). Wiley, p. 61-83 23 p. (Wiley Series in Survey Methodology).

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

  • Forecasting

    Mocanu, E., Mocanu, D. C., Paterakis, N. G. & Gibescu, M., 3 Jul 2021, Local Electricity Markets. Pinto, T., Vale, Z. & Widergren, S. (eds.). Elsevier, p. 243-257 15 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

  • Human-computer interaction analysis for RPA support: Framework and new horizons

    Ramírez, A. J., Reijers, H. A. & Enríquez, J. G., 10 May 2021, Robotic Process Automation: Management, Technology, Applications. De Gruyter Open Ltd., p. 169-185 17 p.

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

    1 Citation (Scopus)
  • Modulation and Equalization Techniques for mmWave ARoF

    Perez Santacruz, J., Farooq, U., Tesema Atra, K., Rommel, S., Jurado-Navas, A., Tafur Monroy, I., Miliou, A., Cerulo, G., Provost, J-G. & Mekhazni, K., 6 Nov 2021, Enabling 6G Mobile Networks. Rodriguez, J., Verikoukis, C. & Vardakas, J. S. (eds.). Cham: Springer, p. 259-292 34 p.

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

    Open Access
    File
    60 Downloads (Pure)