Department of Mathematics and Computer Science

Research Output

Filter
Other contribution

{O}(k)-robust spanners in one dimension

Buchin, K. A., Hulshof, W. J. T. T. & Olah, D., 2018, 6 p. Cornell university.

Research output: Other contributionAcademic

Open Access
File
3 Downloads (Pure)

AB43: An application of program derivation techniques to 18th-century mathematics

Bijlsma, A., 1997, Technische Universiteit Eindhoven.

Research output: Other contributionOther research output

AB59: A chain letter

Bijlsma, A., 1996, Technische Universiteit Eindhoven.

Research output: Other contributionOther research output

AB60: A very easy proof of Koenig's Lemma

Bijlsma, A., 1996, Technische Universiteit Eindhoven.

Research output: Other contributionOther research output

AB62: Self-contained proof of a rule for procedure calls

Bijlsma, A., 1996, Technische Universiteit Eindhoven.

Research output: Other contributionOther research output

AB63: Integer division through Galois connections

Bijlsma, A., 1997, Technische Universiteit Eindhoven.

Research output: Other contributionOther research output

AB66: Simulating file operations: an exercise in calculational data refinement

Bijlsma, A., 1997, Technische Universiteit Eindhoven.

Research output: Other contributionOther research output

AB67: The next permutation revisited

Bijlsma, A., 1997, Technische Universiteit Eindhoven.

Research output: Other contributionOther research output

A behavioral approach to the H_p optimal control problem

Weiland, S., Stoorvogel, A. A. & Jager, de, A. G., 1996, Technische Universiteit Eindhoven.

Research output: Other contributionOther research output

A dual shared stack for FSLM in Erika Enterprise

Balasubramanian, S. M. N., Afshar, S., Gai, P., Behnam, M. & Bril, R. J., 2017, 2 p.

Research output: Other contributionAcademic

File
47 Downloads (Pure)

Approximation Algorithms for Multi-Robot Patrol-Scheduling with Min-Max Latency: Proceedings of the 14th International Workshop on the Algorithmic Foundations of Robotics (WAFR 20)

Afshani, P., de Berg, M. T., Buchin, K. A., Gao, J., Löffler, M., Nayyeri, A., Raichel, B., Sarkar, R., Wang, H. & Yang, H-T., 2020, 25 p. Cornell university.

Research output: Other contributionAcademic

A spanner for the day after

Buchin, K. A., Har-Peled, S. & Olah, D., 2018, 21 p. Cornell university.

Research output: Other contributionAcademic

Open Access
File
4 Downloads (Pure)

A trivial debiasing scheme for helper data systems

Skoric, B., 2016, 10 p.

Research output: Other contributionOther research output

2 Downloads (Pure)

Authenticated communication from quantum readout of PUFs

Skoric, B., Pinkse, P. W. H. & Mosk, A. P., 2016, 6 p.

Research output: Other contributionOther research output

AvG129: The Wellfare Crook revisited or: abstract your data

Gasteren, van, A. J. M., 1996, Technische Universiteit Eindhoven.

Research output: Other contributionOther research output

AvG132a: Deriving a recurrence relation for the longest common subsequence, for the record

Gasteren, van, A. J. M., 1996, Technische Universiteit Eindhoven.

Research output: Other contributionOther research output

AvG134: A small relational proof, for the record

Gasteren, van, A. J. M., 1996, Technische Universiteit Eindhoven.

Research output: Other contributionOther research output

AvG135: Programs and datatypes

Doornbos, H. & Gasteren, van, A. J. M., 1996, Technische Universiteit Eindhoven.

Research output: Other contributionOther research output

AvG138: A tiny div-mod calculation

Gasteren, van, A. J. M., 1996, Technische Universiteit Eindhoven.

Research output: Other contributionOther research output

AvG154: A theorem on the lexically next permutation

Gasteren, van, A. J. M., 1997, Technische Universiteit Eindhoven.

Research output: Other contributionOther research output

AvG157: A little calculational proof, for the record

Gasteren, van, A. J. M., 1997, Technische Universiteit Eindhoven.

Research output: Other contributionOther research output

AvG180 A little process algebra, for my record

Gasteren, van, A. J. M., 1999, Technische Universiteit Eindhoven.

Research output: Other contributionOther research output

AvG181 Specificatie-oefeningen

Gasteren, van, A. J. M., 1999, Technische Universiteit Eindhoven.

Research output: Other contributionOther research output

Bayesian sample size determination for one-stage selection experiments

Coolen, F. P. A. & Laan, van der, P., 1996, Technische Universiteit Eindhoven.

Research output: Other contributionOther research output

BPI Challenge 2016: Clicks Logged In

Dees, M. & Dongen, B. F. V., 2016, UWV.

Research output: Other contributionOther research output

