Derivaaao
Mostrando 1-12 de 22 artigos, teses e dissertações.
-
1. Contratos formais para derivaÃÃo e verificaÃÃo de componentes paralelos. / Formal Contracts for Derivation and Verification of Parallel Componentes
A aplicaÃÃo de nuvens computacionais para oferecer serviÃos de ComputaÃÃo de Alto Desempenho (CAD) à um assunto bastante discutido no meio acadÃmico e industrial. Esta dissertaÃÃo està inserida no contexto do projeto de uma nuvem computacional para o desenvolvimento e execuÃÃo de aplicaÃÃes de CAD baseadas em componentes paralelos, doravante de
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 20/09/2012
-
2. A transfiguraÃÃo das paisagens da bacia hidrogrÃfica do Rio Maranguapinho no municÃpio de Maranguape â Ce / The transfiguration of the landscape of the river basin Maranguapinho in the town of Marazion - Ce
O objetivo desta pesquisa foi o de investigar a derivaÃÃo antropogÃnica de uma bacia hidrogrÃfica de cabeceira situada em regiÃo metropolitana: a porÃÃo da bacia hidrogrÃfica do rio Maranguapinho circunscrita no municÃpio de Maranguape (CearÃ). Este recorte territorial remete à presenÃa de Ãreas urbanas, rurais e de transiÃÃo, com a peculiarid
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 27/08/2010
-
3. A formaÃÃo de palavras no portuguÃs do brasil: um estudo dos sufixos -eir e -ud numa abordagem computacional / The formation of words in Portuguese of Brazil: a study of the suffix -eir e -ud and a computational approach
Este estudo investiga a formaÃÃo de palavras na LÃngua Portuguesa contemporÃnea do Brasil. Dentro da perspectiva da morfologia derivacional, esta pesquisa teve por objetivo desenvolver um estudo das regras de formaÃÃo de palavras atravÃs dos sufixos -eir e -ud na LÃngua Portuguesa. Essas regras foram desenvolvidas para melhor investigar a produtivida
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 24/06/2010
-
4. Consumo de nutrientes, comportamento ingestivo, caracterÃsticas de carcaÃa e de componetes nÃo-carcaÃa de ovinos Santa Ines alimentados com diferentes nÃveis energÃticos / Nutrient intake, ingestive behavior, carcass characteristics and components non- carcass of Fed lamb with different energy levels
Objetivou-se com o presente estudo avaliar o consumo de nutrientes, comportamento ingestivo, ganho mÃdio diÃrio de peso (GMD), conversÃo alimentar (CA), eficiÃncia alimentar (EA), caracterÃsticas de carcaÃa, cortes comerciais, categorias de cortes comerciais, peso dos ÃrgÃos internos, conteÃdo e compartimentos gastrintestinais, peso e rendimento da
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 12/04/2010
-
5. LaÃos Afetivos que (Des)Ligam FamÃlias, Adolescentes e Abrigo / Bows of affection that connect and disconnect families, adolescents and shelter.
No cotidiano de muitas famÃlias brasileiras existem aquelas que nÃo conseguem por motivos, como a falta de assistÃncia do Estado, proteger seus filhos menores de idade que acabam, algumas vezes, indo para instituiÃÃes de abrigamento. No abrigo o (a) adolescente precisa ficar o menor tempo possÃvel para retornar ao convÃvio familiar e comunitÃrio caso
Publicado em: 2008
-
6. METEORA: um mÃtodo de testes baseado em estados para software de aplicaÃÃo orientado a aspectos.
A atividade de teste de software à realizada visando assegurar a maior qualidade possÃvel nos produtos de software. Quando novos paradigmas de Engenharia de Software surgem, faz-se necessÃrio realizar investigaÃÃes para verificar a reusabilidade dos mÃtodos, tÃcnicas, estratÃgias e ferramentas de teste no novo paradigma. Como um dos mais novos paradi
Publicado em: 2007
-
7. Potencial competitivo de circuito turÃstico: uma anÃlise da rota dos tropeiros no Centro-Oeste de Minas Gerais. / Competitiveness potential of tourist circuit: an analysis from "Rota dos Tropeiros" in the Minas Gerais center-west.
O Brasil ocupa uma posiÃÃo discreta em relaÃÃo aos indicadores turÃsticos mundiais, apesar de apresentar caracterÃsticas competitivas como a grande extensÃo territorial, o ambiente natural, as culturas e hÃbitos de cada regiÃo, dentre outras. Para estimular o desenvolvimento do setor turÃstico, o governo do Estado de Minas Gerais criou 46 circuitos
Publicado em: 2007
-
8. Teoria dos mÃdulos idealizadores diferenciais
Given an ideal in a polynomial ring (with coefficients in a field usually assumed to have characteristic zero), we may consider the derivations that preserve it. They give rise to a special module called differential idealizer (of the given ideal). Such an object plays a primordial role in this thesis, which is divided into two main sections. In the first se
Publicado em: 2006
-
9. AvaliaÃÃo de desempenho de servidores de aplicaÃÃo utilizando redes de Petri
A plataforma J2EE (Java 2 Platform Enterprise Edition) especifica um ambiente de suporte ao desenvolvimento e execuÃÃo de aplicaÃÃes corporativas distribuÃdas. Diversos fornecedores oferecem implementaÃÃes desta especificaÃÃo, as quais sÃo referenciadas como servidores de aplicaÃÃo J2EE. Este mercado concorrido gera um novo desafio para departame
Publicado em: 2006
-
10. InferÃncia sobre os parÃmetros da distribuiÃÃo Birnbaum-Saunders bi-paramÃtrica
A distribuiÃÃo Birnbaum-Saunders bi-paramÃtrica de parÃmetros α e β vem sendo amplamente usada para modelar o tempo de vida de materiais e equipamentos. Os estimadores de mÃxima verossimilhanÃa dos parÃmetros que indexam esta distribuiÃÃo podem nÃo apresentar desempenho satisfatÃrio em amostras de tamanho pequeno. Assim, o cÃlculo dos v
Publicado em: 2006
-
11. Development and hidraulic evaluation of a gravity feed drip irrigation system for small farms / Dimensionamento e AvaliaÃÃo HidrÃulica de um Sistema de Gotejamento por Gravidade para Pequenas Propriedades
Com o intuito de racionalizar o uso da Ãgua para irrigaÃÃo em hortaliÃas e tambÃm facilitar o manejo para o pequeno agricultor, buscou-se desenvolver um kit de irrigaÃÃo para a agricultura familiar. Ã constituÃdo de tubo gotejadores tipo labirinto, filtro de disco ou tela, conectores de 12 mm e linha de derivaÃÃo de polietileno de diÃmetro intern
Publicado em: 2006
-
12. VerificaÃÃo de modelos para programas em um subconjunto de JCSP
A veriÂcaÂc~ao de modelos formais gerados a partir de programas concorrentes tem sido bem aceita na indÃstria e na academia durante a fase de testes. A busca por qualidade de software tem motivado este uso, principalmente pelo fato de que testar programas concorrentes nÃo à uma tarefa trivial e à suscetÃvel a erros. Os modelos sÃo descritos atravÃs
Publicado em: 2006