Publications from 2012
-
Semantic models for a version of PARLOG In Proceedings
January 1989 -
Control flow versus logic: a denotational and a declarative model for guarded Horn clauses In Proceedings
January 1989 -
January 1989
-
Structured operational semantics and bisimulation as a congruence (extended abstract) In Proceedings
January 1989 -
January 1989
-
A new approach to formal language theory by Kolmogorov complexity (preliminary version) In Proceedings
January 1989 -
A Lagrangian moving grid scheme for one-dimensional evolutionary partial differential equations In Proceedings
January 1989 -
Reproducibility and Comparison of Quantitative DNA Histogram Features Obtained with a Scanning Microdensitometer and a Flow Cytometer in Breast Cancers Article
Analytical and Quantitative Cytology and Histology, 11(5), 353-360.January 1989 -
Quantification of Epithelial Area by Image Processing Applied to Endometrial Carcinomas: A Comparison with Ovarian Tumors Article
Human Pathology, 20(11), 1125-1132.January 1989 -
Hypermedia Techniques for Diagnostic Imaging Instruction: Videodisk Echocardiography Encyclopedia Article
Radiology, 171(2), 475-480.January 1989 -
Human Chromosome Classification Based on Local Band Descriptors Article
Pattern Recognition Letters, 9(3), 211-222.January 1989 -
Evaluation of Automated Estimation of Epithelial Volume and Its Prognostic Value in Ovarian Tumors Article
Laboratory Investigation, 61(2), 228-234.January 1989 -
Cytomorphometry: A Methodologic Study of Preparation Techniques, Selection Methods and Sample Sizes Article
Analytical and Quantitative Cytology and Histology, 11(4), 225-231.January 1989 -
Construction of the Diagnostic Encyclopedia Workstation: Computerizing Pathology for the Pathologist Article
Analytical and Quantitative Cytology and Histology, 11(6), 447-450.January 1989 -
An Analysis of Pathology Knowledge and Decision Amking for the Development of Artificial Intelligence-Based Consulting Systems Article
Analytical and Quantitative Cytology and Histology, 11(3), 154-165.January 1989 -
A Computer Based Handbook and Atlas of Pathology Article
Pathology Research and Practice, 185(5), 652-656.January 1989 -
A Comparative Study in Morphometric Grading of Transitional Cell Carcinoma of the Urinary Bladder Article
Analytical and Quantitative Cytology and Histology, 11(6), 426-432.January 1989 -
A Comment on a Note on Distance Transformations in Digital Images Article
Computer Vision, Graphics and Image Processing, 47(1), 89-91.January 1989 -
January 1989
-
A short proof of Tutte's characterization of totally unimodular matrices Article
Linear Algebra and its Applications, 207-212.January 1989 -
A note on compactifications of products of semigroups Article
Semigroup Forum, 38(1), 85-89.January 1989 -
A Hille-Yosida theorem for a class of weakly ${}sp *$ continuous semigroups Article
Semigroup Forum, 38(2), 157-178.January 1989 -
January 1989
-
Stability and convergence at the PDE/stiff ODE interface. Recent theoretical results in numerical ordinary differential equations Article
Applied Numerical Mathematics, 5(1-2), 117-132.January 1989 -
The parallel complexity of TSP heuristics Article
Journal of Algorithms, 10(2), 249-270.January 1989 -
Stochastic and chaotic relaxation oscillations Article
Journal of Statistical Physics, 54(3-4), 949-970.January 1989 -
How to estimate the efficacy of periodic control of an infectious plant disease Article
Mathematical Biosciences, 93(1), 15-29.January 1989 -
Unique normal forms for lambda calculus with surjective pairing Article
Information and Computation, 80(2), 97-113.January 1989 -
January 1989
-
Sojourn times in the $M/G/1$ queue with deterministic feedback Article
Communications in Statistics. Stochastic Models, 51(1), 115-129.January 1989 -
Phase-lag analysis of implicit Runge-Kutta methods Article
SIAM Journal on Numerical Analysis, 26(1), 214-229.January 1989 -
Diagonally implicit Runge-Kutta-Nyström methods for oscillatory problems Article
SIAM Journal on Numerical Analysis, 26(2), 414-429.January 1989 -
An adaptive moving grid method for one-dimensional systems of partial differential equations Article
Journal of Computational Physics, 82(2), 454-486.January 1989 -
A comparative study of Chebyshev acceleration and residue smoothing in the solution of nonlinear elliptic difference equations In Proceedings
January 1989 -
Reflections and calculations on a prey-predator-patch problem Article
Acta Applicandae Mathematicae, 14(1-2), 23-35.January 1989 -
Factoring with the quadratic sieve on large vector computers (Reprinted in Parallel algorithms for numerical linear algebra, 267--278, North-Holland, Amsterdam, 1990) Article
Journal of Computational and Applied Mathematics, 27(1-2), 267-278.January 1989 -
Linear groups and distance-transitive graphs Article
European Journal of Combinatorics, 10(5), 399-411.January 1989 -
Graphs related to Held's simple group Article
Journal of Algebra, 123(1), 6-26.January 1989 -
Stability and convergence of the Peaceman-Rachford ADI method for initial-boundary value problems Article
Mathematics of Computation, 53(187), 81-101.January 1989 -
January 1989
-
Small parameters in structured population models and the Trotter-Kato theorem Article
SIAM Journal on Mathematical Analysis, 870-885.January 1989 -
January 1989
-
Note on explicit parallel multistep Runge-Kutta methods Article
Journal of Computational and Applied Mathematics, 27(3), 411-420.January 1989 -
Linear stability of the hopscotch scheme Article
Applied Numerical Mathematics, 5(5), 423-433.January 1989 -
On the local recognition of finite metasymplectic spaces Article
Journal of Algebra, 125(2), 248-366.January 1989 -
Abstraction and empty process in process algebra Article
Fundamenta Informaticae, 12(2), 221-241.January 1989 -
On the safe termination of PROLOG programs In Proceedings
January 1989 -
On the estimation of the extreme-value index and large quantile estimation Article
Annals of Statistics, 17(4), 1795-1832.January 1989 -
Term-rewriting systems with rule priorities Article
Theoretical Computer Science, 67(2-3), 283-301.January 1989 -
The Clebsch-Gordan coefficients for the quantum group ${m S}sb µ{m U}(2)$ and $q$-Hahn polynomials Article
Indagationes Mathematicae, 51(4), 443-456.January 1989 -
Perturbation theory for dual semigroups. III. Nonlinear Lipschitz continuous perturbations in the sun-reflexive [case] In Proceedings
January 1989 -
Maintaining multiple representations of dynamic data structures Article
Information and Computation, 83(2), 206-233.January 1989 -
Solving reflexive domain equations in a category of complete metric spaces Article
Journal of Computer Science and Technology, 39(3), 343-375.January 1989 -
On Kalman filtering for conditionally Gaussian systems with random matrices Article
Systems & Control Letters, 13(5), 397-404.January 1989 -
Tail triviality for sums of stationary random variables Article
Annals of Probability, 17(4), 1635-1645.January 1989 -
A moment estimator for the index of an extreme-value distribution Article
Annals of Statistics, 17(4), 1833-1855.January 1989 -
Denotational semantics of a parallel object-oriented language Article
Information and Computation, 83(2), 152-205.January 1989 -
Checking the Goldbach conjecture on a vector computer In Proceedings
January 1989 -
January 1989
-
January 1989
-
January 1989
-
January 1989
-
January 1989
-
January 1989
-
January 1989
-
January 1989
-
January 1989
-
January 1989
-
January 1989
-
January 1989
-
January 1989
-
January 1989
-
January 1989
-
January 1989
-
January 1989
-
January 1989
-
Evaluating the Usability of the Glasgow Online Hypertext Article
Hypermedia Journal, 1(1), 34-63.January 1989 -
Preface : Acta applicandae mathematicae 1989 Article
Acta Applicandae Mathematicae, 17(3), 201-203.January 1989 -
Nongaussian linear filtering, identification of linear systems, and the symplectic group In Proceedings
January 1989 -
Local class field theory (by K. Iwasawa) Local field theory (by J. Neukirch) Article
Bulletin of the American Mathematical Society, 21(1), 95-101.January 1989 -
Orthogonal representations and connectivity of graphs Article
Linear Algebra and its Applications, 439-454.January 1989 -
Homotopy and crossings of systems of curves on a surface Article
Linear Algebra and its Applications, 157-167.January 1989 -
Distances and cuts in planar graphs Article
Journal of Combinatorial Theory - Series B, 46-57.January 1989 -
On the size of systems of sets every t of which have an SDR, with an application of the wordt-case ratio of heuristics for packing problems Article
SIAM Journal on Discrete Mathematics, 68-72.January 1989 -
December 1988
-
December 1988
-
December 1988
-
Early computers in the Netherlands Article
CWI Quarterly, 1(4), 61-84.December 1988 -
Hilbert's programme Article
CWI Quarterly, 1(4), 3-59.December 1988 -
Aspects of nonparametric density estimation Dissertation
November 1988 -
November 1988
-
Exponential type calculus for linear delay equations Dissertation
October 1988 -
September 1988
-
September 1988
-
J.W. Cohen: his scientific career Article
CWI Quarterly, 1(3), 73-80.September 1988 -
Overview of mathematical symbol manipulation Article
CWI Quarterly, 1(3), 65-71.September 1988 -
Mathematical formula manipulation from a user's point of view Article
CWI Quarterly, 1(3), 53-63.September 1988 -
An introduction to Knuth-Bendix completion Article
CWI Quarterly, 1(3), 31-52.September 1988 -
Logic programming and PROLOG Article
CWI Quarterly, 1(3), 15-29.September 1988 -
Complexity of symbolic computing Article
CWI Quarterly, 1(3), 3-14.September 1988