Research Output 1968 2020

Filter
Other contribution
2006

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

Diffusion tensor imaging
Fibers
Clustering algorithms
Seed
Tensors
2000

Calculation is the Name of the Game

Hoogerwoord, R. R., 2000, 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

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

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

Research output: Other contributionOther research output

Operator Folding and its Applications1

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

Research output: Other contributionOther research output

Programming with Infinite Lists: an example

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

Research output: Other contributionOther research output

Take and Drop in a Nutshell

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

Research output: Other contributionOther research output

The Tail Recursion Theorem for Lists

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

Research output: Other contributionOther research output

1999

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

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

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

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

1997

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

WF250/AvG160: Concurrent Zipping

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

Research output: Other contributionOther research output

1996

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

rh234: Implementeren is Programmeren

Hoogerwoord, R. R., 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

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

WF227/AvG136: Exercises in calculating

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

Research output: Other contributionOther research output

WF228/AvG137: Playing with p and p. p

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

Research output: Other contributionOther research output

WF229/AvG139: Richard Bird's typewriter problem

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

Research output: Other contributionOther research output

WF231/AvG140: On a method for the formal design of multiprograms

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

Research output: Other contributionOther research output

WF233/AvG141: More about unique solutions and well-foundedeness courtesy Rutger M. Dijkstra

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

Research output: Other contributionOther research output