Publications from 2044

Fundamenta informaticae 13(1) 1990 Article

Fundamenta informaticae on Logic Programming Article

K.R. Apt (Krzysztof)

Synthesis of images Book

M. Bret

Programmig in Alma-0, or imperative and declarative programming reconciled Book Chapter

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

Studies in Pure Prolog: termination In Proceedings

K.R. Apt (Krzysztof) and D. Pedreschi

Proving terminations of parallel programs Book Chapter

K.R. Apt (Krzysztof), F.S. de Boer (Frank) and E.R. Olderog (Ernst-Rüdiger)

Fouten maken en verbeteren : rede uitgesproken bij de aanvaarding van het ambt van bijzonder hoogleraar in de industriële wiskunde aan de Universiteit van Amsterdam vanwege de Stichting Beta Plus op dinsdag 12 juni 1990 Tech Report

P.W. Hemker (Piet)

A multigrid approach for the solution of the 2D semiconductor equations Article

J. Molenaar (Gijs) and P.W. Hemker (Piet)

A nonlinear multigrid method for one-dimensional semiconductor decive simulation: results for the diode Article

P.W. Hemker (Piet)

Paths, Flows, and VLSI-Layout Book

B. Korte, L. Lovász (László), H.J. Prömel and A. Schrijver (Lex)

Convex resource allocation problems on directed acyclic graphs: duality, complexity, special cases, and extensions Article

C.L. Monma, A. Schrijver (Lex), M.J. Todd and V.K. Wei (Victor)

Relativistic effects on parallel whistler-mode propagation and instability Article

S.S. Sazhin and N.M. Temme (Nico)

Chvatal closures for mixed integer programming problems Article

W.J. Cook, R. Kannan and A. Schrijver (Lex)

Nieuwjaarskaart CWI 1990 Other

Termination of disjoint unions of conditional term rewriting systems Tech Report

A. Middeldorp

Strong completeness for Hoare logics of recursive processes: an infinitary approach Tech Report

A. Ponse (Alban) and F.-J. de Vries (Fer-Jan)

On the declarative semantics of Horn Clause logic-based languages Article

C. Palamidessi (Catuscia)

A brief survey of concurrent readers and writers Article

L.M. Kirousis and E. Kranakis (Evangelos)

Compact distributed data structures for adaptive routing Article

B. Awerbuch, A. Bar-Noy (Amotz), N. Linial (Nathan) and D. Peleg

Faster Phong Shading via Angular Interpolation Article

A.A.M. Kuijk (Fons) and E.H. Blake

An early implementation of revised Algol 68 Dissertation

J.J.F.M. Schlichting

Riemannian submersions and skew-product decompositions of Brownian motion Dissertation

E.J.E.M. Pauwels (Eric)

Meerjarenplan 1991-1994, en: Ontwerpbegroting 1991 Stichting Mathematisch Centrum Book

Conferentie van numeriek wiskundigen, Zeist, 02-04.10.1989 Booklet

Functional dependencies of variables in wait-free programs In Proceedings

E. Kranakis (Evangelos)

Discrete events and max-algebra Article

R.A. Cuninghame-Green

AIL - A class-oriented RPC stub generator for Amoeba Article

G. van Rossum (Guido)

An introduction to input/output automata Article

N.A. Lynch (Nancy) and M.R. Tuttle

The client/server model in distributed computing Article

J. van Leeuwen (Jan)

Correctness of concurrent processes In Proceedings

E.R. Olderog (Ernst-Rüdiger)

Programma van en uitnodiging voor het symposium "Computational Engines" ter gelegenheid van het 25-jarig dienstverband van J. Nuis, directeur Beheerszaken van de Stichting Mathematisch Centrum en van het Centrum voor Wiskunde en Informatica Other

How to share concurrent asynchronous wait-free variables: Preliminary version In Proceedings

M. Li (Ming) and P.M.B. Vitányi (Paul)

The squiggolist Miscellaneous

