Faculteit Wiskunde & Informatica

Onderzoeksoutput 1937 2020

Filter
Rapport
2019
15 Downloads (Pure)

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
58 Downloads (Pure)

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
11 Downloads (Pure)

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
4 Downloads (Pure)

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

Vertaalde titel van de bijdrage: Homogenizatie van een pseudo-parabolisch systeem via een spatiaal-temporale ontkoppeling: opschaling en corrector schattingen voor geperforeerde domeinenVromans, 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
8 Downloads (Pure)

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
8 Downloads (Pure)

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
4 Downloads (Pure)

Sound idle and block equations for finite state machines in xMAS

Fedotov, A., Keiren, J. J. A. & Schmaltz, J., nov 2019, Eindhoven: Technische Universiteit Eindhoven. 32 blz. (Computer science reports; vol. 19-04)

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
42 Downloads (Pure)

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
28 Downloads (Pure)

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
157 Downloads (Pure)

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
28 Downloads (Pure)

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
51 Downloads (Pure)

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
32 Downloads (Pure)

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
3 Downloads (Pure)

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
26 Downloads (Pure)

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
107 Downloads (Pure)

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
19 Downloads (Pure)

Hilbert modular polynomials

Martindale, C. R., 2018

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
44 Downloads (Pure)

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
16 Downloads (Pure)

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
7 Downloads (Pure)

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
10 Downloads (Pure)

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
4 Downloads (Pure)

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

Vertaalde titel van de bijdrage: Periodieke homogenizatie van een pseudo-parabolische vergelijking via een spatiaal-temporale decompositieVromans, 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
44 Downloads (Pure)

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
45 Downloads (Pure)

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
3 Downloads (Pure)

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
130 Downloads (Pure)

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
165 Downloads (Pure)

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
73 Downloads (Pure)

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
19 Downloads (Pure)

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
70 Downloads (Pure)

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
32 Downloads (Pure)

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
38 Downloads (Pure)

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
654 Downloads (Pure)

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
71 Downloads (Pure)

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
104 Downloads (Pure)

"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
455 Downloads (Pure)

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
26 Downloads (Pure)

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
73 Downloads (Pure)

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
65 Downloads (Pure)

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
28 Downloads (Pure)

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
103 Downloads (Pure)

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
225 Downloads (Pure)

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
191 Downloads (Pure)

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
66 Downloads (Pure)

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
40 Downloads (Pure)

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
237 Downloads (Pure)

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
65 Downloads (Pure)

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
24 Downloads (Pure)

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
21 Downloads (Pure)

XES Software Communication Extension

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

Onderzoeksoutput: Boek/rapportRapportAcademic

Open Access
Bestand
Communication
Application programs
Availability