Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

An algebra for process creation Tech Report

J.C.M. Baeten (Jos) and F.W. Vaandrager (Frits)

January 1989
Lists and associative functions in algebraic specifications : semantics and implementation Tech Report

P.R.H. Hendriks

January 1989
Faster Phong shading via angular interpolation Tech Report

A.A.M. Kuijk (Fons) and E.H. Blake

January 1989
A dataflow graphics workstation Tech Report

P.J.W. ten Hagen (Paul), I. Herman (Ivan) and J.R.G. Vries

January 1989
Branching time and abstraction in bisimulation semantics Tech Report

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

January 1989
Characterizing termination of logic programs with level mappings Tech Report

M.A. Bezem

January 1989
On the safe termination of PROLOG programs Tech Report

K.R. Apt (Krzysztof), R.N. Bol and J.W. Klop (Jan Willem)

January 1989
Constructing a calculus of programs Tech Report

L.G.L.T. Meertens (Lambert)

January 1989
Inductive reasoning and Kolmogorov complexity Tech Report

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

January 1989
On downward closure ordinals of logic programs Tech Report

R. Bagai, M.A. Bezem and M.H. van Emden

January 1989
$\theta$ -government, thematic government and extraction asymmetries in zero derivation Tech Report

H. Walinska de Hackbeil (Hanna)

January 1989
A new approach to formal language theory by Kolmogorov complexity Tech Report

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

January 1989
Random Markov processes and uniform martingales Tech Report

S. Kalikow

January 1989
2.5 Dimensional graphics systems Tech Report

I. Herman (Ivan)

January 1989
Refinement in branching time semantics Tech Report

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

January 1989
Termination for direct sums of left-linear complete term rewriting systems Tech Report

Y. Toyama, J.W. Klop (Jan Willem) and H.P. Barendregt (Henk)

January 1989
Iterative defect correction and multigrid accelerated explicit time stepping schemes for the steady Euler equations Tech Report

M.H. Lallemand and B. Koren (Barry)

January 1989
Testing of elementary functions in ADA Tech Report

M. Bergman

January 1989
Recursive process definitions with the state operator Tech Report

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

January 1989
A parallel expert system shell Tech Report

H.M.C.L. Kempenaar

January 1989
A computational model for three-dimensional shallow water flows on the ALLIANT FX/4 Tech Report

E.D. de Goede (Erik)

January 1989
Convergence of one-leg multistep methods for stiff nonlinear initial value problems Tech Report

W. Hundsdorfer (Willem)

January 1989
Embedded diagonally implicit Runge-Kutta algorithms on parallel computers Tech Report

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

January 1989
Reflexivity, the dual Radon-Nykodym property, and continuity of adjoint semigroups Tech Report

J.M.A.M. van Neerven (Jan)

January 1989
Sequencing and scheduling: algorithms and complexity Tech Report

E.L. Lawler, J.K. Lenstra (Jan Karel), A.H.G. Rinnooy Kan and D.B. Shmoys

January 1989
Almost disturbance decoupling by measurement feedback: a frequency domain analysis Tech Report

J.W. van der Woude (Jacob)

January 1989
Towards a theory of (self) applicative communicating processes: a short note Tech Report

H.J.M. Goeman

January 1989
The syntax definition formalism SDF : reference manual Tech Report

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

January 1989
On rates of convergence and asymptotic normality in the multiknapsack problem Tech Report

S.A. van de Geer (Sara) and L. Stougie (Leen)

January 1989
Probabilistic analysis of the minimum weighted flowtime scheduling problem Tech Report

A. Marchetti Spaccamela (Alberto), W.S. Rhee, L. Stougie (Leen) and S.A. van de Geer (Sara)

January 1989
Scheduling around a small common due date Tech Report

J.A. Hoogeveen and S.L. van de Velde

January 1989
Sojourn times in queueing networks Tech Report

O.J. Boxma (Onno) and H. Daduna (Hans)

January 1989
Partial order semantics for refinement of actions : neither necessary nor always sufficient but appropriate when used with care Tech Report

R.J. van Glabbeek (Rob) and U. Goltz

January 1989
Belief networks in plausible reasoning Tech Report

L.C. van der Gaag

