Novas publicações: Modelos e Sistemas para Cidades Inteligentes

Durante as últimas décadas tem ocorrido uma migração massiva da população mundial em direção às cidades. Por conta disso, os grandes centros urbanos devem estar preparados para enfrentar novos desafios para gerenciar e garantir a qualidade de vida de sua população. Um desses desafios é garantia que a população tenha um bom nível de inserção social e de cidadania. Neste contexto, propõe-se a utilização de recursos presentes em cidades inteligentes para estimular a integração do cidadão. Para atingir tal objetivo será proposto uma abordagem de recomendação de recursos informacionais adaptados de acordo com o nível de conhecimentos e contexto do usuário. Acredita-se que a recomendação de recursos informacionais de tipos diversos pode estimular usuários de dispositivos móveis a tornarem-se mais inseridos socialmente em suas cidades, contribuindo assim para o aperfeiçoamento nível de participação cidadã da população.

Este número dos Cadernos de Informática destina-se à publicação de resultados do projeto Universal do CNPq “Recomendação adaptativa para cidades inteligentes” Chamada Universal MCTI/CNPq Nº 01/2016, processo: 400.954/2016-8. Novos artigos serão adicionados.

A qualidade não é da publicação mas da pesquisa – Conferências x Periódicos na ACM

O Prof.Celso Alberto Saibel Santos do Departamento de Informática da Universidade Federal do Espírito Santo acabou de postar na lista da SBC um comentário sobre a discussão de publicar em conferências ou periódicos (journals). A séria ACM criou um “jeitinho brasileiro” para que a contagem de pontos seja adequada. Eu acho que isso é um subterfúgio, o certo é lutar pela análise da qualidade do trabalho e não sobre a forma de publicação. Os critérios definidos no texto da ACM seria uma forma de qualificar a conferência como de qualidade igual a de um periódico, ponto. A solução foi criar um periódico fantasma para fins bibliométricos…


Introducing Proceedings of the ACM

What is PACM?

Proceedings of the ACM on X (PACM) is a new journal series with first issues planned for 2017. This series is suitable for those ACM SIG-sponsored conferences that adapt their review processes to be comparable to those of journals. It has been launched in recognition of the fact that conference-centric publishing disadvantages the CS community with respect to other scientific disciplines when competing with researchers from other disciplines for top science awards and career progression, and the fact that top ACM conferences have demonstrated high quality and high impact on the field.

Leia o artigo completo

New Articles in Revista de Informática Teórica e Aplicada – RITA

Banner RITARITA Vol 25, Nr. 3 (2018)
Published: September 12, 2018

Regular Papers:

CoWPar: A D2D Communication Approach Without Pairing for Mobile Social Network in Proximity
Charles Tim Batista Garrocho, Jessé Pires Barbosa Rocha, José Eduardo de Souza
RITA VOL. 25 NR. 3 (2018) Pag. 11-22

Can the Use of nonlinear Color Metrics systematically improve Segmentation?
Luís Eduardo Ramos de Carvalho, Sylvio Luiz Mantelli Neto, Eros Comunello, Antonio Carlos Sobieranski, Aldo von Wangenheim
RITA VOL. 25 NR. 3 (2018) Pag. 23-38

Um modelo computacional para a simulação de sistemas de transporte urbano
Daniel Marques Gomes Morais, Luciano Antonio Digiampietri
RITA VOL. 25 NR. 3 (2018) Pag. 39-61

Formal Semantics for Java-like Languages and Research Opportunities
Samuel da Silva Feitosa, Rodrigo Geraldo Ribeiro, Andre Rauber Du Bois
RITA VOL. 25 NR. 3 (2018) Pag. 62-74

Selected Papers – WEIT 2017

Haskell Type System Analysis
Rafael Castro G. Silva, Karina Girardi Roggia, Cristiano Damiani Vasconcellos
RITA VOL. 25 NR. 3 (2018) Pag. 75-88

V: a language with extensible record accessors and a trait-based type system
Arthur Giesel Vedana, Rodrigo Machado, Álvaro Freitas Moreira
RITA VOL. 25 NR. 3 (2018) Pag. 89-101

Novo artigo: Probabilistic Ontology Reasoning in Ambient Assistance: Predicting Human Actions

Probabilistic Ontology Reasoning in Ambient Assistance: Predicting Human Actions

 

Abstract:

