ВОПРОСЫ ТЕОРИИ И ПРАКТИКИ ЛОГИЧЕСКОГО ПРОГРАММИРОВАНИЯ. by Nicolai PELIN, Serghei PELIN

“…Atenție sporită este acordată disjuncțiilor lui Horn, care direct pot fi considerați în calitate de părți componente a unor programe coputaționale prezentate în logică. Este descrisă sintaxa și procesul de retransformare formulei logice de la o formulă atomară pînă la un model logic a lumei reale și prezentarea lui (modelului) într-o formă conjuctiv-normală care, în calitate de componente conține numai mulțimea disjuncțiilor lui Horn. …”
Get full text

The Role of University Integration in Overcoming the Gap between Education Results and Real Needs of Labour Market by M. Shaheen

“…The author provides concrete examples of successful solution of the problem within the frames of implementing various partner programs of business and education both in Russia and abroad.…”
Get full text

Research on real-time fusion method of multi-source heterogeneous flight trajectory data stream by Zhuxi ZHANG, Wang TIAN, Shaochuan ZHU, Hongyan LIU, Xi ZHU

“…Secondary surveillance radar (SSR) and automatic dependent surveillance-broadcast (ADS-B) are the two main surveillance methods coexisting in the airspace surveillance system.In order to improve the accuracy and stability of surveillance,real-time fusion of SSR and ADS-B trajectory is crucial.In view of the fact that the existing methods are difficult to meet the real-time fusion requirements of large-scale trajectories,a real-time fusion method of SSR and ADS-B data streams was designed with big data technology.This method was based on the big data processing framework of micro-batch processing and followed the MapReduce programming model.While obtaining a fusion trajectory of high quality,it ensured high concurrency and real-time data processing capability of the system.Finally,a real-time flight simulation experiment based on real flight data was carried out to verify the feasibility of the method.…”
Get full text

Flexible wireless magnetic closure sensor: A biocompatible device for real-time biomedical applications by Runxing Lin, Ziyu Huang, Yu Liu, Bingpu Zhou, Yinning Zhou

“…These challenges include limited operational flexibility due to wired connections, insufficient conformity of rigid designs to dynamically deforming regions, difficulty in observing and quantifying organ muscle movements, and poor performance in real-time monitoring of muscle coordination patterns. …”
Get full text

Energy-efficient wireless sensor network for real-time environmental monitoring: Simulink-based design by Fatai Olatunde Adunola, Victor Nnamdi Omeke, Ashraf Adam Ahmad, Asharimantun Reuben Bunu, Alfred John Nkohon, Emmanual Obiajulu

“…Abstract This research focuses on designing an Energy-efficient Wireless Sensor Network for monitoring environmental parameters that tracks variables such as temperature, humidity, air quality, and noise levels in real time. The methodology includes modelling and simulating a wireless sensor network using Simulink, implementing a network that incorporates 4 separated sensor nodes that transmits to a gateway with a time lag of 6 min between each node, implementing a thresholding algorithm for energy efficiency, the network is programmed to transmit for 5 min every 4 h for a total period of 24 h. …”
Get full text

Real-Time Avalanche Hazard Monitoring System Based on Weather Sensors and a Laser Rangefinder by Natalya Denissova, Olga Petrova, Erbolat Mashayev, Dmitry Spivak, Vitaly Zuyev, Gulzhan Daumova

Get full text

Real Time Application for Automatic Object and 3D Position Detection and Sorting with Robotic Manipulator by Tichaona Jonathan Makomo, Barış Boru, Kenan Erin

“…The information is therefore sent to the robot to create a path through a server-to-client connection over a computer network in real time.…”
Get full text

An Embedded System Design to Build Real-Time 2D Maps for Unknown Indoor Environments by Ercan Coşgun, Kenan Toker, Hayriye Korkmaz

Get full text

Graph Neural Network for In-Network Placement of Real-Time Metaverse Tasks in Next-Generation Networks by Sulaiman Muhammad Rashid, Ibrahim Aliyu, Il-Kwon Jeong, Tai-Won Um, Jinsul Kim

“…Delivering realistic, real-time virtual experiences in the Metaverse demands computationally intensive rendering tasks with strict latency constraints. …”
Get full text

Advanced Sales Route Optimization Through Enhanced Genetic Algorithms and Real-Time Navigation Systems by Wilmer Clemente Cunuhay Cuchipe, Johnny Bajaña Zajia, Byron Oviedo, Cristian Zambrano-Vega

Get full text

