Publications from 2040

Polarities of G. Higman's symmetric design and a strongly regular graph on $176$ vertices Article

A.E. Brouwer (Andries)

Extensions of the defect correction principle In Proceedings

P.W. Hemker (Piet)

The defect correction principle In Proceedings

P.W. Hemker (Piet)

Animated Abstractions for Target-Architecture-Independent System Descriptions Dissertation

D.C.A. Bulterman (Dick)

Report on:SIGGRAPH Workshop on Graphics Input Interaction Techniques Article

D.S.H. Rosenthal

The Review of GKS version 7.0, The Finishing Touch. Article

P.J.W. ten Hagen (Paul)

The Area of Graphics Standardization Article

P.J.W. ten Hagen (Paul)

Requirements and Architecture of a CAM-oriented CAD System for design and Manufacture of Mechanical Parts Dissertation

F. Arbab (Farhad)

Linear multistep methods for Volterra integral equations of the second kind In Proceedings

P.J. van der Houwen (Piet) and H.J.J. te Riele (Herman)

Computational methods in number theory, part 2 : [based on lectures, presented at the study week 'Number theory and computers', Amsterdam, 01-05.09.1980] Book

H.W. Lenstra (Hendrik) and R. Tijdeman

Computational methods in number theory, part 1 : [based on lectures, presented at the study week 'Number theory and computers', Amsterdam, 01-05.09.1980] Book

H.W. Lenstra (Hendrik) and R. Tijdeman

Identification and informative sample size Book

H.H. Tigelaar

The completeness of the algebraic specification methods for computable data types Article

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

Edgeworth expansions for functions of uniform spacings In Proceedings

R.J.M.M. Does and R. Helmers (Roelof)

The Berry-Esseen bound for $U$-statistics In Proceedings

R. Helmers (Roelof) and M. Husková

Strong normalization and perpetual reductions in the lambda calculus Article

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

Processes and the denotational semantics of concurrency Article

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

A Note on Percolation Theory Article

J. van den Berg (Rob)

A bibliography of lambda-calculi, combinatory logics and related topics Book

A. Rezus

Colloquium complexiteit en algoritmen, deel 2 : [syllabi van voordrachten, gehouden te Amsterdam, 1980/1981] Book

P.M.B. Vitányi (Paul), J. van Leeuwen (Jan) and P. van Emde Boas (Peter)

Asymptotic expansions and the deficiency concept in statistics Book

W. Albers

Application of the theory of boundary value problems in the analysis of a queueing model with paired services Book

J.P.C. Blanc

Projections of lawless sequences Book

G.F. van der Hoeven (Gerrit)

Higher order asymptotics for simple linear rank statistics Book

R.J.M.M. Does

An analysis of sparse matrix storage schemes Book

M. Veldhorst

From A to Z : proceedings of a symposium in honour of A. C. Zaanen [held at Leiden, 05-06.07.1982] Book

C.B. Huijsmans, M.A. Kaashoek, W.A.J. Luxemburg and W.K. Vietsch

Reflexive and superreflexive Banach spaces Book

D. van Dulst

Inleiding systeemtheorie Book

H. Nijmeijer

The structure of real semisimple Lie groups : [short course given at the algebra seminar of the Department of Pure Mathematics of the Mathematical Centre] Book

T.H. Koornwinder

Colloquium complexiteit en algoritmen, deel 1 : [syllabi van voordrachten, gehouden te Amsterdam, 1980/1981] Book

P.M.B. Vitányi (Paul), J. van Leeuwen (Jan) and P. van Emde Boas (Peter)

Leergang besliskunde, 5: Inleiding tot de mathematische besliskunde Book

J. Kriens and G. de Leve (Gijs)

Packing and covering in combinatorics Book

On the zeros of the Riemann zeta function in the critical strip. II Article

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

Sum rule for products of Bessel functions: comments on a paper by Newberger"New sum rule for products of Bessel functins with application to plasme physics" Article

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

The uniform asymptotic expansion of a class of integrals related to cumulative distribution functions Article

N.M. Temme (Nico)

Preface : Current developments in the interface economics, econometrics, mathematics Preface

M. Hazewinkel (Michiel) and A.H.G. Rinnooy Kan

