PRACTICAL PROGRAM FOR IMPLEMENTING THE ENVIRONMENTAL ERA

2014 ◽  
pp. 351-384
Author(s):  
V.V. Rubtsov ◽  
E.S. Romanova

The article is based on the results of the analysis of programs and technologies of psychological and pedagogical work in the education system — the participants of the all-Russian competition for the best psychological and pedagogical programs and technologies in the educational environment — 2019, which is a program part of the XV International scientific and practical conference “Psychology of education: best practices in working with children” (November 20—22, 2019, Moscow). The annual contest for the best psychological and pedagogical programs and technologies in the educational environment is a practical program aimed at improving the professional level and the most complete realization of the creative potential of the educational psychologists in Russia. Based on the criteria of activity and cultural-historical approaches, the analysis of the experience of implementing regional programs for providing psychological and pedagogical assistance to children is aimed at improving the methodological support for psychological and pedagogical activities. The programs and technologies recommended according to the results of the competition demonstrate the place and role of correctional and developmental, preventive, and educational work of teachers-psychologists, as well as the experience of developing interdisciplinary interaction of specialists in the process of psychological and pedagogical support of education.


Author(s):  
César Simoni Santos

The presence of the spatial element in the reflections of Henri Lefebvre does not merely result from work involving the translation and adaptation of critical thinking developed up until his time. The realization that not even the highest expression of the critical tradition had sufficiently noticed this crucial dimension of life was one of the connecting points between theoretical advance, represented by the spatial orientation of critique, and the effort to renew the utopian horizon. A very distinct assimilation of the early work of Marx and the proximity to revolutionary romanticism, particularly of Nietzschean extraction, rendered a decisive impact on Lefebvrian conception. Practice, body, pleasure and instincts, recovering their place in the critical social imagination, went on to become the basis for the re-foundation of a theoretical-practical program that involved the formulation of the notion of the right to the city. The perspective of appropriation thus replaced the vague emancipatory statements of the subject's philosophies.


1985 ◽  
Vol 14 (2) ◽  
pp. 131-137
Author(s):  
Ronald R. Sims ◽  
John G. Veres
Keyword(s):  

2022 ◽  
Vol 44 (1) ◽  
pp. 1-50
Author(s):  
Omar Inverso ◽  
Ermenegildo Tomasco ◽  
Bernd Fischer ◽  
Salvatore La Torre ◽  
Gennaro Parlato

Bounded verification techniques such as bounded model checking (BMC) have successfully been used for many practical program analysis problems, but concurrency still poses a challenge. Here, we describe a new approach to BMC of sequentially consistent imperative programs that use POSIX threads. We first translate the multi-threaded program into a nondeterministic sequential program that preserves reachability for all round-robin schedules with a given bound on the number of rounds. We then reuse existing high-performance BMC tools as backends for the sequential verification problem. Our translation is carefully designed to introduce very small memory overheads and very few sources of nondeterminism, so it produces tight SAT/SMT formulae, and is thus very effective in practice: Our Lazy-CSeq tool implementing this translation for the C programming language won several gold and silver medals in the concurrency category of the Software Verification Competitions (SV-COMP) 2014–2021 and was able to find errors in programs where all other techniques (including testing) failed. In this article, we give a detailed description of our translation and prove its correctness, sketch its implementation using the CSeq framework, and report on a detailed evaluation and comparison of our approach.


1959 ◽  
Vol S7-I (5) ◽  
pp. 439-445
Author(s):  
Henri Schoeller ◽  
P. Pouchan

Abstract An example is presented of a practical program of ground-water study, as carried out in the Gurp region of Gironde, France. Reconnaissance, exploration, and analysis of the data preceded exploitation. Reconnaissance revealed the presence of three aquifers. Exploration showed that the uppermost aquifer in Quaternary dune sands was the most suitable as a source of water supply. Tabulated data on the chemistry of the waters are included.


Sign in / Sign up

Export Citation Format

Share Document