January 1989
Arithmetic classification of perfect models of stratified programs (Extended version) Tech Report

K.R. Apt (Krzysztof) and H.A. Blair

January 1989
On the use of the arclength and curvature monitor in a moving-grid method which is based on the method of lines Tech Report

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

January 1989
Block Runge-Kutta methods Tech Report

P.J. van der Houwen (Piet)

January 1989
Local and global order reduction of some LOD schemes Tech Report

W. Hundsdorfer (Willem)

January 1989
Affine polar spaces Tech Report

A.M. Cohen (Arjeh) and E.E. Shult

January 1989
Polynomial asymptotic estimates of Gegenbauer, Laguerre, and Jacobi polynomials Tech Report

N.M. Temme (Nico)

January 1989
Morphological sampling Tech Report

H.J.A.M. Heijmans (Henk) and A. Toet (Alexander)

January 1989
On the definition and the computation of the basic reproduction ratio : $R_ 0$ in models for infectious diseases in heterogeneous populations Tech Report

O. Diekmann (Odo), J.A.P. Heesterbeek (Hans) and J.A.J. Metz

January 1989
On a class of N-dimensional associated random walks and the hitting point identity Tech Report

J.W. Cohen

January 1989
Scheduling identical jobs on uniform parallel machines Tech Report

M.I. Dessouky, B.J. Lageweg, J.K. Lenstra (Jan Karel) and S.L. van de Velde

January 1989
Experiences with the Amoeba distributed operating system Tech Report

A.S. Tanenbaum (Andrew), R. van Renesse (Robbert), H. van Staveren, G.J. Sharp, S.J. Mullender (Sape), A.J. Jansen (Jack) and G. van Rossum (Guido)

January 1989
A process specification formalism based on static COLD Tech Report

J.C.M. Baeten (Jos), J.A. Bergstra (Jan), S. Mauw (Sjouke) and G.J. Veltink

January 1989
Multiple inheritance and exceptions in frame systems Tech Report

P.J.F. Lucas

January 1989
NUMVEC FORTRAN library manual : chapter: partial differential equations : routine: OEHPC Tech Report

E.D. de Goede (Erik) and J.H.M. ten Thije Boonkkamp

January 1989
Stabilization of a time integrator for the 3D shallow water equations by smoothing techniques Tech Report

E.D. de Goede (Erik)

January 1989
A-stable parallel block methods Tech Report

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

January 1989
On the zeros of the error term for the mean square of $ \vert \zeta ({1 \over 2} + it) \vert $ Tech Report

A. Ivic and H.J.J. te Riele (Herman)

January 1989
A new lower bound for the De Bruijn-Newman constant Tech Report

H.J.J. te Riele (Herman)

January 1989
Modular parser generation Tech Report

J. G. Rekers (Jan)

January 1989
Design of a specification language by abstract syntax engineering Tech Report

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

January 1989
Computing boolean functions on anonymous networks Tech Report

E. Kranakis (Evangelos) and D.D.M. Krizanc

January 1989
A survey of concurrent readers and writers Tech Report

L.M. Kirousis and E. Kranakis (Evangelos)

January 1989
On the projective invariant representation of conics in computer graphics Tech Report

I. Herman (Ivan)

January 1989
How to construct an atomic variable Tech Report

J.T. Tromp (John)

January 1989
Improved techniques for lower bounds for odd perfect numbers Tech Report

R.P. Brent, G.L. Cohen and H.J.J. te Riele (Herman)

January 1989
Stability and error estimates for sinc interpolation Tech Report

M. Zwaan

January 1989
Threshold and stability for an age-structured epidemic model Tech Report

H. Inaba

January 1989
Perturbation theory for dual semigroups and its applications to age-dependent population dynamics Tech Report

H. Inaba

January 1989
Associated distributions in the analysis of two-dimensional random walks Tech Report

J.W. Cohen

January 1989
On the structure at infinity of a structured system Tech Report

J.W. van der Woude (Jacob)

January 1989
The M/G/1 queue with permanent customers Tech Report

O.J. Boxma (Onno) and J.W. Cohen

January 1989
Stochastic realization problems Tech Report

J.H. van Schuppen (Jan)

