RESUSCITATION REFORMS IN UKRAINE: LOGICAL STRUCTURE OF THE PROGRAM ON REDUCTION OF THREATS TO THE NATION’S HEALTH by Svitlana V. Cherevko, Anatoly D. Cherevko, Olha B. Surkova, Zoia K. Podolkina, Anna V. Lopuga

“…Based on the Morra Imas L.G. and Rist R.С. understanding of the Theory of Change, the internal logic of the program on reduction of threats to the nation’s health is described as a plan of structural elements, which is needed to achieve the long-term goals of the social changes initiative for the health-consciousness of the Ukrainian nation. …”
Get full text

Collaborative Creation of a Logic Model and Performance Metrics for Evaluating a Violence Reduction Program by Caterina G. Roman, Autumn Talley, Chloe Sierka, Kadelia George, Kendra Van de Water, James Aye

“…This paper describes a community-based participatory research (CBPR) approach to evaluation used by an academic-practitioner partnership to refine the logic model for a violent crime reduction program and develop associated performance measures. …”
Get full text

LTL-specification for development and verification of logical control programs in feedback systems by Maxim V. Neyzov, Egor V. Kuzmin

“…Earlier, a declarative LTL-specification was proposed to describe the strictly deterministic behavior of programs, ways of its verification and translation were worked out: for verification, the model checking tool nuXmv is used, and the translation is carried out into an imperative programming language ST for programmable logic controllers. …”
Get full text

A Hybrid Fuzzy Mathematical Programming Approach for Manufacturing Inventory Models with Partial Trade Credit Policy and Reliability by Prasantha Bharathi Dhandapani, Kalaiarasi Kalaichelvan, Víctor Leiva, Cecilia Castro, Soundaria Ramalingam

“…This study introduces an inventory model for manufacturing that prioritizes product quality and cost efficiency. Utilizing fuzzy logic and mathematical programming, the model integrates fuzzy numbers to describe uncertainties associated with manufacturing costs and quality control parameters. …”
Get full text

REDUCTION OF EXPENSES FOR ALLOYING AND DEOXIDATION OF STEEL BY FERROALLOYS BY MEANS OF OPTIMIZATION OF TECHNOLOGIES BY DUAL SIMPLEX-METHOD USING PROGRAM MEANS IN CONDITIONS OF RUP... by V. V. Pikul, A. E. Eroshenko

Get full text

Elevator Control Simulation Using Fuzzy Logic Management by Mehr Ali Qasimi, Asmatullah Nashir

“…Detent force, one issue with stabilization systems, will be examined in terms of how well it functions under a fuzzy logic controller using a nonlinear test like  changes in load and distance to obtain a policy suitable for application in the industrial sector or other human endeavors. …”
Get full text

OPTIMIZATION PROBLEM FOR NUMBER OF LOGIC GATES NEEDED TO IMPLEMENT MULTIPLE BOOLEAN FUNCTIONS USING DECODER by M. Onai, H. Skopyk

“…Purpose. Develop a computer program that, based on provided functions, will find a solution associated with approximately minimal number of logic gates. …”
Get full text

Formal Verification of Three-Valued Digital Waveforms by Nina Yu. Kutsak, Vladislav V. Podymov

“…The main results are mathematical notions, propositions, and algorithms which allow to formalize and solve a formal verification problem for considered waveforms, including: definitions for signals and waveforms which the mentioned typical digital signal features; a temporal logic suitable for formalization of waveform correctness properties, and a related verification problem statement; a solution technique for the verification problem, which is based on reduction to signal transfromation and analysis; a corresponding verification algorithm together with its correctness proof and “reasonable” complexity bounds.…”
Get full text

Evaluation of Rural Urban Waste Management : Integrating Logic Model and GIS Approach in Pemalang, Central Java, Indonesia by Mansur Hidayat, Maryono Maryono, Widjonarko Widjonarko, Muhammad Dzaky Taqyuddin, Padmagitaning Saraswati

“…Logic models evaluate input process output and program outcomes, while GIS evaluates geospatial program achievements. …”
Get full text

Community Engagement in Crime Reduction Strategies: A Tale of Three Cities by Linda Nubani, Harmony Fierke-Gmazel, Holly Madill, Alaina De Biasi

Get full text

Verification of declarative LTL-specification of control programs behavior by Maxim V. Neyzov, Egor V. Kuzmin

“…Previously, it was proposed a declarative LTL-specification, which allows describing the behavior of control programs and building program code based on it in the imperative ST-language for programmable logic controllers. …”
Get full text

FORMATION PROGRAM IN MATHEMATICS AT THE TECHNICAL UNIVERSITY AND THE QUALITY OF KNOWLEDGE by Y. P. Bogomolova

“…Restructuring of mathematics programs is designed to develop logical and algorithmic thinking of engineering students; to cultivate an applied mathematical culture; formation of insight and erudition in mathematics application.Practical significance. …”
Get full text

On the calculus of positively constructed formulas for authomated theorem proving by A. V. Davydov, A. A. Larionov, E. A. Cherkashin

“…The language LF contains only two logic symbols for any and is, which form the set of logic connectives of the language. …”
Get full text

Integrating AI and Multi-objective Optimization for Enhanced Microgrid Energy Management Using Quadratic Programming by Agrawal Priyanka, Thethi H. Pal, Mohammad Q., Gupta Navya, Asha V., Reddy K. Jyothsna

“…Using the AI approaches and the quadratic programming driven multiobjective optimisation, this paper proposes a universal framework for smart microgrid energy management. …”
Get full text

APPLICATION OF SOFT SETS TO ASSESSMENT OF MATHEMATICAL MODELLING SKILLS by Майкл Воскоглоу

Get full text

Performance Analysis and Computational Interface for <italic>X &#x2013; R</italic> Intuitionistic Fuzzy Control Chart by Amanda Dos Santos Mendes, Tulio S. Almeida, Marcela A. G. Machado, Paloma Maria Silva Rocha Rizol

Get full text

The Development of Special Interactive Teaching Computer Programs for the Training of the Specialists of Radiological, Chemical and Biological Defence Troops by K. P. Kuznetsova, S. N. Solnyshkov

“…The research uses dialectical, informational, analytical and logical methods, a complex of pedagogical and psychological methods, as well as methods of visualization of color materials and interactive learning. …”
Get full text

Peculiarities of administration of medications to patients with circulatory system diseases within the framework of the federal program of preferential provision of medicines by I. K. Petrukhina, R. I. Yagudina, N. V. Veyner, T. K. Ryazanova, E. P. Gladunova, V. A. Kurkin, P. R. Blinkova, E. N. Zaitseva

“…The methods of comparative, retrospective, logical, graphical and content analysis, the method of data grouping according to Anatomical Therapeutic Chemical classification and methods of descriptive statistics were used.Results. …”
Get full text

AI-Driven Optimization of Smart Spaces: A WASPAS Decision Model to Intelligent Environment Design by Yang Wu

Get full text

Optimization Design of Automatic Neutral-section Passing Control for High-power AC Freight Electric Locomotive by LIU Huawei

“…In this paper, the locomotive automatic neutral-section control logic optimization was researched to tackle the problem of insufficient traction/braking force in some neutral-section and false signal from neutral-section device of HXD1 high-power electric locomotive. …”
Get full text