Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

The axiomatic semantics of programs based on Hoare's logic Tech Report

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

January 1983
On M-functions and nonlinear relaxation methods Tech Report

E.J. van Asselt

January 1983
Operational operations research at the Mathematical Centre Tech Report

J.M. Anthonisse and J.K. Lenstra (Jan Karel)

January 1983
Stability results for discrete Volterra equations Tech Report

P.J. van der Houwen (Piet)

January 1983
Global extrapolation of a first order splitting method Tech Report

J.G. Verwer (Jan) and H.B. de Vries

January 1983
Weak disjointness and the equicontinuous structure relation Tech Report

J. Auslander, D. MacMahon and J.C.S.P. van der Woude (Jaap)

January 1983
Integration of the linear filtering problem by means of canonical transformations Tech Report

H. Gzyl

January 1983
Virtual periods and global continuation of periodic orbits Tech Report

S.-N. Chow

January 1983
Growth, fission and the stable size distribution Tech Report

O. Diekmann (Odo), H.A. Lauwerier and T. Aldenberg

January 1983
Computational aspects of two component chromatography Tech Report

J.V. Lankelma

January 1983
The parametrisation of the unstable invariant manifold for a class of horseshoe maps Tech Report

H.A. Lauwerier

January 1983
Sum rule for products of Bessel functions: comments on a paper by Newberger: "New sum rule for products of Bessel functions with application to plasma physics" Tech Report

M. Bakker (Miente) and N.M. Temme (Nico)

January 1983
Making B-trees work for B Tech Report

T. Krijnen (Timo) and L.G.L.T. Meertens (Lambert)

January 1983
On the implementation of an editor for the B programming language Tech Report

F.A.H. van Harmelen (Frank)

January 1983
Factoring multivariate polynomials over finite fields Tech Report

A.K. Lenstra (Arjen)

January 1983
A process algebra for the operational semantics of static data flow networks Tech Report

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

January 1983
PC-compactness, a necessary condition for the existence of sound and complete logics of partial correctness Tech Report

J.A. Bergstra (Jan) and J. Tiuryn

January 1983
Another incompleteness theorem for Hoare's logic Tech Report

J.A. Bergstra (Jan), A. Cmielienska and J. Tiuryn

January 1983
An optimal simulation of counter machines: the ACM case Tech Report

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

January 1983
The European UNIX network Tech Report

T. Hagen and J. McKie

January 1983
Pseudocompactness for G-spaces Tech Report

J. de Vries (Jan)

January 1983
The generalized Cartan decomposition for a compact Lie group Tech Report

B. Hoogenboom

January 1983
Tychonov's theorem for G-spaces: (a note on a paper by S. A. Antonyan) Tech Report

J. de Vries (Jan)

January 1983
Evolution semigroups and Hamiltonian flows Tech Report

H. Gzyl

January 1983
Near polygons with lines of size three and Fischer spaces Tech Report

A.E. Brouwer (Andries), A.M. Cohen (Arjeh) and H.A. Wilbrink

January 1983
Automatentheorie, complexiteit en algoritmen [Automata theory, complexity and algorithms] Tech Report

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

January 1983
Some analytical aspects of the peakedness concept Tech Report

E.A. van Doorn

January 1983
On the weak finite stochastic realization problem Tech Report

G. Picci and J.H. van Schuppen (Jan)

January 1983
On orthogonal polynomials on a half line and the associated Kernel polynomials Tech Report

E.A. van Doorn

January 1983
Laplace type integrals: transformation to standard form and uniform asymptotic expansions Tech Report

N.M. Temme (Nico)

January 1983
New very large amicable pairs Tech Report

H.J.J. te Riele (Herman)

January 1983
Symmetric systems with semi-simple structure algebra: the quarternionic case Tech Report

M. Hazewinkel (Michiel), J.H. Lewis and C.F. Martin (Clyde)

January 1983
VLSI-algoritmen voor herkenning van context-vrije talen in lineaire tijd [VLSI algorithms for recognition of context-free languages in linear time] Tech Report

H.D.A. Tan

January 1983
On the simulation of many storage heads by one Tech Report

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