Present day mathematics (a sketch of the situation with suggestions) Unpublished

M. Hazewinkel (Michiel)

Proof rules dealing with fairness In Proceedings

K.R. Apt (Krzysztof) and E.R. Olderog (Ernst-Rüdiger)

Fair termination revisited with delay In Proceedings

K.R. Apt (Krzysztof), A. Pnueli and J. Stavi

Current developments in the interface : economics, econometrics, mathematics Book

Contributions to the theory of logic programming Article

K.R. Apt (Krzysztof) and M.H. van Emden

On decentralization, symmetry and special structure in linear systems Tech Report

M. Hazewinkel (Michiel) and C.F. Martin (Clyde)

Control and filtering of a class of nonlinear but homogeneous systems Tech Report

M. Hazewinkel (Michiel)

Control and filtering of a class of nonlinear but homogeneous systems Tech Report

M. Hazewinkel (Michiel)

Control and filtering of a class of nonlinear but "homogeneous" systems In Proceedings

M. Hazewinkel (Michiel)

On identification of linear systems and the estimation Lie-algebra of the associated nonlinear filtering problem Tech Report

B. Hanzon (Bernard) and M. Hazewinkel (Michiel)

On Lie algebras and finite dimensional filtering Tech Report

M. Hazewinkel (Michiel) and S.I. Marcus (Steven)

On Lie algebras and finite dimensional filtering Tech Report

M. Hazewinkel (Michiel) and S.I. Marcus (Steven)

On Lie algebras and finite dimensional filtering Article

M. Hazewinkel (Michiel) and S.I. Marcus (Steven)

Mixed defect correction iteration for the accurate solution of the convection diffusion equation Book Chapter

P.W. Hemker (Piet)

An accurate method without directional bias for the numerical solution of a 2-d eliptic singular perturbation problem Book Chapter

P.W. Hemker (Piet)

A note on defect correction processes with an approximate inverse of deficient rank Article

P.W. Hemker (Piet)

A short elementary proof of Grothendieck s theorem on algebraic vectorbundles over the projective line Tech Report

M. Hazewinkel (Michiel) and C.F. Martin (Clyde)

A short elementary proof of Grothendieck s theorem on algebraic vectorbundles over the projective line Tech Report

M. Hazewinkel (Michiel) and C.F. Martin (Clyde)

A short elementary proof of Grothendieck's theorem on algebraic vectorbundles over the projective line Article

M. Hazewinkel (Michiel) and C.F. Martin (Clyde)

Khachian's ellipsoïde-methode voor lineare programmering Article

A. Schrijver (Lex)

On the Snapper, Liebler-Vitale, Lam theorem on permutation representations of the symmetric groups Tech Report

M. Hazewinkel (Michiel) and T. Vorst

On the Snapper, Liebler-Vitale, Lam theorem on permutation representations of the symmetric groups Tech Report

M. Hazewinkel (Michiel) and T. Vorst

On the Snapper, Liebler-Vitale, Lam theorem on permutation representations of the symmetric grousp Article

M. Hazewinkel (Michiel)

On the number of edge-colourings of regular bipartite graphs Article

A. Schrijver (Lex)

Min-max relations for directed graphs Article

A. Schrijver (Lex)

On some nonlinear problems arising in the physics of ionized gases Dissertation

D. Hilhorst (Danielle)

On the Notion of Strong Typing Book Chapter

M.M. Fokkinga (Maarten)

From VW-grammar to ALEPH Book Chapter

D. Grune (Dick)

Issues in the Design of a Beginners' Programming Language Book Chapter

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

Formal language definitions can be made practical Book Chapter

P. Klint (Paul)

PLAIN: An Algorithmic Language for Interactive Information Systems Book Chapter

A.I. Wasserman (Anthony), R.P. van de Riet (Reind) and M.L. Kersten (Martin)

Editor's preface : preface to Algorithmic languages : proceedings of the International Symposium on Algorithmic Languages, Amsterdam, The Netherlands, 26-29 October 1981 Book Chapter

J.W. de Bakker (Jaco) and J.C. van Vliet (Hans)

Conferentie van numeriek wiskundigen, Zeist, 12-14.10.1981 Booklet

