Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

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
The automatic solution of Fredholm equations of the second kind Tech Report

H. Schippers

January 1980
Branching processes with continuous state space allowing immigration : (preprint) Tech Report

P.J.M. Kallenberg

January 1980
Bahadur efficiency and small-sample eficiency: a numerical study Tech Report

P. Groeneboom and J. Oosterhoff

January 1980
On efficiency of first and second order : (preprint) Tech Report

D.M. Chibisov and W.R. van Zwet (Willem)

January 1980
On the Edgeworth expansion for the simple linear rank statistic : (preprint) Tech Report

W.R. van Zwet (Willem)

January 1980
Een karakteristieke vergelijking uit de mathematische epidemiologie Tech Report

R. Montijn

January 1980
Subharmonische oplossingen van periodiek aangedreven stelsels differentiaalvergelijkingen met toepassingen in de populatiedynamica Tech Report

R. de Bruin

January 1980
Rigorous results on a time-dependent inhomogeneous Coulomb gas problem : (preprint) Tech Report

D. Hilhorst (Danielle), H.J. Hilhorst and E. Marode

January 1980
On a class of nearly singular optimal control problems Tech Report

J. Grasman (Johan)

January 1980
Volterra integral equations and semigroups of operators : (preprint) Tech Report

O. Diekmann (Odo)

January 1980
Travelling waves in an initial-boundary value problem : (preprint) Tech Report

E.J.M. Veling

January 1980
A note on two integrals related with bessel functions : (preprint) Tech Report

N.M. Temme (Nico)

January 1980
Forced prey-predator oscillations : (preprint) Tech Report

J.G. Blom (Joke), R. de Bruin, J. Grasman (Johan) and J.G. Verwer (Jan)

January 1980
The numerical computation of the confluent hypergeometric function u(a,b,z) : (preprint) Tech Report

N.M. Temme (Nico)

January 1980
Nerve impulse propagation in a branching nerve system: a simple model Tech Report

J.P. Pauwelussen

January 1980
On a class of optimal control problems with an almost cost free solution : (preprint) Tech Report

J. Grasman (Johan)

January 1980
Some problems in connection with the incomplete gamma functions Tech Report

N.M. Temme (Nico)

January 1980
A variation-of-constants formula for nonlinear volterra integral equations of convolution type : (preprint) Tech Report

O. Diekmann (Odo) and S.A. van Gils (Stephan)

January 1980
On the van der pol relaxation oscillator with a sinusoidal forcing term Tech Report

J. Grasman (Johan)

January 1980
A proposal for the Co6 chapter of the NAG Algol 68 library Tech Report

C.G. van der Laan

January 1980
Heteroclinic waves of the fitzhugh-nagumo equations : (preprint) Tech Report

J.P. Pauwelussen

January 1980
A nonlinear evolution problem arising in the physics of ionized gases : (preprint) Tech Report

D. Hilhorst (Danielle)

January 1980
Pushed travelling waves in an initial-boundary value problem for fisher type equations : (preprint) Tech Report

E.J.M. Veling

January 1980
Finite groups of real octave automorphisms Tech Report

A.M. Cohen (Arjeh)

January 1980
A near octagon associated with hj Tech Report

A.M. Cohen (Arjeh)

January 1980
Weakly mixing remarks Tech Report

J.C.S.P. van der Woude (Jaap)

January 1980
The stabilizer of dye's spread on a hyperbolic quadric in pg(4n-1,2) within the orthogonal group : (preprint) Tech Report

A.M. Cohen (Arjeh) and H.A. Wilbrink

January 1980
On the existence of 30 mutually orthogonal latin squares Tech Report

A.E. Brouwer (Andries)

January 1980
On the size of a maximum transversal in a steiner triple system : (preprint) Tech Report

A.E. Brouwer (Andries)

January 1980

Previous

Next

Available Years