Eindhoven University of Technology

Research Output 1950 2020

Filter
Other contribution
1998

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

Wedergeboorte voor keramiek

Hover, M., Hintzen, H. T. J. M. & Willems, V., 1998, Eindhovens Dagblad, Wetenschap

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

Review Article: Analysis of the transpiration cooling of the thin porous plate in a hot laminar convective flow, by: C. Trevino, A. Medina

Brouwers, H. J. H., 1997, Enschede : Technische Universiteit Eindhoven

Research output: Other contributionOther research output

Review Article: Reclamation of heavy metal contaminated soils using synthesized zeolite, by: C.F. Lin, S.S. Lo, H.Y. Lin, Y. Lee

Brouwers, H. J. H. & Eijk, van, R. J., 1997, Enschede : Technische Universiteit Eindhoven

Research output: Other contributionOther research output

Review Article: Simulation of leaching behaviour of heavy metals from MWI fly ashes, by: Van der Bruggen, Vogels, Van Herck, Vandecasleele

Brouwers, H. J. H. & Eijk, van, R. J., 1997, Enschede : Technische Universiteit Eindhoven

Research output: Other contributionOther research output

Tentoonstelling "Stadsvorm Tilburg, een industriële stad als kunstwerk"

Doevendans, C. H. & Rutgers, R. A., 1997, Tilburg : 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

Activated Sludge Modelling and Control

Weijers, S. R., 1996, TUE : 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

Infrarood ellipsometrie

Kroesen, G. M. W., 1996, Karlsruhe, Duitsland : Technische Universiteit Eindhoven

Research output: Other contributionOther research output

ISC ESCAMPIG: tot voorzitter gekozen

Kroesen, G. M. W., 1996, Poprad, Slovakia : Technische Universiteit Eindhoven

Research output: Other contributionOther research output

ISC Gordon Conference: tot voorzitter benoemd

Kroesen, G. M. W., 1996, New Hampton, USA : 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

Portuguese Research Units Evaluation Physics Research Institutes

Hoog, de, F. J., 1996, Lissabon, Portugal : Technische Universiteit Eindhoven

Research output: Other contributionOther research output

Review for AiAA Journal of thermophysics & heath transfer

Brouwers, H. J. H., 1996, Enschede : Technische Universiteit Eindhoven

Research output: Other contributionOther research output

Review for International journal of heath and mass transfer

Brouwers, H. J. H., 1996, Enschede : Technische Universiteit Eindhoven

Research output: Other contributionOther research output

Review for Journal of hazardous materials

Brouwers, H. J. H., 1996, Enschede : 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