Coherence Spaces
Mostrando 1-11 de 11 artigos, teses e dissertações.
-
1. BUILDING CITIZENS: SCHOOL ARCHITECTURE AND ITS SOCIETAL PROGRAMME - COMPARATIVE VISIONS FROM 19TH AND 20TH CENTURY SWITZERLAND AND LUXEMBOURG
RESUMO A hipótese deste artigo é que prédios escolares constroem os futuros cidadãos do estado-nação. Perguntamos especificamente como essas construções nacionais atuam em estados-nações multilíngues. Com atenção especial ao desenvolvimento da arquitetura escolar numa variedade de regiões importantes, principalmente nos casos concretos de Luxem
Hist. Educ.. Publicado em: 28/03/2019
-
2. Explorando conjuntos de dados volumétricos multidimensionais variantes no tempo usando projeções / Exploring time-varying multidimensional volumetric datasets using projections
The area of volume visualization encompasses a set of techniques used for representation, manipulation and display of data associated with a region of a volume, thus enabling the exploration and understanding of the interior of three-dimensional objects. However, some limitations are still encountered in this area. For example, the simultaneous exploration o
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 10/09/2012
-
3. A transfiguração do espaço: um olhar oblíquo sobre o sertão / The transfiguration of space: an oblique view over the sertão
Antonio Candido, in Formação da Literatura Brasileira, said that the ecological vocation of our novel, our so peculiar hunger for spaces, was in a measure the way our first authors would have found to replace social complexity and variety allegedly inexistent in Brazil by that time which would be, according to him, the own flesh of high level fiction. In a
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 04/05/2012
-
4. Estratégias de computação seqüenciais e paralelas sobre espaços coerentes / Sequential and parallel computational strategies of coherence spaces
As estruturas de dados concretas (cds) são quaternas (C, V, E, l-) que contêm um conjunto C de células, um conjunto V de valores, um conjunto E de eventos e uma relação de habilitação l-. O conjunto de estados de uma cds é um domínio concreto que pode ser considerada a parte "abstrata" das cds. Da mesma maneira tem-se que os domínios de eventos (qu
Publicado em: 2010
-
5. A categoria computável dos espaços coerentes gerados por conjuntos básicos com aplicação em análise real / The computable category of the coherence spaces generated by basic sets with an application in real analysis
Neste trabalho desenvolve-se um estudo sobre os Espaços Coerentes Gerados por Conjuntos Básicos, dotados de uma estrutura adicional. Por estrutura adicional entende-se uma estrutura algébrica, de ordem pontual, de medidas, topológica e lógica. Estes espaços, denotados por , constituem uma subcategoria dos Espaços Coerentes, cujos objetos, ordenados pe
Publicado em: 2010
-
6. Estudo dos espaços coerentes do ponto de vista da teoria dos topos / A study of coherent spaces from the point of view of the theory of topos
Este trabalho propõe o estudo dos espaços coerentes do ponto de vista da teoria dos topos, ou seja, consiste em uma análise, em termos de topos, das principais categorias de espaços coerentes. Os espaços coerentes constituem um tipo de domínio que apresenta algumas particularidades que o distinguem dos demais, por exemplo, considera admissíveis no con
Publicado em: 2010
-
7. Uma representação construtiva global para sistemas ordenados de segunda ordem em espaços coerentes intervalares bi-estruturados, com aplicação em matemática intervalar / A global constructive representation of second order ordered systems using bi-structured interval coherence spaces, with an application in interval mathematics
Este trabalho consiste no desenvolvimento de uma metodologia para a obtenção de representações construtivas de sistemas ordenados de 2ª ordem, baseadas em estruturas de espaços coerentes, com aplicação fundamental na Computação Científica e Matemática Intervalar. Obtêm assim uma representação global para os objetos ditos infinitos relativament
Publicado em: 2009
-
8. EDUCAÇÃO AMBIENTAL: CONCEPÇÕES E FORMAÇÃO CONTINUADA DOCENTE NO CEFET-RS.
The present study aimed to identify concepts and conceptions of teachers/professors from the Environmental Technology Undergraduate courses at the Centro Federal de Educação Tecnológica do Rio Grande do Sul (CEFET-RS) about environmental education and environment, science and technology, knowledge and affection, as well as to relate these conceptions to t
Publicado em: 2008
-
9. Processos de educar e educar-se em instituição de atendimento a crianças e adolescentes em situação de risco.
This work investigated how educators and students, who participated in the program of attending on children and adolescents at risk situation, are educated in order to recognize and respect the differences and also recognize their potentialities and limits, exercising their reflexive, critical, and propositive capacity. It was developed in 2006 and 2007, wit
Publicado em: 2007
-
10. 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
-
11. As regras da metrópole: campo urbanístico e ordem social na região metropolitana de São Paulo
This research analyzes the advent and structure of a social group claiming the control of process of space production, emphasizing the institutional-cognitive dimension and having as an empirical basis São Paulo Metropolitan Area - SPMA, Brazil. The main objective of this study is to explain the behavior of that human community and evaluate the amplitude an
Publicado em: 2006