相关论文: Idempotent mathematics and interval analysis

This paper investigates interval estimation for a measurand that is known to be positive. Both the Neyman and Bayesian procedures are considered and the difference between the two, not always perceived, is discussed in detail. A solution is…

A brief introduction is given to the topic of Smith normal forms of incidence matrices. A general discussion of techniques is illustrated by some classical examples. Some recent advances are described and the limits of our current…

An algebraic technique adapted to the problems of the fundamental theoretical physics is presented. The exposition is an elaboration and an extension of the methods proposed in previous works by the aut

We give a survey on eta invariants including methods of computation and applications in differential topology.

A thermodynamic formulation of jammed matter is reviewed. Experiments and simulations of compressed emulsions and granular materials are then used to provide a foundation for the thermodynamics.

Arithmetic constraints on integer intervals are supported in many constraint programming systems. We study here a number of approaches to implement constraint propagation for these constraints. To describe them we introduce integer interval…

Interval-order partially ordered multisets with interfaces (ipomsets) have shown to be a versatile model for executions of concurrent systems in which both precedence and concurrency need to be taken into account. In this paper, we develop…

This paper is a short introduction to orthogonal polynomials, both the general theory and some special classes. It ends with some remarks about the usage of computer algebra for this theory.

This is a kind of introduction to some basic topics in analysis, some of which would be covered in standard graduate courses, and some not. However, an important difference is that not much in the way of prerequisites are needed, beyond…

Together with a characteristic function, idempotent permutations uniquely determine idempotent maps, as well as their linearly ordered arrangement simultaneously. Furthermore, in-place linear time transformations are possible between them.…

We study arithmetic inequalities for multiplicative, sub(super)-multiplicative, sub(super)-homogeneous functions. Applications for the classical arithmetic functions are pointed out.

These are lecture notes for the course "Analysis and X-ray tomography". The course is a broad overview of various tools in analysis that can be used to study X-ray tomography. The focus is on tools and ideas, not so much on technical…

The evaluation of a matrix exponential function is a classic problem of computational linear algebra. Many different methods have been employed for its numerical evaluation [Moler C and van Loan C 1978 SIAM Review 20 4], none of which…

We give a formula for matrix exponentials and partial fraction decompositions.

We discuss pattern languages for closed pattern mining and learning of interval data and distributional data. We first introduce pattern languages relying on pairs of intersection-based constraints or pairs of inclusion based constraints,…

We study the reverse mathematics of interval orders. We establish the logical strength of the implications between various definitions of the notion of interval order. We also consider the strength of different versions of the…

This survey article concerns inducing schemes in the context of interval maps. We explain how the study of these induced systems allows for the fine description of, not only, the thermodynamic formalism for certain multimodal maps, but also…

Dimensional analysis techniques are used to describe (not only qualitatively) some interesting features of two specific physical processes: the kinematics of moving objects on the surface of a planet (e.g. the walking pace of a man on the…

This short survey presents the essential features of what is called Painlev\'e analysis, i.e. the set of methods based on the singularities of differential equations in order to perform their explicit integration. Full details can be found…

Interval arithmetic is a simple way to compute a mathematical expression to an arbitrary accuracy, widely used for verifying floating-point computations. Yet this simplicity belies challenges. Some inputs violate preconditions or cause…