Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

Trapezoidal and midpoint splittings for initial-boundary value problems Tech Report

W. Hundsdorfer (Willem)

January 1996
Limiting profiles in reactive solute transport Tech Report

C.J. van Duijn (Hans), R.E. Grundy and C.N. Dawson

January 1996
Ambiguity and reasoning Tech Report

D.J.N. van Eijck (Jan) and J.O.M. Jaspars

January 1996
Tackling the Dagstuhl '94 specification problem with I/O automata Tech Report

J.M.T. Romijn (Judi)

January 1996
On monotone function closure of perfect and statistical zero-knowledge Tech Report

I.B. Damgård (Ivan) and R.J.F. Cramer (Ronald)

January 1996
On generic representation of implicit induction procedures Tech Report

D. Naidich

January 1996
A note on stability of the Douglas splitting method Tech Report

W. Hundsdorfer (Willem)

January 1996
Parameter estimation in chemical engineering ; a case study for resin production Tech Report

W.J.H. Stortelder (Walter)

January 1996
Approximation on partially ordered sets of regular grids Tech Report

C. Pflaum and P.W. Hemker (Piet)

January 1996
Multigrid methods for high-order accurate fully implicit simulation of flowin porous media Tech Report

J. Molenaar (Gijs)

January 1996
Spatial localization for a general reaction-diffusion system Tech Report

G. Galiano and M.A. Peletier (Mark)

January 1996
Annular filters for binary images Tech Report

H.J.A.M. Heijmans (Henk) and C. Ronse

January 1996
On the stability of polling models with multiple servers Tech Report

D.G. Down

January 1996
Decentralized supervisory control of discrete-event systems with communication Tech Report

K.C. Wong and J.H. van Schuppen (Jan)

January 1996
Homogeneous behaviors Tech Report

M.S. Ravi, J. Rosenthal and J.M. Schumacher (Hans)

January 1996
Special solutions of the quantum Yang-Baxter equation Tech Report

N.W. van den Hijligenberg

January 1996
Compact dynamisch busstation [Compact dynamic bus station] Tech Report

A.S. Klusener (Steven), S.F.M. van Vlijmen and A. Schrijver (Lex)

January 1996
A verification of the bakery protocol combining algebraic and model-oriented techniques Tech Report

C. Brovedani and A.S. Klusener (Steven)

January 1996
Reusability of coordination programs Tech Report

F. Arbab (Farhad), C.L. Blom (Kees), F.J. Burger (Freek) and C.T.H. Everaars (Kees)

January 1996
Industrial applications of ASF+SDF Tech Report

M.G.J. van den Brand (Mark), A. van Deursen (Arie), P. Klint (Paul), A.S. Klusener (Steven) and E.A. van der Meulen (Emma)

January 1996
Minimal sorts for interpreting pictures Tech Report

H. Zeevat and D. Wang (Da)

January 1996
The open inventor toolkit and the PREMO standard Tech Report

D. Wang (Da), I. Herman (Ivan) and G.J. Reynolds

January 1996
A syntax directed approach to picture semantics Tech Report

D. Wang (Da) and H. Zeevat

January 1996
Control and verification of industrial hybrid systems using models specified with the formalism $ chi $ Tech Report

J.J.H. Fey

January 1996
An analysis of crystal dissolution fronts in flows through porous media Tech Report

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

January 1996
A basic mathematical and numerical model for gas injection Tech Report

J. Molenaar (Gijs)

January 1996
Parallel linear system solvers for Runge-Kutta-Nyström methods Tech Report

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

January 1996
A note on n similar parallel processes Tech Report

J.F. Groote (Jan Friso)

January 1996
Coordination of distributed/parallel multiple-grid domain decomposition Tech Report

C.T.H. Everaars (Kees) and F. Arbab (Farhad)

January 1996
Restructuring sequential Fortran code into a parallel/distributed application Tech Report

C.T.H. Everaars (Kees), F. Arbab (Farhad) and F.J. Burger (Freek)

January 1996
Cellular encoding for interactive evolutionary robotics Tech Report

F.C. Gruau and K. Quatramaran

January 1996
On the formulation and analysis of general deterministic structured population models Tech Report

O. Diekmann (Odo), M. Gyllenberg, J.A.J. Metz and H.R. Thieme

January 1996
Fluid queues and regular variation Tech Report

O.J. Boxma (Onno)

January 1996
Implicit induction techniques for the verification of PIM : a transformational toolkit for compilers Tech Report

