Scott Domain Theory
Mostrando 1-4 de 4 artigos, teses e dissertações.
-
1. Números naturais parciais / Partial natural numbers
Os números naturais parciais são informações parciais sobre números naturais e w. As propriedades matemáticas do domínio de números naturais parciais e de funções que envolvem este domínio são estudadas via o use da teoria dos domínios de Scott. A manipulação formal de naturais parciais é estudada mediante a utilização de um calculo-ג tipa
Publicado em: 2010
-
2. Distribution and diversity of leaf litter ants (Hymenoptera: Formicidae) along an elevational gradient in the Parque Estadual da Serra do Mar - Núcleo Picinguaba, São Paulo, Brazil / Distribuição e diversidade de formigas de serapilheira (Hymenoptera: Formicidae) ao longo de um gradiente elevacional no Parque Estadual da Serra do Mar-Núcleo Picinguaba, São Paulo, Brasil
Aiming to investigate the influence of the elevation in topography on the myrmecological leaf litter fauna and to verify if there is a richness pattern for the investigated gradient, I studied the distribution of these ants along an elevational gradient in the Núcleo Picinguaba of the Serra do Mar State Park, Ubatuba, SP. For this, I adopted six elevational
Publicado em: 2008
-
3. A Máquina geométrica : modelo computacional para concorrência e não-determinismo usando como estrutura espaços coerentes / The geometric machine : a model for concurrence and non-determinism based on coherence spaces
O trabalho constitui-se numa investigação teórica da estrutura ordenada e intuitiva dos espaços coerentes, introduzidos por Girard [GIR 86], na definição do modelo de máquina geométrica para construção e interpretação de estados e processos computacionais rotulados por posições de um espaço geométrico. Esta interpretação poderá ser aplicad
Publicado em: 2007
-
4. Policy analysis from first principles
The argument of this paper is predicated on the view that social science should start with observation and the specification of a problem to be solved. On that basis, the appropriate properties and conditions of application of relevant tools of analysis should be defined. Evidence is adduced from data for sales volumes and values of a disparate range of good
National Academy of Sciences.