Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

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 (Péter), 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
Multiprocessor scheduling with rejection Article

SIAM Journal on Discrete Mathematics, 64-78.

Y. Bartal, S. Leonardi (Stefano), A. Marchetti Spaccamela (Alberto), J. Sgall and L. Stougie (Leen)

January 2000
Fractal transforms and feature invariance In Proceedings

B.A.M. Schouten (Ben) and P.M. de Zeeuw (Paul)

January 2000
LARIS 1.0: LAnguage for railway interlocking specifications Book

W.J. Fokkink (Wan), J.F. Groote (Jan Friso), M. Hollenberg (Marco) and B. van Vlijmen

January 2000
A Timed Concurrent Constraint Language Article

Information and Computation, 161(1)

F.S. de Boer (Frank)

January 2000
Exploring the space of emotional faces of subjects without acting experience Tech Report

J. Hendrix (Jeroen) and Z.M. Ruttkay

January 2000
Efficient annotated terms Tech Report

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

January 2000
Richtlijnen voor de Toegankelijkheid van Web Content 1.0 Manual

M. Bakker (Miente)

January 2000
Multivariable orthogonal polynomials and quantum Grassmanniams Book

J.V. Stokman

January 2000
Mathematical signal analysis: wavelets, Wigner distribution and a seismic application Book

P.J. Oonincx

January 2000
Algebraic cycles and topology of real algebraic varieties Book

J.A. van Hamel

January 2000
Minimax estimation in regression and random censorship models Book

E.N. Belitser

January 2000
Vakantiecursus [Centrum voor Wiskunde en Informatica] 2000 : Is wiskunde nog wel mensenwerk? Book

January 2000
Introduction to option pricing in a securities market Book

K.O. Dzhaparidze (Kacha)

January 2000
XHTML™ 1.0 The Extensible HyperText Markup Language Tech Report

S. Pemberton (Steven) and not CWI et al

January 2000
Jan de Witt - Elementa Curvarum Linearum Liber Primus - Annotated English translation Book

A.W. Grootendorst (Albert)

January 2000
Breakdown of the standard perturbation theory and moving boundary approximation for "pulled" fronts Article

Physics Reports-Review Section of Physics Letters, 139-156.

U. Ebert (Ute) and W. van Saarloos

January 2000
Diagonally implicit Runge-Kutta methods for 3D shallow water applications Article

Advances in Computational Mathematics, 12(2-3), 229-250.

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

January 2000
$ \epsilon $ -uniform schemes with high-order time-accuracy for parabolic singular perturbation problems Article

IMA Journal of Numerical Analysis, 20(1), 99-121.

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

January 2000
Cellular buckling in long structures. The theme of solitary waves and localization phenomena in elastic structures Article

Journal of Nonlinear Dynamics and Chaos in Engineering Systems, 21(1), 3-29.

G.W. Hunt, M.A. Peletier (Mark), A.R. Champneys, P.D. Woods, M.A. Wadee, C.J. Budd and G.J. Lord

January 2000
On a crossroad of resampling plans: bootstrapping elementary symmetric polynomials Article

Statistica Neerlandica, 54(1), 100-110.

A.J. van Es (Bert), R. Helmers (Roelof) and M. Husková

January 2000
Separating complexity classes using autoreducibility Article

SIAM Journal on Computing, 29(5), 1497-1520.

H.M. Buhrman (Harry), L. Fortnow (Lance), D. van Melkebeek and L. Torenvliet (Leen)

January 2000
Uniqueness conditions in a hyperbolic model for oil recovery by steamdrive Article

Computational Geosciences, 4(1), 65-98.

J. Bruining and C.J. van Duijn (Hans)

January 2000
Asymptotic estimates for generalized Stirling numbers Article

Analysis, 20(1), 1-13.

R. Chelluri, L.B. Richmond and N.M. Temme (Nico)

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

January 2000
A parallel Jacobi-Davidson-type method for solving large generalized eigenvalue problems in magnetohydrodynamics Article

SIAM Journal on Scientific Computing, 22(1), 95-112.

M. Nool (Margreet) and A. van der Ploeg (Auke)

January 2000
Random sampling for the monomer-dimer model on a lattice. Probabilistic techniques in equilibrium and nonequilibrium statistical physics. Article

Journal of Mathematical Physics, 41(3), 1585-1597.

J. van den Berg (Rob) and R.M. Brouwer (Rachel)

January 2000
Upper bounds on the maximal number of facets of 0/1-polytopes. Combinatorics of polytopes. Article

