State-Space Analysis and Complexity Assessment of Puzzle Games Using Colored Petri Nets by Ahmad Taghinezhad-Nia, Saeid Pashazadeh

“…The verification of complex systems has traditionally relied on semi-automatic theorem-proving methods. However, model checking represents a paradigm shift by enabling automated, exhaustive verification of behavioral properties through systematic state exploration. …”
Get full text

Analysis of the sample size used in clinical MRI studies. by Clara M Bögerl, Frederik B Laun, Armin M Nagel, Sebastian Bickelhaupt, Michael Uder, Jannis Hanspach

“…., T1 mapping or diffusion-weighted imaging), retrospective vs. prospective and single vs. multicenter studies, automatic or manual segmentation, and quantitative or qualitative evaluations.…”
Get full text

Multivariate Gaussian Bayes classifier with limited data for segmentation of clean and contaminated regions in the small bowel capsule endoscopy images. by Vahid Sadeghi, Alireza Mehridehnavi, Maryam Behdad, Alireza Vard, Mina Omrani, Mohsen Sharifi, Yasaman Sanahmadi, Niloufar Teyfouri

“…A considerable amount of undesirable factors in the wireless capsule endoscopy (WCE) procedure hinder the proper visualization of the small bowel and take gastroenterologists more time to review. Objective quantitative assessment of different bowel preparation paradigms and saving the physician reviewing time motivated us to present an automatic low-cost statistical model for automatically segmenting of clean and contaminated regions in the WCE images. …”
Get full text

Machine Learning Detection of Melting Layers From Radar Observations by Yan Xie, Fraser King, Claire Pettersen, Mark Flanner

“…Accurate detection of melting layers is crucial to improving quantitative precipitation estimation, weather forecasts, microwave communication, and aviation risk assessments in a changing climate. …”
Get full text

Relationship between different toxic effects of nickel on tolerance and recovery in the freshwater shrimp Neocaridina davidi by Anna Ostróżka, Grażyna Wilczek, Monika Tarnawska, Sebastian Student, Magdalena Rost-Roszkowska

Get full text

Knowledge of the nursing team about cardiac arrest and cardiopulmonary resuscitation: mixed methods studies by Luana Turra, Daniele Delacanal Lazzari, Jussara Gue Martini, Eliane Regina Pereira do Nascimento, Francine Carpes Ramos, Luciana Bihain Hagemann de Malfussi, Alex Becker, Nicásio Urinque Mendes

“…Hand positioning for cardiac compressions and handling the automatic external defibrillator had the lowest number of correct answers. …”
Get full text

Automated Discrimination of Appearance Quality Grade of Mushroom (<i>Stropharia rugoso-annulata</i>) Using Computer Vision-Based Air-Blown System by Meng Lv, Lei Kong, Qi-Yuan Zhang, Wen-Hao Su

“…In the grading module, an air-blown grading system with an automatic feeding unit was developed in combination with the SegGrade algorithm. …”
Get full text

Comparable 2022 General Election Advertising Datasets from Meta and Google by Meiqing Zhang, Furkan Cakmak, Markus Neumann, Sebastian Zimmeck, Pavel Oleinikov, Jielu Yao, Harry Yu, Aleks Jacewicz, Isabella Tassone, Breeze Floyd, Laura Baum, Michael M. Franz, Travis N. Ridout, Erika Franklin Fowler

Get full text

Calculation Method of Phenotypic Traits for Tomato Canopy in Greenhouse Based on the Extraction of Branch Skeleton by Xiaodan Ma, Qiu Jiang, Haiou Guan, Lu Wang, Xia Wu

“…Automatic acquisition of phenotypic traits in tomato plants is important for tomato variety selection and scientific cultivation. …”
Get full text

Comparative Analysis of Despeckling Filters Based on Generative Artificial Intelligence Trained with Actual Synthetic Aperture Radar Imagery by Ahmed Alejandro Cardona-Mesa, Rubén Darío Vásquez-Salazar, Carlos M. Travieso-González, Luis Gómez

Get full text

Development of surface movement experimental platform and experimental study of buildings in mining area by Yueguan YAN, Huayang DAI, Yuanhao ZHU

“…However, there is still a lack of effective physical simulation methods for quantitative experimental research on house damage in mining villages. …”
Get full text

Accuracy Evaluation of Multi-Source Precipitation Data in Mountain Flood Simulation in Guoning Village， Xiahe County by Wubin HUANG, Jing FU, Runxia GUO, Junxia ZHANG, Yu LEI

