检索结果-南通市图书馆

Flexible,efficient,and accurate tests for epidemics

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

science China Mathematics 2024年第8期67卷 1881-1898页

作者： Linjiajie Fang Bing-Yi Jing Shen Ling Qiyue Wang Qing Yang Data science and Analytics Thrust The Hong Kong University of Science and TechnologyHong KongChina department of Statistics and Data science Southern University of Science and TechnologyShenzhen 518055China department of Mathematics and Statistics Dalhousie UniversityHalifaxNS B 3H 4R 2Canada department of Mathematics The Hong Kong University of Science and TechnologyHong KongChina

Group testing involves discovering a small subset of distinguished subjects from a large population while efficiently reducing the total number of *** has been widely used for industrial testing,information technology,and biology,especially epidemic ***,in reality,are noisy for the presence of false *** tests are accurate but time-consuming,while others are cheaper but less *** which test to use is constrained by various considerations,such as availability,cost,accuracy,and *** this paper,we propose flexible,efficient,and accurate tests(FEATs).FEATs are based on group testing with simple but careful designs by incorporating ideas such as close contact cliques and repeated *** could dramatically improve the efficiency or accuracy of existing *** example,for accurate but slow tests,the FEAT can improve efficiency multiple times without compromising *** the other hand,for fast but inaccurate tests,the FEAT can sharply reduce the false-negative rate(FNR)and significantly increase *** justifications are *** point out some scenarios where the FEAT can be effectively employed.

关键词： epidemiology control blood testing testing efficiency testing accuracy

Numerical Treatments for Crossover Cancer Model of Hybrid Variable-Order Fractional Derivatives

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Computer Modeling in Engineering & sciences 2024年第8期140卷 1619-1645页

作者： Nasser Sweilam Seham Al-Mekhlafi Aya Ahmed Ahoud Alsheri Emad Abo-Eldahab Mathematics department Faculty of ScienceCairo UniversityGiza12613Egypt Mathematics department Faculty of EducationSana’a UniversitySana’a1247Yemen Mathematics department Faculty of ScienceHelwan UniversityCairo11795Egypt department of Mathematics College of ScienceUniversity of BishaAl Namas67398-5644Saudi Arabia

In this paper,two crossover hybrid variable-order derivatives of the cancer model are ***ünwald-Letnikov approximation is used to approximate the hybrid fractional and variable-order fractional *** existence,uniqueness,and stability of the proposed model are *** Bashfourth’s fifth-step method with a hybrid variable-order fractional operator is developed to study the proposed *** studies with generalized fifth-order Runge-Kutta method are *** examples and comparative studies to verify the applicability of the used methods and to demonstrate the simplicity of these approximations are *** have showcased the efficiency of the proposed method and garnered robust empirical support for our theoretical findings.

关键词： Cancer diseases hybrid variable-order fractional derivatives adams bashfourth fifth step generalized fifth order Runge-Kutta method

Refinement modeling and verification of secure operating systems for communication in digital twins

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Digital Communications and Networks 2024年第2期10卷 304-314页

作者： Zhenjiang Qian Gaofei Sun Xiaoshuang Xing Gaurav Dhiman School of Computer science and Engineering Changshu Institute of TechnologySuzhou215500China University Centre for Research and Development Department of Computer Science and EngineeringChandigarh UniversityMohali140413India department of Computer science and Engineering Graphic Era Deemed to be UniversityDehradun248002India

In traditional digital twin communication system testing,we can apply test cases as completely as possible in order to ensure the correctness of the system implementation,and even then,there is no guarantee that the digital twin communication system implementation is completely *** verification is currently recognized as a method to ensure the correctness of software system for communication in digital twins because it uses rigorous mathematical methods to verify the correctness of systems for communication in digital twins and can effectively help system designers determine whether the system is designed and implemented *** this paper,we use the interactive theorem proving tool Isabelle/HOL to construct the formal model of the X86 architecture,and to model the related assembly *** verification result shows that the system states obtained after the operations of relevant assembly instructions is consistent with the expected states,indicating that the system meets the design expectations.

关键词： Theorem proving Isabelle/HOL Formal verification System modeling Correctness verification

Falcon Optimization Algorithm-Based Energy Efficient Communication Protocol for Cluster-Based Vehicular Networks

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Computers, Materials & Continua 2024年第3期78卷 4243-4262页

作者： Youseef Alotaibi B.Rajasekar R.Jayalakshmi Surendran Rajendran department of Software Engineering College of ComputingUmm Al-Qura UniversityMakkah21955Saudi Arabia department of Electronics and Communication Engineering Sathyabama Institute of Science and TechnologyChennai600119India department of Computer science and Engineering Panimalar Engineering CollegeChennai600123India department of Computer science and Engineering Saveetha School of EngineeringSaveetha Institute of Medical and Technical ScienceChennai602105India