January 1983
Factoring multivariate integral polynomials I: (preprint) Tech Report

A.K. Lenstra (Arjen)

January 1983
A portable vector-code for autonomous multigrid modules Tech Report

P.W. Hemker (Piet), P. Wesseling and P.M. de Zeeuw (Paul)

January 1983
A comparative survey of numerical methods for the linear generalized Abel integral equation Tech Report

H.J.J. te Riele (Herman) and P. Schroevers

January 1983
A comparitive study of ADI splitting methods for parabolic equations in two space dimensions Tech Report

H.B. de Vries

January 1983
The equicontinuous structure relation and extension of functions defined on G-spaces Tech Report

J. de Vries (Jan)

January 1983
Hereditary subdirect irreducibility in graphs : (preprint) Tech Report

J. Vinárek

January 1983
Two infinite sequences of near polygons : (preprint) Tech Report

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

January 1983
Projective monads and extensions of functors Tech Report

J. Vinárek

January 1983
Factoring multivariate polynomials over algebraic number fields Tech Report

A.K. Lenstra (Arjen)

January 1983
An algebraic specification method for processes over a finite action set Tech Report

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

January 1983
Local recognition of Tits geometries of classical type Tech Report

A.E. Brouwer (Andries) and A.M. Cohen (Arjeh)

January 1983
Computation of some parameters of Lie geometries Tech Report

A.E. Brouwer (Andries) and A.M. Cohen (Arjeh)

January 1983
Generalised functions as linear functionals on generalized functions Tech Report

T.H. Koornwinder and J.J. Lodder

January 1983
Multigrid methods for problems with a small parameter in the highest derivative Tech Report

P.W. Hemker (Piet)

January 1983
Termination strategies for Newton iteration in full multigrid methods Tech Report

E.J. van Asselt

January 1983
Interval estimates for posterior probabilities in a multivariate normal classification model Tech Report

A.W. Ambergen and W. Schaafsma

January 1983
Chaos and order Tech Report

H.A. Lauwerier

January 1983
Clines induced by a geographical barrier Tech Report

J.J.E. van der Meer

January 1983
G-spaces: compactifications and pseudocompactness Tech Report

J. de Vries (Jan)

January 1983
Attitude-onderzoek openbaar vervoer in Rotterdam en omgeving: statistische analyse enquête naar denkbeeldige verplaatsingen Tech Report

B.F. Schriever (Bert)

January 1983
A note on the uniqueness of the Johnson scheme Tech Report

A.E. Brouwer (Andries)

January 1983
On specifying sets of integers Tech Report

J.A. Bergstra (Jan) and J.-J.C. Meyer (John-Jules)

January 1983
Compactness in semantics for merge and fair merge Tech Report

J.W. de Bakker (Jaco) and J.I. Zucker

January 1983
Step-by-step stability in the numerical solution of partial differential equations Tech Report

J.G. Verwer (Jan) and K. Dekker

January 1983
Bifurcation of a map at resonance 1:4 Tech Report

H.A. Lauwerier

January 1983
Local bifurcation of a logistic delay map Tech Report

H.A. Lauwerier

January 1983
Big omega versus the wild functions Tech Report

P.M.B. Vitányi (Paul) and L.G.L.T. Meertens (Lambert)

January 1983
A survey of three language-independent programming environments Tech Report

P. Klint (Paul)

January 1983
The sieve method as an alternative to dollar-unit sampling: the mathematical background Tech Report

R.D. Gill (Richard)

January 1983
Parallel algorithms in combinatorial optimization: an annotated bibliography Tech Report

G.A.P. Kindervater (Gerard) and J.K. Lenstra (Jan Karel)

January 1983
Formele ontwikkeling van schermverloopschema's en interaktieve programma's [Formal development of screen flow schemes and interactive programs] Tech Report

J.A. Bergstra (Jan) and J.J. Smeets

January 1983
Process algebra semantics for queues Tech Report

J.A. Bergstra (Jan) and J. Tiuryn

January 1983
Polynomial factorization by root approximation Tech Report

A.K. Lenstra (Arjen)

January 1983
Distributed elections in an Archimedean ring of processors Tech Report

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

