Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

The adaptiveness of defence strategies against cuckoo parasitism Tech Report

R. Planqué (Robert), N.F. Britton, N.R. Franks and M.A. Peletier (Mark)

January 2002
Parabolic cyclinder functions : examples of error bounds for asymptotic expansions Tech Report

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

January 2002
Updating probabilities Tech Report

P.D. Grünwald (Peter) and J.Y. Halpern

January 2002
Taming surprises Tech Report

Z.R. Struzik

January 2002
Saddlepoint approximations to the trimmed mean Tech Report

R. Helmers (Roelof), B.-Y. Jing, G. Qin and W. Zhou

January 2002
Control of spatially heterogeneous and time-varying cellular reaction networks: a new summation law Tech Report

M.A. Peletier (Mark), H.V. Westerhoff (Hans) and B.N. Kholodenko

January 2002
Fourier two-level analysis for higher dimensional discontinuous Galerkin discretisation Tech Report

P.W. Hemker (Piet) and M.H. van Raalte (Marc)

January 2002
Traffic with an FBM limit: convergence of the workload process Tech Report

K.G. Dȩbicki (Krzysztof) and M.R.H. Mandjes (Michel)

January 2002
Sample-path large deviations for tandem and priority queues with Gaussian inputs Tech Report

M.R.H. Mandjes (Michel) and M.J.G. van Uitert (Miranda)

January 2002
The importance of being cigar-shaped Tech Report

J.G. Blom (Joke) and M.A. Peletier (Mark)

January 2002
A continuum model of lipid bilayers Tech Report

J.G. Blom (Joke) and M.A. Peletier (Mark)

January 2002
On the structure of Gaussian pricing models and Gaussian Markov functional models Tech Report

C.D.D. Neumann

January 2002
Bidding with decommitment in a multi-agent transportation model Tech Report

P.J. 't Hoen (Pieter Jan), D.D.B. van Bragt and J.A. La Poutré (Han)

January 2002
GSOS for probabilistic transition systems Tech Report

F. Bartels (Falk)

January 2002
Coinductive counting with weighted automata Tech Report

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

January 2002
Coalgebraic modal logic of finite rank Tech Report

A. Kurz (Alexander) and D. Pattinson

January 2002
Observational logic, constructor-based logic, and their duality Tech Report

M. Bidoit, R. Hennicker and A. Kurz (Alexander)

January 2002
Lifting infinite normal form definitions from term rewriting to term graph rewriting Tech Report

S.C.C. Blom (Stefan)

January 2002
A new coalgebraic semantics for positive modal logic Tech Report

A. Palmigiano

January 2002
Cones and foci for protocol verification revisited Tech Report

W.J. Fokkink (Wan) and J. Pang (Jun)

January 2002
A coordination-based framework for distributed constraint solving Tech Report

P. Zoeteweij (Peter)

January 2002
Two solutions to incorporate zero, successor and equality in binary decision diagrams Tech Report

B. Badban (Bahareh) and J.C. van de Pol (Jaco)

January 2002
Computing special functions by using quadrature rules Tech Report

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

January 2002
Rare enemies and rare friends: adaptations that make other adaptations maladaptive Tech Report

R. Planqué (Robert), N.R. Franks and N.F. Britton

January 2002
Efficient computation of steady, 3D water-wave patterns, application to hovercraft-type flows Tech Report

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

January 2002
The lowest crossing in 2D critical percolation Tech Report

J. van den Berg (Rob) and A.A. Járai (Antal)

January 2002
User-level performance of channel-aware scheduling algorithms in wireless data networks Tech Report

S.C. Borst (Sem)

January 2002
A toolbox for the lifting scheme on quincunx grids (LISQ) Tech Report

P.M. de Zeeuw (Paul)

January 2002
Improved capturing of contact discontinuities for two-fluid flows Tech Report

G.F. Duivesteijn

January 2002
Closing open SDL-systems for model checking with DTSpin Tech Report

N. Ioustinova (Natalia), N. Sidorova and M. Steffen

