检索结果-内蒙古大学图书馆

EAMR-Net: A multiscale effective spatial and cross-channel attention network for retinal vessel segmentation

Mathematical Biosciences and engineering 2024年第3期21卷 4742-4761页

作者： Prethija, G. Katiravan, Jeevaa School of Computer Science and Engineering Vellore Institute of Technology Chennai600127 India Department of Information Technology Velammal Engineering College Chennai600066 India

Delineation of retinal vessels in fundus images is essential for detecting a range of eye disorders. An automated technique for vessel segmentation can assist clinicians and enhance the efficiency of the diagnostic process. Traditional methods fail to extract multiscale information, discard unnecessary information, and delineate thin vessels. In this paper, a novel residual U-Net architecture that incorporates multi-scale feature learning and effective attention is proposed to delineate the retinal vessels precisely. Since drop block regularization performs better than drop out in preventing overfitting, drop block was used in this study. A multi-scale feature learning module was added instead of a skip connection to learn multi-scale features. A novel effective attention block was proposed and integrated with the decoder block to obtain precise spatial and channel information. Experimental findings indicated that the proposed model exhibited outstanding performance in retinal vessel delineation. The sensitivities achieved for DRIVE, STARE, and CHASE_DB datasets were 0.8293, 0.8151 and 0.8084, respectively. © 2024the Author(s).

关键词： Drops

来源：评论

学校读者我要写书评

暂无评论

A novel ensemble ARIMA-LSTM approach for evaluating COVID-19 cases and future outbreak preparedness

Health Care Science

引用

Health Care science 2024年第6期3卷 409-425页

作者： Somit Jain Shobhit Agrawal Eshaan Mohapatra Kathiravan Srinivasan School of Computer Science and Engineering Vellore Institute of TechnologyVelloreIndia

Background:The global impact of the highly contagious COVID-19 virus has created unprecedented challenges,significantly impacting public health and economies *** research article conducts a time series analysis of COVID-19 data across various countries,including India,Brazil,Russia,and the United States,with a particular emphasis on total confirmed ***:The proposed approach combines auto-regressive integrated moving average(ARIMA)'s ability to capture linear trends and seasonality with long short-term memory(LSTM)networks,which are designed to learn complex nonlinear dependencies in the *** hybrid approach surpasses both individual models and existing ARIMA-artificial neural network(ANN)hybrids,which often struggle with highly nonlinear time series like COVID-19 *** integrating ARIMA and LSTM,the model aims to achieve superior forecasting accuracy compared to baseline models,including ARIMA,Gated Recurrent Unit(GRU),LSTM,and ***:The hybrid ARIMA-LSTM model outperformed the benchmark models,achieving a mean absolute percentage error(MAPE)score of 2.4%.Among the benchmark models,GRU performed the best with a MAPE score of 2.9%,followed by LSTM with a score of 3.6%.Conclusions:The proposed ARIMA-LSTM hybrid model outperforms ARIMA,GRU,LSTM,Prophet,and the ARIMA-ANN hybrid model when evaluating using metrics like MAPE,symmetric mean absolute percentage error,and median absolute percentage error across all countries *** findings have the potential to significantly improve preparedness and response efforts by public health authorities,allowing for more efficient resource allocation and targeted interventions.

关键词： COVID-19 time series ARIMA LSTM GRU prophet ANN proposed model

来源：评论

学校读者我要写书评

暂无评论

A comparative assessment of OMP and MATLAB for parallel computation

引用

International Journal of Hybrid Intelligent Systems 2024年第1期20卷 57-66页

作者： Dash, Yajnaseni Abraham, Ajith School of Computer Science Engineering and Technology (SCSET) Bennett University India

The prime goal of parallel computing is the simultaneous parallel execution of several program instructions. Consequently, to accomplish this, the program should be divided into independent sets so that each processor can execute its program part concurrently with the other processors. This study compares OMP and MATLAB, two important parallel computing simulation tools, through the use of a dense matrix multiplication technique. The results showed that OMP outperformed the MATLAB parallel environment by over 8 times in sequential execution and 6 times in parallel execution. From this proposed method, it was also observed that OMP with an even slower processor performs much better than MATLAB with a higher processor. Thus, the present analysis indicates that OMP is a superior environment for parallel computing and should be preferred over parallel MATLAB. © 2024 - IOS Press. All rights reserved.

