Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

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
A new method for finding amicable pairs Book Chapter

H.J.J. te Riele (Herman)

January 1994
Term rewriting properties of SOS axiomatisations In Proceedings

D.J.B. Bosscher (Doeko)

January 1994
A cross section of intersection theory Article

Nieuw Archief voor Wiskunde, 12(3), 169-177.

L.J. van Gastel

January 1994
Computational aspects of incomplete gamma functions with large complex parameters In Proceedings

N.M. Temme (Nico)

January 1994
An orientation theorem for graphs Article

Journal of Combinatorial Theory - Series B, 62(2), 199-212.

A.M.H. Gerards (Bert)

January 1994
A logic for variable aliasing in logic programs In Proceedings

E. Marchiori

January 1994
The double covering of the quantum group ${m SO}sb q(3)$ In Proceedings

M. Dijkhuizen

January 1994
Paths in graphs and curves on surfaces In Proceedings

A. Schrijver (Lex)

January 1994
Action-angle maps and scattering theory for some finite-dimensional integrable systems II. Solitons, antisolitons, and their bound states Article

Publications of the Research Institute for Mathematical Sciences, Kyoto University, 30(6), 865-1008.

S.N.M. Ruijsenaars (Simon)

January 1994
Bernoulli polynomials old and new: problems in complex analysis and asymptotics Book Chapter

N.M. Temme (Nico)

January 1994
BENELOG 1994 : proceedings of the sixth Benelux workshop on logic programming, Amsterdam, 02.09.1994 Proceedings

January 1994
Over de wisselwerking tussen wiskunde en physica in de laatste 40 jaren : rede uitgesproken bij de aanvaarding van het ambt van buitengewoon hoogleraar aan de UvA, 21.02.1949 Book Chapter

J.A. Schouten

January 1994
Over de tien eenvoudigste meetkundige grootheden Book Chapter

J.A. Schouten

January 1994
Mobiliteitsdictaat theoretische mechanica : voorwoord uit het Mobiliteitsdictaat theoretische mechanica Book Chapter

J.A. Schouten

January 1994
De beteekenis van de exacte vakken in de vooropleiding van den ingenieur Book Chapter

J.A. Schouten

January 1994
Meetkunde en ervaringsstructuur : rede uitgesproken op den gedenkdag van de Technische Hogeschool [Delft], 09.01.1939 Book Chapter

J.A. Schouten

January 1994
Over de ontwikkeling der begrippen ruimte en tijd in verband met het relativiteitsbeginsel Book Chapter

J.A. Schouten

January 1994
Over het imaginaire der wiskunde in verband met de kategorieënleer Book Chapter

J.A. Schouten

January 1994
The scientific work of Professor J.A. Schouten (38.8.1883 - 20.1.1971) Book Chapter

S. Gołąb

January 1994
J.A. Schouten: a master at tensors (28 August 1883 - 20 January 1971) Book Chapter

A. Nijenhuis

January 1994
Levensbericht van Jan Arnoldus Schouten, 28 augustus 1883 - 20 januari 1971 Book Chapter

D.J. Struik

January 1994
Voorwoord (op Schouten beschouwd) Book Chapter

J.J. Seidel

January 1994
Ter inleiding (op Schouten beschouwd) Book Chapter

B. Dijkhuis and H.A. Lauwerier

January 1994
Shape of an Arbitrary Finite Point Set in R^2 Article

Journal of Mathematical Imaging and Vision, 4(2), 151-170.

M. Worring (Marcel) and A.W.M. Smeulders (Arnold)

January 1994
Objects for Simulation: Smalltalk and Ecology Article

Simulation, 62(1), 42-57.

J.M. Baveco and A.W.M. Smeulders (Arnold)

January 1994
Morphological Structure of Images: The Differential Equations of Morphological Scale-Space Article

IEEE Transactions on Pattern Analysis and Machine Intelligence, 16(11), 1101-1113.

R. van den Boomgaard and A.W.M. Smeulders (Arnold)

January 1994
Measurement of 3d-Line Shaped Objects Article

Pattern Recognition Letters, 497-506.

M. Worring (Marcel), P. Pfluger, A. Houtsmuller and A.W.M. Smeulders (Arnold)

January 1994

Previous

Next

Available Years