Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

Comparing coordination models and architectures using embeddings Tech Report

M.M. Bonsangue (Marcello), J.N. Kok (Joost) and G. Zavattaro (Gianluigi)

January 2000
Random walk with a heavy-tailed jump distribution Tech Report

J.W. Cohen

January 2000
Rates of convergence and asymptotic normality of curve estimators for ergodic diffusion processes Tech Report

J.H. van Zanten (Harry)

January 2000
Theorem proving and programming with dynamic first order logic Tech Report

D.J.N. van Eijck (Jan), J.M. Heguiabehere and B. Ó Nualláin (Breanndán)

January 2000
Grey-scale morphology based on fuzzy logic Tech Report

T.-Q. Deng and H.J.A.M. Heijmans (Henk)

January 2000
New limit theorems for regular diffusion processes with finite speed measure Tech Report

J.H. van Zanten (Harry)

January 2000
Multi-issue negotiation processes by evolutionary simulation : validation and social extensions Tech Report

E.H. Gerding (Enrico), D.D.B. van Bragt and J.A. La Poutré (Han)

January 2000
Tight bounds on the competitive ratio on accomodating sequences for the seat reservation problem Tech Report

E. Bach, J. Boyar, L. Epstein (Lea), L.M. Favrholdt, T. Jiang (Tao), K.S. Larsen, G.-H. Lin and R. van Stee (Rob)

January 2000
Using domain decomposition in the Jacobi-Davidson method Tech Report

M. Genseberger (Menno), G.L.G. Sleijpen and H.A. van der Vorst (Henk)

January 2000
Distributed splitting of constraint satisfaction problems Tech Report

F. Arbab (Farhad) and E.B.G. Monfroy

January 2000
New results on flow time with resource augmentation Tech Report

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

January 2000
ASF+SDF parsing tools applied to ELAN Tech Report

M.G.J. van den Brand (Mark) and C. Ringeissen

January 2000
Syntax and semantics of a high-level intermediate representation for ASF+SDF Tech Report

J.A. Bergstra (Jan) and M.G.J. van den Brand (Mark)

January 2000
Domain-specific languages Tech Report

A. van Deursen (Arie), P. Klint (Paul) and J.M.W. Visser (Joost)

January 2000
Expressiveness of basic Splice Tech Report

J.C. van de Pol (Jaco)

January 2000
Completeness of timed $ mu $ CRL Tech Report

J.F. Groote (Jan Friso), M.A. Reniers (Michel), J.J. van Wamel and M.B. van der Zwaag

January 2000
Fuzzy logic and mathematical morphology Tech Report

T.-Q. Deng

January 2000
Dimensioning large call centers Tech Report

S.C. Borst (Sem), A. Mandelbaum and M.I. Reiman

January 2000
Integrating multimedia characteristics in web-based document languages Tech Report

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

January 2000
Cuypers : a semi-automatic hypermedia generation system Tech Report

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

January 2000
Implicit-explicit time stepping with spatial discontinuous finite elements Tech Report

W. Hundsdorfer (Willem) and J. Jaffré

January 2000
Improving approximate matrix factorizations for implicit time integration in air pollution modelling Tech Report

M.A. Botchev and J.G. Verwer (Jan)

January 2000
Branching time and orthogonal bisimulation equivalence Tech Report

J.A. Bergstra (Jan), A. Ponse (Alban) and M.B. van der Zwaag

January 2000
The cones and foci proof techniques for timed transition systems Tech Report

M.B. van der Zwaag

January 2000
Coalgebras and modal logic for parametrised endofunctors Tech Report

A. Kurz (Alexander) and D. Pattinson

January 2000
Object-oriented tree traversal with JJForester Tech Report

T. Kuipers (Tobias) and J.M.W. Visser (Joost)

January 2000
Stabilization of tag-mediated interaction by sexual reproduction in an evolutionary agent system Tech Report

F. Alkemade (Floortje), D.D.B. van Bragt and J.A. La Poutré (Han)

January 2000
Generalised coinduction Tech Report

F. Bartels (Falk)

January 2000
A logic for suspicious players : epistemic actions and belief-update in games Tech Report

A. Baltag

January 2000
Reduced-load equivalence and induced burstiness in GPS queues with long-tailed traffic flows Tech Report

S.C. Borst (Sem), O.J. Boxma (Onno) and P.R. Jelenkovic

January 2000
A control problem for affine dynamical systems on a full-dimensional simplex Tech Report

L.C.G.J.M. Habets (Luc) and J.H. van Schuppen (Jan)

January 2000
A signal-recovery system : asymptotic properties, and construction of an infinite-volume limit Tech Report

