Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

Diffusion langer Polymerketten in einem eingefrorenen Zufallsmedium : eine Renormierungsgruppenanalyse Dissertation

U. Ebert (Ute)

April 1994
Stochastic geometry models in image analysis and spatial statistics Dissertation

M.N.M. van Lieshout (Marie-Colette)

April 1994
Supporting Adaptive Multimedia In Proceedings

D.C.A. Bulterman (Dick)

April 1994
Parallel Runge-Kutta-Nyström methods Dissertation

Huu Cong Nguyen

March 1994
Small grains with high lead concentration in Chainpur In Proceedings

J.L.A.M. Kramer, A.C. Kik (Annette) and R.D. Vis

March 1994
30 Years after Sketchpad: relaxation of geometric constraints revisited Article

CWI Quarterly, 7(1), 73-98.

C.W.A.M. van Overveld

March 1994
Huygens : carrying the world in your back pocket Article

CWI Quarterly, 7(1), 67-72.

S.J. Mullender (Sape)

March 1994
MADE: a multimedia application development environment Article

CWI Quarterly, 7(1), 27-46.

I. Herman (Ivan), G.J. Reynolds and J. Davy

March 1994
Authoring interactive multimedia: problems and prospects Article

CWI Quarterly, 7(1), 47-66.

L. Hardman (Lynda) and D.C.A. Bulterman (Dick)

March 1994
Managing the Adaptive Processing of Distributed Multimedia Information Article

CWI Quarterly, 7(1), 3-25.

D.C.A. Bulterman (Dick)

March 1994
Funding of academic mathematical research in The Netherlands Article

European Mathematical Society Newsletter

M. Bakker (Miente)

March 1994
Dynamic query processing in a parallel object-oriented database system Dissertation

C.A. van den Berg (Carel)

February 1994
Generating uniform user-interfaces Dissertation

Software Engineering

J.W.C. Koorn

February 1994
VLUGR3: a vectorizable adaptive grid solver for PDEs in 3D, part II: Code description Report

J.G. Blom (Joke) and J.G. Verwer (Jan)

February 1994
Which data types have w-complete initial algebra specifications? Article

Theoretical Computer Science, 124(1), 149-168.

J.A. Bergstra (Jan) and J. Heering (Jan)

February 1994
Local uniform grid refinement for time-dependent partial differential equations Dissertation

R.A. Trompert (Ronald)

January 1994
Nineteenth conference on the mathematics of operations research, and: Fifth international workshop Landelijk Netwerk Mathematische Besliskunde : Lunteren, 11-14.01.1994 : program and abstracts Booklet

January 1994
Research in computational fluid dynamic, stimulated by ERCIM In Proceedings

J.-A. Désidéri, P.W. Hemker (Piet), M.H. Lallemand and B. Koren (Barry)

January 1994
Product forms based on backward traffic equations Tech Report

R.J. Boucherie (Richard)

January 1994
A structural characterisation of product form stochastic Petri nets Tech Report

R.J. Boucherie (Richard) and M. Sereno

January 1994
Structural identifiability of dynamic systems operating under feedback with application to economic systems Tech Report

I.G. Sterlina and J.H. van Schuppen (Jan)

January 1994
On the power series algorithm Tech Report

G.M. Koole (Ger)

January 1994
Assigning a single server to inhomogeneous queues with switching costs Tech Report

G.M. Koole (Ger)

January 1994
On the effective bandwidth in buffer design for the multi-server channels Tech Report

J.W. Cohen

January 1994
On periodic Pollaczek waiting time processes Tech Report

J.W. Cohen

January 1994
Parallel iteration schemes for implicit ODEIVP methods Tech Report

P.J. van der Houwen (Piet)

January 1994
Explicit parallel two-step Runge-Kutta-Nyström methods Tech Report

N. Cong

January 1994
Origin tracking in primitive recursive schemes Tech Report

A. van Deursen (Arie)

January 1994
Logic programming and negation: a survey Tech Report

K.R. Apt (Krzysztof) and R.N. Bol

January 1994
An approach to schema integration based on transformations and behaviour Tech Report

C.J.E. Thieme and A.P.J.M. Siebes (Arno)

January 1994
Outerjoins as disjunctions Tech Report

C.A. Galindo-Legaria (César)

January 1994
Term rewriting properties of SOS axiomatisations Tech Report

D.J.B. Bosscher (Doeko)

January 1994
Data mining. The search for knowledge in databases Tech Report

M. Holsheimer and A.P.J.M. Siebes (Arno)

January 1994
The Goblin database programming language Tech Report