European Journal of Combinatorics, 21(1), 121-130.

T. Fleiner, V. Kaibel and G. Rote

January 2000
A generalization of resource-bounded measure, with application to the BPP vs. EXP problem Article

SIAM Journal on Computing, 30(2), 576-601.

H.M. Buhrman (Harry), D. van Melkebeek, K.W. Regan, D. Sivakumar and M. Strauss

January 2000
Minimum description length induction, Bayesianism, and Kolmogorov complexity Article

IEEE Transactions on Information Theory, 46(2), 446-464.

P.M.B. Vitányi (Paul) and M. Li (Ming)

January 2000
Optimal proof systems and sparse sets In Proceedings

H.M. Buhrman (Harry), S. Fenner, L. Fortnow (Lance) and D. van Melkebeek

January 2000
Average-case analysis of algorithms using Kolmogorov complexity Article

Journal of Computer Science and Technology, 15(5), 402-408.

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

January 2000
The excluded minors for GF(4)-representable matroids Article

Journal of Combinatorial Theory - Series B, 79(2), 247-299.

J. Geelen (Jim), A.M.H. Gerards (Bert) and A. Kapoor

January 2000
Asymptotic density in a coalescing random walk model Article

Annals of Probability, 28(1), 303-352.

J. van den Berg (Rob) and H. Kesten

January 2000
Applying MDL to learn best model granularity Article

Artificial Intelligence, 121(1-2), 1-29.

Q. Gao, M. Li (Ming) and P.M.B. Vitányi (Paul)

January 2000
Diagonalizable extended backward differentiation formulas Article

BIT : Numerical Mathematics, 40(3), 497-512.

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

January 2000
Fundamenta morphologicae mathematicae Article

Fundamenta Informaticae, 41(1-2), 1-31.

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

January 2000
A free boundary problem involving a cusp: breakthrough of salt water Article

Interfaces and Free Boundaries, 2(1), 21-72.

H.W. Alt and C.J. van Duijn (Hans)

January 2000
A class of team problems with discrete action spaces: optimality conditions based on multimodularity Article

SIAM Journal on Control and Optimization, 38(3), 875-892.

P.R. de Waal and J.H. van Schuppen (Jan)

January 2000
A theorem of Truemper Article

Combinatorica, 20(1), 15-26.

M. Conforti, A.M.H. Gerards (Bert) and A. Kapoor

January 2000
Computing toroidal functions for wide ranges of the parameters. Article

Journal of Computational Physics, 161(1), 204-217.

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

January 2000
A classification of the six-point prime metrics In Proceedings

J. Koolen (Jack), V. Moulton (Vincent) and U. Tönges

January 2000
A geometric proof of confluence by decreasing diagrams In Proceedings

J.W. Klop (Jan Willem), V. van Oostrom (Vincent) and R. de Vrijer

January 2000
Subdiffusive fluctuations of ``pulled'' fronts with multiplicative noise Article

Physical Review E: Statistical, Nonlinear, and Soft Matter Physics, R13-R16.

A. Rocco (Andrea), U. Ebert (Ute) and W. van Saarloos

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

Physical Review E: Statistical, Nonlinear, and Soft Matter Physics, R6063-R6066.

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

January 2000
Residuality of dynamical morphisms. Dedicated to the memory of Anzelm Iwanik. Article

Colloquium Mathematicum, 307-317.

R.M. Burton, M.S. Keane and J. Serafin

January 2000
Infiltration in porous media with dynamic capillary pressure: travelling waves Article

European Journal of Applied Mathematics, 11(4), 381-397.

C.M. Cuesta Romero (Carlota), C.J. van Duijn (Hans) and J. Hulshof

January 2000
Some aspects of modeling and statistical inference for financial models Article

Statistica Neerlandica, 54(3), 265-292.

K.O. Dzhaparidze (Kacha), P.J.C. Spreij (Peter) and J.H. van Zanten (Harry)

January 2000
Equilateral dimension of the rectilinear space Article

Designs, Codes and Cryptography, 21(1-3), 149-164.

J. Koolen (Jack), M. Laurent (Monique) and A. Schrijver (Lex)

January 2000
Know means no: incorporating knowledge into discrete-event control systems Article

IEEE Transactions on Automatic Control, 45(9), 1656-1668.

S.L. Ricker and K. Rudie

January 2000
A local approach to 1-homogeneous graphs Article

Designs, Codes and Cryptography, 21(1-3), 127-147.

A. Jurišic and J. Koolen (Jack)

January 2000
Euclidean windows Article

