Tecnologia - Informática
Expectativas e dificuldades de licenciandos em matemática relativas ao uso da tecnologia informática
... pela Tecnologia Informática, isso porque, estão distantes tanto os professores em formação (alunos da Licenciatura), quanto seus formadores (docentes ...
95
A tecnologia informática como auxílio no ensino de geometria para deficientes visuais
... de tecnologia informática para o ensino de geometria para ...da tecnologia informática na educação ...da tecnologia informática, em especial do programa desenhador vox, se ...
129
O ensino da matemática integrado ao uso da tecnologia da informática nos anos iniciais
... da tecnologia da informática no ensino da Matemática vem a contribuir para o desenvolvimento desta disciplina, já nos anos iniciais, pois se sabe o quanto é importante para as crianças vivenciarem situações ...
15
O uso da tecnologia da informática na educação. Uma reflexão no ensino com crianças
... da tecnologia de informática com crianças e adolescentes, é que, não podemos em hipótese alguma tornar esse método (ferramenta) como prioritário no ensino, isto é, como condição sine qua non, mas sim em uma ...
7
O crime de Prometeu: como o Brasil obteve a tecnologia da informática
... inteira, assinada por Marcos Emílio Gomes, sobre o engenheiro e empresário João Augusto Conrado do Amaral Gurgel que, "depois de quatro décadas sonhando", afinal materializou seu desejo de pôr nas ruas o ...
75
Tecnologia e crianças: a informática no ensino da educação infantil
... Desse modo, podemos perceber que os desafios da educação são bem maiores do que somente incorporar a informática nas aulas. De nada adianta o professor utilizar tecnologia em suas aulas, sem ao menos pensar ...
11
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia Departamento de Informática
... O trabalho realizado, no contexto desta avaliação, não está contudo limitado à avaliação de um conjunto de pesquisas por alcance nas diferentes estruturas de dados, mas também inclui u[r] ...
181
Avaliação da Qualidade de Serviços em Informática: um Estudo Exploratório sobre os Serviços Prestados pelo Departamento de Tecnologia e Informática de uma Instituição de Ensino Superior
... O processo de informatização da Instituição foi iniciado em 1971 que ganhou força e amplitude a partir do início da década de 1990. Nessa ocasião, havia uma única rede com cinco micros. Hoje são 18 redes, com cerca de 2 ...
18
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia Departamento de Informática
... Um exemplo de propriedades verificáveis em CTL e não verificáveis em LTL são as propriedades relativas a reinicialização, ou seja, para todos os estados existe pelo menos [r] ...
132
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia Departamento de Informática
... While automatic tagging algorithms depend almost entirely on CBIR algorithms to perform annotations using pre- annotated sets of images for comparison, semi automatic systems [r] ...
115
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia Departamento de Informática
... commit confirmation, all the transaction effects are stable in storage, inside the journal file. Similarly whenever the user attempted to log-in, even after an unclean shutdown, if the [r] ...
116
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia Departamento de Informática
... we evaluate tools and methods that allow the suppression of the gap between the design models and the target platform solution.. In chapter 4, we focus on the syntactic evaluation of the[r] ...
202
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia Departamento de Informática
... Researchers can start their works making some initial assumptions based our findings: almost half of the incidents are not related with software functionalities, not all countri[r] ...
158
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia Departamento de Informática
... Factory and Factory Method patterns, where CaesarJ provided direct language support for the pattern implementation and for Visitor where AspectJ was able to produce a reusable abs[r] ...
141
UNIVERSIDADE NOVA DE LISBOA Faculdade de Ciências e Tecnologia Departamento de Informática
... Constraints are used to model restrictions over the allowed set of relationships in which an instance can participate and to identify restrictions on setting values of members[r] ...
201
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia Departamento de Informática
... Both the primary replica and the secondary replicas log the write sets of each version of. the database in main memory, to send them to a recovering replica which needs to[r] ...
84
UNIVERSIDADE NOVA DE LISBOA Faculdade de Ciências e Tecnologia Departamento de Informática
... Já o par de línguas Inglês-Francês no corpus do Vaticano para uma semelhança de 60% entre palavras, uma tolerância de 80% de semelhança entre os vectores de frequências e uma tolerâ[r] ...
96
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia Departamento de Informática
... Os raios de pesquisa foram seleccionados com base nas pesquisas efectuadas, onde se verificou experimentalmente, para a base de dados, sobre os espaços métricos da dime[r] ...
145
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia Departamento de Informática
... O Tritom foi integrado com o OpenDX, que como referido anteriormente permite a visualização de dados de forma tridimensional e ainda uma fácil interacção para um não especialista na ár[r] ...
89
Universidade Nova de Lisboa Faculdade de Ciências e Tecnologia Departamento de Informática
... Ao longo do capítulo três (Extensão ao SOLAP+) são apresentadas as propostas para estender o modelo genérico SOLAP, que incluem dar suporte a casos com dois atributos espac[r] ...
148