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

arXiv 2024年

作者： Alfaro Vigo, Daniel G. Gomes, Daniele C.R. Carmo, Bruno A.D.O. Rincon, Mauro A. Institute of Computing Graduate Program in Informatics Federal University of Rio de Janeiro Caixa Postal 68530 RJ Rio de JaneiroCEP 21941-590 Brazil Graduate Program in Informatics Federal University of Rio de Janeiro Caixa Postal 68530 RJ Rio de JaneiroCEP 21941-590 Brazil

In this article, we present the mathematical analysis of the convergence of the linearized Crank-Nicolson Galerkin method for a nonlinear Schrödinger problem related to a domain with a moving boundary. The convergence analysis of the numerical method is carried out for both semi-discrete and fully discrete problems. An optimal error estimate in the L2-norm with order O(τ2 + hs), 2 ≤ s ≤ r, where h is the finite element mesh size parameter, τ is the time step, and r−1 represents the degree of the finite element polynomial basis. Numerical simulations are provided to confirm the consistency between theoretical and numerical results, validating the method and the order of convergence for different degrees p ≥ 1 of the Lagrange polynomials and also for Hermite polynomials (degree p = 3), which form the basis of the approximate solution. © 2024, CC BY-NC-ND.

关键词： Schrodinger equation

来源：评论

学校读者我要写书评

暂无评论

FluxProg 2.0 - Extended Version of a Visual Tool for Teaching programming Logic Using Flowcharts with Real and Simulated Robots

FluxProg 2.0 - Extended Version of a Visual Tool for Teachin...

引用

2024 Brazilian Symposium on Robotics (SBR), and 2024 Workshop on Robotics in Education (WRE)

作者： Matheus Biscaya Gutierrez João Alberto Fabro André Cristiano Cordeiro Academic Department of Informatics (DAINF-CT) Federal University of Technology - Paraná (UTFPR) Curitiba PR Brazil Graduate Program on Applied Computing (PPGCA) DAINF-CT - UTFPR Curitiba PR Brazil

ISBN: (数字)9798350391084

ISBN: (纸本)9798350391091

This paper presents a new teaching tool with the goal of facilitating the learning of basic programming concepts among high school students and university freshmen. The tool incorporates a user-friendly visual interface and robotics, expanding on the existing Fluxprog project. New features were implemented, such as variables, logical and mathematical operations, conditional structures, and loops, to motivate students to engage in challenges that promote logical thinking. This paper presents the design, implementation and evaluation of a programming teaching tool using a visual language based on flowcharts, with subsequent data collection through a questionnaire and analysis of preliminary results to evaluate the user's experience while interacting with the tool.

关键词： Visualization Flowcharts Conferences Education Data collection User experience Logic Robots programming profession

来源：评论

学校读者我要写书评

暂无评论

Comparative Evaluation of Image Classification Models for Ornamental Rock Classification

Comparative Evaluation of Image Classification Models for Or...

引用

Conferencia Latinoamericana En Informatica (CLEI)

作者： Douglas Fiório Dias Karin Satie Komati Kelly Assis de Souza Gazolli Graduate Program in Applied Computing PPComp IFES Campus Serra Serra-ES Brazil PPComp IFES Campus Serra Instituto Federal do Espírito Santo Serra-ES Brazil

ISBN: (数字)9798331540975

ISBN: (纸本)9798331540982

The ornamental rock industry in Brazil is distinguished by its diverse assortment of rock types, presenting a unique challenge in classification due to its inherent subjectivity and reliance on expert judgment. to address this problem, the present study introduces a publicly accessible database encompassing 12 distinct classes of ornamental rocks, including granite, marble, and quartzite. This database comprises 1,798 images sourced directly from entities within the stone sector. We employ and compare the performance of seven neural network models for ornamental rock image classification: VGG16, VGG19, ResNet50, ResNet101, Xception, InceptionV3, and the Vision Transformer (ViT). Our empirical analysis reveals that the ViT model outperforms conventional architectures, achieving an accuracy rate of 98.36%.

