Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

Latour : a tree visualisation system Tech Report

I. Herman (Ivan), G. Melançon (Guy), M.M. de Ruiter and M. Delest

January 1999
Automata, power series, and coinduction : taking input derivatives seriously (extended abstract) Tech Report

J.J.M.M. Rutten (Jan)

January 1999
HASDF : a generalized LR-parser generator for Haskell Tech Report

M. de Jonge (Merijn), T. Kuipers (Tobias) and J.M.W. Visser (Joost)

January 1999
Relaxations of the satisfiability problem using semidefinite programming Tech Report

E. de Klerk (Etienne), H. van Maaren and J.P. Warners (Joost)

January 1999
Size fair and homologous tree crossovers Tech Report

W.B. Langdon

January 1999
Research issues in the renovation of legacy systems Tech Report

A. van Deursen (Arie), P. Klint (Paul) and C. Verhoef (Chretien)

January 1999
Understanding COBOL systems using inferred types Tech Report

A. van Deursen (Arie) and L.M.F. Moonen (Leon)

January 1999
Markov chain conditions for admissibility in estimation problems with quadratic loss Tech Report

M.L. Eaton

January 1999
Front propagation into unstable states : universal algebraic convergence towards uniformly translating pulled fronts Tech Report

U. Ebert (Ute) and W. van Saarloos

January 1999
Splitting methods for partial Volterra integro-differential equations Tech Report

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

January 1999
A comparison of integration methods for atmospheric transport-chemistry problems Tech Report

J.G. Blom (Joke) and J.G. Verwer (Jan)

January 1999
Probabilistic bottom-up join order selection - breaking the curse of NP-completeness Tech Report

F. Waas (Florian) and A.J. Pellenkoft (Jan)

January 1999
Constraint-based facial animation Tech Report

Z.M. Ruttkay

January 1999
Cellular gravity Tech Report

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

January 1999
The Maxwell stability criterion in pseudo-energy models of kink banding Tech Report

G.W. Hunt, M.A. Peletier (Mark) and M. Ahmer Wadee

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

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

January 1999
Parallel iteration of the extended backward differentiation formulas Tech Report

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

January 1999
Approximate factorization for time-dependent partial differential equations Tech Report

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

January 1999
Diagonizable extended backward differentiation formulas Tech Report

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

January 1999
Spatial discretization of the shallow water equations in spherical geometryusing Osher's scheme Tech Report

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

January 1999
Verifying a smart design of TCAP : a synergetic experience Tech Report

T. Arts and I.A. van Langevelde

January 1999
Cylindric process algebras with conditionals give substitutionless $ p $ CRL Tech Report

S.P. Luttik (Bas)

January 1999
Late-breaking papers of EuroGP-99 Tech Report

W.B. Langdon, R. Poli, P. Nordin and T. Fogarty

January 1999
Complete axiomatisations of weak-, delay- and $ eta $ -bisimulation for process algebras with alternative quantification over data Tech Report

S.P. Luttik (Bas)

January 1999
Model checking the HAVi leader election protocol Tech Report

J.M.T. Romijn (Judi)

January 1999
Building documentation generators Tech Report

A. van Deursen (Arie) and T. Kuipers (Tobias)

January 1999
A comparison of Spin and the $ mu $ CRL toolset on HAVi leader election protocol Tech Report

Y.S. Usenko (Yaroslav)

January 1999
A note on the superposition of Markov point processes Tech Report

M.N.M. van Lieshout (Marie-Colette)

January 1999
Scaling invariance and contingent claim pricing Tech Report

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

January 1999
Boxenv.sty : a LATEX style file for formatting BOX expressions Tech Report

M. de Jonge (Merijn)

January 1999
Cost distributions in a symmetric Euclidean traveling salesman problems : asupplement to TSPLIB Tech Report

F. Waas (Florian)

January 1999
Optimizing main-memory join on modern hardware Tech Report

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

January 1999
Asymptotic estimates for generalized Stirling numbers Tech Report

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

January 1999
Some remarks on multilevel algorithms for finite difference discretizationson sparse grids Tech Report

F. Sprengel

January 1999
Factorization of RSA-140 using the number field sieve Tech Report

S.H. Cavallar (Stefania), B. Dodson, A.K. Lenstra (Arjen), P.C. Leyland, W.M. Lioen (Walter), P.L. Montgomery, B. Murphy, H.J.J. te Riele (Herman) and P. Zimmermann

January 1999
The role of Hermite polynomials in asymptotic analysis Tech Report

N.M. Temme (Nico) and J.L. López

