Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

Uniform convergence of curve estimators for ergodic diffusion processes Tech Report

J.H. van Zanten (Harry)

January 2000
Digitale handtekeningen: een experimentele vergelijking [Digital signatures: an experimental comparison] Tech Report

D.E. Wilschut

January 2000
Natural language text classification and filtering with trigrams and evolutionary nearest neighbour classifiers Tech Report

W.B. Langdon

January 2000
A reduced-load equivalence for generalised processor sharing networks with heavy-tailed input flows Tech Report

M.J.G. van Uitert (Miranda) and S.C. Borst (Sem)

January 2000
Maximum likelihood estimation for the bombing model Tech Report

M.N.M. van Lieshout (Marie-Colette) and E.W. van Zwet

January 2000
Game logic for game theorists Tech Report

M. Pauly (Marc)

January 2000
Tradable schemes Tech Report

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

January 2000
Solution of time-dependent advection-diffusion problems with the sparse-grid combination technique and a Rosenbrock solver Tech Report

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

January 2000
Note on the GI/GI/1 queue with LCFS-PR observed at arbitrary times Tech Report

R. Núñez Queija (Rudesindo)

January 2000
The epistemics of encryption Tech Report

A.M. Bleeker (Annette) and D.J.N. van Eijck (Jan)

January 2000
On the proper treatment of context in NL Tech Report

D.J.N. van Eijck (Jan)

January 2000
Memory aware query scheduling in a database cluster Tech Report

F. Waas (Florian) and M.L. Kersten (Martin)

January 2000
Solving vertical transport and chemistry in air pollution models Tech Report

P.J.F. Berkvens (Patrick), M.A. Botchev, J.G. Verwer (Jan), M.C. Krol and W. Peters

January 2000
Operator splitting and approximate factorization for taxis-diffusion-reaction models Tech Report

A. Gerisch and J.G. Verwer (Jan)

January 2000
Generalized monotonicity from global minimization in fourth-order ODEs Tech Report

M.A. Peletier (Mark)

January 2000
Pattern formation in electric discharges Tech Report

U. Ebert (Ute) and M. Arrayás

January 2000
Behavioural differential equations : a coinductive calculus of streams, automata, and power series Tech Report

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

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

Previous

Next

Available Years