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

27th European Conference on Artificial Intelligence, ECAI 2024

作者： Atashgahi, Zahra Liu, Tennison Pechenizkiy, Mykola Veldhuis, Raymond Mocanu, Decebal Constantin van der Schaar, Mihaela Faculty of Electrical Engineering Mathematics and Computer Science University of Twente Netherlands Department of Applied Mathematics and Theoretical Physics University of Cambridge United Kingdom Department of Mathematics and Computer Science Eindhoven University of Technology Netherlands Department of Computer Science University of Luxembourg Luxembourg

ISBN: (纸本)9781643685489

Sparse Neural Networks (SNNs) have emerged as powerful tools for efficient feature selection. Leveraging the dynamic sparse training (DST) algorithms within SNNs has demonstrated promising feature selection capabilities while drastically reducing computational overheads. Despite these advancements, several critical aspects remain insufficiently explored for feature selection. Questions persist regarding the choice of the DST algorithm for network training, the choice of metric for ranking features/neurons, and the comparative performance of these methods across diverse datasets when compared to dense networks. This paper addresses these gaps by presenting a comprehensive systematic analysis of feature selection with sparse neural networks. Moreover, we introduce a novel metric considering sparse neural network characteristics, which is designed to quantify feature importance within the context of SNNs. Our findings show that feature selection with SNNs trained with DST algorithms can achieve, on average, more than 50% memory and 55% FLOPs reduction compared to the dense networks, while outperforming them in terms of the quality of the selected features. © 2024 The Authors.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Asset Management Strategies for District Heating Networks 8

Asset Management Strategies for District Heating Networks

引用

8th International Conference on System Reliability and Safety, ICSRS 2024

作者： Grønberg, Jens Tahavori, Maryamsadat Bacher, Peder Dtu Engineering Technology Ballerup Denmark Dtu Department of Applied Mathematics and Computer Science Kongens Lyngby Denmark

ISBN: (纸本)9798350354508

District Heating (DH) became widely adopted in European cities during the 20th century to meet demand for heating from a growing urban population. Today, the desire to decarbonize Europe's heat consumption has lead to an renewed interest in increasing the adoption of DH. To meet this end, DH has to be a price competitive alternative to other heating technologies. Over time the underground heat distribution network that DH companies operate suffers from faults that require replacement of pipes. On-demand replacement is more expensive than planned large scale replacement projects. The only question is, when is the optimal time to renew the pipes? In this article this question will be formulated using Reliability Theory. Our approach is to use historical records of time to failure and a bounding result to estimate the optimal time for replacement. The method can be used by DH companies with historical fault records to form an Asset Management strategy on the question of when to renew which pipes. © 2024 IEEE.

关键词： Asset management

来源：评论

学校读者我要写书评

暂无评论

On Error-Based Step Size Control for Discontinuous Galerkin Methods for Compressible Fluid Dynamics

引用

应用数学与计算数学学报 2025年第1期7卷 3-39页

作者： Hendrik Ranocha Andrew R.Winters Hugo Guillermo Castro Lisandro Dalcin Michael Schlottke-Lakemper Gregor J.Gassner Matteo Parsani Applied Mathematics University of HamburgBundesstr.5520146 HamburgGermany Department of Mathematics Applied Mathematics Linköping UniversityLinköpingSweden Extreme Computing Research Center(ECRC) Computer Electrical and Mathematical Science and Engineering Division(CEMSE)King Abdullah University of Science and Technology(KAUST)Thuwal 23955-6900Saudi Arabia Applied and Computational Mathematics RWTH Aachen UniversityAachenGermany High-Performance Computing Center Stuttgart University of StuttgartStuttgartGermany Department of Mathematics and Computer Science University of CologneCologneGermany Center for Data and Simulation Science University of CologneCologneGermany Extreme Computing Research Center(ECRC) Computer Electrical and Mathematical Science and Engineering Division(CEMSE)King Abdullah University of Science and Technology(KAUST)Thuwal 23955-6900Saudi Arabia Physical Science and Engineering Division(PSE) King Abdullah University of Science and Technology(KAUST)Thuwal 23955-6900Saudi Arabia

