Voormalig onderzoek Faculteit Wiskunde en Informatica

Onderzoeksoutput

Filter
Dissertatie 1 (Onderzoek TU/e / Promotie TU/e)
2001

Approximating schedules

Schuurman, P., 2001, Eindhoven: Technische Universiteit Eindhoven. 119 blz.

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
205 Downloads (Pure)

Mechanical verification of concurrency control and recovery protocols

Chkliaev, D., 2001, Eindhoven: Technische Universiteit Eindhoven. 152 blz.

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
92 Downloads (Pure)

Signal analysis : representation tools

Sarroukh, B. E., 2001, Eindhoven: Technische Universiteit Eindhoven. 212 blz.

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
165 Downloads (Pure)
2000

A four-component mixture theory applied to cartilaginous tissues : numerical modelling and experiments

Frijns, A. J. H., 2000, Eindhoven: Technische Universiteit Eindhoven. 117 blz.

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
229 Downloads (Pure)

Cocktail : a tool for deriving correct programs

Franssen, M. G. J., 2000, Eindhoven: Technische Universiteit Eindhoven. 238 blz.

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
487 Downloads (Pure)

The design of the MathSpad editor

Verhoeven, P. H. F. M., 2000, Eindhoven: Technische Universiteit Eindhoven. 140 blz.

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
230 Downloads (Pure)
1999

Algorithms for the simulation of surface processes

Segers, J. P. L., 1999, Eindhoven: Technische Universiteit Eindhoven. 210 blz.

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
221 Downloads (Pure)

Decision support by combinatorial optimization : case studies

Tiourine, S. R., 1999, Eindhoven: Technische Universiteit Eindhoven. 123 blz.

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
120 Downloads (Pure)

Inductive datatypes with laws and subtyping : a relational model

Voermans, T. S., 1999, Eindhoven: Technische Universiteit Eindhoven. 197 blz.

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
102 Downloads (Pure)

Monte Carlo simulations of catalytic surface reactions

Gelten, R. J., 1999, Eindhoven: Technische Universiteit Eindhoven. 153 blz.

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
220 Downloads (Pure)

Object-oriented concepts and proof rules : formalization in type theory and implementation in Yarrow

Zwanenburg, J., 1999, Eindhoven: Technische Universiteit Eindhoven. 347 blz.

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
163 Downloads (Pure)

Scheduler optimization in real-time distributed databases

Bodlaender, M. P., 1999, Eindhoven: Technische Universiteit Eindhoven. 172 blz.

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
460 Downloads (Pure)
1998

An asynchronous low-power 80C51 microcontroller

Gageldonk, van, J. S. H., 1998, Eindhoven: Technische Universiteit Eindhoven. 183 blz.

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
527 Downloads (Pure)

CoCa : a model for parallelization of high energy physics software

Argante, E., 1998, Eindhoven: Technische Universiteit Eindhoven. 148 blz.

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
191 Downloads (Pure)
1997

A generic theory of datatypes

Hoogendijk, P. F., 1997, Eindhoven: Technische Universiteit Eindhoven. 163 blz.

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
389 Downloads (Pure)

On-line machine scheduling

Vestjens, A. P. A., 1997, Eindhoven: Technische Universiteit Eindhoven. 93 blz.

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
480 Downloads (Pure)
1996

A polyhedral approach to the discrete lot-sizing and scheduling problem

Eijl, van, C. A., 1996, Eindhoven: Technische Universiteit Eindhoven. 117 blz.

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
329 Downloads (Pure)

Distributed algorithms for hard real-time systems

Alstein, D., 1996, Eindhoven: Technische Universiteit Eindhoven. 124 blz.

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
266 Downloads (Pure)

Parallel local search

Verhoeven, M. G. A., 1996, Eindhoven: Technische Universiteit Eindhoven. 137 blz.

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
364 Downloads (Pure)

Reductivity arguments and program construction

Doornbos, H., 1996, Eindhoven: Technische Universiteit Eindhoven. 177 blz.

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
253 Downloads (Pure)

Semigroups, invariance and time-invariant linear systems

Rijcke, de, M. M. A., 1996, Eindhoven: Technische Universiteit Eindhoven. 162 blz.

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
341 Downloads (Pure)

Single-rail handshake circuits

Peeters, A. M. G., 1996, Eindhoven: Technische Universiteit Eindhoven. 187 blz.

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
445 Downloads (Pure)

The two-machine flow shop problem with delays and the one-machine total tardiness problem

Yu, W., 1996, Eindhoven: Technische Universiteit Eindhoven. 127 blz.

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
449 Downloads (Pure)

Variational modeling of curves and surfaces

Wesselink, J. W., 1996, Eindhoven: Technische Universiteit Eindhoven. 159 blz.

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
78 Downloads (Pure)
1995

Algorithmic support for automated planning boards

Wennink, M., 1995, Eindhoven: Technische Universiteit Eindhoven. 149 blz.

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
272 Downloads (Pure)

Capturing detonation waves for the reactive Euler equations

