Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

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
Circular drawings of rooted trees Tech Report

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

January 1998
Some error estimates for periodic interpolation of functions from Besov spaces Tech Report

W. Sickel and F. Sprengel

January 1998
Disturbance decoupling and robustness of stability Tech Report

U. Baser, M.K.K. Cevik and J.M. Schumacher (Hans)

January 1998
Uniform approximations of Bernoulli and Euler polynomials in terms of hyperbolic functions Tech Report

J.L. López and N.M. Temme (Nico)

January 1998
A Godunov-type scheme with applications in hydrodynamics Tech Report

E.H. van Brummelen (Harald)

January 1998
A note on operator splitting in a stiff linear case Tech Report

J.G. Verwer (Jan) and B. Sportisse

January 1998
Partially implicit BDF2 blends for convection dominated flows Tech Report

W. Hundsdorfer (Willem)

January 1998
Specification of PSIDE Tech Report

J.J.B. de Swart (Jacques), W.M. Lioen (Walter) and W.A. van der Veen (Wolter)

January 1998
PSIDE users' guide Tech Report

W.M. Lioen (Walter), J.J.B. de Swart (Jacques) and W.A. van der Veen (Wolter)

January 1998
Approximate factorization in shallow water applications Tech Report

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

January 1998
A complete axiomatisation of branching bisimulation for process algebras with alternative quantification over data Tech Report

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

January 1998
The tree identify protocol of IEEE 1394 in uCRL Tech Report

C. Shankland and M.B. van der Zwaag

January 1998
Coordination of a parallel proposition solver Tech Report

C.T.H. Everaars (Kees) and B. Lisser (Bert)

January 1998
Coordination of a heterogeneous coastal hydrodynamics application in manifold Tech Report

C.L. Blom (Kees), F. Arbab (Farhad), S. Hummel and I.J.P. Elshoff

January 1998
Agent-based simulation of animal behaviour Tech Report

C.M. Jonker (Catholijn) and J. Treur

January 1998
Deliberate evolution in multi-agent systems Tech Report

F.M.T. Brazier, C.M. Jonker (Catholijn), J. Treur and N.J.E. Wijngaards

January 1998
Building block filtering and mixing Tech Report

C.H.M. van Kemenade (Cees)

January 1998
Transmission function models of infinite population genetic algorithms Tech Report

C.H.M. van Kemenade (Cees), J.N. Kok (Joost), J.A. La Poutré (Han) and D. Thierens (Dirk)

January 1998

Previous

Next

Available Years