BPI Challenge 2016: Clicks NOT Logged In

Dees, M. & Dongen, B. F. V., 2016, UWV.

Research output: Other contributionOther research output

BPI Challenge 2016: Complaints

Dees, M. & Dongen, B. F. V., 2016, UWV.

Research output: Other contributionOther research output

BPI Challenge 2016: Questions

Dees, M. & Dongen, B. F. V., 2016, UWV.

Research output: Other contributionOther research output

BPI Challenge 2016: Werkmap Messages

Dees, M. & Dongen, B. F. V., 2016, UWV.

Research output: Other contributionOther research output

Calculation is the Name of the Game

Hoogerwoord, R. R., 2000, Technische Universiteit Eindhoven.

Research output: Other contributionOther research output

Classic McEliece

Bernstein, D. J., Chou, T., Lange, T., von Maurich, I., Misoczki, R., Niederhagen, R., Persichetti, E., Peters, C., Schwabe, P., Sendrier, N., Szefer, J. & Wang, W., 2017

Research output: Other contributionAcademic

Open Access

Cryptographic Evaluation of the Voting Systems Choose, I-Vote and AOZ

Schoenmakers, L. A. M., 2000, Technische Universiteit Eindhoven.

Research output: Other contributionOther research output

Decisional second-preimage resistance: when does SPR imply PRE?

Bernstein, D. J. & Hülsing, A. T., 2019, 36 p.

Research output: Other contributionAcademic

Density and hazard estimation in censored regression models

Van Keilegom, I. & Veraverbeke, N., 1999, Technische Universiteit Eindhoven.

Research output: Other contributionOther research output

Evaluation of white matter fiber clustering methods for diffusion tensor imaging

Vilanova, A., Moberts, B., Wijk, J. J. V., Op denBuijs, J., Roos, F. G. & Pul, C. V., 2006, 1 p.

Research output: Other contributionAcademic

Exact, almost, and optimal input decoupled (delayed) observers

Saberi, A., Stoorvogel, A. A. & Sannuti, P., 1998, Technische Universiteit Eindhoven.

Research output: Other contributionOther research output

Fibertracking at birth and 3 months after perinatal hypoxic-ischemia

Op den Buijs, J., van Pul, C., Vilanova, A. & Roos, F. G., 2005

Research output: Other contributionAcademic

First draft on the OpenMath standard (ESPRIT OpenMath Report)

Cohen, A. M. & Caprotti, O., 1998, Technische Universiteit Eindhoven.

Research output: Other contributionOther research output

Formality Works

Hoogerwoord, R. R., 2000, Technische Universiteit Eindhoven.

Research output: Other contributionOther research output

Functional-Program Inversion, with an application to Parser Construction

Hoogerwoord, R. R., 2000, Technische Universiteit Eindhoven.

Research output: Other contributionOther research output

Fundamentals of duct acoustics: notes of course "Progress in Simulation, Control and Reduction of Ventilation Noise", November 16-18, 2015.

Rienstra, S. W., 2016, 52 p. Brussel : Von Karman Institute for Fluid Dynamics.

Research output: Other contributionOther research output

3 Downloads (Pure)

Grootschalig gebruik van laptop computers

Verhoeff, T., 1997, Technische Universiteit Eindhoven.

Research output: Other contributionOther research output

Hazard rate estimation in nonparametric regression with censored data

Van Keilegom, I. & Veraverbeke, N., 1999, Technische Universiteit Eindhoven.

Research output: Other contributionOther research output

High resolution diffusion tensor imaging of adult and neonatal mouse hearts

Strijkers, G. J., Seevinck, P., Heemskerk, A. M., Vilanova, A., Blankesteijn, W. M., Heijman, E. & Nicolay, K., 2005, 1 p.

Research output: Other contributionAcademic

ICT-Zakboekje

Aalst, van der, W. M. P., 1999, Arnhem : PBNA.

Research output: Other contributionOther research output

Open Access
File
118 Downloads (Pure)

Mathematical Induction, Well-Foundedness, and the Axiom of Choice

Hoogerwoord, R. R., 2000, Technische Universiteit Eindhoven.

Research output: Other contributionOther research output

Membership editorial board - Quality and reliability engineering international

Lu, Y. & Xie, M., 2008, Technische Universiteit Eindhoven.

Research output: Other contributionOther research output

Mouse skeletal muscle architecture as measured using three dimensional diffusion tensor imaging

Heemskerk, A. M., Strijkers, G. J., Vilanova, A., Drost, M. R. & Nicolay, K., 2005, 1 p.

Research output: Other contributionAcademic

MQDSS - Submission to the NIST post-quantum cryptography project

Chen, M-S., Hülsing, A., Rijneveld, J., Samardjiska, S. & Schwabe, P., 2017

Research output: Other contributionAcademic

Open Access