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

9th International Conference on information Management and Technology, ICIMTech 2024

作者： Wicaksono, Pandu Arisaputra, Panji Yunanda, Rezky Kristian, Willy Mujhid, Almuzhidul School of Computer Science Bina Nusantara University Software Engineering Department Jakarta11480 Indonesia School of Information Systems Bina Nusantara University Information Systems Department Jakarta11480 Indonesia

ISBN: (纸本)9798350390025

software defect prediction is the methodical process of identifying code segments that are likely to have problems. This is done by analyzing software metrics and using categorization algorithms. This work introduces an alternate approach that utilizes ensemble learning techniques to improve the effectiveness of fault detection models. The models utilized in this study are CodeGPT and CodeBERT, both of which are transformer-based deep learning models that can extract code features from source code. The models are trained using the PROMISE dataset, which consists of Java projects that have been labeled with defects. The test results show that using ensemble learning methods can improve the accuracy, precision, recall, and F1 score of a single model by around 1-3%. This study contributes to the progress of software dependability and quality by utilizing advanced software fault prediction algorithms. © 2024 IEEE.

关键词： Prediction models

来源：评论

学校读者我要写书评

暂无评论

Intelligent Daycare: Enhancing Child Safety with IoT and Machine Learning Innovations 9

Intelligent Daycare: Enhancing Child Safety with IoT and Mac...

引用

9th International Conference on Communication and Electronics systems, ICCES 2024

作者： Prathyanga, Amisha Shyaminda, Pasindu Chamikara, Pasan Lakshan, Sachin Thelijjagoda, Samantha Kasthurirathna, Dharshana Sri Lanka Institute of Information Technology Department of Software Engineering Malabe Sri Lanka Sri Lanka Institute of Information Technology Department of Computer Systems Engineering Malabe Sri Lanka

ISBN: (纸本)9798350377972

Child safety and well-being in daycare settings are important, thus it is vital that the persons in charge be attentive to them. This research tries to solve the problem by introducing a smart and detailed monitoring system that utilizes new technology to enhance safety and support caretakers. The system has various innovative features, such as child missing detection, behavior and facial expression analysis, cry analysis and categorization, and fall detection. Using high-resolution cameras and on-device Edge AI capabilities, it ensures real-time surveillance of children's activities while protecting privacy. The approach integrates behavior and facial expression analysis to assess emotional states, cry recognition to discover childcare needs, as well as a useful fall detection system that can tell the difference between falls and other movements. All these parts synergize to hand over the necessary information to the caregivers on time and in a way that they can act upon. The quantitative experiments in real-time childcare centers show high accuracy through all the components, attesting to the system's reliability and durability. This research has important significance in improving the safety and the frequency response in daycare centers because it gives caregivers automated tools to quickly address the needs of children. While promising, the system has drawbacks, such as potential biases in data models and a reliance on ideal environmental circumstances. Future work intends to improve flexibility across varied daycare situations, improve accuracy through larger datasets, and investigate ethical frameworks for wider application. © 2024 IEEE.

关键词： Fall detection

来源：评论

学校读者我要写书评

暂无评论

WIP: An Engaging Undergraduate Intro to Model Checking in software engineering Using TLA+ 54

WIP: An Engaging Undergraduate Intro to Model Checking in So...

引用

54th IEEE Frontiers in Education Conference, FIE 2024

作者： Läufer, Konstantin Mertin, Gunda Thiruvathukal, George K. Loyola University Software and Systems Laboratory Department of Computer Science Chicago United States Institute for Software Engineering and Programming Languages University of Lübeck Germany

ISBN: (纸本)9798350351507

Background: In this Innovative Practice Work in Progress, we present our initial efforts to integrate formal methods, with a focus on model-checking specifications written in Temporal Logic of Actions (TLA+), into computer science education, targeting undergraduate juniors/seniors and graduate students. Many safety-critical systems and services crucially depend on correct and reliable behavior. Formal methods can play a key role in ensuring correct and safe system behavior, yet remain underutilized in educational and industry contexts. Aims: We aim to (1) qualitatively assess the state of formal methods in computer science programs, (2) construct level-appropriate examples that could be included midway into one's undergraduate studies, (3) demonstrate how to address successive 'failuresy' through progressively stringent safety and liveness requirements, and (4) establish an ongoing framework for assessing interest and relevance among students. Methods: We detail our pedagogical strategy for embedding TLA+ into an intermediate course on formal methods at our institution. After starting with a refresher on mathematical logic, students specify the rules of simple puzzles in TLA+ and use its included model checker (known as TLC) to find a solution. We gradually escalate to more complex, dynamic, event-driven systems, such as the control logic of a microwave oven, where students will study safety and liveness requirements. We subsequently discuss explicit concurrency, along with thread safety and deadlock avoidance, by modeling bounded counters and buffers. Results: Our initial findings suggest that through careful curricular design and choice of examples and tools, it is possible to inspire and cultivate a new generation of software engineers proficient in formal methods. Conclusions: Our initial efforts suggest that 84% of our students had a positive experience in our formal methods course. Our future plans include a longitudinal analysis within our own institution and

