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

2024 IEEE Photonics Conference, IPC 2024

作者： Robalinho, Paulo Rodrigues, A. Novais, S. Lobo Ribeiro, A.B. Silva, S. Frazão, O. Institute for Systems and Computer Engineering Technology and Science Inesc Tec Porto Portugal Faculty of Engineering University of Porto Department of Engineering Physics Portugal University Fernando Pessoa Faculty of Health Sciences R. Carlos da Maia 296 Porto4200-150 Portugal

This work presents an implementation of a reference optical cavity based on parasitic cavities on a low coherence interferometric system. This method allows a maximization of the number of sensors to be implemented wi... 详细信息

ISBN: (纸本)9798350361957

关键词： Optical fibers

来源：评论

学校读者我要写书评

暂无评论

FOOTBALLTrace: An AI-Based System for Football Player Tracking with Occlusion Detection and Trajectory Correction 11

FOOTBALLTrace: An AI-Based System for Football Player Tracki...

引用

11th International Conference on Sport Sciences Research and Technology Support, icSPORTS 2023

作者： Mostafa, Abdelrahman H. Rushdi, Muhammad A. Basha, Tamer A. Sayed, Khaled Department of Systems and Biomedical Engineering Faculty of Engineering Cairo University Giza Egypt Department of Computer Science New Giza University Giza Egypt Department of Electrical and Computer Engineering and Computer Science University of New Haven West HavenCT United States

ISBN: (纸本)9789897586736

Data analytics have had a significant impact on tactical and workload planning in football. Football data is divided into two categories: event data, which captures on-the-ball events like passes and shots, and tracking data, which captures off-the-ball movements. However, traditional methods of collecting tracking data are expensive and inconvenient. Recently, AI solutions have emerged as low-cost and user-friendly alternatives to track players' movements from video streams. This paper introduces FOOTBALLTrace, an end-to-end AI system for tracking multiple football players from a panoramic game view. The system also incorporates a novel algorithm that detects potential occlusion events and ensures trajectory continuity for occluded players. The workflow involves five stages: panoramic view creation, player detection, player ID association, occlusion detection, and trajectory correction. The system utilizes YOLOv7 for multiple object detection and employs a pre-trained deep affinity network to assign unique IDs to players throughout the game. Occlusion detection and trajectory correction are achieved by extracting geometric features from discontinuous player trajectories. The system's performance was evaluated on full-length video data of a football game, with occlusion events manually extracted for training and testing the occlusion detection and trajectory correction algorithm. The system achieved an 87.5% trajectory correction rate for occluded trajectories. © 2023 by SCITEPRESS – Science and Technology Publications, Lda. Under CC license (CC BY-NC-ND 4.0)

关键词： Trajectories

来源：评论

学校读者我要写书评

暂无评论

Case Studies of Development of Verified Programs with Dafny for Accessibility Assessment 1

引用

10th IPM International Conference on Fundamentals of Software engineering, FSEN 2023

作者： Faria, João Pascoal Abreu, Rui Faculty of Engineering of the University of Porto Porto Portugal INESC TEC - Institute for Systems and Computer Engineering Technology and Science Porto Portugal INESC ID Lisbon Portugal

ISBN: (数字)9783031424410

ISBN: (纸本)9783031424403

Formal verification techniques aim at formally proving the correctness of a computer program with respect to a formal specification, but the expertise and effort required for applying formal specification and verification techniques and scalability issues have limited their practical application. In recent years, the tremendous progress with SAT and SMT solvers enabled the construction of a new generation of tools that promise to make formal verification more accessible for software engineers, by automating most if not all of the verification process. The Dafny system is a prominent example of that trend. However, little evidence exists yet about its accessibility. To help fill this gap, we conducted a set of 10 case studies of developing verified implementations in Dafny of some real-world algorithms and data structures, to determine its accessibility for software engineers. We found that, on average, the amount of code written for specification and verification purposes is of the same order of magnitude as the traditional code written for implementation and testing purposes (ratio of 1.14) – an "overhead" that certainly pays off for high-integrity software. The performance of the Dafny verifier was impressive, with 2.4 proof obligations generated per line of code written, and 24 ms spent per proof obligation generated and verified, on average. However, we also found that the manual work needed in writing auxiliary verification code may be significant and difficult to predict and master. Hence, further automation and systematization of verification tasks are possible directions for future advances in the field. © 2023, IFIP International Federation for Information Processing.

