Ciancia Da Computaaao
Mostrando 1-10 de 10 artigos, teses e dissertações.
-
1. 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
-
2. Reconstruindo-se a funÃÃo de densidade Ãssea utilizando-se triÃngulos de BÃzier em dados desestruturados para aprimorar o processo de diagnÃstico da osteoporose
Osteoporose à uma doenÃa caracterizada por uma reduÃÃo da densidade mineral Ãssea e a degeneraÃÃo da microarquitetura Ãssea. Trata-se da mais comum das doenÃas metabÃlicas do osso, atingindo mais que 10,000,000 de brasileiros. Inobstante as origens pediÃtricas da osteoporose, ela raramente manifesta sintomas na infÃncia. Entretanto, a doenÃa tor
Publicado em: 2007
-
3. A time Petri net based approach for software synthesis in Hard Real-Time embedded systems with multiple processors / A time Petri net based approach for software synthesis in Hard Real-Time embedded systems with multiple processors
Atualmente, sistemas embarcados sÃo ubÃquos. Em outras palavras, eles estÃo em todos os lugares. Desde utilitÃrios domÃsticos (ex: fornos microondas, refrigeradores, videocassetes, mÃquinas de fax, mÃquinas de lavar roupa, alarmes) atà equipamentos militares (ex: mÃsseis guiados, satÃlites espiÃes, sondas espaciais, aeronaves), nÃs podemos encont
Publicado em: 2006
-
4. Sobre a interferÃncia da produÃÃo cientÃfica e tecnolÃgica da universidade no desenvolvimento local : o caso da CiÃncia da ComputaÃÃo
This researchâs central interest was to better understand the way in which the organizations intervene in the local development. The path for this comprehension was traced through a problematization of the articulation between global and local dimensions of the organizational context, using as basis the Institutional Theory. The researchâs main objective w
Publicado em: 2005
-
5. Estudo de processos para modelagem, avaliaÃÃo, alteraÃÃo e seleÃÃo de estruturas de proteÃnas
O projeto consiste no estudo de diversos sistemas aplicados no processo de construÃÃo de modelos de estruturas terciÃrias de proteÃnas, considerando etapas de modelagem e avaliaÃÃo da estrutura, assim como mecanismos para a modificaÃÃo visando a melhora das conformaÃÃes desenvolvidas. Ao longo desse estudo foi tambÃm desenvolvido um conjunto de in
Publicado em: 2005
-
6. Uma metodologia para a seleÃÃo de candidatos ao Mestrado em CiÃncia da ComputaÃÃo do CIn - UFPE usando funcionalidades da mineraÃÃo de dados
The candidates for the Center of Computer Science Postgraduate programme of UFPE, Brazil, are selected based on their CVs, subjectively. Six years ago, as the number of candidates increased, the task of selecting the candidates had to change. Since then, the CVs attributes are weighed as coefficients of linear function variables for producing the candidates
Publicado em: 2005
-
7. Ãndices Completos para Casamento de PadrÃes e InferÃncia de Motifs
Uma das maneiras mais eficientes (notadamente do ponto de vista computacional) empregada pela humanidade para a representaÃÃo da informaÃÃo tem sido atravÃs da forma de texto, ou seja, atravÃs de cadeias unimensionais de sÃmbolos (ou caracteres) tomados sobre conjuntos discretos finitos (ou alfabetos). As fecundas teorias, tÃcnicas e algoritmos desti
Publicado em: 2003
-
8. Uma hiper arquitetura para requisitos, mapeamentos, objetos de negÃcio e suas implementaÃÃes em engenharia de software.
As Metodologias de Desenvolvimento de Software Orientadas a Objetos disponÃveis no mercado nÃo contemplam a incorporaÃÃo apropriada das visÃes de um domÃnio empresarial. Esta restriÃÃo torna-se mais evidente na modelagem dos requisitos de negÃcio, durante o desenvolvimento de Sistemas de Software. Nas etapas iniciais do desenvolvimento, a inexistÃn
Publicado em: 2001
-
9. Um modelo ativo de representaÃÃo de conhecimentos orientado a objetos
This work presents and analyses some categories of data models, illustrating the constant evolution of the area and their advantages and restrictions to represent an accurate model of the real-world applications. The proposed model provides a mixed representation framework, integrating concepts originated from the fields of knowledge representation and data
Publicado em: 1994
-
10. A semÃntica formal de MooZ
Este trabalho descreve uma semÃntica formal para MooZ, uma extensÃo Âa linguagem Z proposta pelo Grupo de EspecificaÃÃes Formais do DI/UFPE. Os conceitos fundamentais de orientaÃÃo a objetos foram incluÃdos em MooZ: abstraÃÃo, encapsulamento, modularidade e hierarquia. A semÃntica formal à apresentada como uma extensÃo à semÃntica de variedade
Publicado em: 1993