关键词： Students

来源：评论

学校读者我要写书评

暂无评论

Enhancing Soft Skills in Autistic Children: The Next Generation of Mind Champ's Technological Approach 6

Enhancing Soft Skills in Autistic Children: The Next Generat...

引用

6th International Conference on Advancements in Computing, ICAC 2024

作者： Peiris, Kalna Nelaka, Ruchira Manathunga, Kalpani Department of Computer Systems Engineering Sri Lanka Institute of Information and Technology Sri Lanka Department of Information Technology Sri Lanka Institute of Information and Technology Sri Lanka Department of Computer Science and Software Engineering Sri Lanka Institute of Information and Technology Sri Lanka

ISBN: (纸本)9798331517878

Autism Spectrum Disorder (ASD) significantly impacts a child's ability to navigate social interactions, regulate emotions, and develop adaptive skills crucial for daily functioning. While various interventions exist to address cognitive and academic skills, the development of soft skills such as communication, emotional regulation, social interaction, and creativity remains an under explored area. This paper builds upon the foundational work of the Mind Champ platform, which originally targeted both learning and soft skills, by focusing exclusively on enhancing the soft skills development of autistic children. This enhanced version of the Mind Champ platform leverages advanced behavioral and emotional analysis techniques to offer a comprehensive technological solution. Through interactive activities centered on painting and music, the platform creates a structured, engaging, and supportive environment tailored to the unique needs of children with ASD. By prioritizing emotional engagement and creative expression, the platform empowers children to improve their social abilities, emotional regulation, and adaptability. The results from our continued research indicate that these technology-driven interventions contribute significantly to the holistic development of soft skills in autistic children, providing them with valuable tools to navigate social environments more effectively. © 2024 IEEE.

关键词： Economic and social effects

来源：评论

学校读者我要写书评

暂无评论

Towards Privacy-Aware Causal Structure Learning in Federated Setting

引用

IEEE Transactions on Big Data 2023年第6期9卷 1525-1535页

作者： Huang, Jianli Guo, Xianjie Yu, Kui Cao, Fuyuan Liang, Jiye Intelligent Interconnected Systems Laboratory of Anhui Province School of Computer Science and Information Engineering Hefei University of Technology Hefei230601 China Key Laboratory of Computational Intelligence and Chinese Information Processing of Ministry of Education School of Computer and Information Technology Shanxi University Taiyuan030006 China

Causal structure learning has been extensively studied and widely used in machine learning and various applications. To achieve an ideal performance, existing causal structure learning algorithms often need to centralize a large amount of data from multiple data sources. However, in the privacy-preserving setting, it is impossible to centralize data from all sources and put them together as a single dataset. To preserve data privacy, federated learning as a new learning paradigm has attached much attention in machine learning in recent years. In this paper, we study a privacy-aware causal structure learning problem in the federated setting and propose a novel federated PC (FedPC) algorithm with two new strategies for preserving data privacy without centralizing data. Specifically, we first propose a novel layer-wise aggregation strategy for a seamless adaptation of the PC algorithm into the federated learning paradigm for federated skeleton learning, then we design an effective strategy for learning consistent separation sets for federated edge orientation. The extensive experiments validate that FedPC is effective for causal structure learning in federated learning setting. © 2023 IEEE.

关键词： Big data

来源：评论

学校读者我要写书评

暂无评论

Additive Noise Model Structure Learning Based on Spatial Coordinates

IEEE Transactions on Artificial Intelligence

引用

IEEE Transactions on Artificial Intelligence 2024年第8期5卷 3858-3871页

作者： Yang, Jing Lu, Ting Zhu, Youjie Hefei University of Technology Intelligent Interconnected Systems Laboratory of Anhui Province Hefei230009 China Hefei University of Technology School of Computer Science and Information Engineering Hefei230009 China

