Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

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, 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 and A.P.J.M. Siebes (Arno)

January 1998
Circular drawings of rooted trees Tech Report

G. Melançon 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
Transmission function models of finite 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
Analysis of NK-xor landscapes Tech Report

C.H.M. van Kemenade (Cees)

January 1998
Running a job on a collection of dynamic machines, with on-lin restarts Tech Report

R. van Stee (Rob) and J.A. La Poutré (Han)

January 1998
STS : a structural theory of sets Tech Report

A. Baltag

January 1998
The effects of pair-wise and higher order correlations on the firing rate of a post-synaptic neuron Tech Report

S.M. Bohte (Sander), H. Spekreijse and P.R. Roelfsema (Pieter)

January 1998
An algebraic programming style for numerical software and its optimization Tech Report

T.B. Dinesh, M. Haveraaen and J. Heering (Jan)

January 1998
Computational sieving applied to some classical number-theoretic problems Tech Report

H.J.J. te Riele (Herman)

January 1998
Error analysis for function representation by the sparse-grid combination technique Tech Report

B. Lastdrager and B. Koren (Barry)

January 1998
Coordination models and languages Tech Report

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

January 1998
De opkomst van de informatietechnologie in Nederland : aangeboden door Centrum voor Wiskunde en Informatica Book

G. Alberts (Gerard), J. van den Ende and H. W. Lintsen

January 1998
Bibliotheek CWI gids = CWI Library guide Book

January 1998
Third international workshop on formal methods for industrial critical systems : held at CWI, Amsterdam, The Netherlands, 25-26.05.1998 Proceedings

January 1998
Annual report CWI 1997 : one-time publication on CD-ROM Other

January 1998
Nieuwjaarskaart 1998 = New years card 1998 Other

January 1998
Entropy methods for Martingales Dissertation

Y. Nishiyama (Yoichi)

January 1998
On a distributed clustering process of Coffman, Courtois, Gilbert and Piret Article

Journal of Applied Probability, 35(4), 919-924.

J. van den Berg (Rob) and Ermakov, A. (A.)

January 1998
Description Complexity and Applications Book

M. Li (Ming) and P.M.B. Vitányi (Paul)

January 1998
On Ryszard Syski Article

Journal of Applied Mathematics and Stochastic Analysis, 223-224.

J.W. Cohen

January 1998
Equational axioms of test algebra In Proceedings

M. Hollenberg (Marco)

January 1998
A tool for approximation in bivariate periodic Sobolev spaces In Proceedings

F. Sprengel

January 1998
Comparison of spectral and Hadamard bounds for $D$-optimality In Proceedings

C.W. Ko, J. Lee (Jon) and K. Wayne

January 1998
GRiNS: A GRaphical INterface for Creating and Playing SMIL Documents In Proceedings

D.C.A. Bulterman (Dick), L. Hardman (Lynda), A.J. Jansen (Jack), K.S. Mullender (Sjoerd) and L. Rutledge (Lloyd)

January 1998
Structural Distinctions Between Hypermedia Storage and Presentation In Proceedings

L. Rutledge (Lloyd), J.R. van Ossenbruggen (Jacco), L. Hardman (Lynda) and D.C.A. Bulterman (Dick)

January 1998
Information Technology — Computer Graphics and Image Processing — Presentation Environments for Multimedia Objects (PREMO), Part 3: Multimedia Systems Services, ISO/IEC 14478–3:1998 Standard

D.J. Duke, J. van Loo and I. Herman (Ivan)

January 1998
Information Technology — Computer Graphics and Image Processing — Presentation Environments for Multimedia Objects (PREMO), Part 4: Modelling, Rendering, and Interaction Component, ISO/IEC 14478–4:1998 Standard

D.J. Duke, T.W. Hewitt and I. Herman (Ivan)

January 1998
Information Technology — Computer Graphics and Image Processing — Presentation Environments for Multimedia Objects (PREMO), Part 2: Foundation Component, ISO/IEC 14478–2:1998 Standard

D.J. Duke and I. Herman (Ivan)

January 1998
Information Technology — Computer Graphics and Image Processing — Presentation Environments for Multimedia Objects (PREMO), Part 1: Fundamentals of PREMO Standard

D.J. Duke and I. Herman (Ivan)

January 1998
A note on stability of the Douglas splitting method Article

Mathematics of Computation, 67(221), 183-190.

W. Hundsdorfer (Willem)

January 1998
Trapezoidal and midpoint splittings for initial-boundary value problems Article

Mathematics of Computation, 67(223), 1047-1062.

W. Hundsdorfer (Willem)

January 1998
An algorithm for the retrieval of unifiers from discrimination trees In Proceedings

H. de Nivelle

January 1998
Counting $1$-factors in regular bipartite graphs Article

Journal of Combinatorial Theory - Series B, 72(1), 122-135.

A. Schrijver (Lex)

January 1998
Self-stabilizing ring orientation using constant space Article

Information and Computation, 144(1), 18-39.

J.H. Hoepman (Jaap-Henk)

January 1998
Analytical methods for a selection of elliptic singular perturbation problems In Proceedings

N.M. Temme (Nico)

January 1998
Analysis of the asymmetrical shortest two-server queueing model Article

Journal of Applied Mathematics and Stochastic Analysis, 11(2), 115-162.

J.W. Cohen

January 1998

Previous

Next

Available Years