Department of Mathematics and Computer Science

Research Output

Filter
Chapter
2020

A latitudinal study on the use of sequential and concurrency patterns in deviance mining

Genga, L., Potena, D., Chiorrini, A., Diamantini, C. & Zannone, N., 1 Jan 2020, Complex Pattern Mining. Appice, A., Ceci, M., Loglisci, C., Manco, G., Masciari, E. & Ras, Z. (eds.). Cham: Springer, p. 103-119 17 p. (Studies in Computational Intelligence; vol. 880).

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

1 Downloads (Pure)

Lower Bounds for Dominating Set in Ball Graphs and for Weighted Dominating Set in Unit-Ball Graphs

de Berg, M. T. & Kisfaludi-Bak, S., 2020, Treewidth, Kernels, and Algorithms. Fomin, F., Kratsch, S. & van Leeuwen, E. (eds.). p. 31-48

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

Modelling Sea Ice and Melt Ponds Evolution: Sensitivity to Microscale Heat Transfer Mechanisms

Scagliarini, A., Calzavarini, E., Mansutti, D. & Toschi, F., 2020, Mathematical Approach to Climate Change and its Impacts. Cannarsa, P. (ed.). Springer, p. 179-198 20 p. (Springer INdAM Series; vol. 38).

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

2019

A complete axiomatization of branching bisimilarity for a simple process language with probabilistic choice: (extended abstract)

van Glabbeek, R. J., Groote, J. F. & de Vink, E. P., 4 Nov 2019, The Art of Modelling Computational Systems: {A} Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday. Alvim, M. S., Chatzikokolakis, K., Olarte, C. & Valencia, F. (eds.). Cham: Springer, p. 139-162 (Lecture Notes in Computer Science; vol. 11760 LNCS).

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

An axiomatization of strong distribution bisimulation for a language with a parallel operator and probabilistic choice

Groote, J. F. & de Vink, E. P., 2019, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). ter Beek, M. H., Fantechi, A. & Semini, L. (eds.). Cham: Springer, p. 449-463 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11865 LNCS).

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

Approximating (k,ℓ)-center clustering for curves

Buchin, K., Driemel, A., Gudmundsson, J., Horton, M., Kostitsyna, I., Löffler, M. & Struijs, M., 2 Jan 2019, 30th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA). Chan, T. M. (ed.). Society for Industrial and Applied Mathematics (SIAM), p. 2922-2938 17 p.

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

Open Access
3 Citations (Scopus)
1 Downloads (Pure)

A primer on stochastic processes

Peletier, M. A., 20 Mar 2019, Complexity science: an introduction. Peletier, M. A., van Santen, R. A. & Steur, E. (eds.). World Scientific, p. 183-198 16 p.

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

5 Downloads (Pure)

Business drivers of a collaborative, proactive maintenance solution

Jantunen, E., Akcay, A., Campos, J., Holenderski, M. J., Kotkansalo, A., Salokangas, R. & Sharma, P., 2019, The MANTIS Book: Cyber Physical System Based Proactive Collaborative Maintenance. River Publishers, p. 7-35 29 p. (River publishers series in automation, control and robotics).

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

Open Access
File
2 Citations (Scopus)
151 Downloads (Pure)

Case study: Probabilistic estimates in the application of inventory models for perishable products in SMEs

Cevallos-Torres, L. & Botto-Tobar, M., 1 Jan 2019, Problem-based learning: a didactic strategy in the teaching of system simulation. Cevallos-Torres, L. & Botto-Tobar, M. (eds.). Springer, p. 123-132 10 p. (Studies in Computational Intelligence; vol. 824).

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

Case study: Project-based learning to evaluate probability distributions in medical area

Cevallos-Torres, L. & Botto-Tobar, M., 1 Jan 2019, Problem-based learning: a didactic strategy in the teaching of system simulation. Cevallos-Torres, L. & Botto-Tobar, M. (eds.). Springer, p. 111-122 12 p. (Studies in Computational Intelligence; vol. 824).

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

Case study: Logistical behavior in the use of urban transport using the monte carlo simulation method

Cevallos-Torres, L. & Botto-Tobar, M., 1 Jan 2019, Problem-based learning: A didactic strategy in the teaching of system simulation. Cevalles-Torres, L. & Botto-Tobar, M. (eds.). Springer, p. 97-110 14 p. (Studies in Computational Intelligence; vol. 824).

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

Cytosplore: interactive visual single-cell profiling of the immune system

Höllt, T., Pezzotti, N., vanUnen, V., Li, N., Koning, F., Eisemann, E., Lelieveldt, B. P. F. & Vilanova, A., 2019, Dirk Bartz Prize for Visual Computing in Medicine 2019 (Eurographics Medical Prize). 4 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

1 Downloads (Pure)

Data science in healthcare: benefits, challenges and opportunities