Discovering causal relationships from a large amount of observational data is an important research direction in data mining. To address the challenges of discovering and constructing causal networks on nonlinear and high-dimensional data, this article proposes a new structural learning algorithm called spatial coordinates based (SCB). The SCB algorithm effectively discovers causal networks from large scale nonlinear data. In this article, we make three main contributions. Firstly, based on the Hilbert-Schmidt independence criterion (HSIC), we propose new independence test coefficients: spatial coordinate (SC) coefficient and conditional spatial coordinate (CSC) coefficient. We also prove that the statistical distribution of the CSC coefficient follows a standard normal distribution. Secondly, using the statistical distribution of the CSC coefficient, we redefine the correlation of variables and combine it with local learning to propose the SCB algorithm. Finally, we demonstrate the effectiveness of the algorithm through experiments on data generated from various nonlinear function dependencies. Compared to existing algorithms, the causal network models constructed using the SCB algorithm exhibit significant improvements in accuracy and time performance. The effectiveness of the proposed method is further validated on real power plant data. © 2020 IEEE.

关键词： Additive noise

来源：评论

学校读者我要写书评

暂无评论

Optimisation of sparse deep autoencoders for dynamic network embedding

引用

CAAI Transactions on Intelligence Technology 2024年第6期9卷 1361-1376页

作者： Huimei Tang Yutao Zhang Lijia Ma Qiuzhen Lin Liping Huang Jianqiang Li Maoguo Gong College of Computer Science and Software Engineering Shenzhen UniversityShenzhenChina Institute for Infocomm Research Agency for Science Technology and ResearchSingaporeSingapore Key Laboratory of Collaborative Intelligence Systems Ministry of EducationXidian UniversityXi'anChina

Network embedding(NE)tries to learn the potential properties of complex networks represented in a low-dimensional feature ***,the existing deep learningbased NE methods are time-consuming as they need to train a dense architecture for deep neural networks with extensive unknown weight parameters.A sparse deep autoencoder(called SPDNE)for dynamic NE is proposed,aiming to learn the network structures while preserving the node evolution with a low computational *** tries to use an optimal sparse architecture to replace the fully connected architecture in the deep autoencoder while maintaining the performance of these models in the dynamic ***,an adaptive simulated algorithm to find the optimal sparse architecture for the deep autoencoder is *** performance of SPDNE over three dynamical NE models(*** architecture-based deep autoencoder method,DynGEM,and ElvDNE)is evaluated on three well-known benchmark networks and five real-world *** experimental results demonstrate that SPDNE can reduce about 70%of weight parameters of the architecture for the deep autoencoder during the training process while preserving the performance of these dynamical NE *** results also show that SPDNE achieves the highest accuracy on 72 out of 96 edge prediction and network reconstruction tasks compared with the state-of-the-art dynamical NE algorithms.

关键词： deep autoencoder dynamic networks low-dimensional feature space network embedding sparse structure

来源：评论

学校读者我要写书评

暂无评论

A survey for light field super-resolution

引用

High-Confidence Computing 2024年第1期4卷 118-129页

作者： Mingyuan Zhao Hao Sheng Da Yang Sizhe Wang Ruixuan Cong Zhenglong Cui Rongshan Chen Tun Wang Shuai Wang Yang Huang Jiahao Shen State Key Laboratory of Virtual Reality Technology and Systems School of Computer Science and EngineeringBeihang UniversityBeijing 100191China Key Laboratory of Data Science and Intelligent Computing International Innovation InstituteBeihang UniversityHangzhou 311115China State Key Laboratory of Software Development Environment School of Computer Science and EngineeringBeihang UniversityBeijing 100191China

Compared to 2D imaging data,the 4D light field(LF)data retains richer scene’s structure information,which can significantly improve the computer’s perception capability,including depth estimation,semantic segmentation,and LF ***,there is a contradiction between spatial and angular resolution during the LF image acquisition *** overcome the above problem,researchers have gradually focused on the light field super-resolution(LFSR).In the traditional solutions,researchers achieved the LFSR based on various optimization frameworks,such as Bayesian and Gaussian *** learning-based methods are more popular than conventional methods because they have better performance and more robust generalization *** this paper,the present approach can mainly divided into conventional methods and deep learning-based *** discuss these two branches in light field spatial super-resolution(LFSSR),light field angular super-resolution(LFASR),and light field spatial and angular super-resolution(LFSASR),***,this paper also introduces the primary public datasets and analyzes the performance of the prevalent approaches on these ***,we discuss the potential innovations of the LFSR to propose the progress of our research field.

关键词： Light field super-resolution Convolutional neural network Transformer Sub-aperture image Epipolar-plane image

