Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

Using coordination to restructure sequential source code into a concurrent program In Proceedings

C.T.H. Everaars (Kees), F. Arbab (Farhad) and B. Koren (Barry)

January 2001
Computation of compressible, immiscible water-air flows under the action of gravity In Proceedings

B. Koren (Barry) and M.R. Lewis (Mervyn)

January 2001
A Godunov-type scheme for capturing water waves In Proceedings

E.H. van Brummelen (Harald) and B. Koren (Barry)

January 2001
Numerical solution of steady free-surface Navier-Stokes flow In Proceedings

E.H. van Brummelen (Harald), B. Koren (Barry) and H.C. Raven

January 2001
A parallel nearly implicit time-stepping scheme Article

Journal of Computational and Applied Mathematics, 137(2), 229-243.

M.A. Botchev and H.A. van der Vorst (Henk)

January 2001
The application of rhetorical structure theory to interactive news program generation from digital archives Tech Report

C.A. Lindley, J.R. Davis (James), F.-M. Nack (Frank) and L. Rutledge (Lloyd)

January 2001
High-order time-accurate schemes for parabolic singular perturbation problems with convection Tech Report

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

January 2001
A particle-mesh method for the shallow water equations near geostrophic balance Tech Report

J.E. Frank (Jason) and S. Reich

January 2001
Distributing requirements specifications on basic splice Tech Report

S.-M. Orzan (Simona-Mihaela)

January 2001
A compact file format for labeled transition systems Tech Report

I.A. van Langevelde

January 2001
Lower bounds for on-line single-machine scheduling Tech Report

L. Epstein (Lea) and R. van Stee (Rob)

January 2001
On the fractal beauty of bin packing Tech Report

L. Epstein (Lea), S. Seiden and R. van Stee (Rob)

January 2001
Adaptive lifting schemes with perfect reconstruction Tech Report

H.J.A.M. Heijmans (Henk) and G. Piella (Gema)

January 2001
Inf-semilattice approach to self-dual morphology Tech Report

H.J.A.M. Heijmans (Henk) and R. Keshet

January 2001
Statistical properties of a kernel type estimator of the intensity function of a cyclic poisson process Tech Report

R. Helmers (Roelof), I.W. Mangku (Wayan) and R. Zitikis

January 2001
Dynamic rate control algorithms for HDR throughput optimization Tech Report

S.C. Borst (Sem) and P.A. Whiting

January 2001
Oversampling the Haar wavelet transform Tech Report

Z.R. Struzik

January 2001
The XML benchmark project Tech Report

A.R. Schmidt, F. Waas (Florian), M.L. Kersten (Martin), D. Florescu and M.J. Carey

January 2001
Known-item retrieval on broadcast TV Tech Report

J.A. List (Johan), A.R. van Ballegooij (Alex) and A.P. de Vries (Arjen)

January 2001
Efficient numerical solution of steady free-surface Navier-Stokes flow Tech Report

E.H. van Brummelen (Harald), H.C. Raven and B. Koren (Barry)

January 2001
A model problem for unsaturated porous media flow with dynamic capillary pressure Tech Report

C.M. Cuesta Romero (Carlota) and J. Hulshof

January 2001
Just-in-time : on strategy annotations Tech Report

J.C. van de Pol (Jaco)

January 2001
A prover for the $ mu $ CRL toolset with applications : version 0.1 Tech Report

J.C. van de Pol (Jaco)

January 2001
Equivalence of recursive specifications in process algebra Tech Report

A.J. van der Poorten (Alf) and Y.S. Usenko (Yaroslav)

January 2001
Converting the reset Tech Report

J.K. Hoogland (Jiri), C.D.D. Neumann and D. Bloch

January 2001
Visitor combination and traversal control Tech Report

J.M.W. Visser (Joost)

January 2001
Program comprehension risks and opportunities in extreme programming Tech Report

A. van Deursen (Arie)

January 2001
Hypermedia and the semantic web: a research agenda Tech Report

J.R. van Ossenbruggen (Jacco), L. Hardman (Lynda) and L. Rutledge (Lloyd)

January 2001
Network quality of service for multimedia presentation generation systems Tech Report

F.J. Cornelissen

January 2001
Application-specific constraints for multimedia presentation generation Tech Report

J.P.T.M. Geurts (Joost), J.R. van Ossenbruggen (Jacco) and L. Hardman (Lynda)

January 2001
The role of high-level and low-level features in semi-automated retrieval and generation of multimedia presentations Tech Report

F.-M. Nack (Frank), M.A. Windhouwer (Menzo), E.J.E.M. Pauwels (Eric), M.W.J.H. Huijberts (Michèle) and L. Hardman (Lynda)

January 2001
How do sinking phytoplankton species manage to persist? Tech Report

J. Huisman, M. Arrayás, U. Ebert (Ute) and B.P. Sommeijer (Ben)

January 2001
On the size of solutions of the inequality ø(ax+b)<ø(ax) Tech Report

H.J.J. te Riele (Herman)

January 2001
Factorizations of Cunningham numbers with bases 13 to 99: millenium edition Tech Report

