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

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

来源：评论

学校读者我要写书评

暂无评论

Enhancing Student Engagement in Distance Learning with Gamified Educational Application

Enhancing Student Engagement in Distance Learning with Gamif...

引用

International Conference on Advanced Learning Technologies (ICALT)

作者： Fernando Da Silva Pontes Luis Carlos Costa Fonseca Sofiane Labidi UEMA Graduate Program in Computer and Systems Engineering State University of Maranhão São Luís Brazil UFMA Bachelor ofScience and Technology Program -BICT Federal University of Maranhão São Luís Brazil

ISBN: (数字)9798350362053

ISBN: (纸本)9798350362060

This research explores the potential of gamified educational applications as motivational tools for distance learning students. The study draws from the research conducted by Fernando da Silva Pontes in his dissertation, which examines the impact of gamification on student motivation and engagement in the context of distance education. The paper provides a comprehensive overview of the theoretical foundations of gamification and its application in educational settings, synthesizing existing research on the impact of gamified educational applications on student motivation, engagement, and learning outcomes. The findings highlight the significant contribution of gamification in fostering a collaborative and interactive learning environment for distance education students. The study underscores the transformative potential of gamification in addressing the challenges of student motivation and engagement in distance education, paving the way for future advancements in educational practices and research. The paper provides insights into the potential of gamification in enhancing the learning experience for distance education students, contributing to the understanding of the effectiveness of gamified educational applications in motivating and engaging students in the context of distance learning.

关键词： computer aided instruction Technological innovation Education Collaboration Games Market research Stakeholders

来源：评论

学校读者我要写书评

暂无评论

Magnetoelastic coupling driven magnon gap in a honeycomb antiferromagnet

引用

Physical Review B 2024年第10期110卷 104419页

作者： Jeongheon Choe Andrey Baydin Gaihua Ye Bowen Ma Cynthia Nnokwe Martin Rodriguez-Vega David Lujan Swati Chaudhary Fuyang Tay Jiaming He Hiroyuki Nojiri Jianshi Zhou Gregory A. Fiete Junichiro Kono Rui He Xiaoqin Li Department of Physics Center of Complex Quantum Systems Center for Dynamics and Control of Materials Department of Electrical and Computer Engineering Smalley–Curl Institute Department of Physics Applied Physics Graduate Program Smalley–Curl Institute Department of Mechanical Engineering Institute for Materials Research Department of Physics and Astronomy Department of Materials Science and NanoEngineering

Cobalt titanate, CoTiO3, is a honeycomb antiferromagnet recently confirmed experimentally to host Dirac magnons, topological spin-orbit excitons, and chiral phonons. Here, we investigate a magnon gap at the zone center which calls for a refined spin Hamiltonian. We propose a microscopic model for the magnon gap and attribute it to a lattice-distortion (phonon)-induced higher-order spin interaction. Strong magnetoelastic coupling in CoTiO3 is also evident in Raman spectra, in which the magnetic order exerts a stronger influence on phonons corresponding to in-plane ionic motions than those with out-of-plane motions. We further examine the evolution of the zone-center magnons in a high magnetic field up to 18.5 T via THz absorption spectroscopy measurements. Based on this field dependence, we propose a spin Hamiltonian that not only agrees with magnon dispersion measured by inelastic neutron scattering but also includes fewer exchange constants and a realistic anisotropy term. Our work highlights the broad implications of magnetoelastic coupling in the study of topologically protected bosonic excitations.

关键词： Magnetism Magnons Topological materials Raman spectroscopy Terahertz spectroscopy

来源：评论

学校读者我要写书评

暂无评论

Alignment-Free Estimation of Read to Genome Distances and Its Applications 29th

Alignment-Free Estimation of Read to Genome Distances and...

引用

29th International Conference on Research in Computational Molecular Biology, RECOMB 2025

