Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

Engineering a main-memory DBMS Article

CWI Quarterly, 4(2), 95-116.

C.A. van den Berg (Carel) and M.L. Kersten (Martin)

June 1991
Introduction to the special issue on database research Article

CWI Quarterly, 4(2), 91-94.

M.L. Kersten (Martin)

June 1991
Programma Zeskamp sport aktiviteiten t.g.v. het 45-jarig bestaan van de SMC : sportdag, 31.05.1991 Booklet

May 1991
Video CWI sportdag t.g.v. het 45-jarig jubileum, 31-05-1991 Online Video

May 1991
Implementation of modular algebraic specifications Dissertation

Software Engineering

P.R.H. Hendriks

May 1991
Onderzoekscholen wiskunde : interimrapport van de Strategiecommissie Onderzoekscholen Wiskunde, 17 mei 1991 Miscellaneous

May 1991
Reasoning about Dynamically Evolving Process Structures; a proof theory for the parallel object-oriented language pool Dissertation

F.S. de Boer (Frank)

April 1991
Transfinite reductions in orthogonal term rewriting systems In Proceedings

J.R. Kennaway (Richard), J.W. Klop (Jan Willem), M.R. Sleep (Ronan) and F.-J. de Vries (Fer-Jan)

April 1991
Factorization beyond the Googol with MPQS on a single computer Article

CWI Quarterly, 4(1), 69-72.

H.J.J. te Riele (Herman), W.M. Lioen (Walter) and D.T. Winter (Dik)

March 1991
Universal representation of the behavior of linear systems in both discrete and continuous time: a unified overview Article

CWI Quarterly, 4(1), 45-68.

S.J. Hegner

March 1991
The Furstenberg structures theorem in topological dynamics Article

CWI Quarterly, 4(1), 27-44.

J. de Vries (Jan)

March 1991
Introductory recommendations for the study of Hopf algebras in mathematics and physics Article

CWI Quarterly, 4(1), 3-26.

M. Hazewinkel (Michiel)

March 1991
Triangle sets in PHIGS PLUS: a valuable link with finite element modeling Article

Computer Graphics Forum, 10(1), 61-65.

M. Bakker (Miente)

March 1991
DLP: a language for distributed logic programming Dissertation

Software Engineering

A. P. W. Eliëns (Anton)

February 1991
Sixteenth conference on the mathematics of operations research, Lunteren, 16-18.01.1991 : program and abstracts Booklet

January 1991
Sixteenth conference on the mathematics of operations research, Lunteren, 16-18.01.1991 : program Booklet

January 1991
Multi-dimensional upwind schemes, multigrid and defect correction for accurate and efficient Euler flow computations In Proceedings

B. Koren (Barry) and P.W. Hemker (Piet)

January 1991
Spurious, zeroth-order entropy generation along a kinked wall Article

International Journal for Numerical Methods in Fluids, 1113-1129.

H.T.M. van der Maarel (Eric) and B. Koren (Barry)

January 1991
Studiedag cultuurgeschiedenis van de automatisering [GMFW-CWI colloquium history of computing] : [26.04.1991] Tech Report

January 1991
The energy complexity of threshold and other functions (preliminary version) Tech Report

G. Kissin and J.T. Tromp (John)

January 1991
Process algebra with signals and conditions Tech Report

J.C.M. Baeten (Jos) and J.A. Bergstra (Jan)

January 1991
Program calculation properties of continuous algebras Tech Report

M.M. Fokkinga (Maarten) and E. Meijer

January 1991
Modular properties of conditional term rewriting systems Tech Report

A. Middeldorp

January 1991
The current state of bisimulation tools Tech Report

H.P. Korver

January 1991
Smoothed Runge-Kutta methods in the method of lines Tech Report

P.J. van der Houwen (Piet), B.P. Sommeijer (Ben) and K. Strehmel

January 1991
A two-grid analysis of the combination of mixed finite elements and Vanka-type relaxation Tech Report

J. Molenaar (Gijs)

January 1991
Parallel diagonally implicit Runge-Kutta-Nyström methods Tech Report

P.J. van der Houwen (Piet), B.P. Sommeijer (Ben) and N. Cong

January 1991
A new device for the synthesis problem of optimal control of admission to an M/M/c queue Tech Report

J.P.C. Blanc, P.R. de Waal, P. Nain and D. Towsley

January 1991
Analysis and optimization of polling systems Tech Report

O.J. Boxma (Onno)

January 1991
Descriptor representations without direct feedthrough term Tech Report

