Sandro Rigo

TL;DR: This paper has used ArchC to synthesize both functional and cycle-based simulators for the MIPS and Intel 8051 processors, as well as functional models of architectures like SPARC V8, TMS320C62x, XScale and PowerPC.

TL;DR: This paper presents an architecture description language (ADL) called ArchC, which is an open-source SystemC-based language that is specialized for processor architecture description that has a storage-based co-verification mechanism that automatically checks the consistency of a refined ArchC model against a reference (functional) description.

TL;DR: Investigating the effects of gamification on students’ learning, behavior, and engagement based on their personality traits in a web-based programming learning environment finds evidence that the effect ofgamification depends on the specific characteristics of users.

TL;DR: A Learning Analytics system developed to deal with dropout problem in Distance Education courses on university-level education, with results from experiments carried out with courses in a Brazilian university show the dropout prediction with an average of 87% precision.

TL;DR: OmniPHR demonstrated the feasibility to provide interoperability through a standard ontology and artificial intelligence with natural language processing (NLP) with the possibility of subsidizing the creation of inferences rules about possible patient health problems or preventing future problems.