Faculteit Wiskunde & Informatica

Onderzoeksoutput 1950 2020

Filter
Rapport
2019

A simpler O(m log n) algorithm for branching bisimilarity on labelled transition systems

Jansen, D. N., Groote, J. F., Keiren, J. J. A. & Wijs, A., 24 sep 2019, s.n.27 blz. (arXiv.org; vol. 1909.10824 [cs.LO])

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Data storage equipment

A simpler O (m log n) algorithm for branching bisimilarity on labelled transition systems

Jansen, D. N., Groote, J. F., Keiren, J. J. A. & Wijs, A., 2019, Eindhoven: Technische Universiteit Eindhoven. 27 blz. (Computer Science Reports; vol. 19-03)

Onderzoeksoutput: Boek/rapportRapportProfessioneel

Open Access
Bestand

Correct and efficient antichain algorithms for refinement checking

Laveaux, M., Groote, J. F. & Willemse, T., 2019, Eindhoven: Technische Universiteit Eindhoven. 28 blz. (Computer science reports; vol. 19/01)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
Specifications
Data storage equipment
Experiments

Distribution of Behaviour into parallel communicating subsystems

Alduhaiby, O. & Groote, J. F., 30 mei 2019, arXiv.org. 14 blz.

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
Decomposition
Distributed computer systems
Large scale systems
Communication

Homogenization of a pseudo-parabolic system via a spatial-temporal decoupling: upscaling and corrector estimates for perforated domains

Vromans, A., van de Ven, F. & Muntean, A., jan 2019, Eindhoven: Technische Universiteit Eindhoven. 35 blz. (CASA-Report; vol. 19, nr. 01)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
Perforated Domains
Upscaling
Corrector
Parabolic Systems
Decoupling

Partial-order reduction for parity games with an application on parameterised Boolean Equation Systems (Technical Report)

Neele, T., Willemse, T. & Wesselink, W., 1 sep 2019, Eindhoven: Technische Universiteit Eindhoven. 28 blz. (Computer science reports; vol. 19/02)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
Model checking
Explosions
Repair

Quantum indistinguishability of random sponges

Czajkowski, J., Hülsing, A. & Schaffner, C., 2019, IACR. 36 blz. (Cryptology ePrint Archive; nr. 2019/069)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand

Using graph data structures for event logs

Esser, S. & Fahland, D., 20 mei 2019, 57 blz.

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
Data structures
Data mining
Life cycle
Information systems
Industry
2018

Active flux schemes on moving meshes with applications to geometric optics

van Lith, B. S., ten Thije Boonkkamp, J. H. M. & IJzerman, W. L., 2018, Eindhoven: Technische Universiteit Eindhoven. 30 blz. (CASA Report; nr. 18-05)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand

BDD-based parity game solving: a comparison of Zielonka's recursive algorithm, priority promotion and fixpoint iteration

Sanchez, L., Wesselink, J. W. & Willemse, T. A. C., 2018, Eindhoven: Technische Universiteit Eindhoven. 19 blz. (Computer science reports; vol. 1801)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand

BPIC’2018: Mining Concept Drift in Performance Spectra of Processes

Denisov, V. V., Belkina, E. & Fahland, D., 2018, 30 blz. (BPI Challenge 2018)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand

Computation of double freeform optical surfaces using a Monge-Ampère solver: application to beam shaping

Yadav, N. K., ten Thije Boonkkamp, J. H. M. & IJzerman, W. L., 2018, Eindhoven: Technische Universiteit Eindhoven. 19 blz. (CASA Report; nr. 18-03)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand

CSIDH: an efficient Post-Quantum Commutative Group Action

Castryck, W., Lange, T., Martindale, C., Panny, L. & Renes, J., 2018, IACR. 33 blz. (Cryptology ePrint Archive; vol. 2018/383)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand

Determining the essentially different partitions of all Japanese convex tangrams

Beelen, T. G. J. & Verhoeff, T., nov 2018, 07 redactie Eindhoven: Technische Universiteit Eindhoven. 83 blz. (CASA report)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
Tangram
Partition
Number of Solutions
Diagram

First-order moment closure approximations for middle-sized systems with non-linear rates

Talebi, M., 9 jul 2018, Eindhoven: Technische Universiteit Eindhoven. 13 blz. (Computer Science Reports; vol. 18/02)

Onderzoeksoutput: Boek/rapportRapportProfessioneel

Open Access
Bestand
Closure
Approximation
Empirical distribution