January 1999
Hermite polynomials in asymptotic representations of generalized Bernoulli,Euler, Bessel and Buchholz polynomials Tech Report

J.L. López and N.M. Temme (Nico)

January 1999
A timed verification of the IEEE 1394 leader election protocol Tech Report

J.M.T. Romijn (Judi)

January 1999
The fast wavelet X-ray transform Tech Report

R.A. Zuidwijk and P.M. de Zeeuw (Paul)

January 1999
On the uniform convergence of local time and the uniform consistency of density estimators for ergodic diffusions Tech Report

J.H. van Zanten (Harry)

January 1999
Multi-relational data mining Tech Report

A.J. Knobbe (Arno), H. Blockeel, A.P.J.M. Siebes (Arno) and D.M.G. van der Wallen

January 1999
Exploiting symmetry in protocol testing Tech Report

J.M.T. Romijn (Judi) and J.G. Springintveld

January 1999
Adaptive sparse-grid combination-solutions for a singular perturbation problem Tech Report

J. Noordmans

January 1999
Sequential buckling : a variational analysis Tech Report

M.A. Peletier (Mark)

January 1999
A zooming technique for wind transport of air pollution Tech Report

P.J.F. Berkvens (Patrick), M.A. Botchev, W.M. Lioen (Walter) and J.G. Verwer (Jan)

January 1999
Analysis of the incompressible Navier-Stokes equations with a quasi free-surface condition Tech Report

E.H. van Brummelen (Harald)

January 1999
$ Omega $ -storage : a self organizing multi-attribute storage technique for very large main memories Tech Report

J.S. Karlsson (Jonas) and M.L. Kersten (Martin)

January 1999
Gel placement in porous media Tech Report

F.J. Vermolen, J. Bruining and C.J. van Duijn (Hans)

January 1999
A mathematical model for preflush treatment in an oil reservoir using a fully miscible fluid Tech Report

F.J. Vermolen, G.-J. Pieters, P.L.J. Zitha and J. Bruining

January 1999
The sparse-grid combination technique applied to time-dependent advection problems Tech Report

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

January 1999
Application of the over-set grid technique to a model singular perturbation problem Tech Report

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

January 1999
Infiltration in porous media with dynamic capillary pressure : travelling waves Tech Report

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

January 1999
On the representation of functions and finite difference operators on adaptive sparse grids Tech Report

P.W. Hemker (Piet) and F. Sprengel

January 1999
Computing probabilistic bounds for extreme eigenvalues of symmetric matrices with the Lanczos method Tech Report

J.L.M. van Dorsselaer, M.E. Hochstenbach and H.A. van der Vorst (Henk)

January 1999
Accuracy and stability of splitting with stabilizing corrections Tech Report

W. Hundsdorfer (Willem)

January 1999
Downlink scheduling in CDMA data networks Tech Report

A. Bedekar, S.C. Borst (Sem), K. Ramanan, P.A. Whiting and E.M. Yeh

January 1999
Consistent estimation of the intensity function of a cyclic Poisson process Tech Report

R. Helmers (Roelof), I.W. Mangku (Wayan) and R. Zitikis

January 1999
Asymptotic behavior of generalized processor sharing with long-tailed traffic sources Tech Report

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

January 1999
Random sampling for the monomer-dimer model on a lattice Tech Report

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

January 1999
A correlation inequality for connection events in percolation Tech Report

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

January 1999
Integral representations of affine transformations in phase space with an application to energy localization problems Tech Report

H.G. ter Morsche and P.J. Oonincx

January 1999
The logic of public announcements, common knowledge, and private suspicions Tech Report

A. Baltag, L.S. Moss and S. Solecki

January 1999
Resource augmentation in load balancing Tech Report

Y. Azar, L. Epstein (Lea) and R. van Stee (Rob)

January 1999
Counting, enumerating and sampling of execution plans in a cost-based query optimizer Tech Report

F. Waas (Florian) and C.A. Galindo-Legaria (César)

January 1999
Direct multifractal spectrum calculation from the wavelet transform Tech Report

Z.R. Struzik

January 1999
DAG drawing from an information visualization perspective Tech Report

G. Melançon (Guy) and I. Herman (Ivan)

January 1999
Semantics of programming languages : a tool-oriented approach Tech Report

J. Heering (Jan) and P. Klint (Paul)

January 1999
Coalgebra, concurrency and control Tech Report

J.J.M.M. Rutten (Jan)

January 1999
Truth-as-simulation : towards a coalgebraic perspective on logic and games Tech Report

A. Baltag

