Mathematics and Computer Science

Filter
Chapter

Search results

  • 2025

    Amortized Analysis of Leftist Heaps

    Schoenmakers, B. (Corresponding author), 2025, Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday. Jansen, N., Junges, S., Kaminski, B. L., Matheja, C., Noll, T., Quatmann, T., Stoelinga, M. & Volk, M. (eds.). Springer, Vol. 1. p. 73-84 12 p. (Lecture Notes in Computer Science; vol. 15260 LNCS).

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

  • Compiling Binary Decision Diagrams with Interrupt-Based Downsizing

    Dubslaff, C. (Corresponding author) & Wirtz, J. (Corresponding author), 2025, Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday. Jansen, N., Junges, S., Kaminski, B. L., Matheja, C., Noll, T., Quatmann, T., Stoelinga, M. & Volk, M. (eds.). Springer, Vol. 3. p. 252-273 22 p. (Lecture Notes in Computer Science; vol. 15262 LNCS).

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

  • Methods and statistics for diffusion MRI tractometry

    Chamberland, M., St-Jean, S., Jones, D. K., Descoteaux, M. & Leemans, A., 2025, Handbook of Diffusion MR Tractography: Imaging Methods, Biophysical Models, Algorithms and Applications. Dell'Acqua, F., Descoteaux, M. & Leemans, A. (eds.). Agon Elsevier, p. 439-450 12 p.

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

  • On Woolhouse’s Cotton-Spinning Problem

    Groote, J. F. (Corresponding author) & Willemse, T. A. C., 2025, Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday. Jansen, N., Junges, S., Kaminski, B. L., Matheja, C., Noll, T., Quatmann, T., Stoelinga, M. & Volk, M. (eds.). Springer, Vol. 2. p. 3-17 15 p. (Lecture Notes in Computer Science; vol. 15261 LNCS).

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

  • Riding the Storm in a Probabilistic Model Checking Landscape

    Hensel, C., Junges, S. (Corresponding author), Quatmann, T. & Volk, M., 2025, Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday. Jansen, N., Junges, S., Kaminski, B. L., Matheja, C., Noll, T., Quatmann, T., Stoelinga, M. & Volk, M. (eds.). Springer, Vol. 2. p. 98-114 17 p. (Lecture Notes in Computer Science; vol. 15261 LNCS).

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

  • Towards End-to-End GPU Acceleration of PCTL Model Checking

    Heemstra, J., Osama, M. & Wijs, A. (Corresponding author), 2025, Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday. Jansen, N., Junges, S., Kaminski, B. L., Matheja, C., Noll, T., Quatmann, T., Stoelinga, M. & Volk, M. (eds.). Springer, Vol. 2. p. 314-337 24 p. (Lecture Notes in Computer Science; vol. 15261 LNCS).

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

  • Tractography visualization

    Chamberland, M., Poirier, C., Hendriks, T., Shastin, D., Vilanova, A. & Leemans, A., 9 Jan 2025, Handbook of Diffusion MR Tractography: Imaging Methods, Biophysical Models, Algorithms and Applications. Dell'Acqua, F., Descoteaux, M. & Leemans, A. (eds.). Agon Elsevier, p. 381-393 13 p.

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

  • 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., 3 Sept 2024, Dialogues in Data Power: Shifting Response-abilities in a Datafied World. Jarke, J. & Bates, J. (eds.). Bristol University Press, p. 186-214 29 p.

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

    Open Access
    File
    1 Downloads (Pure)

  • How to Ask About Gender Identity of Software Engineers and "Guess" It from the Archival Data

    Serebrenik, A. (Corresponding author), 21 Sept 2024, Equity, Diversity, and Inclusion in Software Engineering: Best Practices and Insights. Damian, D., Blincoe, K., Ford, D., Serebrenik, A. & Masood, Z. (eds.). Apress, Inc., p. 487-505 19 p.

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

    Open Access
    File

  • It’s All a Game: Apartness and Bisimilarity

    Keiren, J. J. A. (Corresponding author) & Willemse, T. A. C., 2024, Logics and Type Systems in Theory and Practice: Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday. Capretta, V., Krebbers, R. & Wiedijk, F. (eds.). Springer, p. 150-167 18 p. (Lecture Notes in Computer Science; vol. 14560 LNCS).

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

  • Large Population Limit of Interacting Population Dynamics via Generalized Gradient Structures

    Hraivoronska, A., Hoeksema, J. & Tse, O. (Corresponding author), 2024, Active Particles, Volume 4: Theory, Models, Applications. Carrillo, J. A. & Tadmor, E. (eds.). Birkhäuser Verlag, p. 421-460 40 p. (Modeling and Simulation in Science, Engineering and Technology; vol. Part F3944).

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

  • Mentorship of Women in OSS Projects: A Cross-Disciplinary, Integrative Review

    Jacobs, M., Milewicz, R. & Serebrenik, A., 21 Sept 2024, Equity, Diversity, and Inclusion in Software Engineering: Best Practices and Insights. Damian, D., Blincoe, K., Ford, D., Serebrenik, A. & Masood, Z. (eds.). Apress, Inc., p. 337-364

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

    Open Access
    File

  • Minimal Depth Distinguishing Formulas Without Until for Branching Bisimulation

    Martens, J. (Corresponding author) & Groote, J. F., 22 May 2024, Logics and Type Systems in Theory and Practice: Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday. Capretta, V., Krebbers, R. & Wiedijk, F. (eds.). Springer, p. 188-202 15 p. (Lecture Notes in Computer Science; vol. 14560 LNCS).

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

    1 Citation (Scopus)

  • Modular Criticality Analysis for Dynamic Fault Trees

    Sher, F., Stoelinga, M. & Volk, M. (Corresponding author), 18 Nov 2024, Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday. Jansen, N., Junges, S., Kaminski, B. L., Matheja, C., Noll, T., Quatmann, T., Stoelinga, M. & Volk, M. (eds.). Springer, Vol. 3. p. 274-293 20 p. (Lecture Notes in Computer Science; vol. 15262).

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

  • Promoting the Adoption of AI-Based Recommendations Through Organizational Practices

    Herrmann, T. (Corresponding author) & Nolte, A., 29 Dec 2024, Navigating Digital Transformation: Organizational Change, Digital Work, and Individual Behavior. Agrifoglio, R., Lazazzara, A. & Za, S. (eds.). Springer, p. 195-212 18 p. (Lecture Notes in Information Systems and Organisation; vol. 73).

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

  • RATE-Analytics: Next Generation Predictive Analytics for Data-Driven Banking and Insurance

    Collaris, D., Pechenizkiy, M. & van Wijk, J. J., 28 Oct 2024, Commit2Data. Haverkort, B. R., de Jongste, A., van Kuilenburg, P. & Vromans, R. D. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 8:1-8:11 11 p. (OpenAccess Series in Informatics (OASIcs); vol. 124).

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

    Open Access
    File
    5 Downloads (Pure)

  • Real-Time Data-Driven Maintenance Logistics: A Public-Private Collaboration

    van Jaarsveld, W. (Corresponding author), Bliek, L., de Weerdt, M., Kapodistria, S., Pronk, V., Verleijsdonk, P., Voorberg, S., Akçay, A., da Costa, P., Eshuis, R., Kaymak, U., van Houtum, G.-J., Verwer, S. & Zhang, Y., 28 Oct 2024, Commit2Data. Haverkort, B. R., de Jongste, A., van Kuilenburg, P. & Vromans, R. D. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 5:1-5:13 13 p. (Open Access Series in Informatics (OASIcs); vol. 124).

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

    Open Access
    File
    37 Downloads (Pure)

  • Sequential Value Passing Yields a Kleene Theorem for Processes

    Baeten, J. C. M. (Corresponding author) & Luttik, B., 22 May 2024, Logics and Type Systems in Theory and Practice: Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday. Capretta, V., Krebbers, R. & Wiedijk, F. (eds.). Springer, p. 1-16 16 p. (Lecture Notes in Computer Science; vol. 14560 LNCS).

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

  • Teaching Empirical Methods at Eindhoven University of Technology

    Serebrenik, A. (Corresponding author) & Cassee, N. W., 29 Dec 2024, Handbook on Teaching Empirical Software Engineering. Mendez, D., Avgeriou, P., Kalinowski, M. & bin Ali, N. (eds.). Springer Nature, p. 179-207

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

    Open Access
  • 2023

    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 proceeding › Chapter › Academic › peer-review

  • Applications: Puzzles and Games

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

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

  • Assume-Guarantee Reasoning for Additive Hybrid Behaviour

    Cuijpers, P. J. L., Hansen, J. (Corresponding author) & Larsen, K. G., 8 Sept 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 proceeding › Chapter › Academic › peer-review

  • Automata to Represent Behaviour

    Atif, M. & Groote, J. F., 23 Feb 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 proceeding › Chapter › Academic › peer-review

  • Behavioural Equivalences

    Atif, M. & Groote, J. F., 23 Feb 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 proceeding › Chapter › Academic › peer-review

  • Communicating Processes

    Atif, M. (Corresponding author) & Groote, J. F., 23 Feb 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 proceeding › Chapter › Academic › peer-review

  • Data Types and Data-Dependent Behaviour

    Atif, M. (Corresponding author) & Groote, J. F., 26 Feb 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 proceeding › Chapter › Academic › peer-review

  • Emotion Analysis in Software Ecosystems

    Novielli, N. (Corresponding author) & 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 proceeding › Chapter › Academic › peer-review

    2 Citations (Scopus)

  • 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 proceeding › Chapter › Academic › peer-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 proceeding › Chapter › Academic › peer-review

    2 Citations (Scopus)
    1 Downloads (Pure)

  • Introducing mCRL2

    Atif, M. (Corresponding author) & Groote, J. F., 26 Feb 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 proceeding › Chapter › Academic › peer-review

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

    Mula, O. (Corresponding author), 8 Mar 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 proceeding › Chapter › Academic › peer-review

    1 Citation (Scopus)

  • Linear Processes and Parameterised BESs

    Atif, M. (Corresponding author) & Groote, J. F., 26 Feb 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 proceeding › Chapter › Academic › peer-review

  • Model-Checking

    Atif, M. (Corresponding author) & Groote, J. F., 26 Feb 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 proceeding › Chapter › Academic › peer-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 proceeding › Chapter › Academic › peer-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 proceeding › Chapter › Academic

    Open Access
    File
    1727 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 proceeding › Chapter › Academic › peer-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 proceeding › Chapter › Academic › peer-review

    2 Citations (Scopus)

  • The Modal μ-Calculus

    Atif, M. (Corresponding author) & Groote, J. F., 26 Feb 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 proceeding › Chapter › Academic › peer-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 proceeding › Chapter › Academic › peer-review

  • 2022

    Advanced Process Discovery Techniques

    Augusto, A., Carmona, J. & Verbeek, H. M. W. (Corresponding author), 27 Jun 2022, Process Mining Handbook. van der Aalst, W. M. P. & Carmona, J. (eds.). Springer, p. 76-107 32 p. (Lecture Notes in Business Information Processing (LNBIP); vol. 448).

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

    Open Access
    File
    17 Citations (Scopus)

  • Algorithm Recommendation for Data Streams

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

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

    Open Access
    File
    1 Citation (Scopus)

  • Automating Data Science

    Brazdil, P. (Corresponding author), van Rijn, J. N., Soares, C. & Vanschoren, J., 22 Feb 2022, Metalearning: Applications to Automated Machine Learning and Data Mining. Springer, p. 269-282 14 p. (Cognitive Technologies).

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

    Open Access
    File

  • Automating the Design of Complex Systems

    Brazdil, P. (Corresponding author), van Rijn, J. N., Soares, C. & Vanschoren, J., 22 Feb 2022, Metalearning: Applications to Automated Machine Learning and Data Mining. Springer, p. 283-294 12 p. (Cognitive Technologies).

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

    Open Access
    File

  • Automating Workflow/Pipeline Design

    Brazdil, P. (Corresponding author), van Rijn, J. N., Soares, C. & Vanschoren, J., 22 Feb 2022, Metalearning: Applications to Automated Machine Learning and Data Mining. Springer, p. 123-140 18 p. (Cognitive Technologies).

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

    Open Access
    File
    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 proceeding › Chapter › Academic › peer-review

  • Concluding Remarks

    Brazdil, P. (Corresponding author), van Rijn, J. N., Soares, C. & Vanschoren, J., 22 Feb 2022, Metalearning: Applications to Automated Machine Learning and Data Mining. Springer, p. 329-337 9 p. (Cognitive Technologies).

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

    Open Access
    File

  • Conformance Checking: Foundations, Milestones and Challenges

    Carmona, J., van Dongen, B. (Corresponding author) & Weidlich, M., 27 Jun 2022, Process Mining Handbook. van der Aalst, W. M. P. & Carmona, J. (eds.). Springer, p. 155-190 36 p. (Lecture Notes in Business Information Processing; vol. 448).

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

    Open Access
    File
    35 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 proceeding › Chapter › Academic › peer-review

    Open Access

  • Dataset Characteristics (Metafeatures)

    Brazdil, P., van Rijn, J. N., Soares, C. & Vanschoren, J., 2022, Metalearning: Applications to Automated Machine Learning and Data Mining. Springer, p. 53-75 23 p. (Cognitive Technologies).

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

    Open Access
    File
    5 Citations (Scopus)

  • Evaluating Recommendations of Metalearning/AutoML Systems

    Brazdil, P., van Rijn, J. N., Soares, C. & Vanschoren, J., 22 Feb 2022, Metalearning: Applications to Automated Machine Learning and Data Mining. Springer, p. 39-52 14 p. (Cognitive Technologies).

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

    Open Access
    File
    1 Citation (Scopus)