LMS Journal of Computation and Mathematics, 336-355.

S.H. Cavallar (Stefania) and F. Lemmermeyer

January 2000
Application of the over-set grid technique to a model singular perturbation problem Article

Computing, 65(4), 339-356.

E.D. Havik, P.W. Hemker (Piet) and W. Hoffmann (Walter)

January 2000
Application of an adaptive sparse-grid technique to a model singular perturbation problem Article

Computing, 65(4), 357-378.

J. Noordmans and P.W. Hemker (Piet)

January 2000
Randomness is hard Article

SIAM Journal on Computing, 30(5), 1485-1501.

H.M. Buhrman (Harry) and L. Torenvliet (Leen)

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

A. Ambainis (Andris), H.M. Buhrman (Harry) and W. Gasarch

January 2000
Nonlinear multiresolution signal decomposition schemes I. Morphological pyramids. Article

IEEE Transactions on Image Processing, 9(11), 1862-1876.

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

January 2000
Internet zoekmachines zijn niet altijd even betrouwbaar In Proceedings

W. Mettrop (Wouter) and P. Nieuwenhuysen

January 2000
Internet Search Engines: Fluctuations in Document Accessibility In Proceedings

W. Mettrop (Wouter), P. Nieuwenhuysen and H. Smulders

January 2000
Nonlinear multiresolution signal decomposition schemes II. Morphological wavelets. Article

IEEE Transactions on Image Processing, 9(11), 1897-1913.

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

January 2000
Parallel Methods Based on a Defect-Correction Technique for Parabolic Singularly Perturbed Problems Book Chapter

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

January 2000
Edge-reinforced random walk on finite graphs Book Chapter

M.S. Keane and S.W.W. Rolles

January 2000
Parallel methods for quasilinear singularly perturbed reaction-diffusion equations Article

Proceedings of the International Conference on Distributed Systems: Optimization and Economic-Environmental Applications, 348-351.

P.W. Hemker (Piet), G.I. Shishkin (Gregori) and I.V. Tselishcheva

January 2000
Distributing the numerical solution of parabolic singularly perturbed problems with defect correction over independent processes Article

Siberian Journal of Numerical Mathematics, 3(3), 229-258.

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

January 2000
WWW-search engines (2): Nog steeds onbetrouwbaar Article

Informatie Professional, 4(1), 20-21.

H. van der Laan and W. Mettrop (Wouter)

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

January 2000
Catch me, said the meaning, and turned out to be a hydra In Proceedings

F.-M. Nack (Frank)

January 2000
Maximal solutions in decentralized supervisory control Article

SIAM Journal on Control and Optimization, 39(2), 492-511.

A.A.F. Overkamp (Ard) and J.H. van Schuppen (Jan)

January 2000
About the influence of computer semiotics on communal Intelligence In Proceedings

F.-M. Nack (Frank)

January 2000
Production and maintenance environments for interactive audio-visual stories In Proceedings

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

January 2000
Arbeitsumgebungen fur die Entwicklung interaktiver Geschichten In Proceedings

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

January 2000
Generating Presentation Constraints from Rhetorical Structure Book Chapter

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

January 2000
Continuation of codimension-2 equilibrium bifurcations in CONTENT In Proceedings

W. Govaerts, Y.A. Kuznetsov and B. Sijnave

January 2000
An Overview of the MPEG-7 Description Definition Language (DDL) Proposals Article

Signal Processing: Image Communication, 271-293.

J. Hunter and F.-M. Nack (Frank)

January 2000
All content counts - the future in digital media computing is meta Article

IEEE MultiMedia, 7(3), 10-13.

F.-M. Nack (Frank)

January 2000
Copyright - Copywrong Article

IEEE MultiMedia, 2(4)

J. Dittmann and F.-M. Nack (Frank)

January 2000
Hybrid Narrative and Associative/Categorical Strategies for Interactive and Dynamic Video Presentation Generation Article

New Review of Hypermedia and Multimedia, 111-145.

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

January 2000
Cellular gravity Article

Parallel Processing Letters, 10(4), 383-393.

F.C. Gruau and J.T. Tromp (John)

January 2000
The Link vs. the Event: Activating and Deactivating Elements in Time-Based Hypermedia Article

New Review of Hypermedia and Multimedia, 89-109.

L. Hardman (Lynda), P. Schmitz (Patrick), J.R. van Ossenbruggen (Jacco), W.R.T. ten Kate and L. Rutledge (Lloyd)

January 2000

Previous

Next

Available Years