Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

On the construction of deflation-based preconditioners In Proceedings

J.E. Frank (Jason) and C. Vuik

January 2001
Average-case quantum query complexity Article

Journal of Physics A: Mathematical and Theoretical, 34(35), 6741-6754.

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

January 2001
Time and space bounds for reversible simulation Article

Journal of Physics A: Mathematical and Theoretical, 34(35), 6821-6830.

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

January 2001
The communication complexity of enumeration, elimination, and selection In Proceedings

A. Ambainis (Andris), H.M. Buhrman (Harry), W. Gasarch, B. Kalyanasundaram and L. Torenvliet (Leen)

January 2001
Constraint programming viewed as rule-based programming. Special issue in honor of Alain Colmerauer, on the occasion of his 60th birthday. Article

Theory and Practice of Logic Programming, 1(6), 713-750.

K.R. Apt (Krzysztof) and E.B.G. Monfroy

January 2001
Efficient numerical solution of steady free-surface Navier-Stokes flow Article

Journal of Computational Physics, 174(1), 120-137.

E.H. van Brummelen (Harald), H.C. Raven and B. Koren (Barry)

January 2001
Algorithmic statistics Article

IEEE Transactions on Information Theory, 47(6), 2443-2463.

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

January 2001
On the representation of functions and finite difference operators on adaptive dyadic grids Article

Computational Methods in Applied Mathematics, 1(3), 222-241.

P.W. Hemker (Piet) and F. Sprengel

January 2001
Two oracles that force a big crunch Article

Computational Complexity, 10(2), 93-116.

H.M. Buhrman (Harry), S. Fenner, L. Fortnow (Lance) and L. Torenvliet (Leen)

January 2001
ROS3P---an accurate third-order Rosenbrock solver designed for parabolic problems Article

BIT : Numerical Mathematics, 41(4), 731-738.

J. Lang (Jens) and J.G. Verwer (Jan)

January 2001
The candy model: properties and inference Tech Report

M.N.M. van Lieshout (Marie-Colette) and R.S. Stoica

January 2001
Review of "Logic in Computer Science: Modelling and reasoning about systems" by Michael R. A. Huth and Mark D. Ryan, Cambridge University Press 2000 Article

InterChange - Newsletter of the International SGML/XML Users' Group, 1-3.

F. van Raamsdonk (Femke)

January 2001
Just-in-time : on strategy annotations Article

Electronic Notes in Theoretical Computer Science, 1-23.

J.C. van de Pol (Jaco)

January 2001
mCRL: a toolset for analysing algebraic specifications In Proceedings

S.C.C. Blom (Stefan), W.J. Fokkink (Wan), J.F. Groote (Jan Friso), I.A. van Langevelde, B. Lisser (Bert) and J.C. van de Pol (Jaco)

January 2001
A rewriting approach to binary decision diagrams Article

Journal of Logic and Algebraic Programming, 49(1-2), 61-86.

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

January 2001
Verifying replication on a distributed shared data space with time stamps In Proceedings

J. Hooman and J.C. van de Pol (Jaco)

January 2001
An introduction to stochastic geometry In Proceedings

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

January 2001
A review of spatio-temporal modelling of quadrat count data with application to striga occurrent in al pearl millet field Article

International Journal of Applied Earth Observation and Geoinformation, 133-138.

D.E. Hess, M.N.M. van Lieshout (Marie-Colette), W.A. Payne and A. Stein (Alfred)

January 2001
Parameter estimation by a Markov chain Monte Carlo technique for the Candy model In Proceedings

X. Descombes, M.N.M. van Lieshout (Marie-Colette), R.S. Stoica and J. Zerubia

January 2001
Generalized overlapping shuffle algebras Article

Journal of Mathematical Sciences, 106(4), 3168-3186.

M. Hazewinkel (Michiel)

January 2001
Content independence in multimedia databases Article

Journal of the American Society for Information Science and Technology, 52(11), 954-960.

A.P. de Vries (Arjen)

January 2001
Joint bulletin of the novosibirsk computer center and institute of informatics systems Article

Joint bulletin of the Novosibirsk computing center and Institute of informatics systems

January 2001
Editorial: ACM Transactions on computational logic Article

ACM Transactions on Computational Logic, 2(4)

