A Systematic Literature Review on Mining LTL Specifications by Samuele Germiniani, Daniele Nicoletti, Graziano Pravadelli

“…In the last decades, researchers have developed several methodologies and tools to automatically generate LTL specifications, creating an urgent need to organize and synthesize existing literature to ease entry into this field and guide future research efforts. …”
Get full text

An LLM-guided platform for multi-granular collection and management of data provenance by Luca Gregori, Pasquale Leonardo Lazzaro, Marialaura Lazzaro, Paolo Missier, Riccardo Torlone

“…Building on this study, we present an approach for transparently collecting data provenance based on the use of an LLM to: (i) automatically rewrite user-defined pipelines in a format suitable for this activity and (ii) store an accurate description of all the activities involved in the input pipelines for supporting the explanation of each of them. …”
Get full text

Neural Network-Based Design of a Buck Zero-Voltage-Switching Quasi-Resonant DC–DC Converter by Nikolay Hinov, Bogdan Gilev

“…In this paper, a design method using a neural network of a zero-voltage-switching buck quasi-resonant DC–DC converter is presented. The use of this innovative approach is justified because the design of quasi-resonant DC–DC converters is more complex compared to that of classical DC–DC converters. …”
Get full text

Automated identification of pathways from quantitative genetic interaction data by Alexis Battle, Martin C Jonikas, Peter Walter, Jonathan S Weissman, Daphne Koller

“…However, the analytical tools for fully exploiting such information lag behind the ability to collect these data. We present a novel Bayesian learning method that uses quantitative phenotypes of double knockout organisms to automatically reconstruct detailed pathway structures. …”
Get full text

Effusive pericarditis in the pathogenesis of cardiac arrhythmias in COVID-19: a case series by Z. N. Sukmarova, M. A. Saidova, Yu. V. Ovchinnicov

“…Two COVID-19 cases are presented, where sinus bradycardia and syncope, which are rare in COVID-19, were the leading ones after the infection. …”
Get full text

Design and Implementation of Local Threshold Segmentation Based on FPGA by Shangshang Gao, Yuanyuan Wang, Zhaofeng Chen, Feng Zhou, Rugang Wang, Naihong Guo

“…However, the traditional image segmentation technology cannot solve the problems of reflection and uneven illumination. This paper presents a local threshold segmentation method based on FPGA, which can automatically select the optimal threshold according to different gray levels of images. …”
Get full text

A Multidimensional Particle Swarm Optimization-Based Algorithm for Brain MRI Tumor Segmentation by Zsombor Boga, Csanád Sándor, Péter Kovács

“…Particle Swarm Optimization (PSO) has been extensively applied to optimization tasks in various domains, including image segmentation. In this work, we present a clustering-based segmentation algorithm that employs a multidimensional variant of PSO. …”
Get full text

Development of an Automated Estimating Electronic Weighing Scale by Olalekan OGUNBIYI, Oloruntoba C. MOHAMMED, Lambe Mutalub ADESINA

“… Analog weighing scales suffer from a lack of precision while reading the output and they can easily be manipulated by any technically biased individual. This paper presents the development of an automated estimating electronic weighing indicator. …”
Get full text

Reshaping Load-Dependent Mesh Excitation Waveforms of Spur Gears—An Analytical Framework on Tip Relief Modeling and Design by Xingyuan Zheng, Weidong Zhu, Gang Li, Yumei Hu

“…Parametric studies and application examples further demonstrate the acceptable feasibility and effectiveness of the present method.…”
Get full text

Single-Frame Vignetting Correction for Post-Stitched-Tile Imaging Using VISTAmap by Anthony A. Fung, Ashley H. Fung, Zhi Li, Lingyan Shi

“…VISTAmap automatically detects the tile grid configuration by analyzing intensity frequency variations and then applies sequential morphological operations to homogenize the image. …”
Get full text

Wiki-Quantities and Wiki-Measurements: Datasets of quantities and their measurement context from Wikipedia by Jan Göpfert, Patrick Kuckertz, Jann M. Weinand, Detlef Stolten

“…Abstract To cope with the large number of publications, more and more researchers are automatically extracting data of interest using natural language processing methods based on supervised learning. …”
Get full text

Space Precession Target Classification Based on Radar High-Resolution Range Profiles by Yizhe Wang, Cunqian Feng, Yongshun Zhang, Sisan He

“…DCNN combines the feature extractor and the classifier itself to automatically mine the high-level signatures of HRRPs through a training process. …”
Get full text

A nonmonotone trust region technique with active-set and interior-point methods to solve nonlinearly constrained optimization problems by Bothina El-Sobky, Yousria Abo-Elnaga, Gehan Ashry

“…This study is devoted to incorporating a nonmonotone strategy with an automatically adjusted trust-region radius to propose a more efficient hybrid of trust-region approaches for constrained optimization problems. …”
Get full text

Adaptive Flutter Suppression for a Fighter Wing via Recurrent Neural Networks over a Wide Transonic Range by Haojie Liu, Yonghui Zhao, Haiyan Hu

“…The paper presents a digital adaptive controller of recurrent neural networks for the active flutter suppression of a wing structure over a wide transonic range. …”
Get full text

Automated Fovea Detection in Spectral Domain Optical Coherence Tomography Scans of Exudative Macular Disease by Jing Wu, Sebastian M. Waldstein, Alessio Montuoro, Bianca S. Gerendas, Georg Langs, Ursula Schmidt-Erfurth

“…However, disease can cause severe obscuring or deformation of the fovea, thus presenting a major challenge in automated detection. …”
Get full text

Automated Road Extraction from Satellite Imagery Integrating Dense Depthwise Dilated Separable Spatial Pyramid Pooling with DeepLabV3+ by Arpan Mahara, Md Rezaul Karim Khan, Liangdong Deng, Naphtali Rishe, Wenjia Wang, Seyed Masoud Sadjadi

“…Road extraction is a sub-domain of remote sensing applications; it is a subject of extensive and ongoing research. The procedure of automatically extracting roads from satellite imagery encounters significant challenges due to the multi-scale and diverse structures of roads; improvement in this field is needed. …”
Get full text

ESeismic-GAN: A Generative Model for Seismic Events From Cotopaxi Volcano by Felipe Grijalva, Washington Ramos, Noel Perez, Diego Benitez, Roman Lara, Mario Ruiz

“…Supervised machine learning models might be considered to automatize the analysis of data acquired by <italic>in situ</italic> monitoring stations. …”
Get full text

Design of a vehicular emergency intercom system using electronic circuits and sensors by Holger Santillán, Carolina López, Kiara García, David Cárdenas

“… This study presents the design of a vehicular emergency intercom system aimed at improving motorcyclist safety through the integration of electronic circuits and sensors. …”
Get full text

Application of Relational Databases to the Acceleration of Ray Tracing in High Frequency Asymptotic Techniques by David Cabornero, Lorena Lozano, Ivan Gonzalez, Alvaro Somolinos, Felipe Catedra

“…A new ray-tracing acceleration technique is presented for electromagnetic simulation problems using the Uniform Theory of Diffraction and meshes of planar facets. …”
Get full text

Research on the Computed Tomography Pebble Flow Detecting System for HTR-PM by Xin Wan, Ximing Liu, Jichen Miao, Peng Cong, Yuai Zhang, Zhifang Wu

“…The detecting principle and design parameters of the system were demonstrated by a verification experiment on an existing CT system in this paper. Algorithms to automatically locate the three-dimensional coordinates of tracer pebbles and to rebuild the trajectory of each tracer pebble were presented and verified. …”
Get full text