We study a temporal step size control of explicit Runge-Kutta(RK)methods for com-pressible computational fluid dynamics(CFD),including the Navier-Stokes equations and hyperbolic systems of conservation laws such as the Euler *** demonstrate that error-based approaches are convenient in a wide range of applications and compare them to more classical step size control based on a Courant-Friedrichs-Lewy(CFL)*** numerical examples show that the error-based step size control is easy to use,robust,and efficient,e.g.,for(initial)transient periods,complex geometries,nonlinear shock captur-ing approaches,and schemes that use nonlinear entropy *** demonstrate these properties for problems ranging from well-understood academic test cases to industrially relevant large-scale computations with two disjoint code bases,the open source Julia pack-ages *** with *** and the C/Fortran code SSDC based on PETSc.

关键词： Explicit Runge-Kutta(RK)methods Step size control Compressible fluid dynamics Adaptivity in space and time Shock capturing

来源：评论

学校读者我要写书评

暂无评论

A Review of Lightweight Security and Privacy for Resource-Constrained IoT Devices

引用

computers, Materials & Continua 2024年第1期78卷 31-63页

作者： Sunil Kumar Dilip Kumar Ramraj Dangi Gaurav Choudhary Nicola Dragoni Ilsun You Department of Computer Science and Engineering National Institute of Technology JamshedpurJamshedpurIndia School of Computing Science and Engineering VIT University BhopalBhopal466114India Center for Industrial Software The Maersk Mc-Kinney Moller InstituteUniversity of Southern DenmarkSonderborgOdenseDenmark Department of Applied Mathematics and Computer Science Technical University of DenmarkLyngby2800Denmark Department of Information Security Cryptologyand MathematicsKookmin UniversitySeoulSouth Korea

The widespread and growing interest in the Internet of Things(IoT)may be attributed to its usefulness in many different *** settings are probed for data,which is then transferred via linked *** are several hurdles to overcome when putting IoT into practice,from managing server infrastructure to coordinating the use of tiny *** it comes to deploying IoT,everyone agrees that security is the biggest *** is due to the fact that a large number of IoT devices exist in the physicalworld and thatmany of themhave constrained resources such as electricity,memory,processing power,and square *** research intends to analyse resource-constrained IoT devices,including RFID tags,sensors,and smart cards,and the issues involved with protecting them in such restricted *** lightweight cryptography,the information sent between these gadgets may be *** order to provide a holistic picture,this research evaluates and contrasts well-known algorithms based on their implementation cost,hardware/software efficiency,and attack resistance *** also emphasised how essential lightweight encryption is for striking a good cost-to-performance-to-security ratio.

关键词： IoT a sensor device lightweight cryptography block cipher smart card security and privacy

来源：评论

学校读者我要写书评

暂无评论

Leveraging Semantic Parsing using Text Embeddings and Reinforcement Learning

Leveraging Semantic Parsing using Text Embeddings and Reinfo...

引用

2024 IEEE Latin American Conference on Computational Intelligence, LA-CCI 2024

作者： Piza-Londono, Jessenia Andrade-Lotero, Edgar J. Universidad Del Rosario Applied Mathematics and Computer Science Bogotá Colombia Universidad Del Rosario School of Engineering Science and Technology Bogotá Colombia

ISBN: (纸本)9798350374575

Representing natural language information is a key challenge in Artificial Intelligence and Cognitive science, requiring the transformation of unstructured data into formats suitable for computational tasks. While logical formalisms offer robust methods for information representation, their complexity often limits widespread adoption. Conversely, transformer architectures provide strong generalization capabilities but struggle with logical inference tasks. To address both the need for generalization and reliable logical inference, we propose a novel approach using deep reinforcement learning, enabling agents to autonomously learn the rules of semantic parsing. Our preliminary results indicate successful generation of appropriate representations for simple queries. Future work will extend the environment to handle a wider range of real-world sentences. © 2024 IEEE.

关键词： Deep reinforcement learning

来源：评论

学校读者我要写书评

