Mathematics and Computer Science

2023

Survey of Approaches for Postprocessing of Static Analysis Alarms

Muske, T. & Serebrenik, A., Apr 2023, In: ACM Computing Surveys. 55, 3, 39 p., 48.

Research output: Contribution to journal › Article › Academic › peer-review

Open Access

2 Downloads (Pure)

2022

A bivariate zero-inflated Poisson control chart: comments and corrections on earlier results

van den Heuvel, E. R., van Driel, S. A. W. & Zhan, Z., 2022, In: Communications in Statistics - Theory and Methods. 51, 10, p. 3438-3445 8 p.

Research output: Contribution to journal › Letter › Academic › peer-review

Adaptive symplectic model order reduction of parametric particle-based Vlasov-Poisson equation

Hesthaven, J. S., Pagliantini, C. & Ripamonti, N., 2022, (Submitted) In: arXiv.

Research output: Contribution to journal › Article › Academic

Agglomerative Clustering of Growing Squares

Castermans, T., Speckmann, B., Staals, F. & Verbeek, K., Jan 2022, In: Algorithmica. 84, 1, p. 216-233 18 p.

Research output: Contribution to journal › Article › Academic › peer-review

Open Access

File

9 Downloads (Pure)

Aligning observed and modelled behaviour by maximizing synchronous moves and using milestones

Bloemen, V., van Zelst, S., van der Aalst, W., van Dongen, B. & van de Pol, J., Jan 2022, In: Information Systems. 103, 13 p., 101456.

Research output: Contribution to journal › Article › Academic › peer-review

Alluvial connectivity in multi-channel networks in rivers and estuaries

Sonke, W., Kleinhans, M. G., Speckmann, B., van Dijk, W. M. & Hiatt, M., Feb 2022, In: Earth Surface Processes and Landforms. 47, 2, p. 477-490 14 p.

Research output: Contribution to journal › Article › Academic › peer-review

Open Access

File

1 Citation (Scopus)

3 Downloads (Pure)

Alpinist: An Annotation-Aware GPU Program Optimizer

Şakar, Ö., Safari, M., Huisman, M. & Wijs, A., 2022, Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Proceedings. Fisman, D. & Rosu, G. (eds.). Springer, p. 332-352 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13244 LNCS).

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

Open Access

Analytical Problem Solving Based on Causal, Correlational and Deductive Models

de Mast, J., Steiner, S., Nuijten, W. P. M. & Kapitan, D., 10 Mar 2022, (E-pub ahead of print) In: American Statistician. XX, X

Research output: Contribution to journal › Article › Academic › peer-review

1 Citation (Scopus)

A note on the primitive cohomology lattice of a projective surface

Peters, C. A. M., 2022, (Accepted/In press) In: Pure and Applied Mathematics Quarterly. XX, X, 11 p.

Research output: Contribution to journal › Article › Academic › peer-review

Open Access

Approximate quantum encryption with faster key expansion

Temel, M. H. & Škorić, B., 11 May 2022, (Accepted/In press) 2022 Symposium on Information Theory and Signal Processing in the Benelux. 7 p.

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

Open Access

A project scheduling problem with periodically aggregated resource-constraints

Morin, P. A., Artigues, C., Haït, A., Kis, T. & Spieksma, F. C. R., May 2022, In: Computers and Operations Research. 141, 16 p., 105688.

Research output: Contribution to journal › Article › Academic › peer-review

A Qualitative Study of Developers’ Discussions On Their Problems and Joys During the Early COVID-19 Months

Uddin, G., Alam, O. & Serebrenik, A., 17 Mar 2022, (Accepted/In press) In: Empirical Software Engineering. XX, X

Research output: Contribution to journal › Article › Academic › peer-review

Open Access

Atomically Thin Semiconductors For Nanophotonics

Godiksen, R. H., 9 Jun 2022, (Accepted/In press) Eindhoven: Eindhoven University of Technology. 134 p.

Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)

Augmented Business Process Management Systems: A Research Manifesto