Rapid development in Information Technology(IT)has allowed several novel application regions like large outdoor vehicular networks for Vehicle-to-Vehicle(V2V)*** networks give a safe and more effective driving experience by presenting time-sensitive and location-aware *** communication occurs directly between V2V and Base Station(BS)units such as the Road Side Unit(RSU),named as a Vehicle to Infrastructure(V2I).However,the frequent topology alterations in VANETs generate several problems with data transmission as the vehicle velocity differs with ***,the scheme of an effectual routing protocol for reliable and stable communications is *** research demonstrates that clustering is an intelligent method for effectual routing in a mobile ***,this article presents a Falcon Optimization Algorithm-based Energy Efficient Communication Protocol for Cluster-based Routing(FOA-EECPCR)technique in *** FOA-EECPCR technique intends to group the vehicles and determine the shortest route in the *** accomplish this,the FOA-EECPCR technique initially clusters the vehicles using FOA with fitness functions comprising energy,distance,and trust *** the routing process,the Sparrow Search Algorithm(SSA)is derived with a fitness function that encompasses two variables,namely,energy and distance.A series of experiments have been conducted to exhibit the enhanced performance of the FOA-EECPCR *** experimental outcomes demonstrate the enhanced performance of the FOA-EECPCR approach over other current methods.

关键词： Vehicular networks communication protocol clustering falcon optimization algorithm routing

Topological magnetoelectric response in ferromagnetic axion insulators

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

National science Review 2024年第2期11卷 8-14页

作者： Yuhao Wan Jiayu Li Qihang Liu department of Physics and Shenzhen Institute for Quantum science and Engineering(SIQSE) Southern University of Science and Technology Shenzhen Key Laboratory of Advanced Quantum Functional Materials and Devices Southern University of Science and Technology Guangdong Provincial Key Laboratory for Computational science and Material Design Southern University of Science and Technology

The topological magnetoelectric effect （TME） is a hallmark response of the topological field theory,which provides a paradigm shift in the study of emergent topological ***,its direct observation is yet to be realized due to the demanding magnetic configuration required to gap all surface ***,we theoretically propose that axion insulators with a simple ferromagnetic configuration,such as the MnBi2Te4/（Bi2Te3）nfamily,provide an ideal playground to realize the *** the designed triangular prism geometry,all the surface states are magnetically *** a vertical electric field,the surface Hall currents give rise to a nearly half-quantized orbital moment,accompanied by a gapless chiral hinge mode circulating in ***,the orbital magnetization from the two topological origins can be easily distinguished by reversing the electric *** work paves the way for direct observation of the TME in realistic axion-insulator materials.

关键词： topological magnetoelectric effect axion insulator magnetic topological materials

MoBShield:A Novel XML Approach for Securing Mobile Banking

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Computers, Materials & Continua 2024年第5期79卷 2123-2149页

作者： Saeed Seraj Ali Safaa Sadiq OmprakashKaiwartya Mohammad Aljaidi Alexandros Konios Mohammed Ali Mohammed Abazeed department of Computer science Nottingham Trent UniversityClifton LaneNottinghamNG118NSUK department of Computer science Faculty of Information TechnologyZarqa UniversityZarqa13110Jordan department of Computer science King Khalid UniversityAbha61421Saudi Arabia

Mobile banking security has witnessed significant R&D attention from both financial institutions and *** is due to the growing number of mobile baking applications and their reachability and usefulness to ***,these applications are also attractive prey for cybercriminals,who use a variety of malware to steal personal banking *** literature in mobile banking security requiresmany permissions that are not necessary for the application’s intended security *** this context,this paper presents a novel efficient permission identification approach for securing mobile banking(MoBShield)to detect and prevent malware.A permission-based dataset is generated for mobile banking malware detection that consists large number of malicious adware apps and benign apps to use as training *** dataset is generated from 1650 malicious banking apps of the Canadian Institute of Cybersecurity,University of New Brunswick and benign apps from Google Play.A machine learning algorithm is used to determine whether amobile banking application ismalicious based on its permission ***,an eXplainable machine learning(XML)approach is developed to improve trust by explaining the reasoning behind the algorithm’s *** evaluation tests that the approach can effectively and practically identify mobile banking malware with high precision and reduced false ***,the adapted artificial neural networks(ANN),convolutional neural networks(CNN)and XML approaches achieve a higher accuracy of 99.7%and the adapted deep neural networks(DNN)approach achieves 99.6%accuracy in comparison with the state-of-the-art *** promising results position the proposed approach as a potential tool for real-world scenarios,offering a robustmeans of identifying and thwarting malware inmobile-based banking ***,MoBShield has the potential to significantly enhance the security and trustworthiness of

关键词： Security malware detection deep learning convolutional neural networks deep neural networks

Reservoir quality of the Late Cretaceous Volador Formation of the Latrobe group,Gippsland Basin,Australia:Implications from integrated analytical techniques

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Energy Geoscience 2024年第1期5卷 121-140页

