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, Studies in Computational Intelligence. 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)
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
2 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
1 Citation (Scopus)
135 Downloads (Pure)

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: 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: 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

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
19 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
17 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
92 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

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
30 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

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
33 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

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

3 Citations (Scopus)
1 Downloads (Pure)

Geometries and interpolations for symmetric positive definite matrices

Feragen, A. & Fuster, A., 2017, Modeling, Analysis, and Visualization of Anisotropy. Schultz, T., Özarslan, E. & Hotz, I. (eds.). Dordrecht: Springer, p. 85-113 29 p. (Mathematics and Visualization; no. 9783319613574).

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

Isogenies for point counting on genus two hyperelliptic curves with maximal real multiplication

Ballentine, S., Guillevic, A., Lorenzo-Garcia, E., Martindale, C. R., Maisserer, M., Smith, B. & Top, J., 2017, Algebraic geometry for coding theory and cryptography. Howe, E. W., Lauter, K. E. & Walker, J. L. (eds.). Cham: Springer, p. 63-94 (Association for Women in Mathematics Series; vol. 9).

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

1 Citation (Scopus)

Mining process model descriptions of daily life through event abstraction

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

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

6 Citations (Scopus)

Montgomery curves and the Montgomery ladder

Bernstein, D. J. & Lange, T., 2017, Topics in Computational Number Theory Inspired by Peter L. Montgomery. Bos, J. W. . & Lenstra, A. K. (eds.). Cambridge: Cambridge University Press, p. 82-115

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

Open Access
File
136 Downloads (Pure)