Healthiness from Duality

Healthiness is a good old question in program logics that dates back to Dijkstra. It asks for an intrinsic characterization of those predicate transformers which arise as the (backward) interpretation of a certain class of programs. There are several results known for healthiness conditions: for deterministic programs, nondeterministic ones, probabilistic ones, etc. Building upon our previous works on so-called state-and-effect triangles, we contribute a unified categorical framework for investigating healthiness conditions. We find the framework to be centered around a dual adjunction induced by a dualizing object, together with our notion of relative Eilenberg-Moore algebra playing fundamental roles too. The latter notion seems interesting in its own right in the context of monads, Lawvere theories and enriched categories.Comment: 13 pages, Extended version with appendices of a paper accepted to LICS 201

Optimization of the subject matter of profile training disciplines for bachelors' vocational education on the basis of occupational standards

Applicability of the issue under study is conditioned by the need in development of principal educational programs by higher education institutions with accounting for requirements of appropriate occupational standards and necessity in reviewing of the requirements of occupational standards and reflecting them within the scope of competences formed. The paper is aimed at substantiation of the subject matter of profile training disciplines for vocational education of bachelors within the context of competence and process approaches and with accounting for occupational standards. The leading method of study of this issue is modeling which allows considering the issue under study as a process of recognized accounting of requirements of appropriate occupational standards wherein employers' opinions are fixed in the regulatory mode. The structural-functional model of selection of the subject matter of profile disciplines for the training program is developed; the following algorithms are developed: 1) of analysis of occupational standards; 2) of comparing of occupational standards with curriculum disciplines; 3) of analysis of the subject matter of labour functions, labour actions, knowledge and skills when developing working programs and assessment resources funds; the model has been successfully tested on the example of profile training of vocational education bachelors. The paper presents the structure-functional model of selection of the subject matter of profile disciplines of the educational program with taking into account of occupational standards requirements which define competences acquired by a graduate, i.e. his/her ability to use knowledge, skills and personal qualities in accordance with the occupational activity; the process approach to implementation of this model is applied. © Authors

Topological energy barrier for skyrmion lattice formation in MnSi

We report the direct measurement of the topological skyrmion energy barrier through a hysteresis of the skyrmion lattice in the chiral magnet MnSi. Measurements were made using small-angle neutron scattering with a custom-built resistive coil to allow for high-precision minor hysteresis loops. The experimental data was analyzed using an adapted Preisach model to quantify the energy barrier for skyrmion formation and corroborated by the minimum-energy path analysis based on atomistic spin simulations. We reveal that the skyrmion lattice in MnSi forms from the conical phase progressively in small domains, each of which consisting of hundreds of skyrmions, and with an activation barrier of several eV.Comment: Final accepted versio

Semantics and Pragmatics of Language Units (according to Results of Theoretic and Methodological Seminar of Scientific School of Professor, Doctor of Philology E. P. Ivanyan)

The results of the theoretical-methodological seminar of scientific school of professor, doctor of philology E. P. Ivanyan (Samara) are presented. It is reported that the seminar discussed the topical issue of semantics and pragmatics of language units in modern Russian discourse, the main trends of language development and problems of their study in various research paradigms. The contents of the scientific papers presented during the seminar is highlighted. The main results of the research of the authors of the reports are given

Nursing role in palliative care

The article deals with current problems of the organization of palliative care for the incurable patients with the requirements of the Russian legislation and recommendations of the world health organization. Special attention is paid to the psychological, medical and social aspects of the implementation of nursing care for patients and work with their families.В статье рассматриваются актуальные проблемы организации паллиативной помощи инкурабельным больным с учетом требований российского законодательства и рекомендаций Всемирной организации здравоохранения. Особое внимание уделено психологическим и медико-социальным аспектам осуществления сестринского ухода за пациентами и работы с их семьями

Tree Nuts Anaphylaxis in Preschool Age Children

Summary: Introduction. The incidence of food-induced anaphylaxis (FIA) is increasing in young children. Although the commonest culprits are cow's milk and egg, FIA to tree nuts (TNs) have been increasing. Objective. Characterization of children referred to our allergy department due to TNs-induced anaphylaxis (TNs-FIA) during preschool age. Materials and methods. We have retrospectively included 25 children with clinical history of preschool TNs-FIA, proven by allergological work-up. TNs sensitization was assessed by skin prick tests and/or specific IgE. Results. The mean age of the first anaphylactic episode was 3.1±1.2 years. The majority (92%) had an allergic disease (52% asthma). The implicated TNs were cashew (11 children), walnut (8), pine nut (5), hazelnut (2) and almond (1). The reaction occurred after the first known ingestion in 68%. In 92%, symptoms appeared within 30 minutes after exposure. The most frequent clinical symptoms were mucocutaneous (96%), respiratory (80%) and gastrointestinal (52%). Twenty-one children were admitted to the emergency department, although only 48% were treated with epinephrine. An underneath IgE-mediated mechanism was proven in all cases. Immunologic cross-reactivity with other TNs was identified in 84%, and with peanut in 36%. Overall, in our center, TNs-FIA represents 18% of all causes of FIA. Conclusions. In preschool age children with TNs-FIA, cashew and walnut were the commonest implicated nuts. Most reactions occurred briefly after exposure to minimal amounts of TNs, demonstrating the high potency of these allergens. About one-third also had peanut sensitization. Potentially life-threatening TNs allergy can occur early in childhood and adequate management should be undertaken.publishersversionpublishe

Psychological and pedagogical support for the social workers professional development

The effectiveness of psychological andpedagogical support is determined by the following factors: self-determination and voluntary participation; activating education results; taking into account and developing social workers’ educational needs; the use of the dichotomic and humanistic approaches; social workers’ selfdetermination; interactive mode of cooperation, democratic style of communicatio

Rhizobacteria Effect on Arsenic Migration and Translocation of Biogenic Elements in Plants

The study was aimed at the transformation of arsenic compounds in the rhizosphere, its accumulation in plants, P and Si translocation to plants under the influence of Bacillus megaterium var. phosphaticum, and Bacillus mucilaginosus with various forms of As compounds in the soil. The authors describe the maximum effect of Bacillus megaterium var. Phosphaticum strain on As migration, its mobilization and immobilization in the rhizosphere due to arsenic leaching from mineral and difficult-todestroy compounds and its accumulation in plants. The forms of arsenic compounds were isolated from the rhizosphere based on sequential extraction procedures. The features of the inter-element As-P interaction in plants were established. With the intense accumulation of As in the rhizosphere inoculated with rhizobacteria, the intake of phosphorus into plants was not observed, as contrary to Si. The study of As and biogenic elements behavior under the influence of rhizobacteria is of great importance in the development of ecobiotechnologies related to soil remediation and crop production