关键词： Computer vision Analytical models Accuracy Databases Computational modeling Pancreatic cancer Computer architecture Rocks Transformers Residual neural networks

来源：评论

学校读者我要写书评

暂无评论

Multi-Objective optimized Complexity Control for the AV1 Video Encoder

Multi-Objective optimized Complexity Control for the AV1 Vid...

引用

Picture Coding Symposium, PCS

作者： Gustavo Rehbein Isis Bender Guilherme Corrêa Luciano Agostini Marcelo Porto Federal University of Pelotas (UFPel) – Graduate Program in Computing (PPGC) Video Technology Research Group (ViTech)

ISBN: (纸本)9781665492584

AOMedia Video 1 (AV1) is an open-source video encoding format launched in 2018 by Alliance for Open Media. To achieve high coding efficiency, AV1 brings significant innovations in comparison to its predecessor, the VP9 format. However, this came at the cost of a higher encoding complexity due to the newly introduced tools and block partitioning structures. To allow for wide deployment of AV1 in different multimedia devices, adjusting its encoding process according to the available computational resources is strongly desirable. Thus, this work presents an adaptive complexity controller for the AV1 encoder based on multi-objective optimization. Experimental results show that the proposed controller reduces encoding complexity in a target range from 10% to 40%, with satisfactory precision varying between 0.04 and 4.10 percentage points, and a BD-Rate between 0.22% and 5.24%.

关键词： Technological innovation Costs Sensitivity analysis Operating systems Video sequences Focusing Media

来源：评论

学校读者我要写书评

暂无评论

Contract-Inspired Contest Theory for Controllable Image Generation in Mobile Edge Metaverse

引用

IEEE Transactions on Mobile computing 2025年

作者： Liu, Guangyuan Du, Hongyang Wang, Jiacheng Niyato, Dusit Kim, Dong In Nanyang Technological University College of Computing and Data Science Energy Research Institute @ NTU Interdisciplinary Graduate Program Singapore University of Hong Kong Department of Electrical and Electronic Engineering Hong Kong Hong Kong Nanyang Technological University College of Computing and Data Science Singapore Sungkyunkwan University Department of Electrical and Computer Engineering Korea Republic of

The rapid advancement of immersive technologies has propelled the development of the Metaverse, where the convergence of virtual and physical realities necessitates the generation of high-quality, photorealistic images to enhance user experience. However, generating these images, especially through Generative Diffusion Models (GDMs), in mobile edge computing environments presents significant challenges due to the limited computing resources of edge devices and the dynamic nature of wireless networks. This paper proposes a novel framework that integrates contract-inspired contest theory, Deep Reinforcement Learning (DRL), and GDMs to optimize image generation in these resource-constrained environments. The framework addresses the critical challenges of resource allocation and semantic data transmission quality by incentivizing edge devices to efficiently transmit high-quality semantic data, which is essential for creating realistic and immersive images. The use of contest and contract theory ensures that edge devices are motivated to allocate resources effectively, while DRL dynamically adjusts to network conditions, optimizing the overall image generation process. Experimental results demonstrate that the proposed approach not only improves the quality of generated images but also achieves superior convergence speed and stability compared to traditional methods. This makes the framework particularly effective for optimizing complex resource allocation tasks in mobile edge Metaverse applications, offering enhanced performance and efficiency in creating immersive virtual environments. © 2002-2012 IEEE.

关键词： Resource allocation

来源：评论

学校读者我要写书评

暂无评论

Vision of the Seas: Open Visual Perception Framework for Autonomous Sailing Vessels 30

Vision of the Seas: Open Visual Perception Framework for Aut...

引用

30th International Conference on Systems, Signals and Image Processing, IWSSIP 2023

作者： Andre, Araujo P. D. Chandrasekharan, Ganadev Prajapathy Clua, Esteban Walter Gonzalez Preux, Phillipe Vasconcellos, Eduardo Charles Goncalves, Luiz Marcos Garcia Institute of Computing Universidade Federal Fluminense Niteroi24210-346 Brazil Université de Lille Inria Villeneuve d'Ascq59650 France Univ. Fed. Do Rio Grande Do Norte Elec. and Comp. Eng. Graduate Program Natal59078-970 Brazil