January 1999
Towards an infinitary logic of domains : Abramsky logic for transition systems Tech Report

M.M. Bonsangue (Marcello) and J.N. Kok (Joost)

January 1999
A coordination language for mobile components Tech Report

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

January 1999
Overflow behavoir in queues with many long-tailed inputs Tech Report

M.R.H. Mandjes (Michel) and S.C. Borst (Sem)

January 1999
A note on Bernstein-type inequalities for martingales Tech Report

K.O. Dzhaparidze (Kacha) and J.H. van Zanten (Harry)

January 1999
Statistical estimation of Poisson intensity functions Tech Report

R. Helmers (Roelof) and I.W. Mangku (Wayan)

January 1999
Nearest neighbor estimation of the intensity function of a cyclic Poisson process Tech Report

I.W. Mangku (Wayan)

January 1999
Extensionality of simply typed logic programs Tech Report

M.A. Bezem

January 1999
Nieuwjaarskaart 1999 Other

January 1999
Quermass-interaction processes: Conditions for stability Article

Advances in Applied Probability, 31(2), 315-342.

W.S. Kendall, M.N.M. van Lieshout (Marie-Colette) and A.J. Baddeley (Adrian)

January 1999
Easy recipes for morphological filters Book Chapter

H.J.A.M. Heijmans (Henk)

January 1999
Introduction to connected operators Book Chapter

H.J.A.M. Heijmans (Henk)

January 1999
Re-initialization in discontinuous systems Book Chapter

J.M. Schumacher (Hans)

January 1999
Equivalences of discrete-event systems and of hybrid systems Book Chapter

J.H. van Schuppen (Jan)

January 1999
Automata, power series, and coinduction: taking input derivatives seriously (extended abstract) In Proceedings

J.J.M.M. Rutten (Jan)

January 1999
Dynamics of surface maps with homoclinic and heteroclinic tangles Dissertation

P.J. Collins (Pieter)

January 1999
Zero and pole distribution of diagonal padÉ approximants to the exponential function Article

Quaestiones Mathematicae, 22(1), 7-17.

K.A. Driver (Kathy) and N.M. Temme (Nico)

January 1999
On the null space of a Colin de Verdière matrix Article

Annales de l'Institut Fourier, 49(3), 1017-1026.

L. Lovász (László) and A. Schrijver (Lex)

January 1999
Mixed solutions of teh Yang-Baxter equation and the associated knot and link invariants In Proceedings

M. Hazewinkel (Michiel)

January 1999
Key words and key phrases in scientific databases. Aspects of guaranteeing output quality In Proceedings

M. Hazewinkel (Michiel)

January 1999
Multimedia Information Analysis (MIA) : the value of networked vision : in conversation with Martin Kersten and Arnold Smeulders Book

M.L. Kersten (Martin) and A.W.M. Smeulders (Arnold)

January 1999
Cascading Style Sheets, level 1, Second Edition Standard

H.W. Lie, B. Bos and S. Pemberton (Steven)

January 1999
Systems of Calogero-Moser type In Proceedings

S.N.M. Ruijsenaars (Simon)

January 1999
Computational sieving applied to some classical number-theoretic problems In Proceedings

H.J.J. te Riele (Herman)

January 1999
Generalized Lamé functions I. The elliptic case Article

Journal of Mathematical Physics, 40(3), 1595-1626.

S.N.M. Ruijsenaars (Simon)

January 1999
Generalized Lamé functions II. Hyperbolic and trigonometric specializations Article

Journal of Mathematical Physics, 40(3), 1627-1663.

S.N.M. Ruijsenaars (Simon)

January 1999
Lyndon words and singular factors of Sturmian words In Proceedings

G. Melançon (Guy)

January 1999
STS: a structural theory of sets Article

Logic Journal of the IGPL, 7(4), 481-515.

A. Baltag

January 1999
Relativistic Lamé functions: the special case $g=2$ Article

Journal of Physics A: Mathematical and Theoretical, 32(9), 1737-1772.

S.N.M. Ruijsenaars (Simon)

January 1999
A wavelet method for detecting $S$-waves in seismic data Article

Computational Geosciences, 3(2), 111-134.

P.J. Oonincx

January 1999
Introduction to option pricing in a securities market III. Gaussian approximation Article

CWI Quarterly, 12(1), 23-61.

K.O. Dzhaparidze (Kacha)

January 1999
Stability of approximate factorication with $\theta$-methods Article

BIT : Numerical Mathematics, 39(3), 473-483.

W. Hundsdorfer (Willem)

January 1999

Previous

Next

Available Years