Faculteit Wiskunde & Informatica

Onderzoeksoutput 1937 2020

Filter
Hoofdstuk
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. (redactie). Cham: Springer, blz. 139-162 (Lecture Notes in Computer Science; vol. 11760 LNCS).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

Axiomatization
Branching
Concretes
Completeness
Equational Theory

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. (redactie). Cham: Springer, blz. 449-463 15 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11865 LNCS).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

Bisimulation
Axiomatization
Semantics
Operator
Equational Theory
2 Citaties (Scopus)

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. (redactie). Society for Industrial and Applied Mathematics (SIAM), blz. 2922-2938 17 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

Open Access
Clustering
Curve
Simplification
Approximation
Hardness of Approximation
3 Downloads (Pure)

A primer on stochastic processes

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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

Stochastic Processes
Metastability
Evolution Equation
Stochastic Equations
Random walk
1 Citaat (Scopus)
123 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, blz. 7-35 30 blz. (River publishers series in automation, control and robotics).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

Open Access
Bestand

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. (redactie). Springer, blz. 123-132 10 blz. (Studies in Computational Intelligence; vol. 824).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

Industry
Economics
Sales
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. (redactie). Springer, blz. 111-122 12 blz. (Studies in Computational Intelligence; vol. 824).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

Probability distributions
Students

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. (redactie). Springer, blz. 97-110 14 blz. (Studies in Computational Intelligence; vol. 824).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

Probability distributions
Filling stations
Monte Carlo simulation

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 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

Allergy and Immunology
Immune System
Single-Cell Analysis
Workflow
Publications
1 Citaat (Scopus)

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 anderen, 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. (redactie). Cham: Springer, blz. 3-38 36 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

Delivery of Health Care
Technology
Health Care Sector
Big data
Learning

Graph query processing

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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

Query processing
Planning

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, blz. 3-11 9 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

Decision making
19 Downloads (Pure)

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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

Logistics
Availability
Supply chains
Life cycle
Engineers
17 Downloads (Pure)

Meta-learning

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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

Open Access
Bestand
Learning systems
Metadata
Pipelines

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, blz. 273-316 44 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

ecosystem engineering
ecosystem
clone
artifact
engineering

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. (redactie). Springer, blz. 87-96 10 blz. (Studies in Computational Intelligence; vol. 824).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

Stochastic models
Monte Carlo methods
Sampling
Monte Carlo simulation
2 Downloads (Pure)

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. (redactie). Cham: Springer, blz. 25-42 18 blz. (Unsupervised and Semi-Supervised Learning).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer 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. (redactie). Springer, blz. 13-31 19 blz. (Studies in Computational Intelligence; vol. 824).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer 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. (redactie). Springer, blz. 33-58 26 blz. (Studies in Computational Intelligence; vol. 824).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

Random variables

Random graphs models for complex networks, and the brain

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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

Graph Model
Random Graphs
Complex Networks
Connectivity
Emergent Behavior

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. (redactie). Springer, blz. 59-86 28 blz. (Studies in Computational Intelligence; vol. 824).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

Inverse transforms
Convolution
Random variables
Chemical analysis
Experiments
2 Citaties (Scopus)

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. (redactie). Cham: Springer, blz. 75-116 42 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

Learning
Delivery of Health Care
Artificial Intelligence
Technology
Artificial intelligence
12 Downloads (Pure)

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 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

Open Access
Bestand
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. (redactie). Springer, blz. 1-11 11 blz. (Studies in Computational Intelligence; vol. 824).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

Education
Information technology
Teaching
Students
3 Downloads (Pure)

Towards scalable and robust sum-product networks

Correia, A. H. C. & de Campos, C. P., 2019, Lecture Notes in Computer Science: SUM 2019: Scalable Uncertainty Management. Ben Amor, N., Quost, B. & Theobald, M. (redactie). Cham: Springer, blz. 409-422 4 blz. (Lecture Notes in Computer Science; vol. 11940).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