作者： Kamalia Norjannah Kamalrulzaman Mohamed Ragab Shalaby Md Aminul Islam department of Geosciences Faculty of ScienceUniversiti Brunei DarussalamBrunei Darussalam Geology department Faculty of ScienceTanta UniversityTanta31527Egypt

Increasing demand for energy due to the populous Eastern Australia has driven oil and gas industries to find new sources of hydrocarbons as they are the primary energy *** study has been done on the Volador Formation in the Gippsland Basin by means of core-based petrophysical,sedimentological,and petrographic analyses as well as well log-based interpretation and capillary pressure *** wells from Kipper,Basker and Tuna fields with available dataset were investigated in this study:Kipper-1,Basker-1,Basker-2,Basker-5 and ***,the formation has good reservoir quality based on the high porosity and permeability values obtained through core and well log petrophysical *** formation made up of mostly moderate to coarse quartz grains that has experienced strong anti-compaction and is poorly *** and illite clays are seen dispersed in the rock formation,with the minority being mixed *** clays and diagenetic features including kaolinite cement and quartz overgrowth that can lead to porosity reduction only have insignificant impact on the overall reservoir *** addition,capillary pressure data shows that most samples are found in the transition to good reservoir zones(<50%saturation).The results obtained from this study have shown that the Volador Formation in the Gippsland Basin is worth for hydrocarbon exploration.

关键词： Volador formation Reservoir rock characterization Core-based Petrographic Well log based Capillary pressure

Image enhancement with intensity transformation on embedding space

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

CAAI Transactions on Intelligence Technology 2024年第1期9卷 101-115页

作者： Hanul Kim Yeji Jeon Yeong Jun Koh department of Applied Artificial Intelligence Seoul National University of Science and TechnologySeoulSouth Korea department of Computer science and Engineering Chungnam National UniversityDaejeonSouth Korea

In recent times,an image enhancement approach,which learns the global transformation function using deep neural networks,has gained ***,many existing methods based on this approach have a limitation:their transformation functions are too simple to imitate complex colour transformations between low-quality images and manually retouched high-quality *** order to address this limitation,a simple yet effective approach for image enhancement is *** proposed algorithm based on the channel-wise intensity transformation is ***,this transformation is applied to the learnt embedding space instead of specific colour spaces and then return enhanced features to *** this end,the authors define the continuous intensity transformation(CIT)to describe the mapping between input and output intensities on the embedding ***,the enhancement network is developed,which produces multi-scale feature maps from input images,derives the set of transformation functions,and performs the CIT to obtain enhanced *** experiments on the MIT-Adobe 5K dataset demonstrate that the authors’approach improves the performance of conventional intensity transforms on colour space ***,the authors achieved a 3.8%improvement in peak signal-to-noise ratio,a 1.8%improvement in structual similarity index measure,and a 27.5%improvement in learned perceptual image patch ***,the authors’algorithm outperforms state-of-the-art alternatives on three image enhancement datasets:MIT-Adobe 5K,Low-Light,and Google HDRþ.

关键词： computer vision deep learning image enhancement image processing

A Study on the Explainability of Thyroid Cancer Prediction:SHAP Values and Association-Rule Based Feature Integration Framework

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Computers, Materials & Continua 2024年第5期79卷 3111-3138页

作者： Sujithra Sankar S.Sathyalakshmi department of Computer Applications Hindustan Institute of Technology and ScienceChennaiTamil NaduIndia department of Computer Engineering Hindustan Institute of Technology and ScienceChennaiTamil NaduIndia

In the era of advanced machine learning techniques,the development of accurate predictive models for complex medical conditions,such as thyroid cancer,has shown remarkable *** predictivemodels for thyroid cancer enhance early detection,improve resource allocation,and reduce ***,the widespread adoption of these models in clinical practice demands predictive performance along with interpretability and *** paper proposes a novel association-rule based feature-integratedmachine learning model which shows better classification and prediction accuracy than present *** study also focuses on the application of SHapley Additive exPlanations(SHAP)values as a powerful tool for explaining thyroid cancer prediction *** the proposed method,the association-rule based feature integration framework identifies frequently occurring attribute combinations in the *** original dataset is used in trainingmachine learning models,and further used in generating SHAP values *** the next phase,the dataset is integrated with the dominant feature sets identified through association-rule based *** new integrated dataset is used in re-training the machine learning *** new SHAP values generated from these models help in validating the contributions of feature sets in predicting *** conventional machine learning models lack interpretability,which can hinder their integration into clinical decision-making *** this study,the SHAP values are introduced along with association-rule based feature integration as a comprehensive framework for understanding the contributions of feature sets inmodelling the *** study discusses the importance of reliable predictive models for early diagnosis of thyroid cancer,and a validation framework of *** proposed model shows an accuracy of 93.48%.Performance metrics such as precision,recall,F1-score,and the area un

关键词： Explainable AI machine learning clinical decision support systems thyroid cancer association-rule based framework SHAP values classification and prediction