Search Results (25)

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. LBA rests on an unbounded number of tickets, which prevents correctness assessment by model checking. Several variants are proposed in the literature to bound the number of exploited tickets. This paper is based on a formal method centered on Uppaal for reasoning about general shared-memory ME algorithms. A model can (hopefully) be verified by the exhaustive model checker (MC), and/or by the statistical model checker (SMC) through stochastic simulations. To overcome the scalability problems of SMC, a model can be reduced to actors and simulated in Java. The paper formalizes LBA and demonstrates, through simulations, that it is correct with atomic and non-atomic memory registers. Then, some representative variants with bounded tickets are studied, which prove to be accurate with atomic registers, or which confirm their correctness under atomic or non-atomic registers. Full article

Objective: The objective of this study was to develop a Physiologically Based Biopharmaceutics Modeling (PBBM) framework that can predict PK profiles in humans based on data generated from the BE Checker. Methods: Metoprolol and dipyridamole were selected as model drugs. A mathematical model was developed to describe drug dissolution, membrane permeation, and dynamic changes in pH and fluid volume within the BE Checker system. Using data generated under various experimental conditions, dissolution rate constants were estimated. For dipyridamole, the precipitation rate constant was also estimated, assuming simultaneous dissolution and precipitation processes. The estimated parameters were subsequently incorporated into the human PBBM to simulate PK profiles. Finally, the predictive accuracy of PK parameters such as Cmax and AUC was assessed. Results: For metoprolol, the PK profiles using the paddle revolution rates of 100 and 200 rpm closely matched the observed human data, particularly for Cmax and AUC, a key indicator of BE. In the case of dipyridamole, accurate predictions of the mean human PK profile were achieved when using BE Checker data obtained under high paddle speed (200 rpm) and longer pre-FaSSIF infusion times (20–30 min). Conversely, simulations based on lower paddle speed (50 rpm) and shorter pre-FaSSIF infusion time (10 min) underestimated plasma concentrations in humans. Conclusions: These findings suggest that the combination of BE Checker data acquired under high agitation conditions and the in silico mathematical model developed in this study enables accurate prediction of average human PK profiles. Full article

Timely and accurate diagnosis of gastrointestinal diseases (GIDs) remains a critical bottleneck in clinical endoscopy, particularly due to the limited contrast and sensitivity of conventional white light imaging (WLI) in detecting early-stage mucosal abnormalities. To overcome this, this research presents Spectrum Aided Vision Enhancer (SAVE), an innovative, software-driven framework that transforms standard WLI into high-fidelity hyperspectral imaging (HSI) and simulated narrow-band imaging (NBI) without any hardware modification. SAVE leverages advanced spectral reconstruction techniques, including Macbeth Color Checker-based calibration, principal component analysis (PCA), and multivariate polynomial regression, achieving a root mean square error (RMSE) of 0.056 and structural similarity index (SSIM) exceeding 90%. Trained and validated on the Kvasir v2 dataset (n = 6490) using deep learning models like ResNet-50, ResNet-101, EfficientNet-B2, both EfficientNet-B5 and EfficientNetV2-B0 were used to assess diagnostic performance across six key GI conditions. Results demonstrated that SAVE enhanced imagery and consistently outperformed raw WLI across precision, recall, and F1-score metrics, with EfficientNet-B2 and EfficientNetV2-B0 achieving the highest classification accuracy. Notably, this performance gain was achieved without the need for specialized imaging hardware. These findings highlight SAVE as a transformative solution for augmenting GI diagnostics, with the potential to significantly improve early detection, streamline clinical workflows, and broaden access to advanced imaging especially in resource constrained settings. Full article