Providing reminders to elderly people in their home environment, while they perform their daily activities, is considered as a user support activity, and thus a relevant topic in Active and Assisted Living (AAL) research and development. Determining such reminders implies decision-making, since the actions’ flow (behavior) usually involves probabilistic branches. An automated system needs to decide which of the next actions is the best one for the user in a given situation. Problems of this nature involve uncertainty levels that have to be dealt with. Many approaches to this problem exploit statistical data only, thus ignoring important semantic data as, for instance, are provided by Ontologies. However, ontologies do not support reasoning over uncertainty natively. In this paper, we present a probabilistic semantic model that enables reasoning over uncertainty without losing semantic information. This model will be exemplified by an extension of the Human Behavior Monitoring and Support [HBMS] approach that provides a conceptual model for representing the user’s behavior and its context in her/his living environment. The performance of this approach was evaluated using real data collected from a smart home prototype equipped with sensors. The experiments provided promising results which we will discuss regarding limits and challenges to overcome.
Authors: Gabriel Machado Lunardi ; Guilherme Medeiros Machado ; Fadi Al Machot ; Vinícius Maran ; Alencar Machado ; Heinrich C. Mayr ; Vladimir A. Shekhovtsov ; José Palazzo M. de Oliveira
Date of Conference: 16-18 May 2018
Date Added to IEEE Xplore13 August 2018
Electronic ISSN: 2332-5658
Publisher: IEEE
Conference Location: Krakow, Poland, Poland

Novo artigo: An Interface Prototype Proposal to a Semiautomatic Process Model Verification Method Based on Process Modeling Guidelines

Cite this paper as:
Júnior V.H.G., Dani V.S., Avila D.T., Thom L.H., de Oliveira J.P.M., Fantinato M. (2018) An Interface Prototype Proposal to a Semiautomatic Process Model Verification Method Based on Process Modeling Guidelines. In: Hammoudi S., Śmiałek M., Camp O., Filipe J. (eds) Enterprise Information Systems. ICEIS 2017. Lecture Notes in Business Information Processing, vol 321. Springer, Cham

DOI https://doi.org/10.1007/978-3-319-93375-7_28
Publisher NameSpringer, Cham
Print ISBN 978-3-319-93374-0
Online ISBN 
978-3-319-93375-7

Abstract

The design of comprehensible process models is a very complex task. In order to obtain them, process analysts usually rely on process modeling guidelines. This is specially true when dealing with collections counting up to hundreds of process models, since querying or organizing such a collection is not easy. In this paper we report a method presented in an earlier work to verify if a process model is following process modeling guidelines. In addition we propose an interface prototype to display which process models are not following which guidelines. A collection of 31 process models were used to validate the identification method and the results shows that 23 of these process models contains at least one guideline violation.

Keywords

Business process, BPMN, Ontology, Process model quality, Modeling guidelines, Information visualization


 

Let CiteScore™ metrics guide you to the right journals.

Don’t speculate — validate.

The CiteScore 2017 values are here! Establishing a new standard for measuring serial citation impact, CiteScore™ metrics are freely available for more than 23,350 titles — 12,000 more titles than the leading competitor.

Powered by Scopus, CiteScore metrics are a comprehensivecurrent, transparent and free set of metrics that measure serial citation impact over a 3-year period.

CiteScore metrics from Scopus are:

  • Comprehensive
  • Transparent
  • Current and free
Use this page to find a source and view associated metrics. Use qualitative as well as quantitative metrics when presenting your research impact. Always use more than one quantitative metric. Learn more about CiteScore.
Explore CiteScore 2017 metrics  >

Nova tese: AwARE : an approach for adaptive recommendation of resources

Título: AwARE : an approach for adaptive recommendation of resources
Autor: Machado, Guilherme Medeiros 
Orientador: Oliveira, Jose Palazzo Moreira de 
Data: 2018
Nível: Doutorado
Instituição: Universidade Federal do Rio Grande do Sul. Instituto de Informática. Programa de Pós-Graduação em Computação.

Recommender systems were proposed in early 90’s with the goal to help users deal with cognitive overload brought by the internet and the constant increase of documents. From there to now such systems have assumed many other roles like “help users to explore”, “improve decision making”, or even “entertain”. To accomplish such new goals, the system needs to look to user characteristics that help in understand what the user task is and how to adapt the recommendation to support such task. In this direction, it is proposed in this thesis an integration between recommender and adaptive strategies into a new process of adaptive recommendation. It is shown that such integration can improve recommendation accuracy and give good results to user retention, and interaction with the systems. To validate the approach, it is implemented a prototype to recommend movies to be used in a classroom. It is also collected some statistics about the 78 users who have participated of the experiment for evaluation of the new approach.

Lume