D. Naidich and T.B. Dinesh

January 1996
A linear-time transformation of linear inequalities into conjunctive normal form Tech Report

J.P. Warners (Joost)

January 1996
Design of abstract domains using first-order logic Tech Report

E. Marchiori

January 1996
Euler-Chebyshev methods for integro-differential equations Tech Report

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

January 1996
Parallel linear system solvers for Runge-Kutta methods Tech Report

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

January 1996
Waveform relaxation methods for implicit differential equations Tech Report

P.J. van der Houwen (Piet) and W.A. van der Veen (Wolter)

January 1996
Continuation of stationary solutions to evolution problems in CONTENT Tech Report

Y.A. Kuznetsov, V.V. Levitin and A.R. Skovoroda

January 1996
The Leibniz-Hopf algebra and Lyndon words Tech Report

M. Hazewinkel (Michiel)

January 1996
A note on negative customers, GI/G/1 workload, and risk processes Tech Report

R.J. Boucherie (Richard), O.J. Boxma (Onno) and K. Sigman

January 1996
Similarity and symmetry measures for convex sets based on Minkowski addition Tech Report

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

January 1996
Complementarity modeling of hybrid systems Tech Report

A.J. van der Schaft and J.M. Schumacher (Hans)

January 1996
Test set for IVP solvers Tech Report

W.M. Lioen (Walter), J.J.B. de Swart (Jacques) and W.A. van der Veen (Wolter)

January 1996
Building a simulator in the $ mu $ CRL toolbox : a case-study in modern software engineering Tech Report

H.P. Korver

January 1996
Mild context-sensitivity and tuple-based generalizations of context-free grammar Tech Report

A.V. Groenink (Annius)

January 1996
Tractability issues in extraposition grammar Tech Report

A.V. Groenink (Annius)

January 1996
Generalized metric spaces : completion, topology, and powerdomains via the Yoneda embedding Tech Report

M.M. Bonsangue (Marcello), F. van Breugel and J.J.M.M. Rutten (Jan)

January 1996
A framework for query optimization to support data mining Tech Report

S.R. Choenni (Sunil) and A.P.J.M. Siebes (Arno)

January 1996
On multi-query optimization Tech Report

S.R. Choenni (Sunil), M.L. Kersten (Martin), J.F.P. van den Akker (Johan) and A. Saad

January 1996
Complexity of transformation-based optimizers and duplicate-free generation of alternatives Tech Report

A.J. Pellenkoft (Jan), C.A. Galindo-Legaria (César) and M.L. Kersten (Martin)

January 1996
Algebraic verification of a distributed summation algorithm Tech Report

J.F. Groote (Jan Friso) and J.G. Springintveld

January 1996
Proving deadlock freedom of logic programs with dynamic scheduling Tech Report

E. Marchiori and F. J. M. Teusink (Frank)

January 1996
Search and imperative programming Tech Report

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

January 1996
Reordering strategies and LU-decomposition of block tridiagonal matrices for parallel processing Tech Report

A. van der Ploeg (Auke)

January 1996
Parallel iterative linear solvers for multistep Runge-Kutta methods Tech Report

E. Messina, J.J.B. de Swart (Jacques) and W.A. van der Veen (Wolter)

January 1996
Vectorization and parallelization of a numerical scheme for 3D global atmospheric transport-chemistry problems Tech Report

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

January 1996
The iterative solution of fully implicit discretizations of three-dimensional transport models Tech Report

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

January 1996
Asymptotics and numerics of zeros of polynomials that are related to Daubechies wavelets Tech Report

N.M. Temme (Nico)

January 1996
Multiparameter quantum supergroups Tech Report

M. Hazewinkel (Michiel)

January 1996
Analysis of DNAPL infiltration in a medium with a low-permeable lens Tech Report

M.J. de Neef and J. Molenaar (Gijs)

January 1996
On the asymmetric clocked buffered switch Tech Report

J.W. Cohen

January 1996
Analysis of a multi-server queueing model of ABR Tech Report

R. Núñez Queija (Rudesindo) and O.J. Boxma (Onno)

January 1996
Regular variation in a multi-source fluid queue Tech Report

O.J. Boxma (Onno)

January 1996
On a zero-drift nearest-neighbour random walk Tech Report

J.W. Cohen

January 1996
Universal coalgebra: a theory of systems Tech Report

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

January 1996
Towards a complete transformational toolkit for compilers Tech Report

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

