fuzzy logic, 67algebraic semantics, 53approximate reasoning, 6axiomatic extensions of MTL, 56 Bellman, R., 21bipolar possibilistic logic, 93BL logic, 51 canonical chain, 66canonical completeness, 66canonical extension, 83Carnap, R., 3comparative truth, 63compositionality, 29computational complexity, 73core fuzzy logic, 58 De Finetti B., 3degre...

The place elds of hippocampal cells in old animals sometimes change when an animal is removed from and then returned to an environment Barnes et al The ensemble correlation between two sequential visits to the same environment shows a strong bimodality for old animals near indicative of remapping and greater than indicative of a similar representation between experiences but a strong unimodalit...

Advective enhancement of crop evapotranspiration (ET) occurs when drier, hotter air is transported into the crop by wind, and can be an important factor in the water balance of irrigated crops in a semiarid climate. Thirteen days of moderate to extremely high ET rates of irrigated alfalfa (Medicago sativa L.) were evaluated using energy balance and atmospheric coupling models to examine the mag...

Personality is the unique patterning of affect, behavior, cognition and desires in individuals across time and situations. This patterning can occur on different information processing levels, specifically, the Reactive, Routine, and Reflective levels (Ortony et al., 2005), across these four domains. Reinforcement Sensitivity Theory (RST; Gray & McNaughton, 2000) provides a biological account o...

Thermoelectric modules are becoming more and more popular nowadays again as their prices are going down and the new potential applications have appeared due to recent developments in microelectronic and wireless technology. Not so long ago Peltier modules were mainly used as thermoelectric coolers TECs, for example in thermal image generator (De Baetselier et al., 1995a), thermoelectrically coo...

In most models of computation, a device performs some type of process, and only some final output is regarded as the result. In adding an observer to such a device, one can obtain a protocol of the entire process and then use this as the computation’s result. In a series of articles this approach has proved to often exceed greatly the power of the system observed. Here we apply this architectur...

For a Muller automaton only a subset of its states is needed to decide whether a run is accepting or not: The set I the innnitely often visited states can be replaced by the intersection I \ W with a xed set W of states, provided W is large enough to distinguish between accepting and non-accepting loops in the automaton. We call such a subset W a separating set. Whereas the idea was previously ...

The notion of orbit finite data monoid was recently introduced by Bojańczyk as an algebraic object for defining recognizable languages of data words. Following Büchi’s approach, we introduce a variant of monadic second-order logic with data equality tests that captures precisely the data languages recognizable by orbit finite data monoids. We also establish, following this time the approach of ...