Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

Infinite dimensional universal formal group laws and formal A-modules Tech Report

M. Hazewinkel (Michiel)

January 1978
The proportional representation problem in the Second Chamber (of the Dutch parliament): an approach via minimal distances Article

Statistica Neerlandica, 32(4), 163-179.

H.J.J. te Riele (Herman)

January 1978
Inductive definitions, models of comprehension and invariant definability Article

Israel Journal of Mathematics, 221-238.

K.R. Apt (Krzysztof)

January 1978
On invariants and canonical forms for linear dynamicsl systems In Proceedings

M. Hazewinkel (Michiel)

January 1978
The linking of matroids by linking systems Article

Combinatorics (A. Hajnal and V.T. Sos, eds.) , 973-981.

A. Schrijver (Lex)

January 1978
Constructing formal groups IV, V, VI, VII Tech Report

M. Hazewinkel (Michiel)

January 1978
On the (internal) symmetry groups of linear dynamical systems Tech Report

M. Hazewinkel (Michiel)

January 1978
A new proof of Cartier's third theorem Tech Report

M. Hazewinkel (Michiel)

January 1978
Invariants, moduli and canonical forms for linear time-varying dynamical systems Tech Report

M. Hazewinkel (Michiel)

January 1978
Invariants, moduli and canonical forms for linear time-varying, dynamical systems Tech Report

M. Hazewinkel (Michiel)

January 1978
Invariants , moduli and canonical forms for linear time-varying dynamical systems Article

Ricerche di automatica, 9(1), 1-14.

M. Hazewinkel (Michiel)

January 1978
Formal groups and applications Book

M. Hazewinkel (Michiel)

January 1978
On the nonexistence of canonical forms for linear dynamical systems Article

Bulletin of the Calcutta Mathematical Society, 70(6), 359-369.

M. Hazewinkel (Michiel)

January 1978
On the construction and analysis of stable numerical methods for stiff and parabolic differential equations Dissertation

Modelling, Analysis and Computation

J.G. Verwer (Jan)

November 1977
Complex Fourier transformation and analytic functionals with unbounded carriers Dissertation

J.W. de Roever

November 1977
Matroids and linking systems Dissertation

A. Schrijver (Lex)

November 1977
Conferentie van numeriek wiskundigen : Woudschoten, Zeist, 10-12.10.1977 : programma en abstracts Booklet

October 1977
Aleph manual [Third print.] Tech Report

D. Grune (Dick), R. Bosch and L.G.L.T. Meertens (Lambert)

October 1977
Limiting behaviour in an epidemic model Article

Nonlinear Analysis, 1(5), 459-470.

O. Diekmann (Odo)

August 1977
On the proper treatment or referencing, dereferencing and assignment In Proceedings

T.M.V. Janssen (Theo) and P. van Emde Boas (Peter)

July 1977
Semantic and proof theory of pascal procedures In Proceedings

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

July 1977
Exponential convergence of products of stochastic matrices Article

Journal of Mathematical Analysis and Applications, 59(2), 360-364.

J.M. Anthonisse and H.C. Tijms (Henk)

June 1977
Euclidische getallenlichamen Dissertation

H.W. Lenstra (Hendrik)

May 1977
Een pak met een korte broek Papers presented to H.W. Lenstra, jr. on the occasion of the publication of his dissertation "Euclidische getallenlichamen" Book

May 1977
Towards a machine-independent transput section In Proceedings

Van Vliet, J.C. (J. C.)

March 1977
Towards the design of a super-language of ALGOL 68 for the Standard Prelude (Excerpt) In Proceedings

Grune, D. (Dick)

March 1977
A numerical study of stiff two-point boundary problems Dissertation

Scientific Computing

P.W. Hemker (Piet)

March 1977
A digiset simulator Tech Report

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

March 1977
Checking Landau's 'Grundlagen' in the AUTOMATH system Dissertation

L.S. van Benthem Jutting

March 1977
Some examples concerning linear continuity of solutions to programming problems Tech Report

M. Hazewinkel (Michiel)

January 1977
Some examples concerning linear continuity of solutions to programming problems Tech Report

M. Hazewinkel (Michiel)

January 1977
Constructing formal groups II Tech Report

M. Hazewinkel (Michiel)

January 1977
Constructing formal groups II Tech Report

M. Hazewinkel (Michiel)

January 1977
Constructing formal groups I: the local one dimensional case, and: Constructing formal groups II: the global one dimensional case Article

M. Hazewinkel (Michiel)

