In this article the generalized long-term experience of active forms of students independent work organization is considered

Рассмотрены аналитические модели инфраструктур транспортной логистики с применением цифровой технологии Big Data

© С.А.Остроумов. Химико-биотические взаимодействия и новое в учении о биосфере В.И.Вернадского. Москва, 2009, МАКС-пресс. 52 с.[http://scipeople.ru/publication/66719/]; Материалы к лекции на Всероссийской конференции с элементами научной школы для молодежи «Экотоксикология-2009». Конференция организована Научно-образовательным центром «Экобиотехнология» Тульского госуниверситета на базе Института биохимии и физиологии микроорганизмов им. Г.К. Скрябина РАН, 26 – 30 октября 2009 г, Пущино – Тула. Цель этой работы – суммировать и систематизировать публикации автора, имеющие отношение к теме лекции. Результаты работ автора и библиография в период 1985-2009 гг. суммированы в таблицах: 1. Накопление элементов в организмах и их роль в биогеохимических потоках элементов. 2. Воздействие ксенобиотиков и поллютантов на высшие растения. 3. Воздействие химических веществ на водоросли. 4. Воздействие ксенобиотиков на моллюсков и некоторых планктонных организмов-фильтраторов. 5. роль водных макрофитов в связи с задачами фитотехнологий и фиторемедиации. 6. концептуальные разработки экологических проблем и состояния биосферы.Среди новых фундаментальных концепций, введенных автором: биосфера как эколого-биохимический континуум (с.43), элементы теории аппарата биосферы (с. 43-44). S.A.Ostroumov. Chemico-Biotic Interactions and the new in the teaching on the biosphere by V.I.Vernadsky. Moscow, 2009. MAX Press. 52 p. ISBN 978-5-317-03005-6. The brochure is a material for the lecture. The author was invited to lecture at the All-Russia Conference with the elements of a scientific school for young people "Ecotoxicology-2009". Conference is organized by the Scientific-Educational Center "Ecobiotechnology" of Tula State University at the Institute of Biochemistry and Physiology of Microorganisms, RAN. Place and time: 26 - 30 October 2009, Pushchino - Tula. The purpose of this work - to summarize and systematize the publications of the author which are related to the topic of the lecture. In brief, it contains the results of the author's works in the period 1985-2009. Results and bibliography are summarized in the tables: 1. Accumulation of elements in organisms and their role in biogeochemical fluxes of elements; 2. effects of xenobiotics and pollutants on higher plants; 3. The impact of chemicals on algae; 4. The impact of xenobiotics on molluscs and some plankton organisms which are filter feeders; 5. Investigations of the role of aquatic plants in relation to phytotechnologies and phytoremediation; 6. Some conceptual developments of fundamentals of general ecology and the state of the biosphere. Among the new fundamental concepts introduced by the author: the biosphere as an ecological-biochemical continuum (p.43), theory of apparatus of the biosphere (p.43-44).

One of the applications of supercompilation is proving properties of programs. We focus in this paper on a specific task: proving term equivalence for a higher-order lazy functional language. The "classical" way to prove equivalence of two terms t1 and t2 is to write an equality function equals and to simplify the term (equals t1 t2). However, this works only when certain conditions are met. The paper presents another approach to proving term equivalence by means of supercompilation. In this approach we supercompile both terms and compare supercompiled terms syntactically. Some applications of the technique are discussed. In particular, one of these applications may lead to the development of a more powerful "higher-level" supercompiler.

Experiments on generating compilers by specializing specializers with respect to interpreters have shown that the compilers thus obtained have a natural structure only if the specializer does variable splitting. Variable splitting can result in a residual program using several variables to represent the values of a single variable of the original program. In the case of functional programming variable splitting is done by raising the arities of functions. The paper describes the structure and principles of operation of an arity raiser dealing with programs in a subset of pure Lisp.

The 2016 Good University Guide demonstrated that Australian rural and regional universities are outperforming more established, and highly internationally ranked city peers in relation to student perceptions of the quality of teaching that they experience. Recently, many universities have encouraged academic staff to rethink the delivery method for subjects and give consideration to the further development of significant online components. Lecturers at rural and regional universities are increasingly encouraged and supported to include a variety of online resources in their subjects and to explore the use of promising methods such as the ‘flipped classroom’. The ‘flipped classroom’ is an innovative pedagogical approach and is a technique that has garnered a lot of attention among school-based and tertiary educators. It is important to identify what influences successful implementation of information and communications technology (ICT) for augmented learning in the context of the flipped classroom. This paper briefly outlines aspects of the flipped classroom approach and looks at how the school of Education, in a regional Australian university servicing rural and remote areas, in particular, is integrating this approach in their pedagogy. This paper reports on interviews conducted with the lecturers at the university about their views, understanding, and challenges of the learning and teaching environment in a flipped classroom approach. This paper also reports the lecturers’ perception of student learning when a ‘flipped classroom’ approach is adopted. As a variant of blended learning and an innovative pedagogical approach, it was found that the flipped classroom approach has gathered a lot of attention and challenges among university lecturers.