Fixed Point Operators
Mostrando 1-6 de 6 artigos, teses e dissertações.
-
1. Complexidade descritiva das lÃgicas de ordem superior com menor ponto fixo e anÃlise de expressividade de algumas lÃgicas modais / Descriptive complexity of the logic of higher order with lower fixed point and analysis of expression of some modal logics
Em Complexidade Descritiva investigamos o uso de logicas para caracterizar classes problemas pelo vies da complexidade. Desde 1974, quando Fagin provou que NP e capturado pela logica existencial de segunda-ordem, considerado o primeiro resultado da area, outras relac~oes entre logicas e classes de complexidade foram estabelecidas. Os resultados mais conhecid
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 13/08/2010
-
2. Uma nova abordagem para o raciocinio nÃo monotÃnico / New Boarding for the nonmonotonic reasoning
Default logic was introduced to manipulate reasoning with incomplete information and became the main paradigm to formalize nonmonotonic reasoning. Many variations have been proposed with the objective to solve some limitations of the formalism or to consider different intuitions on the role of inconclusive information. However, some of the main characteristi
Publicado em: 2007
-
3. Set-valued functions / Funções ponto a conjunto
We study a mapping called a set-valued map which associates with each point of a metric space a non empty subset of another metric space. In the case of single-valued maps, contin-uous functions are characterized by two equivalent properties: one in terms of neighborhood and other in terms of sequences. These two properties can be adapted to the case of set-
Publicado em: 2005
-
4. Universalização de serviços públicos na Internet para o exercício da cidadania: análise crítica das ações do Governo Federal
This study analyzed the evolution of the situation the Brazilian in relation to the universalization of public services on the Internet to foster the exercise of citizenship, in the scope of the Federal Government. This work is set within the interdisciplinary perspective of information science, as it deals with topics as social exclusion, its relationship w
Publicado em: 2004
-
5. Manifestações do caos no modelo do Maser de Dicke
We study the effects of nonintegrability in the Dicke Maser Model by observing the modifications in the patterns of distribution of expectation values in the energy eigenstates of some selected operators plotted against energy eigenvalues. The semiclassical density of states and the mean values of observables in the microcanonical ensemble are obtained and c
Publicado em: 1995
-
6. Control site location and transcriptional regulation in Escherichia coli.
The regulatory regions for 119 Escherichia coli promoters have been analyzed, and the locations of the regulatory sites have been cataloged. The following observations emerge. (i) More than 95% of promoters are coregulated with at least one other promoter. (ii) Virtually all sigma 70 promoters contain at least one regulatory site in a proximal position, touc