70 search results - page 4 / 14 » informaticalt 2008 |
INFORMATICALT
2008
13 years 6 months ago
2008
In this paper the immune network system was presented by the sequence of species with new immunological components allowing more plausible to reflect the immune response processes....
INFORMATICALT
2008
13 years 6 months ago
2008
A transitive distributed knowledge logic is considered. The considered logic S4nD is obtained from multi-modal logic S4n by adding transitive distributed knowledge operator. For a ...
INFORMATICALT
2007
13 years 6 months ago
2007
In this paper we consider branching time temporal logics of knowledge and belief. These logics involve the discrete time linear temporal logic operators “next” and “until” ...
INFORMATICALT
2007
13 years 6 months ago
2007
Abstract. This paper considers Lur’e type descriptor systems (LDS). The concept of strongly absolute stability is defined for LDS and such a notion is a generalization of absolu...
INFORMATICALT
2007
13 years 6 months ago
2007
Abstract. The method for calculating the specific conductivity tensor of an anisotropically conductive medium, proposed in this paper, distinguishes itself by the simplicity of ph...