The numerical analysis of reducible quadrature methods for Volterra integral and integro-differential equations Dissertation

P.H.M. Wolkenfelt

Bibliotheek Mathematisch Centrum gids = Library Mathematical Centre guide Booklet

A program to solve a solute diffusion problem with segregation at a moving interface Article

M. Bakker (Miente) and D. Hoonhout

Abel-Jacobi isogenies for certain types of Fano threefolds Dissertation

G.E. Welters (Gerald)

Tests for preference Dissertation

J.J. Dik (Jacob)

Gebruikersgids systeem-commando's : data-entry documentatie : een wegwijzer bij het gebruik van een aantal systeem-commando's, t.b.v. hen die werken m.b.v. het 'data-entry'-systeem op de PDP 11/34-computer van de SMC Book

H. Noot (Han), G. J. F. Vinkesteyn (Gert-Jan) and A.C. IJsselstein (Bert)

Conference on the mathematics of operations research and systems theory : Lunteren, 14-16.01.1981 : program and abstracts Booklet

Enige theoretische en experimentele resultaten m.b.t. het probleem van de simulatie van de neutrale atmosferische grenslaag in een windtunnel Tech Report

B. Koren (Barry)

Construction of strongly regular graphs, two-weight codes and partial geometries Article

J.H. van Lint and A. Schrijver (Lex)

Initial algebra specifications for parametrized data types Tech Report

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

Semi-Markov decision processes with denumerable state space, unbounded one-step costs and the average cost criterion Tech Report

H.C. Tijms (Henk)

Deterministic and stochastic scheduling: : Extended abstracts Tech Report

Preemptive scheduling of precedence-constrained jobs on parallel machines : (preprint) Tech Report

E.L. Lawler

Two lines least squares : (preprint) Tech Report

A.K. Lenstra (Arjen), J.K. Lenstra (Jan Karel), A.H.G. Rinnooy Kan and T.J. Wansbeek (Tom)

Computational methods for single-server and multi-server queues with Markovian input and general service times : (preprint) Tech Report

H.C. Tijms (Henk) and M.H. van Hoorn

Controlled invariance for nonlinear systems : (preprint) Tech Report

H. Nijmeijer and A.J. van der Schaft

Computer aided complexity classification of combinatorial problems : (preprint) Tech Report

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

Computer aided complexity classification of deterministic scheduling problems Tech Report

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

Nonlinear systems and nonlinear estimation theory : (preprint) Tech Report

R.W. Brockett

Controllability distributions for nonlinear control systems Tech Report

H. Nijmeijer

The probabilistic realization problem for finite dimensional Gaussian random variables : (preprint) Tech Report

J.H. van Schuppen (Jan)

Analysis of heuristics for stochastic programming: results for hierarchical scheduling problems : (preprint) Tech Report

M.A.H. Dempster, M.L. Fisher, L. Jansen, B.J. Lageweg, J.K. Lenstra (Jan Karel) and A.H.G. Rinnooy Kan

An algorithm for single machine sequencing with release dates to minimise total weighted completion time : (preprint) Tech Report

A.M.A. Hariri and C.N. Potts

Approximations for the waiting time distribution of the m/g/c queue : (preprint) Tech Report

M.H. van Hoorn and H.C. Tijms (Henk)

Surrogate duality relaxation for job shop scheduling : (preprint) Tech Report

M.L. Fisher, B.J. Lageweg, J.K. Lenstra (Jan Karel) and A.H.G. Rinnooy Kan

Recent developments in deterministic sequencing and scheduling: a survey : (preprint) Tech Report

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

A polynomial-time algorithm for solving the set covering problem on a totally-balanced matrix Tech Report

A.W.J. Kolen (Antoon)

Machine scheduling with precedence constraints : (preprint) Tech Report

E.L. Lawler and J.K. Lenstra (Jan Karel)

The weak and strong Gaussian probabilistic realization problem : (preprint) Tech Report

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

Analysis of heuristics for two-machine flow-shop sequencing subject to release dates : (preprint) Tech Report

C.N. Potts

Controlled invariance by static output feedback for nonlinear systems : (preprint) Tech Report

H. Nijmeijer and A.J. van der Schaft