关键词： MATLAB matrix multiplication OMP Parallel computing

来源：评论

学校读者我要写书评

暂无评论

Pupillometry Analysis of Rapid Serial Visual Presentation at Five Presentation Rates

引用

Tsinghua science and technology 2024年第2期29卷 543-552页

作者： Xi Luo Yanfei Lin Rongxiao Guo Xirui Zhao Shangen Zhang Xiaorong Gao School of Integrated Circuits and Electronics Beijing Institute of TechnologyBeijing 100081China School of Computer and Communication Engineering University of Science and Technology BeijingBeijing 100083China School of Medicine Tsinghua UniversityBeijing 100084China

In this study,the effect of presentation rates on pupil dilation is investigated for target recognition in the Rapid Serial Visual Presentation(RSVP)*** this experiment,the RSVP paradigm with five different presentation rates,including 50,80,100,150,and 200 ms,is *** pupillometry data of 15 subjects are collected and *** pupillometry results reveal that the peak and average amplitudes for pupil size and velocity at the 80-ms presentation rate are considerably higher than those at other presentation *** average amplitude of pupil acceleration at the 80-ms presentation rate is significantly higher than those at the other presentation *** latencies under 50-and 80-ms presentation rates are considerably lower than those of 100-,150-,and 200-ms presentation ***,no considerable differences are observed in the peak,average amplitude,and latency of pupil size,pupil velocity,and acceleration under 100-,150-,and 200-ms presentation *** results reveal that with the increase in the presentation rate,pupil dilation first increases,then decreases,and later reaches *** 80-ms presentation rate results in the largest point of pupil *** correlation is observed between pupil dilation and recognition accuracy under the five presentation rates.

关键词： pupil dilation presentation rate Rapid Serial Visual Presentation(RSVP)

来源：评论

学校读者我要写书评

暂无评论

Formalization of the Telegrapher’s Equations using Higher-Order-Logic Theorem Proving

Journal of Applied Logics

引用

Journal of Applied Logics 2024年第2期11卷 197-236页

作者： Deniz, Elif Rashid, Adnan Hasan, Osman Tahar, Sofiène Department of Electrical and Computer Engineering Concordia University MontrealQC Canada School of Electrical Engineering and Computer Science National University of Sciences and Technology Islamabad Pakistan

The telegrapher’s equations constitute a set of linear partial differential equations that establish a mathematical correspondence between the electrical current and voltage within transmission lines, taking into account factors, such as distance and time. These equations find wide applications in the design and analysis of various systems, including integrated circuits and antennas. This paper proposes the utilization of higher-order-logic theorem proving for a formal analysis of the telegrapher’s equations, also referred to as the transmission line equations. Specifically, we present a formal model of the telegrapher’s equations in both time and phasor domains. Subsequently, we employ the HOL Light theorem prover to formally verify the solutions of the telegrapher’s equations in the phasor domain. Furthermore, we established a connection between phasor and time-domain functions to formally verify the general solutions for the time-domain partial differential equations for the current and voltage in an electric transmission line. To demonstrate the practical effectiveness of our proposed formalization, we conduct a formal analysis of a terminated transmission line and its special cases, i.e., short-and open-circuited transmission lines commonly used in antenna design, by formally verifying the load impedance and the voltage reflection coefficient. © 2024, College Publications. All rights reserved.

关键词： Electric lines

来源：评论

学校读者我要写书评

暂无评论

Data-driven output regulation control for constrained linear systems

引用

science China(Information sciences) 2025年第3期68卷 338-353页

作者： Chaoyu XIA Yi DONG Chaoli WANG Shengyuan XU Shanghai Research Institute for Intelligent Autonomous Systems Tongji University College of Electronic and Information Engineering Shanghai Research Institute for Intelligent Autonomous SystemsTongji University Department of Control Science and Engineering School of Optical-Electrical and Computer EngineeringUniversity of Shanghai for Science and Technology Department of Automation Nanjing University of Science and Technology

