Fredholm determinant asymptotics of convolution operators on large finite intervals with rational symbols having real zeros are studied. The explicit asymptotic formulae obtained can be considered as a direct extension of the Ahiezer-Kac formula to symbols with real zeros.

We present an explicit method to evaluate the nonnegativity of order 3 Matrix exponential functions.

Colour symmetries with ten colours are presented for different tilings. In many cases, the existence of these colourings were predicted by group theoretical methods. Only in a few cases explicit constructions were known, sometimes using combination of two-colour and five-colour symmetries. Here we present explicit constructions of several of the predicted colourings for the first time, and disc...

Space is one of the resources that may cause crucial problems during construction. Discrete event simulation has been widely used in construction to allocate resources and improve productivity or mitigate conflicts. However, simulation research that provides an explicit method to investigate possible space conflicts is still limited. This paper suggests a cell-based modeling approach to represe...

We present a general scheme for describing ŝu(N)k fusion rules in terms of elementary couplings, using Berenstein-Zelevinsky triangles. A fusion coupling is characterized by its corresponding tensor product coupling (i.e. its Berenstein-Zelevinsky triangle) and the threshold level at which it first appears. We show that a closed expression for this threshold level is encoded in the Berenstein-Z...

Digital but physical surrogates are tangible representations of remote people, typically members of small intimate teams, positioned within an office and under digital control. Surrogates selectively collect and present awareness information about the people they represent. They also react to people’s explicit and implicit physical actions: a person’s explicit acts include grasping and moving t...

We study conditions under which the Hausdorff quasi-uniformity UH of a quasi-uniform space (X,U) on the set P0(X) of the nonempty subsets of X is bicomplete. Indeed we present an explicit method to construct the bicompletion of the T0-quotient of the Hausdorff quasi-uniformity of a quasi-uniform space. It is used to find a characterization of those quasi-uniform T0spaces (X,U) for which the Hau...

It has been known since the work of Carlsson [2] and Weinshall [17] that there is a dualization principle that allows one to interchange the role of points being viewed by several cameras and the camera centres themselves. In principle this implies the possibility of dualizing projective reconstruction algorithms to obtain new algorithms. In this paper, this theme is developed at a theoretical ...

Qualitative information about spatial or temporal entities is represented by specifying qualitative relations between these entities. It is then possible to apply qualitative reasoning methods for tasks such as checking consistency of the given information, deriving previously unknown information or answering queries. Depending on the kind of information that is represented, qualitative reasoni...

In this note we propose and analyze novel implicit-explicit methods based on second order strong stability preserving multistep time discretizations. Several schemes are developed, and a linear stability analysis is performed to study their properties with respect to the implicit and explicit eigenvalues. One of the proposed schemes is found to have very good stability properties, with implicit...