January 1977
Constructing formal groups I Tech Report

M. Hazewinkel (Michiel)

January 1977
Some examples concerning linear continuity of solutions to programming problems Article

Operations Research, 25(4), 715-719.

M. Hazewinkel (Michiel)

January 1977
Constructing formal groups II Article

Journal of Pure and Applied Algebra, 151-161.

M. Hazewinkel (Michiel)

January 1977
Constructing formal groups I Article

Journal of Pure and Applied Algebra, 131-149.

M. Hazewinkel (Michiel)

January 1977
A note on David Lubell's article " Local matchings in the function space of a partial order" Article

Journal of Combinatorial Theory - Series A, 359-362.

A. Schrijver (Lex)

January 1977
A comparison of Nystroem-Runge-Kutta and linear multistep methods for second order differential equations with slowly and rapidly oscillating solutions Tech Report

P.J. van der Houwen (Piet)

January 1977
De theorie der differentiaalspelen en haar toepassingen Tech Report

G.J. Olsder

January 1977
Enige begrippen uit de cooperatieve speltheorie Tech Report

G.L. Wanrooij

January 1977
Toepassingen van cooperatieve speltheorie Tech Report

G.L. Wanrooij

January 1977
Modelvorming met stochastische spelen Tech Report

O.J. Vrieze

January 1977
Spelen in uitgebreide en normale vorm en mathematisch programmeren Tech Report

S.H. Tijs

January 1977
Experiments with some algorithms for the linear assignment problem Tech Report

B. Dorhout

January 1977
Inventory control with two switch-over levels for a class of M/G/1 queueing systems with variable arrival and service rate : (prepublication) Tech Report

H.C. Tijms (Henk) and F.A. van der Duyn Schouten

January 1977
The complexity of the network design problem : (preprint) Tech Report

D.S. Johnson, J.K. Lenstra (Jan Karel) and A.H.G. Rinnooy Kan

January 1977
The functional equations of undiscounted Markov renewal programming : (preprint) Tech Report

P.J. Schweitzer and A. Federgruen

January 1977
Contraction mappings underlying undiscounted Markov decision problems : (preprint) Tech Report

A. Federgruen, P.J. Schweitzer and H.C. Tijms (Henk)

January 1977
On the functional equations in undiscounted and sensitive discounted stochastic games Tech Report

A. Federgruen

January 1977
The optimality equation in average cost denumerable state semi-Markov decision problems, recurrency conditions and algorithms : (preprint) Tech Report

A. Federgruen and H.C. Tijms (Henk)

January 1977
Successive approximation methods in undiscounted stochastic games : (preprint) Tech Report

A. Federgruen

January 1977
Duopoly models, stochastic games and bimatrix games : (preprint) Tech Report

O.J. Vrieze

January 1977
Computational complexity of discrete optimization problems : (preprint) Tech Report

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

January 1977
Discounted and undiscounted value-iteration in Markov decision problems: a survey : (preprint) Tech Report

A. Federgruen and P.J. Schweitzer

January 1977
Stationary distributions for control policies in an M/G/1 queue with removable server : (preprint) Tech Report

H.C. Tijms (Henk)

January 1977
Geometric convergence of value-iteration in multichain Markov renewal programming Tech Report

P.J. Schweitzer and A. Federgruen

January 1977
Recurrence conditions in denumerable state Markov decision processes : (preprint) Tech Report

A. Federgruen, A. Hordijk (Arie) and H.C. Tijms (Henk)

January 1977
Optimization and approximation in deterministic sequencing and scheduling: a survey : (preprint) Tech Report

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

January 1977
Some generalizations of Caratheodory's theorem and an application in mathematical programming theory : (preprint) Tech Report

S.H. Tijs

January 1977
On non-stationary Markov chains with converging transition matrices : (preprint) Tech Report

A. Federgruen

January 1977
A note on simultaneous recurrence conditions on a set of denumerable stochastic matrices : (preprint) Tech Report

A. Federgruen, A. Hordijk (Arie) and H.C. Tijms (Henk)

January 1977
Perturbation theory for games in normal form and stochastic games : (preprint) Tech Report

S.H. Tijs and O.J. Vrieze

January 1977
Inleiding tot programmaverificatie Tech Report

L. Ammeraal

January 1977
Intermediate data structure (IDS) Tech Report

T. Hagen

January 1977
ILP, intermediate language for pictures : (preliminary report) Tech Report

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

January 1977
Towards a machine-independent transput section : (prepublication) Tech Report

