We present a method for a large-scale robot collective to autonomously form a wide range of user-specified shapes. In contrast to most existing work, our method uses a subtractive approach rather than an additive one, and is the first such method to be demonstrated on robots that operate in continuous space. An initial dense, stationary configuration of robots distributively forms a coordinate ...

This paper is the first part of a work whose purpose is to investigate duality in some related frameworks (cartesian closed categories, lambda-calculi, intuitionistic and classical logics) from syntactic, semantical and computational viewpoints. We start with category theory and we show that any bicartesian closed category with coexponents is degenerated (i.e. there is at most one arrow between...

To accurately estimate the state of charge of a lithium-ion battery pack used in electric vehicles, a neurofuzzy system is proposed. The subtractive clustering is used to determine the structure and the initial parameters of the neuro-fuzzy system to reduce heuristic errors. The algorithm of adaptive neuro-fuzzy inference (ANFIS) is adopted to optimize the parameters of the neuro-fuzzy system. ...

Cortical function is regulated by a strikingly diverse array of local-circuit inhibitory neurons. We evaluated how optogenetically activating somatostatin- and parvalbumin-positive interneurons subtractively or divisively suppressed auditory cortical cells' responses to tones. In both awake and anesthetized animals, we found that activating either family of interneurons produced mixtures of div...

In IaaS (infrastructure as a service) cloud environment, users are provisioned with virtual machines (VMs). To allocate resources for users dynamically and effectively, accurate resource demands predicting is essential. For this purpose, this paper proposes a self-adaptive prediction method using ensemble model and subtractive-fuzzy clustering based fuzzy neural network (ESFCFNN). We analyze th...

In order to test between subtractive and ratio theories of stimulus comparison, judges were asked to estimate "ratios" and "differences" of easterliness and westerliness of U.S. cities. "Difference" judgments fit the subtractive model, and "ratio" judgments fit the ratio model. However, "ratios" and "differences" were monotonically related, contrary to the theory that judges compute both relati...

$r$-module. in this paper, we explore more properties of $max$-injective modules and we study some conditions under which the maximal spectrum of $m$ is a $max$-spectral space for its zariski topology.

let $r$ be a ring and $m$ a right $r$-module with $s=end_r(m)$. a module $m$ is called semi-projective if for any epimorphism $f:mrightarrow n$, where $n$ is a submodule of $m$, and for any homomorphism $g: mrightarrow n$, there exists $h:mrightarrow m$ such that $fh=g$. in this paper, we study sgq-projective and$pi$-semi-projective modules as two generalizations of semi-projective modules. a m...

In the present paper, the concepts of module (uniform) approximate amenability and contractibility of Banach algebras that are modules over another Banach algebra, are introduced. The general theory is developed and some hereditary properties are given. In analogy with the Banach algebraic approximate amenability, it is shown that module approximate amenability and contractibility are the same ...