Results 1 to 10 of about 7,287 (192)

Distributed Mutual Exclusion Algorithms for Intersection Traffic Problems

IEEE Access, 2020
Conurbations around the globe are encountering the challenges of traffic congestion. Miscellaneous smart systems have been developed to help control and improve traffic flow in a cost-effective and measurable way.
Harisu Abdullahi Shehu, Md. Haidar Sharif, Rabie A. Ramadan   +2 more
doaj   +1 more source

Establishment and Optimization of Radiomics Algorithms for Prediction of KRAS Gene Mutation by Integration of NSCLC Gene Mutation Mutual Exclusion Information

Frontiers in Pharmacology, 2022
Purpose: To assess the significance of mutation mutual exclusion information in the optimization of radiomics algorithms for predicting gene mutation.Methods: We retrospectively analyzed 258 non-small cell lung cancer (NSCLC) patients.
Jingyi Wang, Xing Lv, Weicheng Huang, Zhiyong Quan, Guiyu Li, Shuo Wu, Yirong Wang, Zhaojuan Xie, Yuhao Yan, Xiang Li, Wenhui Ma, Weidong Yang, Xin Cao, Fei Kang, Jing Wang   +14 more
doaj   +1 more source

Automated Synthesis of Distributed Self-Stabilizing Protocols [PDF]

Logical Methods in Computer Science, 2018
In this paper, we introduce an SMT-based method that automatically synthesizes a distributed self-stabilizing protocol from a given high-level specification and network topology. Unlike existing approaches, where synthesis algorithms require the explicit
Fathiyeh Faghih, Borzoo Bonakdarpour, Sebastien Tixeuil, Sandeep Kulkarni   +3 more
doaj   +1 more source

A novel chaotic and neighborhood search-based artificial bee colony algorithm for solving optimization problems

Scientific Reports, 2023
With the development of artificial intelligence, numerous researchers are attracted to study new heuristic algorithms and improve traditional algorithms. Artificial bee colony (ABC) algorithm is a swarm intelligence optimization algorithm inspired by the
Wen-sheng Xiao, Guang-xin Li, Chao Liu, Li-ping Tan   +3 more
doaj   +1 more source

Efficient reduction of nondeterministic automata with application to language inclusion testing [PDF]

Logical Methods in Computer Science, 2019
We present efficient algorithms to reduce the size of nondeterministic B\"uchi word automata (NBA) and nondeterministic finite word automata (NFA), while retaining their languages.
Lorenzo Clemente, Richard Mayr
doaj   +1 more source

A systematic review and knowledge mapping on ICT-based remote and automatic COVID-19 patient monitoring and care

BMC Health Services Research, 2023
Background e-Health has played a crucial role during the COVID-19 pandemic in primary health care. e-Health is the cost-effective and secure use of Information and Communication Technologies (ICTs) to support health and health-related fields.
Ayan Chatterjee, Andreas Prinz, Michael A. Riegler, Jishnu Das   +3 more
doaj   +1 more source

Verifying Mutual Exclusion Algorithms with Non-Atomic Registers

Algorithms
The work described in this paper develops a formal method for modeling and exhaustive verification of mutual exclusion algorithms. The process is based on timed automata and the Uppaal model checker.
Libero Nigro
doaj   +1 more source

Formal Analysis of Bakery-Based Mutual Exclusion Algorithms

Computers
Lamport’s Bakery algorithm (LBA) represents a general and elegant solution to the mutual exclusion (ME) problem posed by Dijkstra in 1965. Its correctness is usually based on intuitive reasoning.
Libero Nigro
doaj   +1 more source

WORKING PROGRAM FOR STUDENT COURSE «DISTRIBUTED COMPUTING SCHEDULING» AND METHODICAL SUPPORT DESCRIPTION

Современные информационные технологии и IT-образование, 2018
The article describes working program for student course B1.V.04 «Distributed Computing Scheduling» which is taught during second semester of master course 01.04.02 «Applied Mathematics and Informatics» of «Math modeling» specialty.
Yuliana A. Kryzhanovskaya
doaj   +1 more source

A Minimal Supervisory Structure to Optimally Enforce Liveness on Petri Net Models for Flexible Manufacturing Systems

IEEE Access, 2017
This paper presents a new method of computing a minimal supervisory structure that optimally enforces liveness on the Petri net models for flexible manufacturing systems (FMSs).
Muhammad Bashir, Zhiwu Li, Murat Uzam, Abdulrahman Al-Ahmari, Naiqi Wu, Ding Liu, Ting Qu   +6 more
doaj   +1 more source