-
-
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 ...
-
-
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 ...
-
-
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 ...
-
-
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 ...
-
-
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 ...
-
-
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, Cláudio Rosito; Dreger, Rubem Sprenger; Gules, Roger; Mello Júnior, Cláudio 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 ...
-
-
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 ...
-
-
Reiser, Renata Hax Sander; Costa, Antonio 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 ...
-
-
Negreiros, Luigi Carro Marcelo; Jahn, Gabriel Parmegiani; Souza Junior, Adão Antônio de; Franco, Denis Teixeira
(2003)
-
-
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. ...
-
-
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, ...
-
-
Rodrigues, Celso Luiz Lopes
(2004)
De tudo fala-se que está em crise. É a crise da economia, da governabilidade, do trabalho, do capital, do capitalismo, do marxismo, da crise do marxismo, da razão, do conhecimento, da humanidade, da educação, da modernidade, ...
-
-
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 ...
-
-
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 ...
