Requirement patterns in deductive verification of poST Programs by Ivan M. Chernenko, Igor S. Anureev, Natalia O. Garanina

“…Program execution is sequential execution of each of these processes in their current states at every iteration of the control cycle. …”
Get full text

Articulating Community Dialogues and Participatory Video: Theoretical Insights Into Joining Creative Methodologies Across Disciplines by Lidis Garbovan, Jessica Mitchell, Nichola Jones, Rebecca King, Paul Cooke

“…This study used reflective discussions with eleven members of an active community engagement research project to identify the merits and limitations of each method, and the ways in which articulating both approaches impacted these merits and limitations. …”
Get full text

Living Standards in Sub–Saharan Africa: Current Situation and Stimulation of Growth by KACHANOVA Anna Nikolaevna

“…Recommendations are given to improve the situation in each of the listed countries, taking into account their economic and social characteristics, problems and prospects. …”
Get full text

Rest vs. Rust: The Effect of Disproportionate Time Between Rounds of a Playoff Series by Urban T. L.

“…We utilized NBA Finals data from 1984 – 2018, and analyzed this phenomenon using ordered logistic regression with a categorical dependent variable representing the margin of victory of each game. In addition to several control variables, variables reflecting the difference in the time between series for the two teams were used to measure this effect. …”
Get full text

Focal Points of Architecture in Four Architectural Histories by Omid Shams

“…Following a brief introduction of each example and its viewpoint through a descriptive and interpretive method, the historian’s point of view is discussed in each. …”
Get full text

SEMANTIC TRANSFORMATIONS OF THE PARAGUAY LINGUISTIC SYSTEM COMPONENTS by Igor Yu. Protsenko, Irina I. Davtiants

“…This response is revealed in the changes of the structure of the language in general and in the changes of each component of the above-mentioned structure in particular, and it refers to different levels of the language: phonetics, grammar, syntax, vocabulary. …”
Get full text

Low blood levels of selenium, selenoprotein P and GPx3 are associated with accelerated biological aging: results from the Berlin Aging Study II (BASE-II) by Valentin Max Vetter, Kamil Demircan, Jan Homann, Thilo Samson Chillon, Michael Mülleder, Orr Shomroni, Elisabeth Steinhagen-Thiessen, Markus Ralser, Christina M. Lill, Lars Bertram, Lutz Schomburg, Ilja Demuth

“…Abstract Background Biological age reflects inter-individual differences in biological function and capacity beyond chronological age. …”
Get full text

IS THE AMOUNT OF WEIGHT LOSS AFTER BARIATRIC SURGERY A FACTOR DETERMINING CARDIOMETABOLIC RISK REDUCTION? by Bedia Fulya Çalıkoğlu, Gülşah Yenidünya Yalın, Umut Barbaros

“…Changes in each MetS criterion and CMR score in the groups before and after the operation, and their relations with each other were compared. …”
Get full text

FOLU-Net: A novel framework using long short-term memory networks to predict future forestry and other land use by Sanchali Banerjee, Paige T. Williams, Randolph H. Wynne

“…Future land cover was predicted using the following steps: (1) A recurrent neural network with long short-term memory (LSTM) was used to predict future reflectance values of the 235 bands for each point. …”
Get full text

Skeletal age assessed by Greulich-Pyle: Intra-observer and inter-observer agreement among male pubertal tennis players. by Jorge M Celis-Moreno, Diogo V Martinho, Manuel J Coelho-E-Silva, Isabel Fragoso, Luís P Ribeiro, Élvio R Gouveia, Tomas Oliveira, João Gonçalves-Santos, Oscar M Tavares, Ricardo R Cayolla, Pedro Duarte-Mendes, Jan M Konarski, Robert M Malina, Gillian K Myburgh, Sean P Cumming, Lauren B Sherar

“…The assessment of biological maturation is a central topic in pediatric exercise sciences. Skeletal age (SA) reflects changes in each bone of the hand and wrist from initial ossification to the adult state. …”
Get full text

A fair-for-all perspective for climate migrants and destinations by Buket Cilali, Kash Barker, Andrés D. González, Chie Noyori-Corbett