January 2002
Abstraction and flow analysis for model checking open asynchronous systems Tech Report

N. Ioustinova (Natalia), N. Sidorova and M. Steffen

January 2002
State space generation for the HAVi leader election protocol Article

Science of Computer Programming, 43(1), 1-33.

Y.S. Usenko (Yaroslav)

January 2002
Nieuwjaarskaart 2002 : versie 2 Other

January 2002
Nieuwjaarskaart 2002 : versie 1 Other

January 2002
Nieuwjaarsboekenlegger 2002 Other

January 2002
Mondriaan Software

D.M. Pelt (Daniël)

January 2002
Special functions Book Chapter

N.M. Temme (Nico) and A.I. Zayed (Ahmed)

January 2002
Corrigenda and addition to \computer verification of the Ankeny-Artin-Chowla conjecture for all primes less than 100 000 000 000" Article

Mathematics of Computation, 72(241), 521-523.

A.J. van der Poorten (Alf), H.J.J. te Riele (Herman) and H.C. Williams

January 2002
Multiresolution approximation for volatility processes Article

Quantitative Finance, 2(2), 91-110.

E. Capobianco (Enrico)

January 2002
CWI at the TREC-2002 video track In Proceedings

T.H.W. Westerveld (Thijs), A.P. de Vries (Arjen) and A.R. van Ballegooij (Alex)

January 2002
A logic for suspicious players: epistemic actions and belief-updates in games. Logic and the foundations of the theory of games and decisions Article

Bulletin of Economic Research, 54(1), 1-45.

A. Baltag

January 2002
Tracking Non-Parameterized Object Contours in Video Article

IEEE Transactions on Image Processing, 11(9), 1081-1091.

H.T. Nguyen (Hieu), M. Worring (Marcel), R. van den Boomgaard and A.W.M. Smeulders (Arnold)

January 2002
The Kubelka-Munk Theory for Color Image Invariant Properties In Proceedings

J.M. Geusebroek (Jan-Mark), T. Gevers and A.W.M. Smeulders (Arnold)

January 2002
Template Tracking Using Color Invariant Pixel Features In Proceedings

H.T. Nguyen (Hieu) and A.W.M. Smeulders (Arnold)

January 2002
Necklaces: Inhomogeneous and Point-Enhanced Deformable Models Article

Computer Vision and Image Understanding, 86(2), 96-117.

S. Ghebreab, P. Pfluger and A.W.M. Smeulders (Arnold)

January 2002
Interactive Indexing and Retrieval of Multimedia Content In Proceedings

M. Worring (Marcel), A. Bagdanov, J.C. van Gemert, J.M. Geusebroek (Jan-Mark), H.A. Ming, A.T. Schreiber, C. Snoek, J. Vendrig, J. Wielemaker (Jan) and A.W.M. Smeulders (Arnold)

January 2002
Fast Anisotropic Gauss Filtering In Proceedings

J.M. Geusebroek (Jan-Mark), A.W.M. Smeulders (Arnold) and J. van de Weijer

January 2002
Face Detection by Aggregated Bayesian Networks Article

Pattern Recognition Letters, 23(4), 451-461.

T.V. Pham, M. Worring (Marcel) and A.W.M. Smeulders (Arnold)

January 2002
Efficient Applications in User Transparent Parallel Image Processing In Proceedings

F.J. Seinstra, D.C. Koelma, J.M. Geusebroek (Jan-Mark), N.F. Verster and A.W.M. Smeulders (Arnold)

January 2002
Data Groundtruth Complexity and Evaluation Measures for Color Document Analysis In Proceedings

L. Todoran, M. Worring (Marcel) and A.W.M. Smeulders (Arnold)

January 2002
An Integrated Multimedia Approach to Cultural Heritage E-Documents In Proceedings

A.W.M. Smeulders (Arnold), L. Hardman (Lynda), G. Schreiber (Guus) and J.M. Geusebroek (Jan-Mark)

January 2002
A Physical Explanation for Natural Image Statistics In Proceedings

