Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

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
Abstract topological dynamics In Proceedings

J. de Vries (Jan)

January 1992
Non-well-founded sets and programming language semantics In Proceedings

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

January 1992
Unconditional convergence of some Crank-Nicolson LOD methods for initial-boundary value problems Article

Mathematics of Computation, 58(197), 35-53.

W. Hundsdorfer (Willem)

January 1992
Nonlinear multigrid applied to a one-dimensional stationary semiconductor model Article

Journal on Scientific and Statistical Computing, 13(2), 512-530.

P.M. de Zeeuw (Paul)

January 1992
A converse of Lotz's theorem on uniformly continuous semigroups Article

Proceedings of the American Mathematical Society, 116(2), 525-527.

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

January 1992
Asymptotic inversion of incomplete gamma functions Article

Mathematics of Computation, 58(198), 755-764.

N.M. Temme (Nico)

January 1992
Descriptor representations without direct feedthrough term Article

Automatica, 28(3), 633-637.

M. Kuijper

January 1992
A pointwise criterion for controller robustness Article

Systems & Control Letters, 18(1), 1-8.

J.M. Schumacher (Hans)

January 1992
On the uniqueness of kernels Article

Journal of Combinatorial Theory - Series B, 55(1), 146-160.

A. Schrijver (Lex)

January 1992
Block-Cholesky for parallel processing Article

Applied Numerical Mathematics, 10(1), 37-57.

M. Louter-Nool

January 1992
On shortest $T$-joins and packing $T$-cuts Article

Journal of Combinatorial Theory - Series B, 55(1), 73-82.

A.M.H. Gerards (Bert)

January 1992
Numerical methods for the $3$D shallow water equations on vector and parallel computers Article

Applied Numerical Mathematics, 10(1), 3-18.

E.D. de Goede (Erik)

January 1992
Asymptotic properties of a class of statistical models in software reliability Article

Scandinavian Journal of Statistics, 19(3), 235-253.

M.C. J. van Pul (Mark)

January 1992
An elementary proof of the Ambartzumian-Pleijel identity Article

Mathematical Proceedings of the Cambridge Philosophical Society, 112(3), 535-538.

A.J. Cabo (Annoesjka)

January 1992
The gamma-neighborhood graph Article

Computational Geometry, 1(4), 227-246.

R.C. Veltkamp (Remco)

January 1992
Processes as terms: non-well-founded models for bisimulation Article

Mathematical Structures in Computer Science, 2(3), 257-275.

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

January 1992
Dynamic MRI reconstruction as a moment problem Article

Mathematical Methods in the Applied Sciences, 15(9), 661-675.

M. Zwaan

January 1992
On the random walk with zero drifts in the first quadrant of $old Rsb 2$ Article

Communications in Statistics. Stochastic Models, 8(3), 359-374.

J.W. Cohen

January 1992
Mathematical morphology: a geometrical approach in image processing Article

Nieuw Archief voor Wiskunde, 10(3), 237-276.

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

January 1992
Statistical selection: multiple comparison approach. With a Dutch summary. Dissertation, Technische Universiteit Eindhoven, Eindhoven, 1992. Book

S.G.A.J. Driessen

January 1992
A primitive recursive set theory and ${m AFA}$: on the logical complexity of the largest bisimulation In Proceedings

R.T.P. Fernando (Tim)

January 1992
Generalizing completeness results for loop checks in logic programming In Proceedings

R.N. Bol

January 1992
Asymptotic inversion of the incomplete beta function Asymptotic methods in analysis and combinatorics Article

Journal of Computational and Applied Mathematics, 41(1-2), 145-157.

N.M. Temme (Nico)

January 1992
Hyperasymptotic expansions of confluent hypergeometric functions Article

IMA Journal of Applied Mathematics, 49(3), 203-216.

A.B. Olde Daalhuis

January 1992
Askey-Wilson polynomials for root systems of type $BC$ Book Chapter

T.H. Koornwinder

January 1992
Errors in binary images and an $Lsp p$ version of the Hausdorff metric Article

Nieuw Archief voor Wiskunde, 10(3), 157-183.

A.J. Baddeley (Adrian)

January 1992
Analysis of random walks Book

J.W. Cohen

January 1992
The use of projective geometry in computer graphics Book

I. Herman (Ivan)

January 1992
Activiteiten 1992/1993 op het gebied van de tweede fase onderzoeksopleiding wiskunde Book

January 1992
Scientific programme 1992, part 2 Book

January 1992
Enigma: An Image Retrieval System In Proceedings

T. Gevers and A.W.M. Smeulders (Arnold)

January 1992
Optimization of Length Measurement for Isotropic Distance Transformations in Three Dimensions Article

Computer Vision and Image Understanding, 55(3), 296-306.

A.L.D. Beckers and A.W.M. Smeulders (Arnold)

January 1992
The Accuracy and Precision of Curvature Estimation Methods In Proceedings

M. Worring (Marcel) and A.W.M. Smeulders (Arnold)

January 1992
Multi-Scale Analysis of Discrete Point Sets In Proceedings

M. Worring (Marcel) and A.W.M. Smeulders (Arnold)

January 1992
Distribution of the workload in multiclass queueing systems with server vacations Article

Naval Research Logistics, 39(1), 41-52.

H. Takagi, T. Takine and O.J. Boxma (Onno)

January 1992
A-stable parallel block methods for ordinary and integro-differential equations In Proceedings

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

January 1992
Generating permutations of a bag by interchanges Article

Information Processing Letters, 41(5), 263-269.

C.W. Ko and F. Ruskey

January 1992
A new lower bound approach for single-machine multicriteria scheduling Article

Operations Research Letters, 11(1), 39-44.

J.A. Hoogeveen and S.L. van de Velde

January 1992
Probabilistic analysis of the minimum weighted flowtime scheduling problem Article

Operations Research Letters, 11(2), 67-71.

A. Marchetti Spaccamela (Alberto), W.S. Rhee, L. Stougie (Leen) and S.A. van de Geer (Sara)

January 1992
Average case complexity under the universal distribution equals worst-case complexity Article

Information Processing Letters, 42(3), 145-149.

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

January 1992
Solving large dense systems of linear equations on systems with virtual memory and with cache Article

Applied Numerical Mathematics, 10(1), 73-85.

W.M. Lioen (Walter) and D.T. Winter (Dik)

January 1992
$q$-special functions, a tutorial In Proceedings

H.T. Koelink and T.H. Koornwinder

January 1992
Stochastic realization of finite-valued processes and primes in the positive matrices In Proceedings

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

January 1992
Multi-D upwinding and multigridding for steady Euler flow computations In Proceedings

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

January 1992
Why the occur-check is not a problem In Proceedings

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

January 1992
A theory of first-order built-in's of Prolog In Proceedings

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

January 1992

Previous

Next

Available Years