CLEI Electron. J.最新文献

筛选
英文 中文
Preface to the CLTM-CLTD 2021 Special Issue CLTM-CLTD 2021特刊前言
CLEI Electron. J. Pub Date : 2022-04-03 DOI: 10.19153/cleiej.25.1.1
L. Cernuzzi, G. Marin
{"title":"Preface to the CLTM-CLTD 2021 Special Issue","authors":"L. Cernuzzi, G. Marin","doi":"10.19153/cleiej.25.1.1","DOIUrl":"https://doi.org/10.19153/cleiej.25.1.1","url":null,"abstract":"This is the preface of the best works related to the Latin American Master Thesis Contest (CLTM) 2021","PeriodicalId":418941,"journal":{"name":"CLEI Electron. J.","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2022-04-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124287841","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
Open and Branching Behavioral Synthesis with Scenario Clauses 使用情景从句的开放和分支行为综合
CLEI Electron. J. Pub Date : 2021-12-20 DOI: 10.19153/cleiej.24.3.1
Fernando Asteasuain, Federido Calonge, M. Dubinsky, Pablo Gamboa
{"title":"Open and Branching Behavioral Synthesis with Scenario Clauses","authors":"Fernando Asteasuain, Federido Calonge, M. Dubinsky, Pablo Gamboa","doi":"10.19153/cleiej.24.3.1","DOIUrl":"https://doi.org/10.19153/cleiej.24.3.1","url":null,"abstract":"The Software Engineering community has identified behavioral specification as one of the main challenges to be addressed for the transference of formal verification techniques such as model checking. In particular, expressivity of the specification language is a key factor, especially when dealing with Open Systems and controllability of events and branching time behavior reasoning. In this work, we propose the Feather Weight Visual Scenarios (FVS) language as an appealing declarative and formal verification tool to specify and synthesize the expected behavior of systems. FVS can express linear and branching properties in closed and Open systems. The validity of our approach is proved by employing FVS in complex, complete, and industrial relevant case studies, showing the flexibility and expressive power of FVS, which constitute the crucial features that distinguish our approach.","PeriodicalId":418941,"journal":{"name":"CLEI Electron. J.","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-12-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123792324","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
Using Machine Learning to support health system planning during the Covid-19 pandemic: a case study using data from São José dos Campos (Brazil) 在2019冠状病毒病大流行期间,利用机器学习支持卫生系统规划:使用<s:1> o jossore dos Campos(巴西)数据的案例研究
CLEI Electron. J. Pub Date : 2021-12-20 DOI: 10.19153/cleiej.24.3.5
Leila Abuabara, Maria Gabriela Valeriano, C. Kiffer, H. Yanasse, A. C. Lorena
{"title":"Using Machine Learning to support health system planning during the Covid-19 pandemic: a case study using data from São José dos Campos (Brazil)","authors":"Leila Abuabara, Maria Gabriela Valeriano, C. Kiffer, H. Yanasse, A. C. Lorena","doi":"10.19153/cleiej.24.3.5","DOIUrl":"https://doi.org/10.19153/cleiej.24.3.5","url":null,"abstract":"Many efforts were made by the scientific community during the Covid-19 pandemic to understand the disease and better manage health systems' resources. Believing that city and population characteristics influence how the disease spreads and develops, we used Machine Learning techniques to provide insights to support decision-making in the city of São José dos Campos (SP), Brazil. Using a database with information from people who undergo the Covid-19 test in this city, we generate and evaluate predictive models related to severity, need for hospitalization and period of hospitalization. Additionally, we used the SHAP value for models' interpretation of the most decisive attributes influencing the predictions. We can conclude that patient age linked to symptoms such as saturation and respiratory distress and comorbidities such as cardiovascular disease and diabetes are the most important factors to consider when one wants to predict severity and need for hospitalization in this city. We also stress the need of a greater attention to the proper collection of this information from citizens who undergo the Covid-19 diagnosis test.","PeriodicalId":418941,"journal":{"name":"CLEI Electron. J.","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-12-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127657093","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
Preface to the CLEI Electronic Journal Special Issue on Digital Healthcare CLEI电子期刊数字医疗特刊前言
CLEI Electron. J. Pub Date : 2021-12-13 DOI: 10.19153/cleiej.24.3.4
D. Muchaluat-Saade, Jesus Favela
{"title":"Preface to the CLEI Electronic Journal Special Issue on Digital Healthcare","authors":"D. Muchaluat-Saade, Jesus Favela","doi":"10.19153/cleiej.24.3.4","DOIUrl":"https://doi.org/10.19153/cleiej.24.3.4","url":null,"abstract":"\u0000 \u0000 \u0000This special issue of the CLEI Electronic Journal (CLEIej) is dedicated to Digital Healthcare. It contains two accepted papers presenting research related to the COVID-19 pandemic in Latin America. \u0000 \u0000 \u0000","PeriodicalId":418941,"journal":{"name":"CLEI Electron. J.","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-12-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129962505","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
Chatbot as a Telehealth Intervention Strategy in the COVID-19 Pandemic: Lessons Learned from an Action Research Approach 聊天机器人作为COVID-19大流行中的远程医疗干预策略:从行动研究方法中吸取的经验教训
CLEI Electron. J. Pub Date : 2021-12-13 DOI: 10.19153/cleiej.24.3.6
B. Chagas, Kícila Ferreguetti, Thiago C. Ferreira, M. Marcolino, L. B. Ribeiro, A. Pagano, Z. Reis, R. Prates, Wagner Meira, A. L. Ribeiro
{"title":"Chatbot as a Telehealth Intervention Strategy in the COVID-19 Pandemic: Lessons Learned from an Action Research Approach","authors":"B. Chagas, Kícila Ferreguetti, Thiago C. Ferreira, M. Marcolino, L. B. Ribeiro, A. Pagano, Z. Reis, R. Prates, Wagner Meira, A. L. Ribeiro","doi":"10.19153/cleiej.24.3.6","DOIUrl":"https://doi.org/10.19153/cleiej.24.3.6","url":null,"abstract":"The COVID-19 pandemic and the need for social distancing have created a demand for new and innovative solutions in healthcare systems worldwide. One of the strategies that have been implemented are chatbots, which can be helpful in providing reliable health information and preventing people from seeking assistance in healthcare centers and being unnecessarily exposed to the virus. In this context, although a high number of chatbots have been implemented worldwide, little has been discussed about the process and challenges in developing and implementing this technology. This paper reports on an action research, which designed a novel chatbot as a prompt response to the COVID-19 pandemic. The chatbot is intended to be a first layer of interaction with the public, performing triage of patients and providing information about COVID-19 on a large scale and without human contact. Our contribution is twofold: (i) we reflected on the development process and discuss lessons learned and recommendations to support a multidisciplinary development and evolution process of the chatbot; and (ii) we identified some interactive and technological features that can be used as a reference framework for this kind of technology. These contributions can be useful to other researchers and multidisciplinary teams facing similar challenges.","PeriodicalId":418941,"journal":{"name":"CLEI Electron. J.","volume":"53 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-12-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116395636","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}
引用次数: 6
Towards an Extrinsic Formalization of Featherweight Java in Agda Agda中轻量级Java的外在形式化
CLEI Electron. J. Pub Date : 2021-12-13 DOI: 10.19153/cleiej.24.3.3
Samuel da Silva Feitosa, R. Ribeiro, A. R. D. Bois
{"title":"Towards an Extrinsic Formalization of Featherweight Java in Agda","authors":"Samuel da Silva Feitosa, R. Ribeiro, A. R. D. Bois","doi":"10.19153/cleiej.24.3.3","DOIUrl":"https://doi.org/10.19153/cleiej.24.3.3","url":null,"abstract":"Featherweight Java is one of the most popular calculi which specify object-oriented programming features. It has been used as the basis for investigating novel language functionalities, as well as to specify and understand the formal properties of existing features for languages in this paradigm. However, when considering mechanized formalization, it is hard to find an implementation for languages with complex structures and binding mechanisms as Featherweight Java. In this paper we formalize Featherweight Java, implementing the static and dynamic semantics in Agda, and proving the main safety properties for this calculus.","PeriodicalId":418941,"journal":{"name":"CLEI Electron. J.","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-12-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134338935","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
The Design of a Verified Derivative-Based Parsing Tool for Regular Expressions 基于验证导数的正则表达式解析工具的设计
CLEI Electron. J. Pub Date : 2021-12-13 DOI: 10.19153/cleiej.24.3.2
E. Cardoso, Maycon Amaro, Samuel da Silva Feitosa, L. Reis, A. R. D. Bois, R. Ribeiro
{"title":"The Design of a Verified Derivative-Based Parsing Tool for Regular Expressions","authors":"E. Cardoso, Maycon Amaro, Samuel da Silva Feitosa, L. Reis, A. R. D. Bois, R. Ribeiro","doi":"10.19153/cleiej.24.3.2","DOIUrl":"https://doi.org/10.19153/cleiej.24.3.2","url":null,"abstract":"We describe the formalization of Brzozowski and Antimirov derivative based algorithms for regular expression parsing, in the dependently typed language Agda. The formalization produces a proof that either an input string matches a given regular expression or that no matching exists. A tool for regular expression based search in the style of the well known GNU grep has been developed with the certified algorithms. Practical experiments conducted with this tool are reported.","PeriodicalId":418941,"journal":{"name":"CLEI Electron. J.","volume":"26 4","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-12-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131747026","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
Electronic Health Records (EHR) of the Emergency Service of the Hospital de Clínicas: Case Study 医院急诊服务电子健康记录(EHR) Clínicas:案例研究
CLEI Electron. J. Pub Date : 2021-08-12 DOI: 10.19153/cleiej.24.2.9
M. E. García-Díaz, León Silvano Alvaro, Pinto-Roa Diego, Ocampos N. David, Marcelo Pederzani
{"title":"Electronic Health Records (EHR) of the Emergency Service of the Hospital de Clínicas: Case Study","authors":"M. E. García-Díaz, León Silvano Alvaro, Pinto-Roa Diego, Ocampos N. David, Marcelo Pederzani","doi":"10.19153/cleiej.24.2.9","DOIUrl":"https://doi.org/10.19153/cleiej.24.2.9","url":null,"abstract":"The automation of the management in the Emergency Service of the Hospital de Clinicas of the Universidad Nacional de Asuncion is a problem addressed in this work since the care of the patient in critical condition must be accurate, appropiate and efficient. The development of a management automation tool will generate benefits for both the patient and the hospital's target staff. With the automatization of the processes, which are still done manually, it will be possible to achieve: (a) more time to devote to a better patient care, (b) doctors will be able to spend part of their time to analyze the statistics and information, which can be generated through the application to carry out investigations in the area of emergency care, and (c) as well as to optimize the resources of both the staff and the logistics used in the Hospital. To achieve the proposed objective, in this work a complete and Electronic Health Records System management based on international health standards has been developed, as well as good practices in the care processes in an area as sensitive as the Emergency Service. After more than 100 years of history of the Hospital, for the first time it is intended to automate processes and generate online information quickly and efficiently from this modern tool optimizing patient care in the emergency area.","PeriodicalId":418941,"journal":{"name":"CLEI Electron. J.","volume":"68 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-08-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129365198","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
Performance Analysis of Deep Learning Methods for Protein Contact Prediction in CASP13 CASP13蛋白接触预测的深度学习方法性能分析
CLEI Electron. J. Pub Date : 2021-08-12 DOI: 10.19153/cleiej.24.2.3
Romina Valdez, Khevin Roig, Diego Pinto, José Colbes
{"title":"Performance Analysis of Deep Learning Methods for Protein Contact Prediction in CASP13","authors":"Romina Valdez, Khevin Roig, Diego Pinto, José Colbes","doi":"10.19153/cleiej.24.2.3","DOIUrl":"https://doi.org/10.19153/cleiej.24.2.3","url":null,"abstract":"Protein structure prediction is one of the most important problems in Computational Biology; and consists of determining the 3D structure of a protein given its amino acid sequence. A key component that has allowed considerable improvements in recent decades is the prediction of contacts in a protein, since it provides fundamental information about its three-dimensional structure. In the 13th edition of the CASP (Critical Assessment of protein Structure Prediction), a notable progress has been evidenced for both problems with the use of deep learning algorithms. For the contact prediction category, the best methods in CASP13 achieved an average precision of 70%. In the present work, the performance of these methods is analyzed using a larger data set, with 483 proteins from four families according to the structural classification of the SCOP database (Structural Classification of Proteins). The selected methods were evaluated using the CASP metrics, and their results indicate an average contact prediction precision greater than 90%. SPOT-Contact was the method with the best overall performance, and one of the methods with the best performance for each SCOP class. The set of proteins used for the experiments and the implementations made for the analysis are publicly available.","PeriodicalId":418941,"journal":{"name":"CLEI Electron. J.","volume":"49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-08-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122144688","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
MILP model for the planning of a Computerized Numerical Control Lathes Machining Plant 计算机数控车床加工车间规划的MILP模型
CLEI Electron. J. Pub Date : 2021-07-31 DOI: 10.19153/cleiej.24.2.4
M. Galli, Federico Kañevsky, M. A. Franco
{"title":"MILP model for the planning of a Computerized Numerical Control Lathes Machining Plant","authors":"M. Galli, Federico Kañevsky, M. A. Franco","doi":"10.19153/cleiej.24.2.4","DOIUrl":"https://doi.org/10.19153/cleiej.24.2.4","url":null,"abstract":"This work introduces the formulation and application of a MILP model to solve the problem of planning the weekly production of a machining plant using numerical control lathes to manufacture spare parts for agricultural machines. The machining plant works under a Flexible Job Shop system and it has reduced workforce with different skills to operate the various high-complexity lathes and to carry out setup operations in each machine. The developed model is based on a basic formulation for the classic problem and we introduce some flexible adjustment for the various situations that may arise from different scheduling problems. The model is applied to various scenarios; and we include a discussion of the improvements brought about by the analysis.","PeriodicalId":418941,"journal":{"name":"CLEI Electron. J.","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-07-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123135110","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
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学术官方微信