Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

Two efficient algorithms with guaranteed convergence for finding a zero of a function Article

ACM Transactions on Mathematical Software, 1(4), 330-345.

J.C.P. Bus and T.J. Dekker

December 1975
On the completeness of the inductive assertion method Article

Journal of Computer and System Sciences, 11(3), 323-357.

J.W. de Bakker (Jaco) and L.G.L.T. Meertens (Lambert)

December 1975
Multiple feedback at a single server station Tech Report

I. Meilijson

October 1975
An extension of unification to substitutions with an application to automatic theorem proving In Proceedings

J.M. van Vaalen (Jophien)

September 1975
On the convergence of a class of variable metric algorithms Tech Report

J.C.P. Bus

August 1975
Some special formulas of the England class of fifth order Runge-Kutta schemes Tech Report

P.A. Beentjes

August 1975
On a conjecture of Iglehart Article

Management Science, 21(11), 1342-1345.

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

July 1975
The asymptotic behaviour of the minimal total expected cost for the denumerable state Markov decision model Article

Journal of Applied Probability, 12(2), 298-305.

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

June 1975
The membership question for ETOL-languages is polynomially complete Article

Information Processing Letters, 3(5), 138-143.

J. van Leeuwen (Jan)

May 1975
A sequence of nested cubature rules Tech Report

P.W. Hemker (Piet)

May 1975
Some applications of stabilized Runge-Kutta methods for hyperbolic differential equations Tech Report

E. Slagt

May 1975
The solution of a nonlinear elliptic operator equation by finite elements Tech Report

P.W. Hemker (Piet)

May 1975
The numerical solution of a singular perturbation problem in the domain exterior of a circle Tech Report

P.W. Hemker (Piet)

May 1975
Least fixed points revisited In Proceedings

J.W. de Bakker (Jaco)

March 1975
Two efficient algorithms with guaranteed convergence for finding a zero of a function Tech Report

J.C.P. Bus and T.J. Dekker

March 1975
Generalized linear multistep methods, 1 : Development of algorithms with zero-parasitic roots Tech Report

P.J. van der Houwen (Piet) and J.G. Verwer (Jan)

March 1975
Generalized linear multistep methods, 2 : Numerical applications Tech Report

J.G. Verwer (Jan)

March 1975
On operations in Brown-Peterson cohomology Tech Report

M. Hazewinkel (Michiel)

January 1975
On almost fixed point theory Tech Report

M. Hazewinkel (Michiel) and M. van de Vel

January 1975
Local class field theory is easy Tech Report

M. Hazewinkel (Michiel)

January 1975
A universal formal group and complex cobordism Article

Bulletin of the American Mathematical Society, 81(5), 930-933.

M. Hazewinkel (Michiel)

January 1975
Local class field theory is easy Article

Advances in Mathematics, 18(2), 148-181.

M. Hazewinkel (Michiel)

January 1975
Reizen op een graaf Tech Report

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

January 1975
Kortste-padproblemen Tech Report

B.J. Lageweg

January 1975
Network flow theory Tech Report

E.L. Lawler

January 1975
A note on the optimality of a switch-over policy for the M/G/1 queue with variable service rate Tech Report

H.C. Tijms (Henk)

January 1975
Optimal control of the workload in an M/G/1 queueing system with removable server Tech Report

H.C. Tijms (Henk)

January 1975
Technical aspects of the iterative solution of the automobile insurance problem Tech Report

P.J. Weeda

January 1975
A simple proof of the equivalence of the limiting distributions of the continuous-time and the embedded process of the queue size in the M/G/1 queue Tech Report

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

January 1975
Graph terminology and elementary analyses for the social sciences : (prepublication) Tech Report

J.M. Anthonisse

January 1975
A graph-defining language : (2nd rev. ed) Tech Report

J.M. Anthonisse

January 1975
Boolean elements in combinatorial optimization : a survey Tech Report

P.L. Hammer