M. Kuijper

January 1991
Convergence, continuity and iteration in mathematical morphology Tech Report

H.J.A.M. Heijmans (Henk) and J.C. Serra (Jean)

January 1991
Morphological discretization Tech Report

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

January 1991
Embedding as a tool for language comparison Tech Report

F.S. de Boer (Frank) and C. Palamidessi (Catuscia)

January 1991
Extended term rewriting systems Tech Report

J.W. Klop (Jan Willem) and R. de Vrijer

January 1991
Parametric surfaces in PHIGS PLUS: a new chance for patterning and hatching? Tech Report

M. Bakker (Miente)

January 1991
Triangle sets in PHIGS PLUS: a valuable link with finite element modeling Tech Report

M. Bakker (Miente)

January 1991
Dynamic parallel query processing Tech Report

C.A. van den Berg (Carel), M.L. Kersten (Martin) and S. Shair-Ali

January 1991
Randomized wait-free test-and-set Tech Report

J.T. Tromp (John) and P.M.B. Vitányi (Paul)

January 1991
Dynamic interpretation and Hoare deduction Tech Report

D.J.N. van Eijck (Jan) and F.-J. de Vries (Fer-Jan)

January 1991
2D and 3D object reconstruction with the $ gamma $ -neighborhood graph Tech Report

R.C. Veltkamp (Remco)

January 1991
Parallel solution of the Burgers equation Tech Report

P.J. van der Houwen (Piet) and B.P. Sommeijer (Ben)

January 1991
Local uniform grid refinement for time-dependent partial differential equations Tech Report

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

January 1991
3D shallow water model on the CRAY Y-MP4/464 Tech Report

E.D. de Goede (Erik)

January 1991
Efficient multi-dimensional upwinding for the steady Euler equations Tech Report

P.W. Hemker (Piet) and B. Koren (Barry)

January 1991
Idempotents Tech Report

C.P. Schut

January 1991
Asymptotic inversion of incomplete gamma functions Tech Report

N.M. Temme (Nico)

January 1991
Induced circuits in planar graphs Tech Report

C. MacDiarmid, B. Reed, A. Schrijver (Lex) and F.B. Shepherd (Bruce)

January 1991
Numerical methods for the 3D shallow water equations on vector and parallel computers Tech Report

E.D. de Goede (Erik)

January 1991
On the numerical treatment of the advective terms in 3D shallow water models Tech Report

E.D. de Goede (Erik)

January 1991
Riccati and soliton equations Tech Report

M. Hazewinkel (Michiel)

January 1991
Random additive functionals with rapid Markov switchings Tech Report

V.V. Korolyuk (Vladimir)

January 1991
Optimal choice of sample fraction in extreme-value estimation Tech Report

A.L.M. Dekkers and L.F.M. de Haan (Laurens)

January 1991
State space formulas for transfer poles at infinity Tech Report

M. Kuijper and J.M. Schumacher (Hans)

January 1991
Recognition of overlapping objects using Markov spatial processes Tech Report

A.J. Baddeley (Adrian) and M.N.M. van Lieshout (Marie-Colette)

January 1991
Right angle free subsets in the plane Tech Report

B. Gamble, W.R. Pulleyblank, B. Reed and F.B. Shepherd (Bruce)

January 1991
Efficient visit frequencies for polling tables : minimization of waiting cost Tech Report

O.J. Boxma (Onno), H. Levy and J.A. Weststrate

January 1991
A pointwise criterion for controller robustness Tech Report

J.M. Schumacher (Hans)

January 1991
Single-machine scheduling to minimize a function of K maximum cost criteria Tech Report

J.A. Hoogeveen

January 1991
Zero drift random walk on N x N with reflection : ergodicity conditions Tech Report

J.W. Cohen

January 1991
Completeness in real time process algebra Tech Report

A.S. Klusener (Steven)

January 1991
Proving termination of general Prolog programs Tech Report

K.R. Apt (Krzysztof) and D. Pedreschi

January 1991
A proof theory for the language POOL Tech Report

F.S. de Boer (Frank)

January 1991
A proof theory for a sequential version of POOL Tech Report

P.H.M. America (Pierre) and F.S. de Boer (Frank)

January 1991
A proof theory for process creation Tech Report

P.H.M. America (Pierre) and F.S. de Boer (Frank)

January 1991
Branching time and abstraction in bisimulation semantics Tech Report

R.J. van Glabbeek (Rob) and W.P. Weijland

January 1991
Computing distinguising formulas for branching bisimulation Tech Report