Intern Bibliotheek Systeem (IBS) : catalogus-module Tech Report

J. van Rijt (Judith)

Uitnodiging en programma symposium Combinatorische Optimalisering ter gelegenheid van beeindiging functie Chef afdeling Besliskunde, Kansrekening, Statistiek en Systeemtheorie door J.K. Lenstra Other

Constructing a calculus of programs In Proceedings

L.G.L.T. Meertens (Lambert)

Exercises in parallel combinatorial computing Dissertation

G.A.P. Kindervater (Gerard)

Compositionality in the temporal logic of concurrent systems In Proceedings

F.S. de Boer (Frank)

Computations with representations of Lie groups Article

B. de Smit (Bart)

Bibliotheek Centrum voor Wiskunde en Informatica gids = Library Centre for Mathematics and Computer Science guide Booklet

Archief CWI - Intern Rapport CWI Miscellaneous

CWI CWI

Archief CWI - intern rapport CWI Miscellaneous

F. van Suchtelen and G. Alberts (Gerard)

Research announcement Article

T.H. Koornwinder

Zero-sum stochastic games Article

K. Vrieze (Koos)

Discrete events: perspectives from system theory Article

J.M. Schumacher (Hans)

Missed chances Article

R.D. Gill (Richard)

Statistics of extreme values Article

L.F.M. de Haan (Laurens)

Process theory based on bisimulation semantics In Proceedings

J.A. Bergstra (Jan) and J.W. Klop (Jan Willem)

Basic transformations in linear algebra for vector computing Dissertation

W. Hoffmann (Walter)

A Parallel Object-Oriented Language: Design and semantic foundations Dissertation

P.H.M. America (Pierre) and J.J.M.M. Rutten (Jan)

Multigrid and defect correction for the steady Navier-Stokes equations : application to aerodynamics Dissertation

B. Koren (Barry)

How to share concurrent wait-free variables Tech Report

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

Position paper In Proceedings

S.J. Mullender (Sape) and G. van Rossum (Guido)

AIL - a class-oriented RPC stub generator for Amoeba In Proceedings

G. van Rossum (Guido)

The evolution of a distributed operating system In Proceedings

R. van Renesse (Robbert), A.S. Tanenbaum (Andrew) and S.J. Mullender (Sape)

Agreement on scientific cooperation (Policy paper) between Centrum voor Wiskunde en Informatica (CWI), Amsterdam/The Netherlands and Gesellschaft für Mathematik und Datenverarbeitung (GMD), St. Augustin/FRG and Institut National de Recherche en Informatique et en Automatique (INRIA), Rocquencourt/France Miscellaneous

Preliminary Proceedings of the third Eurographics workshop on intelligent CAD systems :Practical Experience and Evaluation: Hotel Opduin, Texel, The Netherlands, 3-7.04.1989 Proceedings

Programma van en uitnodiging voor het symposium "Constructie van stabiele numerieke methoden voor differentiaal- en integraalvergelijkingen" ter gelegenheid van het 25-jarig dienstverband van Prof. dr. P.J. van der Houwen Other

H.J.J. te Riele (Herman)

An explicit Runge-Kutta method of order twenty-five Article

B.P. Sommeijer (Ben)

A radon transform on circles through the origin in \Re^2 Article

M. Zwaan

Asymptotic expansion of a special integral Article

N.M. Temme (Nico)

A short introduction to exit problems Article

H.N.M. Roozen

Products of random matrices or 'Why do biennials live longer than two years?' Article

J.B.T.M. Roerdink (Jos)

Iterations of morphological transformations Article

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

On sums of remainders and almost perfect numbers Article

J.A.P. Heesterbeek (Hans) and H.A.J.M. Schellinx

Exploring linear chain trickery for physiologically structured populations Article

O. Diekmann (Odo) and H. Metz

Fourteenth conference on the mathematics of operations research - abstracts Booklet