关键词： Formal verification

来源：评论

学校读者我要写书评

暂无评论

Sentiment Analysis On Arabic Companies Reviews 6

Sentiment Analysis On Arabic Companies Reviews

引用

6th International Conference on Computing and Informatics, ICCI 2024

作者： Fouda, Aya E. Ahmed, Karim Salah Mohamed, Karim Ashraf Noshy, Mayer Mamdouh ElKattan, Youssef Mhran, Amany Ahmed Abdelbaky, Ibrahim Fouad, Khaled M. School of Computer Science Nile University Giza Egypt Artificial Intelligence Department Faculty of Computers and Artificial Intelligence Benha University Banha13518 Egypt Information Systems Faculty of Computers and Artificial Intelligence Benha University Egypt Faculty of Computer Science and Engineering New Mansoura University Dakhlia Egypt

ISBN: (纸本)9798350373875

This study introduces an innovative approach to sentiment analysis, specifically tailored for the Arabic language, a domain that poses unique challenges due to its complex morphology and diverse dialects. Utilizing a substantial dataset of over 108,000 reviews related to Arabic companies, our primary objective was to develop a robust and reliable sentiment scoring system that caters to the intricacies of the Arabic language, aimed at assisting businesses in understanding customer sentiments more *** methodology encompassed an extensive preprocessing phase, crucial for preparing the dataset for accurate analysis. This phase included converting emojis and emoticons into textual descriptions a contemporary and expressive facet of digital communication, removing Arabic diacritics to standardize text input, and normalizing the text for consistency. The preprocessing was carefully designed to address the specific challenges posed by the Arabic script and dialectal *** the core sentiment analysis, we employed two robust machine learning models: Logistic Regression and Naive Bayes. Each model was meticulously chosen and adapted for its proven effectiveness in text classification, especially in handling the nuances of sentiment analysis within the Arabic text. Our approach not only leverages the strengths of these models but also adapts them to accommodate the linguistic characteristics of *** results of our study provide significant contributions to the field of sentiment analysis in Arabic. By addressing the unique challenges of the language and adapting conventional machine learning techniques accordingly, our research offers valuable insights and tools for businesses and researchers focused on the Arab market. These insights are instrumental for companies seeking to understand and respond to customer sentiments in a linguistically diverse and culturally rich region. © 2024 IEEE.

关键词： Sentiment analysis

来源：评论

学校读者我要写书评

暂无评论

Pager Explosion:Cybersecurity Insights and Afterthoughts

引用

IEEE/CAA Journal of Automatica Sinica 2024年第12期11卷 2359-2362页

作者： Chuan Sheng Wanlun Ma Qing-Long Han Wei Zhou Xiaogang Zhu Sheng Wen Yang Xiang Fei-Yue Wang Swinburne University of Technology Hawthorn VIC 3122Australia IEEE the School of Computer and Mathematical Sciences the University of AdelaideAdelaideSouth Australia 5005Australia the State Key Laboratory for Management and Control of Complex Systems Chinese Academy of SciencesBeijing 100190 the Department of Engineering Science Faculty of Innovation EngineeringMacao University of Science and TechnologyMacao 999078China

PAGER EXPLOSION:THE *** 2024 Lebanon pager explosions represent one of the most unexpected and devastating technological incidents in recent *** September 17 and 18,2024,thousands of pagers and walkie-talkies exploded simultaneously across Lebanon and parts of Syria,resulting in 42 deaths and more than 3500 *** handheld communication devices,previously regarded as secure and low-profile,were rigged with concealed explosives and remotely triggered by attackers.

关键词： injuries thoughts explosion

来源：评论

学校读者我要写书评

暂无评论

Optimal Resource Allocation for NOMA Wireless Networks

引用

computers, Materials & Continua 2023年第2期74卷 3249-3261页

作者： Fahad R.Albogamy M.A.Aiyashi Fazirul Hisyam Hashim Imran Khan Bong Jun Choi Turabah University College Computer Sciences ProgramTaif UniversityP.O.Box 11099Taif21944Saudi Arabia Department of Mathematics Jazan UniversityJazanP.O.Box 218Saudi Arabia Department of Computer and Communication Systems Engineering Faculty of EngineeringUniversiti Putra Malaysia(UPM)43400SerdangMalaysia Department of Electrical Engineering University of Engineering and Technology PeshawarP.O.Box 814Pakistan School of Computer Science and Engineering Soongsil UniversitySeoulKorea

