Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

Explicit Parallel Two-Step Runge-Kutta-Nyström Methods Article

Computers & Mathematics with Applications, 32(3), 119-130.

N. Cong

August 1996
How to share concurrent wait-free variables Article

Journal of the ACM, 43(4), 723-746.

M. Li (Ming), J.T. Tromp (John) and P.M.B. Vitányi (Paul)

July 1996
Analyse van beelden en andere ruimtelijke data Article

De Waaier, 1-5.

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

July 1996
Communication, synchronization and fault tolerance Dissertation

Quantum Computing and Advanced System Research

J.H. Hoepman (Jaap-Henk)

June 1996
Numerical methods in smog prediction Dissertation

M. van Loon (Martin)

June 1996
Functorial operational semantics and its denotational dual Dissertation

D. Turi

June 1996
Scheduling complete intrees on two uniform processors with communication delays Article

Information Processing Letters, 58(5), 255-263.

J. Blazewicz, P. Bouvry (Pascal), F. Guinand and D. Trystram

June 1996
MK Papier 96/1 : Festschrift t.g.v. het afscheid van Joke Sterringa, 31.05.1996 Book

May 1996
Confluence and normalisation for higher-order rewriting Dissertation

Specification and Analysis of Embedded Systems

F. van Raamsdonk (Femke)

May 1996
SMC/AE symposium on informatics, 11-12.04.1996 : SMC vijftig jaar Booklet

April 1996
Uitnodiging voor afscheidsreceptie van Elsa Herweijer Other

March 1996
Soiree Wiskunde & Informatica: een gouden bruiloft : een bijzondere avond met voordrachten door Donald E. Knuth en Benoit B. Mandelbrot, 12.03.1996 : programma Booklet

March 1996
15-th Benelux meeting on systems and control : March 6-8, 1996, Mierlo the Netherlands : book of abstracts Book

March 1996
25 Years of SMC art - R.T. Baanders 1971-1996 Book

March 1996
25 [Jaar] SMC art : R. T. Baanders 1971-1996 Miscellaneous

T. Baanders (Tobias)

March 1996
Subspace iteration for eigenproblems Article

CWI Quarterly, 9(1-2), 151-160.

H.A. van der Vorst (Henk)

March 1996
Choice sequences: a retrospect Article

CWI Quarterly, 9(1-2), 143-149.

A.S. Troelstra

March 1996
The effect of stopping Newton-type iterations in implicit linear multistep methods Article

CWI Quarterly, 9(1-2), 137-142.

M.N. Spijker

March 1996
The failed fusion of two mathematical reviewing journals 1932-1934 : an episode from the history of Dutch-German mathematical relations Article

CWI Quarterly, 9(1-2), 131-135.

R. Siegmund-Schultze

March 1996
Spatial patterns in higher order phase transitions Article

CWI Quarterly, 9(1-2), 121-129.

L.A. Peletier (Bert) and W.C. Troy

March 1996
Degree theory beyond continuous maps Article

CWI Quarterly, 9(1-2), 113-120.

L. Nirenberg

March 1996
A scalpel, not a sledgehammer: qualitative approach to numerical mathematics Article

CWI Quarterly, 9(1-2), 103-112.

A. Iserles

March 1996
Foundations of the cumulative hierarchy of sets Article

CWI Quarterly, 9(1-2), 97-101.

A.J.C. Hurkens

March 1996
Computational aspects of systems over rings : reachability and stabilizability Article

CWI Quarterly, 9(1-2), 85-95.

L.C.G.J.M. Habets (Luc)

March 1996
Mathematical modelling in applied analysis Article

CWI Quarterly, 9(1-2), 77-84.

E.W.C. van Groesen

March 1996
Estimation in restricted parameter spaces : some history and some recent developments Article

CWI Quarterly, 9(1-2), 69-76.

C. van Eeden (Constance)

March 1996
Simplicity of Frobenius eigenvalues in the Galois representations associated to modular forms Article

CWI Quarterly, 9(1-2), 61-67.

B. Edixhoven

March 1996
Some indications that the exceptional groups form a series Article

CWI Quarterly, 9(1-2), 51-59.

A.M. Cohen (Arjeh)

March 1996
Mathematics in 19th century physics Article

CWI Quarterly, 9(1-2), 41-50.

J. Z. Buchwald

March 1996
Spectrum and connectivity of graphs Article

CWI Quarterly, 9(1-2), 37-40.

A.E. Brouwer (Andries)

March 1996
Special point sets in finite projective planes Article

CWI Quarterly, 9(1-2), 31-35.

A. Blokhuis

March 1996
Propositional connectives and the set theory of the continuum Article

CWI Quarterly, 9(1-2), 25-30.

A. Blass

March 1996
Some basic facts for efficient massively parallel computation Article

CWI Quarterly, 9(1-2), 9-17.

A.O.H. Axelsson and M.G. Neytcheva

March 1996
Algorithms for frequency assignment problems Article

CWI Quarterly, 9(1-2), 1-8.

K.I. Aardal (Karen), C.A.J. Hurkens (Cor), J.K. Lenstra (Jan Karel) and S.R. Tiourine