Background: Drug-drug interactions (DDIs) are a growing safety concern in dental care, particularly among patients with comorbidities and polypharmacy. However, real-world data (RWD) on the prevalence and severity of DDIs in dental settings remain scarce. Objectives: This study aimed to assess the frequency, severity, and clinical relevance of DDIs in dental patients and to identify age- and comorbidity-related risk patterns. Methods: This retrospective study analyzed a cohort of 105 dental patients, considering demographics, preexisting diseases, dental procedures, and prescribed medications. We examined drug-drug interactions (DDIs) employing the DrugBank Drug Interaction Checker, which yields DDI severity into major, moderate, or minor. Results: 45.7% of patients had preexisting diseases, with cardiovascular diseases most prevalent (19.0%). Higher prevalent dental diagnoses and procedures included apical lesions (47.6%) and tooth extractions (53.3%), suggesting frequent pharmacotherapy exposure. We identified 542 DDIs out of 1332 drug pairs and found 2.3% major, 25.0% moderate, and 13.4% minor, with 59.3% showing no interactions. Key high-risk DDIs included epinephrine with beta-blockers. Fifteen patients aged 31–60 years experienced the most major DDIs of 61.3%, patients ≥ 61 years faced 38.7%, and the 0–30 group had none, highlighting age-specific risks. The higher DDIs burden in the 31–60 age group may reflect better knowledge of the drugs they used and accurate reporting of them. Conclusions: Our retrospective study addresses the paucity of dental DDIs real-world data (RWD) studies, pleading for improved drug reconciliation, systematic screening, and age- and comorbidity-tailored strategies to enhance patient safety. Full article

The rising incidence of skin cancer, particularly melanoma, underscores the need for improved diagnostic tools in dermatology. Accurate imaging plays a crucial role in early detection, yet challenges related to color accuracy, image distortion, and resolution persist, leading to diagnostic errors. This study addresses these issues by evaluating color reproduction accuracy across various imaging devices and lighting conditions. Using a ColorChecker test chart, color deviations were measured through Euclidean distances (ΔE*, ΔC*), and nonlinear color differences (ΔE00, ΔC00), while the color rendering index (CRI) and television lighting consistency index (TLCI) were used to evaluate the influence of light sources on image accuracy. Significant color discrepancies were identified among mobile phones, DSLRs, and mirrorless cameras, with inadequate dermatoscope lighting systems contributing to further inaccuracies. We demonstrate practical applications, including manual camera adjustments, grayscale reference cards, post-processing techniques, and optimized lighting conditions, to improve color accuracy. This study provides applicable solutions for enhancing color accuracy in dermatological imaging, emphasizing the need for standardized calibration techniques and imaging protocols to improve diagnostic reliability, support AI-assisted skin cancer detection, and contribute to high-quality image databases for clinical and automated analysis. Full article

Traditional facial recognition is realized by facial recognition algorithms based on 2D or 3D digital images and has been well developed and has found wide applications in areas related to identification verification. In this work, we propose a novel live face detection (LFD) method by utilizing snapshot spectral imaging technology, which takes advantage of the distinctive reflected spectra from human faces. By employing a computational spectral reconstruction algorithm based on Tikhonov regularization, a rapid and precise spectral reconstruction with a fidelity of over 99% for the color checkers and various types of “face” samples has been achieved. The flat face areas were extracted exactly from the “face” images with Dlib face detection and Euclidean distance selection algorithms. A large quantity of spectra were rapidly reconstructed from the selected areas and compiled into an extensive database. The convolutional neural network model trained on this database demonstrates an excellent capability for predicting different types of “faces” with an accuracy exceeding 98%, and, according to a series of evaluations, the system’s detection time consistently remained under one second, much faster than other spectral imaging LFD methods. Moreover, a pixel-level liveness detection test system is developed and a LFD experiment shows good agreement with theoretical results, which demonstrates the potential of our method to be applied in other recognition fields. The superior performance and compatibility of our method provide an alternative solution for accurate, highly integrated video LFD applications. Full article