作者： Şapcı, Ali Osman Berk Mirarab, Siavash Bioinformatics and Systems Biology Graduate Program UC San Diego San DiegoCA92093 United States Department of Electrical and Computer Engineering UC San Diego San DiegoCA92093 United States

ISBN: (纸本)9783031902512

Searching reads from unknown origins in a reference database and finding evolutionarily similar genomes is central to many applications. Quantifying the similarity by estimating the distance between each read and matching references could further help downstream analyses such as taxonomic characterization or even placing the read on a reference phylogeny. Such distances can be computed using alignment. Since alignment becomes impractical for ultra-large reference databases, many use k-mer-based tools for downstream tasks, but these methods do not compute distances. We introduce krepp to compute the distance between a read and a genome using a maximum likelihood framework built around k-mers. We further introduce algorithms to place reads on a reference tree. Empirical evaluations show that krepp accurately estimates distances, scales well with large databases, and can place short reads coming from any part of the genome on a reference phylogeny. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.

关键词： Average nucleotide identity Metagenomics Phylogenetic placement

来源：评论

学校读者我要写书评

暂无评论

IoT for Water Quality Categorization 5

IoT for Water Quality Categorization

引用

5th International Conference on Cybernetics and Intelligent systems, ICORIS 2023

作者： Sastrohartono, Hermantoro Krisdiarto, Andreas Wahyu Uktoro, Arief Ika Rahutomo, Reza Suparyanto, Teddy Pardamean, Bens Institute of Agriculture Stiper Faculty of Agricultural Technology Agricultural Engineering Department Yogyakarta Indonesia Bina Nusantara University School of Information Systems Information System Department Jakarta11480 Indonesia Bina Nusantara University Bioinformatics & Data Science Research Center Jakarta11480 Indonesia Bina Nusantara University Binus Graduate Program Master of Computer Science Computer Science Department Jakarta11480 Indonesia

ISBN: (纸本)9798350369489

In agricultural water research, the adoption of Internet of Things (IoT) technology has emerged as a pivotal approach for large-scale data collection. Water availability in the context of water quality is very important, both for domestic and industrial purposes. For domestic purposes, drinking water and bathing water are separated. Meanwhile, for the palm oil industry, boiler filler is differentiated from additional process water (dilution water). Water quality parameters can be assessed from turbidity and Total Dissolve Solid (TDS). Measurements using measuring instruments separately and repeatedly require significant energy, time, and costs. This research was conducted with the primary objective of presenting a novel method for categorizing water quality with the approach of IoT sensor technology. The research methodology entailed the utilization of an integrated IoT water sensors system in conjunction with manual water categorization. The methods consist of (1) system design, (2) design and installation of sensor and IoT-based microcontrollers, and (3) accuracy and precision testing compared with laboratory measurements. The precision of the integrated IoT water sensors was assessed through a dedicated sensor precision test, resulting in an accuracy rate of 94.4% for the turbidity sensor and 97.5% for the TDS sensor. Notably, this approach successfully discriminated drinking water with valid categorization, while other water types, including groundwater, water with tea, and water with coffee, yielded null categorization results. © 2023 IEEE.

关键词： Internet of things

来源：评论

学校读者我要写书评

暂无评论

Analysis of the Brazilian Climate Data Influence on Soybean Pricing by Using Long Short-Term Memory Models

SSRN

引用

SSRN 2024年

作者： Oliva, Jefferson Tales Martelli, Otávio Pigozzo de Castro Barbosa, Marco Antônio Dal Molin, Viviane Casanova, Dalcimar Teixeira, Marcelo Graduate Program in Electrical and Computer Engineering Federal University of Technology-Paraná PR Pato Branco85503-390 Brazil Department of Academic Informatics Federal University of Technology-Paraná PR Pato Branco85503-390 Brazil Graduate Program in Production and Systems Engineering Federal University of Technology-Paraná PR Pato Branco85503-390 Brazil

