Publications from 2013
-
On the diagonal approximation of full matrices Tech Report
January 1995 -
Porting a 3D-model for the transport of reactive air pollutants to the parallel machine T3D Tech Report
January 1995 -
January 1995
-
January 1995
-
On $ \phi $ -amicable pairs (with appendix) Tech Report
January 1995 -
Iterating the sum-of-divisors function Tech Report
January 1995 -
January 1995
-
From exponential coordinates to bicovariant differential calculi on matrix quantum groups Tech Report
January 1995 -
January 1995
-
The many facets of evolutionary dynamics Tech Report
January 1995 -
A new lower bound for the critical probability of site percolation on the square lattice Tech Report
January 1995 -
January 1995
-
January 1995
-
Dynamic server assignment in a two-queue model Tech Report
January 1995 -
January 1995
-
Realization of positive linear systems Tech Report
January 1995 -
The behavior of convolution codes Tech Report
January 1995 -
Realization by inspection Tech Report
January 1995 -
A partial classification of primes in the positive matrices and in the doubly stochastic matrices Tech Report
January 1995 -
Primes in the doubly stochastic circulants Tech Report
January 1995 -
On a class of one-dimensional random walks Tech Report
January 1995 -
January 1995
-
January 1995
-
January 1995
-
January 1995
-
Proof-checking an audio control protocol with LP Tech Report
January 1995 -
January 1995
-
January 1995
-
A proof system for finite trees Tech Report
January 1995 -
Logging in a computational steering environment Tech Report
January 1995 -
On the identification of Wiener-Hopf factors Tech Report
January 1995 -
January 1995
-
January 1995
-
A PIXE, EPMA and SIMS study of the Chainpur meteorite: small grains of lead found in a chondrule Article
Nuclear Instruments and Methods in Physics Research B, 104(1), 494-494.January 1995 -
The nuclear microprobe used to investigate meteorites Article
Nuclear Instruments and Methods in Physics Research B, 104(1), 395-395.January 1995 -
Numerical aspects of uniform Airy-type asymptotic expansions In Proceedings
January 1995 -
Adaptive multigrid applied to a bipolar transistor problem Article
Applied Numerical Mathematics, 17(1), 61-83.January 1995 -
Step-parallel algorithms for stiff initial value problems Article
Computers & Mathematics with Applications, 30(11), 9-23.January 1995 -
January 1995
-
The essence of the law of large numbers In Proceedings
January 1995 -
Matching Book Chapter
January 1995 -
January 1995
-
Transformation and analysis of (constraint) logic programs Dissertation
Networks and OptimizationJanuary 1995 -
Action-angle Maps and Scattering Theory for Some Finite-dimensional Integrable Systems III. Sutherland Type Systems and their Duals Article
Publications of the Research Institute for Mathematical Sciences, 31(2), 247-353.January 1995 -
January 1995
-
Condition improvement for point relaxation in multigrid, subsonic Euler-flow computations Article
Applied Numerical Mathematics, 16(4), 457-469.January 1995 -
A proof-theoretic treatment of assignments. Deduction and language. Article
Bulletin of the Interest Group in Pure and Applied Logics, 3(2-3), 223-242.January 1995 -
Sparse-grid finite-volume multigrid for $3$D-problems Article
Advances in Computational Mathematics, 4(1-2), 83-110.January 1995 -
January 1995
-
Product forms based on backward traffic equations Article
Journal of Applied Probability, 32(2), 508-518.January 1995 -
A Petrov-Galerkin mixed finite element method with exponential fitting Article
Numerical Methods for Partial Differential Equations, 501-524.January 1995 -
A short proof of the planarity characterization of Colin de Verdière Article
Journal of Combinatorial Theory - Series B, 65(2), 269-272.January 1995 -
A globally gated polling system with a dormant server Article
Probability in the Engineering and Informational Sciences, 9(2), 239-254.January 1995 -
Mathematical morphology: a modern approach in image processing based on algebra and geometry Article
SIAM Review, 37(1), 1-36.January 1995 -
On Tutte's characterization of graphic matroids---a graphic proof Article
Journal of Graph Theory, 20(3), 351-359.January 1995 -
Polling systems with multiple coupled servers Article
Queueing Systems, 20(3-4), 369-393.January 1995 -
Partial up and down logic. Belief revision. Article
Notre Dame Journal of Formal Logic, 36(1), 134-157.January 1995 -
Efficient parallel predictor-corrector methods In Proceedings
January 1995 -
Static optimization of queueing systems Book Chapter
January 1995 -
A Lindström theorem for modal logic In Proceedings
January 1995 -
Bernoulli polynomials old and new: generalizations and asymptotics Article
CWI Quarterly, 8(1), 47-66.January 1995 -
Action-angle maps and scattering theory for some finite-dimensional integrable systems III. Sutherland type systems and their duals Article
Publications of the Research Institute for Mathematical Sciences, Kyoto University, 31(2), 247-353.January 1995 -
January 1995
-
Polyhedral combinatorics Book Chapter
January 1995 -
Randomness Article
CWI Quarterly, 8(1), 67-82.January 1995 -
January 1995
-
Asymptotics of zeros of incomplete gamma functions In Proceedings
January 1995 -
Multiparameter quantum groups and multiparameter $R$-matrices. Geometric and algebraic structures in differential equations Article
Acta Applicandae Mathematicae, 41(1-3), 57-98.January 1995 -
Classification in mathematics, discrete metric spaces, and approximation by trees Article
Nieuw Archief voor Wiskunde, 13(3), 325-361.January 1995 -
A continued fraction titbit In Proceedings
January 1995 -
Solution of $3$D elliptic systems by semi-refinement Article
Analele Stiintifice ale Universitatii Ovidius Constanta, 3(1), 63-82.January 1995 -
Mathematical classification of complete chaos In Proceedings
January 1995 -
Physics and the new computation In Proceedings
January 1995 -
Parameters and parametrization in specification, using distributive categories Article
Fundamenta Informaticae, 24(3), 209-250.January 1995 -
January 1995
-
State-space formulas for the computation of the gap Article
International Journal of Control, 62(3), 737-748.January 1995 -
January 1995
-
Digitized Circular Arcs: Characterization and Parameter Estimation Article
IEEE Transactions on Pattern Analysis and Machine Intelligence, 17(6), 587-598.January 1995 -
January 1995
-
Asymptotics of a time correlation function in multiple recurrent scattering of scalar waves Article
ZAMP: Zeitschrift für angewandte Mathematik und Physik, 46(1), 61-69.January 1995 -
January 1995
-
January 1995
-
Self-stabilization of wait-free shared memory objects In Proceedings
January 1995 -
January 1995
-
Using autoreducibility to separate complexity classes In Proceedings
January 1995 -
A Simple Uniform Semantics for Concatenation-based Grammar In Proceedings
January 1995 -
January 1995
-
January 1995
-
Towards the generation of hypermedia structure In Proceedings
January 1995 -
January 1995
-
January 1995
-
Multimedia authoring tools: State of the art and research challenges Article
Lecture Notes in Computer Science, 575-591.January 1995 -
Embedded video in hypermedia documents: Supporting integration and adaptive control Article
ACM Transactions on Information Systems, 1-30.January 1995 -
Adaptive Quality-of-Service Support in Heterogeneous Networks: Results of a Trans-European Experiment Tech Report
January 1995 -
On the morphology of $gamma$-expansions with deleted digits Article
Transactions of the American Mathematical Society, 955-966.January 1995 -
Control of a random walk with noisy delayed information Article
Systems & Control Letters, 24(3), 207-213.January 1995 -
Reasoning about update logic Article
Journal of Philosophical Logic, 24(1), 19-45.January 1995 -
A positive finite-difference advection scheme Article
Journal of Computational Physics, 117(1), 35-46.January 1995 -
A triangle inequality for covariances of binary FKG random variables Article
Annals of Applied Probability, 5(1), 322-326.January 1995 -
Incidence and lattice calculus with applications to stochastic geometry and image analysis Article
Applicable Algebra in Engineering, Communication and Computing, 6(3), 129-146.January 1995