Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

Eighth MPS Conference On Integer Programming And Combinatorial Optimization Proceedings

June 2001
Repurposing Broadcast Content for the Web Tech Report

D.C.A. Bulterman (Dick)

June 2001
Eighth MPS Conference on Integer Programming and Combinatorial Optimization Proceedings

June 2001
Wavelet Methods in (Financial) Time-series Processing Article

Physica A: Statistical Mechanics and its Applications, 296(1-2), 307-319.

Z.R. Struzik

June 2001
Finding elliptic Fekete points sets: two numerical solution approaches Article

Journal of Computational and Applied Mathematics, 130(1-2), 205-216.

W.J.H. Stortelder (Walter), J.J.B. de Swart (Jacques) and J.D. Pintér

May 2001
On Bernstein-type inequalities for martingales Article

Stochastic Processes and their Applications, 93(1), 109-117.

K.O. Dzhaparidze (Kacha) and J.H. van Zanten (Harry)

May 2001
Linearization in parallel pCRL Article

Journal of Logic and Algebraic Programming, 48(2), 39-70.

J.F. Groote (Jan Friso), A. Ponse (Alban) and Y.S. Usenko (Yaroslav)

May 2001
XHTML™ 1.1 - Module-based XHTML Standard

M Altheim, S. McCarron (Shane) and S. Pemberton (Steven)

May 2001
Towards Second and Third Generation Web-Based Multimedia Book Chapter

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

May 2001
Processing Structured Hypermedia : A Matter of Style Dissertation

Information Systems

J.R. van Ossenbruggen (Jacco)

April 2001
Aafs afscheidscafé : uitnodiging afscheid Aaf van den Berg, 06.04.2001 Other

April 2001
Modularization of XHTML™ Standard

M Altheim, S. Pemberton (Steven) and not CWI et al

April 2001
Giving eyes to ICT!, or How does a computer recognize a cow? Dissertation

B.A.M. Schouten (Ben)

March 2001
Studies in Interactive Visualization Dissertation

Software Engineering

R. van Liere (Robert)

March 2001
Term graph rewriting : syntax and semantics Dissertation

Specification and Analysis of Embedded Systems

S.C.C. Blom (Stefan)

March 2001
Approximate factorization for time-dependent partial differential equations Article

Journal of Computational and Applied Mathematics, 12(1-2), 447-466.

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

March 2001
Analysis of three hybrid systems in timed mu CRL Article

Science of Computer Programming, 39(2-3), 215-247.

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

March 2001
Revealing Local Variability Properties of Human Heartbeat Intervals with the Local Effective Hölder Exponent Article

Fractals: Complex Geometry, Patterns, and Scaling in Nature and Society, 9(1), 77-93.

Z.R. Struzik

March 2001
Marked PCP is decidable Article

Theoretical Computer Science, 255(1-2), 193-204.

V. Halava, M. Hirvensalo and R.M. de Wolf (Ronald)

March 2001
Revealing Local Variablity Properties of Human Heartbeat Intervals with the Local Effective Hölder Exponent Article

Fractals, 9(1), 77-93.

Z.R. Struzik

March 2001
A queueing model with dependence between service and interarrival times Article

European Journal of Operational Research, 128(3), 611-624.

O.J. Boxma (Onno) and D. Perry

February 2001
Factorization in block-triangularly implicit methods for shallow water applications Article

Applied Numerical Mathematics, 36(2-3), 113-128.

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

February 2001
Tighter linear and semidefinite relaxations for max-cut based on the Lovász-Schrijver lift-and-project procedure Article

SIAM Journal on Optimization, 345-375.

M. Laurent (Monique)

February 2001
Estimating the intensity of a cyclic Poisson process Dissertation

I.W. Mangku (Wayan)

January 2001
Uitnodiging 25 jarig CWI jubileum van Margreet Nool, 19.01.2001 Other

January 2001
Riemann-problem and level-set approaches for two-fluid flow computations II. Fixes for solution errors near interfaces. Tech Report

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

January 2001
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

Previous

Next

Available Years