January 2001
Proceedings of the 6th annual workshop of the ERCIM working group on constraints Book

January 2001
Statistics of information clouds Tech Report

M. Hazewinkel (Michiel)

January 2001
Index : Information processing letters 2001 Article

Information Processing Letters, 1-3.

M. Hazewinkel (Michiel)

January 2001
Index : Discrete mathematics 2001 Article

Discrete Mathematics, 1-4.

M. Hazewinkel (Michiel)

January 2001
Experiences with IR Top N optimization in a main memory DBMS: applying `the database approach' in new domains In Proceedings

H.E. Blok (Henk Ernst), A.P. de Vries (Arjen), H.M. Blanken and P.M.G. Apers (Peter)

January 2001
A case for image quering through image spots In Proceedings

H.G.P. Bosch, A.P. de Vries (Arjen), N.J. Nes (Niels) and M.L. Kersten (Martin)

January 2001
Exact matching in image databases In Proceedings

H.G.P. Bosch, A.R. van Ballegooij (Alex), A.P. de Vries (Arjen) and M.L. Kersten (Martin)

January 2001
Lazy users and automatic video retrieval tools in (the) lowlands In Proceedings

J. Baan, A.R. van Ballegooij (Alex), J.M. Geusebroek (Jan-Mark), J. I. den Hartog (Jeremy), D. Hiemstra, J.A. List (Johan), T.H.W. Westerveld (Thijs), I. Patras, S. Raaijmakers, C. Snoek, et al. L. Todoran, J. Vendrig, M. Worring (Marcel)

January 2001
Schedulers and redundancy for a class of constraint propagation rules Article

Theory and Practice of Logic Programming, 1-25.

S. Brand and K.R. Apt (Krzysztof)

January 2001
Rule-based versus procedure-based view of logic programming Article

Joint bulletin of the Novosibirsk computing center and Institute of informatics systems, 75-96.

K.R. Apt (Krzysztof) and J.-G. Smaus

January 2001
Towards free access to scientific literature Article

Nieuw Archief voor Wiskunde, 5/2(3), 251-255.

K.R. Apt (Krzysztof)

January 2001
One more revolution to make: free scietific publishing Article

Communications of the ACM, 44(5), 25-28.

K.R. Apt (Krzysztof)

January 2001
Acceleration of the numerical solution of parabolic singularly perturbed problems by parallel methods based on a defect correction technique In Proceedings

P.W. Hemker (Piet), G.I. Shishkin (Gregori) and L.P. Shishkina

January 2001
Acceleration by parallel computations of solving high-order time-accurate difference schemes for singularly perturbed convection-diffusion problems In Proceedings

P.W. Hemker (Piet), G.I. Shishkin (Gregori) and L.P. Shishkina

January 2001
Experience with the solution of a finite difference discretization on sparse grids In Proceedings

P.W. Hemker (Piet) and F. Sprengel

January 2001
Image Database Management System : Design Considerations, Algorithms and Architecture Dissertation

Database Architectures

N.J. Nes (Niels)

December 2000
A framework for debugging heterogeneous applications Dissertation

Software Engineering

P.A. Olivier (Pieter)

December 2000
A comparison of integration methods for atmospheric transport-chemistry problems Article

Journal of Computational and Applied Mathematics, 126(1-2), 381-396.

J.G. Blom (Joke) and J.G. Verwer (Jan)

December 2000
A mathematical model for the dissolution of particles in multi-component alloys Article

Journal of Computational and Applied Mathematics, 126(1-2), 233-254.

F.J. Vermolen and C. Vuik

December 2000
XHTML™ Basic Standard

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

December 2000
Optimizing Database Architecture for the New Bottleneck: Memory Access Article

VLDB Journal, 9(3), 231-246.

S. Manegold (Stefan), P.A. Boncz (Peter) and M.L. Kersten (Martin)

December 2000
Inter-dimensional hypermedia communicative devices for rhetorical structure In Proceedings

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

November 2000
Principles of probabilistic query optimization Dissertation

Database Architectures

F. Waas (Florian)

November 2000
Front propagation into unstable states: universal algebraic convergence towards uniformly translating pulled fronts Article

Physica - D, Nonlinear Phenomena, 146(1-4), 1-99.

U. Ebert (Ute) and W. van Saarloos

November 2000
Show me what you mean! PARISS: A CBIR-interface that learns by example In Proceedings

G. Caenen, G. Frederix (Greet), A.A.M. Kuijk (Fons), E.J.E.M. Pauwels (Eric) and B.A.M. Schouten (Ben)

November 2000
Afscheidssymposium P. J. van der Houwen, 20.10.2000 Other

October 2000
De nieuwe rol van wiskunde en informatica in de biowetenschappen : CWI in bedrijf, 06.10.2000 Booklet

October 2000
Spatial and time localization of solutions of the Boussinesq system with nonlinear thermal diffusion Article

Nonlinear Analysis, 42(3), 423-438.

G. Galiano

October 2000
Universal coalgebra: a theory of systems Article

Theoretical Computer Science, 249(1), 3-80.

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

October 2000
Device Independent Multimedia Authoring Book Chapter

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

October 2000
Een approximatief model van de dyadische solenoïde Other

W.T. van Est

September 2000
Numerical and asymptotic aspects of parabolic cylinder functions. Numerical analysis in the 20th century, Vol. I, Approximation theory Article

Journal of Computational and Applied Mathematics, 121(1-2), 221-246.

N.M. Temme (Nico)

September 2000
Projected dynamical systems in a complementarity formalism Article

Operations Research Letters, 27(2), 83-91.

W.P.M.H. Heemels, J.M. Schumacher (Hans) and S. Weiland

September 2000
Is wiskunde nog wel mensenwerk? Programma vakantiecursus 25-26.08.2000 en 01-02.09.2000 Booklet

August 2000
Agent-based computational transaction cost economics Dissertation

T.B. Klos (Tomas)

July 2000
A correction: orthogonal representations and connectivity of graphs Article

Linear Algebra and its Applications, 313(1-3), 101-105.

L. Lovász (László), M. Saks and A. Schrijver (Lex)

July 2000
Multi-level topology for flow visualization Article

Computers & Graphics, 24(3), 325-331.

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

June 2000
Determining Local Singularity Strengths and their Spectra with the Wavelet Transform Article

Fractals: Complex Geometry, Patterns, and Scaling in Nature and Society, 8(2), 163-179.

Z.R. Struzik

June 2000
A transition system semantics for the control-driven coordination language Manifold Article

Theoretical Computer Science, 240(1), 3-47.

M.M. Bonsangue (Marcello), F. Arbab (Farhad), J.W. de Bakker (Jaco), J.J.M.M. Rutten (Jan), A. Scutellà and G. Zavattaro (Gianluigi)

June 2000
Time critical computing and rendering of molecular surfaces using a zonal map In Proceedings

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

June 2000
Turning knowledge into business : a practical approach to transferring technology Booklet

June 2000
Determining Local Singularity Strengths and their Spectra with the Wavelet Transform Article

Fractals, 8(2), 1-20.

Z.R. Struzik

June 2000
Graph Clustering by Flow Simulation Dissertation

Standardization and Knowledge Transfer

S. van Dongen

May 2000
Counting, enumerating and sampling of execution plans in a cost-based query optimizer In Proceedings

F. Waas (Florian) and C.A. Galindo-Legaria (César)

May 2000
Efficient Algorithms for the Numerical Solution of Differential Equation Dissertation

J.E. Frank (Jason)

April 2000
Zoekmachines op Internet rommelen maar wat aan - AG Connect 6 april 2000 Magazine Article

April 2000
Semantics of well-moded input-consuming logic programs Article

A. Bossi, S. Etalle (Sandro) and S. Rossi

April 2000
Zoekmachines op Internet rommelen maar wat aan Magazine Article

April 2000
Oscillatory Störmer-Cowell methods Article

Journal of Computational and Applied Mathematics, 115(1-2), 547-564.

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

March 2000
Program plan recognition for year 2000 tools Article

Science of Computer Programming, 36(2-3), 303-324.

A. van Deursen (Arie), A. Quilici and S. Woods

March 2000
New applications of the incompressibility method: Part II. Selected papers in honor of Manuel Blum (Hong Kong, 1998) Article

Theoretical Computer Science, 235(1), 59-70.

H.M. Buhrman (Harry), T. Jiang (Tao), M. Li (Ming) and P.M.B. Vitányi (Paul)

March 2000
Priors on network structures. Biasing the search for Bayesian networks Article

International Journal of Approximate Reasoning, 24(1), 39-57.

J.R. Castelo and A.P.J.M. Siebes (Arno)

March 2000
Mathematical signal analysis: wavelets, Wigner distribution and a seismic application Dissertation

P.J. Oonincx

February 2000
Recognition of tractable satisfiability problems through balanced polynomial representations Article

Discrete Applied Mathematics, 99(1-3), 229-244.

J.P. Warners (Joost) and H. van Maaren

February 2000
Toen onze Frans ons Fransje was : lied bij het afscheid van Frans Snijders op 28 januari 2000 Other

January 2000
Processor-Sharing Models for Integrated-Services Networks Dissertation

Stochastics

R. Núñez Queija (Rudesindo)

January 2000
A level-set method and an approximate Riemann solver for capturing free-surface water waves In Proceedings

E.H. van Brummelen (Harald) and B. Koren (Barry)

January 2000
Comparison of two adjoint equation approaches with respect to boundary-condition treatments for the quasi 1-D Euler equations Article

International Journal for Numerical Methods in Fluids, 1-13.

G.F. Duivesteijn, H. Bijl, B. Koren (Barry) and E.H. van Brummelen (Harald)

January 2000
Dynamic process composition and communication patterns in irregularly structured applications Article

Concurrency: Practice and Experience, 12(2-3), 157-174.

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

January 2000
Distributed evolutionary optimization in Manifold: Rosenbrock's function case study Article

Information Sciences, 122(2-4), 141-159.

P. Bouvry, F. Arbab (Farhad) and F. Seredynski

January 2000
A discipline of evolutionary programming In Proceedings

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

January 2000
Solving satisfiability problems using elliptic approximations - effective branching rules Article

Discrete Applied Mathematics, 107(1-3), 241-259.

J.P. Warners (Joost) and H. van Maaren

January 2000
An object-oriented design for graph visualization Tech Report

M.S. Marshall (Scott), I. Herman (Ivan) and G. Melançon

January 2000
A multi-query optimizer for Monet Tech Report

S. Manegold (Stefan), A.J. Pellenkoft (Jan) and M.L. Kersten (Martin)

January 2000
The effect of cost distributions on evolutionary optimization algorithms Tech Report

F. Waas (Florian) and C.A. Galindo-Legaria (César)

January 2000
CharToon 2.0 manual Tech Report

H. Noot (Han) and Z.M. Ruttkay

January 2000
Random generation of dags for graph drawing Tech Report

G. Melançon, I. Dutour and M. Bousquet-Mélou

January 2000
Real-time disk scheduling in a mixed-media file system Tech Report

H.G.P. Bosch and S.J. Mullender (Sape)

January 2000
Navigating through a forest of quad trees to spot images in a database Tech Report

H.G.P. Bosch, N.J. Nes (Niels) and M.L. Kersten (Martin)

January 2000
Outlier detection and localisation with wavelet based multifractal formalism Tech Report

Z.R. Struzik and A.P.J.M. Siebes (Arno)

January 2000
A numerical study of mixed parabolic-gradient systems Tech Report

J.G. Verwer (Jan) and B.P. Sommeijer (Ben)

January 2000
Universal algebraic relaxation of velocity and phase in 'pulled' fronts generating periodic or chaotic states Tech Report

C. Storm, W. Spruijt, U. Ebert (Ute) and W. van Saarloos

January 2000
Breakdown of the standard perturbation theory and moving boundary approximation for pulled fronts Tech Report

U. Ebert (Ute) and W. van Saarloos

January 2000
On non-oscillating integrals for computing inhomogeneous Airy functions Tech Report

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

January 2000
The Askey scheme for hypergeometric orthogonal polynomials viewed from asymptotic analysis Tech Report

N.M. Temme (Nico) and J.L. López

January 2000
Compactification of G-spaces revisited Tech Report

J. de Vries (Jan)

January 2000
Factorization of a 512-bit RSA modulus Tech Report

S.H. Cavallar (Stefania), W.M. Lioen (Walter), H.J.J. te Riele (Herman), B. Dodson, A.K. Lenstra (Arjen), P.L. Montgomery and B. Murphy

January 2000

Previous

Next

Available Years