Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

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

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
Tree-tree matrices and other combinatorial problems from taxonomy In Proceedings

M. Hazewinkel (Michiel)

January 1996
Self-dual morphological operators and filters Article

Journal of Mathematical Imaging and Vision, 6(1), 15-36.

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

January 1996
Practical methods for proving termination of general logic programs Article

Journal of Artificial Intelligence Research, 179-208.

E. Marchiori

January 1996
On cubism Article

Journal of Functional Programming, 6(3), 379-391.

B.P.F. Jacobs

January 1996
Historical background of the number field sieve factoring method Article

Nieuw Archief voor Wiskunde, 14(3), 375-389.

M. Elkenbracht-Huizing

January 1996
On the identification of Wiener-Hopf factors Article

Queueing Systems, 23(1-4), 293-300.

N. Bayer

January 1996
Explicit Runge-Kutta methods for parabolic partial differential equations Article

Applied Numerical Mathematics, 22(1-3), 359-379.

J.G. Verwer (Jan)

January 1996
Set-valued estimators for mean bodies related to Boolean models Article

Statistics, 28(1), 43-56.

I.S. Molchanov (Ilya)

January 1996
A singularly perturbed model problem for numerical computation Article

Journal of Computational and Applied Mathematics, 76(1-2), 277-285.

P.W. Hemker (Piet)

January 1996
Three-valued completion for abductive logic programs In Proceedings

F. J. M. Teusink (Frank)

January 1996
Tableau algorithms defined naturally for pictures In Proceedings

M.A.A. van Leeuwen (Marc)

January 1996
An implementation of the number field sieve Article

Experimental Mathematics, 5(3), 231-253.

M. Elkenbracht-Huizing

January 1996
Elements of generalized ultrametric domain theory Article

Theoretical Computer Science, 170(1-2), 349-381.

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

January 1996
Implicit coercions in type systems In Proceedings

G. Barthe

January 1996
On periodic Pollaczek waiting time processes In Proceedings

J.W. Cohen

January 1996
A multiple polynomial general number field sieve In Proceedings

M. Elkenbracht-Huizing

January 1996
Genetic fitness optimization using rapidly mixing Markov chains In Proceedings

P.M.B. Vitányi (Paul)

January 1996
Uniform asymptotics for the incomplete gamma functions starting from negative values of the parameters Article

Methods and Applications of Analysis, 3(3), 335-344.

N.M. Temme (Nico)

January 1996

Previous

Next

Available Years