来源：评论

学校读者我要写书评

暂无评论

Recent Developments in Authentication Schemes Used in Machine-Type Communication Devices in Machine-to-Machine Communication: Issues and Challenges

引用

computers, Materials & Continua 2024年第4期79卷 93-115页

作者： Shafi Ullah Sibghat Ullah Bazai Mohammad Imran Qazi Mudassar Ilyas Abid Mehmood Muhammad Asim Saleem Muhmmad Aasim Rafique Arsalan Haider Ilyas Khan Sajid Iqbal Yonis Gulzar Kauser Hameed Department of Computer Engineering Balochistan University of Information TechnologyEngineering and Management SciencesQuetta87300Pakistan Department of Information Technology Balochistan University of Information TechnologyEngineeringand Management SciencesQuetta87300Pakistan Department of Information Systems College of Computer Sciences and Information TechnologyKing Faisal UniversityHofuf in Al-Ahsa31982Saudi Arabia Department of Management Information Systems College of Business AdministrationKing Faisal UniversityHofuf in Al-Ahsa31982Saudi Arabia Department of Software Engineering College of ComputingRiphah International UniversityFaisalabad44000Pakistan Department of Electrical Engineering Balochistan University of Information Technology Engineeringand Management SciencesQuetta87300Pakistan Department of Mathematics College of Science Al-ZulfiMajmaah UniversityAl-Majmaah11952Saudi Arabia

Machine-to-machine (M2M) communication plays a fundamental role in autonomous IoT (Internet of Things)-based infrastructure, a vital part of the fourth industrial revolution. Machine-type communication devices(MTCDs) regularly share extensive data without human intervention while making all types of decisions. Thesedecisions may involve controlling sensitive ventilation systems maintaining uniform temperature, live heartbeatmonitoring, and several different alert systems. Many of these devices simultaneously share data to form anautomated system. The data shared between machine-type communication devices (MTCDs) is prone to risk dueto limited computational power, internal memory, and energy capacity. Therefore, securing the data and devicesbecomes challenging due to factors such as dynamic operational environments, remoteness, harsh conditions,and areas where human physical access is difficult. One of the crucial parts of securing MTCDs and data isauthentication, where each devicemust be verified before data transmission. SeveralM2Mauthentication schemeshave been proposed in the literature, however, the literature lacks a comprehensive overview of current M2Mauthentication techniques and the challenges associated with them. To utilize a suitable authentication schemefor specific scenarios, it is important to understand the challenges associated with it. Therefore, this article fillsthis gap by reviewing the state-of-the-art research on authentication schemes in MTCDs specifically concerningapplication categories, security provisions, and performance efficiency.

关键词： Authentication cyber security internet of things machine-type communication devices machine-to-machine communication

来源：评论

学校读者我要写书评

暂无评论

Challenge-Response Emotion Authentication Algorithm Using Modified Horizontal Deep Learning

引用

Intelligent Automation & Soft Computing 2023年第3期35卷 3659-3675页

作者： Mohamed Ezz Ayman Mohamed Mostafa Ayman Elshenawy College of Computer and Information Sciences Jouf UniversitySakaka72314Saudi Arabia Systems and Computers Engineering DEPT Faculty of EngineeringAl-Azhar UniversityCairo11651Egypt Software Engineering&Information Technology Faculty of Engineering&TechnologyEgyptian Chinese UniversityEgypt

Face authentication is an important biometric authentication method commonly used in security *** is vulnerable to different types of attacks that use authorized users’facial images and videos captured from social media to perform spooﬁng attacks and dynamic movements for penetrating secur-ity *** paper presents an innovative challenge-response emotions authentication model based on the horizontal ensemble *** proposed model provides high accurate face authentication process by challenging the authorized user using a random sequence of emotions to provide a speciﬁc response for every authentication trial with a different sequence of *** proposed model is applied to the KDEF dataset using 10-fold *** improvements are made to the proposed ***,the VGG16 model is applied to the seven common ***,the system usability is enhanced by analyzing and selecting only the four common and easy-to-use ***,the horizontal ensemble technique is applied to enhance the emotion recognition accuracy and minimize the error during authen-tication ***,the Horizontal Ensemble Best N-Losses(HEBNL)is applied using challenge-response emotion to improve the authentication efﬁ-ciency and minimize the computational *** successive improvements implemented on the proposed model led to an improvement in the accuracy from 92.1%to 99.27%.

关键词： Face authentication challenge-response authentication transfer learning and horizontal ensemble technique

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：