ISBN: (纸本)9798350337297

We propose an Open Visual Perception framework for autonomous navigation and obstacle detection in marine sailing vessels. The proposed framework lays the groundwork for perceiving marine objects needed for vessel navigation and obstacle avoidance using only image processing as the primary method. Various methods are explored to extract features such as waterline, terrain, and other vessels. The proposed framework also incorporates image stabilization techniques without the need for an Inertial Measurement Unit to compensate for ocean wave oscillations. The work also introduces the system architecture of an autonomous marine vessel, besides the components of the open visual perception framework. Results demonstrate the capabilities of obstacle detection, horizon line identification, and water texture detection. © 2023 IEEE.

关键词： Stabilization

来源：评论

学校读者我要写书评

暂无评论

TERMS: textual emotion recognition in multidimensional space

引用

Applied Intelligence 2023年第3期53卷 2673-2693页

作者： Ghafoor, Yusra Jinping, Shi Calderon, Fernando H. Huang, Yen-Hao Chen, Kuan-Ta Chen, Yi-Shin Social Networks and Human-Centered Computing Taiwan International Graduate Program Institute of Information Science Academia Sinica. Institute of Information Systems and Applications National Tsing Hua University Hsinchu City Taiwan Institute of Information Systems and Applications National Tsing Hua University Hsinchu City Taiwan Institute of Information Science Academia Sinica Taipei Taiwan Department of Computer Science National Tsing Hua University Hsinchu City Taiwan

Microblogs generate a vast amount of data in which users express their emotions regarding almost all aspects of everyday life. Capturing affective content from these context-dependent and subjective texts is a challenging task. We propose an intelligent probabilistic model for textual emotion recognition in multidimensional space (TERMS) that captures the subjective emotional boundaries and contextual information embedded in a text for robust emotion recognition. It is implausible with discrete label assignment;therefore, the model employs a soft assignment by mapping varying emotional perceptions in a multidimensional space and generates them as distributions via the Gaussian mixture model (GMM). To strengthen emotion distributions, TERMS integrates a probabilistic emotion classifier that captures the contextual and linguistic information from texts. The integration of these aspects, the context-aware emotion classifier and the learned GMM parameters provide a complete coverage for accurate emotion recognition. The large-scale experimentation shows that compared to baseline and state-of-the-art models, TERMS achieved better performance in terms of distinguishability, prediction, and classification performance. In addition, TERMS provide insights on emotion classes, the annotation patterns, and the models application in different scenarios. © 2022, The Author(s), under exclusive licence to Springer Science+Business Media, LLC, part of Springer Nature.

关键词： Emotion Recognition

来源：评论

学校读者我要写书评

暂无评论

Concept, Technology, Barriers To Smart Village: A Systematic Literature Review

Concept, Technology, Barriers To Smart Village: A Systematic...

引用

International Conference on Cyber and IT Service Management (CITSM)

作者： Joy Nashar Utamajaya Meyliana Harjanto Prabowo Achmad Nizar Hidayanto Arief Ramadhan Computer Science Department BINUS Graduate Program - Computer Science Department Bina Nusantara University Jakarta Indonesia School of Computing Telkom University Bandung Indonesia

Smart villages that utilize digital technology are a solution to assist rural community services in meeting their needs, especially for developing countries. However, financial problems, namely the high cost of infrastructure, the size of the informal economy and governance are challenges in limiting the government’s aspirations regarding the smart village concept. The presentation of this article examines the state of smart village development in developing countries, which includes conceptual understanding, motivations, drivers and barriers to smart villages. The purpose of this study is to find answers to research questions by reviewing several selected study articles. The method used was to search for selected studies and there were 60 selected studies identified from a search of five literature databases which initially contained 3394 articles. The results of the data were analyzed using synthetic analysis and thematic analysis. The results of this study found data related to Concept, Technology, Barriers To Smart Village which came from several articles by answering questions from the research, namely RQ1: How many articles from the 10 most populous countries discussed Smart Village, RQ2: What are the basic dimensions of Smart Village, RQ3: What new technologies are discussed in Smart Village digitization, RQ4: What are the Challenges in Smart Village. The results of this SLR can also later be used as a reference for further researchers to find out the background of research related to smart villages. The conclusion obtained in this research is the end of the explanation of this article concludes that there are still many shortcomings in this research and it is hoped that in the future many studies will be able to explore other aspects such as regulations and others that are not discussed in the article so that it is expected to be a reference for further researchers to examine information related to smart villages. in order to find an ideal and up-to-date con

