Development of Graphene Oxide-Based Antibacterial Agents via ZnO/Eugenol Modification: Experimental and Computational Analysis by Karisma Triatmaja, Eko Sri Kunarti, Suyanta Suyanta, Priyagung Dhemi Widiakongko

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

“…This study evaluates the performance of the <inline-formula> <tex-math notation="LaTeX">$\bar {X}$ </tex-math></inline-formula>-R intuitionistic fuzzy control charts was measured by the Average Run Length (ARL), Standard Deviation Run Length (SDRL) and Run Length Percentiles. Additionally, computational interface was developed in the R programming language, using the Shiny package, capable of facilitating the user&#x2019;s experience in combining the concepts presented. …”
Get full text

Computational ranking identifies Plexin-B2 in circulating tumor cell clustering with monocytes in breast cancer metastasis by Emma Schuster, Nurmaa K. Dashzeveg, Fangjia Tong, Yuzhi Jia, Lamiaa El-Shennawy, Tong Zhang, Andrew D. Hoffman, Reta Birhanu Kitata, Golam Kibria, Youbin Zhang, Joshua R. Squires, Chunlei Zheng, Erika Ramos, Rokana Taftaf, David Scholten, Hannah F. Almubarak, Valery Adorno-Cruz, David P. Sullivan, Carolina Reduzzi, Allegra C. Minor, William Purev-Ochir, Sabina Spahija, Rong Xu, Kalliopi P. Siziopikou, Leonidas C. Platanias, Ami Shah, William A. Muller, William J. Gradishar, Massimo Cristofanilli, Chia-Feng Tsai, Tujin Shi, Huiping Liu

Get full text

Research on formal description and verification of automated trust negotiation by GUAN Shang-yuan 1, WU Wei-guo 1, DONG Xiao-she 1, QIAN De-pei1

“…First,a unified ATN formal framework was presented,into which typical negotiation strategies could be reduced.Second,the formal verification of ATN was defined based on the formal framework.The objectives and procedures of the formal verification of ATN were described.Third,several typical negotiation strategies were discussed,and the computational complexity of the corresponding verification problems was shown,several conclusions had been obtained.Last,the formal verification of ATN was implemented by using logic programming and model checking methods.The experimental results show that the number of rules is a crucial factor in determining the runtime.Both logic programming and model checking are efficient when the number of transition rules is small,and logic programming does not scale as well as model checking.…”
Get full text

Research on formal description and verification of automated trust negotiation by GUAN Shang-yuan 1, WU Wei-guo 1, DONG Xiao-she 1, QIAN De-pei1

“…First,a unified ATN formal framework was presented,into which typical negotiation strategies could be reduced.Second,the formal verification of ATN was defined based on the formal framework.The objectives and procedures of the formal verification of ATN were described.Third,several typical negotiation strategies were discussed,and the computational complexity of the corresponding verification problems was shown,several conclusions had been obtained.Last,the formal verification of ATN was implemented by using logic programming and model checking methods.The experimental results show that the number of rules is a crucial factor in determining the runtime.Both logic programming and model checking are efficient when the number of transition rules is small,and logic programming does not scale as well as model checking.…”
Get full text

Development and Evaluation of a Computer-Based, Self-Management Tool for People Recently Diagnosed with Type 2 Diabetes by Alison O. Booth, Carole Lowis, Steven J. Hunter, Moira Dean, Chris R. Cardwell, Michelle C. McKinley

“…The purpose of this study was to develop and evaluate a computer-based, dietary, and physical activity self-management program for people recently diagnosed with type 2 diabetes. …”
Get full text

Big Data Analytics for Uncovering Voxel Connectivity Patterns in Attention Deficit Hyperactivity Disorder by Caraka RE, Supardi K, Gio PU, Isnaniawardhani V, Chen RC, Djatmiko B, Pardamean B

“…Wiratman Cipta Manggala (WCM), Graha Simatupang, Simatupang, Jakarta, 12540, Indonesia; 8Bioinformatics and Data Science Research Center, Bina Nusantara University, Jakarta, 11480, Indonesia; 9Computer Science Department, BINUS Graduate Program – Master of Computer Science Program, Bina Nusantara University, Jakarta, 11480, IndonesiaCorrespondence: Rezzy Eko Caraka; Rung Ching Chen, Email r.eko.caraka@unpad.ac.id; crching@cyut.edu.twIntroduction: Attention Deficit Hyperactivity Disorder (ADHD) is a complex neurodevelopmental condition characterized by heterogeneous brain activity patterns. …”
Get full text

A chromatin structure‐based model accurately predicts DNA replication timing in human cells by Yevgeniy Gindin, Manuel S Valenzuela, Mirit I Aladjem, Paul S Meltzer, Sven Bilke

Get full text

Microenvironment-confined kinetic elucidation and implementation of a DNA nano-phage with a shielded internal computing layer by Decui Tang, Shuoyao He, Yani Yang, Yuqi Zeng, Mengyi Xiong, Ding Ding, Weijun Wei, Yifan Lyu, Xiao-Bing Zhang, Weihong Tan