January 1989
Relativistic Toda systems Tech Report

S.N.M. Ruijsenaars (Simon)

January 1989
Applications of polyhedral combinatorics to multicommodity flows and compact surfaces Tech Report

A. Schrijver (Lex)

January 1989
Short proofs on multicommodity flows and cuts Tech Report

A. Schrijver (Lex)

January 1989
Disjoint homotopic paths and trees in a planar graph Tech Report

A. Schrijver (Lex)

January 1989
Cones of matrices and setfunctions, and 0-1 optimization Tech Report

L. Lovász (László) and A. Schrijver (Lex)

January 1989
Sequentiality in orthogonal term rewriting systems Tech Report

J.W. Klop (Jan Willem) and A. Middeldorp

January 1989
Amoeba: high-performance distributed computing Tech Report

S.J. Mullender (Sape), G. van Rossum (Guido), A.S. Tanenbaum (Andrew), R. van Renesse (Robbert) and J.M. van Staveren

January 1989
The syntax of Slavic aspect : extended abstract Tech Report

H. Walinska de Hackbeil (Hanna)

January 1989
An analysis of loop checking mechanisms for logic programs Tech Report

R.N. Bol, K.R. Apt (Krzysztof) and J.W. Klop (Jan Willem)

January 1989
Confluence of the disjoint union of conditional term rewriting systems Tech Report

A. Middeldorp

January 1989
Addition chain heuristics Tech Report

J.N.E. Bos (Jurjen) and M.J. Coster

January 1989
An approach to hierarchical input devices Tech Report

D.A. Duce, R. van Liere (Robert) and P.J.W. ten Hagen (Paul)

January 1989
Components, frameworks and GKS input Tech Report

D.A. Duce, R. van Liere (Robert) and P.J.W. ten Hagen (Paul)

January 1989
Extending S-interpretations to logic programs with negation Tech Report

D. Turi

January 1989
A Markov chain identity and monotonicity of the diffusion constants for a random walk in a heterogeneous environment Tech Report

J.B.T.M. Roerdink (Jos)

January 1989
Supercongruences Tech Report

M.J. Coster

January 1989
Production, development and maturation of red blood cells : a mathematical model Tech Report

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

January 1989
Exact finite dimensional representations of models for physiologically structured populations Tech Report

J.A.J. Metz and O. Diekmann (Odo)

January 1989
Diffusion in lattices with anisotropic scatterers Tech Report

J.B.T.M. Roerdink (Jos), K.E. Shuler and G.F. Lawler

January 1989
On the uniqueness of kernels Tech Report

A. Schrijver (Lex)

January 1989
Stochastic approximation of the MLE for a spatial point pattern Tech Report

R.A. Moyeed and A.J. Baddeley (Adrian)

January 1989
On density estimation in the view of Kolmogorov's ideas in approximation theory Tech Report

R. Hasminskii and I. Ibragimov

January 1989
Non-linear multigrid in 2-D semiconductor device simulation : the zero current case Tech Report

J. Molenaar (Gijs)

January 1989
Asymptotic expansions of an integral containing a phase function with three saddle points Tech Report

A.B. Olde Daalhuis

January 1989
Approximation of the solution to the moment problem in a Hilbert space Tech Report

M. Zwaan

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

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

January 1989
System identification of lossless layered media from input-output data Tech Report

J.W. van der Woude (Jacob)

January 1989
On cutting planes and matrices Tech Report

A.M.H. Gerards (Bert)

January 1989
Performance analysis of transaction driven computer systems via queueing analysis of polling models Tech Report

W.P. Groenendijk and H. Levy

January 1989
Optimization of polling systems Tech Report

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

January 1989
On SLLN for martingales with deterministic quadratic variation Tech Report

K.O. Dzhaparidze (Kacha) and P.J.C. Spreij (Peter)

January 1989
Logic programs with negation: classes, models, interpreters Tech Report

D. Turi

January 1989
Enumeration and visibility problems in integer lattices Tech Report

E. Kranakis (Evangelos) and M. Pocchiola

January 1989
Transition system specifications with negative premises Tech Report

J.F. Groote (Jan Friso)

January 1989

Previous

Next

Available Years