Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

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

Previous

Next

Available Years