Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

Bounds for the interval availability distribution Tech Report

P. Wartenhorst

January 1990
Realization and partial fractions Tech Report

M. Kuijper and J.M. Schumacher (Hans)

January 1990
Near-perfect matrices Tech Report

F.B. Shepherd (Bruce)

January 1990
Completeness of combinations of constructor systems Tech Report

A. Middeldorp and Y. Toyama

January 1990
MANIFOLD: a language for specification of inter-process communication Tech Report

F. Arbab (Farhad) and I. Herman (Ivan)

January 1990
Examples in MANIFOLD Tech Report

F. Arbab (Farhad) and I. Herman (Ivan)

January 1990
NUMVEC FORTRAN library manual : chapter: basic linear algebra : routine: MATMUL : chapter: simultaneous linear equations : routines: BIDIAGL and BIDIAGU Tech Report

J.J.F.M. Schlichting

January 1990
NUMVEC FORTRAN library manual : chapter: partial differential equations : routine: ICCG3D Tech Report

J.J.F.M. Schlichting and H.A. van der Vorst (Henk)

January 1990
A note on the grid movement induced by MFE Tech Report

P.A. Zegeling (Paul) and J.G. Blom (Joke)

January 1990
Low-diffusion rotated upwind schemes, multigrid and defect correction for steady, multi-dimensional Euler flows Tech Report

B. Koren (Barry)

January 1990
On Tutte's characterization of graphic matroids : a graphic proof Tech Report

A.M.H. Gerards (Bert)

January 1990
On second order optimality of regular projective estimators: Part I Tech Report

K.O. Dzhaparidze (Kacha) and P.J.C. Spreij (Peter)

January 1990
New lower and upper bounds for scheduling around a small common due date Tech Report

J.A. Hoogeveen, H. Oosterhout and S.L. van de Velde

January 1990
On iterative estimators Tech Report

K.O. Dzhaparidze (Kacha)

January 1990
Cardiac magnetic resonance imaging by retrospective gating: mathematical modelling and reconstruction algorithms Tech Report

J.B.T.M. Roerdink (Jos) and M. Zwaan

January 1990
Performance analysis of a dynamic query processing scheme Tech Report

M.L. Kersten (Martin), S. Shair-Ali and C.A. van den Berg (Carel)

January 1990
Computing boolean functions on Cayley networks (extended abstract) Tech Report

E. Kranakis (Evangelos) and D.D.M. Krizanc

January 1990
Two nonparametric estimators of the survival function of bivariate right censored observations Tech Report

D.M. Bakker

January 1990
Tait's flyping conjecture for well-connected links Tech Report

A. Schrijver (Lex)

January 1990
Runge-Kutta methods and local uniform grid refinement Tech Report

R.A. Trompert (Ronald) and J.G. Verwer (Jan)

January 1990
A fully abstract model for concurrent logic languages Tech Report

F.S. de Boer (Frank) and C. Palamidessi (Catuscia)

January 1990
Discourse representation theory Tech Report

D.J.N. van Eijck (Jan)

January 1990
Four domains for concurrency Tech Report

J.W. de Bakker (Jaco) and J.H.A. Warmerdam

January 1990
Representation and implementation of design knowledge for intlligent CAD : theoretical aspects Tech Report

P. J. Veerkamp (Paul), T. Kiriyama, D. Xue and T. Tomiyama

January 1990
Representation and implementation of design knowledge for intlligent CAD : implementational aspects Tech Report

T. Kiriyama, D. Xue, T. Tomiyama and P. J. Veerkamp (Paul)

January 1990
Deriving incremental implementations from algebraic specifications Tech Report

E.A. van der Meulen (Emma)

January 1990
Editing objects of a hierarchical structured drawing Tech Report

J.J.W. van der Vegt (Jaap)

January 1990
Loop checking and negation Tech Report

R.N. Bol

January 1990
Block-Cholesky for parallel processing Tech Report

M. Nool (Margreet)

January 1990
On the construction of translation and rotation invariant morphological operators Tech Report

J.B.T.M. Roerdink (Jos)

January 1990
Central limit theorem for non-homogeneous processes with independent increments and semimarkov switchings Tech Report

V.V. Korolyuk (Vladimir)

January 1990
A local limit theorem for L-statistics Tech Report

R. Helmers (Roelof)

January 1990
Transfinite reductions in orthogonal term rewriting systems Tech Report

J.R. Kennaway (Richard), J.W. Klop (Jan Willem) and M.R. Sleep (Ronan)

January 1990
Process algebra with guards : combining Hoare logic with process algebra Tech Report

J.F. Groote (Jan Friso) and A. Ponse (Alban)

January 1990
Term rewriting systems Tech Report

J.W. Klop (Jan Willem)

January 1990
The two-dimensional random walk, its hitting process and its classification Tech Report

J.W. Cohen

January 1990
The syntax and semantics of $ mu $ CRL Tech Report

J.F. Groote (Jan Friso) and A. Ponse (Alban)

January 1990
Speciale functies in de mathematische fysica Book

N.M. Temme (Nico)