Berkenbosch, A. C., 1995, Eindhoven: Technische Universiteit Eindhoven. 174 blz.

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
1078 Downloads (Pure)

Design of an object-oriented, interactive animation system

Peeters, E. A. J., 1995, Eindhoven: Technische Universiteit Eindhoven. 210 blz.

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
802 Downloads (Pure)

Generalized job shop scheduling : complexity and local search

Vaessens, R. J. M., 1995, Eindhoven: Technische Universiteit Eindhoven. 125 blz.

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
833 Downloads (Pure)

Moving boundary problems in relation with equations of Löwner-Kufareev type

Klein Obbink, B., 1995, Eindhoven: Technische Universiteit Eindhoven. 160 blz.

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
169 Downloads (Pure)

Pre-run-time scheduling of distributed real-time systems : models and algorithms

Verhoosel, J. P. C., 1995, Eindhoven: Technische Universiteit Eindhoven. 175 blz.

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
225 Downloads (Pure)

Taxonomies and toolkits of regular language algorithms

Watson, B. W., 1995, Eindhoven: Technische Universiteit Eindhoven. 375 blz.

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
863 Downloads (Pure)
1994

A conceptual model of a business transaction management system

Hofman, W. J., 1994, 's-Hertogenbosch: UTN Publishers. 163 blz.

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
555 Downloads (Pure)

A theory of delay-insensitive systems

Verhoeff, T., 1994, Eindhoven: Technische Universiteit Eindhoven. 137 blz.

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
225 Downloads (Pure)

Codes for correcting insertion and deletion errors

Bours, P. A. H., 1994, Eindhoven: Technische Universiteit Eindhoven. 155 blz.

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
1714 Downloads (Pure)

Column generation techniques for pickup and delivery problems

Sol, M., 1994, Eindhoven: Technische Universiteit Eindhoven. 121 blz.

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
826 Downloads (Pure)

Coming to terms with modal logic : on the interpretation of modalities in typed lambda-calculus

Borghuis, V. A. J., 1994, Eindhoven: Technische Universiteit Eindhoven. 219 blz.

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
504 Downloads (Pure)

Covering codes

Struik, M., 1994, Eindhoven: Technische Universiteit Eindhoven. 106 blz.

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
1399 Downloads (Pure)

Decoding techniques and a modulation scheme for band-limited communications

Sun, F. W., 1994, Eindhoven: Technische Universiteit Eindhoven. 55 blz.

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
80 Downloads (Pure)

Decomposition and protocols in high-level Petri nets

Rambags, P. M. P., 1994, Eindhoven: Technische Universiteit Eindhoven. 241 blz.

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
327 Downloads (Pure)

Fault tolerance and timing of distributed systems : compositional specification and verification

Schepers, H. J. J. H., 1994, Eindhoven: Technische Universiteit Eindhoven. 194 blz.

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
236 Downloads (Pure)

Security-analysis of a class of cryptosystems based on linear error-correcting codes

Tilburg, van, J., 1994, Eindhoven: Technische Universiteit Eindhoven. 198 blz.

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
214 Downloads (Pure)

The complexity of multi-layered perceptrons

Zwietering, P. J., 1994, Eindhoven: Technische Universiteit Eindhoven. 228 blz.

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
207 Downloads (Pure)

Time and resource constrained scheduling : a constraint satisfaction approach

Nuijten, W. P. M., 1994, Eindhoven: Technische Universiteit Eindhoven. 157 blz.

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
750 Downloads (Pure)
1993

Binary block codes for correcting asymmetric or unidirectional errors

Fang, G., 1993, Eindhoven: Technische Universiteit Eindhoven. 97 blz.

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
320 Downloads (Pure)

Decoding codes from curves and cyclic codes

Duursma, I. M., 1993, Eindhoven: Technische Universiteit Eindhoven. 96 blz.

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
387 Downloads (Pure)

Designs with a small number of runs for factorial experiments

Upperman, P. M., 1993, Eindhoven: Technische Universiteit Eindhoven. 195 blz.

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
149 Downloads (Pure)

Functional programming, program transformations and compiler construction

Augusteijn, A., 1993, Eindhoven: Technische Universiteit Eindhoven. 245 blz.

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
750 Downloads (Pure)

Integrated information systems design : an approach based on object-oriented concepts and Petri nets

Verkoulen, P. A. C., 1993, Eindhoven: Technische Universiteit Eindhoven. 180 blz.

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
185 Downloads (Pure)

Modelling industrial systems : theory and applications

Koster, G. J. P., 1993, Eindhoven: Technische Universiteit Eindhoven. 160 blz.

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
188 Downloads (Pure)

Models and axioms for a fragment of real time process algebra

Klusener, A. S., 1993, Eindhoven: Technische Universiteit Eindhoven. 216 blz.

Onderzoeksoutput: ScriptieDissertatie 1 (Onderzoek TU/e / Promotie TU/e)

Open Access
Bestand
368 Downloads (Pure)