Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

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
Uitbeelden in wiskunde : proceedings van het symposium Van Dantzig 2000 gehouden t.g.v. het 100e geboortedag van David van Dantzig, 23.09.2000 Book

January 2000
Twee geesten van de wiskunde : biografie van David van Dantzig Book

G. Alberts (Gerard)

January 2000
The scientific family tree of David van Dantzig Book

January 2000
The propositional formula checker HeerHugo Article

Journal of Automated Reasoning, 24(1-2), 101-125.

J.F. Groote (Jan Friso) and J.P. Warners (Joost)

January 2000
Average-case quantum query complexity In Proceedings

A. Ambainis (Andris) and R.M. de Wolf (Ronald)

January 2000
The sparse-grid combination technique applied to time-dependent advection problems In Proceedings

B. Lastdrager, B. Koren (Barry) and J.G. Verwer (Jan)

January 2000
Resource augmentation in load balancing In Proceedings

Y. Azar, L. Epstein (Lea) and R. van Stee (Rob)

January 2000
An $omega$-complete equational specification of interleaving (extended abstract) In Proceedings

W.J. Fokkink (Wan) and S.P. Luttik (Bas)

January 2000
New bounds for the language compression problem In Proceedings

H.M. Buhrman (Harry), S. Laplante and P.B. Miltersen

January 2000
Quantum Kolmogorov complexity In Proceedings

A. Berthiaume, W. van Dam (Wim) and S. Laplante

January 2000
A compositional model for confluent dynamic data-flow networks In Proceedings

F.S. de Boer (Frank) and M.M. Bonsangue (Marcello)

January 2000
State space reduction using partial $ \tau $ -confluence In Proceedings

J.F. Groote (Jan Friso) and J.C. van de Pol (Jaco)

January 2000
Binary decision diagrams by shared rewriting In Proceedings

J.C. van de Pol (Jaco) and H. Zantema (Hans)

January 2000
Partial servicing of on-line jobs In Proceedings

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

January 2000
Equational binary decision diagrams In Proceedings

J.F. Groote (Jan Friso) and J.C. van de Pol (Jaco)

January 2000
Towards an algorithmic statistics (extended abstract) In Proceedings

P. Gacs, J.T. Tromp (John) and P.M.B. Vitányi (Paul)

January 2000
Methods for Interactive Visualization of Large Flow Data Sets In Proceedings

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

January 2000
Enhancing Fish Tank VR In Proceedings

J.D. Mulder (Jurriaan) and R. van Liere (Robert)

January 2000
Time Critical Computing and Rendering of Molecular Surfaces Using a Zonal Map In Proceedings

H. Huitema (Henk) and R. van Liere (Robert)

January 2000
Visualization of time dependent confocal microscopy data In Proceedings

R. van Liere (Robert), R. van Driel (Roel), W.C. de Leeuw (Wim) and E.M.M. Manders

January 2000
Interactive Visualization of Protein Dynamics In Proceedings

R. van Liere (Robert) and H. Huitema (Henk)

January 2000
Efficient Annotated Terms Article

Software: Practice and Experience, 30(2)

M.G.J. van den Brand (Mark), P. Klint (Paul), H.A. de Jong (Hayco) and P.A. Olivier (Pieter)

January 2000

Previous

Next

Available Years