发布求助
文献互助 智能选刊 最新文献

Research initiative, treatment action : RITA最新文献

筛选
英文 中文
A Mechanized Proof of a Textbook Type Unification Algorithm 教科书式统一算法的机械化证明
Research initiative, treatment action : RITA Pub Date : 2020-06-18 DOI: 10.22456/2175-2745.100968
A. R. D. Bois, R. Ribeiro, Maycon Amaro
{"title":"A Mechanized Proof of a Textbook Type Unification Algorithm","authors":"A. R. D. Bois, R. Ribeiro, Maycon Amaro","doi":"10.22456/2175-2745.100968","DOIUrl":"https://doi.org/10.22456/2175-2745.100968","url":null,"abstract":"Unification is the core of type inference algorithms for modern functional programming languages, like Haskell and SML. As a first step towards a formalization of a type inference algorithm for such programming languages, we present a formalization in Coq of a type unification algorithm that follows classic algorithms presented in programming language textbooks. We also report on the use of such formalization to build a correct type inference algorithm for the simply typed λ-calculus.","PeriodicalId":82472,"journal":{"name":"Research initiative, treatment action : RITA","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-06-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"78589607","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Int-FLBCC: Model for Load Balancing in Cloud Computing using Fuzzy Logic Type-2 and Admissible Orders Int-FLBCC:基于二类模糊逻辑和允许顺序的云计算负载平衡模型
Research initiative, treatment action : RITA Pub Date : 2020-06-18 DOI: 10.22456/2175-2745.98362
G. Schneider, Bruno M. P. Moura, A. Yamin, R. Reiser
{"title":"Int-FLBCC: Model for Load Balancing in Cloud Computing using Fuzzy Logic Type-2 and Admissible Orders","authors":"G. Schneider, Bruno M. P. Moura, A. Yamin, R. Reiser","doi":"10.22456/2175-2745.98362","DOIUrl":"https://doi.org/10.22456/2175-2745.98362","url":null,"abstract":"Dynamic consolidation of virtual machines (VMs) is an effective way to improve resource utilization and power efficiency in cloud computing, directly affecting Quality of Service aspects. This paper presents Int-FLBCC, a new proposal with exploring a Type-2 Fuzzy Logic approach to address the uncertainties and inaccuracies in determining resource usage, aiming at energy savings with minimal performance degradation. Validation results in a simulated cloud computing environment showed improvements in energy efficiency of 8.83% with IQR_XY and 22.43% with MAD_XY. For fulfillment of Service Level Agreements (SLA), the best values achieved were 9.06% with MAD_XY and 25% of THR_Lex1.","PeriodicalId":82472,"journal":{"name":"Research initiative, treatment action : RITA","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-06-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81517869","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Experiments on Model-Based Software Energy Consumption Analysis Involving Sorting Algorithms 涉及排序算法的基于模型的软件能耗分析实验
Research initiative, treatment action : RITA Pub Date : 2020-06-18 DOI: 10.22456/2175-2745.98904
D. Alves, O. A. Ferreira, L. Duarte, Davi Silva, P. Maia
{"title":"Experiments on Model-Based Software Energy Consumption Analysis Involving Sorting Algorithms","authors":"D. Alves, O. A. Ferreira, L. Duarte, Davi Silva, P. Maia","doi":"10.22456/2175-2745.98904","DOIUrl":"https://doi.org/10.22456/2175-2745.98904","url":null,"abstract":"Although energy has become an important aspect in software development, little support exists for creating energy-efficient programs. One reason for that is the lack of abstractions and tools to enable the analysis of relevant properties involving energy consumption. This paper presents the results of some experiments involving the gathering, modelling, and analysis of energy-related information, in particular, the costs of executing certain parts of a software. We combine some existing free and open-source tools to carry out the experiments, extending one of them to handle energy information. Our experiments consider a comparison of energy consumption of Java implementations of the Bubble Sort, Insertion Sort and Selection Sort algorithms using different data structures. We show how to combine an energy measurement tool and a model analysis tool to carry such a comparison. Based on this support and on our experiments, we believe this is a first step to allow developers to start creating more energy-efficient software.","PeriodicalId":82472,"journal":{"name":"Research initiative, treatment action : RITA","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-06-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87392047","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Automatic identification of knowledge related to dengue cases in the state of Piauí in public databases using Filtered-Association Rules Networks 使用过滤关联规则网络自动识别公共数据库中Piauí状态下登革热病例相关知识
Research initiative, treatment action : RITA Pub Date : 2020-06-18 DOI: 10.22456/2175-2745.99849
Joan D. S. Silva, Jâina Carolina Meneses Calçada, S. O. Rezende, D. Calçada
{"title":"Automatic identification of knowledge related to dengue cases in the state of Piauí in public databases using Filtered-Association Rules Networks","authors":"Joan D. S. Silva, Jâina Carolina Meneses Calçada, S. O. Rezende, D. Calçada","doi":"10.22456/2175-2745.99849","DOIUrl":"https://doi.org/10.22456/2175-2745.99849","url":null,"abstract":"Dengue is an endemic disease in Brazil since the 1980s and since 1996 in Piau ́ı. The number of cases increases each year, with the incidence of more severe symptoms. This research aimed to evaluate the use of an automatic knowledge identification technique in factors related to the number of dengue occurrences. We built a dataset formed by data available in the Information System for Notifiable Diseases (SINAN) and meteorological data of the municipalities of the coastal plain of Piau ́ı. The technique used was that of Filtered Association Rules Networks, which allows visual analysis of knowledge through the use of network structures and rules filtering. As a main result, we confirmed the understanding that the most significant number of cases occurs in May, as it is the moment when the rainfall indexes are decreasing, besides that socio-cultural and race factors do not interfere in the identification of the population of higher risk. This research presents the innovation of the use of a computational technique of automatic knowledge discovery that can assist in the elaboration of prevention actions by epidemiological surveillance.","PeriodicalId":82472,"journal":{"name":"Research initiative, treatment action : RITA","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-06-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84785824","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Arisa Nest - A Cloud-Based Platform for Development of Virtual Assistant Arisa Nest——基于云的虚拟助手开发平台
Research initiative, treatment action : RITA Pub Date : 2020-04-27 DOI: 10.22456/2175-2745.97411
S. P. Zambiasi, R. Rabelo
{"title":"Arisa Nest - A Cloud-Based Platform for Development of Virtual Assistant","authors":"S. P. Zambiasi, R. Rabelo","doi":"10.22456/2175-2745.97411","DOIUrl":"https://doi.org/10.22456/2175-2745.97411","url":null,"abstract":"The use of virtual assistants has become popularized by their adhesion by large companies. This is because they have brought benefits to a certain extent in people’s daily activities or in their tasks in organizations, with reminders, automation of repetitive tasks, proposing solutions for various situations, etc.. To meet this demand, several tools have been developed to create this type of agent. Following the same trends, this paper presents the Arisa Nest platform, under the Platform as a Service model, as a tool to create virtual assistants with resources to manage information about users, create algorithms to give more effective answers, consume web services to the interoperability with other systems and with proactivity behaviors. Finally, some cases are presented using the platform in real scenarios and tests.","PeriodicalId":82472,"journal":{"name":"Research initiative, treatment action : RITA","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-04-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90109756","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Reactive multi-agent system applied to self-healing in Smart Grids 反应型多智能体系统在智能电网自愈中的应用
Research initiative, treatment action : RITA Pub Date : 2020-04-27 DOI: 10.22456/2175-2745.97479
I. Campos, F. Saraiva
{"title":"Reactive multi-agent system applied to self-healing in Smart Grids","authors":"I. Campos, F. Saraiva","doi":"10.22456/2175-2745.97479","DOIUrl":"https://doi.org/10.22456/2175-2745.97479","url":null,"abstract":"This paper presents a decentralized algorithm for application in the smart grids self-healing problem, at the distribution level. The algorithm implementation is made using a reactive multi-agent system, which models the electrical grid in terms of autonomous agents which perform the algorithm operations in a distributed and parallel way. To validate this algorithm, two distribution network test models are used: a 15 bus model and a 33 bus model — standardized by IEEE. The results are obtained by means of computational simulation and shown in this paper, to each one of the network models. The results show that the proposed approach is able to recover all the nodes of the grid, within the simulation conditions. Moreover, it is seen that the multi-agent system directs the work load exactly to the failure point, preventing the involvement of the entire grid to the self-healing process.","PeriodicalId":82472,"journal":{"name":"Research initiative, treatment action : RITA","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-04-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84449607","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Mosaik and PADE: Multiagents and Co-simulation for smart grids modeling Mosaik和PADE:智能电网建模的多智能体和联合仿真
Research initiative, treatment action : RITA Pub Date : 2020-04-27 DOI: 10.22456/2175-2745.95095
L. S. Melo, F. Saraiva, R. Leão, R. F. Sampaio, G. Barroso
{"title":"Mosaik and PADE: Multiagents and Co-simulation for smart grids modeling","authors":"L. S. Melo, F. Saraiva, R. Leão, R. F. Sampaio, G. Barroso","doi":"10.22456/2175-2745.95095","DOIUrl":"https://doi.org/10.22456/2175-2745.95095","url":null,"abstract":"This paper describes the integration process between two tools in order to perform co-simulation for representation and analysis of dynamic environments in the context of smart grids. The integrated tools are Mosaik, a software to co-simulation management, and PADE, a software to multi-agent systems development. As a study case for demonstrate the integration, a scenary was utilized composed of a low voltage electricity distribution grid with 37 load bus, 20 photo-voltaic distributed generations, randomly connected to load bus, as well as, 20 PADE agents associated to distributed generation, modeling the behavior of electricity storage systems. The simulation results show the integration happening and demonstrate how useful is to model the dynamics of distributed electric resources with multi-agent systems.","PeriodicalId":82472,"journal":{"name":"Research initiative, treatment action : RITA","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-04-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90735645","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Water Resources Analysis: An Approach based on Agent-Based Modeling 水资源分析:一种基于agent建模的方法
Research initiative, treatment action : RITA Pub Date : 2020-04-27 DOI: 10.22456/2175-2745.94319
G. Farias, B. Leitzke, Míriam Born, M. Aguiar, D. Adamatti
{"title":"Water Resources Analysis: An Approach based on Agent-Based Modeling","authors":"G. Farias, B. Leitzke, Míriam Born, M. Aguiar, D. Adamatti","doi":"10.22456/2175-2745.94319","DOIUrl":"https://doi.org/10.22456/2175-2745.94319","url":null,"abstract":"The paper aims to present a river basin modeling using GAMA platform for water resources analysis. Currently, several models based on multi-agent systems are used for natural resources management and they present satisfactory results for this type of scenario. GAMA is agents based and widely used in this context with several studies already published. In this study, the Sa o Gonc alo and Lagoa Mirim basins were considered from georeferenced data. In the modeling, regions, and rivers are agents on the system where rivers water can flow among neighbors regions.","PeriodicalId":82472,"journal":{"name":"Research initiative, treatment action : RITA","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-04-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"88413799","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Hybrid Neural Networks Applied to Brazilian Stock Market 混合神经网络在巴西股市中的应用
Research initiative, treatment action : RITA Pub Date : 2020-04-27 DOI: 10.22456/2175-2745.88911
Wilson Castello Branco Neto, A. Salvi, William Passig de Souza
{"title":"Hybrid Neural Networks Applied to Brazilian Stock Market","authors":"Wilson Castello Branco Neto, A. Salvi, William Passig de Souza","doi":"10.22456/2175-2745.88911","DOIUrl":"https://doi.org/10.22456/2175-2745.88911","url":null,"abstract":"The stock market is a stochastic, dynamic environment and is in constant evolution, and its prediction represents a big challenge. Many studies presented in the state of the art are facing this challenge, by making use of Artificial Neural Networks (ANN) as a tool to make such prediction. In this paper a comparative study is made with different methods in order to predict the Brazilian stock market through the Bovespa Index. An ANN was developed and its performance was compared against a hybrid model, in which a Genetic Algorithm (GA) is proposed as an alternative to improve the performance of this ANN. The results obtained were an average accuracy of 55.04% and 55.73% respectively, demonstrating that algorithms such as a GA have the capability of improving the performance of ANN for the stock market prediciton.","PeriodicalId":82472,"journal":{"name":"Research initiative, treatment action : RITA","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-04-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76670847","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Similar Yet Different: the Structure of Social Networks of Characters in Seinfeld, Friends, How I met Your Mother, and The Big Bang Theory 相似而又不同:《宋飞正传》、《老友记》、《老爸老妈浪漫史》和《生活大爆炸》中角色的社交网络结构
Research initiative, treatment action : RITA Pub Date : 2020-04-27 DOI: 10.22456/2175-2745.98367
A. Bazzan
{"title":"Similar Yet Different: the Structure of Social Networks of Characters in Seinfeld, Friends, How I met Your Mother, and The Big Bang Theory","authors":"A. Bazzan","doi":"10.22456/2175-2745.98367","DOIUrl":"https://doi.org/10.22456/2175-2745.98367","url":null,"abstract":"Networktheoryhasbeenusedtoanalyzestructuresofnarrativesinworksoffiction.Indeed,previous works have shed light on issues related to role detection, for instance. However, few comparative works exist that deal with TV shows. Since these shows are very popular, there are several Internet forums that suggest how similar some of them are, mostly by comparing roles or importance of core characters. Is this popular intuition backed by an objective, numerical analysis using tools from network theory? The goal of this paper is to compare four situation comedies ( Seinfeld ,  Friends ,  How I Met Your Mother , and  The Big Bang Theory ) that share a lot in common since their characters are friends living in similar, urban, environments, struggling with their daily lives, careers, and so on. Using tools for analyzing social networks, these shows were compared, showing that their structures and the roles of the core characters are fundamentally different. The only measure that proved to be similar among the four shows is entropy of their graphs, especially when computed over the degree distribution.","PeriodicalId":82472,"journal":{"name":"Research initiative, treatment action : RITA","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2020-04-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80572041","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信