We consider reductions in Orthogonal Expression Reduction Systems (OERS), that is, Orthogonal Term Rewriting Systems with bound variables and substitutions, as in the-calculus. We design a strategy that for any given term t constructs a longest reduction starting from t if t is strongly normalizable, and constructs an innnite reduction otherwise. The Conservation Theorem for OERSs follows easil...

In the paper, we study linear operators in complex Hilbert space C that are called real-orthogonal projections, which are a generalization of standard (complex) orthogonal projections but for which only the real part of the scalar product vanishes. We compare some partial order properties of orthogonal and of real-orthogonal projections. In particular, this leads to the observation that a natur...

Zero-shot learning (ZSL) aims to recognize objects from novel unseen classes without any training data. Recently, structuretransfer based methods are proposed to implement ZSL by transferring structural knowledge from the semantic embedding space to image feature space to classify testing images. However, we observe that such a knowledge transfer framework may suffer from the problem of the geo...

Let G = (V,A,g) be a strongly connected weighted graph. We say that G is max-balanced if for every cut W, the maximum weight over arcs leaving W equals the maximum weight over arcs entering W. A subgraph H of G is max-sufficient if (or every cut W, the maximum weight over a.rcs of G leaving W is attained at some arc of H. A tower T = (CI,C., ... ,C,) is a sequence of arc-sets of G where C'+ I i...

The emergence of autocatalytic sets of molecules seems to have played an important role in the origin of life context. Although the possibility to reproduce this emergence in laboratory has received considerable attention, this is still far from being achieved. In order to unravel some key properties enabling the emergence of structures potentially able to sustain their own existence and growth...

We are interested in the problem of guarding simple orthogonal polygons with the minimum number of r-guards. The interior point p belongs an orthogonal polygon P is visible from r-guard g, if the minimum area rectangle contained p and q lies within P . A set of point guards in polygon P is named guard set (as denoted G) if the union of visibility areas of these point guards be equal to polygon ...

We introduce a novel harmonic analysis for functions defined on the vertices of strongly connected directed graph (digraph) which random walk operator is cornerstone. As first step, we consider set eigenvectors as non-orthogonal Fourier-type basis over digraphs. find frequency interpretation by linking variation obtained from their Dirichlet energy to real part associated eigenvalues. From this...

In this paper, we introduce two iterative schemes by a modified Krasnoselskii-Mann algorithm for finding a common element of the set of solutions of equilibrium problems and the set of fixed points of multivalued nonexpansive mappings in Hilbert space. We prove that the sequence generated by the proposed method converges strongly to a common element of the set of solutions of equilibruim proble...

We consider a strongly regular graph, G, and associate a three dimensional Euclidean Jordan algebra, V, to the adjacency matrix A of G. Then, by considering convergent series of Hadamard powers of the idempotents of the unique complete system of orthogonal idempotents of V, we establish new feasibility conditions for the existence of strongly regular graphs.

A hidden guard set G is a set of point guards in polygon P that all points of the polygon are visible from some guards in G under the constraint that no two guards may see each other. In this paper, we consider the problem for finding minimum hidden guard sets in histogram polygons under orthogonal visibility. Two points p and q are orthogonally visible if the orthogonal bounding rectangle for ...