Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

Survey of relevant concepts Article

CWI Quarterly, 11(1), 1-5.

J.J.B. de Swart (Jacques)

March 1998
Minkowski decomposition of convex polygons into their symmetric and asymmetric parts Article

Pattern Recognition Letters, 19(3-4), 247-254.

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

March 1998
RKC: An explicit solver for parabolic PDEs Article

Journal of Computational and Applied Mathematics, 88(2), 315-326.

B.P. Sommeijer (Ben), L.F. Shampine and J.G. Verwer (Jan)

March 1998
Asymptotics and zero distribution of Padé polynomials associated with the exponential function Article

Journal of Computational and Applied Mathematics, 89(1), 97-114.

K.A. Driver (Kathy) and N.M. Temme (Nico)

March 1998
Using coordination for cooperative constraint solving In Proceedings

F. Arbab (Farhad) and E.B.G. Monfroy

February 1998
Modelling activities in information systems using the coordination language manifold In Proceedings

G.A. Papadopoulos (George) and F. Arbab (Farhad)

February 1998
Mathematical aspects of salt transport in porous media Dissertation

R.J. Schotting (Ruud)

February 1998
Scientific publications CWI, februari 1998 Book

February 1998
Generalized metric spaces: Completion topology, and powerdomains via the Yoneda embedding Article

Theoretical Computer Science, 193(1-2), 1-51.

M.M. Bonsangue (Marcello), F. van Breugel and J.J.M.M. Rutten (Jan)

February 1998
Numerical methods in global transport-chemistry models Dissertation

E.J. Spee (Edwin)

January 1998
A computational method for internal flows with mixed inlet-outlet ports, application to nozzle flows in melt-spinning processes In Proceedings

B. Koren (Barry) and D. Lanser (Debby)

January 1998
Sparse-grid solution of the steady Euler equations of gas dynamics In Proceedings

B. Koren (Barry), P.W. Hemker (Piet) and C.T.H. Everaars (Kees)

January 1998
Improving Euler computations at low Mach numbers Article

International Journal of Computational Fluid Dynamics, 51-70.

B. Koren (Barry)

January 1998
Analysis of approximate factorization in iteration methods In Proceedings

C. Eichler-Liebenow, P.J. van der Houwen (Piet) and B.P. Sommeijer (Ben)

January 1998
A two-phase algorithm for solving a class of hard satisfiability problems Article

Operations Research Letters, 24(3-5), 81-88.

J.P. Warners (Joost) and H. van Maaren

January 1998
Dynamic reasoning without variables Tech Report

D.J.N. van Eijck (Jan)

January 1998
Wavelet transform in similarity paradigm Tech Report

Z.R. Struzik and A.P.J.M. Siebes (Arno)

January 1998
Removing divergences in the negative moments of the multi-fractal parition function with the wavelet transformation Tech Report

Z.R. Struzik

January 1998
Manual of the TYPO type checker Tech Report

H. de Nivelle

January 1998
HPCN and air quality modeling Tech Report

J.G. Blom (Joke), W.M. Lioen (Walter) and J.G. Verwer (Jan)

January 1998
Recent problems from uniform asymptotic analysis of integral in particular in connection with Tricomi's $ Psi $ -function Tech Report

N.M. Temme (Nico)

January 1998
Uniqueness conditions in a hyperbolic model for oil recovery by steamdrive Tech Report

J. Bruining and C.J. van Duijn (Hans)

January 1998
Bisimilarity in term graph rewriting Tech Report

Z.M. Ariola (Zena), J.W. Klop (Jan Willem) and D. Plump

January 1998
On optimal pipeline processing in parallel query execution Tech Report

S. Manegold (Stefan), F. Waas (Florian) and M.L. Kersten (Martin)

January 1998
Tree visualisation and navigation clues for information visualisation Tech Report

I. Herman (Ivan), M. Delest and G. Melançon (Guy)

January 1998
New experimental results concerning the Goldbach conjecture Tech Report

J.-M. Deshouillers, H.J.J. te Riele (Herman) and Y. Saouter

January 1998
On the order of a graph and its deficiency in chordality Tech Report

M. Laurent (Monique)

January 1998
Sojourn time asymptotics in the M/G/1 processor sharing queue Tech Report

A.P. Zwart (Bert) and O.J. Boxma (Onno)

January 1998
A two phase algorithm for solving a class of hard satissfiability problems Tech Report

J.P. Warners (Joost) and H. van Maaren

January 1998
Analysis of operator splitting for advection-diffusion-reaction problems from air pollution modelling Tech Report

D. Lanser (Debby) and J.G. Verwer (Jan)

January 1998
Horizontal one-dimensional redistribution of oil and water with hysteresis due to oil entrapment Tech Report

M.I.J. van Dijke and S.E.A.T.M. van der Zee

