Department of Mathematics and Computer Science

Research Output 1950 2019

Filter
Chapter
2019

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

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

Open Access
File

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

Probability distributions
Filling stations
Monte Carlo simulation

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

Probability distributions
Students

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

Industry
Economics
Sales
Monte Carlo simulation

Graph query processing

Salihoglu, S. & Yakovets, N., 2019, (Accepted/In press) Encyclopedia of Big Data Technologies. Sakr, S. & Zomaya, A. (eds.). Springer

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

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.). Amsterdam: Springer, p. 493-517 25 p.

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

Logistics
Availability
Supply chains
Life cycle
Engineers

Meta-learning

Vanschoren, J., 2019, (Accepted/In press) Automatic Machine Learning: Methods, Systems, Challenges. Hutter, F., Kotthoff, L. & Vanschoren, J. (eds.). New York: Springer, p. 39-68 30 p.

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

Open Access
Learning systems
Metadata
Pipelines

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

Stochastic models
Monte Carlo methods
Sampling
Monte Carlo simulation

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

Clustering algorithms
Data mining
Sensors
Big data

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

Sampling
Statistics

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 variables

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

Inverse transforms
Convolution
Random variables
Chemical analysis
Experiments

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

Education
Information technology
Teaching
Students
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
Recursion
Object-oriented Languages
Object-oriented Programming
Programming Languages
Computer Science

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

Data Model
Process Model
Alignment
Computing
Shortest Path Problem

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
Reverse engineering
Intrusion detection

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

Bakeries
Paradigm
Dependent Data
Modeling Language
Interaction

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

Statistical methods
Industry
Heuristic methods

Human activity prediction in smart home environments with LSTM neural networks

Tax, N., 25 Jun 2018, Proceedings of the 14th International Conference on Intelligent Environments (IE). Piscataway: Institute of Electrical and Electronics Engineers (IEEE), p. 40-47 8 p. 8595030

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

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.). Chapman & Hall/CRC Press

Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

Health care
Data mining
Learning systems
Compliance

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

Indium
Magnetization
rings
Scanning tunneling microscopy
Magnetic moments

The poincaré polynomial of a linear code

Galindo, C., Hernando, F., Montserrat, F. & Pellikaan, G. R., 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

Linear Codes
Poincaré
Polynomial
MDS Codes
Weight Enumerator
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

Ontology
Learning systems
Interoperability
Data mining
Experiments

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

Rounding
Discrepancy
Approximation
Linear systems
Matroid

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

Algebra
Finite automata
Computer programming languages
Specifications
5 Citations (Scopus)

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

Decomposition
Costs
Alternatives
Process Mining
Abstraction
2 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. Springer, p. 296-309 14 p. (Lecture Notes in Business Information Processing; vol. 281)

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

Query languages

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

Symmetric Positive Definite Matrix
Interpolation
Interpolate
Metric
Tensors

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

Isogenies
Hyperelliptic Curves
Counting
Genus
Multiplication
3 Citations (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

Sensors
Supervised learning
Assisted living

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
2 Citations (Scopus)

Problem solving using process algebra considered insightful.

Groote, J. F. & de Vink, E. P., 2017, ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. Katoen, J-P., Langerak, R. & Rensink, A. (eds.). Cham: Springer, p. 48-63 (Lecture Notes in Computer Science; vol. 10500)

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

Process Algebra
Combinatorial Problems
Model Checking
Visualization
Model

Ranking learning-to-rank methods

Hiemstra, D., Tax, N. & Bockting, S., 27 Nov 2017, Proceedings of the 1st International Workshop on LEARning Next gEneration Rankers. Ferro, N., Lucchese, C., Maistro, M. & Perego, R. (eds.). Aachen, p. 3-3 1 p. (CEUR Workshop Proceedings; vol. 2007)

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

Open Access
File

Unified part-patch segmentation of mesh shapes using surface skeletons

Koehoorn, J., Feng, C., Kustra, J., Jalba, A. & Telea, A., 1 Jan 2017, Skeletonization: Theory, Methods and Applications. Amsterdam: Elsevier, p. 89-122 34 p.

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

Data storage equipment
Costs
2 Citations (Scopus)

μShield: configurable code-reuse attacks mitigation for embedded systems

Abbasi, A., Wetzels, A. L. G. M., Bokslag, W., Zambon, E. & Etalle, S., 2017, Network and System Security: 11th International Conference, NSS 2017, Helsinki, Finland, August 21-23, 2017, Proceedings. Yan, Z., Molva, R., Mazurczyk, W. & Kantola, R. (eds.). Dordrecht: Springer, p. 694-709 16 p. (Lecture Notes in Computer Science (LNCS); vol. 10394)

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

Embedded systems
Computer systems
Hardware
Data storage equipment
2016

An algorithm, implementation and execution ontology design pattern

Lawrynowicz, A., Esteves, D., Panov, P., Soru, T., Dzeroski, S. & Vanschoren, J., 1 Nov 2016, ISWC Workshop on Ontology and Semantic Web Patterns.

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

Open Access
File
Ontology
Learning systems
Interoperability
Data mining
Experiments

Asymmetric pedestrian dynamics on a staircase landing from continuous measurements

Corbetta, A., Lee, C-M., Muntean, A. & Toschi, F., 2016, Traffic and Granular Flow '15. Knoop, V. L. & Daamen, W. (eds.). Berlin: Springer, p. 49-56 7 p.

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

Open Access
File
Landing
Stairs
Trajectories
Sensors
12 Citations (Scopus)

Dual EC: a standardized back door

Bernstein, D. J., Lange, T. & Niederhagen, R., 2016, The New Codebreakers : Essays Dedicated to David Kahn on the Occasion of His 85th Birthday. Ryan, P. Y. A., Naccache, D. & Quisquater, J. J. (eds.). Dordrecht: Springer, p. 256-281 26 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9100)

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