J.C. van Vliet (Hans)

January 1977
Multicore 8; a timesharing system for the PDP 8 series Tech Report

R. van Vliet and W. Wakker

January 1977
Towards the design of a super-language of Algol 68 for the standard prelude : (prepublication) Tech Report

D. Grune (Dick)

January 1977
Separate compilation, definition modules, and block-structured languages : (prepublication) Tech Report

H.J. Boom

January 1977
Program text and program structure : (preprint) Tech Report

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

January 1977
Linear time simulation of multihead Turing machines with head-to-head jumps : (preprint) Tech Report

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

January 1977
Semantics and proof theory of Pascal procedures Tech Report

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

January 1977
How good can a graph be n-colored? : (preprint) Tech Report

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

January 1977
Semantics of infinite processes using generalized trees Tech Report

J.W. de Bakker (Jaco)

January 1977
Recursive programs as predicate transformers : (preprint) Tech Report

J.W. de Bakker (Jaco)

January 1977
Completeness with finite systems of intermediate assertions for recursive program schemes : (preprint) Tech Report

K.R. Apt (Krzysztof) and L.G.L.T. Meertens (Lambert)

January 1977
Formula simplification in relation to program verification Tech Report

L. Ammeraal

January 1977
Keyword grammars : (preprint) Tech Report

L.J.M. Geurts (Leo) and L.G.L.T. Meertens (Lambert)

January 1977
Guidelines for program portability : (preprint) Tech Report

A.S. Tanenbaum (Andrew), P. Klint (Paul) and A. P. W. Böhm (Anton)

January 1977
Choosing a tag-list algorithm for a compiler with special application to the Aleph compiler : (preprint) Tech Report

D. Grune (Dick)

January 1977
Towards an implementation-oriented definition of the Algol 68 transput Tech Report

J.C. van Vliet (Hans)

January 1977
Alice: an exercise in program portability Tech Report

A. P. W. Böhm (Anton)

January 1977
Recursive assertions are not enough, or are they? Tech Report

K.R. Apt (Krzysztof), J.A. Bergstra (Jan) and L.G.L.T. Meertens (Lambert)

January 1977
A proposal for the translation of Janus into standard Fortran : (preprint) Tech Report

E. de Jong (Edwin)

January 1977
Verslagen van de algemene werkbesprekingen van de afdeling Numerieke Wiskunde gedurende de periode van november 1976 tot en met december 1977 Tech Report

M. Louter-Nool

January 1977
A proposal for the classification and documentation of test problems in the field of nonlinear programming : (preprint) Tech Report

J.C.P. Bus

January 1977
Kwadratuurmethoden voor het numeriek oplossen van lineaire Volterra integraalvergelijkingen van de eerste en tweede soort Tech Report

F.J. Reckers

January 1977
Numerical experiments with Runge-Kutta type methods for Volterra integral equations of the second kind Tech Report

P.J. van der Houwen (Piet) and J.N. Schilder

January 1977
A comparison between the odd-even Hopscotch method and a class of Runge-Kutta methods with extended real stability intervals Tech Report

J.G. Verwer (Jan)

January 1977
The apportionment of representatives in the second chamber of Dutch parliament Tech Report

H.J.J. te Riele (Herman) and J.H.C. Lisman

January 1977
An Algol 68 implementation of two splitting methods for semi-discretized parabolic differential equations Tech Report

B.P. Sommeijer (Ben)

January 1977
Linear multistep methods for a class of hyperbolic differential equations Tech Report

P.J. van der Houwen (Piet)

January 1977
On the numerical solution of parabolic equations in a single space variable by the continuous time galerkin method : (preprint) Tech Report

M. Bakker (Miente)

January 1977
An implementation of a class of stabilized, explicit methods for the time integration of parabolic equations : (preprint) Tech Report

J.G. Verwer (Jan)

January 1977
A class of stabilized three-step runge-kutta methods for the numerical integration of parabolic equations : (preprint) Tech Report

J.G. Verwer (Jan)

January 1977
Runge-Kutta type methods for the integration of hyperbolic differential equations : (preprint) Tech Report

P.J. van der Houwen (Piet)

January 1977
Generalized runge-kutta methods for coupled systems of hyperbolic differential equations : (preprint) Tech Report

K. Dekker

January 1977
On the numerical solution of Volterra integral equations of the second kind, 1; stability Tech Report

P.J. van der Houwen (Piet)

January 1977

Previous

Next

Available Years