Dumas, M., Fournier, F., Limonad, L., Marrella, A., Montali, M., Rehse, J-R., Accorsi, R., Calvanese, D., Giacomo, G. D., Fahland, D., Gal, A., Rosa, M. L., Völzer, H. & Weber, I., 2022, In: CoRR. abs/2201.12855

Research output: Contribution to journal › Article › Academic

Open Access

Automated Reinforcement Learning: An Overview

Refaei Afshar, R., Zhang, Y., Vanschoren, J. & Kaymak, U., 13 Jan 2022, In: arXiv. 2022, 47 p., 2201.05000.

Research output: Contribution to journal › Article › Academic

Open Access

File

11 Downloads (Pure)

Automatic Validation of Technical Requirements for a BIM model using Semantic Web Technologies

van den Bersselaar, E., Heinen, J. J., Chaudron, M. R. V. & Pauwels, P., 2022.

Research output: Contribution to conference › Abstract › Academic

Open Access

File

21 Downloads (Pure)

Between JIRA and GitHub: ASFBot and its Influence on Human Comments in Issue Trackers

Moharil, A., Orlov, D., Jameel, S., Trouwen, T., Cassee, N. W. & Serebrenik, A., 7 Mar 2022, (Accepted/In press) Mining Software Repositories.

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

Open Access

Beyond 110 GHz uni-traveling carrier photodiodes on an InP-membrane-on-silicon platform

Graaf, J. D., Zhao, X., Konstantinou, D., van den Hout, M., Reniers, S., Shen, L., van der Heide, S., Rommel, S., Tafur Monroy, I., Okonkwo, C. M., Cao, Z., Koonen, T., Williams, K. & Jiao, Y., 1 Mar 2022, In: IEEE Journal of Selected Topics in Quantum Electronics. 28, 2, 10 p., 3802010.

Research output: Contribution to journal › Article › Academic › peer-review

Open Access

File

85 Downloads (Pure)

Breaking bad? Semantic versioning and impact of breaking changes in Maven Central: An external and differentiated replication study

Ochoa, L., Degueule, T., Falleri, J. R. & Vinju, J., May 2022, In: Empirical Software Engineering. 27, 3, 42 p., 61.

Research output: Contribution to journal › Article › Academic › peer-review

Brief Announcement: Fault-Tolerant Shape Formation in the Amoebot Model

Kostitsyna, I., Scheideler, C. & Warner, D., 2022, 1st Symposium on Algorithmic Foundations of Dynamic Networks (SAND 2022). Aspnes, J. & Michail, O. (eds.). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Vol. 221. p. 23:1-23:3 (Leibniz International Proceedings in Informatics (LIPIcs)).

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

Open Access

Bus-contention aware WCRT analysis for the 3-phase task model considering a work-conserving bus arbitration scheme

Arora, J., Maia, C., Rashid, S. A., Nelissen, G. & Tovar, E., Jan 2022, In: Journal of Systems Architecture. 122, 14 p., 102345.

Research output: Contribution to journal › Article › Academic › peer-review

Carrier–Phonon Coupling, Localization, and Magnetic Exchange in Perovskite Nanocrystals

Iaru, C. M., 26 Apr 2022, Eindhoven: Technische Universiteit Eindhoven. 225 p.

Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)

1 Downloads (Pure)

Characterizing and computing weight-equitable partitions of graphs

Abiad Monge, A., Hojny, C. & Zeijlemaker, S., 15 Jul 2022, In: Linear Algebra and Its Applications. 645, p. 30-51 22 p.

Research output: Contribution to journal › Article › Academic › peer-review

Open Access

File

7 Downloads (Pure)

Chasing Vibro-Polariton Fingerprints in Infrared and Raman Spectra Using Surface Lattice Resonances on Extended Metasurfaces

Verdelli, F., Schulpen, J. J. P. M., Baldi, A. & Rivas, J. G., 18 Apr 2022, In: Journal of Physical Chemistry C. 126, 16, p. 7143-7151 9 p.

Research output: Contribution to journal › Article › Academic › peer-review

Clone-Seeker: Effective Code Clone Search Using Annotations

