Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

Correctness proofs for assignment statements : (prepublication) Tech Report

J.W. de Bakker (Jaco)

January 1976
A space-saving technique for assigning Algol 68 multiple values : (prepublication) Tech Report

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

January 1976
Exercises in denotational semantics Tech Report

K.R. Apt (Krzysztof) and J.W. de Bakker (Jaco)

January 1976
A critical comparison of several implementations of programming languages : (preprint) Tech Report

H.J. Boom and E. de Jong (Edwin)

January 1976
From abstract variable to concrete representation : (prepublication) Tech Report

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

January 1976
Extended type checking : (prepublication) Tech Report

H.J. Boom

January 1976
On the Algol 68 transput conversion routines : (prepublication) Tech Report

J.C. van Vliet (Hans)

January 1976
Semantics and the foundations of program proving : (prepublication) Tech Report

J.W. de Bakker (Jaco)

January 1976
A view of coroutines : (prepublication) Tech Report

D. Grune (Dick)

January 1976
The report on the standard hardware representation for Algol 68 : (prepublication) Tech Report

H.J. Boom and W.J. Hansen

January 1976
On forward and backward proof rules for program verification : (prepublication) Tech Report

L. Ammeraal

January 1976
A W-grammar for the semantics of integer expressions : (prepublication) Tech Report

L. Ammeraal

January 1976
The intermediate language for pictures : (prepublication) Tech Report

T. Hagen, P.J.W. ten Hagen (Paul), P. Klint (Paul) and H. Noot (Han)

January 1976
Time bounded random access machines with parallel processing : (prepublication) Tech Report

W.J. Savitch and M.J. Stimson

January 1976
Achievable high scores of -moves and running times in DPDA computation : (prepublication) Tech Report

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

January 1976
Equivalence of operational and denotational semantics for a fragment of Pascal : (prepublication) Tech Report

K.R. Apt (Krzysztof)

January 1976
On inverse deterministic pushdown transductions : (prepublication) Tech Report

P.M.B. Vitányi (Paul) and W.J. Savitch

January 1976
Taylor-Runge-Kutta methoden Tech Report

P.H.M. Wolkenfelt

January 1976
Vergelijking van rekentijden : verslag van de vergelijking van door verschillende vertalers vertaalde programma's op Control Data Cyber 73 computers Tech Report

January 1976
Numal, a library of numerical procedures in Algol 60; index and KWIC index : 3rd ed Tech Report

P.W. Hemker (Piet)

January 1976
On a conjecture of Erdös concerning sums of powers of integers Tech Report

M.R. Best (Marc) and H.J.J. te Riele (Herman)

January 1976
Numerical solution of mildly nonlinear two-point boundary value problems by means of Galerkin's method Tech Report

M. Bakker (Miente)

January 1976
The solution of the order equations of a four-point, fourth-order, two-step runge-kutta method Tech Report

P.A. Beentjes

January 1976
The solution of the order equations of a four-point, fourth order, two-step runge-kutta method : 2nd ed Tech Report

P.A. Beentjes

January 1976
On integer arithmetic progressions of length four : (prepublication) Tech Report

H.J.J. te Riele (Herman)

January 1976
Multipoint multistep Runge-Kutta methods, 1; on a class of two-step methods for parabolic equations Tech Report

J.G. Verwer (Jan)

January 1976
Multipoint multistep Runge-Kutta methods, 2; the construction of a class of stabilized three-step methods for parabolic equations Tech Report

J.G. Verwer (Jan)

January 1976
Iterative solution of nonlinear equations by imbedding methods Tech Report

C. den Heijer (Cornelis)

January 1976
Systematic index of NUMPAS, a library of numerical procedures in Pascal Tech Report

January 1976
Higher order Runge-Kutta methods for the numerical solution of second order differential equations without first derivatives : (preprint) Tech Report

P.A. Beentjes and W.J. Gerritsen

January 1976
On the local convergence of Newton's method : (prepublication) Tech Report

C. den Heijer (Cornelis)

January 1976
Handleiding voor hierarchische clusteranalyse Tech Report

J.G. Bethlehem

January 1976
Statal, a library of statistical procedures and programs, 0 : General introduction Tech Report

J.G. Bethlehem

January 1976
Statal, a library of statistical procedures and programs, 1 : Statal procedures Tech Report

