Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

Representation of quivers and moduli of linear dynamical systems Tech Report

M. Hazewinkel (Michiel)

January 1977
Representations of quivers and moduli of linear dynamical systems In Proceedings

M. Hazewinkel (Michiel)

January 1977
Moduli and canonical forms for linear dynamical systems III : the algebraic-geometric case Tech Report

M. Hazewinkel (Michiel)

January 1977
Moduli and canonical forms for linear dynamical systems III : the algebraic-geometric case In Proceedings

M. Hazewinkel (Michiel)

January 1977
Moduli and canonical forms for linear dynamical systems II : the topological case Tech Report

M. Hazewinkel (Michiel)

January 1977
Moduli and canonical forms for linear dynamical systems II : the topological case Article

Mathematical systems theory, 363-385.

M. Hazewinkel (Michiel)

January 1977
Norm maps for formal groups III Tech Report

M. Hazewinkel (Michiel)

January 1977
Norm maps for formal groups III Article

Duke Mathematical Journal, 44(2), 305-314.

M. Hazewinkel (Michiel)

January 1977
Constructing formal groups III : applications to complex cobordism and Brown-Peterson cohomology Tech Report

M. Hazewinkel (Michiel)

January 1977
Constructing formal groups III : applications to complex cobordism and Brown-Peterson, cohomology Article

Journal of Pure and Applied Algebra, 1-18.

M. Hazewinkel (Michiel)

January 1977
De numericus en de computer : rede uitgesproken bij de aanvaarding van het ambt van bijzonder hoogleraar in de numerieke wiskunde en informatica, UvA, 25.10.1976 Book

P.J. van der Houwen (Piet)

October 1976
A space-saving technique for assigning algol 68 multiple values Article

Information Processing Letters, 5(4), 97-99.

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

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

J.C.P. Bus

October 1976
Call-by-value versus call-by-name: a proof-theoretic comparison : prepublication [Second print.] Tech Report

W.P. de Roever

September 1976
Elliptische randwaardeproblemen voor partiële differentiaalvergelijkingen In Proceedings

M. Bakker (Miente) and P.J. van der Houwen (Piet)

September 1976
Deterministic Lindenmayer languages nonterminals and homomorphisms, Article

Theoretical Computer Science, 2(1), 49-71.

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

June 1976
Stabilized runge-kutta methods for second order differential equations without first derivatives Tech Report

P.J. van der Houwen (Piet)

June 1976
The addition formula for jacobi polynomials, 3 : Completion of the proof Tech Report

T.H. Koornwinder

June 1976
The addition formula for jacobi polynomials, 2 : the laplace type integral representation and the product formula Tech Report

T.H. Koornwinder

June 1976
Toepassing van de eindige elementenmethode op een- en tweedimensionale randwaardeproblemen In Proceedings

M. Bakker (Miente)

April 1976
A comparative study of programs for solving nonlinear equations : 2nd ed Tech Report

J.C.P. Bus

March 1976
Sequencing by enumerative methods Dissertation

J.K. Lenstra (Jan Karel)

February 1976
A theoretical and computational study of generalized aliquot sequences Dissertation

Cryptology

H.J.J. te Riele (Herman)

January 1976
A universal isomorphism of p-typical formal groups and operations in Brown-Peterson cohomology Article

Indagationes Mathematicae, 195-199.

M. Hazewinkel (Michiel)

January 1976
Machine scheduling problems; computations, complexity and classification : In honour of A.G.H. Rinnooy Kan upon the occasion of the defense of his doctoral thesis, 28.01.1976 Tech Report

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

January 1976
The asymptotic behaviour of undiscounted value iteration in Markov decision problems : (prepublication) Tech Report

P.J. Schweitzer and A. Federgruen

January 1976
Sensitive time and discount optimality in Markov renewal decision problems with instantaneous actions Tech Report

P.J. Weeda

January 1976
The functional equations of undiscounted Markov renewal programming : (prepublication) Tech Report

P.J. Schweitzer and A. Federgruen

January 1976
A general Markov decision method, 1: model and techniques : (prepublication) Tech Report

G. de Leve (Gijs), A. Federgruen and H.C. Tijms (Henk)

January 1976
A general Markov decision method, 2: applications : (prepublication) Tech Report

G. de Leve (Gijs), A. Federgruen and H.C. Tijms (Henk)

January 1976
A note on the expected performance of branch-and-bound algorithms : (prepublication) Tech Report

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

January 1976
Non-cooperative countable-person games with compact action spaces Tech Report

O.J. Vrieze

January 1976
The stochastic non-cooperative countable-person game with countable state space and compact action spaces under the discounted payoff criterium Tech Report

O.J. Vrieze

January 1976
On N-person stochastic games with denumerable state space Tech Report

A. Federgruen

January 1976
Semi-Markov strategies in stochastic games Tech Report

A. Hordijk (Arie), O.J. Vrieze and G.L. Wanrooij

January 1976
Computergebruik door visueel gehandicapten Tech Report

C.M. van Rossen and R. van Vliet

January 1976
Enige hulpmiddelen bij korrektheidsbewijzen Tech Report

L. Ammeraal

January 1976
Tekstverwerking Tech Report

P.J.W. ten Hagen (Paul) and R. van Vliet

January 1976
Ervaringen met de overdracht van de Aleph-compiler van Scope 3.4.1 naar Scope 3.4.4 : ofte wel de software-crisis woedt Tech Report

D. Grune (Dick)

January 1976
Chess, how to program the exceptions? : 3rd ed Tech Report

C. Zuidema

January 1976
Mini Algol 68 user's guide : 2nd ed Tech Report

L. Ammeraal

January 1976
Some elementary proofs of lower-bounds in complexity theory : (prepublication) 2nd ed Tech Report

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

January 1976
A problem in collateral elaboration Tech Report

R. van Vliet

January 1976
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

Previous

Next

Available Years