This work uses machine learning to verify whether the Brazilian climate influences international soybean price prediction. For this, climatic data, dollar quotes, inflation, and annual soybean production were collected from different data sources. Then, the collected data were pre-processed and grouped by Brazilian state. Afterward, data from the five most productive Brazilian states are chosen, such as Mato Grosso (MT), Mato Grosso do Sul (MS), Goiás (GO), Paraná (PR), and Rio Grande do Sul (RS). Afterward, predictive models are built using the long short-term memory (LSTM) method, which is applied in each chosen state dataset considering two different settings: with and without climatic data. Thus, two models were built for each Brazilian state, totaling ten predictors. In the experimental evaluation, when trained with climatic data, the PR model achieved the lowest values of root mean squared error (RMSE) and mean absolute error (MAE). Regarding predictors trained without climate data, the RS and PR obtained the lowest values of RMSE and MAE, respectively. After conducting statistical hypothesis tests, no significant difference was found among models, stating, with 95% certainty, that, in this study, the Brazilian climatic data did not influence the model performance for predicting soybean prices. On the other hand, one of the main contributions of work is conducting an unprecedented study about soybean price prediction using Brazilian climatic data. © 2024, The Authors. All rights reserved.

关键词： Long short-term memory

来源：评论

学校读者我要写书评

暂无评论

A Constructive Heuristic for the Uniform Capacitated Vertex k-center Problem

引用

ACM Journal of Experimental Algorithmics 2023年第2期28卷 1-26页

作者： Cornejo-Acosta, José Alejandro García-Díaz, Jesús Pérez-Sansalvador, Julio César Ríos-Mercado, Roger Z. Pomares-Hernández, Saúl Eduardo Instituto Nacional de Astrofísica Óptica y Electrónica Computer Science Department Puebla72840 Mexico Tecnológico Nacional de México/ITS de Purísima Del Rincón Computer Engineering Department Guanajuato36425 Mexico Consejo Nacional de Humanidades Ciencias y Tecnologías Mexico City03940 Mexico Universidad Autónoma de Nuevo León Graduate Program in Systems Engineering San Nicolás de los GarzaNL 66455 Mexico LAAS-CNRS Université de Toulouse France INSA ToulouseF31400 France

The uniform capacitated vertex k-center problem is an -hard combinatorial optimization problem that models real situations where k centers can only attend a maximum number of customers, and the travel time or distance from the customers to their assigned center has to be minimized. This article introduces a polynomial-time constructive heuristic algorithm that exploits the relationship between this problem and the minimum capacitated dominating set problem. The proposed heuristic is based on the one-hop farthest-first heuristic that has proven effective for the uncapacitated version of the problem. We carried out different empirical evaluations of the proposed heuristic, including an analysis of the effect of a parallel implementation of the algorithm, which significantly improved the running time for relatively large instances. © 2023 Copyright held by the owner/author(s). Publication rights licensed to ACM.

关键词： Travel time

来源：评论

学校读者我要写书评

暂无评论

Assessing Distributed Energy Resource Hosting Capacity Under Different Grid-Tie Inverter Control Strategies

Assessing Distributed Energy Resource Hosting Capacity Under...

引用

Workshop on Communication Networks and Power systems (WCNPS)

作者： Brenda L. M. Santos Luciano S. Barros Daniel Barbosa Fernando A. Moreira Graduate Program in Electrical Engineering Federal University of Bahia Salvador Brazil Computer Systems Department Federal University of Paraíba João Pessoa Brazil Department of Electrical and Computer Engineering Federal University of Bahia Salvador Brazil

