C3 - Centro de Ciências Computacionais: Recent submissions

  • Um sistema fuzzy para auxílio ao diagnóstico da densidade mineral óssea 

    Silva, Frederico Corrêa da; Moraes, André Luiz Silva de; Dimuro, Graçaliz Pereira; Aguiar, Marilton Sanchotene de (2007)
    Este artigo propões um modelo computacional para o cálculo e visualização da densidade mineral óssea a partir de imagens convencionais de raios-X. A idéia inicial é obter um intervalo de valores resultante do processamento ...
  • Módulo Python para matemática intervalar 

    Grigoletti, Pablo Souza; Dimuro, Graçaliz Pereira; Barboza, Luciano Vitória (2007)
    Este trabalho apresenta o módulo PyInterval para Matemática Intervalar, implementado na linguagem Python e desenvolvido como software livre. Neste módulo foram disponibilizadas funcionalidades básicas, como, por exemplo, ...
  • Properties of fuzzy implications obtained via the interval constructor 

    Bedregal, Benjamín Callejas; Santiago, Regivan Hugo Nunes; Reiser, Renata Hax Sander; Dimuro, Graçaliz Pereira (2007)
    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 ...
  • Modelagem e simulação do tráfego de veículos e controle semafórico em um ambiente virtual 

    Paravisi, Marcelo; Musse, Soraia Raupp; Bicho, Alessandro de Lima (2006)
    Simular o trânsito de áreas urbanas de maneira realista em um ambiente virtual é uma tarefa complexa de ser implementada, pois muitas características precisam ser desenvolvidas. Neste trabalho, propomos a utilização de ...
  • Incerteza de dados em fluxo de potência: uma abordagem com a matemática intervalar do C-XSC 

    Vargas, Rogério Rodrigues de; Farias, Charles Marques de; Barboza, Luciano Vitória; Dimuro, Graçaliz Pereira (2008)
    O artigo apresenta um estudo da Matemática Intervalar aplicada ao problema das incertezas no fluxo de potência em redes de energia elétrica com a utilização da biblioteca C-XSC. O problema se baseia na análise das influências ...
  • S-Implications on complete lattices and the interval constructor 

    Reiser, Renata Hax Sander; Dimuro, Graçaliz Pereira; Bedregal, Benjamín Callejas; Santos, Hélida Salles; Bedregal, Roberto Callejas (2008)
    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 ...
  • Simulating crowds based on a space colonization algorithm 

    Bicho, Alessandro de Lima; Rodrigues, Rafael Araújo; Musse, Soraia Raupp; Jung, Cláudio Rosito; Paravisi, Marcelo; Magalhães, Léo Pini (2012)
    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 ...
  • Xor-Implications and E-implications: classes of fuzzy implications based on fuzzy Xor 

    Bedregal, Benjamín Callejas; Reiser, Renata Hax Sander; Dimuro, Graçaliz Pereira (2009)
    The main contribution of this paper is to introduce an autonomous definition of the connective “fuzzy exclusive or” (fuzzy Xor, for short), which is independent from others connectives. Also, two canonical definitions of ...
  • Determination of Trace Elements in Fluoropolymers after Microwave-Induced Combustion 

    Flores, Érico Marlon de Moraes; Muller, Edson Irineu; Duarte, Fábio Andrei; Grinberg, Patricia; Sturgeon, Ralph Edward (2012)
    Uma abordagem eficaz para a digestão de fluoropolímeros para a determinação de Ag, Ca, Cd, Co, Cr, Cu, Fe, K, Mg, Mn, Ni e impurezas foi desenvolvido usando microondas induzida combustão (MIC) em vasos de quartzo fechados ...
  • A porta lacrada para sempre ou quem matou o padre Bernardo Viegas? 

    Torres, Luiz Henrique (2008)
    O artigo analisa a conjuntura histórica em que ocorreu o assassinato do Padre Bernardo Viegas no ano de 1833, utilizando como hipótese a interpretação desse fato histórico como um crime político.
  • Green turtle (Chelonia mydas) mixed stocks in the southwestern Atlantic, as revealed by mtDNA haplotypes and drifter trajectories 

    Proietti, Maíra Carneiro; Reisser, Júlia Wiener; Kinas, Paul Gerhard; Kerr, Rodrigo; Monteiro, Danielle da Silveira; Marins, Luis Fernando Fernandes (2012)
    Genetic analyses have the potential to elucidate many aspects of juvenile green turtle (Chelonia mydas) biology and ecology, such as foraging ground composition, hatchling dispersal and migrations. To evaluate genetic ...
  • Programação gráfica 3D com OpenGL, Open Inventor e Java 3D 

    Bicho, Alessandro de Lima; Silveira Junior, Luiz Gonzaga; Cruz, Adailton José Alves; Raposo, Alberto Barbosa (2002)
    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 ...
  • Circuit-level considerations for mixed-signal programmable components 

    Negreiros, Luigi Carro Marcelo; Jahn, Gabriel Parmegiani; Souza Junior, Adão Antônio de; Franco, Denis Teixeira (2003)
  • Non-supervised sensory-motor agents learning 

    Wazlawick, Raul Sidnei; Costa, Antonio Carlos da Rocha (1996)
    This text discusses a proposal for creation and destruction of neurons based on the sensory-motor activity. This model, called sensory-motor schema, is used to define a sensory-motor agent as a collection of activity ...
  • Probabilidade intervalar e cadeias de Markov intervalares no Maple 

    Campos, Marcilia Andrade; Dimuro, Graçaliz Pereira; Costa, Antonio Carlos da Rocha; Araújo, João Francisco Fadrique; Dias, Aurélio Magalhães (2002)
    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 ...
  • First steps in the construction of the geometric machine model 

    Reiser, Renata Hax Sander; Costa, Antonio Carlos da Rocha; Dimuro, Graçaliz Pereira (2002)
    This work introduces the Geometric Machine (GM) – a computational model for the construction and representation of concurrent and non-deterministic processes, preformed in a synchronized way, with infinite memory whose ...
  • Análise lógico-operatória do ambiente de desenvolvimento cooperativo de programação ENVY/400 

    Behar, Patricia Alejandra; Costa, Antonio Carlos da Rocha (1999)
    In the present work we describe the Cooperative Programming Development Environment ENVY/400 and its piagetian logical-operatory analysis. Thus, it’s presented a model that represent the interactive process between the ...
  • Uma experiência de ensino integrado dos fundamentos matemáticos da ciência da computação 

    Dimuro, Graçaliz Pereira; Costa, Antonio Carlos da Rocha; Rodrigues, Francisco de Paula Marques (2000)
    Este trabalho tem por objetivo relatar os resultados preliminares de uma experiência de integração curricular, em andamento na Escola de Informática da UCPel, na área de fundamentos matemáticos da Ciência da Computação. A ...
  • A Programming Language for the Interval Geometric Machine 

    Reiser, Renata Hax Sander; Costa, Antonio Carlos da Rocha; Dimuro, Graçaliz Pereira (2003)
    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 ...
  • Interval-valued Hidden Markov models for recognizing personality traits in social exchanges in open multiagent systems 

    Dimuro, Graçaliz Pereira; Costa, Antonio Carlos da Rocha; Gonçalves, Luciano Vargas; Hubner, Alexandre (2008)
    This paper presents an application of Interval-valued Hidden Markov Models to the modelling of agent personality traits in multiagent systems. The agents’ behaviors are modeled as probabilistic transitions functions, where ...