Hammad, M., Babur, Ö., Basit, H. A. & Brand, M. V. D., 21 Jan 2022, In: IEEE Access. 10, p. 11696-11713 18 p., 9690111.

Research output: Contribution to journal › Article › Academic › peer-review

Open Access

File

16 Downloads (Pure)

Collusion-resistant fingerprinting of parallel content channels

Joudeh, B. & Škorić, B., 18 Apr 2022

Research output: Other contribution › Other research output

File

4 Downloads (Pure)

Communication in a world of pervasive surveillance: Sources and methods: Counter-strategies against pervasive surveillance architecture

Appelbaum, J. R., 25 Mar 2022, Eindhoven: Eindhoven University of Technology. 327 p.

Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access

File

1722 Downloads (Pure)

Comparative Evaluation of Contribution-Value Plots for Machine Learning Understanding

Collaris, D. & van Wijk, J. J., 1 Feb 2022, In: Journal of Visualization. 25, 1, p. 47-57 11 p.

Research output: Contribution to journal › Article › Academic › peer-review

Open Access

File

8 Downloads (Pure)

Comparison of stability regions for a line distribution network with stochastic load demands

Christianen, M. H. M., Cruise, J., Janssen, A. J. E. M., Shneer, S., Vlasiou, M. & Zwart, B., 17 Jan 2022.

Research output: Working paper › Academic

File

11 Downloads (Pure)

Conceptualizing Digital Twins

Eramo, R., Bordeleau, F., Combemale, B., van den Brand, M., Wimmer, M. & Wortmann, A., 1 Mar 2022, In: IEEE Software. 39, 2, p. 39-46 8 p.

Research output: Contribution to journal › Article › Academic › peer-review

1 Downloads (Pure)

Conformance Checking: A Systemic View.

Dongen, B. F. V., 2022, Business Process Management Workshops - BPM 2021 International Workshops, Revised Selected Papers. Marrella, A. & Weber, B. (eds.). p. 61-72 12 p. (Lecture Notes in Business Information Processing; vol. 436 LNBIP).

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

Correction to: An Energy Conservative hp-method for Liouville’s Equation of Geometrical Optics (Journal of Scientific Computing, (2021), 89, 1, (27), 10.1007/s10915-021-01612-x)

van Gestel, R. A. M., Anthonissen, M. J. H., Boonkkamp, J. H. M. T. T. & IJzerman, W. L., 24 Jan 2022, In: Journal of Scientific Computing. 90, 3, 2 p., 80.

Research output: Contribution to journal › Comment/Letter to the editor › Academic › peer-review

Open Access

File

7 Downloads (Pure)

Cross-Language Plagiarism Detection: Methods, Tools, and Challenges: A Systematic Review

Botto Tobar, M. A., van den Brand, M. G. J. & Serebrenik, A., 20 May 2022, In: International Journal on Advanced Science, Engineering and Information Technology. 12, 2, p. 589-599 11 p.

Research output: Contribution to journal › Article › Academic › peer-review

Open Access

File

5 Downloads (Pure)

Deep Ensembling with No Overhead for either Training or Testing: The All-Round Blessings of Dynamic Sparsity

Liu, S., Chen, T., Atashgahi, Z., Chen, X., Sokar, G., Mocanu, E., Pechenizkiy, M., Wang, Z. & Mocanu, D. C., 20 Jan 2022, (Accepted/In press) International Conference on Learning Representations, ICLR 2022.

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

File

3 Downloads (Pure)

Deep learning for corneal and retinal image analysis: AI for your eye

Heslinga, F., 21 Jun 2022, (Accepted/In press) Eindhoven: Eindhoven University of Technology.

Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)

Deep Reinforcement Learning for Load-Balancing Aware Network Control in IoT Edge Systems

Liu, Q., Xia, T., Cheng, L., van Eijk, M., Ozcelebi, T. & Mao, Y., 1 Jun 2022, In: IEEE Transactions on Parallel and Distributed Systems. 33, 6, p. 1491-1502 12 p.

Research output: Contribution to journal › Article › Academic › peer-review

4 Citations (Scopus)

