Aritmatica
Mostrando 1-12 de 22 artigos, teses e dissertações.
-
1. Programa Brasil Alfabetizado na UECE: a alfabetizaÃÃo como mediaÃÃo de inclusÃo social / Programa Brasil Alfabetizado at UECE: literacy as a mediator of social inclusion
O objetivo desta pesquisa foi analisar a contribuiÃÃo do Programa Brasil Alfabetizado executado pela UECE quanto à inclusÃo social dos alunos da quinta turma â perÃodo 2007/2008. Com base nesse objetivo verificamos se essa experiÃncia de alfabetizaÃÃo levou os egressos dessa turma a permanecer lendo e escrevendo com a devida compreensÃo. Optou-se p
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 03/05/2010
-
2. AnÃlise do plano de desenvolvimento sustentÃvel do estado do Cearà / Analysis of the sustanaible development strategy of Cearà state, Brazil
O desenvolvimento socialmente sustentÃvel comeÃou a fazer parte dos programas governamentais cearenses quando, em 1995, o governo do Estado do Cearà elaborou e implementou seu Plano de Desenvolvimento SustentÃvel (PDS) que tinha como objetivo a melhoria na qualidade de vida com uma visÃo prospectiva para o ano 2020. Para alcanÃÃ-lo, contemplou os segu
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 22/05/2009
-
3. ISPN: Modelagem e avaliaÃÃo estocÃstica intervalar
O estudo de sistemas atravÃs de modelos à baseado em abstraÃÃes do mundo real. Portanto, os cÃlculos resultantes devem ser interpretados com cautela. Quando incertezas ou variabilidades estÃo associadas com os parÃmetros do sistema, a caracterizaÃÃo pontual dos parÃmetros pode ser inadequada. As incertezas podem estar associadas a parÃmetros que n
Publicado em: 2009
-
4. Desenvolvimento de uma FFT utilizando ponto flutuante para FPGA
Devido à grande demanda da comunidade cientÃfica para o aumento da precisÃo em cÃlculos cientÃficos, com reduÃÃo no tempo de processamento e na potÃncia dissipada pelos algoritmos em sua execuÃÃo, estudos tÃm demonstrado que dispositivos especiais, como FPGAs (Field Programmable Gate Arrays), que trabalham, em geral, como co-processadores, podem e
Publicado em: 2009
-
5. UtilizaÃÃo de mÃtodos de transferÃncia de escala na simulaÃÃo de recuperaÃÃo de hidrocarbonetos com aplicaÃÃo de computaÃÃo distribuÃda
A transferÃncia para uma escala maior (âupscalingâ), tem sido um mÃtodo muito utilizado no tratamento de informaÃÃes associadas a uma grande quantidade de dados, tornando-se uma opÃÃo ainda mais relevante quando o excesso destes dados representa uma dificuldade na sua manipulaÃÃo, levando à outras conseqÃÃncias tais como longo tempo de p
Publicado em: 2009
-
6. DetecÃÃo da diversidade e associaÃÃo de Lasiodiplodia theobromae com o cajueiro utilizando marcadores microssatÃlites / Detection and diversity of Lasiodiploidia theobromae assiciated with cashew plants using microssatellites markers
A cultura do cajueiro representa uma das mais importantes atividades agroindustriais do Nordeste do Brasil, sobretudo pelo seu carÃter social e econÃmico para esta regiÃo. Entretanto, a ocorrÃncia epifÃtica de doenÃas como a resinose e a podridÃo-preta-da-haste, ambas causadas pelo fungo Lasiodiplodia theobromae, tÃm produzido severas perdas principa
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 25/07/2008
-
7. CaracterizaÃÃo aritmÃtica em primeira ordem de funÃÃes computÃveis em espaÃo polinomial
In this work, we develop a characterization of the polynomial space computable functions in the rst order theory of binary strings. We prove a analogous result to Parikh`s Theorem on the polynomial bound on the growth size of de nable functions. This work is a natural extension of Prof. Fernando Ferreira`s system of polynomial time computable arit
Publicado em: 2008
-
8. ImplementaÃÃo em FPGA de um mÃdulo multiplicador e acumulador aritmÃtico de alto desempenho para nÃmeros em ponto flutuante de precisÃo dupla, padrÃo IEEE 754
Os FPGAs (Field Programable Gate Array) tÃm sido considerados como uma opÃÃo atrativa no desenvolvimento de co-processadores de aplicaÃÃo especÃfica para sistemas computacionais de alto desempenho. Tradicionalmente, entretanto, estes dispositivos vinham sendo empregados apenas para implementar sistemas que nÃo demandassem um uso intensivo de operaÃÃ
Publicado em: 2008
-
9. Uma biblioteca intervalar baseada em processamento de strings
Java à uma linguagem multiplataforma amplamente utilizada nos dias atuais. Sistemas cliente-servidor, aplicaÃÃes embarcadas e desktop sÃo desenvolvidos a partir da facilidade que Java oferece. A comunidade que utiliza Java cria suas prÃprias bibliotecas e as disponibiliza na Web para que todos possam compartilhar de suas facilidades. Bibliotecas para cr
Publicado em: 2008
-
10. TensÃes e DistensÃes na ConstruÃÃo do Habitus Associativo: uma anÃlise comparativa nas organizaÃÃes associativas de catadores de lixo na ParaÃba
O objetivo desta tese à analisar as tensÃes e distensÃes pelas quais se dÃo os processos de construÃÃo do habitus associativo, a partir de um estudo comparativo entre duas experiÃncias associativas de catadores de lixo na ParaÃba: A AssociaÃÃo dos Trabalhadores de Materiais ReciclÃveis de JoÃo Pessoa (Astramare) e a Cooperativa dos Trabalhadores
Publicado em: 2008
-
11. Um estudo sobre as origens da LÃgica MatemÃtica e os limites da sua aplicabilidade à formalizaÃÃo da MatemÃtica / A study about the origins of Mathematical Logic and the limits of its applicability to the formalization of Mathematics
Este trabalho à um estudo sobre as origens da LÃgica MatemÃtica e os limites da sua aplicabilidade ao desenvolvimento formal da MatemÃtica. Primeiramente, à apresentada a teoria aritmÃtica de Dedekind, a primeira teoria a fornecer uma definiÃÃo precisa para os nÃmeros naturais e com base nela demonstrar todos os fatos comumente conhecidos a seu resp
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 31/08/2007
-
12. A infinitary system of the logic of least fixed-point / Um sistema infinitÃrio para a lÃgica de menor ponto fixo
A noÃÃo de menor ponto-fixo de um operador à amplamente aplicada na ciÃncia da computaÃÃo como, por exemplo, no contexto das linguagens de consulta para bancos de dados relacionais. Algumas extensÃes da LÃgica de Primeira-Ordem (FOL)1 com operadores de ponto-fixo em estruturas finitas, como a lÃgica de menor ponto-fixo (LFP)2, foram propostas para l
Publicado em: 2007