暂无评论

Thin film chalcogenides and optical design for mid-infrared sensing applications

Thin film chalcogenides and optical design for mid-infrared ...

引用

CLEO: science and Innovations in CLEO 2024, CLEO: S and I 2024 - Part of Conference on Lasers and Electro-Optics

作者： El-Kholy, Ibrahim Al-Alexis Khan, Amir Division of Physics Engineering Mathematics and Computer Science Optical Science Center for Applied Research Delaware State University DoverDE United States

ISBN: (纸本)9781957171395

Constituent elements of Ge-Se-S glasses were chosen with different compositions such as Ge2Se8, Ge2S8, Se2S8, and GeSe2S2 to study their optical properties for UV, visible, and Mid-IR range using different optical tools like UV-Vis, FTIR, and Raman spectroscopy for mid-infrared thin film applications. © Optica Publishing Group 2024

关键词： Fourier transform infrared spectroscopy

来源：评论

学校读者我要写书评

暂无评论

Certifying IoT Data with Verifiable Credentials 22

Certifying IoT Data with Verifiable Credentials

引用

22nd International Symposium on Network Computing and Applications, NCA 2024

作者： Mazzocca, Carlo Allevi, Stefano Montanari, Rebecca Department of Information and Electrical Engineering and Applied Mathematics University of Salerno Salerno Italy Department of Computer Science and Engineering University of Bologna Bologna Italy

ISBN: (纸本)9798331510183

The Internet of Things (IoT) is a major contributor to the vast amount of data generated worldwide, significantly impacting the big data market. However, this data holds value only when utilized for insights and applications. Many organizations hesitate to use third-party data due to concerns about accuracy, reliability, and integrity. Enhancing trustworthiness in data is crucial to unlock their full potential, especially in critical domains such as healthcare where erroneous data can have severe consequences. The Identity of Things (IDoT) paradigm addresses this need by identifying trustworthy devices using Decentralized Identifiers (DIDs) and Verifiable Credentials (VCs), offering promising solutions for digital identification. Although DIDs and VCs have primarily been used for mutual trust and access control, their potential for data certification in IoT remains underexplored. This paper is the first to investigate the feasibility of IoT devices to use VCs for certifying data. We evaluated devices with varying capabilities, focusing on the latency, computing, and storage requirements for issuing VCs. Our findings demonstrate that IoT devices can issue VCs with up to 100 claims in less than 90 ms, with storage requirements growing linearly and remaining below 4 KB. Using VCs for data certification does not introduce significant computational overhead, suggesting its practicality for IoT environments. ©2024 IEEE.

关键词： Data integrity

来源：评论

学校读者我要写书评

暂无评论

Degree reduction of ball Said-Ball surfaces using an enhanced coot optimization algorithm

Degree reduction of ball Said-Ball surfaces using an enhance...

引用

作者： Hu, Gang Dou, Wanting Du, Bo Department of Applied Mathematics Xi'an University of Technology Xi'an China School of Computer Science and Engineering Xi'an University of Technology Xi'an China

Degree reduction of ball Said-Ball (BSB) surface is a complex and unsolved problem in computer-aided design (CAD) and computer graphics (CG), which has potential application prospects in many engineering fields of geometric modeling. In this paper, the degree reduction of BSB surface is transformed into the optimization problems of center surface and radius function, and the improved coot optimization algorithm is used to solve it. An effective method to solve the degree reduction of BSB surface by intelligent optimization algorithm is proposed. Firstly, the degree reduction of BSB surface is decomposed into center surface reduction and radius function reduction, and the objective function and constraint conditions are determined according to the optimization idea, then the degree reduction optimization model of center surface and radius function is established. Secondly, an enhanced coot (ECOOT for short) algorithm is proposed, which combines chain strategy, dispersed foraging strategy, and quadratic interpolation strategy. Compared with the original algorithm, ECOOT algorithm has better convergence performance and higher calculation accuracy. Finally, the proposed ECOOT algorithm is used to solve the degree reduction optimization model, and the optimal center surface and minimum distance radius function of the BSB surface after degree reduction are obtained. The experimental results show that the ECOOT algorithm can effectively solve the problem of degree reduction for BSB surface, the degree reduction error is reduced by about 20% compared to the original COOT algorithm, and is superior to other intelligent optimization algorithms in accuracy, robustness, and convergence. © 2023 John Wiley & Sons, Ltd.

