The course of experimental staphylococcus infection in albino mice during action of certain factors of space flight

A study was made of the effect of certain factors of space flight, acceleration and hypokinesia, on the course of experimental staphylococcus infection in mice. Combined action of hypokinesia and acceleration caused a marked depression of the phagocytic activity of leukocytes and formation of a considerable amount of alpha toxin

Fun with formal methods is more than fun

Almost half of a century has passed since Robert W. Floyd published the first research that explicitly discussed formally how to assign meaning to programs. But recently David L. Parnas have called Really Rethinking "Formal Methods", to question the assumptions underlying the well-known current formal software development methods to see why they have not been widely adopted and what should be changed. So, things are right where they started decades ago? Not at all, since industrial applications of Formal Methods are not the unique measure of success. Another dimension where we can discuss utility of Formal Methods could be better education. A very popular (in Russia) aphorism of Mikhail Lomonosov (the first Russian academician) says: "Mathematics should be learned just because it disciplines and bring up the mind". Similarly, Formal Methods discipline and bring up minds in Computer Science. and help to bridge a "cultural gap" (E.W.Dijkstra) between Mathematics and Computer Science

ALIAS calculus for a simple imperative language

This research has been supported by Nazarbayev University Seed Grant KF-14/16 "Research of Formal Models for analysis of programs with Dynamic Memory"

Закон "О люстрации" в современной России: актуальность и перспектива

Шилов В. В. Закон "О люстрации" в современной России: актуальность и перспектива / В. В. Шилов // Міжнародні читання з міжнародного права пам’яті професора П.Є. Казанського : матер. третьої міжнар. наук. конф. (м. Одеса, 2–3 листопада 2012 р.) / відп. за випуск М. І. Пашковський ; НУ «ОЮА». – Одеса : Фенікс, 2012. – С. 323-329.Автор статьи считает, что на основе «жёстких» для современной России нормативно-правовых актов, несомненно, стоят на повестке дня в РФ, так как все заявления о «борьбе с коррупцией», реформирования системы «образования» и «полиции» так и будут оставаться простыми заявлениями, полумерами. Для этого нужна политическая воля, в том числе на уровне первых лиц государства

MODELING OF ROAD SURFACE FOR VEHICLES DYNAMICS CALCULATION

The methods for measuringе the height of micro profile road surface and the methods of micro profile road synthesis for mathematical modelling are considered