J.M. Geusebroek (Jan-Mark) and A.W.M. Smeulders (Arnold)

January 2002
A Physical Basis for Color Constancy In Proceedings

J.M. Geusebroek (Jan-Mark), R. van den Boomgaard, A.W.M. Smeulders (Arnold) and T. Gevers

January 2002
Liber amicorum Jaco de Bakker Miscellaneous

January 2002
Numerical time integration for air pollution models Article

Surveys on Mathematics for Industry, 107-174.

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

January 2002
HyloTab: theorem prover for hybrid logic Software

D.J.N. van Eijck (Jan)

January 2002
Virtual Reality in Biological Microscopic Imaging In Proceedings

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

January 2002
The personal space station: Bringing interaction within reach In Proceedings

J.C. Mulder and R. van Liere (Robert)

January 2002
BM3D: motion estimation in time dependent volume data} In Proceedings

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

January 2002
SMIL 2.0: Examples and Comparisons Article

IEEE MultiMedia, 9(1), 68-79.

D.C.A. Bulterman (Dick)

January 2002
Image databases, scale and fractal transforms In Proceedings

B.A.M. Schouten (Ben) and P.M. de Zeeuw (Paul)

January 2002
Probabilistic extensions of semantical models Dissertation

J. I. den Hartog (Jeremy)

January 2002
Randomly coalescing random walks in dimension $d \ge 3$ Book Chapter

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

January 2002
State Space Reduction by Proving Confluence In Proceedings

S.C.C. Blom (Stefan) and J.C. van de Pol (Jaco)

January 2002
JITty: a Rewriter with Strategy Annotations In Proceedings

J.C. van de Pol (Jaco)

January 2002
Refinement and Verification Applied to an In-flight Data Acquisitation Unit In Proceedings

W.J. Fokkink (Wan), N. Ioustinova (Natalia), E. Kesseler, J.C. van de Pol (Jaco), Y.S. Usenko (Yaroslav) and Y. Yushtein (Yuri)

January 2002
Moa: extensibility and efficiency in querying nested data Tech Report

M. van Keulen, J. Vonk, A.P. de Vries (Arjen), J. Flokstra and H.E. Blok (Henk Ernst)

January 2002
The TREC2001 video track: information retrieval on digital video information In Proceedings

A.F. Smeaton, P. Over, C.J. Costello (Craig), A.P. de Vries (Arjen), D. Doermann, A. Hauptmann (Andreas), M.E. Rorvig, J.R. Smith (John) and L. Wu

January 2002
XML-IR: coverage as a part of relevance In Proceedings

J.A. List (Johan) and A.P. de Vries (Arjen)

January 2002
Diaglogue mediated information retrieval, automatic keyphrase assignment and identification clouds In Proceedings

M. Hazewinkel (Michiel)

January 2002
Symmetric functions, noncommutative symmetric functions, and quasisymmetric functions In Proceedings

M. Hazewinkel (Michiel)

January 2002
CWI at the TREC-2002 video track In Proceedings

T.H.W. Westerveld (Thijs), A.P. de Vries (Arjen) and A.R. van Ballegooij (Alex)

January 2002
Grid approximation of a singularly perturbed boundary value problem modelling heat transfer in the case of flow over a flat plate with suction of the boundary layer In Proceedings

J.J.H. Miller (John), G.I. Shishkin (Gregori), B. Koren (Barry) and L.P. Shishkina

January 2002
Models of network access using feedback fluid queues Tech Report

M.R.H. Mandjes (Michel), D. Mitra and W.R.W. Scheinhardt (Werner)

January 2002
Co-evolving automata negotiate with a variety of opponents Tech Report

D.D.B. van Bragt and J.A. La Poutré (Han)

January 2002
Chabauty methods and covering techniques applied to generalized Fermat equations Book

N.R. Bruin

January 2002
Proceedings of the fourty-second European Study Group with industry : Amsterdam, The Netherlands, 18-22.02.2002 Book

G. Hek (Geertje)

January 2002
Vakantiecursus [Centrum voor Wiskunde en Informatica] 2002 : Wiskunde en gezondheid Book