Fourteenth conference on the mathematics of operations research : Lunteren, 13-15.02.1989 : program and abstracts Booklet

Fourteenth conference on the mathematics of operations research : Lunteren, 13-15.02.1989 : program Booklet

Performance analysis of storage management in combinator graph reduction Dissertation

P.H. Hartel (Pieter)

A non-linear multigrid method for the steady Euler equations In Proceedings

P.W. Hemker (Piet) and B. Koren (Barry)

Upwind schemes, multigrid and defect correction for the steady Navier-Stokes equations In Proceedings

B. Koren (Barry)

Euler flow solutions for transonic shock wave-boundary layer interaction Article

B. Koren (Barry)

Kolmogorov complexity and its applications Tech Report

M. Li (Ming) and P.M.B. Vitányi (Paul)

An algebraic characterization of B-convergent Runge-Kutta methods Tech Report

W. Hundsdorfer (Willem) and J. Schneid

Increasing the real stability boundary of explicit methods Tech Report

B.P. Sommeijer (Ben)

NUMVEC FORTRAN library manual : chapter: simultaneous linear equations Tech Report

W. Hoffmann (Walter) and K. Potma

A moving-grid interface for systems of one-dimensional time-dependent partial differential equations Tech Report

J.G. Blom (Joke) and P.A. Zegeling (Paul)

Convergence properties of the Runge-Kutta-Chebyshev method Tech Report

J.G. Verwer (Jan), W. Hundsdorfer (Willem) and B.P. Sommeijer (Ben)

Signific consultation : David van Dantzig's dream of a practical significs Tech Report

G. Alberts (Gerard)

Hahn-Banach type theorems for dual semigroups Tech Report

J.M.A.M. van Neerven (Jan)

Numerical solution of the Hamilton-Jacobi-Bellman equation for a freeway traffic flow control problem Tech Report

J.N.T. Schuit

On the nonexistence of a strong solution in the boundary problem for a sticky Brownian motion Tech Report

R.J. Chitashvili

Monotonicity of performance measures in a processor sharing queue Tech Report

P.R. de Waal and N.M. van Dijk

Realization of autoregressive equations in pencil and descriptor form Tech Report

M. Kuijper and J.M. Schumacher (Hans)

Dynamic MRI reconstruction as a moment problem Tech Report

M. Zwaan

The addition formula for little q-Legendre polynomials and the SU(2) quantum group Tech Report

T.H. Koornwinder

Theory of goodness of fit tests and scanning innovation martingales Tech Report

E.V. Khmaladze

Waiting times in polling systems with Markovian server routing Tech Report

O.J. Boxma (Onno) and J.A. Weststrate

Workloads and waiting times in single-server systems with multiple customer classes Tech Report

O.J. Boxma (Onno)

A simple definition for parallel composition of prime event structures Tech Report

F.W. Vaandrager (Frits)

Nonlinear multigrid applied to a 1D stationary semiconductor model Tech Report

P.M. de Zeeuw (Paul)

CWI/Shell colloquium adaptive grid techniques for time-dependent partial differential equations : summaries of all lectures presented at the colloquium held in Amsterdam, 1988 Tech Report

R.M. Furzeland and J.G. Verwer (Jan)

Block Runge-Kutta methods on parallel computers Tech Report

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

Simple approximations for second moment characteristics of the sojourn time in the M/G/1 processor sharing queue Tech Report

J.L. van den Berg (Hans)

Lie-algebraic aspects of the classical nonrelativistic Calogero-Moser models Tech Report

J.K. Scholma

Designing concurrency semantics Tech Report

J.W. de Bakker (Jaco)

Proving total correctness of recursive procedures Tech Report

P.H.M. America (Pierre) and F.S. de Boer (Frank)

Process expressions and Hoare's logic Tech Report

A. Ponse (Alban)

Placing mirrors in grids Tech Report

E. Kranakis (Evangelos), D.D.M. Krizanc and L.G.L.T. Meertens (Lambert)