Department of Mathematics and Computer Science

Research Output

Filter
Other contribution
1999

ICT-Zakboekje

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

Research output: Other contributionOther research output

Nonparametric ANCOVA methods for heteroscedastic nonparametric regression models

Van Keilegom, I. & Akritas, M. G., 1999, Technische Universiteit Eindhoven.

Research output: Other contributionOther research output

rh235: Leslie Lamport's Logical Clocks: a tutorial

Hoogerwoord, R. R., 1999, Technische Universiteit Eindhoven.

Research output: Other contributionOther research output

rh249: Laten we het niet erger maken

Hoogerwoord, R. R., 1999, Technische Universiteit Eindhoven.

Research output: Other contributionOther research output

rh253: Mathematical Induction and Well-Foundedness

Hoogerwoord, R. R., 1999, Technische Universiteit Eindhoven.

Research output: Other contributionOther research output

Robust benchmark dose determination based on profile score methods

Claeskens, G. A. M., Aerts, M., Molenberghs, G. & Ryan, L., 1999, Helsinki : International Statistical Institute.

Research output: Other contributionOther research output

Some theory for penalized spline additive models

Aerts, M., Claeskens, G. A. M. & Wand, M. P., 1999, Helsinki : International Statistical Institute.

Research output: Other contributionOther research output

Testing lack of fit in multiple regression

Aerts, M., Claeskens, G. A. M. & Hart, J. D., 1999, Helsinki : International Statistical Institute.

Research output: Other contributionOther research output

WF266/AvG179: The yellow pages

Feijen, W. H. J. & Gasteren, van, A. J. M., 1999, Technische Universiteit Eindhoven.

Research output: Other contributionOther research output

1998

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

First draft on the OpenMath standard (ESPRIT OpenMath Report)

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

Research output: Other contributionOther research output

rh235/3: Leslie Lamport's logical clocks: a tutorial

Hoogerwoord, R. R., 1998, Technische Universiteit Eindhoven.

Research output: Other contributionOther research output

rh243: The banker's algorithm revisited

Hoogerwoord, R. R., 1998, Technische Universiteit Eindhoven.

Research output: Other contributionOther research output

rh244: Let's not make things worse

Hoogerwoord, R. R., 1998, Technische Universiteit Eindhoven.

Research output: Other contributionOther research output

rh246: Distributed summation

Hoogerwoord, R. R., 1998, Technische Universiteit Eindhoven.

Research output: Other contributionOther research output

rh247: Wie is de beroemdheid?

Hoogerwoord, R. R., 1998, Technische Universiteit Eindhoven.

Research output: Other contributionOther research output

rh248: Graph connectivity made simple

Hoogerwoord, R. R., 1998, Technische Universiteit Eindhoven.

Research output: Other contributionOther research output

WF265: One up again for calculational programming

Feijen, W. H. J., 1998, Technische Universiteit Eindhoven.

Research output: Other contributionOther research output

1997

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

Bijlsma, A., 1997, 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

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

Grootschalig gebruik van laptop computers

Verhoeff, T., 1997, Technische Universiteit Eindhoven.

Research output: Other contributionOther research output

Output regulation of linear systems subject to saturated and ratelimited actuators

Stoorvogel, A. A. & Saberi, A., 1997, Technische Universiteit Eindhoven.

Research output: Other contributionOther research output

Programming with preinvariants

Bijlsma, A., 1997, Technische Universiteit Eindhoven.

Research output: Other contributionOther research output

Weak embedding of generalized hexagons and groups of type G_2

Cuypers, F. G. M. T. & Steinbach, A., 1997, Technische Universiteit Eindhoven.

Research output: Other contributionOther research output

WF250/AvG160: Concurrent Zipping

Feijen, W. H. J. & Gasteren, van, A. J. M., 1997, Technische Universiteit Eindhoven.

Research output: Other contributionOther research output

WF251: Computing the prime divisors of a number

Feijen, W. H. J., 1997, Technische Universiteit Eindhoven.

Research output: Other contributionOther research output

Working with groups

Cuypers, F. G. M. T., Soicher, H. & Sterk, H. J. M., 1997, Technische Universiteit Eindhoven.

Research output: Other contributionOther research output

1996

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

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

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

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

PIN codes

Cohen, A. M., Cuypers, F. G. M. T. & Sterk, H. J. M., 1996, Technische Universiteit Eindhoven.

Research output: Other contributionOther research output

rh234: Implementeren is Programmeren

Hoogerwoord, R. R., 1996, Technische Universiteit Eindhoven.

Research output: Other contributionOther research output

WF219: A very clever and impressive (but highly intractable) proof of a beautiful theorem

Feijen, W. H. J., 1996, Technische Universiteit Eindhoven.

Research output: Other contributionOther research output

WF220/AvG123: Programming, proving and calculation

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

Research output: Other contributionOther research output

WF221: Formal derivation of an algorithm for distributed phase synchronization

Feijen, W. H. J. & Buhaceanu, D. S., 1996, Technische Universiteit Eindhoven.

Research output: Other contributionOther research output

WF222: An exercise given by Rutger M. Dijkstra

Feijen, W. H. J., 1996, Technische Universiteit Eindhoven.

Research output: Other contributionOther research output

WF223/AvG130: Liberal phase synchronization

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

Research output: Other contributionOther research output

WF225/AvG131: A decomposition theorem for multibounds

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

Research output: Other contributionOther research output

WF226/AvG133: Lecture Notes Design of Multiprograms

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

Research output: Other contributionOther research output