Construction and Verification of PLC-programs by LTL-specification by E. V. Kuzmin, V. A. Sokolov, D. A. Ryabukhin

“…Thus, the programming of PLC is reduced to the construction of LTL-specification of the behavior of each program variable. In addition, an SMV-model of a PLC-program is constructed according to LTL-specification. …”
Get full text

Modeling, Specification and Construction of PLC-programs by E. V. Kuzmin, V. A. Sokolov

“…Under the proposed approach the change of the value of each program variable is described by a pair of LTL-formulas. …”
Get full text

Construction of PLC IL-Programs by LTL-Specification by D. A. Ryabukhin, E. V. Kuzmin, V. A. Sokolov

“…Thus, the programming of PLC is reduced to the construction of LTLspecification of the behavior of each program variable. In addition, an SMV-model of a PLC IL-program is constructed according to LTL-specification. …”
Get full text

Construction and Verification of PLC LD-programs by LTL-specification by E. V. Kuzmin, V. A. Sokolov, D. A. Ryabukhin

“…Under the proposed approach, the change of the value of each program variable is described by a pair of LTL-formulas. …”
Get full text

Distributed Leadership: A framework for enhancing quality in early learning programs by Heather Beaudin

“…Strong leadership is required to support the navigation of quality in each program and community. With early childhood education leaders balancing complex roles, this article suggests they begin to distribute leadership as a tool for enhancing program quality. …”
Get full text

Sociogenèse de départements en langue française à Istanbul, Bucarest et Sofia au tournant des années 1990 by Christel Troncy

“…Beyond the unique creation of each program, the similarities that appear lead us to examine the possible emergence of an idiosyncratic training model in the 1990s.…”
Get full text

Application of Neutrosophic Statistics and the Communicative Pedagogical Model to Optimize Pronunciation Teaching in A1 Students of Technical Careers in Higher Education by Rosa Hernández-Magallanes, Carmen Letamendi-Lazo, Josué Bonilla-Tenesaca

“…Based on the findings, the study proposes pedagogical alternatives through an English for Specific Purposes (ESP) model aligned with the technical profiles of each program. Emphasis is placed on communicative strategies to enhance pronunciation and foster active language use. …”
Get full text

Problem of inadequate food conduct of persons, engaged in fitness and during physical rehabilitation as a component of health-improvement - fitness programs, way of its decision by O.I. Tsyganenko, Ya.V. Persheguba, O.L. Paladina, N.A. Sklyarova, L.F. Oksamytnaya

“…Program of socially - elucidative training includes the leadthrough of four exercises for 2 hours on each. Program possibilities on forming social motivation, observance of social and medical standards of adequate food conduct are shown. …”
Get full text

MODERNIZATION OF THE THREE-CYCLE ENGINEERING EDUCATION BASED ON FSES 3++ AND CDIO++ by A. I. Chuchalin

“…The modular structure of the programs is formed according to the FSES 3++ requirements. Each program module should contribute to achievement of the intended program outcomes. …”
Get full text

On the Detection of Exploitation of Vulnerabilities Leading to the Execution of a Malicious Code by Yury V. Kosolapov

“…At the same time, a profile is formed for each program. It is assumed that taking into account the distances between function calls will reveal shell code execution using system and / or library function calls. …”
Get full text

La configuration des territoires des peuples en isolement « volontaire » by Kelly Johanna Escobar Jiménez

“…Our goal is to interrogate the uncertainty prior to the management of Amazonian territories and to show how each program relaunch exploitation of natural resources there are controversies that require re-examination of ways of knowing, ways of entering into relationships and ways of managing territories Amazon and its human populations and non-human. …”
Get full text

Hunger Solution: One-Dimensional and Multi-Dimensional Food Security Programs by Saada Reuveni

“…This study tests six food security programs, discusses each profile’s working plans, and determines which category each program applies to. Categorization makes the study of hunger programs much easier and helps to identify similarity between proposes solutions. …”
Get full text

Programming of skilled football players training process in the second cycle of specially created training during the year by V.M. Kostiukevich, V.A. Stasiuk, N.Yu. Shchepotina, A.A. Dyachenko

“…Results: programs of training microcycles were developed. In each program such components of the training were considered: value and orientation of loads; means (non-specific and specific); modes of coordination complexity of exercises performance; training time; time for renewal of competition form, theoretical and psychological preparation; load coefficient value; intensity of training load coefficient. …”
Get full text

How artificial intelligence can enable data classification for market sizing - Insights from applications in practice by L. Stallings, P. Bhat, J. Jacobs, K. Lynch, Q. Risch

“…This approach automates the tagging of market and market segment for each program and cost element by training classification models on the manually labeled historical data. …”
Get full text

Changes in Nutrition, Food Safety, and Physical Activity Behaviors: A Comparison Between the Peak Health and Performance and Teen Cuisine Curricula by Tyler B. Becker, Ronald J. Gibbs Jr.

“…Nutrition, food safety, and PA behaviors were surveyed before and after each program. Individual curriculum pre- and post-scores were compared using a paired t-test, and between-group changes were examined using a repeated-measures ANOVA. …”
Get full text

Report on the Expert Forum on using Information Technology to Facilitate Uptake and Impact of Colorectal Cancer Screening Guidelines by Maida J Sewitch, Mengzhu Jiang, Alan N Barkun, David Armstrong, Donna Manca, Peter Rossos, Barry Stein

“…The meeting assembled a multidisciplinary group of family physicians, gastroenterologists, nurses, patients, foundation representatives, screening program administrators and researchers to discuss the development of a mechanism or strategy that would permit the collection of comparable data by all colorectal cancer (CRC) screening programs, which would not only support the needs of each program but also provide a national perspective. …”
Get full text

Software for developing digital twins of agricultural machinery working bodies by D. A. Mironov, D.  V. Popov, R. K. Rasulov, A. K. Lamm

“…(Results and discussion) The paper assesses the effectiveness of each program in fulfilling its intended tasks. The provided examples highlight distinct features of each software type. …”
Get full text

The DNA loop release factor WAPL suppresses Epstein-Barr virus latent membrane protein expression to maintain the highly restricted latency I program. by Laura A Murray-Nerger, Davide Maestri, Xiang Liu, Zhixuan Li, Nina R Auld, Italo Tempera, Mingxiang Teng, Benjamin E Gewurz

“…Epstein-Barr virus (EBV) uses latency programs to colonize the memory B-cell reservoir, and each program is associated with human malignancies. However, knowledge remains incomplete of epigenetic mechanisms that maintain the highly restricted latency I program, present in memory and Burkitt lymphoma cells, in which EBNA1 is the only EBV-encoded protein expressed. …”
Get full text

Deradicalization of Islamists: Theory and Practices (International and Russian Experience) by NEFLIASHEVA Naima Aminovna

“…According to the participants of the conference, the programs adopted in different countries have their own regional specifics, but each program somehow includes work with convicts or those who are at risk: sessions with respected and authoritative religious figures and imams; work with psychologists; involvement in the process of deradicalization of the inner circle, parents, friends and family; vocational education and obtaining a profession, as well as integration into the process of peaceful life after the convicts were released after imprisonment. …”
Get full text

Localized Strategies, Shared Success: How Gulf Sea Grant Programs Meet Educational Needs by Tina Miller-Way, Samantha Capers, Dani DiIullo, Nikki Fitzgerald, Maia McGuire

“…Despite differences in the organization and implementation of Sea Grant priorities, each program offers an array of opportunities for different audiences to increase awareness, involvement and knowledge about our collective coastal environment. …”
Get full text