Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

Approximations for (S,S) inventory systems with stochastic lead times and a service level constraint : (preprint) Tech Report

H.C. Tijms (Henk) and H. Groenevelt

January 1981
Short term adaptive prediction of railway power demand : (preprint) Tech Report

J.D. van der Bij and J.H. van Schuppen (Jan)

January 1981
Laser plotting of pollen diagrams Tech Report

A.C. Veldkamp, T. Hagen and J.D. van der Woude

January 1981
PGEN; a general purpose parser generator Tech Report

G. Florijn and G. Rolf (Geert)

January 1981
Abstract storage structures : (preprint) Tech Report

H.B.M. Jonkers

January 1981
Formal language definitions can be made practical : (preprint) Tech Report

P. Klint (Paul)

January 1981
Hoare's logic and Peano's arithmetic : (preprint) Tech Report

J.A. Bergstra (Jan) and J.V. Tucker (John)

January 1981
Issues in the design of a beginners' programming language : (preprint) Tech Report

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

January 1981
From VW-grammar to Aleph : (preprint) Tech Report

D. Grune (Dick)

January 1981
On the existence of Cook semantics : (preprint) Tech Report

A. de Bruin (Arie)

January 1981
The GKS reviewing process : (preprint) Tech Report

P.J.W. ten Hagen (Paul)

January 1981
Two theorems about the completeness of Hoare's logic : (preprint) Tech Report

J.A. Bergstra (Jan) and J.V. Tucker (John)

January 1981
Communicating graphics : (preprint) Tech Report

P.J.W. ten Hagen (Paul)

January 1981
Efficient implementations of multicounter machines on oblivious turing machines, acyclic logic networks, and VLSI : (preprint) Tech Report

P.M.B. Vitányi (Paul)

January 1981
Algol 68+, a superlanguage of Algol 68 for processing the standard-prelude Tech Report

L.G.L.T. Meertens (Lambert) and J.C. van Vliet (Hans)

January 1981
An operational semantics for bounded nondeterminism equivalent to a denotational one : (preprint) Tech Report

R. Kuiper

January 1981
Correctness of programs with function procedures : (preprint) Tech Report

J.W. de Bakker (Jaco), J.W. Klop (Jan Willem) and J.-J.C. Meyer (John-Jules)

January 1981
An underlying context-free grammar of Algol 68+ Tech Report

L.G.L.T. Meertens (Lambert) and J.C. van Vliet (Hans)

January 1981
Pep: an interactive programming system with an Algol-like programming language : (preprint) Tech Report

P. Verhelst and N.F. Verster

January 1981
An operator-priority grammar for Algol 68+ Tech Report

L.G.L.T. Meertens (Lambert) and J.C. van Vliet (Hans)

January 1981
Some thoughts on a tuple oriented programming system Tech Report

P. Verhelst

January 1981
A formalized proof system for total correctness of while programs : (preprint) Tech Report

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

January 1981
Proving program inclusion using Hoare's logic Tech Report

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

January 1981
The B-representation of piecewise polynomial parametric curves and local adaption Tech Report

A.B. Tol

January 1981
Another proof for the completeness of a rule for the fair termination of guarded commands and another rule for their just termination. (preliminary version) : (preprint) Tech Report

D. Lehmann

January 1981
A formal model for data flow programs with token coloring : (preprint) Tech Report

A.H. Veen (Arthur)

January 1981
Making Algol 68+ texts conform to an operator-priority grammar Tech Report

L.G.L.T. Meertens (Lambert) and J.C. van Vliet (Hans)

January 1981
Languageless programming : (preprint) Tech Report

A. van Wijngaarden (Adriaan)

January 1981
On top-down parsing of Algol 68+ Tech Report

L.G.L.T. Meertens (Lambert) and J.C. van Vliet (Hans)

January 1981
Algebraic specifications for parametrized data types with minimal parameter and target algebras : (preprint) Tech Report

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

January 1981
A note on non-generators of full AFL's : (preprint) Tech Report

P.R.J. Asveld and J. Engelfriet

January 1981
Towards monolingual programming environments : (preprint) Tech Report

J. Heering (Jan) and P. Klint (Paul)

January 1981
MIDL: a microinstruction description language : (preprint) Tech Report

H.J. Sint

January 1981
Definition of an abstract Algol 68 machine Tech Report

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

January 1981
On the MC Algol 68 compiler Tech Report

