Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

Translating programs into delay-insensitive circuits Tech Report

J.C. Ebergen (Jo)

June 1987
ACP - A universal axiom system for process specification Tech Report

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

June 1987
The radon transform: first steps Tech Report

N.M. Temme (Nico)

June 1987
Completeness and definability : applications of the Ehrenfeucht game in second-order and intensional logic Dissertation

H.C. Doets (Kees)

May 1987
Rekenen met raderen : de prehistorie van de computer : Drents Museum, mei t/m september 1987 Booklet

May 1987
Eurocrypt 87 : 13-15.04.1987 : abstracts Book

April 1987
Blinding for unanticipated signatures In Proceedings

D. Chaum (David)

April 1987
Mathematical morphology: an algebraic approach Tech Report

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

March 1987
Teaching computer science in Nicaragua Tech Report

M. Sint and A.H. Veen (Arthur)

March 1987
Concurrency Tech Report

J.W. de Bakker (Jaco)

March 1987
In memoriam A. van Wijngaarden, Director Mathematical Centre 1961-1980. Tech Report

P.C. Baayen and J. Nuis

March 1987
Bounded nondeterminism and the approximation induction principle in process algebra (extended abstract) In Proceedings

R.J. van Glabbeek (Rob)

February 1987
Uitnodiging tot het bijwonen van de opening van de tentoonstelling 'Rekenen met Raderen' in het Teylers Museum op 11 februari 1987 Other

February 1987
Rekenen met raderen : de prehistorie van de computer : Teylers Museum, 11.02-03.05.1987 Booklet

February 1987
Rouwkaart A. van Wijngaarden Other

February 1987
Twelfth conference on the mathematics of operations research and systems theory : Lunteren, 14-16.01.1987 : program and abstracts Booklet

January 1987
Numerical methods in fluid dynamics, initial and initial-boundary-value problems Article

Acta Applicandae Mathematicae, 307-308.

B. Koren (Barry)

January 1987
Another look at abstraction in process algebra Tech Report

J.C.M. Baeten (Jos) and R.J. van Glabbeek (Rob)

January 1987
INFORM: an interactive syntax-directed formulae-editor Tech Report

S. van Egmond, F.C. Heeman and J.C. van Vliet (Hans)

January 1987
Introduction to dialogue cells Tech Report

R. van Liere (Robert) and P.J.W. ten Hagen (Paul)

January 1987
ASF: an algebraic specification formalism Tech Report

J.A. Bergstra (Jan), J. Heering (Jan) and P. Klint (Paul)

January 1987
A Prohorov bound for a Poisson process and a Bernoulli process Tech Report

E. Valkeila

January 1987
Interactive generation of fractal objects Tech Report

J.A. Kaandorp (Jaap)

January 1987
Locality, communication and interconnect length in multicomputers Tech Report

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

January 1987
Polyhedral combinatorics Tech Report

A. Schrijver (Lex)

January 1987
The odd-even hopscotch pressure correction scheme for the computation of free convection in a square cavity Tech Report

J.H.M. ten Thije Boonkkamp

January 1987
Translation of algorithm 539: basic linear algebra subprograms for FORTRAN usage in FORTRAN 200 for the Cyber 205 Tech Report

M. Nool (Margreet)

January 1987
Algebraic specifications for parametrized data types: the case of minimal computable algebras and parameters with equality Tech Report

P.H. Rodenburg

January 1987
Sojourn times in the M/G/1 queue with deterministic feedback Tech Report

J.L. van den Berg (Hans), O.J. Boxma (Onno) and W.P. Groenendijk

January 1987
An asymptotic solution to a two-dimensional exit problem arising in population dynamics Tech Report

H.N.M. Roozen

January 1987
Merge and termination in process algebra Tech Report

J.C.M. Baeten (Jos) and R.J. van Glabbeek (Rob)

January 1987
The concept of intelligent integrated interactive CAD systems Tech Report

T. Tomiyama and P.J.W. ten Hagen (Paul)

January 1987
A model for graphical interaction Tech Report

P.J.W. ten Hagen (Paul) and R. van Liere (Robert)

January 1987
Abstraction and empty process in process algebra Tech Report