Background and Objective: The rapid development of artificial intelligence (AI) is impacting the medical sector by offering new possibilities for faster and more accurate diagnoses. Symptom checker apps show potential for supporting patient decision-making in this regard. Whether the AI-based decision-making of symptom checker apps shows better performance in diagnostic accuracy and urgency assessment compared to physicians remains unclear. Therefore, this study aimed to investigate the performance of existing symptom checker apps in orthopedic and traumatology cases compared to physicians in the field. Methods: 30 fictitious case vignettes of common conditions in trauma surgery and orthopedics were retrospectively examined by four orthopedic and traumatology specialists and four different symptom checker apps for diagnostic accuracy and the recommended urgency of measures. Based on the estimation provided by the doctors and the individual symptom checker apps, the percentage of correct diagnoses and appropriate assessments of treatment urgency was calculated in mean and standard deviation [SD] in [%]. Data were analyzed statistically for accuracy and correlation between the apps and physicians using a nonparametric Spearman’s correlation test (p < 0.05). Results: The physicians provided the correct diagnosis in 84.4 ± 18.4% of cases (range: 53.3 to 96.7%), and the symptom checker apps in 35.8 ± 1.0% of cases (range: 26.7 to 54.2%). The agreement in the accuracy of the diagnoses varied from low to high (Physicians vs. Physicians: Spearman’s ρ: 0.143 to 0.538; Physicians vs. Apps: Spearman’s ρ: 0.007 to 0.358) depending on the different physicians and apps. In relation to the whole population, the physicians correctly assessed the urgency level in 70.0 ± 4.7% (range: 66.7 to 73.3%) and the apps in 20.6 ± 5.6% (range: 10.8 to 37.5%) of cases. The agreement on the accuracy of estimating urgency levels was moderate to high between and within physicians and individual apps. Conclusions: AI-based symptom checker apps for diagnosis in orthopedics and traumatology do not yet provide a more accurate analysis regarding diagnosis and urgency evaluation than physicians. However, there is a broad variation in the accuracy between different digital tools. Altogether, this field of AI application shows excellent potential and should be further examined in future studies. Full article

In this study, a novel system was designed to enhance the efficiency of data acquisition in a portable and compact instrument dedicated to the spectral analysis of various surfaces, including plant leaves, and materials requiring characterization within the 410 to 915 nm range. The proposed system incorporates two nine-band detectors positioned on the top and bottom of the target surface, each equipped with a digitally controllable LED. The detectors are capable of measuring both reflection and transmission properties, depending on the LED configuration. Specifically, when the upper LED is activated, the lower detector operates without its LED, enabling the precise measurement of light transmitted through the sample. The process is reversed in subsequent iterations, facilitating an accurate assessment of reflection and transmission for each side of the target surface. For reliability, the error estimation utilizes a color checker, followed by a multi-layer perceptron (MLP) implementation integrated into the microcontroller unit (MCU) using TinyML technology for real-time refined data acquisition. The system is constructed with 3D-printed components and cost-effective electronics. It also supports USB or Bluetooth communication for data transmission. This innovative detector marks a significant advancement in spectral analysis, particularly for plant research, offering the potential for disease detection and nutritional deficiency assessment. Full article