The non-orthogonal multiple access(NOMA)method is a novel multiple access technique that aims to increase spectral efficiency(SE)and accommodate enormous user ***-user signals are superimposed and transmitted in the power domain at the transmitting end by actively implementing controllable interference information,and multi-user detection algorithms,such as successive interference cancellation(SIC),are performed at the receiving end to demodulate the necessary user *** its basic signal waveform,like LTE baseline,could be based on orthogonal frequency division multiple access(OFDMA)or discrete Fourier transform(DFT)-spread OFDM,NOMA superimposes numerous users in the power *** contrast to the orthogonal transmission method,the nonorthogonal method can achieve higher spectrum ***,it will increase the complexity of its *** power allocation techniques will have a direct impact on the system’s *** a result,in order to boost the system capacity,an efficient power allocation mechanism must be *** research developed an efficient technique based on conjugate gradient to solve the problem of downlink power *** major goal is to maximize the users’maximum weighted sum *** suggested algorithm’s most notable feature is that it converges to the global optimal *** compared to existing methods,simulation results reveal that the suggested technique has a better power allocation capability.

关键词： Non-orthogonalmultiple access wireless networks power domain 5G networks

来源：评论

学校读者我要写书评

暂无评论

Distance Matrix and Markov Chain Based Sensor Localization in WSN

引用

computers, Materials & Continua 2022年第5期71卷 4051-4068页

作者： Omaima Bamasaq Daniyal Alghazzawi Surbhi Bhatia Pankaj Dadheech Farrukh Arslan Sudhakar Sengan Syed Hamid Hassan Department of Computer Science Faculty of Computing and Information TechnologyKing Abdulaziz UniversityJeddahSaudi Arabia Department of Information Systems Faculty of Computing and Information TechnologyKing Abdulaziz UniversityJeddahSaudi Arabia Department of Information Systems College of Computer Science and Information TechnologyKing Faisal UniversitySaudi Arabia Department of Computer Science and Engineering Swami Keshvanand Institute of TechnologyManagement&GramothanJaipurRajasthanIndia University of Engineering and Technology LahorePakistan Department of Computer Science and Engineering PSN College of Engineering and TechnologyTirunelveliTamilnaduIndia

Applications based on Wireless Sensor Networks(WSN)have shown to be quite useful in monitoring a particular geographic area of *** geometries of the surrounding environment are essential to establish a successful WSN *** it is literally hard because constructing a localization algorithm that tracks the exact location of Sensor Nodes(SN)in a WSN is always a challenging *** this research paper,Distance Matrix and Markov Chain(DM-MC)model is presented as node localization technique in which Distance Matrix and Estimation Matrix are used to identify the position of the *** method further employs a Markov Chain Model(MCM)for energy optimization and interference *** are performed against two well-known models,and the results demonstrate that the proposed algorithm improves performance by using less network resources when compared to the existing *** probability is used in the Markova chain to sustain higher energy ***,the proposed Distance Matrix and Markov Chain model decrease energy use by 31%and 25%,respectively,compared to the existing DV-Hop and CSA *** experimental results were performed against two proven models,Distance VectorHop Algorithm(DV-HopA)and Crow Search Algorithm(CSA),showing that the proposed DM-MC model outperforms both the existing models regarding localization accuracy and Energy Consumption(EC).These results add to the credibility of the proposed DC-MC model as a better model for employing node localization while establishing a WSN framework.

关键词： Wireless sensor network resource optimization routing distance matrix Markov chain

来源：评论

学校读者我要写书评

暂无评论

Analysis of synchronized behaviour of two metronomes: experimental verification

引用

SICE Journal of Control, Measurement, and System Integration 2021年第1期14卷 291-299页

作者： Izumi, Shinsaku Faculty of Computer Science and Systems Engineering Okayama Prefectural University Okayama Japan