J.C.M. Baeten (Jos) and R.J. van Glabbeek (Rob)

January 1987
Stability results for $ heta $ -methods applied to a class of stiff differential-algebraic equations Tech Report

W. Hundsdorfer (Willem)

January 1987
On effectively labeling planar projections of polyhedra Tech Report

L.M. Kirousis

January 1987
Parallel graphical output from dialogue cells Tech Report

P.J.W. ten Hagen (Paul) and H.J. Schouten

January 1987
Organization of design knowledge in an intelligent CAD environment Tech Report

T. Tomiyama and P.J.W. ten Hagen (Paul)

January 1987
A note on compactifications of products of semigroups Tech Report

M. Husek and J. de Vries (Jan)

January 1987
Relativistic Calogero-Moser systems and solitons Tech Report

S.N.M. Ruijsenaars (Simon)

January 1987
Boundary value problems for ordinary differential equations with multiple turning points Tech Report

J. Furu

January 1987
Atomic multireader register Tech Report

L.M. Kirousis, E. Kranakis (Evangelos) and P.M.B. Vitányi (Paul)

January 1987
Throughput analysis of a flow-controlled communication network with buffer space limitations Tech Report

J.L. van den Berg (Hans) and O.J. Boxma (Onno)

January 1987
Solving reflexive domain equations in a category of complete metric spaces Tech Report

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

January 1987
A proof rule for process-creation Tech Report

F.S. de Boer (Frank)

January 1987
Random truncation models and Markov processes Tech Report

N. Keiding and R.D. Gill (Richard)

January 1987
Enkele resultaten met de schema's van Roe en Steger & Warming bij transsone stromingen in een MG/eindige-volume methode [Some results of the Roe andSteger & Warming schemes for transonic flows in a MG finite volume method] Tech Report

J.J. Rusch

January 1987
Explicit-implicit methods for time-dependent partial differential equations Tech Report

E.D. de Goede (Erik) and F.W. Wubs (Fred)

January 1987
A note on the partitioning shortest path algorithm Tech Report

M. Desrochers

January 1987
A state space approach to the problem of adaptive pole assignment Tech Report

J.W. Polderman

January 1987
Adaptive exponential stabilization of a first order continuous-time system Tech Report

J.W. Polderman

January 1987
Functionele beschrijving van CAR, een interactief systeem voor 'computer aided routing' [Functional description of CAR, an interactive system for 'computer aided design'] Tech Report

J.M. Anthonisse, J.K. Lenstra (Jan Karel) and M.W.P. Savelsbergh

January 1987
Using design axioms and topology to model database semantics Tech Report

A.P.J.M. Siebes (Arno) and M.L. Kersten (Martin)

January 1987
A parser generator for finitely ambiguous context-free grammars Tech Report

J. G. Rekers (Jan)

January 1987
Diagonally implicit Runge-Kutta-Nyström methods for oscillatory problems Tech Report

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

January 1987
Analysis of smoothing matrices for the preconditioning of elliptic difference equations Tech Report

P.J. van der Houwen (Piet), C. Boon and F.W. Wubs (Fred)

January 1987
A note on a diagonally implicit Runge-Kutta-Nyström method Tech Report

B.P. Sommeijer (Ben)

January 1987
Improving the stability of predictor-corrector methods by residue smoothing Tech Report

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

January 1987
Modelling and filtering of freeway traffic flow Tech Report

S.A. Smulders

January 1987
Waiting times in discrete-time cyclic-service systems Tech Report

O.J. Boxma (Onno) and W.P. Groenendijk

January 1987
The biennial life strategy in a random environment Tech Report

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

January 1987
Process management in a distributed operating system Tech Report

S.J. Mullender (Sape)

January 1987
Implementation of elementary functions in ADA Tech Report

M. Bergman

January 1987
Design and implementation of elementary functions in ADA Tech Report

J. Kok (Jan)

January 1987
On proving register atomicity Tech Report

B. Awerbuch, L.M. Kirousis, E. Kranakis (Evangelos) and P.M.B. Vitányi (Paul)

January 1987
Atomic multireader register Tech Report

L.M. Kirousis, E. Kranakis (Evangelos) and P.M.B. Vitányi (Paul)