Abedjan, Z., Boujemaa, N., Campbell, S., Casla, P., Chatterjea, S., Consoli, S., Costa-Soria, C., Czech, P., Despenic, M., Garattini, C., Hamelinck, D., Heinrich, A., Kraaij, W., Kustra, J., Lojo, A., Sanchez, M. M., Mayer, M. A., Melideo, M., Menasalvas, E., Aarestrup, F. M. & 15 others, Artigot, E. N., Petković, M., Recupero, D. R., Gonzalez, A. R., Kerremans, G. R., Roller, R., Romao, M., Ruping, S., Sasaki, F., Spek, W., Stojanovic, N., Thoms, J., Vasiljevs, A., Verachtert, W. & Wuyts, R., 1 Jan 2019, Data Science for Healthcare: Methodologies and Applications. Consoli, S., Reforgiato Recupero, D. & Petković, M. (eds.). Cham: Springer, p. 3-38 36 p.

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

1 Citation (Scopus)

Graph query processing

Salihoglu, S. & Yakovets, N., 20 Feb 2019, Encyclopedia of Big Data Technologies. Sakr, S. & Zomaya, A. Y. (eds.). Berlin: Springer, p. 890-898 9 p.

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

1 Downloads (Pure)

Introduction to model management and analytics

Babur, Ö., Tekinerdogan, B., Cleophas, L. G. W. A., van den Brand, M. G. J. & Aksit, M., 17 Sep 2019, Model Management and Analytics for Large Scale Systems. Elsevier, p. 3-11 9 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Maintenance service logistics

Arts, J. J., Basten, R. J. I. & van Houtum, G. J. J. A. N., 2019, Operations, Logistics and Supply Chain Management. Zijm, H., Klumpp, M., Regattieri, A. & Heragu, S. (eds.). Berlin: Springer, p. 493-517 25 p. (Lecture Notes in Logistics).

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

19 Downloads (Pure)

Meta-learning

Vanschoren, J., 2019, Automatic Machine Learning: Methods, Systems, Challenges. Hutter, F., Kotthoff, L. & Vanschoren, J. (eds.). Cham: Springer, p. 39-61 27 p.

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

Open Access
File
27 Downloads (Pure)

Model analytics for industrial MDE ecosystems

Babur, Ö., Suresh, A., Alberts, W., Cleophas, L. G. W. A., Schiffelers, R. R. H. & van den Brand, M. G. J., 17 Sep 2019, Model Management and Analytics for Large Scale Systems. Elsevier, p. 273-316 44 p.

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

Monte Carlo simulation method

Cevallos-Torres, L. & Botto-Tobar, M., 1 Jan 2019, Problem-based learning: A didactic strategy in the teaching of system simulation. Cevallos-Torres, L. & Botto-Tobar, M. (eds.). Springer, p. 87-96 10 p. (Studies in Computational Intelligence; vol. 824).

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

Overview of efficient clustering methods for high-dimensional big data streams

Hassani, M., 1 Jan 2019, Clustering Methods for Big Data Analytics. Nasraoui, O. & Ben N'Cir, C-E. (eds.). Cham: Springer, p. 25-42 18 p. (Unsupervised and Semi-Supervised Learning).

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

2 Downloads (Pure)

Process sampling

Cevallos-Torres, L. & Botto-Tobar, M., 1 Jan 2019, Problem-based learning: A didactic strategy in the teaching of system simulation. Cevallos-Torres, L. & Botto-Tobar, M. (eds.). Springer, p. 13-31 19 p. (Studies in Computational Intelligence; vol. 824).

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

Pseudo-random numbers and congruential methods

Cevallos-Torres, L. & Botto-Tobar, M., 1 Jan 2019, Problem-based learning: A didactic strategy in the teaching of system simulation. Cevallos-Torres, L. & Botto-Tobar, M. (eds.). Springer, p. 33-58 26 p. (Studies in Computational Intelligence; vol. 824).

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

Random graphs models for complex networks, and the brain

van der Hofstad, R., 20 Mar 2019, Complexity science: an introduction. Singapore: World Scientific, p. 199-246 48 p.

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

Random variable generation methods

Cevallos-Torres, L. & Botto-Tobar, M., 1 Jan 2019, Problem-based learning: A didactic strategy in the teaching of system simulation. Cevallos-Torres, L. & Botto-Tobar, M. (eds.). Springer, p. 59-86 28 p. (Studies in Computational Intelligence; vol. 824).

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

The role of deep learning in improving healthcare

Thaler, S. & Menkovski, V., 1 Jan 2019, Data Science for Healthcare: Methodologies and Applications. Consoli, S., Reforgiato Recupero, D. & Petković, M. (eds.). Cham: Springer, p. 75-116 42 p.

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

2 Citations (Scopus)

The SpectACl of nonconvex clustering: a spectral approach to density-based clustering.