关键词： Optimization

来源：评论

学校读者我要写书评

暂无评论

Content Based Classification of Short Messages using Recurrent Neural Networks in NLP

Content Based Classification of Short Messages using Recurre...

引用

2024 International Conference on Artificial Intelligence, computer, Data sciences, and Applications, ACDSA 2024

作者： Bennet, Deepthi Tabitha Bennet, Preethi Samantha Thiagarajan, Priya Sundarakantham, K. Thiagarajar College of Engineering Dept. of Applied Mathematics and Computational Science Madurai India Thiagarajar College of Engineering Dept. of Computer Science and Business Systems Madurai India Thiagarajar College of Engineering Dept. of Computer Science and Engineering Madurai India

ISBN: (纸本)9798350394528

Short message spam poses a significant threat for all mobile phone users, as it can act as an efficient tool for cyberattacks including spreading malware and phishing. Traditional anti-spam measures are only minimally effective against modern spammers. Intelligent analysis of the content to categorise the messages as Spam (unwanted and unsolicited) or Ham (useful messages) is therefore essential to safeguard the user from such attacks. Various artificial intelligence (AI) techniques are proving to be useful in the analysis of the content of such short messages to classify and filter spam. We have trained, validated and tested seven such AI techniques on the SMS spam collection dataset to identify the best model for designing and developing a content based classification system. Recurrent Neural Networks (RNN) have shown the highest performance metrics (Test Accuracy: 99.28%) and hence our proposed system includes a RNN model for classification. A web app of this system has also been deployed where a single SMS can be input and the designed system can classify it as Spam or Ham. The designed system is compared against existing systems and is found to be significantly better. © 2024 IEEE.

关键词： Recurrent neural networks

来源：评论

学校读者我要写书评

暂无评论

Salp Swarm Incorporated Adaptive Dwarf Mongoose Optimizer with Lévy Flight and Gbest-Guided Strategy

引用

Journal of Bionic engineering 2024年第4期21卷 2110-2144页

作者： Gang Hu Yuxuan Guo Guanglei Sheng Department of Applied Mathematics Xi’an University of TechnologyXi’an710054People’s Republic of China School of Computer Science and Engineering Xi’an University of TechnologyXi’an710048People’s Republic of China Department of Electronics and Information Engineering Bozhou UniversityBozhou236800People’s Republic of China

In response to the shortcomings of Dwarf Mongoose Optimization(DMO)algorithm,such as insufficient exploitation capability and slow convergence speed,this paper proposes a multi-strategy enhanced DMO,referred to as ***,we propose an improved solution search equation that utilizes the Gbest-guided strategy with different parameters to achieve a trade-off between exploration and exploitation(EE).Secondly,the Lévy flight is introduced to increase the diversity of population distribution and avoid the algorithm getting stuck in a local *** addition,in order to address the problem of low convergence efficiency of DMO,this study uses the strong nonlinear convergence factor Sigmaid function as the moving step size parameter of the mongoose during collective activities,and combines the strategy of the salp swarm leader with the mongoose for cooperative optimization,which enhances the search efficiency of agents and accelerating the convergence of the algorithm to the global optimal solution(Gbest).Subsequently,the superiority of GLSDMO is verified on CEC2017 and CEC2019,and the optimization effect of GLSDMO is analyzed in *** results show that GLSDMO is significantly superior to the compared algorithms in solution quality,robustness and global convergence rate on most test ***,the optimization performance of GLSDMO is verified on three classic engineering examples and one truss topology optimization *** simulation results show that GLSDMO achieves optimal costs on these real-world engineering problems.

关键词： Dwarf mongoose optimization algorithm Gbest-guided Lévy flight Adaptive parameter Salp swarm algorithm engineering optimization Truss topological optimization

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：