Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

Turning SOS rules into equations Tech Report

L. Aceto (Luca), B. Bloom and F.W. Vaandrager (Frits)

January 1992
Comparative transition system semantics Tech Report

R.T.P. Fernando (Tim)

January 1992
Closed $G^ 1$-continuous cubic Bézier surfaces Tech Report

R.C. Veltkamp (Remco)

January 1992
A predicate transformer to unification Tech Report

L. Colussi (Livio) and E. Marchiori

January 1992
Faster Phong shading Tech Report

E.H. Blake, V.C.J. Disselkoen and A.A.M. Kuijk (Fons)

January 1992
An architecture for interactive raster graphics Tech Report

A.A.M. Kuijk (Fons), E.H. Blake and P.J.W. ten Hagen (Paul)

January 1992
Origin tracking Tech Report

A. van Deursen (Arie), P. Klint (Paul) and F. Tip (Frank)

January 1992
Regular processes with relative time and silent steps Tech Report

W.J. Fokkink (Wan)

January 1992
A brief survey of zero-knowledge proofs Tech Report

H. Shin

January 1992
Specification and generation of a $ lambda $ -calculus environment Tech Report

A. van Deursen (Arie)

January 1992
Dynamic modal predicate logic Tech Report

D.J.N. van Eijck (Jan) and G. Cepparello (Giovanna)

January 1992
Incomplete line LU for discretized coupled PDE's as preconditioner in Bi-CGSTAB Tech Report

P.M. de Zeeuw (Paul)

January 1992
Note on the performance of direct and indirect Runge-Kutta-Nyström methods Tech Report

N. Cong

January 1992
Divisibility properties of integers x and k satisfying $1^ k + 2^ k + ... + (x-1)^ k = x^ k$ Tech Report

P. Moree, J. Urbanowicz and H.J.J. te Riele (Herman)

January 1992
Bootstrapping multivariate U-quantiles and related statistics Tech Report

R. Helmers (Roelof) and M. Husková

January 1992
Complex functions in queueing theory Tech Report

J.W. Cohen

January 1992
On a class of two-dimensional nearest neighbouring random walks Tech Report

J.W. Cohen

January 1992
Tests on semi-Lagrangian transport and interpolation Tech Report

M. van Loon (Martin)

January 1992
Parallel Jacobi iteration in implicit step-by-step methods Tech Report

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

January 1992
Explicit, high-order Runge-Kutta-Nyström methods for parallel computers Tech Report

B.P. Sommeijer (Ben)

January 1992
Parallel block predictor-corrector methods of Runge-Kutta type Tech Report

P.J. van der Houwen (Piet) and N. Cong

January 1992
Mathematical morphology as a tool for shape description Tech Report

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

January 1992
Applications of cut polyhedra Tech Report

M. Deza and M. Laurent (Monique)

January 1992
Stochastic realization of finite-valued processes and primes in the positive matrices Tech Report

G. Picci and J.H. van Schuppen (Jan)

January 1992
Tuning of Gaussian stochastic control systems Tech Report

J.H. van Schuppen (Jan)

January 1992
On some results by Fuhrmann on Hankel operators Tech Report

A. Gombani

January 1992
On relations between Schmidt pairs arising in robust control Tech Report

A. Gombani

January 1992
On the Schmidt pairs of multivariable Hankel operators and robust control Tech Report

A. Gombani

January 1992
On the geometry of external spectral factors and the Riccati inequality Tech Report

A. Gombani

January 1992
On the differential structure of matrix-valued rational inner functions Tech Report

D. Alpay, L. Baratchart and A. Gombani

January 1992
Three, four, five, six, or the complexity of scheduling with communication delays Tech Report

J.A. Hoogeveen, J.K. Lenstra (Jan Karel) and B. Veltman

January 1992
A simple proof of confluence for weakly orthogonal combinatory reduction systems Tech Report

F. van Raamsdonk (Femke)

January 1992
On the occur-check free Prolog programs Tech Report

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

January 1992
Fast parallel string prefix-matching Tech Report

D. Breslauer (Dany)

