Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

Pattern Formation in Electric Discharges Book Chapter

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

January 2001
Computer verification of the Ankeny-Artin-Chowla conjecture for all primes less than $100,000,000,000$ Article

Mathematics of Computation, 70(235), 1311-1328.

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

January 2001
On the sparsity order of a graph and its deficiency in chordality Article

Combinatorica, 543-570.

M. Laurent (Monique)

January 2001
Tighter linear and semidefinite relaxations for max-cut based on the Lov\'asz-Schrijver lift-and-project procedure. Article

SIAM Journal on Optimization, 12(2), 345-375.

M. Laurent (Monique)

January 2001
Local scale invariance and contingent claim pricing Article

International Journal of Theoretical and Applied Finance, 4(1), 1-21.

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

January 2001
Local scale invariance and contingent claim pricing II. Path-dependent contingent claims. Article

International Journal of Theoretical and Applied Finance, 4(1), 23-43.

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

January 2001
A diffusion-convection problem with drainage arising in the ecology of mangroves Article

Interfaces and Free Boundaries, 3(1), 15-44.

C.J. van Duijn (Hans), G. Galiano and M.A. Peletier (Mark)

January 2001
Finite contractions of graphs with polynomial growth Article

European Journal of Combinatorics, 22(1), 85-90.

A. Lukács and N. Seifter

January 2001
Approximate factorization for time-dependent partial differential equations Article

Journal of Computational and Applied Mathematics, 447-466.

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

January 2001
On the construction of deflation-based preconditioners Article

SIAM Journal on Scientific Computing, 442-462.

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

January 2001
Parallel iteration of the extended backward differentiation formulas Article

IMA Journal of Numerical Analysis, 21(1), 367-385.

J.E. Frank (Jason) and P.J. van der Houwen (Piet)

January 2001
A numerical study of mixed parabolic-gradient systems In Proceedings

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

January 2001
Tableau reasoning and programming with dynamic first order logic Article

Logic Journal of the IGPL, 9(3), 411-445.

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

January 2001
An example of non-convex minimization and an application to Newton's problem of the body of least resistance Article

Annales de l'Institut Henri Poincaré - Nonlinear Analysis, 18(2), 179-198.

T. Lachand-Robert and M.A. Peletier (Mark)

January 2001
Solution of time-dependent advection-diffusion problems with the sparse-grid combination technique and a Rosenbrock solver Article

Computational Methods in Applied Mathematics, 1(1), 86-98.

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

January 2001
Designing Annotation Before It's Needed In Proceedings

F.-M. Nack (Frank) and W. Putz

January 2001
New media semiotics - computation and aesthetic function In Proceedings

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

January 2001
Categorical, Narrative, and Hybrid Behavior Generation in the GENIE Environment for Interactive Narrative Virtual Worlds In Proceedings

C.A. Lindley and F.-M. Nack (Frank)

January 2001
Asymptotic results for injection of reactive solutes from a three-dimensional well Article

Journal of Mathematical Analysis and Applications, 260(2), 367-383.

C.J. van Duijn (Hans), I.A. Guerra (Ignacio Antonio) and M.A. Peletier (Mark)

January 2001
The Rise and Fall of Multimedia Authoring In Proceedings

L. Rutledge (Lloyd) and L. Hardman (Lynda)

January 2001
Collaborative authoring with document fragments and contracts In Proceedings

S. Sire

January 2001
High-order time-accurate parallel schemes for parabolic singularly perturbed problems with convection In Proceedings

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

January 2001
A flexible authoring process for collaborative authoring based on document fragments and contracts In Proceedings

S. Sire, Y. Rekik and C. Vanoirbeek

January 2001
Newton's problem of the body of minimal resistance in the class of convex developable functions Article

Mathematische Nachrichten, 153-176.

T. Lachand-Robert and M.A. Peletier (Mark)

January 2001
A video annotation methodology for interactive video sequence generation Book Chapter

C.A. Lindley

January 2001
A correlation inequality for connection events in percolation Article

Annals of Probability, 29(1), 123-126.

J. van den Berg (Rob) and J. Kahn

January 2001
Exact sampling from conditional Boolean models with applications to maximum likelihood inference Article

Advances in Applied Probability, 33(2), 339-353.

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

January 2001
The Role of High-level and Low-level Features in Style-based Retrieval and Generation of Multimedia Presentations Article

New Review of Hypermedia and Multimedia, 39-65.