Despite the potential benefits that the integration of distributed energy resources (DERs) can bring to the system, it may cause problems related to power quality constraints, such $as$ reverse power flow in substation and overvoltages. An effective approach to address these problems involves the adoption of reactive and active power control in grid-tie inverters associated with DER. Therefore, this paper assesses the impacts of grid-tie inverter control modes, including both Volt-Var and Volt-Watt strategies, on the DER hosting capacity. In order to improve the overall system operation, modifications in the Volt-Var and Volt-Watt curves were proposed. It is noteworthy that these control strategies can have adverse effects on certain distribution system performance indicators, such $as$ voltage deviation and power losses; for this reason, these indicators are also evaluated in this study. A stochastic approach was adopted to deal with the uncertainties associated with DERs and loads. Finally, from tests conducted in the IEEE 33-bus test system, it was concluded that the proper adjustment of the Volt-Var and Volt-Watt control curves significantly influences DER hosting capacity, $as$ well $as$ voltage deviation and power losses.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Expert-level sleep staging using an electrocardiography-only feed-forward neural network

引用

computers in Biology and Medicine 2024年 176卷 108545-108545页

作者： Jones, Adam M. Itti, Laurent Sheth, Bhavin R. Neuroscience Graduate Program University of Southern California Los AngelesCA United States Department of Electrical & Computer Engineering University of Houston HoustonTX United States Center for NeuroEngineering and Cognitive Systems University of Houston HoustonTX United States

Reliable classification of sleep stages is crucial in sleep medicine and neuroscience research for providing valuable insights, diagnoses, and understanding of brain states. The current gold standard method for sleep stage classification is polysomnography (PSG). Unfortunately, PSG is an expensive and cumbersome process involving numerous electrodes, often conducted in an unfamiliar clinic and annotated by a professional. Although commercial devices like smartwatches track sleep, their performance is well below PSG. To address these disadvantages, we present a feed-forward neural network that achieves gold-standard levels of agreement using only a single lead of electrocardiography (ECG) data. Specifically, the median five-stage Cohen's kappa is 0.725 on a large, diverse dataset of 5 to 90-year-old subjects. Comparisons with a comprehensive meta-analysis of between-human inter-rater agreement confirm the non-inferior performance of our model. Finally, we developed a novel loss function to align the training objective with Cohen's kappa. Our method offers an inexpensive, automated, and convenient alternative for sleep stage classification—further enhanced by a real-time scoring option. Cardiosomnography, or a sleep study conducted with ECG only, could take expert-level sleep studies outside the confines of clinics and laboratories and into realistic settings. This advancement democratizes access to high-quality sleep studies, considerably enhancing the field of sleep medicine and neuroscience. It makes less-expensive, higher-quality studies accessible to a broader community, enabling improved sleep research and more personalized, accessible sleep-related healthcare interventions. © 2024 Elsevier Ltd

关键词： Electrocardiography

来源：评论

学校读者我要写书评

暂无评论

Diabetes Classification Using Support Vector Machine: Binary Classification Model 4

Diabetes Classification Using Support Vector Machine: Binary...

引用

4th International Conference on Information and Communications Technology, ICOIACT 2021

作者： Rabiha, Suciana Ghadati Wibowo, Antoni Lukas Heryadi, Yaya Computer Science Department BINUS Graduate Program-Doctor of Computer Science. Information Systems Department BINUS Online Learning Bina Nusantara University Jakarta11480 Indonesia Computer Science Department BINUS Graduate Program-Doctor of Computer Science Bina Nusantara University 11480 Indonesia Faculty of Engineering Universitas Katolik Indonesia Atma Jaya Indonesia Computer Science Department BINUS Graduate Program - Doctor of Computer Science Bina Nusantara University 11480 Indonesia

ISBN: (纸本)9781665433945

One of the health problems that require special attention is diabetes, besides the growth of this disease infection is increasing in various circles ranging from children, adults, men, women and the elderly. So to detect diabetes at an early stage, machine learning algorithms are the right choice to help detect indications of diabetes. This paper presents experimental results related to the exploration of the use of a Super Vector Machine (SVM) for data classification of Diabetes. The model used in this experiment is the Binary Classification Model. Based on the test results, the highest accuracy is obtained by using a total of 700 lines of data, which is 75,7143%. The Best estimated feasible point in Box Constraint is 272.29 with a KernelScale area of 72.627. © 2021 IEEE

关键词： Face recognition

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：