Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

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
The failure of failures in a paradigm for asynchronous communication Tech Report

F.S. de Boer (Frank), J.N. Kok (Joost), C. Palamidessi (Catuscia) and J.J.M.M. Rutten (Jan)

January 1991
Calculate categorically ! Tech Report

M.M. Fokkinga (Maarten)

January 1991
Datatype laws without signatures Tech Report

M.M. Fokkinga (Maarten)

January 1991
Normal forms in real time process algebra Tech Report

W.J. Fokkink (Wan)

January 1991
A numerical model of the northwest European Continental Shelf on the CRAY Y-MP2E Tech Report

E.D. de Goede (Erik)

January 1991
A short proof of the decidability of bisimulation fro normed BPA-processes Tech Report

J.F. Groote (Jan Friso)

January 1991
Undecidable equivalences for basic process algebra Tech Report

J.F. Groote (Jan Friso) and H. Hüttel

January 1991
Proof theory for $ mu $ -CRL Tech Report

J.F. Groote (Jan Friso) and A. Ponse (Alban)

January 1991
Texture synthesis Tech Report

M. Haindl

January 1991
On solving the diophantine equation $ x^ 3 + y^ 3 + z^ 3 = k $ on a vector computer Tech Report

D.R. Heath-Brown, W.M. Lioen (Walter) and H.J.J. te Riele (Herman)

January 1991
Implementing higher-order algebraic specifications Tech Report

J. Heering (Jan)

January 1991
Discretization of morphological operators Tech Report

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

January 1991
Parallel step-by-step methods Tech Report

P.J. van der Houwen (Piet)

January 1991
Analysis of parallel diagonal-implicit iteration of Runge-Kutta methods Tech Report

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

January 1991
Fast theorem proving in intuitionistic propositional logic Tech Report

M.I. Kanovich

January 1991
Lazy scanner generation for modular regular grammars Tech Report

P. Klint (Paul)

January 1991
Abstraction in real time process algebra Tech Report

A.S. Klusener (Steven)

January 1991
Askey-Wilson polynomials for root systems of type BC Tech Report

T.H. Koornwinder

January 1991
Report on a window-on-science trip Tech Report

B. Koren (Barry)

January 1991
U-statics of increasing degrees with asymptotically Poisson distributions Tech Report

V.S. Korolyuk (Vladimir Semenovich) and Y.V. Borovskikh

January 1991
Diffusion approximation of stochastic additive functionals of jump Markov processes Tech Report

V.V. Korolyuk (Vladimir)

January 1991
Diffusion approximation of stochastic integral functionals of jump Markov processes Tech Report

V.V. Korolyuk (Vladimir)

January 1991
On a characterization of the exponential distribution based on a type 2 right cesored sample Tech Report

J. Leslie and C. van Eeden (Constance)

January 1991
Solving large dense systems of linear equations on systems with virtual memory and with cache Tech Report

W.M. Lioen (Walter) and D.T. Winter (Dik)

January 1991
Adaptive multigrid for the steady Euler equations Tech Report

H.T.M. van der Maarel (Eric)

January 1991
Fine-grain incremental implementation of algebraic specifications Tech Report

E.A. van der Meulen (Emma)

January 1991
Counterexamples to completeness results for basic narrowing Tech Report

A. Middeldorp and E. Hamoen

January 1991

Previous

Next

Available Years