January 1996
Scopes in discourse Tech Report

P. Dekker

January 1996
Cases, adverbs, situations and events Tech Report

P. Dekker

January 1996
Proving termination of logic programs with delay declarations Tech Report

E. Marchiori and F. J. M. Teusink (Frank)

January 1996
Numerical solution of advection-diffusion-reaction equations : lecture notes for Ph.D. course, 1996, Thomas Stieltjes Institute Tech Report

W. Hundsdorfer (Willem)

January 1996
Stability of implicit-explicit linear multistep methods Tech Report

J.E. Frank (Jason), W. Hundsdorfer (Willem) and J.G. Verwer (Jan)

January 1996
The number of relations in the quadratic sieve algorithm Tech Report

H. Boender (Henk)

January 1996
Brine transport in porous media self-similar solutions Tech Report

C.J. van Duijn (Hans), L.A. Peletier (Bert) and R.J. Schotting (Ruud)

January 1996
Approximation problems with the divergence criterion for Gaussian variablesand Gaussian processes Tech Report

A.A. Stoorvogel and J.H. van Schuppen (Jan)

January 1996
Computational forging in the Eulerian formulation at MacNeal-Schwendler (E.D.C.) B.V. Tech Report

B. Koren (Barry)

January 1996
Workshop innovative time integrators : Amsterdam, 30.10-01.11.1996 Tech Report

January 1996
Comparison of selection schemes for evolutionary constrained optimization Tech Report

C.H.M. van Kemenade (Cees)

January 1996
Lambda calculus with explicit recursion Tech Report

Z.M. Ariola (Zena) and J.W. Klop (Jan Willem)

January 1996
Explicit filtering of building blocks for genetic algorithms Tech Report

C.H.M. van Kemenade (Cees)

January 1996
Cluster evolution strategies : enhancing the sampling density using representatives Tech Report

C.H.M. van Kemenade (Cees)

January 1996
Evolutionary air traffic flow management for large 3D-problems Tech Report

C.H.M. van Kemenade (Cees), J.M. van den Akker (Marjan) and J.N. Kok (Joost)

January 1996
Speuren op het Spoor Wedstrijd in het kader van het 50-jarig jubileum van de STICHTING MATHEMATISCH CENTRUM Other

January 1996
De ziel van het MC : verzamelde verhalen Book

J. Sterringa (Joke)

January 1996
Nieuwjaarskaart 1996 = New years card 1996 Other

January 1996
Explicit symmetric Runge-Kutta-Nyström methods for parallel computers Article

Computers & Mathematics with Applications, 31(2), 111-121.

N. Cong

January 1996
A simple cell-centered multigrid method for $3$D interface problems Article

Computers & Mathematics with Applications, 31(9), 25-33.

J. Molenaar (Gijs)

January 1996
Arrays, bounded quantification and iteration in logic and constraint logic programming In Proceedings

K.R. Apt (Krzysztof)

January 1996
Prime factorizations of abstract domains using first-order logic In Proceedings

E. Marchiori

January 1996
Coalgebraic specifications and models of deterministic hybrid systems In Proceedings

B.P.F. Jacobs

January 1996
Quantifiers and partiality Book Chapter

D.J.N. van Eijck (Jan)

January 1996
VLUGR3 Software

J.G. Blom (Joke)

January 1996
VLUGR2 Software

J.G. Blom (Joke)

January 1996
Development of semi-coarsening techniques Article

Applied Numerical Mathematics, 19(4), 433-465.

P.M. de Zeeuw (Paul)

January 1996
On termination of general logic programs w.r.t. constructive negation Article

Journal of Logic Programming, 26(1), 69-89.

E. Marchiori

January 1996
Chamfer metrics, the medial axis and mathematical morphology Article

Journal of Mathematical Imaging and Vision, 6(2-3), 235-248.

P. F. M. Nacken (Peter)

January 1996
The Robinson-Schensted and Schützenberger algorithms, an elementary approach. The Foata Festschrift Article

Electronic Journal of Combinatorics, 3(2), 1-32.

M.A.A. van Leeuwen (Marc)

January 1996
A note on disjoint-occurrence inequalities for marked Poisson point processes Article

Journal of Applied Probability, 33(2), 420-426.

J. van den Berg (Rob)

January 1996
The development of Runge-Kutta methods for partial differential equations In Proceedings

P.J. van der Houwen (Piet)

January 1996

Previous

Next

Available Years