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

23rd Iberoamerican Conference on Software engineering, CIbSE 2020

作者： de Souza Doreste, Andréa Cristina Travassos, Guilherme Horta Systems Engineering and Computer Science Program COPPE Federal University of Rio de Janeiro Brazil

In Software engineering, context can be understood as the overall set of information used to characterize the situation of an entity. A software system is context-aware if it uses the context to provide relevant information or services to the user. Nowadays, different types of software systems with a profound impact on the user's life can be considered context-aware (e.g., ubiquitous and Internet of Things software systems). Therefore, it is crucial to guarantee that they behave correctly. Software Testing is the primary process for verifying system behavior. Because of the particularities of Context-Aware Software systems (CASS), conventional testing methods are not enough to test such systems. Based on that, we propose CATS#, a technique to support software engineers with the specification of CASS test cases and capture not only the context itself but its variation as well. CATS# is an evolution of the CATS (Context-Aware Test Suite) Design technique. It introduces two relevant evolutions: test case models and a new test template. The test case models were proposed after we searched for context-aware applications through the literature and realized that the context could affect the test process in different manners. The test template was proposed to capture the variation of context by specifying which variation should occur during the test case and when it should occur. We selected one example application to apply our technique, deriving different types of test cases and showing its relevance in these initial steps. © CIbSE 2020.

关键词： Software testing

来源：评论

学校读者我要写书评

暂无评论

A Comparative Evaluation of the SIR and SEIZ Epidemiological Models to Describe the Diffusion Characteristics of COVID-19 Polarizing Viewpoints on Online Social Networks 58

A Comparative Evaluation of the SIR and SEIZ Epidemiological...

引用

58th Hawaii International Conference on System sciences, HICSS 2025

作者： Maleki, Maryam Agarwal, Nitin Systems Engineering Program California State University Dominguez Hills United States COSMOS Research Center UA - Little Rock AR United States International Computer Science Institute University of California Berkeley United States

ISBN: (纸本)9780998133188

To understand and characterize the diffusion trends of opposing viewpoints on Twitter (X), we applied two epidemiological models to six datasets related to COVID-19. We compared the results of the SIR (Susceptible, Infected, Recovered) and the SEIZ (Susceptible, Exposed, Infected, Skeptics) epidemiological models. We collected six datasets indicative of polarizing viewpoints related to contentious subjects surrounding the COVID-19 pandemic. Three of the datasets fall into an anti-subject hashtag group, and three of the datasets fall into a pro-subject hashtag group. The timeframe of each dataset is from January 1, 2020, to the end of 2021. Our findings demonstrate that while both the SIR and the SEIZ models are able to evaluate the propagation trends of the polarizing viewpoints, the SEIZ model is more accurate with relatively less error compared to the SIR model. This work sets the stage for ultimately leading to the ability to develop methods to prevent the propagation of ideas that lack scientific evidence while promoting the spread of scientifically backed ideas. © 2025 IEEE computer Society. All rights reserved.

关键词： Tweets

来源：评论

学校读者我要写书评

暂无评论

On nonrepetitive colorings of paths and cycles

arXiv

引用

arXiv 2023年

作者： Botler, Fábio Lomenha, Wanderson de Souza, João Pedro Program System Engineering and Computer Science COPPE Brazil Universidade Federal do Rio de Janeiro Brazil Colégio Pedro II Brazil