January 2002
Zooming in on #D magnetized plasmas with grid-adaptive simulations In Proceedings

R. Keppens (Rony), M. Nool (Margreet) and J.P. Goedbloed

January 2002
Parallel Implementation of a Least-Squares Spectral Element Solver for Incomressible Flow Problems In Proceedings

M. Nool (Margreet) and M.M.J. Proot

January 2002
Reply on comment by A.A. Kulikovsky on "Spontaneous branching of anode-directed streamers between planar electrodes" Phys. Rev. Lett. 88 Article

Physical Review Letters

U. Ebert (Ute) and W. Hundsdorfer (Willem)

January 2002
A Simple Model for Spark Branching Article

ERCIM News, 53-53.

U. Ebert (Ute)

January 2002
Algebraic Convergence of Pulled Fronts Article

ERCIM News, 43-43.

U. Ebert (Ute)

January 2002
Positive and negative pulsed corona in argon In Proceedings

E.M. van Veldhuizen, W.R. Rutgers and U. Ebert (Ute)

January 2002
Branching of streamer type corona discharge In Proceedings

E.M. van Veldhuizen, W.R. Rutgers and U. Ebert (Ute)

January 2002
A mechanism for streamer branching In Proceedings

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

January 2002
How do sinking phytoplankton species manage to persist? Article

The American Naturalist, 159(3), 245-254.

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

January 2002
Superfast fronts of impact ionization in initially unbiased layered semiconductor structures Article

Journal of Applied Physics, 1971-1980.

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

January 2002
Tunneling-assisted impact ionization fronts in semiconductors Article

Journal of Applied Physics, 958-964.

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

January 2002
Transition from Townsend to glow discharge: subcritical, mixed or supercritical characteristics Article

Physical Review E: Statistical, Nonlinear, and Soft Matter Physics

D.D. Šijačić (Danijela) and U. Ebert (Ute)

January 2002
Branching of negative streamers in free flight Article

Physical Review E: Statistical, Nonlinear, and Soft Matter Physics

A. Rocco (Andrea), U. Ebert (Ute) and W. Hundsdorfer (Willem)

January 2002
The coherent scattering function in the reptation model: analysis beyond asymptotic limits Article

Physical Review E: Statistical, Nonlinear, and Soft Matter Physics

L. Schäfer, U. Ebert (Ute) and A. Baumgärtner

January 2002
Spontaneous branching of anode-directed streamers between planar electrodes Article

Physical Review Letters

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

January 2002
The diffusion coefficient of propagating fronts with multiplicative noise Article

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

January 2002
Universal algebraic convergence in time of pulled fronts: the common mechanism for difference-differential and partial differential equations Article

European Journal of Applied Mathematics, 53-66.

U. Ebert (Ute), W. van Saarloos and L.A. Peletier (Bert)

January 2002
Pharmacokinetics of C1-inhibitor protein in patients with acute myocardial infarction Article

Clinical Pharmacology & Therapeutics, 72(5), 498-504.

J.H.C. Diris, W.Th. Hermens (Wim), P.W. Hemker (Piet), W.K. Lagrand, C.E. Hack and M.P. van Dieijen-Visser

January 2002
The Future of Media Computing - From Ontology-based Semiotics to Computational Intelligence Book Chapter

F.-M. Nack (Frank)

January 2002
The emergence of the labyrinth: Intrinsic computational aesthetic form In Proceedings

C.A. Lindley, F.-M. Nack (Frank), E. Andre, A.O. Clarke, G. Mitchell and C. Fencott

January 2002
Media Semantics: Who needs it and why? In Proceedings

C. Dorai, A. Mauthe, F.-M. Nack (Frank), L. Rutledge (Lloyd), T. Sikora and H. Zettl

January 2002
Dynamic Generation of Intelligent Multimedia Presentations through Semantic Inferencing In Proceedings

S. Little, J.P.T.M. Geurts (Joost) and J. Hunter

January 2002

Previous

Next

Available Years