Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

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

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 $ heta$-methods Article

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

W. Hundsdorfer (Willem)

January 1999
A generalized hypergeometric function satisfying four analytic difference equations of Askey-Wilson type Article

Communications in Mathematical Physics, 206(3), 639-690.

S.N.M. Ruijsenaars (Simon)

January 1999
Non-existence and uniqueness results for fourth-order Hamiltonian systems Article

Nonlinearity, 12(6), 1555-1570.

M.A. Peletier (Mark)

January 1999
A note on coinduction and weak bisimilarity for while programs Article

Theoretical Informatics and Applications, 33(4-5), 393-400.

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

January 1999
Numerical normalization techniques for all codim $2$ bifurcations of equilibria in ODE's Article

SIAM Journal on Numerical Analysis, 36(4), 1104-1124.

Y.A. Kuznetsov

January 1999
The PicToSeek WWW Image Search System In Proceedings

T. Gevers and A.W.M. Smeulders (Arnold)

January 1999
Segmentation of Tissue Architecture by Distance Graph Matching Article

Cytometry, 35(1), 12-22.

J.M. Geusebroek (Jan-Mark), A.W.M. Smeulders (Arnold), F.J. Cornelissen and A.H.W. Geerts

January 1999
Grammatical Inference of Dashed Lines Article

Computer Vision and Image Understanding, 74(3), 212-226.

A. Jonk, R. van den Boomgaard and A.W.M. Smeulders (Arnold)

January 1999
Filter Image Browsing: Exploiting Interaction in Retrieval In Proceedings

J. Vendrig, M. Worring (Marcel) and A.W.M. Smeulders (Arnold)

January 1999
Content-Based Image Retrieval by Viewpoint-Invariant Color Indexing Article

Image and Vision Computing, 17(7), 475-488.

T. Gevers and A.W.M. Smeulders (Arnold)

January 1999
Content Based Internet Access to Scanned Documents Article

International Journal on Document Analysis and Recognition, 1(4)

M. Worring (Marcel) and A.W.M. Smeulders (Arnold)

January 1999
Color-Based Object Recognition Article

International Journal of Pattern Recognition and Artificial Intelligence, 32(2), 453-464.

T. Gevers and A.W.M. Smeulders (Arnold)

January 1999
ELF and GNOME: two tiny codes to evaluate the real zeros of the Bessel functions of the first kind for real orders Article

Computer Physics Communications, 117(3), 250-262.

J. Segura (Javier) and A. Gil (Amparo)

January 1999
A fed back level-set method for moving material-void interfaces In Proceedings

B. Koren (Barry) and A.C.J. Venis

January 1999
Parallel Jacobi-Davidson for solving generalized eigenvalue problems In Proceedings

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

January 1999
Conservative extension in structural operational semantics Article

Bulletin of the EATCS, 110-132.

L. Aceto (Luca), W.J. Fokkink (Wan) and C. Verhoef (Chretien)

January 1999
An open automated framework for constraint solver extension: the SoleX approach In Proceedings

E.B.G. Monfroy and C. Ringeissen

January 1999
New applications of the incompressibility method (extended abstract) In Proceedings

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

January 1999
Average-case complexity of Shellsort (preliminary version) In Proceedings

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

January 1999
Stability of stationary velocity profiles in fiber spinning In Proceedings

C.J. van Duijn (Hans), J. Hulshof, R. van der Hout and J.H. Smink

January 1999
Verification of temporal properties of processes in a setting with data In Proceedings

J.F. Groote (Jan Friso) and R. Mateescu

January 1999
An $ \epsilon $ - uniform defect-correction method for a parabolic convection-diffusion problem In Proceedings

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

January 1999
PVR An Architecture for Portable VR Applications In Proceedings

R. van Liere (Robert) and J.C. Mulder

January 1999
Fast perception-based depth of field rendering In Proceedings

R. van Liere (Robert) and J.C. Mulder

January 1999
Collapsing flow topology using area metrics In Proceedings

R. van Liere (Robert) and W.C. de Leeuw (Wim)

January 1999
The Essence of Constraint Propagation In Proceedings

K.R. Apt (Krzysztof)

January 1999

Previous

Next

Available Years