Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

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

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
Distributed splitting of constraint satisfaction problems Tech Report

F. Arbab (Farhad) and E.B.G. Monfroy

January 2000
New results on flow time with resource augmentation Tech Report

L. Epstein (Lea) and R. van Stee (Rob)

January 2000
ASF+SDF parsing tools applied to ELAN Tech Report

M.G.J. van den Brand (Mark) and C. Ringeissen

January 2000
Syntax and semantics of a high-level intermediate representation for ASF+SDF Tech Report

J.A. Bergstra (Jan) and M.G.J. van den Brand (Mark)

January 2000
Domain-specific languages Tech Report

A. van Deursen (Arie), P. Klint (Paul) and J.M.W. Visser (Joost)

January 2000
Expressiveness of basic Splice Tech Report

J.C. van de Pol (Jaco)

January 2000
Completeness of timed $ mu $ CRL Tech Report

J.F. Groote (Jan Friso), M.A. Reniers (Michel), J.J. van Wamel and M.B. van der Zwaag

January 2000
Fuzzy logic and mathematical morphology Tech Report

T.-Q. Deng

January 2000
Dimensioning large call centers Tech Report

S.C. Borst (Sem), A. Mandelbaum and M.I. Reiman

January 2000
Integrating multimedia characteristics in web-based document languages Tech Report

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

January 2000
Cuypers : a semi-automatic hypermedia generation system Tech Report

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

January 2000
Implicit-explicit time stepping with spatial discontinuous finite elements Tech Report

W. Hundsdorfer (Willem) and J. Jaffré

January 2000
Improving approximate matrix factorizations for implicit time integration in air pollution modelling Tech Report

M.A. Botchev and J.G. Verwer (Jan)

January 2000
Branching time and orthogonal bisimulation equivalence Tech Report

J.A. Bergstra (Jan), A. Ponse (Alban) and M.B. van der Zwaag

January 2000
The cones and foci proof techniques for timed transition systems Tech Report

M.B. van der Zwaag

January 2000
Coalgebras and modal logic for parametrised endofunctors Tech Report

A. Kurz (Alexander) and D. Pattinson

January 2000
Object-oriented tree traversal with JJForester Tech Report

T. Kuipers (Tobias) and J.M.W. Visser (Joost)

January 2000
Stabilization of tag-mediated interaction by sexual reproduction in an evolutionary agent system Tech Report

F. Alkemade (Floortje), D.D.B. van Bragt and J.A. La Poutré (Han)

January 2000
Generalised coinduction Tech Report

F. Bartels (Falk)

January 2000
A logic for suspicious players : epistemic actions and belief-update in games Tech Report

A. Baltag

January 2000
Reduced-load equivalence and induced burstiness in GPS queues with long-tailed traffic flows Tech Report

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

January 2000
A control problem for affine dynamical systems on a full-dimensional simplex Tech Report

L.C.G.J.M. Habets (Luc) and J.H. van Schuppen (Jan)

January 2000
A signal-recovery system : asymptotic properties, and construction of an infinite-volume limit Tech Report

J. van den Berg (Rob) and B. Tóth

January 2000
Unsupervised clustering with spiking neurons by sparse temporal coding and multi-layer RBF networks Tech Report

S.M. Bohte (Sander), J.A. La Poutré (Han) and J.N. Kok (Joost)

January 2000
Error-backpropagation in temporally encoded networks of spiking neurons Tech Report

S.M. Bohte (Sander), J.A. La Poutré (Han) and J.N. Kok (Joost)

January 2000

Previous

Next

Available Years