January 1990
Activiteiten 1990/1991 op het gebied van de tweede fase onderzoeksopleiding wiskunde Book

January 1990
Multi-media research at CWI: goals and objectives Tech Report

D.C.A. Bulterman (Dick)

January 1990
Preface Article

J.C.M. Baeten (Jos) and J.W. Klop (Jan Willem)

January 1990
Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness: REX Workshop, Mook, The Netherlands May 29- June 2, 1989 Proceedings Proceedings

January 1990
Diffie-Hellman is as strong as discrete log for certain primes In Proceedings

B. den Boer

January 1990
Term rewriting systems from Church-Rosser to Knuth-Bendix and beyond In Proceedings

J.W. Klop (Jan Willem)

January 1990
A new strategy for proving $omega$-completeness applied to process algebra In Proceedings

J.F. Groote (Jan Friso)

January 1990
A parallel insertion heuristic for vehicle routing with side constraints Article

Statistica Neerlandica, 44(3), 139-148.

M.W.P. Savelsbergh

January 1990
Another look at the Brayton-Moser network equations In Proceedings

J.M. Schumacher (Hans)

January 1990
Logic programming Book Chapter

K.R. Apt (Krzysztof)

January 1990
Towards more efficient loop checks In Proceedings

R.N. Bol

January 1990
Two simple protocols Book Chapter

F.W. Vaandrager (Frits)

January 1990
Process algebra semantics of POOL Book Chapter

F.W. Vaandrager (Frits)

January 1990
Some observations on redundancy in a context Book Chapter

F.W. Vaandrager (Frits)

January 1990
Factoring with the quadratic sieve on large vector computers Article

H.J.J. te Riele (Herman), W.M. Lioen (Walter) and D.T. Winter (Dik)

January 1990
Report on the Fourth Eurographics Workshop on Intelligent CAD Article

Computer Graphics Forum, 9(3), 283-284.

F. Arbab (Farhad)

January 1990
EUROPE '92 ‐ The Computer Graphics Market: Challenge and Opportunity A R&D Institute's View of a Workshop Held in Darmstadt in December 1989 Article

Computer Graphics Forum, 9(5), 388-388.

P.J.W. ten Hagen (Paul) and Schönhut, J. (Jürgen)

January 1990
Report on the First Eurographics Workshop on Object‐Oriented Graphics Article

Computer Graphics Forum, 9(3), 285-286.

D.B.M. Otten (Daan)

January 1990
A parallel insertion heuristic for vehicle routing with side constraints Article

Statistica Neerlandica, 44(3), 139-148.

Savelsbergh, M.W.P.

January 1990
Scheduling identical jobs on uniform parallel machines Article

Statistica Neerlandica, 44(3), 115-123.

Dessouky, M.I., Lageweg, B.J., Lenstra, J.K. and van de Velde, S.L.

January 1990
Increasing the real stability boundary of explicit methods Article

Computers & Mathematics with Applications, 19(6), 37-49.

B.P. Sommeijer (Ben)

January 1990
A simpler and faster algorithm for optimal total-work-content-power due date determination Article

Mathematical and Computer Modelling, 13(3), 81-83.

S.L. van de Velde

January 1990
State representations of linear systems with output constraints Article

Mathematics of Control, Signals, and Systems, 3(1), 61-80.

J.M. Schumacher (Hans)

January 1990
Uniform asymptotic expansions of a class of integrals in terms of modified Bessel functions, with application to confluent hypergeometric functions Article

SIAM Journal on Mathematical Analysis, 21(1), 241-261.

N.M. Temme (Nico)

January 1990
Jacobi functions as limit cases of $q$-ultraspherical polynomials Article

Journal of Mathematical Analysis and Applications, 148(1), 44-54.

T.H. Koornwinder

January 1990
Upwind discretization of the steady Navier-Stokes equations Article

International Journal for Numerical Methods in Fluids, 11(1), 99-117.

B. Koren (Barry)

January 1990
Hahn-Banach type theorems for adjoint semigroups Article

Mathematische Annalen, 287(1), 63-71.

J.M.A.M. van Neerven (Jan)

January 1990
Asymptotic estimates for Laguerre polynomials Article

ZAMP: Zeitschrift für angewandte Mathematik und Physik, 41(1), 114-126.

N.M. Temme (Nico)

January 1990
Completeness of resolution revisited Article

Theoretical Computer Science, 74(2), 227-237.

M.A. Bezem

January 1990
Semantic correctness for a parallel object-oriented language Article

SIAM Journal on Computing, 19(2), 341-383.

J.J.M.M. Rutten (Jan)

January 1990
Non-Gaussian linear filtering, identification of linear systems, and the symplectic group Book Chapter

M. Hazewinkel (Michiel)

January 1990
Minimizing the sum of the job completion times in the two-machine flow shop by Lagrangian relaxation Article

Annals of Operations Research, 26(1-4), 257-268.

S.L. van de Velde

January 1990
Polynomial asymptotic estimates of Gegenbauer, Laguerre, and Jacobi polynomials Book Chapter

