Publications from 2012
-
Quantitative models describing the kinetics of tumour cell proliferation: a comparison to experimental data Tech Report
January 1984 -
Counting is easy Tech Report
January 1984 -
Interactieve methoden voor de routering van voertuigen [Interactive methods for vehicle routing] Tech Report
January 1984 -
Point-line characterizations of buildings Tech Report
January 1984 -
January 1984
-
January 1984
-
A software package for the generation of noise with widely divergent spectral properties ; The Simulation of Realistic Stationary Detector Noise Article
Analytica Chimica Acta, 273-290.January 1984 -
January 1984
-
January 1984
-
The simple roots of real-time computation hierarchies In Proceedings
January 1984 -
The linear systems Lie algebra, the Segal-Shale-Weil representation and all Kalman-Bucy filters In Proceedings
January 1984 -
January 1984
-
Mathematical decision theory: theory and practice [Mathematische besliskunde : theorie en praktijk] Book Chapter
January 1984 -
January 1984
-
On generating new amicable pairs from given amicable pairs Article
Mathematics of Computation, 42(165), 219-223.January 1984 -
January 1984
-
On the $G$-compactification of products Article
Pacific Journal of Mathematics, 110(2), 447-470.January 1984 -
A comparative study of ADI splitting methods for parabolic equations in two space dimensions Article
Journal of Computational and Applied Mathematics, 10(2), 179-193.January 1984 -
Almost stabilizability subspaces and high gain feedback Article
IEEE Transactions on Automatic Control, 29(7), 620-628.January 1984 -
Rules for constructing hyperperfect numbers Article
Fibonacci Quarterly, 22(1), 50-60.January 1984 -
Error bounds for the solution to the algebraic equations in Runge-Kutta methods Article
BIT : Numerical Mathematics, 24(3), 347-356.January 1984 -
January 1984
-
Contractivity of locally one-dimensional splitting methods Article
Numerische Mathematik, 44(2), 247-259.January 1984 -
On oscillation properties and the interval of orthogonality of orthogonal polynomials Article
SIAM Journal on Mathematical Analysis, 15(5), 1031-1042.January 1984 -
Distance regular graphs of diameter $3$ and strongly regular graphs Article
Discrete Mathematics, 49(1), 101-103.January 1984 -
Infinite horizon optimal control on manifolds In Proceedings
January 1984 -
Iterated splitting method of high order for time-dependent partial differential equations Article
SIAM Journal on Numerical Analysis, 21(4), 635-656.January 1984 -
The Lagrange multiplier rule on manifolds and optimal control of nonlinear systems Article
SIAM Journal on Control and Optimization, 22(5), 740-757.January 1984 -
Four MOLS of order $10$ with a hole of order $2$ Article
Journal of Statistical Planning Inference, 10(2), 203-205.January 1984 -
On the overflow process from a finite Markovian queue Article
Performance Evaluation, 4(4), 233-240.January 1984 -
Polynomial factorization by root approximation In Proceedings
January 1984 -
Asymptotic analysis of a queueing system with a two-dimensional state space Article
Journal of Applied Probability, 21(4), 870-886.January 1984 -
On the simulation of many storage heads by one Article
Theoretical Computer Science, 34(1-2), 157-168.January 1984 -
On the stable size distribution of populations reproducing by fission into two unequal parts Article
Mathematical Biosciences, 72(1), 19-50.January 1984 -
Factoring multivariate integral polynomials Article
Theoretical Computer Science, 34(1-2), 207-213.January 1984 -
Proving total dual integrality with cross-free families---a general framework Article
Mathematical Programming, 29(1), 15-27.January 1984 -
The mathematical modeling of entrained biological oscillators Article
Bulletin of Mathematical Biology, 46(3), 407-422.January 1984 -
Mixed defect correction iteration for the solution of a singular perturbation problem In Proceedings
January 1984 -
January 1984
-
Holling's 'hungry mantid' model for the invertebrate functional response considered as a Markov process III. Stable satiation distribution Article
Journal of Mathematical Biology, 21(2), 115-143.January 1984 -
Matrices en de theorie van dynamische systemen (Matrices and the theory of dynamical systems) In Proceedings
January 1984 -
January 1984
-
January 1984
-
On the weak finite stochastic realization problem In Proceedings
January 1984 -
Image Processing for Mitoses in Sections of Breast Cancer: A Feasibility Study Article
Cytometry, 5(3), 244-249.January 1984 -
Discrete Representation of Straight Lines Article
IEEE Transactions on Pattern Analysis and Machine Intelligence, 6(4), 450-463.January 1984 -
Continuum population dynamics with an application to Daphnia magna Article
Nieuw Archief voor Wiskunde, 2(1), 82-109.January 1984 -
Hoare's logic for programming languages with two data types Article
Theoretical Computer Science, 28(1-2), 215-221.January 1984 -
Invariant manifolds for Volterra integral equations of convolution type Article
Journal of Differential Equations, 54(2), 139-180.January 1984 -
Volterra-type integral equations of the second kind with nonsmooth solutions: high-order methods based on collocation techniques Article
Journal of Integral Equations, 6(3), 187-203.January 1984 -
A symmetric design with parameters $2$-$(49,,16,,5)$ Article
Journal of Combinatorial Theory - Series A, 37(2), 193-194.January 1984 -
On the power of real-time two-way multihead finite automata with jumps Article
Information Processing Letters, 31-35.January 1984 -
Corrigendum: 'On infinite computations in denotational semantics' Article
Theoretical Computer Science, 29(1-2), 229-230.January 1984 -
A limitation of Markov representation for stationary processes Article
Stochastic Processes and their Applications, 18(1), 33-45.January 1984 -
Stability in linear multistep methods for pure delay equations Article
Journal of Computational and Applied Mathematics, 10(1), 55-63.January 1984 -
On the stability of the cell size distribution Article
Journal of Mathematical Biology, 19(2), 227-248.January 1984 -
Two open problems in precedence constrained scheduling In Proceedings
January 1984 -
Linear time and branching time semantics for recursion with merge Article
Theoretical Computer Science, 34(1-2), 135-156.January 1984 -
An introduction to multilinear algebra and some applications Article
Philips Journal of Research, 39(4-5), 111-120.January 1984 -
Singular perturbations and a mapping on an interval for the forced van der Pol relaxation oscillator Article
Physica - D, Nonlinear Phenomena, 13(1-2), 195-210.January 1984 -
Linear multistep methods with reduced truncation error for periodic initial value problems Article
IMA Journal of Numerical Analysis, 4(4), 479-489.January 1984 -
January 1984
-
Process algebra for synchronous communication Article
Information and Control, 60(1-3), 109-137.January 1984 -
Bounded tiling, an alternative to satisfiability? In Proceedings
January 1984 -
Proving program inclusion using Hoare's logic Article
Theoretical Computer Science, 30(1), 1-48.January 1984 -
January 1984
-
The defect correction approach In Proceedings
January 1984 -
Convergence of method of lines approximations to partial differential equations Article
Computing, 33(3-4), 297-313.January 1984 -
January 1984
-
January 1984
-
Strongly regular graphs and partial geometries In Proceedings
January 1984 -
January 1984
-
January 1984
-
January 1984
-
On the Continuity of the Percolation Probability Function In Proceedings
January 1984 -
Disproof of the Conjectured Subexponentiality of certain Functions in Percolation Theory Article
Advances in Applied Probability, 690-691.January 1984 -
January 1984
-
January 1984
-
January 1984
-
January 1984
-
January 1984
-
January 1984
-
January 1984
-
January 1984
-
January 1984
-
January 1984
-
January 1984
-
January 1984
-
January 1984
-
Few-distance sets Book
January 1984 -
January 1984
-
January 1984
-
Review of "Principles of concurrent programming" by Ben Ari Article
Science of Computer Programming, 4(2), 211-212.January 1984 -
January 1984
-
January 1984
-
A static analysis of VSP programs In Proceedings
January 1984 -
January 1984
-
Fair termination revisited - with delay Article
Theoretical Computer Science, 65-84.January 1984 -
Modeling the distributed termination convention of CSP Article
ACM Transactions on Programming Languages and Systems, 370-379.January 1984 -
Ten years of Hoare s logic, a survey, part II: n ondeterminism Article
Theoretical Computer Science, 83-109.January 1984