Navegação C3 - Artigos Publicados em Periódicos por data do documento

Classificar por: Ordenar: Resultados:

  • Krusche, Nisia; Goedert, Joao; Moraes, Osvaldo Luiz Leal de (1994)
    A closure model for the spectral equation of turbulent kinetic energy, in the case of a steady-state and horizontally homogeneous flow in a stably stratified surface boundary layer is developed by use of systematic dimensional ...
  • 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 ...
  • Casanova, Carlos Alberto Medeiros; Balzaretti, Naira Maria; Voronin, Georgiy; Jornada, João Alziro Herz da (Elsevier, 1999)
    In this work polycrystalline cubic boron nitride compacts (PcBN), prepared with and without binder, were sintered at 8 GPa and 1850°C using different processing times. X-ray diffraction and Raman spectroscopy were used to ...
  • 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 ...
  • 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 ...
  • 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 ...
  • Krusche, Nisia; Machado, Birajara Soares (2000)
    Estruturas coerentes são observadas em medidas da turbulência atmosférica na Camada Limite Superficial. As estruturas coerentes do tipo rampa podem ser identificadas, durante o período convectivo, nas séries temporais de ...
  • Emmendorfer, Leonardo Ramos; Rodrigues, Luiz Alberto Diaz (2001)
    A teoria clássica de Epidemiologia, em geral, não considera a dimensão espacial de transmissão da doença e em vez disso, assume que todo indivíduo tem a mesma probabilidade de encontrar os outros. Modelos espaciais são ...
  • 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 ...
  • 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 ...
  • 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 ...
  • Kelber, Christian Roberto; Osório, Fernando Santos; Jung, Claudio Rosito; Dreger, Rubem Sprenger; Gules, Roger; Mello Júnior, Claudio Dornelles; Silveira, Marcos Azevedo da; Schumacher, Walter (2002)
    O presente artigo apresenta uma visão geral das tecnologias que estão sendo desenvolvidas e implementadas em automação veicular, bem como exemplos, de alguns dos projetos desenvolvidos pelos grupo de pesquisa Veículos ...
  • Isoldi, Liércio André; Santos, Maria Angela Vaz dos (EDGRAF, 2003)
    A mecânica de cabos altamente extensíveis deve ser estudada numericamente. Para isso, implementamos computacionalmente a solução de um sistema de equações capaz de descrever o movimento de cabos extensíveis em ruptura. ...
  • Reiser, Renata Hax Sander; Costa, Antônio Carlos da Rocha; Dimuro, Graçaliz Pereira (2003)
    Mostra-se neste trabalho que a linguagem e a correspondente semântica associada às interpretações obtidas na estrutura ordenada da Máquina Geométrica Intervalar, fundamentada nos espaços coerentes, são ferramentas importantes ...
  • 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 ...
  • Negreiros, Luigi Carro Marcelo; Jahn, Gabriel Parmegiani; Souza Junior, Adão Antônio de; Franco, Denis Teixeira (2003)
  • Aguiar, Marilton Sanchotene de; Dimuro, Graçaliz Pereira; Costa, Antonio Carlos da Rocha (2004)
    This work introduces a tessellation-based model for the declivity analysis of geographic regions. The analysis of the relief declivity, which is embedded in the rules of the model, categorizes each tessellation cell, ...
  • Reiser, Renata Hax Sander; Dimuro, Graçaliz Pereira; Costa, Antonio Carlos da Rocha (2004)
    This paper introduces the stochastic version of the Geometric Machine Model for the modelling of sequential, alternative, parallel (synchronous) and nondeterministic computations with stochastic numbers stored in a (possibly ...
  • Reiser, Renata Hax Sander; Dimuro, Graçaliz Pereira; Costa, Antônio Carlos da Rocha (2004)
    This paper introduces the stochastic version of the Geometric Machine Model for the modelling of sequential, alternative, parallel (synchronous) and nondeterministic computations with stochastic numbers stored in a (possibly ...
  • Barboza, Luciano Vitória; Dimuro, Graçaliz Pereira; Reiser, Renata Hax Sander (2004)
    This paper presents a methodology to solve load flow problems in which the load data are uncertain due to measurement errors. In order to deal with those uncertainties we apply techniques of Interval Mathematics. The ...

Buscar DSpace


Navegar

Minha conta