January 1975
Complexity of machine scheduling problems Tech Report

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

January 1975
On a switch-over policy for controlling the workload in a queueing system with two constant service rates and fixed switch-over costs : (prepublication) Tech Report

H.C. Tijms (Henk)

January 1975
On White's condition in dynamic programming : (prepublication) Tech Report

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

January 1975
Convergent dynamic programming : (prepublication) Tech Report

A. Hordijk (Arie)

January 1975
Sensitive optimality criteria in countable state dynamic programming : (prepublication) Tech Report

A. Hordijk (Arie) and K. Sladky

January 1975
Regenerative markov decision models Tech Report

A. Hordijk (Arie)

January 1975
A recursive approach to the generation of combinatorial configurations Tech Report

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

January 1975
Graphlib 0: Procedures to represent, generate and analyse graphs Tech Report

J.M. Anthonisse and B.J. Lageweg

January 1975
Minimizing maximum lateness on one machine : Computational experience and some applications Tech Report

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

January 1975
A probabilistic approach to renewal theory Tech Report

I. Meilijson

January 1975
Optimal sequencing of jobs subject to series parallel precedence constraints Tech Report

E.L. Lawler

January 1975
On dynamic programming with arbitrary state space, compact action space and the average return as criterion : (prepublication) Tech Report

H.C. Tijms (Henk)

January 1975
On the existence of discounted and average return equilibrium policies in n-person stochastic games : (prepublication) Tech Report

A. Federgruen, O.J. Vrieze and G.L. Wanrooij

January 1975
On the stability of products of stochastic matrices : (prepublication) Tech Report

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

January 1975
Syllabus cursus Algol 68 : (herz. uitg) Tech Report

L. Ammeraal

January 1975
PDP program documentation series, 1; PDP 8 Tech Report

January 1975
Infal, an informatics library Tech Report

January 1975
Deterministically recognizing EOL-languages in time $0(n^{3.81} )$ Tech Report

J. van Leeuwen (Jan)

January 1975
Call-by-value versus call-by-name: a proof-theoretic comparison : (prepublication) Tech Report

W.P. de Roever

January 1975
Fixed point semantics and Dijkstra's fundamental invariance theorem Tech Report

J.W. de Bakker (Jaco)

January 1975
The Utor, a program for the connection of a number of peripherals to a general purpose computer Tech Report

P.J.W. ten Hagen (Paul) and C.L. Pippel

January 1975
An implementation of an Algol 68 sublanguage : (prepublication) Tech Report

L. Ammeraal

January 1975
Mini Algol 68 user's guide Tech Report

L. Ammeraal

January 1975
The organization of the object code generator in Algol 68 H : (prepublication) Tech Report

H.J. Boom

January 1975
On the design of programming languages including mini Algol 68 Tech Report

L. Ammeraal

January 1975
Design of an interactive graphics system Tech Report

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

January 1975
A note on the recursive enumerability of some classes of recursively enumerable languages : (prepublication) Tech Report

P. van Emde Boas (Peter) and P.M.B. Vitányi (Paul)

January 1975
On the non-vanishing terms in a product of multivariate polynomials : (prepublication) Tech Report

J. van Leeuwen (Jan)

January 1975
How program statements transform predicates : (prepublication) Tech Report

L. Ammeraal

January 1975
Digraphs associated with DOL systems : (prepublication) Tech Report

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

January 1975
Some elementary proofs of lower-bounds in complexity-theory : (prepublication) Tech Report

J. van Leeuwen (Jan) and P. van Emde Boas (Peter)

January 1975
The halting problem for linear Turing assemblers Tech Report

R.M. Baer and J. van Leeuwen (Jan)

January 1975
Stochastic models of storage allocation systems Tech Report

C.L. Pippel and R. van Vliet

January 1975
Mode and meaning : (pepublication) Tech Report

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

January 1975
Designing a beginners' programming language : (prepublication) Tech Report

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

