Probability is initially defined on a Boolean algebra or a lattice of projectors. We propose here to start from a Heyting algebra.

Kronecker products of matrices have some striking operation properties, one of which is called the mixed-product property $(A \!\otimes\! B)(C \!\otimes\! D) = AC \!\otimes\! BD$. In view of this property, the two-term Kronecker product $A_1 \otimes A_2$ can be rewritten as $A_1 \otimes A_2 = (A_1 \otimes I_{m_2})(I_{m_1} \otimes A_2)$ of dilation forms of $A_1$ and $A_2$, and three-term Kronecker product $A_1 \otimes A_2 \otimes A_3$ can be rewritten as the products $A_1 \otimes A_2 \otimes A_3 = (A_1\otimes I_{m_2} \otimes I_{m_3})(I_{m_1} \otimes A_2 \otimes I_{m_3})(I_{m_1} \otimes I_{m_2} \otimes A_3)$ of the dilation forms of $A_1$, $A_2$, and $A_3$, respectively, where the matrices on the right-hand sides of the two factorizations are commutative. In this note, we approach the commutative Kronecker products on the right-hand sides of the two factorization equalities, and present a variety of new and useful analytical formulas for calculating the ranks, dimensions, orthogonal projectors, and ranges of matrices composed of these Kronecker products.

This note shows that the well-known reverse order law $(AB)^{\dag} = B^{\dag}A^{\dag}$ for the Moore--Penrose inverse of matrix product is equivalent to many other equalities for that are composed of multiple products $(AB)^{\dag}$ and $B^{\dag}A^{\dag}$ by means of the definition of the Moore--Penrose inverse and orthogonal projector theory.

Reverse order laws for generalized inverses of matrix products is a classic object of study in the theory of generalized inverses. One of the well-known reverse order laws for a matrix product $AB$ is $(AB)^{(i,\ldots,j)} = B^{(s_2,\ldots,t_2)}A^{(s_1,\ldots,t_1)}$, where $(\cdot)^{(i,\ldots,j)}$ denotes an $\{i,\ldots, j\}$-generalized inverse of matrix. Because $\{i,\ldots, j\}$-generalized inverse of a singular matrix is unique, the relationships between both sides of the reverse order law can be divided into four situations for consideration. This paper provides a thorough coverage of the reverse order laws for $\{i,\ldots, j\}$-generalized inverses of $AB$, from the development of background and preliminary tools to the collection of miscellaneous formulas and facts on the reverse order laws in one place with cogent introduction and references for further study. We begin with the introduction of a linear mixed model $y = AB\beta + A\gamma + \epsilon$ and the presentation of two least-squares methodologies to estimate the fixed parameter vector $\beta$ in the model, and the description of connections between the two types of least-squares estimators and the reverse order laws for generalized inverses of $AB$. We then prepare some valued matrix analysis tools, including a general theory on linear or nonlinear matrix identities, a group of expansion formulas for calculating ranks of block matrices, two groups of explicit formulas for calculating the maximum and minimum ranks of $B^{(s_2,\ldots,t_2)}A^{(s_1,\ldots,t_1)}$, as well as necessary and sufficient conditions for $B^{(s_2,\ldots,t_2)}A^{(s_1,\ldots,t_1)}$ to be invariant with respect to the choice of $B^{(s_2,\ldots,t_2)}A^{(s_1,\ldots,t_1)}$. We then present a unified approach to the 512 matrix set inclusion problems associated with the above reverse order laws for the eight commonly-used types of generalized inverses of $A$, $B$, and $AB$ through use of the definitions of generalized inverses, the block matrix method (BMM), the matrix rank method (MRM), the matrix equation method (MEM), and various algebraic calculations of matrices.

TVs and monitors are among the most widely used displays in various environments. However, they have limitations in their physical display conditions, such as a fixed size/position and a rigid/flat space. In this paper, we suggest a new "Display In the Wild" (DIW) concept to overcome the aforementioned problems. Our proposed DIW system allows us to display a flexibly large screen on dynamic non-planar surfaces at an arbitrary display position. To implement our DIW concept practically, we choose a projector as the hardware configuration in order to a generate screen anywhere with different sizes. However, distortion occurs when the projector displays content on a surface that is dynamic and/or non-planar. Therefore, we propose a distortion correction method for DIW to overcome the aforementioned surface-constraints. Since projectors are not capture devices, we propose using a depth camera to determine the distortions on the surfaces quickly. We also propose DIW-specific calibration and fast/precise correction methods. Our calibration method is constructed to easily and quickly detect the projection surface, and also allows our proposed system to accommodate the intrinsic parameters such as a display resolution and field of view. We accomplish a fast undistortion process of the projector by considering only surface boundary pixels, which enables our method to run in real time. In our comprehensive experiments, the proposed DIW system generates undistorted screens such as TVs and monitors on dynamic non-planar surfaces at an arbitrary display position with Unmanned Aerial Vehicles (UAVs) in a fast and accurate manner, demonstrating its usefullness in practical DIW scenarios.

In this paper, a generic fractional derivative is defined as a set of the linear operators left-inverse to the Riemann-Liouville fractional integral. Then the theory of the left-invertible operators developed by Przeworska-Rolewicz is applied for derivation of its properties. In particular, we characterize its domain, null-space, and projector operator, establish the interrelations between its different realisations, and present a generalized fractional Taylor formula involving the generic fractional derivative. Then we consider the fractional relaxation equation containing the generic fractional derivative, derive a closed form formula for its unique solution, and study its complete monotonicity.

Descriptive geometry has indispensable applications in many engineering activities, some of which are presented in the first chapter of this paper in order to place the development presented here among them. As a result of the continuous variability of the technological environment according to various optimization aspects, the engineering activities must also be continuously adapted to the changes, which an appropriate approach and formulation are required from the practitioners of descriptive geometry, and can even lead to improvement in the field of descriptive geometry. The imaging procedures are always based on the methods and theorems of descriptive geometry. Resolving contradictions in spatial geometry reconstruction research is a constant challenge, to which a possible answer in many cases is the search for the right projection direction. A special method of enumerating the possible infinite viewpoints for the representation of the surface edge curves is presented in another part of the paper. The procedure for determining the correct directions in a mathematically exact way is also presented through examples. The analysis and some of the results of the Monge mapping, which is suitable for the solution of a mechanical engineering task to be solved in a specific technical environment, are also presented.