We say that a sequence a1 · · · a2t of integers is repetitive if ai = ai+t for every i ∈ {1, ..., t}. A walk in a graph G is a sequence v1 · · · vr of vertices of G in which vivi+1 ∈ E(...

We say that a sequence a1 · · · a2t of integers is repetitive if ai = ai+t for every i ∈ {1, ..., t}. A walk in a graph G is a sequence v1 · · · vr of vertices of G in which vivi+1 ∈ E(G) for every i ∈ {1, ..., r − 1}. Given a k-coloring c: V (G) → {1, ..., k} of V (G), we say that c is walk-nonrepetitive (resp. stroll-nonrepetitive) if for every t ∈ N and every walk v1 · · · v2t the sequence c(v1) · · · c(v2t) is not repetitive unless vi = vi+t for every i ∈ {1, ..., t} (resp. unless vi = vi+t for some i ∈ {1, ..., t}). The walk (resp. stroll) chromatic number σ(G) (resp. ρ(G)) of G is the minimum k for which G has a walk-nonrepetitive (resp. stroll-nonrepetitive) k-coloring. Let Cn and Pn denote, respectively, the cycle and the path with n vertices. In this paper we present three results that answer questions posed by Barát and Wood in 2008: (i) σ(Cn) = 4 whenever n ≥ 4 and n ∈/{5, 7};(ii) ρ(Pn) = 3 if 3 ≤ n ≤ 21 and ρ(Pn) = 4 otherwise;and (iii) ρ(Cn) = 4, whenever n ∈/{3, 4, 6, 8}, and ρ(Cn) = 3 otherwise. In particular, (ii) improves bounds on n obtained by Tao in *** Codes 05C15, 05C38 Copyright © 2023, The Authors. All rights reserved.

关键词：

来源：评论

学校读者我要写书评

暂无评论

AFRODITE - Optimizing Federated Learning in Resource-Constrained Environments Through Data Sampling Techniques

AFRODITE - Optimizing Federated Learning in Resource-Constra...

引用

Pervasive and Intelligent Computing (PICom), IEEE Conference on

作者： Mayara Aragão Pedro González Claudio de Farias Flávia Delicato Systems Engineering and Computer Science Program Federal University of Rio de Janeiro Fluminense Federal University Rio de Janeiro Brazil

ISBN: (数字)9798331522742

ISBN: (纸本)9798331522759

Federated Learning (FL) has emerged as a promising solution to address challenges in traditional machine learning (ML) regarding data privacy and security. However, training federated models in resource-constrained environments, such as IoT devices, presents challenges due to limited computational resources and complex data. This paper proposes data sampling techniques to optimize federated training in such environments, aiming to reduce training time while maintaining model quality. The study evaluates the impact of data sampling on federated model performance and compares it with traditional approaches. The methodology involves implementing random data selection in client datasets within the context of federated learning and conducting experiments across different configurations to analyze results. The findings provide insights for practical application in real-world scenarios with computational constraints.

关键词： Training Accuracy Federated learning Computational modeling Data models Robustness Proposals Internet of Things Security Standards

来源：评论

学校读者我要写书评

暂无评论

Exploring Personal Knowledge Ecologies: Dealing with Digital Platform Asymmetries

Exploring Personal Knowledge Ecologies: Dealing with Digital...

引用

International Conference on computer Supported Cooperative Work in Design

作者： Marcos Antonio De Almeida Jano Moreira De Souza António Correia Daniel Schneider Systems Engineering and Computer Science Program (PESC/COPPE/UFRJ) Rio de Janeiro Brazil Faculty of Information Technology University of Jyväskylä Jyväskylä Finland Postgraduate Program in Informatics PPGI/UFRJ Rio de Janeiro Brazil Tércio Pacitti Institute of Computer Applications and Research NCE/UFRJ Rio de Janeiro Brazil

ISBN: (数字)9798350349184

ISBN: (纸本)9798350349191

The rise of artificial intelligence agents and information technology platforms governed by data-driven algorithms has had profound impacts on the way knowledge work is managed and carried out. Concerning the novel uses of digital work platforms, the arising tensions might suggest that the socio-technical design frameworks adopted by major tech firms are becoming less viable and in some cases ineffective. We propose a conceptual architecture to support a socio-technical framework for exploring Personal Knowledge Ecologies in the context of the digital knowledge economy. This framework aims to increase the degree of individual freedom for the interoperation of these knowledge information infrastructures.

关键词： Knowledge engineering Sociotechnical systems computer architecture Ecology Software Heterogeneous networks Complexity theory

来源：评论

学校读者我要写书评

暂无评论

Analyzing the Effectiveness of Smartphone Applications on Disease Management and Healthcare systems

Analyzing the Effectiveness of Smartphone Applications on Di...

引用

International Conference on Application of Information and Communication Technologies (AICT)

作者： Rabei Raad Ali Wisam Subhi Al-Dayyeni Christy Atika Sari Eko Hari Rachmawanto Candra Irawan Omar M. Jihad Department of Computer Engineering Technology Northern Technical University Mosul Iraq School of Information Technologies and Engineering ADA University Baku Azerbaijan Study Program in Informatics Engineering Faculty of Computer Science University of Dian Nuswantoro Semarang Indonesia Study Program in Information Systems Faculty of Computer Science University of Dian Nuswantoro Semarang Indonesia

ISBN: (数字)9798350387537

ISBN: (纸本)9798350387544

In today’s complex global environments, it is highly challenging to achieve effective healthcare management. The critical challenges faced by healthcare management are being met by the revolution of m-health where mobile cloud computing plays a major role. The taxonomy of mobile computing comprises operational aspects, end-user issues, and service quality and mobility management. The use of smartphone technologies and applications has become a highly significant approach to improving healthcare management. Mobile health services such as mobile pathology, mobile neurosurgery, cancer treatment, and behavioral/psychological disorders are gaining significance where smartphone applications are being used. Portability, flexibility, and convenience are major characteristics of mobile computing that have helped patients and doctors to develop better relationships through coordination and communication. The relationship between smartphone technologies and applications and healthcare management can be understood in several broad aspects. This article aims to analyze the current and future implications of these technologies on healthcare and disease management systems.

关键词： Pathology Cloud computing Taxonomy Cancer treatment Medical services Benchmark testing Neurosurgery Information and communication technology Mobile computing Diseases

来源：评论

学校读者我要写书评

暂无评论

Extraction of c- F os Protein Regions from Mouse Brain Slice Images using Multi-channelization, 1 x 1 Convolution and U -Net 13

Extraction of c- F os Protein Regions from Mouse Brain Slice...

引用

Joint 13th International Conference on Soft Computing and Intelligent systems and 25th International Symposium on Advanced Intelligent systems, SCIS and ISIS 2024

作者： Wang, Ziyue Okamura, Hibiki Luo, Shijie Hayashi, Yu Takizawa, Hotaka Master's Program in Computer Science University of Tsukuba Tsukuba Japan International Institute for Integrative Sleep Medicine University of Tsukuba Ph.D. Program in Humanics Tsukuba Japan International Institute for Integrative Sleep Medicine University of Tsukuba Tsukuba Japan Institute of Systems and Information Engineering Academic Computing and Communications Center University of Tsukuba Tsukuba Japan

ISBN: (纸本)9798350373332

This study proposed a novel extraction method of c-Fos protein regions in DAB(3,3'-diaminobenzidine)-stained mouse brain slice images using the U-Net model combined with the multi-channelization and 1×1 convolution techniques. Our U-Net m odel, called 1× 1 conv U-Net, was applied to three DAB- strainedmouse slice images whose resolutions were 1000x1000 pixels. The experimental results demonstrated that the 1×1 conv U-Net outperformed the conventional U-Net. © 2024 IEEE.

关键词： Mammals

来源：评论

学校读者我要写书评

暂无评论

IoE Knowledge Flow Model in Smart Cities

IoE Knowledge Flow Model in Smart Cities

引用

2022 IEEE International Conference on systems, Man, and Cybernetics, SMC 2022

作者： Paes, Vitor C. Pessoa, Clinton H. M. Farias Da Costa, Viviane C. Oliveira, Luiz F. S. De Souza, Jano M. Federal University of Rio de Janeiro Systems Engineering and Computer Science Program Rio de Janeiro Brazil Federal Institute of Rio de Janeiro Niterói Brazil

ISBN: (数字)9781665452588

ISBN: (纸本)9781665452588

With a growing demand for new technologies, concepts such as the Internet of Everything (IoE) - in which smart sensors (humans and machines) connect, communicate, and share information from the surrounding environment - are gaining notoriety. Thus, this study focuses on developing a knowledge flow model in the IoE scenario for Smart Cities, including how knowledge is disseminated in these intelligent environments in human-to-machine interactions. The study considers a knowledge-based taxonomy defined for IoE environments and supports the full realization of IoE applications through a knowledge management strategy. The proposed IoE Knowledge Flow Model contributes to identification of knowledge flows related to IoE architecture layers in smart city applications. © 2022 IEEE.

关键词： Internet of Everything

来源：评论

学校读者我要写书评

暂无评论

Performance Enhancement of Stream-Based Decompression Process by Notifying Compression Buffer Size

Performance Enhancement of Stream-Based Decompression Proces...

引用

IEEE Symposium on computers and Communications (ISCC)

作者： Taiki Kato Shinichi Yamagiwa Koichi Marumo Master's Program in Computer Science Degree Program in Systems and Information Engineering University of Tsukuba Tsukuba Ibalaki Japan Faculty of Engineering Information and Systems University of Tsukuba Tsukuba Ibalaki Japan

This paper focuses on a performance enhancement of communication performance by compressing data stream. ASE coding is an effective lossless data compression method for data stream. The software implementation of the coding/decoding method inevitably meets a performance mismatch in memory and storage devices. In the compressor side, it is predictable to decide the size of an original data block and is available to process a flexible buffer memory. However, the decompressor is not able to predict the buffer size because the original data size is not obvious before the decompression. This causes a performance mismatch in the filesystem level. This paper proposes a novel method to address the performance mismatch by applying a notification mechanism of compression size from the compressor. This paper describes the mechanism focusing on the system call usage. Through experimental evaluations, we show the performance improvement of the decompression performance for handling data stream.

关键词：

来源：评论

学校读者我要写书评

暂无评论

High Resolution of City-Level Climate Simulation by GPU with Multi-physical Phenomena 18th

High Resolution of City-Level Climate Simulation by GPU with...

引用

18th IFIP WG 10.3 International Conference on Network and Parallel Computing, NPC 2021

作者： Watanabe, Koei Kikuchi, Kohei Boku, Taisuke Sato, Takuto Kusaka, Hiroyuki Master’s Program in Computer Science Graduate School of Systems and Information Engineering University of Tsukuba Tsukubashi Japan Center for Computational Sciences University of Tsukuba Tsukubashi Tennodi Japan

ISBN: (纸本)9783030935702

In this paper, we describe the Graphics Processing Unit (GPU) implementation of our City-LES code on detailed large eddy simulations, including the multi-physical phenomena on fluid dynamics, heat absorption and reflection by surface and building materials, cloud effects, and even sunlight effect. Because a detailed simulation involving these phenomena is required for analyses at the street level and several meters of resolution, the computation amount is enormous, and ordinary CPU computation cannot provide sufficient performance. Therefore, we implemented the entire code on GPU clusters with large-scale computing. We applied OpenACC coding to incrementally implement relatively easy programming and eliminate data transfers between the CPU and GPU memories. Based on this research, we determined that the elimination of data transfers is effective, even in the case where a part of the code execution on the GPU is slower than the CPU, owing to the absence of spatial parallelism. The objective of this study is to perform a complete climate simulation on a few square-kilometers field around the Tokyo Station, considering the finest resolution of the original highlighted area of the Marathon race in the Olympic Games Tokyo 2020. We successfully transferred the entire code to the GPU to provide approximately eight times the performance of CPU-only computation on multi-GPU per node with a large scale cluster. © 2022, IFIP International Federation for Information Processing.

关键词： Graphics processing unit

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：