Network architecture
Learning systems
Processing
Experiments

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. (redactie). Cham: Springer, blz. 305-325 21 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

Delivery of Health Care
Data Mining
Medical Staff
Information Systems
Learning

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 mrt 2019, European Cyber Security Perspectives 2019. blz. 76-78 3 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukProfessioneel

Beaches
Artificial intelligence
Automation
2018
1 Citaat (Scopus)
2 Downloads (Pure)

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. (redactie). Springer, Vol. 11011. blz. 610-633 24 blz. (Lecture Notes in Computer Science; vol. 11011).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

Open Access
Recursion
Object-oriented Languages
Object-oriented Programming
Programming Languages
Computer Science

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. Springer, blz. 163 186 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer 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. (redactie). Berlin: Springer, blz. 1-26 26 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11090 LNCS).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

Data Model
Process Model
Alignment
Computing
Shortest Path Problem
83 Downloads (Pure)

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, blz. 62-65 4 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukProfessioneel

Open Access
Bestand
Reverse engineering
Intrusion detection
1 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. (redactie). Dordrecht: Springer, blz. 224-244 21 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10865 LNCS).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer 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. (redactie). Berlin: Springer, blz. 27-51 25 blz. (Lecture notes in computer science; vol. 11090)(Transactions on Petri nets and other models of concurrency; vol. 13).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

Statistical methods
Industry
Heuristic methods
1 Citaat (Scopus)

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, blz. 40-47 8 blz. 8595030

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer 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. (redactie). Berlin: Springer, blz. V-VI 2 blz. (Lecture Notes in Computer Science; vol. 11191).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

25 Downloads (Pure)

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. (redactie). Cham: Springer, blz. 81-102 22 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

Open Access
Bestand
natural capital
poverty
quality of life
Netherlands
Poverty

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 voorbereiding) RapidMiner : Data Mining Use Cases and Business Analytics Applications . Hofmann, M. & Klinkenberg, R. (redactie). 2nd redactie Chapman & Hall/CRC Press

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukProfessioneel

Bestand
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. (redactie). Cham: Springer, blz. 91-120 30 blz. (NanoScience and Technology; vol. Part F2).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

Indium
Magnetization
rings
Scanning tunneling microscopy
Magnetic moments

Theory of local search

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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

Combinatorial optimization
Local Search
Heuristic methods
Combinatorial Optimization Problem
Computational complexity
1 Downloads (Pure)

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. (redactie). Cham: Springer, blz. 525-535 11 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

Linear Codes
Polynomial
MDS Codes
Weight Enumerator
Reed-Muller Codes
29 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. (redactie). Cham: Springer, blz. 147-164 18 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

Open Access
Bestand
natural capital
politics
civil society
tides
tide
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, blz. 55-68 14 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer 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. (redactie). Dordrecht: Springer, blz. 89-114 26 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer 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, blz. 217-244 28 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

Algebra
Finite automata
Computer programming languages
Specifications
7 Citaties (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. (redactie). Dordrecht: Springer, blz. 166-186 21 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10470 LNCS).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

Decomposition
Costs
Alternatives
Process Mining
Abstraction
2 Citaties (Scopus)
1 Downloads (Pure)

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, blz. 296-309 14 blz. (Lecture Notes in Business Information Processing; vol. 281).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer 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. (redactie). Dordrecht: Springer, blz. 85-113 29 blz. (Mathematics and Visualization; nr. 9783319613574).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer 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. (redactie). Cham: Springer, blz. 63-94 (Association for Women in Mathematics Series; vol. 9).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

Isogenies
Hyperelliptic Curves
Counting
Genus
Multiplication
4 Citaties (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. (redactie). Berlin: Springer, blz. 83-104 (Studies in Computational Intelligence; vol. 751).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

Sensors
Supervised learning
Assisted living
131 Downloads (Pure)

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. (redactie). Cambridge: Cambridge University Press, blz. 82-115

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

Open Access
Bestand