L.G.L.T. Meertens (Lambert) and J.C. van Vliet (Hans)

January 1981
Lattices and factorization of polynomials : (preprint) Tech Report

A.K. Lenstra (Arjen)

January 1981
A note on defect correction processes with an approximate inverse of deficient rank Tech Report

P.W. Hemker (Piet)

January 1981
Lecture notes of a seminar on multiple grid methods Tech Report

P.W. Hemker (Piet)

January 1981
Instructive experiments with some Runge-Kutta-Rosenbrock methods : (preprint) Tech Report

J.G. Verwer (Jan)

January 1981
On the practical value of the notion of bn-stability : (preprint) Tech Report

J.G. Verwer (Jan)

January 1981
The construction of an accurate lower bound for the real parts of the eigenvalues of an m-matrix : (preprint) Tech Report

P.P.N. de Groen

January 1981
Application of the osher-engquist difference scheme and the full multi-grid method to a two dimensional nonlinear elliptic model equation : (preprint) Tech Report

E.J. van Asselt

January 1981
On the regularity of the principal value of the double layer potential : (preprint) Tech Report

H. Schippers

January 1981
Analysis of Richardson iteration in multigrid methods for nonlinear parabolic differential equations : (preprint) Tech Report

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

January 1981
On the choice of suitable operators and parameters in multigrid methods Tech Report

W.J.A. Mol

January 1981
Modified multilag methods for volterra functional equations : (preprint) Tech Report

P.H.M. Wolkenfelt

January 1981
Stability analysis of numerical methods for volterra integral equations with polynomial convolution kernels : (preprint) Tech Report

S. Amini, C.T.H. Baker, P.J. van der Houwen (Piet) and P.H.M. Wolkenfelt

January 1981
Smoothing and coarse grid approximation properties of multigrid methods Tech Report

W.J.A. Mol

January 1981
A special class of multistep Runge-Kutta methods with extended real stability interval : (preprint) Tech Report

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

January 1981
Application of multigrid methods for integral equations to two problems from fluid dynamics : (preprint) Tech Report

H. Schippers

January 1981
On the contractivity of a complex Runge-Kutta scheme : (preprint) Tech Report

J.G. Verwer (Jan)

January 1981
Rigorous high speed separation of zeros of Riemann's zeta function Tech Report

J. van de Lune (Jan), H.J.J. te Riele (Herman) and D.T. Winter (Dik)

January 1981
Computation of flows around a karman-trefftz profile : (preprint) Tech Report

W.J.A. Mol

January 1981
Collocation methods for weakly singular second kind volterra integral equations with non-smooth solution : (preprint) Tech Report

H.J.J. te Riele (Herman)

January 1981
Defect correction iteration and splitting methods for time-dependent partial differential equations : (preprint) Tech Report

P.J. van der Houwen (Piet)

January 1981
An accurate method without directional bias for the numerical solution of a 2-d elliptic singular perturbation problem : (preprint) Tech Report

P.W. Hemker (Piet)

January 1981
Berry-esseen theorems for simple linear rank statistics under the null-hypothesis : (preprint) Tech Report

R.J.M.M. Does

January 1981
Linear nonparametric tests for comparison of counting processes, with applications to censored survival data : (preprint) Tech Report

P.K. Andersen, Ø. Borgan, R.D. Gill (Richard) and N. Keiding

January 1981
Cox's regression model for counting processes: a large sample study : (preprint) Tech Report

P.K. Andersen and R.D. Gill (Richard)

January 1981
Large sample behaviour of the product-limit estimator on the whole line : (preprint) Tech Report

R.D. Gill (Richard)

January 1981
The Berry-Esseen bound for u-statistics : (preprint) Tech Report

R. Helmers (Roelof) and W.R. van Zwet (Willem)

January 1981
A Berry-Esseen theorem for functions of uniform spacings : (preprint) Tech Report

R.J.M.M. Does and C.A.J. Klaassen (Chris)

January 1981
Bayes tests for locally asymptotically normal families : (preprint) Tech Report

D.R. Truax

January 1981
An Edgeworth expansion for simple linear rank statistics under the null-hypothesis : (preprint) Tech Report

R.J.M.M. Does

January 1981
A note on an inequality of Chernoff : (preprint) Tech Report

C.A.J. Klaassen (Chris)

January 1981
The mathematical modelling of entrainment in physiological systems : (preprint) Tech Report

J. Grasman (Johan)