M.L. Kersten (Martin), C.A. van den Berg (Carel), A.P.J.M. Siebes (Arno) and C.J.E. Thieme

January 1994
Initial algebra and final coalgebra semantics for concurrency Tech Report

J.J.M.M. Rutten (Jan) and D. Turi

January 1994
Data mining : schatgraven in databases Tech Report

A.P.J.M. Siebes (Arno) and M. Holsheimer

January 1994
The $s$-semantics approach; theory and applications Tech Report

A. Bossi, M. Gabbrielli, G. Levi and M. Martelli

January 1994
Axioms for $ aleph_ 0 $-categorical orderings Tech Report

H.A.N. van Maanen

January 1994
Program verification and prolog Tech Report

K.R. Apt (Krzysztof)

January 1994
Linguistics, logic, and finite trees Tech Report

P. Blackburn (Patrick) and W. P. M. Meyer Viol (Wilfried)

January 1994
Proofs of partial knowledge and simplified design of witness hiding protocols Tech Report

R.J.F. Cramer (Ronald), I.B. Damgård (Ivan) and L.A.M. Schoenmakers (Berry)

January 1994
Line segment rasterization in n-dimensional space Tech Report

C.A. Wüthrich

January 1994
A complete equational axiomatisation for prefix iteration Tech Report

W.J. Fokkink (Wan)

January 1994
Fast, randomized join-order selection : why use transformations? Tech Report

C.A. Galindo-Legaria (César), A.J. Pellenkoft (Jan) and M.L. Kersten (Martin)

January 1994
Implementation and performance of a three-dimensional numerical transport model Tech Report

B.P. Sommeijer (Ben) and J. Kok (Jan)

January 1994
VLUGR2: a vectorizable adaptive grid solver for PDEs in 2D Tech Report

J.G. Blom (Joke), R.A. Trompert (Ronald) and J.G. Verwer (Jan)

January 1994
VLUGR3: a vectorizable adaptive grid solver for PDEs in 3D, part I: Algorithmic aspects and applications Tech Report

J.G. Blom (Joke) and J.G. Verwer (Jan)

January 1994
CQG algebras: a direct algebraic approach to compact quantum groups Tech Report

M. Dijkhuizen and T.H. Koornwinder

January 1994
Polling systems with multiple coupled servers Tech Report

S.C. Borst (Sem)

January 1994
Self-dual morphological operators and filters Tech Report

H.J.A.M. Heijmans (Henk)

January 1994
Parallel Arnoldi method for the construction of a Krylov subspace basis: an application in magnetohydrodynamics Tech Report

J.G.L. Booten, P.M. Meijer, H.J.J. te Riele (Herman) and H.A. van der Vorst (Henk)

January 1994
Analysis of multiple-server polling systems by means of the power-series algorithm Tech Report

R.D. van der Mei (Rob) and S.C. Borst (Sem)

January 1994
Declarative interpretations reconsidered Tech Report

K.R. Apt (Krzysztof) and M. Gabbrielli

January 1994
Two heads are better than two tapes Tech Report

T. Jiang (Tao), J.I. Seiferas and P.M.B. Vitányi (Paul)

January 1994
Tarskian variations dynamic parameters in classical semantics Tech Report

J. F. A. K. van Benthem (Johan) and G. Cepparello (Giovanna)

January 1994
Proof-checking a data link protocol Tech Report

L. Helmink, M.P.A. Sellink and F.W. Vaandrager (Frits)

January 1994
Self-stabilizing wait-free clock synchronization Tech Report

M. Papatriantafilou (Marina) and P. Tsigas (Philippas)

January 1994
Randomized wait-free naming Tech Report

A. Panconesi, M. Papatriantafilou (Marina), P. Tsigas (Philippas) and P.M.B. Vitányi (Paul)

January 1994
Uniform deterministic self-stabilizing ring-orientation on odd-length rings Tech Report

J.H. Hoepman (Jaap-Henk)

January 1994
Solving domain equations in a category of compact metric spaces Tech Report

F. van Breugel and J.H.A. Warmerdam

January 1994
Origin tracking for higher-order term rewriting systems Tech Report

A. van Deursen (Arie) and T.B. Dinesh

January 1994
Object space versus image space A comparison of image synthesis algorithms Tech Report

T. van Rij

January 1994
Antialiasing and shading, an implementation Tech Report

T. van Rij

January 1994
An approximate Riemann solver for magnetohydrodynamics (that works in more than one dimension) Tech Report

K.G. Powell

January 1994
Parallel predictor-corrector methods Tech Report

P.J. van der Houwen (Piet), B.P. Sommeijer (Ben) and J.J.B. de Swart (Jacques)