January 1987
An Amoeba replicated service organisation Tech Report

I. Shizgal

January 1987
A fully abstract semantics for data flow nets Tech Report

J.N. Kok (Joost)

January 1987
$ACP_ au$: a universal axiom system for process specification Tech Report

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

January 1987
Steps into a geometer's workbench Tech Report

V. Akman (Varol)

January 1987
Geometry and graphics applied to robotics Tech Report

V. Akman (Varol)

January 1987
Term rewriting systems: a tutorial Tech Report

J.W. Klop (Jan Willem)

January 1987
Admissibility in fair Bayes prediction problems Tech Report

M.L. Eaton

January 1987
Controlling error rates using prior information and marginal totals to select tumor sites Tech Report

T.A. Louis and J.K. Bailey

January 1987
Efficient monotone sequential design Tech Report

T.A. Louis

January 1987
Concentration inequalities for Gauss-Markov estimators Tech Report

M.L. Eaton

January 1987
Stochastic and chaotic relaxation oscillations Tech Report

J. Grasman (Johan) and J.B.T.M. Roerdink (Jos)

January 1987
Some stability results for the hopscotch difference method when applied to convection-diffusion equations Tech Report

J.G. Verwer (Jan)

January 1987
NUMVEC FORTRAN library manual : chapter: simultaneous linear equations, update #1 Tech Report

W. Hoffmann (Walter)

January 1987
A numerical study of a 1D stationary semiconductor model Tech Report

B.P. Sommeijer (Ben), W. Hundsdorfer (Willem), C.T.H. Everaars (Kees), P.J. van der Houwen (Piet) and J.G. Verwer (Jan)

January 1987
BEELDEN: een studie naar de mathematische morfologie van Serra [Images: a study to the mathematical morphology of Serra] Tech Report

M. van Herwijnen

January 1987
Low-order spectral models of the atmospheric circulation: a survey Tech Report

H.E. de Swart (Huibert)

January 1987
An abstracto reader prepared for IFIP WG 2.1 Tech Report

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

January 1987
Representing knowledge in two distinct descriptions: extensional vs. intensional Tech Report

T. Tomiyama and P.J.W. ten Hagen (Paul)

January 1987
Verification of an algorithm for log-time sorting by square comparison Tech Report

J.C. Mulder and W.P. Weijland

January 1987
Strongly sequential rewriting systems Tech Report

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

January 1987
A convergence theorem in process algebra Tech Report

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

January 1987
Consistency of rule-based expert systems Tech Report

M.A. Bezem

January 1987
A Lagrangian moving grid scheme for one-dimensional evolutionary partial differential equations Tech Report

J.G. Blom (Joke), J.M. Sanz-Serna and J.G. Verwer (Jan)

January 1987
Stabilization of explicit difference schemes by smoothing techniques Tech Report

P.J. van der Houwen (Piet)

January 1987
Perspectives on parallel computing Tech Report

G.A.P. Kindervater (Gerard), J.K. Lenstra (Jan Karel) and A.H.G. Rinnooy Kan

January 1987
Sojourn times in feedback queues Tech Report

J.L. van den Berg (Hans) and O.J. Boxma (Onno)

January 1987
Local search for constrained routing problems Tech Report

M.W.P. Savelsbergh

January 1987
Group theoretic interpretations of Askey's scheme of hypergeometric orthogonal polynomials Tech Report

T.H. Koornwinder

January 1987
Action-angle maps and scattering theory for some finite-dimensional integrable systems : the pure solution case Tech Report

S.N.M. Ruijsenaars (Simon)

January 1987
String theory and algebraic geometry of moduli spaces Tech Report

D.J. Smit

January 1987
Verification of a systolic algorithm for string comparison Tech Report

L. Kossen and W.P. Weijland

January 1987
Two normal form theorems for CSP programs Tech Report

K.R. Apt (Krzysztof), L. Bougé and P. Clermont

January 1987
Product-integrals and counting processes Tech Report

R.D. Gill (Richard) and S. Johansen

January 1987
On the Edgeworth expansion and the bootstrap approximation for a studentized U-statistic Tech Report

R. Helmers (Roelof)

January 1987

Previous

Next

Available Years