N.M. Temme (Nico)

January 1990
A Markov chain identity and monotonicity of the diffusion constants for a random walk in a heterogeneous environment Article

Mathematical Proceedings of the Cambridge Philosophical Society, 108(1), 111-126.

J.B.T.M. Roerdink (Jos)

January 1990
On the order of prolongations and restrictions in multigrid procedures Article

Journal of Computational and Applied Mathematics, 32(3), 423-429.

P.W. Hemker (Piet)

January 1990
Semantics for logic programs without occur check Article

Theoretical Computer Science, 71(1), 155-174.

W.P. Weijland

January 1990
An efficient implementation of local search algorithms for constrained routing problems Article

European Journal of Operational Research, 47(1), 75-85.

M.W.P. Savelsbergh

January 1990
Error estimates for nonuniform sampling Article

Numerical Algorithms, 11(5-6), 589-599.

M. Zwaan

January 1990
Local recognition of graphs, buildings, and related geometries Book Chapter

A.M. Cohen (Arjeh)

January 1990
Supercongruences In Proceedings

M.J. Coster

January 1990
Applications of polyhedral combinatorics to multicommodity flows and compact surfaces Book Chapter

A. Schrijver (Lex)

January 1990
Relativistic Toda systems Article

Communications in Mathematical Physics, 133(2), 217-247.

S.N.M. Ruijsenaars (Simon)

January 1990
Homotopic routing methods In Proceedings

A. Schrijver (Lex)

January 1990
Finite-dimensional soliton systems Book Chapter

S.N.M. Ruijsenaars (Simon)

January 1990
Approximation of the solution to the moment problem in a Hilbert space Article

Numerical Algorithms, 11(5-6), 601-608.

M. Zwaan

January 1990
On cutting planes and matrices Book Chapter

A.M.H. Gerards (Bert)

January 1990
Orthogonal polynomials in connection with quantum groups Book Chapter

T.H. Koornwinder

January 1990
Reflexivity, the dual Radon-Nikod'ym property, and continuity of adjoint semigroups Article

Indagationes Mathematicae, 1(3), 365-379.

J.M.A.M. van Neerven (Jan)

January 1990
Graphs and polyhedra: binary spaces and cutting planes (slightly revised version of the authors thesis) Dissertation

Probability, Networks and Algorithms

A.M.H. Gerards (Bert)

January 1990
Scientific programme 1990 : long-range plan 1991-1995. part 1 Book

January 1990
On the definition and the computation of the basic reproduction ratio R0 in models for infectious diseases in heterogeneous populations Article

Journal of Mathematical Biology, 28(4), 365-382.

O. Diekmann (Odo), J.A.P. Heesterbeek (Hans) and J.A.J. Metz

January 1990
SCILAIM: A Multi-Level Interactive Image Processing Environment Article

Pattern Recognition Letters, 11(6), 429-441.

T.K. ten Kate, R. van Balen, A.W.M. Smeulders (Arnold) and F.C.A. Groen

January 1990
Constrained scheduling of VLSI algorithms In Proceedings

E.H.L. Aarts (Emile), J. Korst (Jan) and J.K. Lenstra (Jan Karel)

January 1990
Computing Boolean functions on anonymous networks In Proceedings

E. Kranakis (Evangelos), D.D.M. Krizanc and J. van den Berg (Rob)

January 1990
Back and forth bisimulations In Proceedings

R. de Nicola, U. Montanari and F.W. Vaandrager (Frits)

January 1990
Enumeration and visibility problems in integer lattices In Proceedings

E. Kranakis (Evangelos) and M. Pocchiola

January 1990
The Probability of a Random Straight Line in Two and Three Dimensions Article

Pattern Recognition Letters, 11(4), 233-240.

A.L.D. Beckers and A.W.M. Smeulders (Arnold)

January 1990
Evaluation of a Diagnostic Encyclopedia Workstation for Ovarian Pathology Article

Human Pathology, 21(10), 989-997.

A.M. van Ginneken, J.P.A. Baak, W. Jansen and A.W.M. Smeulders (Arnold)

January 1990
Design of the Diagnostic Encyclopedia Workstation (DEW) Article

Computers in Biology and Medicine, 20(4), 281-292.

A.M. van Ginneken, A.W.M. Smeulders (Arnold), W. Jansen, J.P.A. Baak and I. Brooymans

January 1990
Automated Estimation of Epithelial Volume in Breast Cancer Sections: A Comparison with the Image Processing Steps Applied to Gynecologic Tumors Article

Pathology Research and Practice, 186(6), 737-744.

N. Schipper, A.W.M. Smeulders (Arnold) and J.P.A. Baak

January 1990
A Method for the Acquisition of Formalized Knowledge in Pathology Article

Methods of Information in Medicine, 29(3), 182-192.

A.M. van Ginneken, W. Jansen, A.W.M. Smeulders (Arnold), J. van der Lei and J.P.A. Baak

January 1990
Three logics for branching bisimulation In Proceedings

R. de Nicola and F.W. Vaandrager (Frits)

January 1990

Previous

Next

Available Years