J.G. Bethlehem

January 1976
Some properties of the empirical distribution function in the non-i.i.d. case : 2nd ed Tech Report

M.C.A. van Zuijlen

January 1976
A user's program for multiple linear regression analysis : 2nd ed Tech Report

M. van Gelderen

January 1976
Asymptotic expansions for the power of distributionfree tests in the two-sample problem : (prepublication) Tech Report

P.J. Bickel and W.R. van Zwet (Willem)

January 1976
Grenzen voor korrelatiekoefficienten in een trivariate verdeling Tech Report

E. Elffers

January 1976
The model of latent structure analysis : (prepublication) Tech Report

R.D. Gill (Richard)

January 1976
Edgeworth expansions for linear combinations of order statistics with smooth weight functions : (preprint) Tech Report

R. Helmers (Roelof)

January 1976
Tests and confidence intervals for the difference and ratio of two probabilities : (prepublication) Tech Report

J.M. Buhrman

January 1976
Large deviation theorems for empirical distribution functions : (prepublication) Tech Report

P. Groeneboom

January 1976
Bahadur efficiency and probabilities of large deviations : (prepublication) Tech Report

P. Groeneboom and J. Oosterhoff

January 1976
Consistency of maximum likelihood estimators of the factor analysis model, when the observations are not multivariate normally distributed : (prepublication) Tech Report

R.D. Gill (Richard)

January 1976
Large deviation theorems for empirical probability measures : (preprint) Tech Report

P. Groeneboom, J. Oosterhoff and F.H. Ruymgaart

January 1976
Overzicht van een aantal begrippen en stellingen uit de functionaalanalyse en de distributietheorie Tech Report

T.H. Koornwinder

January 1976
On the numerical evaluation of the modified Bessel function of the third kind : 2nd ed Tech Report

N.M. Temme (Nico)

January 1976
Mutually synchronized relaxation oscillations : (prepublication) Tech Report

J. Grasman (Johan) and M.J.W. Jansen

January 1976
Polymerisatie en gelvorming Tech Report

H.A. Lauwerier

January 1976
Enkele randwaardeproblemen uit de electrostatica Tech Report

M. Sluijter

January 1976
Berekening van een ruimteladingseffect Tech Report

O. Diekmann (Odo), N.M. Temme (Nico) and J.G. Verwer (Jan)

January 1976
Vertakkingstheorie voor vergelijkingen f(x) = \lambda x met storingsmethode Tech Report

M. Sluijter

January 1976
Generalized power series expansions for a class of orthogonal polynomials in two variables : (prepublication) Tech Report

T.H. Koornwinder and I.G. Sprinkhuizen-Kuyper

January 1976
Hypergeometric functions of 2 * 2 matrix argument are solutions of the partial differential equations for appell's function f : (prepublication) Tech Report

T.H. Koornwinder and I.G. Sprinkhuizen-Kuyper

January 1976
Polycondensation and gelation of trifunctional monomers : (prepublication) Tech Report

H.A. Lauwerier

January 1976
Positivity proofs for linearization and connection coefficients of orthogonal polynomials satisfying an addition formula : (prepublication) Tech Report

T.H. Koornwinder

January 1976
Limiting behaviour in an epidemic model : (prepublication) Tech Report

O. Diekmann (Odo)

January 1976
Polycondensation and gelation: the general case : (prepublication) Tech Report

H.A. Lauwerier

January 1976
A variational approach to singularly perturbed boundary value problems for ordinary and partial differential equations with turning points : (prepublication) Tech Report

J. Grasman (Johan) and B.J. Matkowsky

January 1976
Evolution of an epidemic with a small number initial infectives : (preprint) Tech Report

J. Grasman (Johan) and B.J. Matkowsky

January 1976
A jacobi series expansion with nonnegative coefficients related to a special class of orthogonal polynomials in two variables Tech Report

I.G. Sprinkhuizen-Kuyper

January 1976
Dynamische systemen Tech Report

J. de Vries (Jan)

January 1976
A note on the covering of all triples on 7 points with steiner triple systems Tech Report

A.E. Brouwer (Andries)

January 1976
The blocking number of an affine space Tech Report

A.E. Brouwer (Andries) and A. Schrijver (Lex)

January 1976
Coseparators in categories of topological transformation groups Tech Report

J. de Vries (Jan)

