Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

Global geometric, and feature-based techniques for vector field visualization Article

Future Generation Computer Systems, 15(1), 87-98.

F.H. Post (Frits), W.C. de Leeuw (Wim), I. Ari Sadarjoen, F. Reinders and T. van Walsum

February 1999
Strategic behavior and noncooperative hierarchical control Article

Journal of Economic Dynamics and Control, 23(4), 641-669.

A.J.T.M. Weeren, J.M. Schumacher (Hans) and J.C. Engwerda

February 1999
The Alma project, or how first-order logic can help us in imperative programming Book Chapter

K.R. Apt (Krzysztof) and A. Schaerf (Andrea)

January 1999
Dynamic process composition and communication patterns in irregular strucutred applications In Proceedings

C.T.H. Everaars (Kees), B. Koren (Barry) and F. Arbab (Farhad)

January 1999
Scaling of program fitness spaces Article

Evolutionary Computation, 7(4), 399-428.

W.B. Langdon

January 1999
Parallel Adams methods Article

Journal of Computational and Applied Mathematics, 101(1-2), 153-165.

P.J. van der Houwen (Piet) and E. Messina

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

Journal of Computational and Applied Mathematics, 101(1-2), 131-152.

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

January 1999
A complete equational axiomatization for MPA with string iteration Article

Theoretical Computer Science, 211(1-2), 339-374.

L. Aceto (Luca) and J.F. Groote (Jan Friso)

January 1999
Graphs which locally mirror the hypercube structure Article

Information Processing Letters, 71(2), 87-90.

S. Klavžar, J. Koolen (Jack) and H.M. Mulder (Henry Martyn)

January 1999
Stability control for approximate implicit time stepping schemes with minimum residual iterations Article

Applied Numerical Mathematics, 31(3), 239-253.

M.A. Botchev, G.L.G. Sleijpen and H.A. van der Vorst (Henk)

January 1999
Non-existence and uniqueness results for the extended Fisher-Kolmogorov equation Tech Report

M.A. Peletier (Mark)

January 1999
A conserving discretization for a Stefan problem with an interface reaction at the free boundary Tech Report

C. Vuik, G. Segal and F.J. Vermolen

January 1999
Computer verification of the Ankeny-Artin-Chowla conjecture for all primes less than 100 000 000 000 Tech Report

A.J. van der Poorten (Alf), H.J.J. te Riele (Herman) and H.C. Williams

January 1999
Pretty-printing within the ASF+SDF meta-environment : a generic approach Tech Report

M.G.J. van den Brand (Mark) and M. de Jonge (Merijn)

January 1999
The propositional formula checker HeerHugo Tech Report

J.F. Groote (Jan Friso) and J.P. Warners (Joost)

January 1999
Compilation and memory management for ASF+SDF Tech Report

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

January 1999
Sojourn times in non-homogeneous QBD processes with processor sharing Tech Report

R. Núñez Queija (Rudesindo)

January 1999
Bayesian color image segmentation using reversible jump Markov chain Monte Carlo Tech Report

Z. Kato

January 1999
Performance evaluation of strategies for integration of elastic and stream traffic Tech Report

R. Núñez Queija (Rudesindo), J.L. van den Berg (Hans) and M.R.H. Mandjes (Michel)

January 1999
Scaling Bayesian network discovery through incremental recovery Tech Report

J.R. Castelo (Robert) and A.P.J.M. Siebes (Arno)

January 1999
Indexing real-world data using semi-structured documents Tech Report

A.R. Schmidt, M.A. Windhouwer (Menzo) and M.L. Kersten (Martin)

January 1999
Minimal graphics Tech Report

I. Herman (Ivan) and D.J. Duke

January 1999
An organic database system Tech Report

M.L. Kersten (Martin) and A.P.J.M. Siebes (Arno)

January 1999
Approximations of orthogonal polynomials in terms of Hermite polynomials Tech Report

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

January 1999
The robust regulation problem with robust stability Tech Report

M.K.K. Cevik and J.M. Schumacher (Hans)

January 1999
Factorization in block-triangularly implicit methods for shallow water applications Tech Report

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

January 1999
Diagonally implicit Runge-Kutta methods for 3D shallow water applications Tech Report

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

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

Previous

Next

Available Years