Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

A preconditioned Jacobi-Davidson method for solving large generalized eigenvalue problems Tech Report

J.G.L. Booten, H.A. van der Vorst (Henk), P.M. Meijer and H.J.J. te Riele (Herman)

January 1994
An investigation of data reuse on the Cray S-MP system 500 Tech Report

A.J. Stewart, M. Nool (Margreet), H.J.J. te Riele (Herman) and D.T. Winter (Dik)

January 1994
Dimensional splitting with unconditional stability for advection on a sphere Tech Report

W. Hundsdorfer (Willem) and E.J. Spee (Edwin)

January 1994
A survey of program slicing techniques Tech Report

F. Tip (Frank)

January 1994
Indefeasible semantics and defeasible pragmatics Tech Report

M. Kameyama

January 1994
The integration project for the JACK environment Tech Report

A. Bouali, S. Gnesi and S. Larosa

January 1994
A path-based variable-free system for predicate logic Tech Report

D. Ben-Shalom

January 1994
Verification of an audio control protocol Tech Report

D.J.B. Bosscher (Doeko), I. Polak and F.W. Vaandrager (Frits)

January 1994
A logic for variable aliasing in logic programs Tech Report

E. Marchiori

January 1994
More on unfold/fold transformations of normal programs: preservation of fitting's semantics Tech Report

A. Bossi and S. Etalle (Sandro)

January 1994
An environment for computational steering Tech Report

J.J. van Wijk (Jack) and R. van Liere (Robert)

January 1994
Hyperslice visualization of scalar functions of many variables Tech Report

J.J. van Wijk (Jack) and R. van Liere (Robert)

January 1994
Visualization of multi-dimensional scalar functions using hyperslice Tech Report

R. van Liere (Robert) and J.J. van Wijk (Jack)

January 1994
Cross-covariance functions characterise bounded regular closed sets Tech Report

A.J. Cabo (Annoesjka) and R.H.P. Janssen (René)

January 1994
On the determination of the stationary distribution of a symmetric clocked buffered switch Tech Report

J.W. Cohen

January 1994
Type equivalence, subtyping, and type transformations in object-oriented databases Tech Report

C.J.E. Thieme and A.P.J.M. Siebes (Arno)

January 1994
Branching bisimulation as a strong bisimulation Tech Report

A. Bouali and R. de Nicola

January 1994
Efficient parallel predictor-corrector methods Tech Report

J.J.B. de Swart (Jacques)

January 1994
Vectorization aspects of a spherical advection scheme on a reduced grid Tech Report

J.G. Blom (Joke), W. Hundsdorfer (Willem) and J.G. Verwer (Jan)

January 1994
Update 1 to: Factorizations of $ a^ n pm 1,13 leq a < 100 $ Tech Report

R.P. Brent, P.L. Montgomery and H.J.J. te Riele (Herman)

January 1994
Approximating inverse submatrices for parallel finite element preconditioning Tech Report

M.C. Dracopoulos

January 1994
Waiting-time approximations for multiple-server polling systems Tech Report

S.C. Borst (Sem) and R.D. van der Mei (Rob)

January 1994
A limit theorem for scaled vacancies of the Boolean model Tech Report

I.S. Molchanov (Ilya)

January 1994
Generic techniques for source-level debugging and dynamic program slicing Tech Report

F. Tip (Frank)

January 1994
More (on) unification-free Prolog programs Tech Report

S. Etalle (Sandro)

January 1994
Off-line cash transfer by smart cards Tech Report

S.A. Brands (Stefan)

January 1994
A Lindström theorem for modal logic Tech Report

M. de Rijke (Maarten)

January 1994
A trying C++ experience (Why COMPARE dropped C++) Tech Report

T.B. Dinesh

January 1994
A finite automaton learning system using genetic programming Tech Report

H.H. Ehrenburg and H.A.N. van Maanen

January 1994
The impact of catalogs and join algorithms on probabilistic query optimization Tech Report

A.J. Pellenkoft (Jan), C.A. Galindo-Legaria (César) and M.L. Kersten (Martin)

January 1994
Action transducers and timed automata Tech Report

N.A. Lynch (Nancy) and F.W. Vaandrager (Frits)

January 1994
Lazy rewriting on eager machinery Tech Report

J.F.T. Kamperman (Jasper) and H.R. Walters (Pum)

January 1994
Zooming in, zooming out Tech Report

P. Blackburn (Patrick) and M. de Rijke (Maarten)

