Conservation Based Uncertainty Propagation in Dynamic Systems by Lillian J Ratliff Dr. Pushkin Kachroo, Examination Committee Chair Professor of Electrical and Computer Engineering University of Nevada, Las Vegas Uncertainty is present in our everyday decision making process as well as our understanding of the structure of the universe. As a result an intense and mathematically rigorous study o...

Let R be a commutative ring with identity such that R admits at least two maximal ideals. In this article, we associate a graph with R whose vertex set is the set of all proper ideals I of R such that I is not contained in the Jacobson radical of R and distinct vertices I and J are joined by an edge if and only if I and J are not comparable under the inclusion relation. The aim of this article ...

Information retrieval is the important work for Electronic Commerce. Ontology-based semantic retrieval is a hotspot of current research. In order to achieve fuzzy semantic retrieval, this paper applies a fuzzy ontology framework to information retrieval system in E-Commerce. The framework includes three parts: concepts, properties of concepts and values of properties, in which property’s value ...

In this manuscript, we introduce  a new class of fuzzy problems, namely ``fuzzy inclusion linear systems" and   propose a fuzzy solution set for it. Then, we present a theoretical discussion about the relationship between  the fuzzy solution set of a  fuzzy inclusion linear system and the algebraic solution of a fuzzy linear system. New necessary and sufficient conditions are derived for obtain...

In this article we present some mappings which can be used to measure the degree of inclusion of a set in a set and which characterize the binary relation of being-near-to, defined on finite sets of objects in line with Peters, Skowron, and Stepaniuk [12]. By means of these mappings, called inclusion functions in general, we extend the notion of nearness to the graded case where one can measure...

Fair input/output (or I/O) automata are a state-machine model for specifying and verifying reactive and concurrent systems. For the verification purposes, one is usually interested only in the sequences of interactions fair I/O automata offer to their environment. These sequences are called fair traces. The usual approach to the verification consists in proving fair trace inclusion between fair...

The revised common objectives of the EU Strategy to combat poverty and social exclusion include targeting the high risk of social exclusion faced by some people as a result of immigration.Access to decent and affordable housing is a critical condition for inclusion in society and integration into a host culture.A key objective of this study is to assist the development of more coherent and inte...

We studied whether temporal sequences can be learned implicitly using a process dissociation procedure (PDP). Participants performed repeated serial recalls of sequential stimuli with a random ordinal structure and fixed temporal structure. Explicit knowledge was evaluated through verbal questions and PDP analysis of two generation tasks (inclusion and exclusion). Participants were divided into...