Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

A numerical study for global atmospheric transport-chemistry problems Tech Report

E.J. Spee (Edwin), J.G. Verwer (Jan), P.M. de Zeeuw (Paul), J.G. Blom (Joke) and W. Hundsdorfer (Willem)

January 1997
On the construction of error estimators for implicit Runge-Kutta methods Tech Report

J.J.B. de Swart (Jacques) and G. Söderlind

January 1997
Description of the 3D LOTOS model Tech Report

J.G. Blom (Joke) and M.G.M. Roemer

January 1997
Causation, explanation and nonmonotonic temporal reasoning Tech Report

P.D. Grünwald (Peter)

January 1997
Designing active objects in DEGAS Tech Report

J.F.P. van den Akker (Johan) and A.P.J.M. Siebes (Arno)

January 1997
A free boundary problem involving a cusp Tech Report

H.W. Alt and C.J. van Duijn (Hans)

January 1997
Computation of elliptic Fekete point sets Tech Report

J.D. Pintér, W.J.H. Stortelder (Walter) and J.J.B. de Swart (Jacques)

January 1997
Numerical algorithms for uniform Airy-type asymptotic expansions Tech Report

N.M. Temme (Nico)

January 1997
Edge sequences, ribbon tableaux, and an action of affine permutations Tech Report

M.A.A. van Leeuwen (Marc)

January 1997
Some bijective correspondence involving domino tableaux Tech Report

M.A.A. van Leeuwen (Marc)

January 1997
The Littlewood-Richardson rule, theory and implementation Tech Report

M.A.A. van Leeuwen (Marc)

January 1997
Sensitivity of atmospheric transport model performance to numerical advection schemes and resolution Tech Report

E.J. Spee (Edwin), A.C. Petersen, H. van Dop and W. Hundsdorfer (Willem)

January 1997
The wavelet X-ray transform Tech Report

R.A. Zuidwijk

January 1997
On a crossroad of resampling plans : bootstrapping elementary symmetric polynomials Tech Report

A.J. van Es (Bert), R. Helmers (Roelof) and M. Husková

January 1997
Kalman filtering for nonlinear atmospheric chemistry models : first experiences Tech Report

M. van Loon (Martin) and A.W. Heemink

January 1997
Nonlinear multigrid for fully-implicit and high-order accurate simluation of multiphase flow in porous media Tech Report

J. Molenaar (Gijs)

January 1997
Convergence results for 3D sparse grid approaches Tech Report

J. Noordmans and P.W. Hemker (Piet)

January 1997
Numerical continuation of equilibria of physiologically structured population models Tech Report

M.A. Kirkilionis, O. Diekmann (Odo), B. Lisser (Bert), M. Nool (Margreet), A.M. de Roos and B.P. Sommeijer (Ben)

January 1997
RKC : an explicit solver for parabolic PDEs Tech Report

B.P. Sommeijer (Ben), L.F. Shampine and J.G. Verwer (Jan)

January 1997
Design by continuous collaboration between manual and automatic optimization Tech Report

K.E. Shahroudi

January 1997
Aircraft conceptual design by collaborative manual and automatic agents Tech Report

K.E. Shahroudi

January 1997
Flipping the analytical coin : closing the information flow loop in high speed (real time) analysis Tech Report

K.E. Shahroudi

January 1997
Little languages : little maintenance? Tech Report

A. van Deursen (Arie) and P. Klint (Paul)

January 1997
Using coordination to parallelize sparse-grid methods for 3D CFD problems Tech Report

C.T.H. Everaars (Kees) and B. Koren (Barry)

January 1997
Description and formal specification of the link layer of P1394 Tech Report

S.P. Luttik (Bas)

January 1997
Fluid queues with long-tailed activity period distributions Tech Report

O.J. Boxma (Onno) and V. Dumas

January 1997
From chaotic iteration to constraint propagation Tech Report

K.R. Apt (Krzysztof)

January 1997
Scheduling sport tournaments using constraint logic programming Tech Report

A. Schaerf

January 1997
Connected morphological operators for binary images Tech Report

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