IoT-driven real-time weather measurement and forecasting mobile application with machine learning integration by Jul Jalal Al-Mamur Sayor, Nishat Tasnim Shishir, Bitta Boibhov Barmon, Sumon Ahemed, Md. Moshiur Rahman

“…The system incorporates a mobile application designed to provide users with real-time weather updates through an intuitive and easy-to-use platform. …”
Get full text

Development of real-time PCR methods for quality control detection of pathogenic bacteria in cosmetic preparations by Veronica Bolzon, Michela Bulfoni, Alessandro Nencioni, Emanuele Nencioni

“…To address these limitations, molecular techniques like PCR, particularly real-time PCR (rt-PCR), multiplex rt-PCR, and viability PCR assays, as well as flow cytometry, have enhanced microbiological analysis by improving detection sensitivity, accuracy, and enabling rapid pathogen identification. …”
Get full text

A Novel Cascaded Approach for Classification of Tuberculosis Using Cough Audio in Real-Time Environment by Haroon Mahmood, Manal Iftikhar, Aamir Wali, Arshad Ali, Maryam Gulzar

Get full text

Real-world data of cadonilimab in recurrent or metastatic cervical cancer in China: a multicentric study by Jian Chen, Haijuan Yu, Yingtao Lin, Dan Hu, Li Liu, Renliang Fan, Jianping Zou, Lele Zang, Yao Lin, Rong Lin, Dezhao Chen, Xiaoying Weng, Fenfang Shen, Shaoyu Wang, Wei Zeng, Qihua Tian, Yun Yi, Yuanfeng Chen, Jinjin Miao, Bo Zhang, Yinxia Zou, Fengming Gao, Fengming Gao, Rong Lian, Lin Yang, Yang Sun

“…Cadonilimab, a novel anti-PD-1/CTLA-4 bispecific antibody, has shown substantial clinical benefits in cancer treatment. However, there is no real-world evidence of cadonilimab with a considerable sample size in R/M CC. …”
Get full text

A robust possibilistic programming approach to design a comprehensive blood supply chain based on the ABO-RH index by Taher Kouchaki Tajani, Ali Mohtashami, Maghsoud Amiri, Reza Ehtesham Rasi

“…The designed model was first evaluated for validation with numerical examples in small and large size and using real data in a case study in GAMS software?Findings: Using numerical examples and real data, the output indicates the performance of the proposed model. …”
Get full text

Predictors of Shock‐Reduction Programming and Its Impact on Implantable Cardioverter‐Defibrillator Therapies and Mortality: The CERTITUDE Registry by Sebastian E. Beyer, Camden Harrell, Steven Mullane, Valentina Kutyifa, Malini Madhavan, Jonathan P. Piccini, Gaurav A. Upadhyay, James E. Ip, George Thomas, Christopher F. Liu, Steven M. Markowitz, David Hayes, Bruce B. Lerman, Jim W. Cheung

“…Background Shock‐reduction implantable cardioverter‐defibrillator programming (SRP) was associated with fewer therapies and improved survival in randomized controlled trials, but real‐world studies investigating SRP and associated outcomes are limited. …”
Get full text

Evaluating Genomic Selection in beef cattle: Insights from computer simulations using real SNP data by Lino César Ramírez Ayala, Jordi Leno-Colorado, Laura M. Zingaretti, Elies Ramón Gurrea, Yuliaxis Ramayo-Caldas, Miguel Pérez-Enciso

Get full text

Gait ecological assessment in persons with Parkinson’s disease engaged in a synchronized musical rehabilitation program by A. Bourdon, L. Damm, D. Dotov, P. Ihalainen, S. Dalla Bella, B. G. Bardy, V. Cochen De Cock

“…Abstract Data on gait parameters during real-life activities and home rehabilitation programs for Persons with Parkinson’s disease (PwPDs) are scarce. …”
Get full text

Making nanomaterial-enabled nitrate sensors useful for real water systems: user-centric design perspectives by Shelby Defeo, Samuel Erickson, Maria F. Perez Mendoza, Alexia Cooper, Bruce Barrios, Zachary Malone, Ryan D. Baxter, Sayantani Ghosh, Thomas C. Harmon

Get full text

Solving the Problem of Linear Programming with Cost Coefficients and Grey Resources Using the Primal Simplex Algorithm by Farid Pourofoghi

“…One way to deal with these uncertainties in real life is to use Grey System Theory (GST). In this paper, a linear programing problem in a grey environment with interval Grey Numbers (GN) is considered. …”
Get full text