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...

Neurons process and convey information by transforming barrages of synaptic inputs into spiking activity. Synaptic inhibition typically suppresses the output firing activity of a neuron, and is commonly classified as having a subtractive or divisive effect on a neuron’s output firing activity. Subtractive inhibition can narrow the range of inputs that evoke spiking activity by eliminating respo...