January 1994
The development of Runge-Kutta methods for partial differential equations Tech Report

P.J. van der Houwen (Piet)

January 1994
Remarks on sparse-grid finite-volume multigrid Tech Report

P.W. Hemker (Piet)

January 1994
Stability analysis of an odd-even-line hopscotch method for three-dimensional advection-diffusion problems Tech Report

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

January 1994
Numerical multigrid software for elliptic PDE's : routines: MGD1M and MGD5M Tech Report

M. Nool (Margreet) and P.M. de Zeeuw (Paul)

January 1994
A note on bootstrapping the local time of the empirical process Tech Report

R. Helmers (Roelof)

January 1994
Delaunay transformations of a Delaunay polytope Tech Report

M. Laurent (Monique)

January 1994
Impulsive-smooth behavior in multimode systems Tech Report

A.H.W. Geerts and J.M. Schumacher (Hans)

January 1994
Equilibrium and transient system effectiveness of a production unit with an output buffer Tech Report

P.R. de Waal and S.G. Vanneste

January 1994
An $ H_infty $-parameter estimator and its interpretation Tech Report

A.A. Stoorvogel and J.H. van Schuppen (Jan)

January 1994
Load sharing in models with communication delays Tech Report

R.A.B. van der Geest

January 1994
The algebra of modal logic Tech Report

P. Blackburn (Patrick), M. de Rijke (Maarten) and Y. Venema

January 1994
The STO-problem is NP-hard Tech Report

K.R. Apt (Krzysztof), P. van Emde Boas (Peter) and A. Welling

January 1994
Formal methods in the development of PREMO Tech Report

D.A. Duce, D.J. Duke, P.J.W. ten Hagen (Paul), I. Herman (Ivan) and G.J. Reynolds

January 1994
Some uses of constructive negation for classical problems in non-monotonic reasoning Tech Report

E. Marchiori

January 1994
Comparing negation in logic programming and in Prolog Tech Report

K.R. Apt (Krzysztof) and F. J. M. Teusink (Frank)

January 1994
Knowledge abstraction using heuristic search Tech Report

D. Riaño

January 1994
A note on splitting errors for advection-reaction equations Tech Report

W. Hundsdorfer (Willem) and J.G. Verwer (Jan)

January 1994
Explicit parallel block Cholesky algorithms on the CRAY APP Tech Report

M. Nool (Margreet)

January 1994
Convergence aspects of step-parallel iteration of Runge-Kutta methods Tech Report

W.A. van der Veen (Wolter), J.J.B. de Swart (Jacques) and P.J. van der Houwen (Piet)

January 1994
The BM AP/M/s queue Tech Report

M.B. Combé (Marco)

January 1994
On strong laws for generalized L-statistics with dependent data Tech Report

D. Gilat and R. Helmers (Roelof)

January 1994
Analysis of a two-dimensional algebraic nearest-neighbour random walk : queue with paired services Tech Report

J.W. Cohen

January 1994
Generic eigenvalue assignment by memoryless real output feedback Tech Report

J. Rosenthal, J.M. Schumacher (Hans) and J.C. Willems

January 1994
The real positive semidefinite completion problem for series-parallel graphs Tech Report

M. Laurent (Monique)

January 1994
A closer look at declarative interpretations Tech Report

K.R. Apt (Krzysztof), M. Gabbrielli and D. Pedreschi

January 1994
A note on language classes with finite elasticity Tech Report

M. Kanazawa

January 1994
One incursion in the non-supervised generation of concepts Tech Report

D. Riaño

January 1994
A correctness proof of the bakery protocol in $ mu $CRL Tech Report

J.F. Groote (Jan Friso) and H.P. Korver

January 1994
Three-valued completion for abductive logic programs Tech Report

F. J. M. Teusink (Frank)

January 1994
The logic of Peirce algebras Tech Report

M. de Rijke (Maarten)

January 1994
An adaptive image line reconstruction method In Proceedings

M. Haindl and Šimberová, S. (S.)

January 1994
Bibliotheek CWI gids = CWI Library guide Booklet

January 1994
Image analysis methods based on hierarchies of graphs and multi-scale mathematical morphology Dissertation

P. F. M. Nacken (Peter)

January 1994
Preface Preface

J.W. de Bakker (Jaco), W.P. de Roever and G. Rozenberg

January 1994
A structural co-induction theorem In Proceedings

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

January 1994
How a rainbow coloring function can simulate wait-free handshaking In Proceedings

M. Papatriantafilou (Marina) and P. Tsigas (Philippas)