January 1997
Numerieke berekeningen aan een luchtstroming in een spleetblazer, uit het oogpunt van trekkrachtgeneratie in een nonwoven-produktieproces [Numerical computation of flow phenomena in a transport jet for the tractive power generation in a nonwoven producti Tech Report

D. Lanser (Debby)

January 1997
Typed logics with states Tech Report

D.J.N. van Eijck (Jan)

January 1997
Relating the primitive hierarchy of the PREMO standard to the standard reference model for intelligent multimedia presentation systems Tech Report

D.J. Duke, I. Herman (Ivan), T. Rist and M. Wilson

January 1997
Programming paradigms in an object-oriented multi-media standard Tech Report

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

January 1997
On polynomials related with Hermite-Padé approximations to the exponential function Tech Report

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

January 1997
A two-level approach to automated conformance testing of VHDL designs Tech Report

J.R. Moonen, J.M.T. Romijn (Judi), O. Sies (Olaf), J.G. Springintveld, L.M.G. Feijs (Loe) and R.L.C. Koymans

January 1997
A complete equational axiomatization for MPA with string iteration Tech Report

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

January 1997
The syntax and semantics of timed $ mu $ CRL Tech Report

J.F. Groote (Jan Friso)

January 1997
Nonconvex continuous models for combinatorial optimization problems with application to satisfiability and node packing problems Tech Report

J.P. Warners (Joost)

January 1997
Weighted colimits and formal balls in generalized metric spaces Tech Report

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

January 1997
Program plan recognition for year 2000 tools Tech Report

A. van Deursen (Arie), S. Woods and A. Quilici

January 1997
Validating year 2000 compliance Tech Report

A. van Deursen (Arie), P. Klint (Paul) and M.P.A. Sellink

January 1997
A model for strategy in constraint solving Tech Report

J.J. van Wijk (Jack)

January 1997
Divide and conquer spot noise Tech Report

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

January 1997
Steering smog prediction Tech Report

R. van Liere (Robert) and J.J. van Wijk (Jack)

January 1997
Parametrizable cameras for 3D computational steering Tech Report

J.D. Mulder (Jurriaan) and J.J. van Wijk (Jack)

January 1997
Bringing computational steering to the user Tech Report

J.J. van Wijk (Jack), R. van Liere (Robert) and J.D. Mulder (Jurriaan)

January 1997
Interactive exploration and modeling of large data sets: a case study with Venus light scattering data Tech Report

J.J. van Wijk (Jack), H.J.W. Spoelder, W.-J.J. Knibbe and K.E. Shahroudi

January 1997
A heavy-traffic theorem for the GI/G/1 queue with a Pareto-type service time distribution Tech Report

J.W. Cohen

January 1997
Heavy-traffic analysis for the GI/G/1 queue with heavy-tailed distributions Tech Report

O.J. Boxma (Onno) and J.W. Cohen

January 1997
The excluded minors for GF(4)-representable matroids Tech Report

J. Geelen (Jim), A.M.H. Gerards (Bert) and A. Kapoor

January 1997
Steady-state analysis of a queue with varying service rate Tech Report

R. Núñez Queija (Rudesindo)

January 1997
Alma-0: an imperative language that supports declarative programming Tech Report

K.R. Apt (Krzysztof), J. Brunekreef, V. Partinton and A. Schaerf

January 1997
The M/G/1 fluid model with heavy-tailed message length distributions Tech Report

J.W. Cohen

January 1997
Specification of components in a proposition solver Tech Report

B. Lisser (Bert) and J.J. van Wamel

January 1997
A second order Rosenbrock method applied to photochemical dispersion problems Tech Report

J.G. Verwer (Jan), E.J. Spee (Edwin), J.G. Blom (Joke) and W. Hundsdorfer (Willem)

January 1997
Analysis of approximate factorization in iteration methods Tech Report

C. Eichler-Liebenow, P.J. van der Houwen (Piet) and B.P. Sommeijer (Ben)

January 1997
Spatial and time localization of solutions of the Boussinesq system with nonlinear thermal diffusion Tech Report

G. Galiano

January 1997
Mathematical modelling in blood coagulation : simulation and parameter estimation Tech Report

W.J.H. Stortelder (Walter), P.W. Hemker (Piet) and H.C. Hemker (Coen)

January 1997
Stability of approximate factorization with $ heta $-methods Tech Report

W. Hundsdorfer (Willem)

January 1997
Existence and uniqueness of solutions to the Boussinesq system with nonlinear thermal diffusion Tech Report

J.I. Díaz (Jesús Ildefonso) and G. Galiano

January 1997
On a quasilinear degenerated system arising in semiconductors theory Tech Report

J.I. Díaz (Jesús Ildefonso), G. Galiano and A. Jüngel

January 1997
Brine transport in porous media Tech Report

C.J. van Duijn (Hans) and R.J. Schotting (Ruud)

January 1997
Analysis of oil lens removal by extraction through a seepage face Tech Report

M.I.J. van Dijke and S.E.A.T.M. van der Zee

January 1997
On the direction of fibring feature logics with concatenation logics Tech Report

N. Francez

January 1997
Hypothetical-reasoning and radical non-constituent coordination in categorical logic Tech Report

N. Francez

January 1997
Size distributions in stochastic geometry Tech Report

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

January 1997
Within ARM's reach : compilation of left-linear rewrite systems via minimalrewrite systems Tech Report

W.J. Fokkink (Wan), J.F.T. Kamperman (Jasper) and H.R. Walters (Pum)

January 1997
Equations as a framework for partial evaluation and abstract interpretation Tech Report

J. Field, J. Heering (Jan) and T.B. Dinesh

January 1997
PREMO : a case study in formal methods and multimedia system specification Tech Report

D.A. Duce, D.J. Duke, G. Faconti, I. Herman (Ivan) and M. Massink

January 1997
Asymptotics and zero distribution of Padé polynomials associated with the exponential function Tech Report

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

January 1997
Analytical methods for a selection of elliptic singular perturbation problems Tech Report

N.M. Temme (Nico)

January 1997
How mangroves salinize the soil Tech Report

C.J. van Duijn (Hans), G. Galiano, J.H. Knight and M.A. Peletier (Mark)

January 1997
Modelingof air sparging in a layered soil : numerical and analytical approximations Tech Report

M.I.J. van Dijke and S.E.A.T.M. van der Zee

January 1997
Explicit normal form coefficients for all codim 2 bifurcations of equilibria in ODEs Tech Report

Y.A. Kuznetsov

January 1997
A level-set method for moving material-void interfaces Tech Report

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

January 1997
The interface between fresh and salt groundwater in heterogeneous aquifers: a numerical approach Tech Report

J.F. Scheid and R.J. Schotting (Ruud)

January 1997
Epic and ARM : user's guide Tech Report

H.R. Walters (Pum)

January 1997
The sufficient cause principle and reasoning about action Tech Report

P.D. Grünwald (Peter)

January 1997
Scalable storage for a DBMS using transparent distribution Tech Report

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

January 1997
Efficient resource utilization in shared-everything environments Tech Report

S. Manegold (Stefan) and J.K. Obermaier

January 1997
The use of approximate factorization in stiff ODE solvers Tech Report

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

January 1997
A parallel Jacobi-Davidson method for solving generalized eigenvalue problems in linear magnetohydrodynamics Tech Report

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

January 1997
High-concentration-gradient dispersion in porous media : experiments, analysis and approximations Tech Report

R.J. Schotting (Ruud), H. Moser and S.M. Hassanizadeh

January 1997
Desciptor representations of jump behaviors Tech Report

U. Baser and J.M. Schumacher (Hans)

January 1997
A complete calculus for equational deduction in coalgebraic specification Tech Report

A. Corradini

January 1997
Modeling of genetic algorithms with a finite population Tech Report

C.H.M. van Kemenade (Cees)

January 1997
The mixing evolutionary algorithm : indepedent selection and allocation of trials Tech Report

C.H.M. van Kemenade (Cees)

January 1997
Control for a class of hybrid systems Tech Report

J.H. van Schuppen (Jan)

January 1997
Quadratic vs cubic spline-wavelets for image representations and compression Tech Report

P.C. Marais, E.H. Blake and A.A.M. Kuijk (Fons)

January 1997
The busy period in the fluid queue Tech Report

O.J. Boxma (Onno) and V. Dumas

January 1997
Heavy-traffic limit theorems for the haevy-tailed GI/G/1 queue Tech Report

J.W. Cohen

January 1997
On time-frequency analysis and time-limitedness Tech Report

P.J. Oonincx

January 1997
Translating logic programs into conditional rewriting systems Tech Report

F. van Raamsdonk (Femke)

January 1997
Multiple semi-coarsening techniques Book Chapter

P.M. de Zeeuw (Paul)

January 1997
Quantum computation Book Chapter

A. Berthiaume

January 1997
Fractals under the microscope or reaching beyond the dimensional formalism of fractals with the wavelet transform Article

CWI Quarterly, 10(2), 109-151.

Z.R. Struzik

January 1997
Quasicomplete factorizations of rational matrix functions Article

Integral Equations and Operator Theory, 27(1), 111-124.

R.A. Zuidwijk

January 1997
Triangularly implicit iteration methods for ODE-IVP solvers. Dedicated to C. William Gear on the occasion of his 60th birthday Article

SIAM Journal on Scientific Computing, 18(1), 41-55.

P.J. van der Houwen (Piet) and J.J.B. de Swart (Jacques)

January 1997
Complementary triangular forms In Proceedings

R.A. Zuidwijk

January 1997
Integrable particle systems vs solutions to the KP and 2D Toda equations Article

Annals of Physics, 256(2), 226-301.

S.N.M. Ruijsenaars (Simon)

January 1997

Previous

Next

Available Years