H.P. Korver

January 1991
Facets of database triggers Tech Report

M.H. van der Voort and M.L. Kersten (Martin)

January 1991
Real-time quadratic shading Tech Report

V.C.J. Disselkoen

January 1991
Lazy and incremental program generation Tech Report

J. Heering (Jan), P. Klint (Paul) and J. G. Rekers (Jan)

January 1991
Linear approximation of shortest superstrings Tech Report

A. Blum, T. Jiang (Tao), M. Li (Ming), J.T. Tromp (John) and M. Yannakakis

January 1991
Positive convolution structures associated with quantum groups Tech Report

T.H. Koornwinder

January 1991
Asymptotic inversion of the incomplete beta function Tech Report

N.M. Temme (Nico)

January 1991
Hyperasymptotic expansions of confluent hypergeometric functions Tech Report

A.B. Olde Daalhuis

January 1991
Combinatorics and Kolmogorov complexity Tech Report

M. Li (Ming) and P.M.B. Vitányi (Paul)

January 1991
The GKS input model in Manifold Tech Report

D. Soede, F. Arbab (Farhad), I. Herman (Ivan) and P.J.W. ten Hagen (Paul)

January 1991
Optimality of wait-free atomic multiwriter variables Tech Report

M. Li (Ming) and P.M.B. Vitányi (Paul)

January 1991
An algebraic specification for the static semantics of Pascal Tech Report

A. van Deursen (Arie)

January 1991
Term rewriting analysis in process algebra Tech Report

G.J. Akkerman and J.C.M. Baeten (Jos)

January 1991
Real space process algebra Tech Report

J.C.M. Baeten (Jos) and J.A. Bergstra (Jan)

January 1991
Loop checking in partial deduction Tech Report

R.N. Bol

January 1991
Rendez-vous with metric semantics Tech Report

J.W. de Bakker (Jaco) and E.P. de Vink (Erik)

January 1991
CCS for OO and LP Tech Report

J.W. de Bakker (Jaco) and E.P. de Vink (Erik)

January 1991
Solving parabolic integro-differential equations by an explicit integration method Tech Report

A.S. Vasudeva Murthy and J.G. Verwer (Jan)

January 1991
An improved accuracy version of the mixed finite element method for a second order elliptic equation Tech Report

R.R.P. van Nooyen (Ronald)

January 1991
Application of a moving-grid method to a class of 1D brine transport problems in porous media Tech Report

P.A. Zegeling (Paul), J.G. Verwer (Jan) and J.C.H. van Eijkeren

January 1991
Parallel aspects of some spectral problems in linear algebra Tech Report

A.N. Malychev

January 1991
Limit theorems for functionals of convex hulls Tech Report

A.J. Cabo (Annoesjka) and P. Groeneboom

January 1991
Asymptotic optimality of the chi-square test with large number of degrees of freedom within the class of symmetric tests Tech Report

D.M. Chibisov

January 1991
Analysis of a three-dimensional point pattern with replication Tech Report

A.J. Baddeley (Adrian), R.A. Moyeed, C.V. Howard and A. Boyde

January 1991
An overview of Manifold and its implementation Tech Report

F. Arbab (Farhad), I. Herman (Ivan) and P. Spilling

January 1991
Hausdorff metric for capacities Tech Report

A.J. Baddeley (Adrian)

January 1991
The state operator in real time process algebra Tech Report

J.C.M. Baeten (Jos) and J.A. Bergstra (Jan)

January 1991
An M/G/1 queue with dependence between interarrival and service times Tech Report

S.C. Borst (Sem), O.J. Boxma (Onno) and M.B. Combé (Marco)

January 1991
Infectious disease models with variable infectivity Tech Report

F. Brauer

January 1991
Gaarding inequalities for systems of pseudo-differential operators Tech Report

R. Brummelhuis

January 1991
Open problems in rewriting Tech Report

N. Dershowitz (Nachum), J.-P. Jouannaud and J.W. Klop (Jan Willem)

January 1991
On constructing kernel polynomials of a spectral function : application to ARMA models Tech Report

K.O. Dzhaparidze (Kacha)

January 1991
The dynamics of description Tech Report

D.J.N. van Eijck (Jan)

January 1991
Quantification and partiality Tech Report

D.J.N. van Eijck (Jan)

January 1991
A sound and complete calculus for update logic Tech Report

D.J.N. van Eijck (Jan) and F.-J. de Vries (Fer-Jan)

January 1991

Previous

Next

Available Years