Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

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 (Robert) 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 (Pascal), 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 (Guy)

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 (Guy), 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
The stable central limit theorem for local martingales with bounded jumps via Skorohod embedding Tech Report

J.H. van Zanten (Harry)

January 2000
Algebraic framework for linear and morphological scale-spaces Tech Report

H.J.A.M. Heijmans (Henk) and R. van den Boomgaard

January 2000
Binary decision diagrams by shared rewriting Tech Report

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

January 2000
Time-stamped actions in pCRL algebras Tech Report

M.B. van der Zwaag

January 2000
GraphXML: an XML based graph interchange format Tech Report

I. Herman (Ivan) and M.S. Marshall (Scott)

January 2000
A cluster algorithm for graphs Tech Report

S. van Dongen

January 2000
A stochastic uncoupling process for graphs Tech Report

S. van Dongen

January 2000
Performance criteria for graph clustering and Markov cluster experiments Tech Report

S. van Dongen

January 2000
Parallel solution of a coupled flow and transport model for shallow water Tech Report

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

January 2000
On the construction of deflation-based preconditioners Tech Report

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

January 2000
Subdiffusive fluctuations of 'pulled' fronts with multiplicative noise Tech Report

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

January 2000
Universal algebraic convergence in time of pulled fronts: the common mechanism for difference-differential and partial differential equations Tech Report

U. Ebert (Ute), W. van Saarloos and L.A. Peletier (Bert)

January 2000
Strategies in filtering in the number field sieve Tech Report

S.H. Cavallar (Stefania)

January 2000
ROS3P : an accurate third-order Rosenbrock solver designed for parabolic problems Tech Report

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

January 2000
Computing toroidal functions for wide ranges of the parameters Tech Report

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

January 2000
Numerical and asymptotic aspects of parabolic cylinder functions Tech Report

N.M. Temme (Nico)

January 2000
The minimum of quadratic functionals of the gradient on the set of convex functions Tech Report

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

January 2000
Newton's problem of the body of minimal resistance in the class of convex developable functions Tech Report

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

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
The influence of evolutionary selection schemes on the iterated prisoner's dilemma Tech Report

D.D.B. van Bragt, C.H.M. van Kemenade (Cees) and J.A. La Poutré (Han)

January 2000
Scientific approaches and techniques for negotiation : a game theoretic and artificial intelligence perspective Tech Report

E.H. Gerding (Enrico), D.D.B. van Bragt and J.A. La Poutré (Han)

January 2000
Equational binary decision diagrams Tech Report

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

January 2000
State space reduction using partial $\tau$-confluence Tech Report

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

January 2000
Resolution and binary decision diagrams cannot simulate each other polynomially Tech Report

J.F. Groote (Jan Friso) and H. Zantema (Hans)

January 2000
Application software, domain-specific languages, and language design assistants Tech Report

J. Heering (Jan)

January 2000
Development of parsing tools for Casl using generic language technology Tech Report

M.G.J. van den Brand (Mark) and J. Scheerder

January 2000
An $ omega $-complete equational specification of interleaving Tech Report

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

January 2000
Equilibrium selection in alternating-offers bargaining models: the evolutionary computing approach Tech Report

D.D.B. van Bragt, E.H. Gerding (Enrico) and J.A. La Poutré (Han)

January 2000
Compiling language definitions: the ASF+SDF compiler Tech Report

M.G.J. van den Brand (Mark), J. Heering (Jan), P. Klint (Paul) and P.A. Olivier (Pieter)

January 2000
Transient analysis of traffic generated by bursty sources, and its application to measurement-based admission control Tech Report

M.R.H. Mandjes (Michel) and M.J.G. van Uitert (Miranda)

January 2000
Induced burstiness in generalized processor sharing queues with long-tailed traffic flows Tech Report

S.C. Borst (Sem), O.J. Boxma (Onno) and P.R. Jelenkovic

January 2000
A geometric proof of confluence by decreasing diagrams Tech Report

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

January 2000
Towards automated verification of Splice in $ mu $CRL Tech Report

P.F.G. Dechering and I.A. van Langevelde

January 2000
Partial servicing of on-line jobs Tech Report

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

January 2000
Numerical solution of steady free-surface Navier-Stokes flow Tech Report

E.H. van Brummelen (Harald)

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

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

January 2000
Automatic generation of interactive overview diagrams for the navigation of large graphs Tech Report

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

January 2000
Revealing local variability properties of human heartbeat intervals with the local effective Hölder exponent Tech Report

Z.R. Struzik

January 2000
CharToon 2.1 extensions : expression repertoire and lip sync Tech Report

Z.M. Ruttkay and A.D.F. Lelièvre (Alban)

January 2000
Asians and cash dividends : exploiting symmetries in pricing theory Tech Report

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

January 2000
Diffusive gradients in the PTS system Tech Report

J.G. Blom (Joke) and M.A. Peletier (Mark)

January 2000
Time integration of the shallow water equations in spherical geometry Tech Report

D. Lanser (Debby), J.G. Blom (Joke) and J.G. Verwer (Jan)

January 2000
Asymptotic results for injection of reactive solutes from a three-dimensional well Tech Report

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

January 2000
Types and concept analysis for legacy systems Tech Report

T. Kuipers (Tobias) and L.M.F. Moonen (Leon)

January 2000
Legacy to the extreme Tech Report

A. van Deursen (Arie), T. Kuipers (Tobias) and L.M.F. Moonen (Leon)

January 2000
Linearization in parallel pCRL Tech Report

J.F. Groote (Jan Friso), A. Ponse (Alban) and Y.S. Usenko (Yaroslav)

January 2000
A logical interface description language for components Tech Report

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

January 2000
A compositional model for confluent dynamic data-flow networks Tech Report

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

January 2000
State-dependent M/G/1 type queueing analysis for congestion control in data networks Tech Report

E. Altman, K. Avrachenkov, C. Barakat and R. Núñez Queija (Rudesindo)

January 2000

Previous

Next

Available Years