“…From 22:00 on September 6， 2023 to 04:00 （Beijing Time） on September 7， Xiahe County in Gansu Province experienced severe convective weather， with short-term heavy rainfall in some areas， causing flash floods in Guoning Village， Xiahe County， resulting in casualties.In this study， the characteristics of Radar Quantitative Precipitation Estimation （Radar-QPE）， FengYun 4B Quantitative Precipitation Estimation （FY4B-QPE）， and CMA Multi-source Precipitation Analysis （CMPA） precipitation products were contrastive analyzed based on meteorological station observations.These precipitation data were used to drive the hydrodynamic hydrological model and evaluate the effect of different precipitation data in the flash flood simulation.The results showed that： （1） Among the 12-hour cumulative precipitation amounts， CMPA demonstrated higher accuracy in terms of the position of large value areas and differences in local precipitation levels； Radar-QPE was closer to AWS （Automatic Weather Station） in terms of cumulative precipitation level but showed significant differences in spatial distribution； FY4B-QPE overestimated the cumulative precipitation level by 33.8%.（2） In terms of hourly distribution， CMPA was most similar to AWS in terms of temporal evolution， spatial distribution， and precipitation level； Radar-QPE's peak values were smaller， and the peak times were lagged， with negative deviations in precipitation being dominant； FY4B-QPE's peak values and peak times were consistent with reality， but there were deviations in the start and end times of precipitation， with positive deviations in precipitation being dominant.（3） In the hydrological simulation study， CMPA， Radar-QPE， and FY4B-QPE all overestimated water levels， but the timing of water level peaks was more consistent with AWS.CMPA performed best in terms of RMSE （Root Mean Square Error）， NSE （Nash Efficiency Coefficient）， and Bias （Relative Deviation）， followed by Radar-QPE， and FY4B-QPE performed relatively poorly.Although existing site-observed precipitation cannot fully meet the needs of research and early warning for small and medium scale mountain floods， the high precision of CMPA data could effectively supplement the deficiencies of traditional meteorological observation stations to some extent.Meanwhile， the algorithms and accuracy of Radar-QPE and FY4B-QPE needed to be further improved and enhanced.…”
Get full text

A generative whole-brain segmentation model for positron emission tomography images by Wenbo Li, Zhenxing Huang, Hongyan Tang, Yaping Wu, Yunlong Gao, Jing Qin, Jianmin Yuan, Yang Yang, Yan Zhang, Na Zhang, Hairong Zheng, Dong Liang, Meiyun Wang, Zhanli Hu

“…Therefore, we propose a generative multi-object segmentation model for brain PET images to achieve automatic and accurate segmentation. Methods In this study, we propose a generative multi-object segmentation model for brain PET images with two learning protocols. …”
Get full text

Optimization of the Care4Today Digital Health Platform to Enhance Self-Reporting of Medication Adherence and Health Experiences in Patients With Coronary or Peripheral Artery Disea... by Stephanie Juan, Ante Harxhi, Simrati Kaul, Breeana Woods, Monica Tran, Gabrielle Geonnotti, Archit Gupta, Emily Dean, Cassandra E Saunders, Gloria Payne

“…Part 1, internet survey, posed quantitative questions with Likert-scale answer options about existing app features. …”
Get full text

Odense-Oxford PET Image Analysis (OPETIA): An FSL-based toolbox for multimodal neuroimaging by Mohammadtaha Parsayan, Sasan Andalib, Thomas Lund Andersen, Habib Ganjgahi, Poul Flemming Høilund-Carlsen, Abass Alavi, Mojtaba Zarei

“…Advanced analysis of MRI and PET images provides quantitative and accurate information about the brain structure and function, allowing differential diagnosis, prognosis, and personalized treatment. …”
Get full text

Optical Coherent Tomography-Angiography in the Research of Myopia Complicated by Choroidal Neovascularization by E. A. Drozdova, O. V. Zhiliaeva

“…A prospective study of 25 people (40 eyes) with complicated myopia was carried out, which consisted in a comparative analysis of the qualitative and quantitative OCTA characteristics of 29 eyes with myopic CNV and 11 paired intact eyes. …”
Get full text

Comparative evaluation of methods of monitoring of water objects, potentially dangerous for the railway track by S. Y. Zavyalov

“…For comparison purposes of the listed methods the following parameters have been chosen: efficiency of data acquisition, possibility of automatic integration into the computer, accuracy of measurements, equipment cost, the detailed assessment of the studied site according to the available data, need of presence of the specialist at measurements, data acquisition in real time, time for data updating. …”
Get full text

Volume Estimation of Land Surface Change Based on GaoFen-7 by Chen Yin, Qingke Wen, Shuo Liu, Yixin Yuan, Dong Yang, Xiankun Shi

“…However, existing land surface monitoring methods often focus on a single dimension, either horizontal or vertical, making it challenging to achieve quantitative volumetric change monitoring. Accurate volumetric change measurements are indispensable in many fields, such as monitoring open-pit coal mines. …”
Get full text

M2FNet: multi-modality multi-level fusion network for segmentation of acute and sub-acute ischemic stroke by Shannan Chen, Xuanhe Zhao, Yang Duan, Ronghui Ju, Peizhuo Zang, Shouliang Qi

“…Abstract Ischemic stroke, a leading cause of death and disability, necessitates accurate detection and automatic segmentation of lesions. While diffusion weight imaging is crucial, its single modality limits the detection of subtle lesions and artifacts. …”
Get full text

Fusing Machine Learning and AI to Create a Framework for Employee Well-Being in the Era of Industry 5.0 by Cosmina-Mihaela Rosca, Adrian Stancu

Get full text