In this paper, we experimentally evaluate the performance of a method for theoretically analysing the synchronized behaviour of two metronomes on a hanging plate using the describing function approach, proposed in our previous work. This is because the performance evaluation for real systems is important for practical application, but it was not conducted previously. By applying the analysis method to an experimental system with real metronomes, we demonstrate that the analysis results similar to experimental ones are obtained even though there are some approximations associated with the use of the describing function approach. This indicates that our analysis method is applicable to the synchronized behaviour of real metronomes. © 2021 The Author(s). Published by Informa UK Limited, trading as Taylor & Francis Group, on behalf of the Society of Instrument and Control Engineers.

关键词： Synchronization

来源：评论

学校读者我要写书评

暂无评论

Robust Multiresolution and Multistain Background Segmentation in Whole Slide Images 23rd

Robust Multiresolution and Multistain Background Segmentatio...

引用

Proceedings of the 23rd Polish Conference on Biocybernetics and Biomedical engineering, PCBEE 2023

作者： Jurgas, Artur Wodzinski, Marek Atzori, Manfredo Müller, Henning Information Systems Institute Sierre Switzerland Faculty of Electrical Engineering Automatics Computer Science and Biomedical Engineering AGH University of Science and Technology Krakow Poland Department of Neuroscience University of Padova Padova Italy Medical Faculty University of Geneva Geneva Switzerland

ISBN: (纸本)9783031384295

Background segmentation is an important step in analysis of histopathological images. It allows one to remove irrelevant regions and focus on the tissue of interest. However, background segmentation is challenging due to the variability of stain colors and intensity levels across different images, modalities, and magnification levels. In this paper, we present a learning-based model for histopathology background segmentation based on convolutional neural networks. We compare two multiresolution approaches to deal with the variability of magnification in histopathology images: (i) model that uses upscaling of smaller patches of the image, and (ii) model simultaneously trained on multiple resolution levels. Our model is characterized by solid performance both in multiresolution and multistain dyes (H &E and IHC), achieving good performance on publicly available dataset. The quantitative scores are, in terms of the Dice score, close to 94.71. The qualitative analysis presents strong performance on previously unseen cases from different distributions and various dyes. We freely release the model, weights, and ground-truth annotations to promote the open science and reproducible research. © 2024, The Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Pathology

来源：评论

学校读者我要写书评

暂无评论

Enhancing handwritten text feature extraction through key point detection and graph representation

引用

Soft Computing 2024年第21期28卷 12977-12990页

作者： Rahman, Atta Ur Alahmadi, Tahani Jaser Alsenani, Yousef S. Ali, Sania Faculty of Computer Science and Engineering Ghulam Ishaq Khan Institute of Engineering Sciences and Technologies P.O. Box 23460 Topi Pakistan P.O. Box 84428 Riyadh11671 Saudi Arabia Department of Information Systems Faculty of Computing and Information Technology King Abdulaziz University Jeddah21589 Saudi Arabia Department of Computer Science University of Science and Technology Bannu P.O. Box 28100 Khyber Pakhtunkhwa Bannu Pakistan

Handwriting typically consists of a wide range of writing forms with substantial differences in the placements and size of those writing shapes. The arrangement, organization, and spatial association of individual letters, words, and phrases on a written page are all examples of handwritten text structure. This study proposed a novel approach in which a handwritten text structure is primarily transformed into a Cartesian XY-coordinate system while maintaining its shape characteristics. The points on the contour of handwritten text with local maximum bending values are considered hypothetical breakdown points called Key Points (KPs). From the skeletal representation of handwriting, this approach first identifies KPs and their coordinate positions. After that, KPs are transformed into a graph-based representation with vertices and edges. With the use of geometric graphs, this representation attempts to capture the spatial and temporal organization of handwriting. Previous techniques focused on statistical methods, which offer fixed-size descriptions;however, graph-based representations are flexible in size and reveal the relationship between text structure. Graph representations enable the incorporation of contextual information by integrating extra features which improve text accuracy and understanding. The proposed approach is tested for writer identification and verification tasks on four benchmark datasets (CERUG-EN, CVL, Firemaker, and IAM) and one custom-built dataset. The findings demonstrated that the proposed approach obtained state-of-the-art accuracies across all the mentioned datasets. Particularly, it achieved the highest accuracy of 99.75% for identification and 99.81% for verification on the Firemaker dataset. © The Author(s), under exclusive licence to Springer-Verlag GmbH Germany, part of Springer Nature 2024.

关键词： Feature extraction

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：