R.P. Brent, P.L. Montgomery and H.J.J. te Riele (Herman)

January 2001
Critical conditions for phytoplankton blooms Article

U. Ebert (Ute), M. Arrayás, N.M. Temme (Nico), B.P. Sommeijer (Ben) and J. Huisman

January 2001
The diffusion coefficient of propagating fronts with multiplicative noise Tech Report

A. Rocco (Andrea), J. Casademunt, U. Ebert (Ute) and W. van Saarloos

January 2001
Superfast fronts of impact ionization in initially unbiased layered semiconductor structures Tech Report

P.B. Rodin, U. Ebert (Ute), W. Hundsdorfer (Willem) and I.V. Grekhov

January 2001
Analysis of a distributed system for lifting trucks Tech Report

J.F. Groote (Jan Friso), J. Pang (Jun) and A.G. Wouters

January 2001
Grammars as contracts Tech Report

M. de Jonge (Merijn), E. Visser (Eelco) and J.M.W. Visser (Joost)

January 2001
Collaborative software development Tech Report

M. de Jonge (Merijn), E. Visser (Eelco) and J.M.W. Visser (Joost)

January 2001
XT: a bundle of program transformation tools : system description Tech Report

M. de Jonge (Merijn), E. Visser (Eelco) and J.M.W. Visser (Joost)

January 2001
A pretty-printer for every occasion Tech Report

M. de Jonge (Merijn)

January 2001
Cost-effective maintenance tools for proprietary languages Tech Report

M. de Jonge (Merijn) and R. Monajemi (Ramin)

January 2001
Computer assisted manipulation of algebraic process specifications Tech Report

J.F. Groote (Jan Friso) and B. Lisser (Bert)

January 2001
Generating robust parsers using island grammars Tech Report

L.M.F. Moonen (Leon)

January 2001
Refactoring test code Tech Report

A. van Deursen (Arie), L.M.F. Moonen (Leon), A. van den Bergh (Alex) and G. Kok (Gerard)

January 2001
Term rewriting with traversal functions Tech Report

M.G.J. van den Brand (Mark), P. Klint (Paul) and J.J. Vinju (Jurgen)

January 2001
Generalized Pickands constants Tech Report

K.G. Dȩbicki (Krzysztof)

January 2001
Generalized processor sharing queues with heterogenous traffic classes Tech Report

S.C. Borst (Sem), M.R.H. Mandjes (Michel) and M.J.G. van Uitert (Miranda)

January 2001
Two coupled queues with heterogeneous traffic Tech Report

S.C. Borst (Sem), O.J. Boxma (Onno) and M.J.G. van Uitert (Miranda)

January 2001
A comparison of the Sherali-Adams, Lovász-Schrijver and Lasserre relaxations for 0-1 programming Tech Report

M. Laurent (Monique)

January 2001
Global minimization of a multivariate polynomial using matrix methods Tech Report

B. Hanzon (Bernard) and D. Jibetean (Dorina)

January 2001
A note on inverses of non-decreasing Lévy processes Tech Report

J.A. Ferreira

January 2001
Independent multiresolution component analysis and matching pursuit Tech Report

E. Capobianco (Enrico)

January 2001
Discrete wavelet transforms over finite sets which are translation invariant Tech Report

L. Kamstra

January 2001
Juggling polynomials Tech Report

L. Kamstra

January 2001
Stochastic decomposition and approximation of stock index return volatility Tech Report

E. Capobianco (Enrico)

January 2001
Efficient image retrieval by exploiting vertical fragmentation Tech Report

A.P. de Vries (Arjen), N. Mamoulis (Nikos), N.J. Nes (Niels) and M.L. Kersten (Martin)

January 2001
Evaluation of the modified Bessel function of the third kind of imaginary orders Tech Report

A. Gil (Amparo), J. Segura (Javier) and N.M. Temme (Nico)

January 2001
Symbolic evaluation of coefficients in Airy-type asymptotic expansions Tech Report

R. Vidunas and N.M. Temme (Nico)

January 2001
A comparison of operator splitting and approximate matrix factorization for the shallow water equations in spherical geometry Tech Report

D. Lanser (Debby)

January 2001
Conservation properties of smoothed particle hydrodynamics applied to the shallow water equations Tech Report

J.E. Frank (Jason) and S. Reich

January 2001
Riemann-problem and level-set approaches for two-fluid flow computations I. Linearized Godunov scheme Tech Report

B. Koren (Barry), M.R. Lewis (Mervyn), E.H. van Brummelen (Harald) and B. van Leer

January 2001
Disambiguation filters for scannerless generalized LR parsers Tech Report

M.G.J. van den Brand (Mark), J. Scheerder, J.J. Vinju (Jurgen) and E. Visser (Eelco)

January 2001
Typed combinators for generic traversal Tech Report

R. Lämmel (Ralf) and J. Vonk

January 2001
Partial $\tau$-confluence for efficient state space generation Tech Report

S.C.C. Blom (Stefan)

