Publications from 2013
-
The algebra of modal logic Tech Report
January 1994 -
The STO-problem is NP-hard Tech Report
January 1994 -
Formal methods in the development of PREMO Tech Report
January 1994 -
January 1994
-
January 1994
-
Knowledge abstraction using heuristic search Tech Report
January 1994 -
January 1994
-
January 1994
-
January 1994
-
The BM AP/M/s queue Tech Report
January 1994 -
January 1994
-
Analysis of a two-dimensional algebraic nearest-neighbour random walk : queue with paired services Tech Report
January 1994 -
January 1994
-
January 1994
-
A closer look at declarative interpretations Tech Report
January 1994 -
January 1994
-
January 1994
-
January 1994
-
January 1994
-
The logic of Peirce algebras Tech Report
January 1994 -
An adaptive image line reconstruction method In Proceedings
January 1994 -
January 1994
-
Image analysis methods based on hierarchies of graphs and multi-scale mathematical morphology Dissertation
January 1994 -
Preface Preface
January 1994 -
A structural co-induction theorem In Proceedings
January 1994 -
January 1994
-
Preface Article
January 1994 -
January 1994
-
Three-valued completion for abductive logic programs In Proceedings
January 1994 -
FFT-based methods for nonlinear image restoration in confocal microscopy Article
Journal of Mathematical Imaging and Vision, 4(2), 199-207.January 1994 -
LiE, a software package for Lie group computations Article
Euromath Bulletin, 1(2), 83-94.January 1994 -
An optimal dice rolling policy for risk Article
Nieuw Archief voor Wiskunde, 12(1-2), 49-52.January 1994 -
On the power series algorithm In Proceedings
January 1994 -
It was completely abracadabra to me, but it seemed very interesting. An interview with Cor Baayen. (Dutch) Book Chapter
January 1994 -
Polling systems Book Chapter
January 1994 -
The essence of the law of large numbers Book Chapter
January 1994 -
January 1994
-
Verification of a distributed summation algorithm Book Chapter
January 1994 -
Randomness Book Chapter
January 1994 -
MOVGRD Software
January 1994 -
January 1994
-
January 1994
-
CMIFed: A Transportable Hypermedia Authoring System Miscellaneous
January 1994 -
CMIFed: A Transportable Hypermedia Authoring System In Proceedings
January 1994 -
Gauss-Seidel iteration for stiff ODEs from chemical kinetics Article
SIAM Journal on Scientific Computing, 15(5), 1243-1250.January 1994 -
Remark on a theorem of Riddle, Saab, and Uhl Article
Quaestiones Mathematicae, 17(2), 183-187.January 1994 -
On a class of two-dimensional nearest-neighbour random walks. Studies in applied probability. Article
Journal of Applied Probability, 207-237.January 1994 -
January 1994
-
Finding $k$ disjoint paths in a directed planar graph Article
SIAM Journal on Computing, 23(4), 780-788.January 1994 -
Multigrid for semiconductor device simulation: cell-centered or vertex-centered multigrid? Math Article
Mathematical engineering in industry, 5(1), 1-22.January 1994 -
Classification of minimal graphs of given face-width on the torus Article
Journal of Combinatorial Theory - Series B, 61(2), 217-236.January 1994 -
Steepest descent paths for integrals defining the modified Bessel functions of imaginary order Article
Methods and Applications of Analysis, 1(1), 14-24.January 1994 -
Tuning of Gaussian stochastic control systems Article
IEEE Transactions on Automatic Control, 39(11), 2178-2190.January 1994 -
A complete equational axiomatization for prefix iteration Article
Information Processing Letters, 52(6), 333-337.January 1994 -
A structural co-induction theorem Book Chapter
January 1994 -
Asymptotic expansions for $q$-gamma, $q$-exponential, and $q$-Bessel functions Article
Journal of Mathematical Analysis and Applications, 186(3), 896-913.January 1994 -
The tyft/tyxt format reduces to tree rules In Proceedings
January 1994 -
A new method for finding amicable pairs Book Chapter
January 1994 -
Term rewriting properties of SOS axiomatisations In Proceedings
January 1994 -
A cross section of intersection theory Article
Nieuw Archief voor Wiskunde, 12(3), 169-177.January 1994 -
January 1994
-
An orientation theorem for graphs Article
Journal of Combinatorial Theory - Series B, 62(2), 199-212.January 1994 -
A logic for variable aliasing in logic programs In Proceedings
January 1994 -
The double covering of the quantum group ${m SO}sb q(3)$ In Proceedings
January 1994 -
Paths in graphs and curves on surfaces In Proceedings
January 1994 -
Action-angle maps and scattering theory for some finite-dimensional integrable systems II. Solitons, antisolitons, and their bound states Article
Publications of the Research Institute for Mathematical Sciences, Kyoto University, 30(6), 865-1008.January 1994 -
January 1994
-
BENELOG 1994 : proceedings of the sixth Benelux workshop on logic programming, Amsterdam, 02.09.1994 Proceedings
January 1994 -
January 1994
-
Over de tien eenvoudigste meetkundige grootheden Book Chapter
January 1994 -
Mobiliteitsdictaat theoretische mechanica : voorwoord uit het Mobiliteitsdictaat theoretische mechanica Book Chapter
January 1994 -
January 1994
-
Meetkunde en ervaringsstructuur : rede uitgesproken op den gedenkdag van de Technische Hogeschool [Delft], 09.01.1939 Book Chapter
January 1994 -
Over de ontwikkeling der begrippen ruimte en tijd in verband met het relativiteitsbeginsel Book Chapter
January 1994 -
January 1994
-
January 1994
-
January 1994
-
January 1994
-
Voorwoord (op Schouten beschouwd) Book Chapter
January 1994 -
Ter inleiding (op Schouten beschouwd) Book Chapter
January 1994 -
Shape of an Arbitrary Finite Point Set in R^2 Article
Journal of Mathematical Imaging and Vision, 4(2), 151-170.January 1994 -
Objects for Simulation: Smalltalk and Ecology Article
Simulation, 62(1), 42-57.January 1994 -
Morphological Structure of Images: The Differential Equations of Morphological Scale-Space Article
IEEE Transactions on Pattern Analysis and Machine Intelligence, 16(11), 1101-1113.January 1994 -
Measurement of 3d-Line Shaped Objects Article
Pattern Recognition Letters, 497-506.January 1994 -
Fast Attenuation Correction in Fluorescence Confocal Imaging: A Recursive Approach Article
BioImaging, 78-92.January 1994 -
A Visual Programming Interface for an Image Processing Environment Article
Pattern Recognition Letters, 15(11), 1099-1109.January 1994 -
3-D Texture Characterized by Accessibility Measurements Based on the Grey Weighted Distance Transform Article
BioImaging, 2(1), 1-21.January 1994 -
Optimization of static traffic allocation policies Article
Theoretical Computer Science, 125(1), 17-43.January 1994 -
Stochastic bounds for a polling system Article
Annals of Operations Research, 48(1-4), 295-310.January 1994 -
Sequencing and cooperation Article
Mathematical Methods of Operations Research, 42(3), 566-568.January 1994 -
VLUGR3: a vectorizable adaptive grid solver for PDEs in $3$D I. Algorithmic aspects and applications. A Festschrift to honor Professor Robert Vichnevetsky on his 65th birthday. Article
Applied Numerical Mathematics, 16(1-2), 129-156.January 1994 -
Dynamic modal predicate logic Book Chapter
January 1994 -
January 1994
-
On a class of singularly perturbed boundary value problems for which an adaptive mesh technique is necessary In Proceedings
January 1994 -
January 1994
-
Control of discrete event systems---research at the interface of control theory and computer science Book Chapter
January 1994 -
The computation of R0 for discrete-time epidemic models with dynamic heterogeneity Article
Mathematical Biosciences, 119(1), 97-114.January 1994 -
Modularity of confluence: A simplified proof Article
Information Processing Letters, 49(2), 101-109.January 1994 -
Waiting-time approximations for multiple-server polling systems Article
Performance Evaluation, 163-182.January 1994 -
Analysis of multiple-server polling systems by means of the power-series algorithm Article
Stochastic Models, 339-369.January 1994