Mathematics and Computer Science

Filter
Chapter

Search results

  • 2024

    A canon is a blunt force instrument: data science, canons, and generative frictions

    de Groot, A., Fletcher, G. H. L., van Manen, G., Saxena, A., Serebrenik, A. & Taylor, L. E. M., 1 Sept 2024, (Accepted/In press) Dialogues in Data Power Shifting Response-abilities in a Datafied World. Bristol University Press

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

  • Handling Sub-symmetry in Integer Programming using Activation Handlers

    Hojny, C., Verhoeff, T. & Wessel, S., 2024, Graphs and Combinatorial Optimization: from Theory to Applications. CTW 2023. Springer, p. 95-107 13 p. (AIRO Springer Series; vol. 13).

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

    Open Access
  • It’s All a Game: Apartness and Bisimilarity

    Keiren, J. J. A. & Willemse, T. A. C., 2024, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, p. 150-167 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14560 LNCS).

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

  • Teaching Empirical Software Engineering at Eindhoven University of Technology

    Serebrenik, A. & Cassee, N. W., 8 Jul 2024, (Accepted/In press) Teaching Empirical Research Methods in Software Engineering. Mendez, D., Avgeriou, P., Kalinowski, M. & bin Ali, N. (eds.).

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

    Open Access
  • 2023

    An IoT Attack Detection Framework Leveraging Graph Neural Networks

    Bibi, I., Özçelebi, T. & Meratnia, N., 20 Oct 2023, Intelligence of Things: Technologies and Applications: The Second International Conference on Intelligence of Things (ICIT 2023), Ho Chi Minh City, Vietnam, October 25-27, 2023, Proceedings. Dao, N.-N., Thinh, T. N. & Nguyen, N. T. (eds.). Springer, Vol. 2. p. 225-236 12 p. (Lecture Notes on Data Engineering and Communications Technologies; vol. 188).

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

    Open Access
  • Applications: Distributed Algorithms

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

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

  • Applications: Puzzles and Games

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

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

  • Assume-Guarantee Reasoning for Additive Hybrid Behaviour

    Cuijpers, P. J. L., Hansen, J. & Larsen, K. G., 2023, Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday. Bowen, J. P., Li, Q. & Xu, Q. (eds.). Springer, p. 297-322 26 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14080 LNCS).

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

  • Automata to Represent Behaviour

    Atif, M. & Groote, J. F., 2023, Understanding Behaviour of Distributed Systems Using mCRL2. 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, Understanding Behaviour of Distributed Systems Using mCRL2. 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, Understanding Behaviour of Distributed Systems Using mCRL2. 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, Understanding Behaviour of Distributed Systems Using mCRL2. 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., 10 Oct 2023, Software Ecosystems: Tooling and Analytics. Mens, T., De Roover, C. & Cleve, A. (eds.). Springer Nature, p. 105-127 23 p.

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

    Open Access
  • High Accuracy and High-Speed Crop Root Position Detection for Green-on-Green Mechanical Weeding

    Teurlinx, B., Ruigrok, T., Tamminga, F., IJsselmuiden, J., Bennin, K. & Babur, Ö., 2023, LAND.TECHNIK AgEng 2023: The Forum for Agricultural Engineering Innovations. VDI-Verlag, p. 69-78 (VDI-Berichte; vol. 2427).

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

  • Human–AI Relationship in Healthcare

    Joshi, M., Pezzotti, N. & Browne, J. T., 17 Jul 2023, Explainable AI in Healthcare: Unboxing Machine Learning for Biomedicine. Raval, M. S., Roy, M., Kaya, T. & Kapdi, R. (eds.). CRC Press, p. 1-22 22 p.

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

  • Introducing mCRL2

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

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

  • Inverse Problems: A Deterministic Approach Using Physics-Based Reduced Models

    Mula, O., 2023, Model Order Reduction and Applications Cetraro, Italy 2021. Falcone, M. & Rozza, G. (eds.). Springer, p. 73-124 52 p. (Lecture Notes in Mathematics; vol. 2328).

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

    Open Access
  • Linear Processes and Parameterised BESs

    Atif, M. & Groote, J. F., 2023, Understanding Behaviour of Distributed Systems Using mCRL2. 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, Understanding Behaviour of Distributed Systems Using mCRL2. Springer, p. 93-115 23 p. (Studies in Systems, Decision and Control; vol. 458).

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

  • Multi-programming mechanism on near-term quantum computing

    Niu, S. & Todri-Sanial, A., 7 Aug 2023, Quantum Computing: Circuits, Systems, Automation and Applications. Thapliyal, H. & Humble, T. (eds.). Springer, p. 19-54 36 p.

    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
    835 Downloads (Pure)
  • RF Cavity-based Ultrafast Transmission Electron Microscopy

    Borrelli, S., Kempers, S. T., Mutsaers, P. H. A. & Luiten, O. J., 20 Dec 2023, Structural Dynamics with X-ray and Electron Scattering. Amini, K., Rouzée, A. & Vrakking, M. J. J. (eds.). Royal Society of Chemistry, (Theoretical and Computational Chemistry Series; vol. 25).

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

  • Scan-Based Immersed Isogeometric Flow Analysis

    Verhoosel, C. V., van Brummelen, E. H., Divi, S. C. & de Prenter, F., 2 Nov 2023, Frontiers in Computational Fluid-Structure Interaction and Flow Simulation: Research from Lead Investigators Under Forty - 2023. Tezduyar, T. E. (ed.). Cham: Birkhäuser Verlag, p. 477-512 36 p. (Modeling and Simulation in Science, Engineering and Technology (MSSET); vol. Part F1665).

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

    1 Citation (Scopus)
  • The Modal μ -Calculus

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

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

  • Time-Dependent Density Functional Theory and Green’s Functions Methods with the Bethe–Salpeter Equation

    Scharpach, W., Chen, Z., Sundaram, V. & Baumeier, B., 2023, Comprehensive Computational Chemistry. Kulik, H. & Gonzalez, L. (eds.). Elsevier, Vol. 4. p. 84-115 32 p.

    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
    12 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
    1 Citation (Scopus)
  • 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
    1 Citation (Scopus)
  • Breaking unusual barriers in sensor interfaces: From minimum energy to ultimate low cost

    Xin, H., Fattori, M., Harpe, P. & Cantatore, E., 25 Mar 2022, Analog Circuits for Machine Learning, Current/Voltage/Temperature Sensors, and High-speed Communication: Advances in Analog Circuit Design 2021. Harpe, P., Makinwa, K. A. A. & Baschirotto, A. (eds.). Cham: Springer, p. 165-190 26 p.

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

  • 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
    25 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
    101 Downloads (Pure)
  • Interpolation-Based Model Order Reduction for Quadratic-Bilinear Systems and H2 Optimal Approximation

    Cao, X., Maubach, J., Schilders, W. & Weiland, S., 10 Jun 2022, Realization and Model Reduction of Dynamical Systems: A Festschrift in Honor of the 70th Birthday of Thanos Antoulas. Beattie, C., Benner, P., Embree, M., Gugercin, S. & Lefteriu, S. (eds.). Cham: Springer, p. 117-135 19 p.

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

  • 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
    12 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
    3 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
    30 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
    4 Citations (Scopus)
  • Sentiment Analysis of Participants Interactions in a Hackathon Context: The Example of a Slack Corpus

    Feislachen, S., Garus, P., Wang, H., Podkolin, E., Schlüter, S., Schulze Bernd, N., Manske, S., Nolte, A. & Chounta, I.-A., 2022, Proceedings of Mensch und Computer 2022. p. 493-497 5 p.

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

    1 Citation (Scopus)