January 1976
A note on the path-compression-rule Tech Report

T.P. van der Weide

January 1976
Bounds for a cardinal function on g-spaces Tech Report

J. de Vries (Jan)

January 1976
On the existence of g-compactifications : (prepublication) Tech Report

J. de Vries (Jan)

January 1976
On associative block designs Tech Report

A.E. Brouwer (Andries)

January 1976
A group-divisible design GD(4,1,2;n) exists iff $n \equiv 2$ (mod 6), $n \not 8$ (or: the packing of cocktail party graphs with $K_4$'s) Tech Report

A.E. Brouwer (Andries) and A. Schrijver (Lex)

January 1976
A note on perfect mixed lee codes and finite abelian groups Tech Report

E. Wattel (Evert)

January 1976
A topological property of supercompact hausdorff spaces : (prepublication) Tech Report

J. van Mill (Jan)

January 1976
Recursive embeddings of partial orderings : (prepublication) Tech Report

K.R. Apt (Krzysztof)

January 1976
A note on david lubell's article local matchings in the function space of a partial order : (prepublication) Tech Report

A. Schrijver (Lex)

January 1976
Inductive definitions, models of comprehension and invariant definability : (prepublication) Tech Report

K.R. Apt (Krzysztof)

January 1976
Superextensions which are Hilbert cubes Tech Report

J. van Mill (Jan) and A. Schrijver (Lex)

January 1976
A(14,6,7) < 52 or the nonexistence of a certain constant weight code : (prepublication) Tech Report

W.G. Valiant

January 1976
The wax bound for binary codes Tech Report

M.R. Best (Marc)

January 1976
Each complete bipartite graph minus a matching is representable by line segments Tech Report

P. van Emde Boas (Peter), T.M.V. Janssen (Theo) and A. Schrijver (Lex)

January 1976
The dependence of some logical axioms on disjoint transversals and linked systems : (prepublication) Tech Report

A. Schrijver (Lex)

January 1976
Optimal packings of $K_4$'s into a K$_n$ : the case n $\equiv$ 5 (mod 6) Tech Report

A.E. Brouwer (Andries)

January 1976
Least fixed points and the recursion theorem Tech Report

P. van Emde Boas (Peter)

January 1976
Some applications of the meyer-mccreight algorithm in abstract complexity theory : (prepublication) Tech Report

P. van Emde Boas (Peter)

January 1976
Subbase characterizations of compact topological spaces Tech Report

J. van Mill (Jan) and A. Schrijver (Lex)

January 1976
A generalization of baranyai's theorem Tech Report

A.E. Brouwer (Andries)

January 1976
Optimal packings of $K_4$'s into a K$_n$ : the case n $\equiv$ 5 (mod 6) Tech Report

A.E. Brouwer (Andries)

January 1976
A connected metric space without nontrivial open connected subspaces Tech Report

A.E. Brouwer (Andries)

January 1976
A note on the partial sums of $ \zeta (s) $ III Tech Report

J. van de Lune (Jan) and H.J.J. te Riele (Herman)

January 1976
On the convergence of some irregularly oscillating series Tech Report

J. van de Lune (Jan)

January 1976
The excess of a hadamard matrix Tech Report

M.R. Best (Marc)

January 1976
On a sum associated with the farey series Tech Report

C.L. Stewart

January 1976
The number of lattice points contained in certain convex domains Tech Report

J. van de Lune (Jan)

January 1976
A note on certain oscillating sums Tech Report

A.E. Brouwer (Andries) and J. van de Lune (Jan)

January 1976
Bounds for binary codes of length less than 25 Tech Report

M.R. Best (Marc) and A.E. Brouwer (Andries)

January 1976
Triple systems and associated differences Tech Report

J.C. Bermond, A.E. Brouwer (Andries) and A. Germa

January 1976
On the convergence of a class of variable metric algorithms Tech Report

J.C.P. Bus

January 1976
Treelike spaces and related connected topological spaces Dissertation

A.E. Brouwer (Andries)

January 1976
The model of Latent Structure Analysis Article

Statistica Neerlandica, 30(3), 143-149.

Gill, R.D.

January 1976
Notulen van de vergadering van de Raad van Beheer SMC Miscellaneous

January 1976
Mededelingen directie 1976 - 1987 Miscellaneous

January 1976

Previous

Next

Available Years