Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

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 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
Fast Attenuation Correction in Fluorescence Confocal Imaging: A Recursive Approach Article

BioImaging, 78-92.

K.C. Strasters, H.T.M. van der Voort, J.M. Geusebroek (Jan-Mark) and A.W.M. Smeulders (Arnold)

January 1994
A Visual Programming Interface for an Image Processing Environment Article

Pattern Recognition Letters, 15(11), 1099-1109.

D.C. Koelma and A.W.M. Smeulders (Arnold)

January 1994
3-D Texture Characterized by Accessibility Measurements Based on the Grey Weighted Distance Transform Article

BioImaging, 2(1), 1-21.

K.C. Strasters, A.W.M. Smeulders (Arnold) and H.T.M. van der Voort

January 1994
Optimization of static traffic allocation policies Article

Theoretical Computer Science, 125(1), 17-43.

M.B. Combé (Marco) and O.J. Boxma (Onno)

January 1994
Stochastic bounds for a polling system Article

Annals of Operations Research, 48(1-4), 295-310.

O.J. Boxma (Onno) and M. Kelbert

January 1994
Sequencing and cooperation Article

Mathematical Methods of Operations Research, 42(3), 566-568.

I. Curiel, S.H. Tijs, J. Potters, R. Prasad and B. Veltman

January 1994
VLUGR3: a vectorizable adaptive grid solver for PDEs in $3$D I. Algorithmic aspects and applications. A Festschrift to honor Professor Robert Vichnevetsky on his 65th birthday. Article

Applied Numerical Mathematics, 16(1-2), 129-156.

J.G. Blom (Joke) and J.G. Verwer (Jan)

January 1994
Dynamic modal predicate logic Book Chapter

D.J.N. van Eijck (Jan) and G. Cepparello (Giovanna)

January 1994
On the reciprocal relationship between life histories and population dynamics Book Chapter

O. Diekmann (Odo) and J.A.J. Metz

January 1994
On a class of singularly perturbed boundary value problems for which an adaptive mesh technique is necessary In Proceedings

P.W. Hemker (Piet) and G.I. Shishkin (Gregori)

January 1994
Object-oriented algebraic specification proposal for a notation and $12$ examples Book Chapter

J.A. Bergstra (Jan), J. Heering (Jan) and J.W. Klop (Jan Willem)

January 1994
Control of discrete event systems---research at the interface of control theory and computer science Book Chapter

A.A.F. Overkamp (Ard) and J.H. van Schuppen (Jan)

January 1994
The computation of R0 for discrete-time epidemic models with dynamic heterogeneity Article

Mathematical Biosciences, 119(1), 97-114.

M.C.M. de Jong, O. Diekmann (Odo) and J.A.P. Heesterbeek (Hans)

January 1994
Modularity of confluence: A simplified proof Article

Information Processing Letters, 49(2), 101-109.

J.W. Klop (Jan Willem), A. Middeldorp, Y. Toyama and R. de Vrijer

January 1994
Waiting-time approximations for multiple-server polling systems Article

Performance Evaluation, 163-182.

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

January 1994
Analysis of multiple-server polling systems by means of the power-series algorithm Article

Stochastic Models, 339-369.

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

January 1994
Schouten beschouwd Book

January 1994

Previous

Next

Available Years