Freeform lens design: a Monge-Ampère problem with non-quadratic cost function

Yadav, N. K., ten Thije Boonkkamp, J. H. M. & IJzerman, W. L., 2018, Eindhoven: Technische Universiteit Eindhoven. 27 blz. (CASA Report; nr. 1801)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand

Hilbert modular polynomials

Martindale, C. R., 2018

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand

Inverse reflector design for a point source and far-field target

Romijn, L. B., ten Thije Boonkkamp, J. H. M. & IJzerman, W. L., 2018, Eindhoven: Technische Universiteit Eindhoven. 20 blz. (CASA Report; nr. 18-08)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand

Log skeletons: a classification approach to process discovery

Verbeek, H. M. W. & Medeiros de Carvalho, R., 2018, arXiv.org. 30 blz.

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
Miners

Optical PUF statistics

Leermakers, D., Razeghi, B., Rezaeifar, S., Skoric, B., Taran, O. & Voloshynovskiy, S., 1 okt 2018, Eindhoven: Technische Universiteit Eindhoven. 33 blz. (Computer science reports; vol. 1804)

Onderzoeksoutput: Boek/rapportRapportAcademic

statistics

Optimal TNFS-secure pairings on elliptic curves with even embedding degree

Martindale, C. R. & Fotiadis, G., 2018, 30 blz. (Cryptology ePrint archive; vol. 2018/969)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
Pairing
Elliptic Curves
Quartic
Twist
Jacobi

Periodic homogenization of a pseudo-parabolic equation via a spatial-temporal decomposition

Vromans, A., van de Ven, F. & Muntean, A., okt 2018, Eindhoven: Technische Universiteit Eindhoven. 6 blz. (CASA-Report; vol. 18, nr. 06)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
Periodic Homogenization
Pseudoparabolic Equations
Decompose
Two-scale Convergence
Upscaling

Quantum circuits for the CSIDH: optimizing quantum evaluation of isogenies

Bernstein, D. J., Lange, T., Martindale, C. & Panny, L., 2018, IACR. 56 blz. (Cryptology ePrint Archive; vol. 2018/1059)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand

Solving parameterised Boolean equation systems with infinite data through quotienting

Neele, T. S., Willemse, T. A. C. & Groote, J. F., 2018, Eindhoven: Technische Universiteit Eindhoven. 24 blz. (Computer science reports; vol. 18-03)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand

Task elimination may actually increase throughput time

Schunselaar, D. M. M. & Verbeek, H. M. W., 2018, arXiv.org. 10 blz.

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
Throughput
Automation
Costs
2017

A nonlinear flux approximation scheme for the viscous Burgers equation

Kumar, N., ten Thije Boonkkamp, J. H. M., Koren, B. & Linke, A., 2017, Eindhoven: Technische Universiteit Eindhoven. 8 blz. (CASA-report; vol. 1701)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand

Assessing the quality of tabular state machines through metrics

Osaiweran, A. A. H., Marincic, J. & Groote, J. F., 2017, Eindhoven: Technische Universiteit Eindhoven. 16 blz. (Computer science reports; vol. 1701)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand

A two-dimensional complete flux scheme in local flow adapted coordinates

ten Thije Boonkkamp, J. H. M., Anthonissen, M. J. H. & Kwant, R. J., mrt 2017, Eindhoven: Technische Universiteit Eindhoven. 8 blz. (CASA-report; vol. 1706)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand

Berekening omvang extreme armoede in Nederland 1820-1913

Lintsen, H. W., Anthonissen, M. J. H. & Gales, B., 1 jul 2017, Eindhoven: Technische Universiteit Eindhoven. 203 blz. (Research rapport Technische Universiteit Eindhoven)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand

Compact high order complete flux schemes

ten Thije Boonkkamp, J. H. M. & Anthonissen, M. J. H., jun 2017, Eindhoven: Technische Universiteit Eindhoven. 10 blz. (CASA-report; vol. 1708)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand

Double-base scalar multiplication revisited

Bernstein, D. J., Chuengsatiansup, C. & Lange, T., 2017, s.l.: IACR. 38 blz. (Cryptology ePrint Archive; vol. 2017/037)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand

Existence of weak solutions for a pseudo-parabolic system coupling chemical reactions, diffusion and momentum equations

Vromans, A. J., van de Ven, A. A. F. & Muntean, A., feb 2017, Eindhoven: Technische Universiteit Eindhoven. 35 blz. (CASA-report; vol. 1703)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand

Finding all convex tangrams