January 1992
Hashing and rehashing in emulated shared memory Tech Report

J. Keller (Jörg)

January 1992
Preconditioning in implicit initial value problem methods on parallel computers Tech Report

P.J. van der Houwen (Piet)

January 1992
Vectorizing matrix operations arising from PDE discretization on 9-point stencils Tech Report

J.G. Blom (Joke) and J.G. Verwer (Jan)

January 1992
MGD1M: a parallel multigrid code with a fast vectorized ILU-relaxation Tech Report

M. Nool (Margreet)

January 1992
Local uniform grid refinement and brine transport in porous media with inhomogeneities Tech Report

R.A. Trompert (Ronald)

January 1992
Integral solution to systems $ Ax leq b $ Tech Report

J.C. de Pina and A. Schrijver (Lex)

January 1992
Odd paths and odd circuits in planar graphs with two odd faces Tech Report

A.M.H. Gerards (Bert)

January 1992
Stochastic bounds for a polling system Tech Report

O.J. Boxma (Onno) and M. Kelbert

January 1992
Stochastic scheduling games with Markov decision arrival processes Tech Report

E. Altman and G.M. Koole (Ger)

January 1992
The silent step Tech Report

A.S. Klusener (Steven)

January 1992
Optimal multi-writer multi-reader atomic register Tech Report

A. Israeli and A. Shaham

January 1992
Linear-time snapshot protocols for unbalanced systems Tech Report

A. Israeli, A. Shaham and A. Shirazi

January 1992
On the foundations of final semantics: non-standard sets, metric spaces, partial orders Tech Report

J.J.M.M. Rutten (Jan) and D. Turi

January 1992
A new definition of SLDNF-resolution Tech Report

K.R. Apt (Krzysztof) and H.C. Doets (Kees)

January 1992
Reduction of network cost and wiring in Ranade's butterfly routing Tech Report

D. Cross, R. Drefenstedt and J. Keller (Jörg)

January 1992
Optimal sorting in linear arrays with minimum global control Tech Report

F. Abolhassan, J. Keller (Jörg) and D. Scheerer

January 1992
Proving run-time properties of general programs w.r.t. constructive negation Tech Report

E. Marchiori

January 1992
A declarative approach for first-order built-in's of Prolog Tech Report

K.R. Apt (Krzysztof), E. Marchiori and C. Palamidessi (Catuscia)

January 1992
On update-last schemes Tech Report

J.T. Tromp (John)

January 1992
Finding all periods and initial palindromes of a string in parallel Tech Report

D. Breslauer (Dany) and Z. Galil

January 1992
Efficient comparison based string matching Tech Report

D. Breslauer (Dany) and Z. Galil

January 1992
Approximate methods for N-component solute transport and ion-exchange Tech Report

P.M.C. Thoolen and P.W. Hemker (Piet)

January 1992
Parallelizing a highly vectorized multigrid code with zebra relaxation Tech Report

W.M. Lioen (Walter)

January 1992
MOORKOP: an adaptive grid code for initial-boundary value problems in two space dimensions Tech Report

R.A. Trompert (Ronald)

January 1992
Routing of freeway traffic : a discrete-time state space model and routing problems Tech Report

J.H. van Schuppen (Jan)

January 1992
The combinatorics of reconstructing evolutionary trees Tech Report

L.A. Székely, P.L. Erdös (Péter) and M.A. Steel

January 1992
Fourier calculus on evolutionary trees Tech Report

L.A. Székely, M.A. Steel and P.L. Erdös (Péter)

January 1992
On the optimality of FCFS for networks of multi-server queues Tech Report

G.M. Koole (Ger)

January 1992
N parallel queueing systems with server breakdown and repair Tech Report

P. Wartenhorst

January 1992
Optimization of fixed time polling schemes Tech Report

S.C. Borst (Sem), O.J. Boxma (Onno), J.H.A. Harink and G.B. Huitema

January 1992
Tandem queues with deterministic service times Tech Report

O.J. Boxma (Onno) and J.A.C. Resing

