Fuzzy Computation Tree Temporal Logic with Quality Constraints and Its Model Checking by Xianfeng Yu, Yongming Li, Shengling Geng, Huirong Li

“…QFCTL and QFCTL* can also synthesize temporal formulas that characterize the subproperties of the system according to weight preferences. These application examples also verify that the QFCTL and QFCTL* model-checking algorithms proposed in this article are automatic and effective.…”
Get full text

Multidimensional Visualization of Sound–Sense Harmony for Shakespeare’s Sonnets Classification by Rodolfo Delmonte, Nicolò Busetto

Subjects: “…SPARSAR = specialized NLP system for English poetry…”
Get full text

Using Data-Driven Computer Vision Techniques to Improve Wheat Yield Prediction by Merima Smajlhodžić-Deljo, Madžida Hundur Hiyari, Lejla Gurbeta Pokvić, Nejra Merdović, Faruk Bećirović, Lemana Spahić, Željana Grbović, Dimitrije Stefanović, Ivana Miličić, Oskar Marko

Get full text

Computer-Aided Diagnosis Techniques for Brain Tumor Segmentation and Classification Using MRI by Gadicha A. B., Kale Prachi V., Dalvi G. D., Mohod M. M., Pakhale S. C., Khan S. M.

“…This paper presents a comprehensive review of various AI-driven techniques, including traditional ML models, deep convolutional neural networks, and hybrid systems, that have been employed for the automatic detection, segmentation, and categorization of brain tumors using MRI data. …”
Get full text

Accuracy Verification of a Computed Tomography-Based Navigation System for Total Hip Arthroplasty in Severe Hip Dysplasia: A Simulation Study Using 3D-Printed Bone Models of Crowe... by Ryuichiro Okuda, Tomonori Tetsunaga, Kazuki Yamada, Tomoko Tetsunaga, Takashi Koura, Tomohiro Inoue, Yasutaka Masada, Yuki Okazaki, Toshifumi Ozaki

“…<i>Background and Objective</i>: The use of computed tomography (CT)-based navigation systems has been shown to improve surgical accuracy in total hip arthroplasty. …”
Get full text

Fire Reconstruction and Flame Retardant with Water Mist for Double-Roofed Ancient Buddhist Buildings by Chen Zhong, Ting Li, Hui Liu, Lei Zhang, Xiaoyan Wen

Get full text

Computational generation of tailored radionuclide libraries for alpha-particle and gamma-ray spectrometry by Jaewoong Jang

“…This research presents a computational algorithm and the architecture of its dedicated software that can automatically generate tailored radionuclide libraries. …”
Get full text

A Computational Framework for Automated Puncture Trajectory Planning in Hemorrhagic Stroke Surgery by Ziyue Ma, Feng Yan, Yongzhi Shan, Yaming Wang, Hong Wang

“…Future integration with robotic systems and validation through clinical trials are warranted.…”
Get full text

Computer-Aided Supporting Models of Customized Crack Propagation Sensors for Analysis and Prototyping by Paulina Kurnyta-Mazurek, Rafał Wrąbel, Artur Kurnyta

“…The range of sensor technologies for structural health monitoring (SHM) systems is expanding as the need for ongoing structural monitoring increases. …”
Get full text

Multi-Branch CNN-LSTM Fusion Network-Driven System With BERT Semantic Evaluator for Radiology Reporting in Emergency Head CTs by Selene Tomassini, Damiano Duranti, Abdallah Zeggada, Carlo Cosimo Quattrocchi, Farid Melgani, Paolo Giorgini

Get full text

Rice Appearance Quality Detection Technology Based on Muti-demensional Features by XING Jian, LUO Jia-shun

Get full text

Controlled Gene-Accumulation Programming by Najla Al-Saati, Nidhal Al-Assady

Get full text

Research on classification and detection of traffic signs based on tags combined with real scenes by Zhang Cheng, Zhang Ruibin, Wang Shudao

Get full text

Deep learning and capsule endoscopy: automatic identification and differentiation of small bowel lesions with distinct haemorrhagic potential using a convolutional neural network by Guilherme Macedo, Miguel José Mascarenhas Saraiva, João Afonso, Tiago Ribeiro, João Ferreira, Helder Cardoso, Ana Patricia Andrade, Marco Parente, Renato Natal, Miguel Mascarenhas Saraiva

Get full text

Automatic Characterization of Prostate Suspect Lesions on T2-Weighted Image Acquisitions Using Texture Features and Machine-Learning Methods: A Pilot Study by Teodora Telecan, Cosmin Caraiani, Bianca Boca, Roxana Sipos-Lascu, Laura Diosan, Zoltan Balint, Raluca Maria Hendea, Iulia Andras, Nicolae Crisan, Monica Lupsor-Platon

Get full text

Verification of the Improvement Effect of Artificial Intelligence Computer Control Technology on Electrical Automation Control by Jinpeng Li

“…The research shows that the electrical automatic control system based on the intelligent computer algorithm proposed in this paper has a good electrical automatic control effect.…”
Get full text

IMPROVING THE QUALITY OF THE INFORMATION PRESENTED IN FINANCIAL STATEMENTS BY USING INFORMATION TECHNOLOGY by VASILE DUMITRAȘ

Get full text

Advancing automatic speech recognition for low-resource ghanaian languages: Audio datasets for Akan, Ewe, Dagbani, Dagaare, and IkposoScience Data Bank by Isaac Wiafe, Jamal-Deen Abdulai, Akon Obu Ekpezu, Raynard Dodzi Helegah, Elikem Doe Atsakpo, Charles Nutrokpor, Fiifi Baffoe Payin Winful, Kafui Kwashie Solaga

Get full text

Multi-body sensor based drowsiness detection using convolutional programmed transfer VGG-16 neural network with automatic driving mode conversion by Meenakshi Malik, Preeti Sharma, Gurpreet Kaur Punj, Supreet Singh, Fikreselam Gared

Get full text

Automated process planning system considering machining feature recognition suitable for end-milling using CAD models in STL format by Takayuki HIRAYAMA, Hidenori NAKATSUJI, Isamu NISHIDA

Get full text