7289 search results - page 26 / 1458 » A Dependent Set Theory |
FROCOS
2009
Springer
14 years 2 months ago
2009
Springer
Motivated by applications in software verification, we explore automated reasoning about the non-disjoint combination of theories of infinitely many finite structures, where the...
BSL
2011
13 years 2 months ago
2011
show that an abstract analysis of one of these three set theoretic principles can sometimes lead us to results that do not require additional axioms at all but which could have bee...
DCC
2006
IEEE
14 years 7 months ago
2006
IEEE
CDC
2008
IEEE
14 years 2 months ago
2008
IEEE
— A manufacturer producing several items keeps them into safety stocks (buffers) in order to supply an external stochastic demand without interruptions. We consider the classical...
EUROISI
2008
13 years 9 months ago
2008
This paper presents an application of information theory to identify sets of key players in social networks. First, we define two entropy measures that we use to analyze the struct...