1,181 research outputs found
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
- …