Despite numerous attempts to correct forward head posture (FHP), definitive evidence-based screening and diagnostic methods remain elusive. This study proposes a preliminary diagnostic methodology for FHP, utilizing a noninvasive body angle measurement system as a screening test for FHP and incorporating radiological parameters for sagittal alignment. We enrolled 145 adolescents for FHP screening. The forward neck tilt angle (FNTA), defined as the angle between the vertical line and the line connecting the participant’s acromion and tragus, was measured using the POM-Checker (a noninvasive depth sensor-based body angle measurement system). A whole-spine standing lateral radiograph was obtained, and eight sagittal alignment parameters were measured. Statistical analyses of the association between the FNTA and eight sagittal alignment parameters were conducted. We used 70% of the participant data to establish a preliminary diagnostic model for FHP based on FNTA and each sagittal alignment parameter. The accuracy of the model was evaluated using the remaining 30% of the participant data. All radiological parameters of sagittal alignment showed weak statistical significance with respect to FNTA (best case: r = 0.16, p = 0.0500; cranial tilt). The proposed preliminary diagnostic model for FHP demonstrated 95.35% agreement. Notably, the model using FNTA without radiological parameters accurately identified (100%) participants who required radiographic scanning for FHP diagnosis. Owing to the weak statistical significance of the association between radiological parameters and external body angle, both factors must be considered for accurate FHP diagnosis. When a clear and severe angle variation is observed in an external body angle check, medical professionals should perform radiographic scanning for an accurate FHP diagnosis. In conclusion, FNTA assessment of FNTA through the proposed preliminary diagnostic model is a significant screening factor for selecting participants who must undergo radiographic scanning so that a diagnosis of FHP can be obtained. Full article

Silk fiber, recognized as a versatile bioresource, holds wide-ranging significance in agriculture and the textile industry. During the breeding of silkworms to yield new varieties, optical sensing techniques have been employed to distinguish the colors of silk cocoons, aiming to assess their improved suitability across diverse industries. Despite visual comparison retaining its primary role in differentiating colors among a range of silk fibers, the presence of uneven surface texture leads to color distortion and inconsistent color perception at varying viewing angles. As a result, these distorted and inconsistent visual assessments contribute to unnecessary fiber wastage within the textile industry. To solve these issues, we have devised an optical system employing an integrating sphere to deliver consistent and uniform illumination from all orientations. Utilizing a ColorChecker, we calibrated the RGB values of silk cocoon images taken within the integrating sphere setup. This process accurately extracts the authentic RGB values of the silk cocoons. Our study not only helps in unraveling the intricate color of silk cocoons but also presents a unique approach applicable to various specimens with uneven surface textures. Full article

Static analysis is a software testing technique that analyzes the code without executing it. It is widely used to detect vulnerabilities, errors, and other issues during software development. Many tools are available for static analysis of Java code, including SpotBugs. Methods that perform a security check must be declared private or final; otherwise, they can be compromised when a malicious subclass overrides the methods and omits the checks. In Java, security checks can be performed using the SecurityManager class. This paper addresses the aforementioned problem by building a new automated checker that raises an issue when this rule is violated. The checker is built under the SpotBugs static analysis tool. We evaluated our approach on both custom test cases and real-world software, and the results revealed that the checker successfully detected related bugs in both with optimal metrics values. Full article

There is a constant rise in the amount of data being copied or plagiarized because of the abundance of content and information freely available across the internet. Even though the systems try to check documents for the plagiarism, there have been trials to overcome these system checks. In this paper, the concept of character injection is used to trick plagiarism checker is presented. It is also showcased that how does the similarity check algorithms based on k-grams fail to detect the character injection. In order to eradicate the problem or error in similarity rates caused due to the problem of character injection, image processing based approach of multiple histogram projections are used. An application is developed to detect the character injection in the document and produce the accurate similarity rate. The results are shown with some test documents and the proposed method eliminates any kind of character injected in the document that tricks plagiarism. The proposed method has addressed the problem of character injection with image processing based changes in the existing methods of document-similarity check algorithms using k-grams. The proposed method can detect 100% injected character be it any alphabet of any language, The processing time for conversion, histogram projections and applying winnowing algorithm takes 1.2 sec per page on average when experimented on multiple types of document varying in size from 2 KB to 10 MB. Full article