“…To this end, we formulate an optimization model such that the objectives and constraints reflect the key aspects of the relocation problem to assign the number of people to be relocated from each origin to each destination. …”
Get full text

Arctic states’ policy on climate change adaptation: examples of national adaptation plans by M. Yu. Zadorin, E. F. Gladun

“…Particular attention was paid to the formal legal method, which was used by the authors of the study to analyze national legal “framework” on climate change adaptation, especially in rural areas, human security, nutrition and the protection of the most fragile elements of the social system.The key results and conclusions. Each of the Arctic countries has its own specifics in the field of response to climate change, which is reflected in the adaptation activities and key guidelines of each state:– Finland: activating civil society institutions to manage adaptation risks;– Norway: humanitarian mission to developing countries in order to expand the “market” of potential customers for services in a variety of areas of adaptation;– Sweden: expanding cooperation between the Government and municipalities on the technological safety of urban infrastructure to combat natural disasters;– Denmark: expanding research into adaptation, safety issues associated with increased rainfall and flooding;– Iceland: expanding scientific research to provide high-quality forecasts for the implementation of operational adaptation activities;– USA: strengthening the coordination function of federal government bodies aimed at interaction with various stakeholders…”
Get full text

Assessment of preparedness for emergency cesarean section by utilizing a checklist before and after an educational intervention: A quality improvement study by Shahana Sherin, Aswini Kuberan, Avantika Gupta, Mukilan Balasubramanian, Priya Rudingwa

“…The results of our study indicate that residents understood the importance of each checklist action and it reflects their positive attitude towards improving patient care. …”
Get full text

On Non-Random Mating, Adaptive Evolution, and Information Theory by Antonio Carvajal-Rodríguez

“…In this paper, I propose a model that begins with the distribution of mating based on mutual fitness and progresses to viable adult genotype distribution. At each stage, the changes result in different measures of information. …”
Get full text

Connecting innovation and policy to reduce to carbon emissions from manufacturing by Pirgova-Morgan Luba, Pollen Claudia, Owen Alice

“…For pathway 2, innovation and policy feed off each other in a more dynamic relationship; pushing each other and establishing conditions that support transformative practices and technology-process development. …”
Get full text

The University teaching staff facing the proposals of change. Four teaching teams of the Campus of Gipuzkoa facing the challenges of EEES by Pilar Gil Molina, Luis Mari Elizalde Alcayaga, José Francisco Amiama Ibarguren, Elena Bernarás Iturrioz, José Miguel Garaizar Arenaza, Francisco Javier Monzón González

“…The teachers have evaluated the importance of each proposal as chance to improve and considered their feasibility at the centre. …”
Get full text

Mathematical description of deviation mechanisms positions of track chassis in motion with variable ground resistance by Goncharov K.A.

“…This article proposes a mathematical description of the process of joint movement of two tracked circuits within the same chassis with uneven ground resistance over time, which is reflected in the speed of movement of each circuit and leads to the effect of running tracks, which contributes to the occurrence of instantaneous turning moments. …”
Get full text

MULTIFREQUENCY PHASE METHOD OF RANGE MEASUREMENTS by O. N. Shinkaruk, V. R. Liubchyk, M. O. Lantvoit

“…Solution of the polynomial equation gives the values of the vectors of the signals which reflected from each goal.…”
Get full text

Research on the Simulation Model of Dynamic Shape for Forest Fire Burned Area Based on Grid Paths from Satellite Remote Sensing Images by Xintao Ling, Gui Zhang, Ying Zheng, Huashun Xiao, Yongke Yang, Fang Zhou, Xin Wu

“…We obtained the values of 11 independent variables for each pathway, including wind speed component, Temperature, Relative Humidity, Elevation, Slope, Aspect, Degree of Relief, Normalized Difference Vegetation Index, Vegetation Type, Fire Duration, and Gross Domestic Product reflecting human intervention capacity for fires. …”
Get full text

Simulation Model to Optimize Turnover Schedule for Train Locomotives by P. A. Kozlov, S. P. Vakulenko

“…Additionally, each locomotive’s operation mode and each train’s timetable can be seen. …”
Get full text