January 1981
Random perturbations, periodicity and chaotic behavior in nonlinear systems Tech Report

J. Grasman (Johan)

January 1981
On a class of sensitive cheap control problems : (preprint) Tech Report

J. Grasman (Johan)

January 1981
A duality principle for delay equations : (preprint) Tech Report

O. Diekmann (Odo)

January 1981
An application of the Leslie matrix model to the population dynamics of the hooded (cystphora cristata erxleben) seal Tech Report

E. Flipse and E.J.M. Veling

January 1981
The uniform asymptotic expansion of a class of integrals related to cumulative distribution functions : (preprint) Tech Report

N.M. Temme (Nico)

January 1981
One way traffic of pulses in a neuron : (preprint) Tech Report

J.P. Pauwelussen

January 1981
Dips and slidings of the forced van der pol relaxation oscillator Tech Report

J. Grasman (Johan)

January 1981
Prelude to hopf bifurcation in an epidemic model: analysis of a characteristic equation associated with a nonlinear volterra integral equation : (preprint) Tech Report

O. Diekmann (Odo) and R. Montijn

January 1981
Quadruple integral equations for the charged disc and coplanar annulus Tech Report

N.M. Temme (Nico) and R. de Bruin

January 1981
Existence and uniqueness for a nonlinear diffusion problem arising in neurophysiology Tech Report

J.P. Pauwelussen

January 1981
Optimal lower bounds for the spectrum of a second order linear differential equation with a p-integrable coefficient : (preprint) Tech Report

E.J.M. Veling

January 1981
Invariant manifolds for volterra integral equations of convolution type : (preprint) Tech Report

O. Diekmann (Odo) and S.A. van Gils (Stephan)

January 1981
Variational analysis of a perturbed free boundary problem : (preprint) Tech Report

O. Diekmann (Odo) and D. Hilhorst (Danielle)

January 1981
A semi infinite trumpet-shaped model of the cochlea Tech Report

R. de Bruin

January 1981
Montague grammar and functional grammar Tech Report

T.M.V. Janssen (Theo)

January 1981
A characterization by order of the generalized hexagons and a near octagon whose lines have length three Tech Report

A.M. Cohen (Arjeh)

January 1981
Ovoids and fans in the generalized quadrangle gq(4,2) Tech Report

A.E. Brouwer (Andries) and H.A. Wilbrink

January 1981
An inequality in binary vector spaces Tech Report

A.E. Brouwer (Andries)

January 1981
Strongly regular graphs where mu equals two and lambda is large Tech Report

A.E. Brouwer (Andries) and A. Neumaier

January 1981
Some lotto numbers from an extension of turan's theorem Tech Report

A.E. Brouwer (Andries)

January 1981
Invariant differential operators on non-reductive homogeneous spaces Tech Report

T.H. Koornwinder

January 1981
The uniqueness of the near hexagon on 759 points Tech Report

A.E. Brouwer (Andries)

January 1981
Some unitals on 28 points and their embeddings in projective planes of order 9 Tech Report

A.E. Brouwer (Andries)

January 1981
Krawtchouk polynomials, a unification of two different group theoretic interpretations : (preprint) Tech Report

T.H. Koornwinder

January 1981
A characterization of the classical unitals : (preprint) Tech Report

H.A. Wilbrink

January 1981
Polarities of g. higman's symmetric design and a strongly regular graph on 176 vertices : (preprint) Tech Report

A.E. Brouwer (Andries)

January 1981
On the points and lines of metasymplectic spaces : (preprint) Tech Report

A.M. Cohen (Arjeh)

January 1981
Clebsch-gordan coefficients for su(2) and hahn polynomials : (preprint) Tech Report

T.H. Koornwinder

January 1981
Spherical distributions on an exceptional hyperbolic space of type f : (preprint) Tech Report

M.T. Kosters

January 1981
The uniqueness of the near hexagon on 729 points : (preprint) Tech Report

A.E. Brouwer (Andries)

January 1981
The nonexistence of a regular near hexagon on 1408 points : (preprint) Tech Report

A.E. Brouwer (Andries)

January 1981
Regular near polygons do contain hexes : (preprint) Tech Report

A.E. Brouwer (Andries)

January 1981
A characterization of subspaces of given rank in a projective space : (preprint) Tech Report

A.M. Cohen (Arjeh)

January 1981
On the g-compactification of products Tech Report

J. de Vries (Jan)

January 1981

Previous

Next

Available Years