January 1975
Flow of control in the proof theory of structured programming : (prepublicationn) Tech Report

J.W. de Bakker (Jaco)

January 1975
Extending a run-time stack with some registers : (prepublication) Tech Report

L. Ammeraal

January 1975
Context sensitive table Lindenmayer languages and a relation to the LBA problem : (prepublication) Tech Report

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

January 1975
Termination of nondeterministic programs Tech Report

J.W. de Bakker (Jaco)

January 1975
Textual management in an Algol 68 compiler Tech Report

H.J. Boom and D. Grune (Dick)

January 1975
Repairing the parenthesis skeleton of Algol 68 programs: proof of correctness : (prepublication) Tech Report

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

January 1975
The MC Algol 68 test set Tech Report

D. Grune (Dick)

January 1975
Parsing Algol 68 with syntax-directed error recovery Tech Report

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

January 1975
Derde orde Runge-Kuttamethoden van het Scraton type Tech Report

R.R. de Graaf

January 1975
S-stability and stiff-accuracy for two classes of generalized integration methods Tech Report

J.G. Verwer (Jan)

January 1975
Nonlinear least squares estimation Tech Report

J.C.P. Bus, B. van Domselaar and J. Kok (Jan)

January 1975
Nonlinear parameter estimation in initial value problems Tech Report

B. van Domselaar and P.W. Hemker (Piet)

January 1975
On the representation of the positive integers as the sum of two unitary abundant numbers Tech Report

H.J.J. te Riele (Herman)

January 1975
An analysis of the convergence of newton-like methods for solving systems of nonlinear equations Tech Report

J.C.P. Bus

January 1975
Internal s-stability for generalized runge-kutta methods Tech Report

J.G. Verwer (Jan)

January 1975
Two-level difference schemes with varying mesh sizes for the shallow water equations Tech Report

P.J. van der Houwen (Piet)

January 1975
Galerkin's method and Lobatto points Tech Report

P.W. Hemker (Piet)

January 1975
A comparative study of programs for solving nonlinear equations Tech Report

J.C.P. Bus

January 1975
Metingen aan betonelementen Tech Report

J. Hemelrijk (Jan), R.T.J.N. Piscaer and M.C.A. van Zuijlen

January 1975
Asymptotic power efficiency for a location and scale problem : (prepublication) Tech Report

Y. Lepage

January 1975
Some properties of the empirical distribution function in the non-i.i.d. case Tech Report

M.C.A. van Zuijlen

January 1975
A user's program for multiple linear regression analysis Tech Report

M. van Gelderen

January 1975
A note on contiguity and Hellinger distance Tech Report

J. Oosterhoff and W.R. van Zwet (Willem)

January 1975
Some properties of the empirical distribution function in the non-i.i.d. case, 2 : (prepublication) Tech Report

M.C.A. van Zuijlen

January 1975
An application of latent structure analysis Tech Report

R.D. Gill (Richard)

January 1975
The rate of convergence of simple linear rank statistics under the hypothesis Tech Report

M. Husková

January 1975
The order of the normal approximation for linear combinations of order statistics with smooth weight functions : (prepublication) Tech Report

R. Helmers (Roelof)

January 1975
Werkbesprekingen in eerste helft 1974 Tech Report

SMC SMC Afdeling Toegepaste Wiskunde

January 1975
A limit case of a volterra-lotka system : (prepublication) Tech Report

H.A. Lauwerier

January 1975
Asymptotic expansion of certain numbers related to the gamma function Tech Report

O. Diekmann (Odo)

January 1975
Kwalitatieve analyse van stationaire oplossingen van stelsels differentiaalvergelijkingen Tech Report

G.M. Willems

January 1975
The birth of a boundary layer in an elliptic singular perturbation problem : (prepublication) Tech Report

J. Grasman (Johan)

January 1975
Fourier transforms of holomorphic functions and application to Newton interpolation series, 2 Tech Report

J.W. de Roever

January 1975

Previous

Next

Available Years