Results 41 to 50 of about 685,984 (350)
Decentralized modular hybrid supervisory control for the formation of unmanned helicopters
Abstract Formation control of Unmanned Aerial Vehicles (UAVs) requires them to tightly cooperate to reach and keep the formation, while avoiding collision. This paper proposes a novel decentralized hybrid supervisory control approach for the formation control of multiple UAVs.
Ali Karimoddini+2 more
wiley +1 more source
What the Welfare State Left Behind—Securing the Capability to Move for the Vulnerable
Abstract The purpose of the present paper is to measure the disadvantage of the vulnerable in contemporary Japan, focusing on their capabilities in moving both outside and inside the home. Our research interest is to find a new informational base other than consumption expenditure, which provides a strong clue about how to assess the eligibility for ...
Reiko Gotoh, Ryo Kambayashi
wiley +1 more source
Embedding an analytic equivalence relation in the transitive closure of a Borel relation [PDF]
The transitive closure of a reflexive, symmetric, analytic relation is an analytic equivalence relation. Does some smaller class contain the transitive closure of every reflexive, symmetric, closed relation? An essentially negative answer is provided here.
arxiv +1 more source
Transitive closure and transitive reduction in bidirected graphs [PDF]
In a bidirected graph an edge has a direction at each end, so bidirected graphs generalize directed graphs. We generalize the definitions of transitive closure and transitive reduction from directed graphs to bidirected graphs by introducing new notions of bipath and bicircuit that generalize directed paths and cycles.
Abdelkader Khelladi+2 more
openaire +3 more sources
ABSTRACT Proteins form arguably the most significant link between genotype and phenotype. Understanding the relationship between protein sequence and structure, and applying this knowledge to predict function, is difficult. One way to investigate these relationships is by considering the space of protein folds and how one might move from fold to fold ...
Janan Sykes+2 more
wiley +1 more source
On Generalized Transitive Matrices
Transitivity of generalized fuzzy matrices over a special type of semiring is considered. The semiring is called incline algebra which generalizes Boolean algebra, fuzzy algebra, and distributive lattice.
Jing Jiang, Lan Shu, Xinan Tian
doaj +1 more source
Merotopies associated with quasi-uniformities
To an arbitrary quasi-uniformity on the set X, a merotopy on X is assigned. There are results concerning the question whether this merotopy is compatible with the topology induced by the quasi-uniformity end whether the closure operation induced by the ...
Ákos Császár
doaj +1 more source
Central limit theorem for the average closure coefficient [PDF]
Many real-world networks exhibit the phenomenon of edge clustering, which is typically measured by the average clustering coefficient. Recently, an alternative measure, the average closure coefficient, is proposed to quantify local clustering. It is shown that the average closure coefficient possesses a number of useful properties and can capture ...
arxiv
On the Power of Deterministic Transitive Closures
AbstractWe show that transitive closure logic (FO + TC) is strictly more powerful than deterministic transitive closure logic (FO + DTC) on finite (unordered) structures. In fact, on certain classes of graphs, such as hypercubes or regular graphs of large degree and girth, every DTC-query is bounded and therefore first order expressible.
Gregory L. McColm, Erich Grädel
openaire +2 more sources
Spatiality of Derivations of Operator Algebras in Banach Spaces
Suppose that A is a transitive subalgebra of B(X) and its norm closure A¯ contains a nonzero minimal left ideal I. It is shown that if δ is a bounded reflexive transitive derivation from A into B(X), then δ is spatial and implemented uniquely; that is ...
Quanyuan Chen, Xiaochun Fang
doaj +1 more source