January 1992
The Robinson-Schensted and Schützenberger algorithms. Part I: New Combinatorial Proofs. Tech Report

M.A.A. van Leeuwen (Marc)

January 1992
On semisimple cocommutative bialgebras Tech Report

M. Hazewinkel (Michiel)

January 1992
'Hilbert 90' for polynomial matrices Tech Report

M. Hazewinkel (Michiel)

January 1992
Tight comparison bounds for the string prefix-matching problem Tech Report

D. Breslauer (Dany), L. Colussi (Livio) and L. Toniolo (Laura)

January 1992
Mathematical theory of thermodynamics of computation Tech Report

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

January 1992
Minifold: a kernel for a manifold-like coordination language Tech Report

E.P.B.M. Rutten

January 1992
Second-order algebraic specification of static semantics Tech Report

J. Heering (Jan)

January 1992
Graphics for ABC Tech Report

J. Zwaan and R. Zwart

January 1992
The ABC structure editor : structure-based editing for the ABC programming environment Tech Report

L.G.L.T. Meertens (Lambert), S. Pemberton (Steven) and G. van Rossum (Guido)

January 1992
The Views applications environment Tech Report

S. Pemberton (Steven)

January 1992
The ergonomics of computer interfaces : designing a system for human use Tech Report

L.G.L.T. Meertens (Lambert) and S. Pemberton (Steven)

January 1992
Programming aspects of Views : an open-architecture application environment Tech Report

S. Pemberton (Steven)

January 1992
Graphics in the Views system Tech Report

L.G. Barfield (Lon)

January 1992
Modelling interaction tools in the Views architecture Tech Report

E.D.G. Boeve (Eddy)

January 1992
Maintaining presentation invariants in the Views systems Tech Report

J. Ganzevoort

January 1992
Multimedia in Views Tech Report

M. Bordegoni

January 1992
Editing tree structures Tech Report

L.G. Barfield (Lon)

January 1992
The MUSA design methodology Tech Report

S. Pemberton (Steven) and L.G. Barfield (Lon)

January 1992
Semantics, orderings and recursion in the weakest precondition calculus Tech Report

M.M. Bonsangue (Marcello) and J.N. Kok (Joost)

January 1992
Query optimization strategies for browsing sessions Tech Report

M.L. Kersten (Martin) and M.F.N. de Boer

January 1992
Semantics of Manifold: specification in ASF+SDF and extension Tech Report

E.P.B.M. Rutten and S. Thiébaux

January 1992
Design and implementation of a DBMS performance assessment tool Tech Report

M.L. Kersten (Martin) and F. Kwakkel

January 1992
The ergonomics of software porting : automatically configuring software to runtime environment, or, everything you wanted to know about your C compiler, but didn't know who to ask Tech Report

S. Pemberton (Steven)

January 1992
Animators and error reporters for generated programming environments Tech Report

T.B. Dinesh and F. Tip (Frank)

January 1992
Numerical multigrid software: MGD5M, a parallel multigrid code with a twisted ILLU-relaxation Tech Report

M. Nool (Margreet)

January 1992
A package for long integer arithmetic on the Cray Y-MP Tech Report

D.T. Winter (Dik)

January 1992
Plattegrond WCW Amsterdam Science Park = Floorplan Other

January 1992
CWI: Frontier research for practical applications : colour brochure Booklet

January 1992
CWI: Grensverleggend onderzoek voor praktische vraagstukken : kleurenbrochure Booklet

January 1992
De boze brieven Book

B. Niksaart (Bop)

January 1992
ERCIM News questionnaire 1992 Other

January 1992
Closed object boundaries from scattered points Dissertation

R.C. Veltkamp (Remco)

January 1992
Influence of memory systems on vector processor performance Article

Applied Numerical Mathematics, 10(1), 59-72.

D.T. Winter (Dik)

January 1992
$q$-special functions and their occurrence in quantum groups In Proceedings

T.H. Koornwinder

January 1992
Abstraction in real time process algebra In Proceedings

A.S. Klusener (Steven)

January 1992

Previous

Next

Available Years