Department of Mathematics and Computer Science

Research Output 1937 2020

Filter
Chapter
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

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

Bisimulation
Axiomatization
Semantics
Operator
Equational Theory
2 Citations (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. (ed.). Society for Industrial and Applied Mathematics (SIAM), p. 2922-2938 17 p.

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

Open Access
Clustering
Curve
Simplification
Approximation
Hardness of Approximation
3 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

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

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

Open Access
File

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

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

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

Allergy and Immunology
Immune System
Single-Cell Analysis
Workflow
Publications
1 Citation (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 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

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. (eds.). Berlin: Springer, p. 890-898 9 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-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, p. 3-11 9 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

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

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-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. (eds.). Cham: Springer, p. 39-61 27 p.

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

Open Access
File
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, p. 273-316 44 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-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. (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
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. (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 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

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. (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
2 Citations (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. (eds.). Cham: Springer, p. 75-116 42 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-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 p.

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

Open Access
File
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
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. (eds.). Cham: Springer, p. 409-422 4 p. (Lecture Notes in Computer Science; vol. 11940).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-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. (eds.). Cham: Springer, p. 305-325 21 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-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 Mar 2019, European Cyber Security Perspectives 2019. p. 76-78 3 p.

Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

Beaches
Artificial intelligence
Automation
2018
1 Citation (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. (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

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

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

Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

Open Access
File
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. (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
1 Citation (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, 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

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

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

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

Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

File
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

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

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

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-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. (eds.). Cham: Springer, p. 147-164 18 p.

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

Open Access
File
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, 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
7 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)
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, 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
4 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
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. (eds.). Cambridge: Cambridge University Press, p. 82-115

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

Open Access
File