This study introduces a data-driven approach for state and output feedback control addressing the constrained output regulation problem in unknown linear discrete-time systems. Our method ensures effective tracking performance while satisfying the state and input constraints, even when system matrices are not available. We first establish a sufficient condition necessary for the existence of a solution pair to the regulator equation and propose a data-based approach to obtain the feedforward and feedback control gains for state feedback control using linear programming. Furthermore, we design a refined Luenberger observer to accurately estimate the system state, while keeping the estimation error within a predefined set. By combining output regulation theory, we develop an output feedback control strategy. The stability of the closed-loop system is rigorously proved to be asymptotically stable by further leveraging the concept of λ-contractive sets.

关键词： output regulation constrained system data-driven.

来源：评论

学校读者我要写书评

暂无评论

CADFormer: Fine-Grained Cross-modal Alignment and Decoding Transformer for Referring Remote Sensing Image Segmentation

引用

IEEE Journal of Selected Topics in Applied Earth Observations and Remote Sensing 2025年 18卷 14557-14569页

作者： Liu, Maofu Jiang, Xin Zhang, Xiaokang Wuhan University of Science and Technology School of Computer Science and Technology Wuhan 430065 China Wuhan University of Science and Technology School of Information Science and Engineering Wuhan 430081 China

Referring Remote Sensing Image Segmentation (RRSIS) is a challenging task, aiming to segment specific target objects in remote sensing images based on a given language expression. Existing RRSIS methods typically employ coarse-grained unidirectional alignment approaches to obtain multimodal features, and they often overlook the critical role of language features as contextual information during the decoding process. Consequently, these methods exhibit weak object-level correspondence between visual and language features, leading to incomplete or erroneous predicted masks, especially when handling complex expressions and intricate remote sensing image scenes. To address these challenges, we propose a fine-grained cross-modal alignment and decoding Transformer, CADFormer, for RRSIS. Specifically, we design a semantic mutual guidance alignment module (SMGAM) to achieve both vision-to-language and language-to-vision alignment, enabling comprehensive integration of visual and textual features for fine-grained cross-modal alignment. Furthermore, a textual-enhanced cross-modal decoder (TCMD) is introduced to incorporate language features during decoding, using refined textual information as context to enhance the relationship between cross-modal features. To thoroughly evaluate the performance of CADFormer, especially for inconspicuous targets in complex scenes, we constructed a new RRSIS dataset, called RRSIS-HR, which includes larger high-resolution remote sensing image patches and semantically richer language expressions. Extensive experiments on the RRSIS-HR dataset and the popular RRSIS-D dataset demonstrate the effectiveness and superiority of CADFormer. © 2008-2012 IEEE.

关键词： cross-modal alignment Referring image segmentation remote sensing

来源：评论

学校读者我要写书评

暂无评论

A Voice Assistive Mobile Application Tool to Detect Cardiovascular Disease Using Machine Learning Approach

引用

Biomedical Materials and Devices 2024年第2期2卷 1246-1257页

作者： Uddin, Khandaker Mohammad Mohi Dey, Samrat Kumar Babu, Hafiz Md. Hasan Department of Computer Science and Engineering Southeast University School of Science and Technology Bangladesh Open University Department of Computer Science and Engineering University of Dhaka

Many people all around the world suffer from heart disease, which is regarded as a severe illness. In healthcare, especially cardiology, it is crucial to accurately and quickly diagnose cardiac problems. In this research, we proposed an accurate and efficient mobile application-based system for diagnosing cardiac disease based on machine learning approaches. The developed mobile application is voice assistive, which makes the proposed application more user-friendly. Numerous machine learning methods have been examined in this study to predict and diagnose cardiovascular disease (CVD). A detailed comparative study was also drawn using eighteen (18) classification algorithms such as Support Vector Machines, Logistic Regression, Linear SVC, K-Nearest Neighbors, Naive Bayes, Stochastic Gradient Descent, Gradient Boosting, Ridge, Bagging, Random Forest, Decision Tree, XGB, LGBM, Extra Trees Perceptron, and Voting Classifier (hard or soft voting). Sixty-eight thousand nine hundred seventy-five (68,975) samples from various patients were used to test the performance of each approach. According to the study, Random Forest and Decision Trees have the best accuracy levels at 99.9%. However, the Support Vector Machine classifier had the lowest performance, barely achieving 60% accuracy. © The Author(s), under exclusive licence to Springer science+Business Media, LLC 2024.