J. van den Berg (Rob) and B. Tóth

January 2000
Unsupervised clustering with spiking neurons by sparse temporal coding and multi-layer RBF networks Tech Report

S.M. Bohte (Sander), J.A. La Poutré (Han) and J.N. Kok (Joost)

January 2000
Error-backpropagation in temporally encoded networks of spiking neurons Tech Report

S.M. Bohte (Sander), J.A. La Poutré (Han) and J.N. Kok (Joost)

January 2000
Virtual context - relating media objects to their real world subjects Tech Report

L. Rutledge (Lloyd), A.R. van Ballegooij (Alex) and A. P. W. Eliëns (Anton)

January 2000
Wavelet methods in (financial) time-series processing Tech Report

Z.R. Struzik

January 2000
Exploring legacy systems using types Tech Report

A. van Deursen (Arie) and L.M.F. Moonen (Leon)

January 2000
Parallel, distributed-memory implementation of sparse-grid methods for three-dimensional fluid-flow computations Tech Report

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

January 2000
Correspondentie David van Dantzig-Gerrit Mannoury : historische notitie SEN Tech Report

J. Siegenbeek van Heukelom and G. Alberts (Gerard)

January 2000
Projectposter MultimediaN / ICES-KIS 3 ICT Other

January 2000
Projectposter MultimediaN Topics / MultimediaN Partnership Other

January 2000
Projectposter Asynchronous Spiking Neural Networks Other

January 2000
Projectposter The Silicon Cell : Towards Computing the Living Cell Other

January 2000
Projectposter The Silicon Cell : Mathematical / Computational Challenges Other

January 2000
Projectposter Systeemrenovatie (SEN1) Other

January 2000
Projectposter Generieke Taaltechnologie : Analyse en Transformeren (SEN1) Other

January 2000
Projectposter Analyse van Embedded Systemen : is uw systeem al geverifieerd Other

January 2000
Projectposter Wat kan men doen tegen netwerkcongestie? (PNA2) Other

January 2000
Projectposter Query Articulation Other

January 2000
Projectposter Distributed Dataspace Architectures Other

January 2000
Projectposter A Balancing Act: Analyzing a distributed Lift System Other

January 2000
Projectposter Trade Agents: Autonomous Systems of Trade Agents in E-commerce (ASTA) Other

January 2000
Projectposter Generating Successful Negotiation Strategies by Evolutionary Computation Other

January 2000
Projectposter Financial Information Brokerage: selling news to customers Other

January 2000
Projectposter W3C Benelux Office Other

January 2000
Projectposter Content-Based Image Retrieval (PNA4) Other

January 2000
Projectposter Adaptive Multimedia voor het Web (INS2) Other

January 2000
Projectposter Competitive Resource Allocation with software agents in electronic markets Other

January 2000
Clararom : CD-ROM t.g.v. het afscheid van Clara Goedhart in 2000 Other

January 2000
Nieuwjaarskaart 2000 Other

January 2000
Quantum computing and communication complexity Article

Bulletin of the EATCS, 131-141.

H.M. Buhrman (Harry)

January 2000
A man with six pseudonyms Article

Nieuw Archief voor Wiskunde, 1(3), 282-286.

Z.M. Ruttkay

January 2000
Three approaches to the quantitative definition of information in an individual pure quantum state In Proceedings

P.M.B. Vitányi (Paul)

January 2000
Characterization of non-deterministic quantum query and quantum communication complexity In Proceedings

R.M. de Wolf (Ronald)

January 2000
Preface Article

Fundamenta Informaticae, 41(1-2), i-ii.

Goutsias, J. (John) and H.J.A.M. Heijmans (Henk)

January 2000
The reliability of Internet search engines: Fluctuations in Document Accessibility In Proceedings

W. Mettrop (Wouter) and P. Nieuwenhuysen

January 2000
XHTML™ 1.0: The Extensible HyperText Markup Language, A Reformulation of HTML 4 in XML 1.0 Standard

S. Pemberton (Steven) and not CWI et al

January 2000
Clararom : CD-ROM t.g.v. het afscheid van Clara Goedhart Miscellaneous

January 2000
A short proof of König's matching theorem Article

Journal of Graph Theory, 33(3), 138-139.

R. Rizzi (Romeo)

January 2000
Maintenance of 2- and 3-edge-connected components of graphs II Article

SIAM Journal on Computing, 29(5), 1521-1549.

J.A. La Poutré (Han)

January 2000
Note on the time integration of 3D advection-reaction equations Article

Journal of Computational and Applied Mathematics, 116(2), 275-278.