January 1998
Restarting parallel Jacobi-Davidson with both standard and harmonic Ritz values Tech Report

M. Nool (Margreet) and A. van der Ploeg (Auke)

January 1998
Metrics for classifying heterogeneous objects Tech Report

M.A. Bezem, K. Blok and M. Keijzer

January 1998
Verification of temporal properties of processes in a setting with data Tech Report

J.F. Groote (Jan Friso) and R. Mateescu

January 1998
Rapid system understanding : two COBOL case studies Tech Report

A. van Deursen (Arie) and T. Kuipers (Tobias)

January 1998
Splitting methods for second-order initial value problems Tech Report

P.J. van der Houwen (Piet) and E. Messina

January 1998
Parallel Adams methods Tech Report

P.J. van der Houwen (Piet) and E. Messina

January 1998
Parallel methods for nonstiff VIDEs Tech Report

P.J. van der Houwen (Piet)

January 1998
Parallel Störmer-Cowell methods for high-precision orbit computations Tech Report

P.J. van der Houwen (Piet), E. Messina and J.J.B. de Swart (Jacques)

January 1998
Oscillatory Störmer-Cowell methods Tech Report

P.J. van der Houwen (Piet), E. Messina and B.P. Sommeijer (Ben)

January 1998
A vector valued Stefan problem from aluminium industry Tech Report

F.J. Vermolen and C. Vuik

January 1998
A feature database for multimedia objects Tech Report

M.L. Kersten (Martin), N.J. Nes (Niels) and M.A. Windhouwer (Menzo)

January 1998
Efficient enumeration of non-isomorphic processing trees Tech Report

F. Waas (Florian)

January 1998
Automata and coinduction (an exercise in coalgebra) Tech Report

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

January 1998
Undecidability and completeness results for process algebras with alternative with alternative quantification over data Tech Report

J.F. Groote (Jan Friso) and S.P. Luttik (Bas)

January 1998
The leap year problem Tech Report

A. van Deursen (Arie)

January 1998
Discrete time process algebra and the semantics of SDL Tech Report

J.A. Bergstra (Jan), C.A. Middelburg and Y.S. Usenko (Yaroslav)

January 1998
Heavy-traffic theory for the heavy-tailed M/G/1 queue and v-stable Lévy noise traffic Tech Report

J.W. Cohen

January 1998
Basic theorems for parallel processes in timed $ mu $ CRL Tech Report

J.F. Groote (Jan Friso) and J.J. van Wamel

January 1998
Note on PARNASSOS, a Navier-Stokes method for ship-stern flows Tech Report

B. Koren (Barry)

January 1998
On the structure of the space of product-form models Tech Report

N. Bayer and R.J. Boucherie (Richard)

January 1998
Density-based unsupervised classification for remote sensing Tech Report

C.H.M. van Kemenade (Cees), J.A. La Poutré (Han) and R.J. Mokken

January 1998
Waitfree distributed memory management by Create, and Read Until Deletion (CRUD) Tech Report

W.H. Hesselink (Wim) and J.F. Groote (Jan Friso)

January 1998
The v-stable Lévy motion in heavy-traffic analysis of queueing models with ::::heavy-tailed distributions Tech Report

J.W. Cohen

January 1998
Truth of duration calculus formulae in timed frames Tech Report

C.A. Middelburg

January 1998
Type inference for COBOL systems Tech Report

A. van Deursen (Arie) and L.M.F. Moonen (Leon)

January 1998
Exploiting cost distributions for query optimization Tech Report

F. Waas (Florian) and A.J. Pellenkoft (Jan)

January 1998
Alternative correction equations in the Jacobi-Davidson method Tech Report

M. Genseberger (Menno) and G.L.G. Sleijpen

January 1998
A free boundary problem involving a cusp : breakthrough of salt water Tech Report

H.W. Alt and C.J. van Duijn (Hans)

January 1998
A behavioral approach to singular systems Tech Report

V. Lomadze, M.S. Ravi, J. Rosenthal and J.M. Schumacher (Hans)

January 1998
Finding column depedencies in sparse matrices over $ F_ 2 $ by block Wiedemann Tech Report

O. Penninga

January 1998
Sojourn time in a processor sharing queue with service interruptions Tech Report

R. Núñez Queija (Rudesindo)

January 1998
Identifying objects using cluster and concept analysis Tech Report

A. van Deursen (Arie) and T. Kuipers (Tobias)

January 1998
Analysis of three hybrid systems in timed uCRL Tech Report

J.F. Groote (Jan Friso) and J.J. van Wamel

January 1998
A survey of computational steering environments Tech Report

J.D. Mulder (Jurriaan), J.J. van Wijk (Jack) and R. van Liere (Robert)

January 1998
Pixel masks for screen-door transparency Tech Report