Beelen, T. G. J., 2017, Eindhoven: Technische Universiteit Eindhoven. 37 blz. (CASA-report; vol. 1702)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand

Full linear multistep methods as root-finders

van Lith, B. S., ten Thije Boonkkamp, J. H. M. & IJzerman, W. L., feb 2017, Eindhoven: Technische Universiteit Eindhoven. 18 blz. (CASA-report; vol. 1705)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand

"HILA5 pindakaas" : on the CCA security of lattice-based encryption with error correction

Bernstein, D. J., Groot Bruinderink, L., Lange, T. & Panny, L. S., 2017, s.l.: IACR. 14 blz. (Cryptology ePrint Archive; vol. 2017/1214)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
Error correction
Encapsulation
Cryptography
Recovery

Interference in wireless networks : a game theory approach

Vovchak, S. & Beelen, T. G. J., feb 2017, Eindhoven: Technische Universiteit Eindhoven. 43 blz. (CASA-report; vol. 1704)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand

Inverse ray mapping in phase space for two-dimensional reflective optical systems

Filosa, C., ten Thije Boonkkamp, J. H. M. & IJzerman, W. L., 2017, Eindhoven: Technische Universiteit Eindhoven. 24 blz. (CASA report; nr. 1710)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand

Lattice klepto : turning post-quantum crypto against itself

Kwant, R., Lange, T. & Thissen, K., 2017, s.l.: IACR. 19 blz. (Cryptology ePrint Archive ; vol. 2017/1140)

Onderzoeksoutput: Boek/rapportRapportAcademic

Cryptography

Minutia-pair spectral representations for fingerprint template protection

Stanko, T. & Skoric, B., 20 mrt 2017, Eindhoven: Technische Universiteit Eindhoven.

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand

Montgomery curves and the Montgomery ladder

Bernstein, D. J. & Lange, T., 2017, s.l.: IACR. 43 blz. (Cryptology ePrint Archive; vol. 2017/293)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
Curve
Time Constant
Elliptic Curves
Scalar
Computing

On the geometry of Hamiltonian systems : lecture notes seminar GISDA - Universidad del Bio Bio

van der Meer, J. C., jun 2017, Eindhoven: Technische Universiteit Eindhoven. 49 blz. (CASA Reports; vol. 9)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand

Phase space ray tracing for a two-dimensional parabolic reflector

Filosa, C., ten Thije Boonkkamp, J. H. M. & IJzerman, W. L., jun 2017, Eindhoven: Technische Universiteit Eindhoven. 7 blz. (CASA-report; vol. 1707)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand

Post-quantum cryptography : dealing with the fallout of physics success

Bernstein, D. J. & Lange, T., 2017, s.l.: IACR. 20 blz. (Cryptology ePrint Archive; vol. 2017/314)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
cryptography
quantum cryptography
fallout
quantum computers
communication

Problem solving using process algebra considered insightful

Groote, J. F. & de Vink, E. P., 2017, Eindhoven: Technische Universiteit Eindhoven. 13 blz. (Computer science reports; vol. 1702)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand

Rounded Gaussians : fast and secure constant-time sampling for lattice-based crypto

Hülsing, A. T., Lange, T. & Smeets, K., 2017, s.l.: IACR. 38 blz. (Cryptology ePrint Archive; vol. 2017/1025)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
Sampling
Side channel attack

Sliding right into disaster: left-to-right sliding windows leak

Bernstein, D. J., Breitner, J., Genkin, D., Groot Bruinderink, L., Heninger, N., Lange, T., van Vredendaal, C. & Yarom, Y., 2017, s.l.: IACR. 21 blz. (Cryptology ePrint Archive; vol. 2017/627)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
Disasters
Recovery

The sound of space-filling curves

Haverkort, H. J., 1 aug 2017, Eindhoven: Eindhoven University of Technology. 11 blz.

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand

Two queues with random time-limited polling

Saxena, M., Boxma, O. J., Kapodistria, S. & Nunez Queija, R., 20 jan 2017, Eindhoven: Eurandom. 21 blz. (Report Eurandom; vol. 2017001)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand

Two queues with random time-limited polling

Saxena, M., Boxma, O. J., Kapodistria, S. & Núñez Queija, R., 24 jan 2017, arXiv.org. (arXiv; vol. 1701.06834v2 [math.PR])

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
Servers
Switches

XES Software Communication Extension

Leemans, M. & Liu, C., 20 nov 2017, s.l.: XES Working Group. 4 blz.

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
Application programs
Communication
Availability