January 2001
Elements of stream calculus : an extensive exercise in coinduction Tech Report

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

January 2001
Typed generic traversals in $S_gamma^'$ Tech Report

R. Lämmel (Ralf)

January 2001
Analysis of two competing TCP/IP connections Tech Report

E. Altman, T. Jiménez and R. Núñez Queija (Rudesindo)

January 2001
Note on randomized filtered experiments in presence of nuisance parameters Tech Report

K.O. Dzhaparidze (Kacha)

January 2001
Global optimization of rational multivariate functions Tech Report

D. Jibetean (Dorina)

January 2001
Modelling and control of cell reaction networks Tech Report

S. Jha (Siddhartha) and J.H. van Schuppen (Jan)

January 2001
Extrapolating and interpolating spatial patterns Tech Report

M.N.M. van Lieshout (Marie-Colette) and A.J. Baddeley (Adrian)

January 2001
The Candy model revisited: Markov properties and inference Tech Report

M.N.M. van Lieshout (Marie-Colette) and R.S. Stoica

January 2001
Cumulative effective Hölder exponent based indicator for real time fetal heartbeat analysis during labour Tech Report

Z.R. Struzik and W.J. van Wijngaarden

January 2001
Flexible and scalable digital library search Tech Report

M.A. Windhouwer (Menzo), A.R. Schmidt, R. van Zwol, M. Petkovic and H.E. Blok (Henk Ernst)

January 2001
Computing complex Airy functions by numerical quadrature Tech Report

A. Gil (Amparo), J. Segura (Javier) and N.M. Temme (Nico)

January 2001
On the convergence analysis of advection-diffusion schemes on non-uniform grids Tech Report

W. Hundsdorfer (Willem) and J.G. Verwer (Jan)

January 2001
Spontaneous branching of anode-directed streamers between planar electrodes Tech Report

M. Arrayás, U. Ebert (Ute) and W. Hundsdorfer (Willem)

January 2001
Tunneling-assisted impact ionization fronts in semiconductors Tech Report

P.B. Rodin, U. Ebert (Ute), W. Hundsdorfer (Willem) and I.V. Grekhov

January 2001
Domain-specific language design requires feature descriptions Tech Report

A. van Deursen (Arie) and P. Klint (Paul)

January 2001
A channel-based coordination model for components Tech Report

F. Arbab (Farhad), F.S. de Boer (Frank), M.M. Bonsangue (Marcello) and J.V. Guillen Scholten (Juan)

January 2001
MoCha : a framework for coordination using mobile channels Tech Report

F. Arbab (Farhad), F.S. de Boer (Frank), M.M. Bonsangue (Marcello) and J.V. Guillen Scholten (Juan)

January 2001
Coinductive counting : bisimulation in enumerative combinatorics Tech Report

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

January 2001
Randomly coalescing random walk in dimension $ geq $ 3 Tech Report

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

January 2001
Task allocation in a multi-server system Tech Report

S.C. Borst (Sem), O.J. Boxma (Onno), J.F. Groote (Jan Friso) and S. Mauw (Sjouke)

January 2001
A frequency domain approach to some results on fractional Brownian motion Tech Report

K.O. Dzhaparidze (Kacha) and J.A. Ferreira

January 2001
Global existence conditions for a non-local problem arising in statistical mechanics Tech Report

C.J. van Duijn (Hans), I.A. Guerra (Ignacio Antonio) and M.A. Peletier (Mark)

January 2001
Numerical methods for decomposition of 2D signals by rotation and wavelet techniques Tech Report

P.M. de Zeeuw (Paul) and R.A. Zuidwijk

January 2001
Information processes in filtered experiments Tech Report

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

January 2001
New bounds for multi-dimensional packing Tech Report

S. Seiden and R. van Stee (Rob)

January 2001
Minimizing the maximum starting time on-line Tech Report

L. Epstein (Lea) and R. van Stee (Rob)

January 2001
Manual for the $ mu CRL $ tool set (version 2.8.2) Tech Report

A.G. Wouters

January 2001
Competitive market-based allocation of consumer attention space Tech Report

S.M. Bohte (Sander), E.H. Gerding (Enrico) and J.A. La Poutré (Han)

January 2001
WTCW - Wetenschap en Technologie Centrum Watergraafsmeer : Wat? Wie? Booklet

January 2001
Reflectionless analytic difference operators $(ADelta Om s)$: examples, open questions and conjectures In Proceedings

S.N.M. Ruijsenaars (Simon)

January 2001
Note on the $GI/GI/1$ queue with LCFS-PR observed at arbitrary times Article

Probability in the Engineering and Informational Sciences, 15(2), 179-187.

R. Núñez Queija (Rudesindo)

January 2001
XHTML Article

Informatie, 20-22.

S. Pemberton (Steven)

January 2001
The Askey scheme for hypergeometric orthogonal polynomials viewed from asymptotic analysis In Proceedings

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

January 2001
Between mathematical programming and systems theory: linear complementarity systems Book Chapter

J.M. Schumacher (Hans)

January 2001

Previous

Next

Available Years