Hess, S., Duivesteijn, W., Honysz, P. & Morik, K., 2019, Proceedings of 33rd AAAI Conference on Artificial IntelligenceAAAI. Association for the Advancement of Artificial Intelligence, 27 p.

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

Open Access
File
22 Downloads (Pure)

The system simulation and their learning processes

Cevallos-Torres, L. & Botto-Tobar, M., 1 Jan 2019, Problem-based learning: A didactic strategy in the teaching of system simulation. Cevallos-Torres, L. & Botto-Tobar, M. (eds.). Springer, p. 1-11 11 p. (Studies in Computational Intelligence; vol. 824).

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

Using process analytics to improve healthcare processes

Hompes, B., Dixit, P. & Buijs, J., 24 Feb 2019, Data Science for Healthcare: Methodologies and Applications. Consoli, S., Reforgiato Recupero, D. & Petković, M. (eds.). Cham: Springer, p. 305-325 21 p.

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

2 Citations (Scopus)

Vascular biomarkers for diabetes and diabetic retinopathy screening

Huang, F., Abbasi-Sureshjani, S., Zhang, J., Bekkers, E. J., Dasht Bozorg, B. & ter Haar Romeny, B. M., 22 Nov 2019, Computational Retinal Image Analysis: Tools, Applications and Perspectives. Trucco, E., MacGillivray, T. & Xu, Y. (eds.). Academic Press Inc., p. 319-352 34 p.

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

Why algorithms are dangerous: what the role of aI should be in cybersecurity

Cappers, B. C. M., Mengerink, J. G. M. & van de Pasch, J., 12 Mar 2019, European Cyber Security Perspectives 2019. p. 76-78 3 p.

Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

2 Downloads (Pure)
2018

A master class on recursion

Verhoeff, T., 6 Sep 2018, Adventures Between Lower Bounds and Higher Altitudes: Essays Dedicated to Juraj Hromkovič on the Occasion of His 60th Birthday. Böckenhauer, H-J., Komm, D. & Unger, W. (eds.). Springer, Vol. 11011. p. 610-633 24 p. (Lecture Notes in Computer Science; vol. 11011).

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

Open Access
1 Citation (Scopus)
2 Downloads (Pure)

A survey of benchmarks for graph-processing systems

Fletcher, G. H. L., Bonifati, A., Hidders, A. J. H. J. & Iousup, A., 2018, Graph Data Management. Fletcher, G., Hidden, J. & Larriba-Pey, J. (eds.). Cham: Springer, p. 163-186 24 p.

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

Computing alignments of event data and process models

van Zelst, S. J., Bolt, A. & van Dongen, B. F., 1 Jan 2018, Transactions on Petri Nets and Other Models of Concurrency XIII. Koutny, M., Kristensen, L. M. & Penczek, W. (eds.). Berlin: Springer, p. 1-26 26 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11090 LNCS).

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

1 Citation (Scopus)

Eventpad : a visual analytics approach to network intrusion detection and reverse engineering

Cappers, B. C. M., van Wijk, J. J. & Etalle, S., 23 Apr 2018, European Cyper Security Perspectives 2018. Den Haag: KPN, p. 62-65 4 p.

Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

Open Access
File
97 Downloads (Pure)

Extending paradigm with data

Groenewegen, L. P. J., Verschuren, J. H. S. & de Vink, E. P., 1 Jan 2018, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). de Boer, F., Bonsangue, M. & Rutten, J. (eds.). Dordrecht: Springer, p. 224-244 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10865 LNCS).

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

1 Downloads (Pure)

Heuristic mining approaches for high-utility local process models

Dalmas, B., Tax, N. & Norre, S., Dec 2018, Transactions on Petri nets and other models of concurrency XIII. Koutny, M., Kristensen, L. M. & Penczek, W. (eds.). Berlin: Springer, p. 27-51 25 p. (Lecture notes in computer science; vol. 11090)(Transactions on Petri nets and other models of concurrency; vol. 13).

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

Mining process model descriptions of daily life through event abstraction

Tax, N., Sidorova, N., Haakma, R. & van der Aalst, W. M. P., 1 Jan 2018, Intelligent Systems and Applications: Extended and Selected Results from the SAI Intelligent Systems Conference (IntelliSys) 2016. Kapoor, S., Bhatia, R. & Bi, Y. (eds.). Berlin: Springer, p. 83-104 22 p. (Studies in Computational Intelligence; vol. 751).

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

6 Citations (Scopus)

Preface

Duivesteijn, W., Siebes, A. & Ukkonen, A., 1 Jan 2018, Advances in Intelligent Data Analysis XVII: 17th International Symposium, IDA 2018, ’s-Hertogenbosch, The Netherlands, October 24–26, 2018, Proceedings. Duivesteijn, W., Siebes, A. & Ukkonen, A. (eds.). Berlin: Springer, p. V-VI 2 p. (Lecture Notes in Computer Science; vol. 11191).

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