January 1994
Preface Article

G. Tel (Gerard) and P.M.B. Vitányi (Paul)

January 1994
Uniform deterministic self-stabilizing ring-orientation on odd-length rings In Proceedings

J.H. Hoepman (Jaap-Henk)

January 1994
Three-valued completion for abductive logic programs In Proceedings

F. J. M. Teusink (Frank)

January 1994
FFT-based methods for nonlinear image restoration in confocal microscopy Article

Journal of Mathematical Imaging and Vision, 4(2), 199-207.

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

January 1994
LiE, a software package for Lie group computations Article

Euromath Bulletin, 1(2), 83-94.

M.A.A. van Leeuwen (Marc)

January 1994
An optimal dice rolling policy for risk Article

Nieuw Archief voor Wiskunde, 12(1-2), 49-52.

G.M. Koole (Ger)

January 1994
On the power series algorithm In Proceedings

G.M. Koole (Ger)

January 1994
It was completely abracadabra to me, but it seemed very interesting. An interview with Cor Baayen. (Dutch) Book Chapter

A. Schrijver (Lex)

January 1994
Polling systems Book Chapter

O.J. Boxma (Onno)

January 1994
The essence of the law of large numbers Book Chapter

M.S. Keane

January 1994
Rambling along paths, trees, flows, curves, knots, and rails Book Chapter

A. Schrijver (Lex)

January 1994
Verification of a distributed summation algorithm Book Chapter

F.W. Vaandrager (Frits)

January 1994
Randomness Book Chapter

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

January 1994
MOVGRD Software

J.G. Blom (Joke)

January 1994
Adaptive spline-wavelet image encoding and real-time synthesis In Proceedings

P.C. Marais, E.H. Blake (Edwin) and A.A.M. Kuijk (Fons)

January 1994
Construction of self-dual morphological operators and modifications of the median In Proceedings

H.J.A.M. Heijmans (Henk)

January 1994
CMIFed: A Transportable Hypermedia Authoring System Miscellaneous

L. Hardman (Lynda), G. van Rossum (Guido), A.J. Jansen (Jack) and K.S. Mullender (Sjoerd)

January 1994
CMIFed: A Transportable Hypermedia Authoring System In Proceedings

L. Hardman (Lynda), G. van Rossum (Guido), A.J. Jansen (Jack) and K.S. Mullender (Sjoerd)

January 1994
Gauss-Seidel iteration for stiff ODEs from chemical kinetics Article

SIAM Journal on Scientific Computing, 15(5), 1243-1250.

J.G. Verwer (Jan)

January 1994
Remark on a theorem of Riddle, Saab, and Uhl Article

Quaestiones Mathematicae, 17(2), 183-187.

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

January 1994
On a class of two-dimensional nearest-neighbour random walks. Studies in applied probability. Article

Journal of Applied Probability, 207-237.

J.W. Cohen

January 1994
Stochastic realization of a Gaussian stochastic control system In Proceedings

J.H. van Schuppen (Jan)

January 1994
Finding $k$ disjoint paths in a directed planar graph Article

SIAM Journal on Computing, 23(4), 780-788.

A. Schrijver (Lex)

January 1994
Multigrid for semiconductor device simulation: cell-centered or vertex-centered multigrid? Math Article

Mathematical engineering in industry, 5(1), 1-22.

J. Molenaar (Gijs)

January 1994
Classification of minimal graphs of given face-width on the torus Article

Journal of Combinatorial Theory - Series B, 61(2), 217-236.

A. Schrijver (Lex)

January 1994
Steepest descent paths for integrals defining the modified Bessel functions of imaginary order Article

Methods and Applications of Analysis, 1(1), 14-24.

N.M. Temme (Nico)

January 1994
Tuning of Gaussian stochastic control systems Article

IEEE Transactions on Automatic Control, 39(11), 2178-2190.

J.H. van Schuppen (Jan)

January 1994
A complete equational axiomatization for prefix iteration Article

Information Processing Letters, 52(6), 333-337.

W.J. Fokkink (Wan)

January 1994
A structural co-induction theorem Book Chapter

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

January 1994
Asymptotic expansions for $q$-gamma, $q$-exponential, and $q$-Bessel functions Article

Journal of Mathematical Analysis and Applications, 186(3), 896-913.

A.B. Olde Daalhuis

January 1994
The tyft/tyxt format reduces to tree rules In Proceedings

W.J. Fokkink (Wan)

January 1994

Previous

Next

Available Years