关键词：

来源：评论

学校读者我要写书评

暂无评论

Experimental Evaluation of a Checklist-Based Inspection Technique to Verify the Compliance of Software Systems with the Brazilian General Data Protection Law

arXiv

引用

arXiv 2023年

作者： Cerqueira, Diego André de Mello, Rafael Maiani Travassos, Guilherme Horta Systems Engineering and Computer Science Graduate Program Federal University of Rio de Janeiro Brazil Computing Institute Federal University of Rio de Janeiro Brazil

Background/Context: Recent laws to ensure the security and protection of personal data establish new software requirements. Consequently, new technologies are needed to guarantee software quality under the perception of privacy and protection of personal data. Therefore, we created a checklist-based inspection technique (LGPDCheck) to support the identification of defects in software artifacts based on the principles established by the Brazilian General Data Protection Law (LGPD). Objective/Aim: To evaluate the effectiveness and efficiency of LGPDCheck for verifying privacy and data protection (PDP) in software artifacts compared to ad-hoc techniques. Method: To assess LGPDCheck and ad-hoc techniques experimentally through a quasi-experiment (two factors, five treatments). The data will be collected from IoT-based health software systems built by software engineering students from the Federal University of Rio de Janeiro. The data analyses will compare results from ad-hoc and LGPDCheck inspections, the participant's effectiveness and efficiency in each trial, defects' variance and standard deviation, and time spent with the reviews. The data will be screened for outliers, and normality and homoscedasticity will be verified using the Shapiro-Wilk and Levene tests. Nonparametric or parametric tests, such as the Wilcoxon or Student's t-tests, will be applied as appropriate. © 2023, CC BY-NC-ND.

关键词： Data privacy

来源：评论

学校读者我要写书评

暂无评论

Low Complexity Broadband Array Processing in Dynamic Scenarios with Jamming

Low Complexity Broadband Array Processing in Dynamic Scenari...

引用

IEEE Conference on Vehicular Technology (VTC)

作者： Daniel V. De Lima João Paulo J. Da Costa Ricardo K. Miranda Antonio Arlis S. Da Silva Giovanni A. Santos José Alfredo R. Vargas Auzuir R. De Alexandria Postgraduate Program in Telecommunications Engineering (PPGET) IFCE Fortaleza Brazil Hamm-Lippstadt University of Applied Sciences (HSHL) Lippstadt Germany Graduate School for Applied Research in North Rhine-Westphalia (PKNRW) Bochum Germany Karlsruhe Institute of Technology (KIT) Karlsruhe Germany Graduate Program in Computing (PPGC) UFRGS Porto Alegre Brazil Postgraduate Program in Mechatronics Engineering (PPMEC) UnB Brasilia Brazil

ISBN: (数字)9798350387414

ISBN: (纸本)9798350387421

Vehicle-to-Everything (V2X) networks require low-latency communications utilizing a broad spectrum while operating under jamming. In this sense, low complexity antenna array-based broadband jamming mitigation schemes are crucial in order to allow low latency communication and low-cost hardware. In this paper we propose low-complexity algorithms for signal recovery in broadband processing scenario applied to V2X. Numerical simulation of a jamming scenario demonstrate the proposed algorithm achieving the same performance in terms of signal-to-interference plus noise ratio (SINR) as the state-of-the-art while taking signiflcantly less time to compute.

关键词： Heuristic algorithms Prevention and mitigation Interference Numerical simulation Broadband communication Broadband antennas Jamming

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：