J.D. Mulder (Jurriaan), F.C.A. Groen and J.J. van Wijk (Jack)

January 1998
Computational steering in the CAVE Tech Report

J.D. Mulder (Jurriaan), R. van Liere (Robert) and J.J. van Wijk (Jack)

January 1998
Remote object translation methods for immersive virtual environments Tech Report

J.D. Mulder (Jurriaan)

January 1998
A distributed blackboard architecture for interactive data visualization Tech Report

R. van Liere (Robert), J.A. Harkes and W.C. de Leeuw (Wim)

January 1998
Porting a visualization package from IRIX to NT : what will I get, what will I pay? Tech Report

R. van Liere (Robert), J.A. Harkes and J.H. Kniesmeijer

January 1998
Comparing LIC and spot noise Tech Report

W.C. de Leeuw (Wim) and R. van Liere (Robert)

January 1998
Spotting structure in complex time dependent flow Tech Report

W.C. de Leeuw (Wim) and R. van Liere (Robert)

January 1998
On the probabilistic complexity of numerically checking the binary Goldbachconjecture in certain intervals Tech Report

J.-M. Deshouillers and H.J.J. te Riele (Herman)

January 1998
Bisimulation for probabilistic transition systems : a coalgebraic approach Tech Report

E.P. de Vink (Erik) and J.J.M.M. Rutten (Jan)

January 1998
A note on coinduction and weak bisimilarity for while programs Tech Report

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

January 1998
Coordination of heterogeneous distributed cooperative constraint solving Tech Report

F. Arbab (Farhad) and E.B.G. Monfroy

January 1998
Formulas as programs Tech Report

K.R. Apt (Krzysztof) and M.A. Bezem

January 1998
Multiresolution signal decomposition schemes Tech Report

J. Goutsias (John) and H.J.A.M. Heijmans (Henk)

January 1998
Automatic phase detection in seismic data using the discrete wavelet transform Tech Report

P.J. Oonincx

January 1998
A mathematical model for the dissolution of particles in multi-component alloys Tech Report

F.J. Vermolen and C. Vuik

January 1998
A slicing-based approach for locating type errors Tech Report

T.B. Dinesh and F. Tip (Frank)

January 1998
A transition system semantics for the control-driven coordination language MANIFOLD Tech Report

M.M. Bonsangue (Marcello), F. Arbab (Farhad), J.W. de Bakker (Jaco), J.J.M.M. Rutten (Jan), A. Scutellà and G. Zavattaro (Gianluigi)

January 1998
Numerical time integration for air pollution models Tech Report

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

January 1998
Test set for initial value problem solvers Tech Report

W.M. Lioen (Walter) and J.J.B. de Swart (Jacques)

January 1998
On interpolation series related to the Abel-Goncharov problem, with applications to arithmetic-geometric mean relationship and Hellinger integrals Tech Report

K.O. Dzhaparidze (Kacha)

January 1998
On the absence of phase transition in the monomer-dimer model Tech Report

J. van den Berg (Rob)

January 1998
A multivariate central limit theorem for continuous local martingales Tech Report

J.H. van Zanten (Harry)

January 1998
Asymptotic density in a coalescing random walk model Tech Report

H. Kesten and J. van den Berg (Rob)

January 1998
On the existence and non-existence of finitary codings for a class of random fields Tech Report

J. van den Berg (Rob) and J.E. Steif

January 1998
ERMR: a generalised equivalent random method for overflow systems with repacking Tech Report

S.C. Borst (Sem), R.J. Boucherie (Richard) and O.J. Boxma (Onno)

January 1998
On a posterior information process for parametric families of experiments Tech Report

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

January 1998
On estimation of Poisson intensity functions Tech Report

R. Helmers (Roelof) and R. Zitikis

January 1998
Inference on rare errors using asymptotic expansions and bootstrap calibration Tech Report

R. Helmers (Roelof)

January 1998
Interpolation on sparse Gauss-Chebyshev grids in higher dimensions Tech Report

F. Sprengel

January 1998
Programming with dynamic predicate logic Tech Report

D.J.N. van Eijck (Jan)

January 1998
Incremental dynamics Tech Report

D.J.N. van Eijck (Jan)

January 1998
Axiomatising dynamic logics for anaphora Tech Report

D.J.N. van Eijck (Jan)

January 1998
Skeletal images as visual cues in graph visualization Tech Report

I. Herman (Ivan), M.S. Marshall (Scott), G. Melançon (Guy), D.J. Duke, M. Delest and J.-P. Domenger

January 1998
A new cluster algorithm for graphs Tech Report

S. van Dongen

January 1998
Priors on network structures : biasing the search for Bayesian networks Tech Report

J.R. Castelo (Robert) and A.P.J.M. Siebes (Arno)

January 1998

Previous

Next

Available Years