January 1994
Explicit methods for stiff ODEs from atmospheric chemistry Tech Report

J.G. Verwer (Jan) and D. Simpson

January 1994
Supervisory control for nondeterministic systems Tech Report

A.A.F. Overkamp (Ard)

January 1994
Modelling dependence between interaarival and service times with Markovian arrival processes Tech Report

M.B. Combé (Marco)

January 1994
Impatient customers in the MAP/G/I queue Tech Report

M.B. Combé (Marco)

January 1994
Computable processes Tech Report

H.P. Barendregt (Henk), H. Wupper and H. Mulder (Hans)

January 1994
Architectural support for data mining Tech Report

M. Holsheimer and M.L. Kersten (Martin)

January 1994
Modularity of UN-> for left-linear term rewriting systems Tech Report

M. Marchiori

January 1994
Spatial audio in graphical applications Tech Report

J.D. Mulder (Jurriaan) and E.H. Dooijes

January 1994
Asymptotics of zeros of incomplete gamma functions Tech Report

N.M. Temme (Nico)

January 1994
Strong orientations without even directed circuits Tech Report

A.M.H. Gerards (Bert) and F.B. Shepherd (Bruce)

January 1994
Optimal probabilistic allocation of customer types to servers Tech Report

S.C. Borst (Sem)

January 1994
Top-down image analysis by cost minimization in hierarchical graph structures Tech Report

P. F. M. Nacken (Peter)

January 1994
Image segmentation by connectivity preserving relinking in hierarchical graph structures Tech Report

P. F. M. Nacken (Peter)

January 1994
On orthonormal polynomials and kernel polynomials associated with a matrix spectral distribution function Tech Report

K.O. Dzhaparidze (Kacha) and R.H.P. Janssen (René)

January 1994
Morphological operators for image sequences Tech Report

J. Goutsias (John), H.J.A.M. Heijmans (Henk) and D. Sivakumar

January 1994
On the analysis of the symmetrical shortest queue Tech Report

J.W. Cohen

January 1994
Polling models with and without switchover times Tech Report

S.C. Borst (Sem) and O.J. Boxma (Onno)

January 1994
A complete term rewriting system for decimal integer arithmetic Tech Report

H.R. Walters (Pum)

January 1994
Privacy from partial broadcast Tech Report

M. Franklin and M. Yung (Moti)

January 1994
Multigrid and advection Tech Report

P.M. de Zeeuw (Paul)

January 1994
Numerical smog prediction Tech Report

M. van Loon (Martin)

January 1994
The force of infection in populations of varying size: a modelling problem Tech Report

O. Diekmann (Odo), M.C.M. de Jong, A.A. de Koeijer and P.J.H. Reijnders

January 1994
On the maximum number of customers simultaneously present in a queue Tech Report

R.J. Boucherie (Richard)

January 1994
Matching Tech Report

A.M.H. Gerards (Bert)

January 1994
Queueing-theoretic solution methods for models of parallel and distributed systems Tech Report

O.J. Boxma (Onno), G.M. Koole (Ger) and Z. Liu (Zhe)

January 1994
Cost distributions of search spaces in query optimization Tech Report

C.A. Galindo-Legaria (César), A.J. Pellenkoft (Jan) and M.L. Kersten (Martin)

January 1994
Homogeneous discoveries contain no surprises: inferring risk-profiles from large databases Tech Report

A.P.J.M. Siebes (Arno)

January 1994
Uniformly-distributed random generation of join orders Tech Report

C.A. Galindo-Legaria (César), A.J. Pellenkoft (Jan) and M.L. Kersten (Martin)

January 1994
How a rainbow coloring function can simulate wait-free handshaking Tech Report

M. Papatriantafilou (Marina) and P. Tsigas (Philippas)

January 1994
A bottom-up semantics for constructive negation Tech Report

A. Bossi, M. Fabris and M.C. Meo

January 1994
GEL, a graph exchange language Tech Report

J.F.T. Kamperman (Jasper)

January 1994
Idempotent most general unifiers for infinite sets Tech Report

W.J. Fokkink (Wan)

January 1994
Preconditioning and multigrid for Euler flows with low-subsonic regions Tech Report

B. Koren (Barry)

January 1994
Condition improvement for point relaxation in multigrid, subsonic Euler-flow computations Tech Report

B. Koren (Barry)

January 1994
A preconditioned Jacobi-Davidson method for solving large generalized eigenvalue problems Tech Report

J.G.L. Booten, H.A. van der Vorst (Henk), P.M. Meijer and H.J.J. te Riele (Herman)

January 1994

Previous

Next

Available Years