March 1996
Opening address SMC jubilee congress Article

CWI Quarterly, 9(1-2), iii-iv.

J.H.A. de Smit

March 1996
Uniqueness and mixing properties of Gibbs measures Article

CWI Quarterly, 19-24.

J. van den Berg (Rob)

March 1996
Asymptotics and closed form of a generalized incomplete gamma function Article

Journal of Computational and Applied Mathematics, 67(2), 371-379.

M.A. Chaudhry, N.M. Temme (Nico) and E.J.M. Veling

March 1996
Operatie Synergie : draaiboek fietstocht t.g.v. 50-jarig jubileum SMC, 9-2-1996 Book

February 1996
Special functions: An introduction to the classical functions of mathematical physics Book

N.M. Temme (Nico)

February 1996
Draaiboek symposium t.g.v. 50 jarig jubileum Stichting Mathematisch Centrum, 08.02.1996 Miscellaneous

February 1996
De waarde van wetenschap : symposium t.g.v. het 50-jarig bestaan van de Stichting Mathematisch Centrum, 08.02.1996 : aankondiging Booklet

February 1996
Programma SMC50 met lijst van participanten Other

February 1996
Wiskundecongres 'SMC 50', 06-07.02.1996 : programma Booklet

February 1996
Uitnodiging en programma "SMC naar de BEURS" 1996-02-09 Other

CWI, Amsterdam, The Netherlands

January 1996
A computational method for high-frequency oleodynamics, application to hydraulic-shock-absorber designs In Proceedings

B. Koren (Barry), P.F.M. Michielsen (Paul), J.-W. Kars and P. Wesseling

January 1996
Algorithm development in CFD : multidimensional upwinding and multiple semi-coarsening multigrid In Proceedings

H. Deconinck and B. Koren (Barry)

January 1996
A complete transformational toolkit for compilers Tech Report

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

January 1996
A golden ratio notation for the real numbers Tech Report

P. di Gianantonio (Pietro)

January 1996
Value constraints in the CLP scheme Tech Report

M.H. van Emden

January 1996
Epic 1.0 (unconditional) : an equational programming language Tech Report

H.R. Walters (Pum) and J.F.T. Kamperman (Jasper)

January 1996
On the symmetrical shortest queue and the compensation approach Tech Report

J.W. Cohen

January 1996
Large-eddy simulation with accurate implicit subgrid-scale diffusion Tech Report

B. Koren (Barry) and C. Beets

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

J.G. Verwer (Jan)

January 1996
Benchmarking stiff ODE solvers for atmorspheric chemistry problems I: implicit versus explicit Tech Report

A. Sandu, J.G. Verwer (Jan), M. van Loon (Martin), G.R. Carmichael, F.A. Potra, D. Dabdub and J.H. Seinfeld

January 1996
A transformation method for stochastic control problems with partial observations Tech Report

G.M. Koole (Ger)

January 1996
Morphology on convolution lattices with applications to the slope transformand random set theory Tech Report

H.J.A.M. Heijmans (Henk) and I.S. Molchanov (Ilya)

January 1996
Self-similar profiles for capillary diffusion driven flow in heterogeneous porous media Tech Report

C.J. van Duijn (Hans) and M.J. de Neef

January 1996
Asymptotic behaviour of solutions of a nonlinear transport equation Tech Report

C.J. van Duijn (Hans) and M.A. Peletier (Mark)

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

N.M. Temme (Nico)

January 1996
An evaluation of the Cray T3D programming paradigms in atmospheric chemistry/transport models Tech Report

J.G. Blom (Joke), C. Keßler (Carsten) and J.G. Verwer (Jan)

January 1996
Splitting methods for three-dimensional bio-chemical transport Tech Report

B.P. Sommeijer (Ben) and J. Kok (Jan)

January 1996
CWI contributions to the development of parallel Runge-Kutta methods Tech Report

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

January 1996
Factorizations of $ a ^ n $ + 1, 13 < a < 100 : update 2 Tech Report

R.P. Brent, P.L. Montgomery and H.J.J. te Riele (Herman)

January 1996
Simulating TRSs by minimal TRSs : a simple, efficient, and correct compilation technique Tech Report

J.F.T. Kamperman (Jasper) and H.R. Walters (Pum)

January 1996
Open inventor and PREMO Tech Report

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

January 1996
Automata and behaviours in categories of processes Tech Report

B.P.F. Jacobs

January 1996
DEGAS : a temporal active data model based on object autonomy Tech Report

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

January 1996
Coalgebraic specifications and models of deterministic hybrid systems Tech Report

B.P.F. Jacobs

January 1996
Tabu search techniques for large high-school timetabling problems Tech Report

A. Schaerf

January 1996
Computational steering Tech Report

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

January 1996
3D computational steering with parametrized geometric objects Tech Report

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

January 1996
CSE: a modular architecture for computational steering Tech Report

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

January 1996
Representing discourse in context Tech Report

D.J.N. van Eijck (Jan) and H. Kamp

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

Previous

Next

Available Years