关键词： Cardiovascular heart disease Detection Healthcare informatics Machine learning Mobile application

来源：评论

学校读者我要写书评

暂无评论

JPEG Reversible Data Hiding via Block Sorting Optimization and Dynamic Iterative Histogram Modification

引用

IEEE Transactions on Multimedia 2025年 27卷 3729-3743页

作者： Li, Fengyong Wang, Qiankuan Cheng, Hang Zhang, Xinpeng Qin, Chuan Shanghai University of Electric Power College of Computer Science and Technology Shanghai201306 China Fuzhou University School of Mathematics and Statistics Fujian Fuzhou350108 China Fudan University School of Computer Science Shanghai200433 China University of Shanghai for Science and Technology School of Optical-Electrical and Computer Engineering Shanghai200093 China

JPEG reversible data hiding (RDH) refers to covert communication technology to accurately extract secret data while also perfectly recovering the original JPEG image. With the development of cloud services, a large number of private JPEG images can be efficiently managed in cloud platforms by embedding user ID or authentication labels. Nevertheless, data embedding operations may inadvertently disrupt the encoding sequence of the original JPEG image, resulting in severe distortion of the host image when it is re-compressed to JPEG format. To address this problem, this paper proposes a new JPEG RDH scheme based on block sorting optimization and dynamic iterative histogram modification. We firstly design a block ordering optimization strategy by combining the number of zero coefficients and the quantization table values of non-zero coefficients in a DCT block. Subsequently, a dynamic iterative histogram modification scheme is proposed by considering the local features and embedding capability of histograms generated from different texture images. According to the given payloads, we introduce different parameters to control the iterations of two-dimensional histogram and then adaptively generate the optimal histogram modification mapping, which can realize low JPEG file size increments by guaranteeing most of the AC coefficients unchanged as much as possible. Numerous experiments have shown that our scheme can achieve an effective balance among embedding capacity, visual quality, file size increment, computational complexity, and outperforms the state-of-the-arts in terms of the above metrics. © 1999-2012 IEEE.

关键词： Embeddings

来源：评论

学校读者我要写书评

暂无评论

Verifying or Clarifying? User Preferences for Mobile Crowdsourcing in Response to Seemingly Inconsistent Sensor Data

引用

Proceedings of the ACM on Human-computer Interaction 2025年第2期9卷 1-35页

作者： Chiang, You-Hsuan Hsu, Je-Wei Chiu, Hsin-Lun Liu, Chung-En Huang, Tzu-Yu Chang, Yung-Ju KTH Royal Institute of Technology School of Electrical Engineering and Computer Science Stockholm Sweden National Yang Ming Chiao Tung University Department of Computer Science Hsinchu Taiwan

In the realm of smart cities, sensor technologies play a pivotal role in monitoring urban facilities and environments, providing real-time, site-specific information to residents. However, discrepancies often arise in sensor data due to variances in granularity, abstraction, and scope, which can foster uncertainty regarding the actual conditions on-site. This study explores whether, under these circumstances, individuals prefer on-site mobile crowds for verification purposes or for the provision of supplementary contextual information to aid in decision-making. Conducting an online study with 100 participants from Taiwan, who engaged in a think-aloud process while utilizing smart city sensor data for decision-making, our findings indicate that participants more often (54%) preferred seeking verification over supplementary contextual information (46%). Both pre-existing expectations and the sense of task urgency affected participants’ choices between verification and supplementary contextual information. However, we found that the driving factor for seeking supplementary contextual information was not sensor data deviating from pre-existing expectations, but rather the absence of such pre-existing expectations. Our qualitative data also uncovered five primary motivations and four factors influencing the choice of crowdsourced information. Overall, these findings contribute to our understanding of how people leverage on-site mobile crowds to supplement sensor data in the context of smart cities. © 2025 Copyright held by the owner/author(s). Publication rights licensed to ACM.

关键词： Crowdsourcing

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：