F.-M. Nack (Frank), M.A. Windhouwer (Menzo), L. Hardman (Lynda), E.J.E.M. Pauwels (Eric) and M.W.J.H. Huijberts (Michèle)

January 2001
Multimedia Standards: Building Blocks of the Web Article

IEEE MultiMedia, 13-15.

L. Rutledge (Lloyd)

January 2001
Play the Game Article

IEEE MultiMedia, 8-10.

F.-M. Nack (Frank)

January 2001
Denotative and Connotative Semantics in Hypermedia: Proposal for a Semiotic-Aware Architecture Article

New Review of Hypermedia and Multimedia, 7-37.

F.-M. Nack (Frank) and L. Hardman (Lynda)

January 2001
SMIL 2.0: XML For Web Multimedia Article

IEEE Internet Computing, 78-84.

L. Rutledge (Lloyd)

January 2001
On nonoscillating integrals for computing inhomogeneous Airy functions Article

Mathematics of Computation, 1183-1194.

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

January 2001
Algebraic process verification Book Chapter

J.F. Groote (Jan Friso) and M.A. Reniers (Michel)

January 2001
Probabilistic model for the growth of thesauri Article

Acta Applicandae Mathematicae, 67(3), 237-252.

M. Hazewinkel (Michiel) and R. Rudzkis

January 2001
Running a job on a collection of partly available machines, with on-line restarts Article

Acta Informatica, 37(10), 727-742.

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

January 2001
Process algebra with recursive operations Book Chapter

J.A. Bergstra (Jan), W.J. Fokkink (Wan) and A. Ponse (Alban)

January 2001
A process algebra for interworkings Book Chapter

S. Mauw (Sjouke) and M.A. Reniers (Michel)

January 2001
Quantum entanglement and communication complexity Article

SIAM Journal on Computing, 30(6), 1829-1841.

H.M. Buhrman (Harry), R.E. Cleve (Richard) and W. van Dam (Wim)

January 2001
Newton-equivalent Hamiltonians for the harmonic oscillator Article

Annals of Physics, 293(1), 92-109.

S.N.M. Ruijsenaars (Simon)

January 2001
From 1/f Noise to Multifractal Cascades in Heartbeat Dynamics Article

CHAOS, An Interdisciplinary Journal of Nonlinear Science, 1-43.

P.C. Ivanov, L.A. Nunes Amaral, A.L. Goldberger, S. Havlin, M.G. Rosenblum, H.E. Stanley and Z.R. Struzik

January 2001
The Role of High-level and Low-level Features in Style-based Retrieval and Generation of Multimedia Presentations Article

The New Review of Hypermedia and Multimedia, 39-65.

F.-M. Nack (Frank), M.A. Windhouwer (Menzo), L. Hardman (Lynda), E.J.E.M. Pauwels (Eric) and M.W.J.H. Huijberts (Michèle)

January 2001
Wavelets and the Unborn Child. Book Chapter

Z.R. Struzik

January 2001
Querying XML Documents Made Easy: Nearest Concept Queries In Proceedings

A.R. Schmidt, M.L. Kersten (Martin) and M.A. Windhouwer (Menzo)

January 2001
Selectivity Estimation of Complex Spatial Queries In Proceedings

N. Mamoulis (Nikos) and D. Papadias

January 2001
Memory-Aware Query Routing in Interactive Web-based Information Systems In Proceedings

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

January 2001
Macro- and Micro- Parallelism in a DBMS In Proceedings

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

January 2001
FeedbackBypass: A new Approach to Interactive Similarity Query Processing In Proceedings

I. Bartolini, P. Ciaccia and F. Waas (Florian)

January 2001
Flexible and scalable digital library search In Proceedings

H.E. Blok (Henk Ernst), M.A. Windhouwer (Menzo), R. van Zwol, M. Petkovic, P.M.G. Apers (Peter), M.L. Kersten (Martin) and W. Jonker

January 2001
Numerical continuation of equilibria of physiologically structured population models I. Theory Article

Mathematical Models and Methods in Applied Sciences, 11(6), 1101-1127.

M.A. Kirkilionis, O. Diekmann (Odo), B. Lisser (Bert), M. Nool (Margreet), B.P. Sommeijer (Ben) and A.M. de Roos

January 2001
Solving Non-Binary CSPs Using the Hidden Variable Encoding In Proceedings

N. Mamoulis (Nikos) and K. Stergiou

January 2001
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 (Péter), 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

Previous

Next

Available Years