Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

On deformations, approximations and nonlinear filtering Article

Systems & Control Letters, 1(1), 32-36.

M. Hazewinkel (Michiel)

January 1981
On representations for the symmetric groups, nilpotent matrices, systems vector bundles and Schubert cells In Proceedings

M. Hazewinkel (Michiel)

January 1981
On families of systems : pointwise-local-global isomorphism problems Tech Report

M. Hazewinkel (Michiel) and A.M. Perdon

January 1981
On families of systems : piontwise-local-global isomorphism problems Tech Report

M. Hazewinkel (Michiel) and A.M. Perdon

January 1981
On families of systems : pointwise-local-global isomorphism problems Article

International Journal of Control, 33(4), 713-726.

M. Hazewinkel (Michiel) and A.M. Perdon

January 1981
Introduction to multigrid methods Article

Nieuw Archief voor Wiskunde, 71-101.

P.W. Hemker (Piet)

January 1981
Association schemes and the Shannon capacity: Eberlein-polynomials and the Erdos-Ko-Rado Theorem Article

Algebraic Methods in Graph Theory (L. Lovász and V,T, Sos, eds.), 671-688.

A. Schrijver (Lex)

January 1981
Table errata 575: Formulas and theorems for the special functions of mathematical physics [third edition, Springer, New York, 1966; MR 38#1291] by W. Magnus, F. Oberhettinger and R.P. Soni. Article

Mathematics of Computation, 36(153), 315-316.

N.M. Temme (Nico)

January 1981
Remarks on a theorem of Redei Article

Studia Scientiarum Mathematicarum Hungarica, 449-454.

L. Lovász (László) and A. Schrijver (Lex)

January 1981
The ellipsoid method its consequences in combinatorial optimization Article

Combinatorica, 169-197.

M. Grötschel, L. Lovász (László) and A. Schrijver (Lex)

January 1981
On total dual integrality Article

Linear Algebra and its Applications, 27-32.

A. Schrijver (Lex)

January 1981
Weg met de vergulde driehoek : A.R.A.G. (Anti Radio-Aktiviteits Groep) Amsterdam Book

November 1980
A program to solve rotating plasma problems Article

Computer Physics Communications, 20(3), 429-439.

M. Bakker (Miente) and M.S. van den Berg (Rob)

November 1980
Conferentie van numeriek wiskundigen : Woudschoten, Zeist, 29.09-01.10.1980 : programma en abstracts Booklet

September 1980
Theoretical and computational aspects of the numerical integration of hyperbolic equations Dissertation

K. Dekker

September 1980
Relativized obliviousness In Proceedings

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

September 1980
Handleiding voor hierarchische clusteranalyse [2e Druk] Tech Report

J.G. Bethlehem

August 1980
On the power of real-time turing machines under varying specifications In Proceedings

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

July 1980
A characterisation of computable data types by means of a finite equational specification method In Proceedings

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

July 1980
Change of address of the Stichting Mathematisch Centrum : change of address card, 23.06.1980 Miscellaneous

June 1980
De Stichting Mathematisch Centrum verhuist : verhuiskaart 23.06.1980 Miscellaneous

June 1980
Reduction methods in nonlinear programming Dissertation

G. van der Hoek

June 1980
Numerical solution of systems of nonlinear equations Dissertation

J.C.P. Bus

April 1980
Achievable high scores of -moves and running times in DPDA computations Article

Information Processing Letters, 10(2), 83-86.

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

March 1980
Stochastic systems and the problem of state space realization [2nd printing] Tech Report

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

March 1980
Roosters voor de studenten tandheelkunde Miscellaneous

J.M. Anthonisse, B.J. Lageweg and B. van Rij

February 1980
Nieuwsbrief van de Werkgemeenschap Theoretische Informatica [WTI] Book

February 1980
On the numerical solution of parabolic equations in a single space variable by the continuous time galerkin method Article

SIAM Journal on Numerical Analysis, 17(1), 162-177.

M. Bakker (Miente)

February 1980
On cutting planes Article

Annals of Discrete Mathematics, 291-296.

A. Schrijver (Lex)

January 1980
On lower bounds for permanents Article

Indagationes Mathematicae, 425-427.

A. Schrijver (Lex) and W.G. Valiant

January 1980
A counterexample to a conjecture of Edmonds and Giles Article

Discrete Mathematics, 213-214.

A. Schrijver (Lex)

January 1980
A recursive approach to the implementation of enumerative methods : (preprint) Tech Report

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

January 1980
Hierarchical distribution modelling with routing costs : (preprint) Tech Report

A. Federgruen and B.J. Lageweg

January 1980
Analytical evaluation of hierarchical planning systems : (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

January 1980
The stochastic filtering problem for point processes : (preprint) Tech Report

J.H. van Schuppen (Jan)

January 1980
Algorithms for the state probabilities and waiting times in single server queueing systems with random and quasirandom input and phase-type service times : (preprint) Tech Report

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

January 1980
An introduction to multiprocessor scheduling : (preprint) Tech Report

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

January 1980
Linear programming and undiscounted stochastic games in which one player controls transitions : (preprint) Tech Report

O.J. Vrieze

January 1980
Duality and the nonlinear round-trip -center and covering problems on a tree : (preprint) Tech Report

A.W.J. Kolen (Antoon)

January 1980
Timetables for dental students : (preprint) Tech Report

J.M. Anthonisse, B.J. Lageweg and B. van Rij

January 1980
Théorie de la complexité de calcul appliquée aux problèmes de couplage, recouvrement et partitionnement : (prépublication) Tech Report

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

January 1980
Introduction a l'ordonnancement de plusieurs machines : (prepublication) Tech Report

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

January 1980
Scheduling subject to resource constraints: classification and complexity : (preprint) Tech Report

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

January 1980
Preemptive scheduling of a single machine to minimize maximum cost subject to release dates and precedence constraints : (preprint) Tech Report

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

January 1980
An introduction to polymatroidal network flows : (preprint) Tech Report

E.L. Lawler

January 1980
Controlled invariant distributions for affine systems on manifolds : (preprint) Tech Report

H. Nijmeijer

January 1980
Complexity results for scheduling tasks in fixed intervals on two types of machines : (preprint) Tech Report

K. Nakajima, S.L. Hakimi and J.K. Lenstra (Jan Karel)

January 1980
Controlled invariance for affine control systems : (preprint) Tech Report

H. Nijmeijer

January 1980
B-spline algorithms Tech Report

C.J. Rusman

January 1980
Equational specifications for computable data types: six hidden functions suffice and other sufficiency bounds : (preprint) Tech Report

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

January 1980
A comparative analysis of the Intel 8086, the Zilog Z8000 and the Motorola MC8000 microprocessors : (preprint) Tech Report

J. Heering (Jan)

January 1980
Computing in algebraic systems : (preprint) Tech Report

J.V. Tucker (John)

January 1980
On bounds for the specification of finite data types by means of equations and conditional equations : (preprint) Tech Report

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

January 1980
On the power of real-time Turing machines under varying specifications; extended abstract : (preprint) Tech Report

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

January 1980
A natural data type with a finite equational final semantics specification but no effective equational initial semantics specification : (preprint) Tech Report

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

January 1980
Deriving algorithms by adding and removing variables : (preprint) Tech Report

H.B.M. Jonkers

January 1980
Semantics of unbounded nondeterminism : (preprint) Tech Report

R.J.R. Back (Ralph-Johan)

January 1980
The field of algebraic numbers fails to possess even a nice sound, if relatively incomplete, hoare-like logic for its while-programs : (preprint) Tech Report

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

January 1980
Relativized obliviousness : (preprint) Tech Report

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

January 1980
A survey of high level microprogramming languages : (preprint) Tech Report

H.J. Sint

January 1980
Two-tape real-time computation : (preprint) Tech Report

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

January 1980
Real-time Turing machines under varying specifications : (preprint) Tech Report

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

January 1980
Time and space complexity of inside-out macro languages : (preprint) Tech Report

P.R.J. Asveld

January 1980
Initial and final algebra semantics for data type specifications: two characterisation theorems : (preprint) Tech Report

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

January 1980
Algebraically specified programming systems and Hoare's logic : (preprint) Tech Report

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

January 1980
Checking whether programs are correct or incorrect Tech Report

R.J.R. Back (Ralph-Johan)

January 1980
Floyd's principle, correctness theories and program equivalence : (preprint) Tech Report

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

January 1980
Reconciling data flow machines and conventional languages : (preprint) Tech Report

A.H. Veen (Arthur)

January 1980
Real-time Turing machines under varying specifications, 2 : (preprint) Tech Report

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

January 1980
Designing a machine independent storage management system : (preprint) Tech Report

H.B.M. Jonkers

January 1980
Expressiveness and the completeness of Hoare's logic : (preprint) Tech Report

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

January 1980
Proving total correctness of nondeterministic programs in infinitary logic : (preprint) Tech Report

R.J.R. Back (Ralph-Johan)

January 1980
Operational and denotational semantics describing the matching process in Snobol4 : (preprint) Tech Report

A. de Bruin (Arie)

January 1980
On the operational structure of algebraic programming systems : (preprint) Tech Report

P.R.J. Asveld and J.V. Tucker (John)

January 1980
On the notion of correct refinement of programs : (prepint) Tech Report

R.J.R. Back (Ralph-Johan)

January 1980
Correctness of explicitly specified procedures : (preprint) Tech Report

R.J.R. Back (Ralph-Johan)

January 1980
On the refinement of specifications and Hoare's logic : (preprint) Tech Report

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

January 1980
The completeness of the algebraic specification methods for data types : (preprint) Tech Report

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

January 1980
A survey of multi-grid methods for nonlinear problems Tech Report

E.J. van Asselt

January 1980
Modified nystroem methods for semi-discrete hyperbolic differential equations : (preprint) Tech Report

P.J. van der Houwen (Piet)

January 1980
Stability analysis of reducible quadrature methods for volterra integral equations of the second kind : (preprint) Tech Report

P.H.M. Wolkenfelt

January 1980
Superconvergence in collocation and implicit runge-kutta methods for volterra-type integral equations of the second kind : (preprint) Tech Report

H. Brunner

January 1980
Galerkin methods for even-order parabolic equations in one space variable : (preprint) Tech Report

M. Bakker (Miente)

January 1980
Rosenbrock methods and time-lagged jacobian matrices : (preprint) Tech Report

J.G. Verwer (Jan) and S. Scholz

January 1980
Convergence and stability analysis of runge-kutta type methods for volterra integral equations of the second kind : (preprint) Tech Report

P.J. van der Houwen (Piet)

January 1980
On $V_0$-stability of numerical methods for volterra integral equations of the second kin Tech Report

H. Brunner, S.P. Nørsett and P.H.M. Wolkenfelt

January 1980
Stability of linear multistep methods on the imaginary axis : (preprint) Tech Report

K. Dekker

January 1980
Numerical solution of two coupled nonlinear equations related to the limits of buchstab's iteration sieve Tech Report

H.J.J. te Riele (Herman)

January 1980
Hyperperfect numbers with more than two different prime factors : (preprint) Tech Report

H.J.J. te Riele (Herman)

January 1980
An algol 60 package for the solution of nonlinear equations Tech Report

J.C.P. Bus

January 1980
A mesh-parameter-continuation method : (preprint) Tech Report

S.J. Polak, A. Wachters, T. Beelen and P.W. Hemker (Piet)

January 1980
An analysis of rosenbrock methods for non-linear stiff initial value problems : (preprint) Tech Report

J.G. Verwer (Jan)

January 1980
A performance evaluation of a class of runge-kutta-chebyshev methods for solving semi-discrete parabolic differential equations Tech Report

B.P. Sommeijer (Ben) and J.G. Verwer (Jan)

January 1980
Numerical solution of the navier-stokes equations by means of a multigrid method and newton-iteration : (preprint) Tech Report

W.J.A. Mol

January 1980
Fourier analysis of gridfunctions, prolongations and restrictions Tech Report

P.W. Hemker (Piet)

January 1980
An algol 68 routine for the approximation of partial derivatives on a two-dimensional grid Tech Report

J. Kok (Jan)

January 1980
Preconditioning and coarse grid corrections in the solution of the initial value problem for nonlinear partial differential equations : (preprint) Tech Report

P.J. van der Houwen (Piet) and H.B. de Vries

January 1980
Convergence and stability analysis for modified runge-kutta methods in the numerical treatment of second kind volterra integral equations : (preprint) Tech Report

P.J. van der Houwen (Piet), P.H.M. Wolkenfelt and C.T.H. Baker

January 1980
Numerical solution of a diffusion problem with segregation at a moving interface : (preprint) Tech Report

M. Bakker (Miente) and D. Hoonhout

January 1980
Comparing some aspects of two codes for two-point boundary-value problems Tech Report

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

January 1980

Previous

Next

Available Years