This work evaluates the impact on ION and IOFF currents of variations in process parameters for a set of predictive FinFET technologies from 20 nm to 7 nm. The main contribution of the present study is to identify relevant ...

O objetivo deste trabalho é, inicialmente, apresentar uma implementação do cálculo de probabilidades intervalares utilizando o Maple. Foram desenvolvidos duas bibliotecas: Mat-Int, que contempla procedimentos para os ...

Este trabalho apresenta um estudo sobre modelos ocultos de Markov onde as probabilidades consideradas são representadas por intervalos. Utilizando-se técnicas da Matemática Intervalar, foram ...

Este tutorial aborda três tecnologias de domínio público nas áreas de computação gráficae animação por computador, enfocando ferramentas de programação para apoio ao desenvolvimento de sistemas gráficos interativos. A primeira ...

This paper presents an interval version of the Geometric Machine Model (GMM)and the programming language induced by its structure. The GMM is an abstract machine model, based on Girard's coherence space, capable of modelling ...

This work considers an interval extension of fuzzy implication based on the best interval representation of continuous t-norms. Some related properties can be naturally extended and that extension preserves the behaviors ...

O presente artigo tem como objetivo a busca de métodos que facilitem e difundam o uso de ambientes imersivos através da convergência de três conceitos: mundos virtuais tridimensionais, imersão e a representação do aluno ...

Regulation of social exchanges refers to controlling social exchanges between agents so that the balance of exchange values involved in the exchanges are continuously kept—as far as possible—near to equilibrium. Previous ...

Regulation of social exchanges refers to controlling social exchanges between agents so that the balance of exchange values involved in the exchanges are continuously kept—as far as possible—near to equilibrium. Previous ...

In this paper, we address the security of multimodal biometric systems when one of the modes is successfully spoofed. We propose two novel fusion schemes that can increase the security of multimodal biometric systems. ...

This paper discusses the feasibility of using the framework Robot Operating System (ROS) as a basis for the development of a middleware in the Internet of Things (IoT) context. The main concepts regarding IoT and ROS are ...

The aim of this work is to present an approach of interval fuzzy logic based on complete lattices. In particular, we study the extensions of the notions of t-conorms, fuzzy negations and S-implication, from the unit interval ...

With the technological advancement and the level of immersion that technology represents in our lives, new teaching methodologies must be developed. The use of serious games in education gains more space among researchers ...

Este artigo apresenta estudos de casos com alunos de graduação e pós-graduação que foram introduzidos a área de Agentes e Simulação Baseada em Multiagentes, desenvolvendo experimentos com essas técnicas computacionais, ...

Foi utilizado um modelo numérico de mesoscala para realizar uma simulação idealizada das circulações locais no Rio Grande do Sul. Os resultados mostram a formação da brisa em diferentes períodos para duas localidades ...

O desenvolvimento de um simulador gráfico para robôs móveis visa fornecer uma ferramenta gráfica computacional que auxilie, através de gráficos e animação, o projeto e a análise de leis de controle para robôs móveis a ...

O desenvolvimento de um simulador gráfico para robôs móveis visa fornecer uma ferramenta gráfica computacional que auxilie, através de gráficos e animação, o projeto e a análise de leis de controle para robôs móveis a rodas, ...

This paper presents a method for crowd simulation based on a biologically motivated space colonization algorithm. This algorithm was originally introduced to model leaf venation patterns and the branching architecture of ...