this paper studies the experience of social exclusion in women with hiv. the method research is qualitative research and the technique used to collect data is interview. also, the population is women with hiv in clinique of behavioral sickness counseling in tehran. the sample size is 30 people. research findings indicate that these women have experienced exclusion. also, the results show that s...

Symbolic model checking has been used to formally verify specifications of secure transactions in a system for business-to-business applications. The fundamental principles behind symbolic model checking are presented along with techniques used to model mutual exclusion of processes and atomic transactions. The computational resources required to check the example process are presented, and the...

A new constrained model is discussed as a way of incorporating efficiently a priori expert knowledge into a clustering problem of a given individual set. The first innovation is the combination of fusion constraints, which request some individuals to belong to one cluster, with exclusion constraints, which separate some individuals in different clusters. This situation implies to check the exis...

We introduce a symbolic representation like set theory to consider ecologic interactions between species (ECOSET). The ecologic exclusion principle (Gause) is put in a symbolic way and used as operational tool to consider more complex cases like interaction with sterile species (SIT technique), two species with two superposed sources (niche differentiation) and N+P species competing by N resour...

How may elites experience a symbolic fall from grace? Elite scholarship has typically described how structures contribute to consecrate and reinforce existing power relations. Processes of deconsecration are, however, less well described. Deconsecration as social process is distinct déclassement , cultural or juridical processes exclusion. It the loss very status “elite.” We address question th...

We present a method for automatic verification of systems with a parameterized number of communicating processes, such as mutual exclusion protocols or agreement protocols. To that end, we present a powerful abstraction framework that uses an efficient and precise symbolic encoding of (infinite) sets of configurations. In particular, it generalizes downward-closed sets that have successfully be...

Cubicle is a new model checker for verifying safety properties of parameterized systems. It implements a parallel symbolic backward reachability procedure using Satisfiabilty Modulo Theories. Experiments done on classic and challenging mutual exclusion algorithms and cache coherence protocols show that Cubicle is effective and competitive with state-of-the-art model checkers.

We evaluated formation of simple symbolic categories from initial learning of specific dictated word-picture relations through emergence of untaught or derived relations. Participants were 10 individuals with severe intellectual and language limitations. Three experimental categories were constructed, each containing 1 spoken word (Set A), 1 photograph (Set B), and 1 visual-graphic "lexigram" (...

Deadlock-free algorithms that ensure mutual exclusion crucially depend on timing assumptions. In this paper, we describe our experience in automatically verifying mutual-exclusion and deadlock-freedom of the Fischer and Lynch-Shavit algorithms, using the model checker modulo theories mcmt. First, we explain how to specify timing-based algorithms in the mcmt input language as symbolic transition...