During the period from 1987 to the middle of 1996 only 20 children were born of HIV-infected women, while during the following 1.5 years the number of such children were 59, the maximum number ofâ€¦ (More)

2013 36th International Convention on Informationâ€¦

2013

In this paper, we present the description of our extension to Model Driven Architecture (MDA) methodology using the logical programming paradigm and also a practical example of application of ourâ€¦ (More)

2013 36th International Convention on Informationâ€¦

2013

The calculus of positively constructed formulas (PCF) is a first-order formalism that has many features useful for solving problems of dynamic systems control. This formalism is used as a basis forâ€¦ (More)

2013 36th International Convention on Informationâ€¦

2013

The calculus of positively constructed formulas (PCF) is a first-order formalism that has many features useful for solving problems of dynamic systems control. For investigation of this formalism,â€¦ (More)