Pseudorandom numbers
Patents
Standardization
Ecosystem
Ecosystems

Exact algorithms and time/space tradeoffs

Nederlof, J., 2016, Encyclopedia of Algorithms. M.-Y., K. (ed.). Dordrecht: Springer, p. 661-664 4 p.

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

Fingerprinting

Skoric, B., 2016, Information Hiding. Katzenbeisser, S. & Petitcolas, F. (eds.). 2nd ed. Boston: Artech House, p. 175-200 (Artech House information security and privacy series)

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Introduction to the 11th International Workshop on Business Process Intelligence (BPI 2015)

van Dongen, B. F., Ferreira, D. R., De Weerdt, J. & Burattin, A., 2016, Business Process Management Workshops - BPM 2015, 13th International Workshops, Innsbruck, Austria, August 31 - September 3, 2015, Revised Papers . Dordrecht: Springer, p. 110-111 (Lecture Notes in Business Information Processing; vol. 256)

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

Minimization of finite state automata through partition aggregation

Bjorklund, J. & Cleophas, L., 2016, Logical aspects of computational linguistics: celebrating 20 years of LACL (1996-2016). Amblard, M., de Groote, P., Pogodalla, S. & Retoré, C. (eds.). Berlin: Springer, p. 328-328 (Lecture Notes in Computer Science; vol. 10054)

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

Nomadic service discovery in smart cities

Stolikj, M., Lukkien, J. J., Cuijpers, P. J. L. & Buchina, N., 13 May 2016, Smart Cities and Homes : Key Enabling Technologies. Obaidat, M. & Nicopolitidis, P. (eds.). Amsterdam: Elsevier, p. 59-90 32 p.

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

Servers
Network protocols
Smartphones
Sensors
Interoperability

Parity games

Willemse, T. A. C. & Gazda, M. W., 2016, Encyclopedia of algorithms. Kao, M-Y. (ed.). 2nd ed. Berlin: Springer, p. 1532-1537

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

Platforms for ICME

Babur, Ö., Hashibon, A., Hanzich, M., Houzeaux, G. & Patzák, B., 2016, Handbook of software solutions for ICME. Schmitz, G. J. & Prahi, U. (eds.). Chichester: Wiley-VCH Verlag, p. 533-564 32 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

engineering
standardization
software
limiting factor
modeling

Quadtrees and Morton indexing

Haverkort, H. J. & Toma, L., 2016, Encyclopedia of Algorithms . Kao, M-Y. (ed.). Springer, p. 1637-1642

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

Towards a proof method for paradigm

Groenewegen, L. P. J., Kuiper, R. & de Vink, E. P., 2016, Theory and practice of formal methods: essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. Abraham, E., Bonsangue, M. M. & Johnsen, E. B. (eds.). Lecture Notes in Computer Science ed. Berlin: Springer, Vol. 9660, p. 242-260 19 p. (Lecture notes in computer science ; vol. 9660)

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

Pipelines
Modeling languages
5 Citations (Scopus)

Towards statistical comparison and analysis of models

Babur, Ö., Cleophas, L., Verhoeff, T. & van den Brand, M., 2016, Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development, February 19-21, 2016, in Rome, Italy . p. 361-367

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

Open Access
File
Recovery
Vector spaces
Linguistics
Genetic algorithms

Uniform interfaces for resource-sharing components in hierarchically scheduled real-time systems

van den Heuvel, M. M. H. P., Bril, R. J., Lukkien, J. J., Behnam, M. & Nolte, T., Jun 2016, Real-time systems. Jian, K. (ed.). Rijeka: InTech

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

Open Access
File