“…However, it is quite difficult to involve nanobodies into molecular computation with programmed recognition order because of the “always-on” response mode and the inconvenient molecular programming. …”
Get full text

Algorithm for finding subcritical paths on network diagrams by M. A. Аnfyorov

“…The conducted runs of computational experiments confirmed the operability and efficiency of the software-implemented algorithm. …”
Get full text

A Novel Hypoxia-Immune Signature for Gastric Cancer Prognosis and Immunotherapy: Insights from Bulk and Single-Cell RNA-Seq by Mai Hanh Nguyen, Hoang Dang Khoa Ta, Doan Phuong Quy Nguyen, Viet Huan Le, Nguyen Quoc Khanh Le

Get full text

Quality control of Cone Beam Computed Tomography (CBCT) equipment used in dental applications according to RDC 611 by Rachel Albuquerque Rocha, Bruno Fabrício de Oliveira Lisboa, Luiz Antônio Ribeiro da Rosa, Lucía Viviana Canevaro

“…Cone Beam Computed Tomography (CBCT) is a powerful and a versatile tool that has revolutionized the way dentists plan and perform treatments. …”
Get full text

On-line computer determination of rate constants from stopped flow data by a nonlinear least square method by Andreas D. Zuberbühler, Thomas A. Kaden

“… The on-line data acquisition from a Durrum D 110 stopped flow spectrophotometer as well as the calculation of rate constants by a nonlinear least square program written for a Hewlett-Packard HP 9820 (or HP 9821) desktop computer is described. …”
Get full text

Computer-Based Clinical Examination (CCE) in Surgery: Would It Complement or Replace the OSCE in the Post-COVID-19 Era? by Gamal E H A El Shallaly, Mudather M Bafadni, Hozifa M A Abdelmaged, Maysa H A Hamza

“…We used the modular objectoriented dynamic learning environment (MOODLE) program as a platform to upload and deliver the exam. …”
Get full text

Data Mining–Based Model for Computer-Aided Diagnosis of Autism and Gelotophobia: Mixed Methods Deep Learning Approach by Mohamed Eldawansy, Hazem El Bakry, Samaa M Shohieb

“…In cases where facial cues were ambiguous, the GELOPH<15> questionnaire, consisting of 15 items, was administered to confirm the diagnosis The system was fully implemented using the Python programming language. Deep learning models were developed using libraries such as PyTorch for training the multilayer perceptron classifier, while CUDA was used to accelerate computations on compatible graphics processing units. …”
Get full text

Artificial intelligence in lung cancer screening: assessment of the diagnostic accuracy of the algorithm analyzing low-dose computed tomography by S. P. Morozov, A. V. Vladzimirskiy, V. A. Gombolevskiy, V. G. Klyashtorny, I. A. Fedulova, L. A. Vlasenkov

“…The diagnostic accuracy of the artificial intelligence algorithm aimed to detect lesions on low-dose computer tomograms has been independently assessed. …”
Get full text

A multi-user multi-operator computing pricing method for Internet of things based on bi-level optimization by Wei Jiang, Huiqiang Wang, Bingyang Li, Haibin Lv, Qingchuan Meng

“…While an operator’s goal is to minimize the loss of his interests, the user’s goal is to minimize the computation cost (energy consumption and price). First, since the lower-level user decision-making problem is an integer linear programming problem, we transform it into an equivalent continuous linear programming problem by relaxation. …”
Get full text

Diagnosis of vertebral mineral metabolism disorders in patients with drug-resistant pulmonary tuberculosis using computed tomography data by М.І. Lynnyk, V.І. Іgnatieva, G.L. Gumeniuk, V.А. Svyatnenko, N.M. Bobok

“…In connection with this, diagnosis and treatment of the dynamics of disruption of mineral metabolism of bone tissue in patients with drugresistant tuberculosis based on computed tomography (CT) data of the chest organs are relevant. …”
Get full text

ESTIMATION OF SOFTWARE COMPLEXITY OF CALCULATION OF AUTOREGRESSION COEFFICIENTS AT DIGITAL SPECTRAL ANALYSIS by Andrey Zuev, Andrey Ivashko, Denis Lunin

Get full text

Formulating&#x2009;and&#x2009;Solving&#x2009;Routing&#x2009;Problems on Quantum Computers by Stuart Harwood, Claudio Gambella, Dimitar Trenev, Andrea Simonetto, David Bernal Neira, Donny Greenberg

“…The NP-hard complexity of vehicle routing problems has fostered the adoption of tailored exact approaches, matheuristics, and metaheuristics on classical computing devices. The ongoing evolution of quantum computing hardware and the recent advances of quantum algorithms (i.e., VQE, QAOA, and ADMM) for mathematical programming make decision-making for routing problems an avenue of research worthwhile to be explored on quantum devices. …”
Get full text