Quality of life: a poor and vulnerable people

Lintsen, H., Laan, L. S., Nomaler, O., Anthonissen, M. & Gales, B. P. A., 14 Jun 2018, Well-Being, Sustainability and Social Development: The Netherlands 1850-2050. Lintsen, H., Veraart, F., Smits, J-P. & Grin, J. (eds.). Cham: Springer, p. 81-102 22 p.

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

Open Access
File
36 Downloads (Pure)

RapidProM: mine your processes and not just your data

van der Aalst, W. M. P., Bolt Iriondo, A. J. & van Zelst, S. J., 2018, (In preparation) RapidMiner : Data Mining Use Cases and Business Analytics Applications . Hofmann, M. & Klinkenberg, R. (eds.). 2nd ed. Chapman & Hall/CRC Press, (Chapman & Hall/CRC Data Mining and Knowledge Discovery Series).

Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

File
2 Downloads (Pure)

Self-organized quantum rings: physical characterization and theoretical modeling

Fomin, V. M., Gladilin, V. N., van Bree, J., Flatté, M. E., Devreese, J. T. & Koenraad, P. M., 1 Jan 2018, Physics of quantum rings. Fomin, V. M. (ed.). Cham: Springer, p. 91-120 30 p. (NanoScience and Technology; vol. Part F2).

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

Theory of local search

Michiels, W., Aarts, E. H. L. & Korst, J., 13 Aug 2018, Handbook of heuristics. Martí, R., Pardalos, P. & Resende, M. (eds.). Cham: Springer, p. 299-339 41 p.

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

The Poincaré polynomial of a linear code

Galindo, C., Hernando, F., Montserrat, F. & Pellikaan, G. R., 18 Sep 2018, Singularities, Algebraic Geometry, Commutative Algebra, and Related Topics: Festschrift for Antonio Campillo on the Occasion of his 65th Birthday. Greuel, G-M., Narváez Macarro, L. & Xambó-Descamps, S. (eds.). Cham: Springer, p. 525-535 11 p.

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

1 Downloads (Pure)

The point of departure around 1850: the turn of the tide

Lintsen, H., Lambert, F., Smits, J-P. & Anthonissen, M., 14 Jun 2018, Well-Being, Sustainability and Social Development: The Netherlands 1850-2050. Lintsen, H., Veraart, F., Smits, J-P. & Grin, J. (eds.). Cham: Springer, p. 147-164 18 p.

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

Open Access
File
38 Downloads (Pure)
2017

An algorithm, implementation and execution ontology design pattern

Ławrynowicz, A., Esteves, D., Panov, P., Soru, T., Džeroski, S. & Vanschoren, J., 27 Dec 2017, Advances in Ontology Design and Patterns. Amsterdam: IOS Press, p. 55-68 14 p.

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

Approximation-friendly discrepancy rounding

Bansal, N. & Nagarajan, V., 1 Jan 2017, A Journey Through Discrete Mathematics: A Tribute to Jiri Matousek. Loebl, M., Thomas, R. & Nešetřil, J. (eds.). Dordrecht: Springer, p. 89-114 26 p.

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

Automatic atlas-based segmentation of brain white matter in neonates at risk for neurodevelopmental disorders

Neto Fonseca, L. T., van Pul, C., Lori, N. F., van den Boom, R., Andriessen, P., Buijs, J. & Vilanova Bartroli, A., Jan 2017, Modeling, analysis, and visualization of anisotropy. Schultz, T., Özarslan, E. & Hotz, I. (eds.). 9783319613574 ed. Cham: Springer, p. 355-372 18 p. (Mathematics and Visualization).

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

1 Citation (Scopus)

CSP for parallelising Brzozowski's DFA construction algorithm

Strauss, T., Watson, B. W., Kourie, D. G. & Cleophas, L. G. W. A., 2017, The Role of Theory in Computer Science : Essays Dedicated to Janusz Brzozowski. s.l.: World Scientific, p. 217-244 28 p.

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

Decomposed replay using hiding and reduction as abstraction

Verbeek, H. M. W., 2017, Transactions on Petri Nets and Other Models of Concurrency XII. Koutny, M., Kleijn, J. & Penchek, W. (eds.). Dordrecht: Springer, p. 166-186 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10470 LNCS).

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

7 Citations (Scopus)

Everything you always wanted to know about your process, but did not know how to ask

de Murillas, E. G. L., Reijers, H. A. & van der Aalst, W. M. P., 2017, Business Process Management Workshops. Fantinato, M. & Dumas, M. (eds.). Springer, p. 296-309 14 p. (Lecture Notes in Business Information Processing; vol. 281).

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

4 Citations (Scopus)
1 Downloads (Pure)