Centrum Wiskunde & Informatica: Centrum Wiskunde & Informatica

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
CMIF: A structure for transportable, dynamic multimedia documents Lecture

D.C.A. Bulterman (Dick)

January 1992
Meeting - A simple teleconferencing tool Presentation

A.J. Jansen (Jack)

January 1992
Synchronization of Multi-Sourced Multimedia Data for Heterogeneous Target Systems In Proceedings

D.C.A. Bulterman (Dick)

January 1992
Multimedia Onderzoek: Drie Open Vragen Article

Informatie en Informatiebeleid, 12(4)

D.C.A. Bulterman (Dick)

January 1992
Robust iterative solvers for sparse linear systems In Proceedings

P.M. de Zeeuw (Paul)

January 1992
Embedded diagonally implicit Runge-Kutta algorithms on parallel computers Article

Mathematics of Computation, 58(197), 135-159.

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

January 1992
Parallel diagonally implicit Runge-Kutta-Nyström methods Article

Applied Numerical Mathematics, 9(2), 111-131.

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

January 1992
Block Runge-Kutta methods on parallel computers Article

ZAMM - Zeitschrift für angewandte Mathematik und Mechanik, 72(1), 3-18.

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

January 1992
An explicit-implicit method for a class of time-dependent partial differential equations Article

Applied Numerical Mathematics, 9(2), 157-181.

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

January 1992
On $q$-analogues of the Fourier and Hankel transforms Article

Transactions of the American Mathematical Society, 333(1), 445-461.

T.H. Koornwinder and R.F. Swarttouw

January 1992
The local maximal subgroups of exceptional groups of Lie type, finite and algebraic Article

Proceedings of the London Mathematical Society, 64(1), 21-48.

A.M. Cohen (Arjeh), M.W. Liebeck and J. Saxl

January 1992
LRU is better than FIFO under the independent reference model Article

Journal of Applied Probability, 29(1), 239-243.

J. van den Berg (Rob) and A. Gandolfi

January 1992
Disjoint paths in a planar graph---a general theorem Article

SIAM Journal on Discrete Mathematics, 5(1), 112-116.

G. Ding, A. Schrijver (Lex) and P.D. Seymour (Paul)

January 1992
Optimal control of admission to a multiserver queue with two arrival streams Article

IEEE Transactions on Automatic Control, 37(6), 785-797.

J.P.C. Blanc and P.R. de Waal

January 1992
Edge-disjoint circuits in graphs on the torus Article

Journal of Combinatorial Theory - Series B, 55(1), 9-17.

A. Frank and A. Schrijver (Lex)

January 1992
Inductive reasoning and Kolmogorov complexity Article

Journal of Computer Science and Technology, 44(2), 343-384.

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

January 1992
On the number of fixed point free elements in a permutation group. A collection of contributions in honour of Jack van Lint. Article

Discrete Mathematics, 135-138.

P.J. Cameron and A.M. Cohen (Arjeh)

January 1992
Letter to the editor: 'Busy-period analysis of a correlated queue with exponential demand and service' Article

Journal of Applied Probability, 29(2), 482-483.

S.C. Borst (Sem) and M.B. Combé (Marco)

January 1992
A note on weighted distributed match-making Article

Journal on Mathematical Computing Theory, 25(2), 123-140.

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

January 1992
Which new RSA-signatures can be computed from certain given RSA-signatures? J Article

Cryptology, 5(1), 41-52.

J.-H. Evertse (Jan-Hendrik) and E. van Heijst

January 1992
A central limit theorem for $M$-estimators by the von Mises method Article

Statistica Neerlandica, 46(2-3), 165-177.

C.C. Heesterman and R.D. Gill (Richard)

January 1992
Fractional Runge-Kutta methods with application to convection-diffusion equations Article

Impact of Computing in Science and Engineering, 4(3), 195-216.

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

January 1992
The power of the queue Article

SIAM Journal on Computing, 21(4), 697-712.

M. Li (Ming), L. Longpré and P.M.B. Vitányi (Paul)

January 1992
Optimality of wait-free atomic multiwriter variables Article

Information Processing Letters, 43(2), 107-112.

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

January 1992
Generalized hexagons of even order. A collection of contributions in honour of Jack van Lint. Article

Discrete Mathematics, 139-146.

A.M. Cohen (Arjeh) and B.N. Cooperstein

January 1992
From failure to success: comparing a denotational and a declarative semantics for Horn clause logic In Proceedings

F.S. de Boer (Frank), J.N. Kok (Joost), C. Palamidessi (Catuscia) and J.J.M.M. Rutten (Jan)

January 1992
An evaluation of the gradient-weighted moving-finite-element method in one space dimension Article

Journal of Computational Physics, 103(2), 422-441.

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

January 1992

Previous

Next

Available Years