P.J. van der Houwen (Piet)

January 2000
Bulky subgraphs of the hypercube Article

European Journal of Combinatorics, 21(4), 503-507.

A. Kotlov

January 2000
On minimizing symmetric set functions Article

Combinatorica, 20(3), 445-450.

R. Rizzi (Romeo)

January 2000
Inference on rare errors using asymptotic expansions and bootstrap calibration Article

Biometrika, 87(3), 689-694.

R. Helmers (Roelof)

January 2000
A logic for coalgebraic simulation In Proceedings

A. Baltag

January 2000
Polynomial instances of the positive semidefinite and Euclidean distance matrix completion problems Article

SIAM Journal on Matrix Analysis and Applications, 22(3), 874-894.

M. Laurent (Monique)

January 2000
A combinatorial algorithm minimizing submodular functions in strongly polynomial time Article

Journal of Combinatorial Theory - Series B, 80(2), 346-355.

A. Schrijver (Lex)

January 2000
A multivariate central limit theorem for continuous local martingales Article

Statistics & Probability Letters, 50(3), 229-235.

J.H. van Zanten (Harry)

January 2000
Markov point processes and their applications Book

M.N.M. van Lieshout (Marie-Colette)

January 2000
Total dual integrality of matching forest constraints Article

Combinatorica, 20(4), 575-588.

A. Schrijver (Lex)

January 2000
Introduction to process algebra Book

W.J. Fokkink (Wan)

January 2000
On Barnes' multiple zeta and gamma functions Article

Advances in Mathematics, 156(1), 107-132.

S.N.M. Ruijsenaars (Simon)

January 2000
Making things happen In Proceedings

D.J.N. van Eijck (Jan)

January 2000
Quasi-symmetric functions In Proceedings

M. Hazewinkel (Michiel)

January 2000
Sojourn times in a processor sharing queue with service interruptions Article

Queueing Systems, 34(1-4), 351-386.

R. Núñez Queija (Rudesindo)

January 2000
From programs to games: invariance and safety for bisimulation In Proceedings

M. Pauly (Marc)

January 2000
Hilbert space theory for reflectionless relativistic potentials Article

Publications of the Research Institute for Mathematical Sciences, Kyoto University, 36(6), 707-753.

S.N.M. Ruijsenaars (Simon)

January 2000
On the uniform convergence of the empirical density of an ergodic diffusion Article

Statistical Inference for Stochastic Processes, 3(3), 251-262.

J.H. van Zanten (Harry)

January 2000
On relativistic Lamé functions In Proceedings

S.N.M. Ruijsenaars (Simon)

January 2000
Strategies in filtering in the number field sieve In Proceedings

S.H. Cavallar (Stefania)

January 2000
Liber Amicorum Piet van der Houwen Miscellaneous

January 2000
Spectral Volume Rendering Article

IEEE Transactions on Visualization and Computer Graphics, 6(3), 196-207.

J. Noordmans, H.T.M. van der Voort and A.W.M. Smeulders (Arnold)

January 2000
Robust Autofocusing in Microscopy Article

Cytometry, 39(1), 1-9.

J.M. Geusebroek (Jan-Mark), F.J. Cornelissen, A.W.M. Smeulders (Arnold) and A.H.W. Geerts

January 2000
PicToSeek: Combining Color and Shape Invariant Features for Image Retrieval Article

IEEE Transactions on Image Processing, 9(1), 102-119.

T. Gevers and A.W.M. Smeulders (Arnold)

January 2000
Measurement of Color Invariants In Proceedings

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

January 2000
Invariance in Content-Based Image Retrieval In Proceedings

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

January 2000
Interaction in Content-Based Retrieval: An Evaluation of the State-of-the-Art In Proceedings

M. Worring (Marcel), A.W.M. Smeulders (Arnold) and S. Santini

January 2000
Content Based Image Retrieval at the End of the Early Years Article

IEEE Transactions on Pattern Analysis and Machine Intelligence, 22(12), 1349-1380.

A.W.M. Smeulders (Arnold), M. Worring (Marcel), S. Santini, A. Gupta (Anupam) and R. Jain (Rahul)

January 2000
Color and Scale: The Spatial Structure of Color Images In Proceedings

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

January 2000
Chromosome No. 1 of Crepis Cappilaris Shows Defined 3D-Shapes in Mitotic Prophase Article

Chromosome Research, 8(3), 243-252.

A. Houtsmuller, J. Oud, M. Motijn, M. Worring (Marcel) and A.W.M. Smeulders (Arnold)

January 2000

Previous

Next

Available Years