January 1983
The simple roots of real-time computation hierarchies Tech Report

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

January 1983
An ***1.618 lower bound on the time to simulate one queue or two pushdown stores by one tape Tech Report

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

January 1983
On two-tape real-time computation and queues Tech Report

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

January 1983
A note on Delbrouck's approximate solution to the heterogeneous blocking problem Tech Report

E.A. van Doorn

January 1983
The weak stochastic realization problem for discrete-time counting processes Tech Report

J.H. van Schuppen (Jan)

January 1983
The relaxation time of two queueing systems in series Tech Report

J.P.C. Blanc

January 1983
Invariance properties of the conditional independence relation Tech Report

C. van Putten and J.H. van Schuppen (Jan)

January 1983
Optimal control of partially observable stochastic systems with an exponential-of-integral performance index Tech Report

A. Bensoussan and J.H. van Schuppen (Jan)

January 1983
Stochastic dynamical systems with a cyclic structure Tech Report

J.V. Lankelma

January 1983
Scheduling theory since 1981: an annotated bibliography Tech Report

J.K. Lenstra (Jan Karel) and A.H.G. Rinnooy Kan

January 1983
Typesetting and troff Tech Report

J.N. Akkerhuis

January 1983
On the design of an editor for the B programming language Tech Report

A. Nienhuis

January 1983
ADA vergeleken met PASCAL [ADA compared to PASCAL] Tech Report

J. Kok (Jan)

January 1983
Mixed defect correction iteration for the solution of a singular perturbation problem Tech Report

P.W. Hemker (Piet)

January 1983
Periodicity and absolute regularity Tech Report

H.C.P. Berbee (Henri)

January 1983
Linear Volterra convolution equations: semigroups, small solutions and convergence of projection operators Tech Report

S.A. van Gils (Stephan)

January 1983
Hopf bifurcation and symmetry: travelling and standing waves on the circle Tech Report

S.A. van Gils (Stephan)

January 1983
On the uniqueness of a regular thin near octagon on 288 vertices (or the semibiplane belonging to the Mathieu group ***) Tech Report

A.E. Brouwer (Andries)

January 1983
Some observations concerning the zero-curves of the real and imaginary parts of Riemann's zeta function Tech Report

J. van de Lune (Jan)

January 1983
An infinite series of symmetric designs Tech Report

A.E. Brouwer (Andries)

January 1983
Uniqueness of Whittaker-models for irreducible objects in Alg(Mp(k)) Tech Report

G.F. Helminck

January 1983
Probability plots : STATAL report 3 Tech Report

A.J. van Es (Bert) and C. van Putten

January 1983
On the stability of the cell size distribution Tech Report

O. Diekmann (Odo), H.J.A.M. Heijmans (Henk) and H.R. Thieme

January 1983
DigiCash digital brochure for MS-Windows : 3,5" floppy Software

January 1983
Exceptional presentations of three generalized hexagons of order $2$ Article

Journal of Combinatorial Theory - Series A, 35(1), 79-88.

A.M. Cohen (Arjeh)

January 1983
On a theorem of Cooperstein Article

European Journal of Combinatorics, 4(2), 107-126.

A.M. Cohen (Arjeh)

January 1983
Asymptotic methods in mathematical biology Book Chapter

J. Grasman (Johan)

January 1983
Numerical aspects of singular perturbation problems Book Chapter

P.W. Hemker (Piet)

January 1983
Convergence results for continuous-time adaptive stochastic filtering algorithms Article

Journal of Mathematical Analysis and Applications, 96(1), 209-225.

J.H. van Schuppen (Jan)

January 1983
Lectures on invariants, representations and Lie algebras in systems and control theory In Proceedings

M. Hazewinkel (Michiel)

January 1983
On the uniqueness of a certain thin near octagon (or partial $2$-geometry, or parallelism) derived from the binary Golay code Article

IEEE Transactions on Information Theory, 29(3), 370-371.

A.E. Brouwer (Andries)

January 1983
Factoring multivariate integral polynomials In Proceedings

A.K. Lenstra (Arjen)

January 1983

Previous

Next

Available Years