Precise fit of a crown and accurate reproduction of the digital design are paramount for successful treatment outcomes and preservation of clinician and technician time. The study aimed to compare the internal fit, marginal adaptation, precision, and trueness of 3D-printed zirconia crowns compared to their milled counterpart. A total of 20 monolithic 3 mol% yttria stabilized-zirconia crowns (n = 10) were made using computer-assisted design (CAD) followed by additive (3D-printed) and subtractive (milled) manufacturing. Digital scanning of the master die with and without a fit checker followed by image superimposition, and analysis was performed to evaluate internal and marginal adaptation in four areas (occlusal, axial, marginal, and overall). ISO 12836:2015 standard was followed for precision and trueness evaluation. Statistical analysis was achieved using a t-test at α = 0.05. Internal fit and marginal adaptation revealed no significant difference between the two test groups (p > 0.05). The significant difference in trueness (p < 0.05) was found between the two groups in three areas (occlusal, axial, and internal). The best and worst trueness values were seen with 3D-printed crowns at occlusal (8.77 ± 0.89 µm) and Intaglio (23.90 ± 1.60 µm), respectively. The overall precision was statistically better (p < 0.05) in the 3D-printed crowns (9.59 ± 0.75 µm) than the milled (17.31 ± 3.39 µm). 3D-printed and milled zirconia crowns were comparable to each other in terms of internal fit and marginal adaptation. The trueness of the occlusal and axial surfaces of 3D-printed crowns was better, whereas the trueness of fitting surface of milled crowns was better. 3D-printed crowns provided a higher level of precision than milled crowns. Although the internal and marginal fit of both production techniques were comparable, 3D printing of zirconia produced more precise crowns. Full article

Automatic short answer scoring methods have been developed with various algorithms over the decades. In the Indonesian language, the string-based similarity is more commonly used. This method is difficult to accurately measure the similarity of two sentences with significantly different word lengths. This problem has been handled by the Geometric Average Normalized-Longest Common Subsequence (GAN-LCS) method by eliminating non-contributive words utilizing the Longest Common Subsequence method. However, students’ answers may vary not only in character length but also in the words they choose. For instance, some students tend only to write the abbreviations or acronyms of the phrase instead of writing meaningful words. As a result, it will reduce the intersection character between the reference answer and the student answer. Moreover, it can change the sentence structure even though it has the same meaning by definition. Therefore, this study aims to improve GAN-LCS method performance by incorporating the abbreviation checker to handle the abbreviations or acronyms found in the reference answer or student answer. The dataset used in this study consisted of 10 questions with 1 reference answer for each question and 585 student answers. The experimental results show an improvement in GAN-LCS performance that could run 34.43% faster. Meanwhile, the Root Mean Square Error (RSME) value became lower by 7.65% and the correlation value was increased by 8%. Looking forward, future studies may continue to investigate a method for automatically generate the abbreviations dictionary. Full article

Smart contracts are self-executing programs that run on the blockchain and make it possible for peers to enforce agreements without a third-party guarantee. The smart contract on Ethereum is the fundamental element of decentralized finance with billions of US dollars in value. Smart contracts cannot be changed after deployment and hence the code needs to be verified for potential vulnerabilities. However, smart contracts are far from being secure and attacks exploiting vulnerabilities that have led to losses valued in the millions. In this work, we explore the current state of smart contracts security, prevalent vulnerabilities, and security-analysis tool support, through reviewing the latest advancement and research published in the past five years. We study 13 vulnerabilities in Ethereum smart contracts and their countermeasures, and investigate nine security-analysis tools. Our findings indicate that a uniform set of smart contract vulnerability definitions does not exist in research work and bugs pertaining to the same mechanisms sometimes appear with different names. This inconsistency makes it difficult to identify, categorize, and analyze vulnerabilities. We explain some safeguarding approaches and best practices. However, as technology improves new vulnerabilities may emerge. Regarding tool support, SmartCheck, DefectChecker, contractWard, and sFuzz tools are better choices in terms of more coverage of vulnerabilities; however, tools such as NPChecker, MadMax, Osiris, and Sereum target some specific categories of vulnerabilities if required. While contractWard is relatively fast and more accurate, it can only detect pre-defined vulnerabilities. The NPChecker is slower, however, can find new vulnerability patterns. Full article