GIRH-Unet: Improved Residual Tobacco Segmentation Algorithm Based on GhostNetV3-Unet by Jianhua Ye, Yunda Zhang, Pan Li, Ze Guo

“…Additionally, on the bird and light-and-shadow datasets, the model achieves interaction rates of 92.03% and 92.86% and checking rates of 95.22% and 96.22%, respectively. …”
Get full text

Analysis of the Dynamic Characteristic of Forklift Gearbox based on ADAMS by Wei Liangbao, Han Bin, Xu Liming, Zhao Shijia

“…The results of the research have certain guiding significance for the checking and optimization,vibration characteristics and stability of the forklift gearbox transmission system.…”
Get full text

Algorithms for Synthesis of Technological Operations for Manufacturing Samples of Structurally Complex Products by A. V. Petukhov

“…When solving the problem of synthesis of technological operations in the structure of algorithms of the automated design system of technological processes for manufacturing prototypes of structurally complex products, the following algorithms are used: solving the direct choice problem; formation of a set of possible alternatives; checking possible alternatives for admissibility; formation of a set of acceptable alternatives; determining the set of desired typical technological solutions and optimizing the choice of solutions. …”
Get full text

Design and implementation of a 0.8~18 GHz ultra-wideband receiver module by Wang Yi

“…To realize self-calibration function，self-calibration synthesizer generates a signal，and then the ADC collects the voltage of DLVA，finally the gain and the consistence of two receiving channel are optimized based on adjusting the digital attenuators. …”
Get full text

Chronic kidney disease for the primary care clinician by M. R. Davids, M. Y. Chothia

“…These patients are at high risk of cardiovascular disease and close attention should be paid to optimally managing their risk factors.…”
Get full text

On the Minimization Problem for Sequential Programs by Vladimir A. Zakharov, Shynar R. Zhailauova

“…This relationship implies that the equivalence checking problem and the minimization problem for these transducers are also decidable. …”
Get full text

VP_TT: A value propagation based equivalence checker for testability transformations by Ramanuj Chouksey, Sachin Kumar Maddheshiya, Chandan Karfa

“…The value propagation based equivalence checking (VP) method is an efficient translation validation approach proposed to verify the correctness of various compiler optimization applied during scheduling in high‐level synthesis. …”
Get full text

Deriving Homing Sequences for Finite State Machines with Timed Guards by Aleksandr Sergeevich Tvardovskii, Nina Vladimirovna Yevtushenko

“…When solving state identification problems for timed FSMs, the existing FSM abstraction is properly optimized.…”
Get full text

Statistical mechanics of dynamical system identification by Andrei A. Klishin, Joseph Bakarji, J. Nathan Kutz, Krithika Manohar

“…We thus provide a method for closed-loop inference, estimating the noise in a given model and checking if the model is tolerant to that noise amount. …”
Get full text

Co-design of a Mobile Stroke Unit pathway highlights uncertainties and trade-offs for viable system-wide implementation in the English and Welsh NHS by L. Moseley, P. McMeekin, M. Allen, G. A. Ford, M. James, A. Laws, S. McCarthy, G. McClelland, L. J. Park, K. Pearn, D. Phillips, C. Price, L. Shaw, P. White, D. Wilson, J. Scott

“…Data were analysed as an ongoing process, with participants checking interpretations after each round, and then further analysed deductively to identify key uncertainties following all the rounds. …”
Get full text

Peran Teknologi ChatGPT dalam Optimalisasi Layanan Referensi bagi Mahasiswa di Perpustakaan Universitas Prima Indonesia by Nur Wahyuni, Nabila Yasmin

“…Thematic analysis will be used to analyze the collected data, ensuring data validity through source triangulation and member checking. This research is expected to provide insights into the potential of ChatGPT in enhancing reference services for students at Prima Indonesia University and offer recommendations for libraries to leverage the latest technology in optimizing their services. …”
Get full text

Model Design of Multi-sensor Train Speed Measurement and Positioning System Based on SCADE by LIANG Bo, DAI Xichang

“…Comprising photoelectric sensors, Doppler radars, accelerometers and balises, this system model can effectively address the problem of significant positioning errors due to sliding and slipping, based on the optimization and fusion of information from multiple sources, to ensure high levels of accuracy and reliability. …”
Get full text

Analysis of public perceptions on the use of artificial intelligence in genomic medicine by Jack E. Harrison, Fiona Lynch, Zornitza Stark, Danya F. Vears

“…Many participants wanted checking mechanisms for when results were generated using AI. …”
Get full text

Research on Characteristics and Influencing Factors of High Temperature Disaster Risk in Wuhan Based on Local Climate Zone by Shujing GUO, Li ZHANG

“…Furthermore, highly correlated LCZ types are screened out under the optimal size, the multicollinearity of all LCZ landscape pattern indices is examined and those with multicollinearity are excluded. …”
Get full text

A comprehensive review of flood-prone area zonation using ensemble and hybrid machine learning models with a framework proposal for modelling by Gen Long, Sarintip Tantanee, Korakod Nusit, Pitikhate Sooraksa

“…The framework comprises data preparation, checking for multicollinearity, factor selection and weighting, optional factor optimization, k-fold cross validation where appropriate, ensemble or hybrid modeling, and model evaluation. …”
Get full text

The V4: a Decade after the EU Entry by Eduard Nežinský, Elena Fifeková

“…The paper makes use of parametric and non-parametric approaches with a view to cross-checking the results obtained on the technological change within the EU at large and across the V4 countries in particular. …”
Get full text

IMPLEMENTASI APLIKASI TAPROSE TEMANKU HUMAS KOMINFO KABUPATEN TIBAN by Early Azza Bening Brillianti, Pratiwi Wahyu Widiarti

“…Data collection techniques using interviews. Then checking the validity of the data is done by triangulating the source. …”
Get full text

Mechanism for data recovery as a result of data corruption, infection and/or unauthorized modification by L. V. Cherkesova, V. A. Savelyev, E. A. Revyakina, A. R. Polulyakh, M. A. Sementsov

“…The possible functionality of the software tool and organized integrity checking mechanisms by using hash tables and restoring a file from a backup copy are presented. …”
Get full text

Effects of progressive gaming sessions on cognitive awareness among Saudi education university students by Sarah M. Alajlan, Wissal Boughattas, Obaidalah H. Aljohani, Hela Znazen

Get full text

Adaptive Top-K Algorithm for Medical Conversational Diagnostic Model by Yiqing Yang, Guoyin Zhang, Yanxia Wu, Zhixiang Zhao, Yan Fu

“…In recent years, conversational diagnostic systems have been used to predict diseases through symptom checking. Early systems predicted the likelihood of a single disease by minimizing the number of questions asked. …”
Get full text