Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

GMFW symposium Jan de Witt: wiskundige en staatsman, in het kader van NMC 32, Wageningen, 03.04.1997 : programma Booklet

April 1997
Use of Standards for Hypermedia Generic Structure and Presentation Specifications In Proceedings

L. Rutledge (Lloyd), J.R. van Ossenbruggen (Jacco), L. Hardman (Lynda), D.C.A. Bulterman (Dick) and A. P. W. Eliëns (Anton)

April 1997
Computational steering Article

Future Generation Computer Systems, 12(5), 441-450.

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

April 1997
Degas: A Database of Autonomous objects Article

Information Systems, 22(2-3), 121-138.

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

April 1997
Realization of Positive Linear Systems Article

Linear Algebra and its Applications, 287-308.

J.M. van den Hof

April 1997
Style Sheet Support for Hypermedia Documents Book Chapter

J.R. van Ossenbruggen (Jacco), L. Hardman (Lynda), L. Rutledge (Lloyd) and A. P. W. Eliëns (Anton)

April 1997
Algebraic specification of visual languages Dissertation

Software Engineering

S.M. Üsküdarli (Susan)

March 1997
Actuarial applications of financial models Article

CWI Quarterly, 10(1), 55-64.

M. J. Goovaerts and J. Dhaene

March 1997
Option pricing, arbitrage and martingales Article

CWI Quarterly, 10(1), 35-53.

A. Pelsser and T. Vorst

March 1997
Derivative asset analysis in models with level-dependent and stochastic volatility Article

CWI Quarterly, 10(1), 1-34.

R. Frey

March 1997
Regulation as an Interpolation Problem Article

Linear Algebra and its Applications, 311-340.

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

March 1997
A minor-monotone graph parameter based on oriented matroids Article

Discrete Mathematics, 219-226.

J. Edmonds, M. Laurent (Monique) and A. Schrijver (Lex)

March 1997
Teaching Through Adaptive Hypertext on the WWW Article

International Journal of Educational Telecommunications, 3(2-3), 163-180.

P.M.E. de Bra

March 1997
Reasoning about obligations : defeasibility in preference-based deontic logic Dissertation

L.W.N. van der Torre (Leon)

February 1997
Modular Design of Secure yet Practical Cryptographic Protocols Dissertation

Quantum Computing and Advanced System Research

R.J.F. Cramer (Ronald)

January 1997
Presentation and exploration of flow data Dissertation

W.C. de Leeuw (Wim)

January 1997
Acceleration of Iterative Methods by Coarse Grid Corrections Dissertation

Scientific Computing

P.M. de Zeeuw (Paul)

January 1997
Problems in degenerate diffusion Dissertation

M.A. Peletier (Mark)

January 1997
Improving Euler computations at low Mach numbers Book Chapter

B. Koren (Barry) and B. van Leer

January 1997
3D multigrid on partially ordered sets of grids Book Chapter

P.W. Hemker (Piet), B. Koren (Barry) and J. Noordmans

January 1997
Solution-adaptive multigrid for steady gas dynamics problems In Proceedings

P.W. Hemker (Piet), B. Koren (Barry), W.M. Lioen (Walter), H.T.M. van der Maarel (Eric) and M. Nool (Margreet)

January 1997
Multiple semi-coarsened multigrid for 3D CFD In Proceedings

B. Koren (Barry), P.W. Hemker (Piet) and C.T.H. Everaars (Kees)

January 1997
Frames, Riesz systems and MRA in Hilbert spaces Tech Report

S.J.L. van Eijndhoven and P.J. Oonincx

January 1997
On the M/G/1 queue with heavy-tailed service time distributions Tech Report

J.W. Cohen

January 1997
Zero and pole distribution of diagonal Padé approximants to the exponential function Tech Report

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

January 1997
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 $\theta$-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

Previous

Next

Available Years