Defining Meaningful Local Process Models

Brunings, M., Fahland, D. & van Dongen, B., 2022, Transactions on Petri Nets and Other Models of Concurrency XVI. Koutny, M., Kordon, F. & Moldt, D. (eds.). Springer, p. 24-48 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13220 LNCS).

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

Design and Evaluation of Remote Driving Architecture on 4G and 5G Mobile Networks

den Ouden, J. H. V., Ho, V., van der Smagt, T., Kakes, G., Rommel, S., Passchier, I., Juza, J. & Tafur Monroy, I., 11 Jan 2022, In: Frontiers in Future Transportation. 2, 12 p., 801567.

Research output: Contribution to journal › Article › Academic › peer-review

Open Access

File

37 Downloads (Pure)

Differences in estimates for 10-year risk of cardiovascular disease in Black versus White individuals with identical risk factor profiles using pooled cohort equations: an in silico cohort study

Vasan, R. S. & van den Heuvel, E., Jan 2022, In: The Lancet Digital Health. 4, 1, p. e55-e63

Research output: Contribution to journal › Article › Academic › peer-review

Open Access

File

2 Citations (Scopus)

2 Downloads (Pure)

Discovering Care Pathways for Multi-morbid Patients Using Event Graphs.

Aali, M. N., Mannhardt, F. & Toussaint, P. J., 2022, Process Mining Workshops - ICPM 2021 International Workshops, Eindhoven, The Netherlands, October 31 - November 4, 2021, Revised Selected Papers.. Munoz-Gama, J. & Lu, X. (eds.). Springer, p. 352-364 13 p. (Lecture Notes in Business Information Processing (LNBIP); vol. 433).

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

Open Access

Don't Be So Dense: Sparse-to-Sparse GAN Training Without Sacrificing Performance

Liu, S., Tian, Y., Chen, T. & Shen, L., 1 Mar 2022, (Submitted) In: International Journal of Computer Vision. XX, X

Research output: Contribution to journal › Article › Academic › peer-review

Editorial: Many-Body Green’s Functions and the Bethe-Salpeter Equation in Chemistry: From Single Molecules to Complex Systems

Dvorak, M., Baumeier, B., Golze, D., Leppert, L. & Rinke, P., 21 Feb 2022, In: Frontiers in Chemistry. 10, 2 p., 866492.

Research output: Contribution to journal › Editorial › Academic › peer-review

Open Access

File

3 Downloads (Pure)

Een wiskundige doet de afwas 4: Juiste hoeveelheid yoghurt

Verhoeff, I. & Verhoeff, T., Feb 2022, In: Pythagoras : Wiskundetijdschrift voor Jongeren. 61, 4, p. 4-5 2 p.

Research output: Contribution to journal › Article › Popular

Een wiskundige doet de afwas 5: Handige halve bananenplakjes

Verhoeff, T. & Verhoeff, I., Apr 2022, In: Pythagoras : Wiskundetijdschrift voor Jongeren. 61, 5, p. 6-7 2 p.

Research output: Contribution to journal › Article › Popular

Efficient Memory Utilization in Conformance Checking of Process Event Streams

Zaman, R., Hassani, M. & van Dongen, B. F., 25 Apr 2022, p. 437-440.

Research output: Contribution to conference › Poster › Academic

Efficient Sampling and Solver Enhancement for Uncertainty Quantification

van Halder, Y., 18 Jan 2022, Eindhoven: Technische Universiteit Eindhoven. 155 p.

Research output: Thesis › Phd Thesis 1 (Research TU/e / Graduation TU/e)

Open Access

File

40 Downloads (Pure)

Encapsulation Component and Its Incidence into Scientific Software Performance

Pizarro-Vasquez, G. O., Barahona, F. & Botto-Tobar, M., 2022, Communication, Smart Technologies and Innovation for Society - Proceedings of CITIS 2021. Rocha, Á., López-López, P. C. & Salgado-Guerrero, J. P. (eds.). Springer, p. 709-719 11 p. (Smart Innovation, Systems and Technologies; vol. 252).

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