1805 search results - page 27 / 361 » A Theory of Closure Operators |
133
click to vote
SIAMAM
2000
15 years 3 months ago
2000
Abstract. A hydrodynamical model based on the theory of extended thermodynamics is presented for carrier transport in semiconductors. Closure relations for fluxes are obtained by e...
128
click to vote
IANDC
2007
15 years 3 months ago
2007
In this paper we study secure information flow policies in the sense of Meadows [12] and others for aggregated datasets, collectively. We first present a method for combining di...
119
click to vote
SYNASC
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract. In this paper we give some applications of weakly Picard operators theory to linear positive approximation operators, to difference equations with deviating argument and...
115
click to vote
CHARME
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. I develop a compositional theory of refinement for the branching time framework based on stuttering simulation and prove that if one system refines another, then a refine...
121
click to vote
CSL
2010
Springer
15 years 4 months ago
2010
Springer
We study probabilistic complexity classes and questions of derandomisation from a logical point of view. For each logic L we introduce a new logic BPL, bounded error probabilistic ...