Estudos t?m revelado uma diminui??o no ritmo de crescimento geral da popula??o brasileira, com consequente aumento da popula??o idosa. As dificuldades de mem?ria est?o entre as queixas mais comuns no envelhecimento, sendo necess?rios testes para avaliar o desempenho de mem?ria em pacientes idosos e verificar a evolu??o para dem?ncias. No entanto, as tarefas adaptadas para avalia??o neuropsicol?gica no Brasil s?o recentes e ainda escassas. No final do s?culo XX, os estudos de adapta??o e normas para o contexto brasileiro abriram as portas para que outros testes neuropsicol?gicos fossem criados, despertando o interesse de pesquisadores e cl?nicos da ?rea, o que motivou a cria??o do ?Teste de Mem?ria de Curto Prazo?, desenvolvido para avaliar mem?ria de curto prazo e servir como ferramenta para diagn?stico diferencial de dem?ncias. O objetivo desse trabalho foi estudar a validade de crit?rio e construto do Teste de Mem?ria de Curto Prazo (TMCP), a fim de demonstrar seu potencial informativo acerca do processo de armazenamento de curto prazo, em uma popula??o de idosos. A pesquisa foi realizada com 187 idosos da cidade de Manaus. Desses, 63,1% do sexo feminino e 36,9% do sexo masculino. As idades variaram entre 60 e 85 anos, e a escolaridade entre 1 e 23 anos. Com rela??o aos resultados da pesquisa, observou-se que quanto menor a escolaridade e idade, pior o desempenho dos idosos. Foram desenvolvidos tamb?m padr?es normativos do teste e, devido ? heterogeneidade do grupo, dividiu-se em idade e escolaridade para uma adequada aferi??o de resultados. O estudo demonstrou fraca consist?ncia interna entre os itens do TMCP e baixa correla??o entre as atividades propostas. Ent?o, a partir dos estudos de validade (crit?rio e construto), percebeu-se a necessidade de outros estudos para comprovar a validade desse instrumento.

Up to the year 2025, there will be a decrease in the Brazilian population growth rate, with the consequent increase of elderly population. Memory impair is some of the most common complaints among elderly, and the use of tests are necessary to assess the memory performance and assess to verify the evolution of dementia. However, neuropsychological tasks adapted to Brazilian population are still recent and scarce. At the end of 20th century, adaptation and normatization studies to Brazilian context opened doors to the creation of other neuropsychological tests, increasing the interest of researchers and clinicians on the field, what motivated the creation of the ?Test of Short Term Memory?, developed to assess short term memory and be used as a tool for differential diagnosis of dementia. The purpose of this work was to study the validity of the Test of Short Term Memory, in order to demonstrate its potential to inform about the short term storage process, in an elderly population. The research was conducted with 187 elderly of Manaus. Among them, 63,1% were female and 36,9% were male. Ages varied between 60 to 85 years-old, and education varied between 1 to 23 years of study. In the test activities, elderly…

A migra??o, al?m da an?lise de um conceito, transp?e movimento e, em sua pluralidade interdisciplinar, engloba fen?menos culturais, religiosos, espaciais, afetivos, temporais e, em sua amplitude, tamb?m tra?a caminhos, vozes e personagens que surgem nesse ?nterim. O processo de constru??o deste trabalho desenvolve um novo olhar acerca da hist?ria e historiografia dos japoneses no estado do Amazonas, dando ?nfase ao processo (i)migrat?rio realizado por estes desde o in?cio do ano de 1927. Partindo desta temporalidade, este estudo aborda as viv?ncias de personagens que fizeram, e ainda fazem, parte da hist?ria das col?nias japonesas no estado, em especial a Col?nia Vila Amaz?nia. Suas narrativas orais s?o aqui relatadas como fonte para compreender os processos ocorridos no la?o familiar cotidiano e os desencadeamentos como elemento principal para percebermos as mudan?as ocorridas espacial e culturalmente na vida destes cinco nisseis. A constru??o hist?rica acerca deste estudo perpassa a migra??o como mem?ria viva e a temporalidade que nos mostra rupturas, continuidades, perman?ncias e (des)caminhos. Permeando as experi?ncias destes cinco entrevistados, o estudo nos traz ao momento atual desta conversa.

Migration, besides been a concept analysis, it also brings through movement and, in its multisubject plurality, evolves cultural phenomenon?s, religious, spatial, affective, temporal and, in its breadth, also, draws ways, voices and characters that emerge in within this. The construction process of this paperwork, develops a new view beyond history and historiography of the Japanese in Amazonas state, giving emphasis to the occurred (i)migration process from the beginning of 1927. Pointing out this temporality, this study addresses the experiences from the characters that did, and still do, a paper in Japanese colonial history in the state, as the focus being Vila Amazonia colonial. Their speeches are shown as a source to understand the process that occurred in the family, daily life and hatches as the main element for us to view the changes that happened culturally and spatially in life of these five nisseis. The historic construction about this study foretells the migration as a live memory and the time that comprise this shows breaks, permanence, continuity and misleading. Pervading the experiences from this five interviewed, this study brings to us the recent moment of this talk.

Funda??o de Amparo a Pesquisa do Amazonas - FAPEAM

Este trabalho trata de investiga??o desenvolvida durante processo de forma??o continuada de professores de ci?ncias (das disciplinas Qu?mica, Biologia, F?sica e Ci?ncias da Educa??o B?sica) em uma universidade p?blica. Consiste em pesquisa narrativa por meio da qual se busca compreender rela??es entre reflex?o epistemol?gica e forma??o docente. Procurou-se, particularmente, investigar que tipos de reflex?es os sujeitos-professores constroem a partir da introdu??o de discuss?es relativas ao processo de produ??o, valida??o e apropria??o social do conhecimento cient?fico e as rela??es que estabelecem com suas hist?rias de atua??o e forma??o pessoal e profissional. Com essa inten??o foi estimulado nos professores um processo de d?s-aliena??o de si, solicitando que produzissem narrativas memorialistas, nas quais relataram aspectos sobre os quais havia incidido as quest?es epistemol?gicas postas em debate durante os, aproximadamente, dois meses em que durou a forma??o continuada. Al?m dos registros memorialistas, produzidos ao final do curso, foram utilizados, tamb?m, como fonte de investiga??o as transcri??es dos encontros semanais entre a Formadora e os professores registrados em ?udio; respostas a um question?rio aplicado no primeiro momento de contato com os professores e anota??es de campo produzidas durante os encontros. A an?lise do conjunto de materiais produzidos sinaliza que a a??o recursiva da mem?ria, estimulada a partir de discuss?es epistemol?gicas no presente, potencializou as reflex?es docentes em quatro dimens?es principais: ?tico-pol?tica; Curricular, Metodol?gica e Afetiva. Dimens?es essas que desencadearam nos professores participantes problematiza??es em suas pr?tica pedag?gicas. Isso implicou em repensar a natureza e a proced?ncia dos conhecimentos que ensinavam e validavam na escola. Revis?o que resultou no despertar de outras formas de se pensar sobre o que ensinar, por que e como ensinar ci?ncias e na valoriza??o de outros saberes na composi??o do curr?culo escolar, que n?o apenas o conhecimento cient?fico.

This work is about the investigation developed during the process of continual formation of science teachers (from the subjects of Chemistry, Biology, Physics and Primary School?s Sciences) in a public University. This work consists in a narrative research in which we seek to comprehend the relations what kind of relations there are between epistemological reflection and teaching formation. We have been looked for, in particular, to investigate what kind of reflections the subject-teachers build up from the introduction of discussions that concern to the process of production, validation and social appropriation of the scientific knowledge and the relations they set up with their stories of performance and personal and professional formation. With this aim a process of um-alienation of himself was stimulated the teachers, asking them to produce memorialists narratives in which they related some aspects concerning to the epistemological questions during, closely, the two months whose lasted…

In the last three decades, memory safety issues in low-level programming languages such as C or C++ have been one of the significant sources of security vulnerabilities; however, there exist only a few attempts with limited success to cope with the complexity of C++ program verification. This work describes and evaluates a novel verification approach based on bounded model checking (BMC) and satisfiability modulo theories (SMT) to verify C++ programs formally. This verification approach analyzes bounded C++ programs by encoding various sophisticated features that the C++ programming language offers into SMT, such as templates, sequential and associative containers, inheritance, polymorphism, and exception handling. We formalize these sophisticated features within our formal verification framework using a decidable fragment of first-order logic and then show how state-of-the-art SMT solvers can efficiently handle that. We implemented this verification approach on top of the Efficient SMT-Based Context-Bounded Model Checker (ESBMC). We compare ESBMC to LLBMC and DIVINE, which are state-of-the-art verifiers to check C++ programs directly from LLVM bitcode. The experimental evaluation contains a set of over 1,500 benchmarks from several sources (e.g., Deitel & Deitel, NEC Corporation, and GCC test suite), which covers several C++ features. Experimental results show that ESBMC can handle a wide range of C++ programs, presenting a higher number of correct verification results, and at the same time, it reduces the verification time if compared to LLBMC and DIVINE tools.

Este trabalho descreve e avalia o Efficient SMT-Based Context-Bounded Model Checker (ESBMC) para verificar formalmente programas C++. O ESBMC implementa a t?cnica de verifica??o de modelos limitados (do ingl?s, bounded model checking  – BMC) com base em teorias do m?dulo da satisfabilidade (do ingl?s, satisfiability modulo theories  – SMT) para lidar com recursos complexos que a linguagem de programa??o C++ oferece, tais como templates, cont?ineres sequenciais e associativos, heran?a, polimorfismo e manipula??o de exce??es. ESBMC ? comparado as ferramentas LLBMC e DIVINE, as quais verificam os programas C++ diretamente a n?vel de bitcode do LLVM. Resultados experimentais mostram que o ESBMC pode lidar com uma ampla gama de estruturas do C++, apresentando uma taxa de aproximadamente 85% de verifica??es corretas e, ao mesmo tempo, reduzindo o tempo de verifica??o se comparado as ferramentas LLBMC e DIVINE.

Esta disserta??o buscou descrever e analisar os processos de territorializa??o e hist?ria de forma??o da comunidade Projeto Mapi a partir das narrativas dos pr?prios agentes ind?genas Caixana da regi?o do M?dio Solim?es, munic?pio de Tef?, Amazonas. A comunidade est? ligada ao munic?pio de Tef? por uma estrada de 24 Km, chamada EMADE. A pavimenta??o da mesma e a instala??o de luz el?trica na regi?o desencadeou um processo de especula??o imobili?rio e desde ent?o a ?rea de uso da comunidade passou a ser vendida, tomada, invadida por agentes n?o ind?genas. Em contra resposta ?s invas?es, os agentes da comunidade passaram a acionar a identidade ?tnica do grupo e iniciaram a luta pelo processo demarcat?rio de suas terras. Em 2004 o reconhecimento da ?rea como ind?gena foi deferida pela Funda??o Nacional do ?ndio (FUNAI) e desde ent?o aguardam a demarca??o. Esse coletivo tem acionado diversos elementos para sua afirma??o ?tnica e na mobiliza??o da luta pela terra. Desde j?, ? poss?vel apontar alguns deles: projeto de revitaliza??o da L?ngua Geral (Nheengatu), as narrativas de chegada e perman?ncia na terra, uma ancestralidade ind?gena que ? ?herdada? dos av?s, dos pais e de outros parentes consangu?neos e afins, que vivem em Terras Ind?genas (TI) j? demarcadas.

This dissertation intends to describe and analyze the processes of territorialization and formation history of the Mapi Project community based on the narratives of the Caixana indigenous agents of the Middle Solim?es region, Tef?, Amazonas. The community is connected to the municipality of Tef? by a road of 24 km, called EMADE. The paving of the same and the installation of electric light in the area triggered a process of real estate speculation and since then the area of use of the community has been sold, taken over, invaded by non-indigenous agents. In response to the invasions, the agents of the community started to activate the ethnic identity of the group and began the struggle for the demarcation process of their lands. In 2004 the recognition of the area as indigenous was deferred by the National Indian Foundation (FUNAI) and since then the demarcation is expected. This collective has triggered diverse elements for its ethnic affirmation and in the mobilization of the fight for the territory. It is possible to point out some of them: the revitalization project of the Geral Language (Nheengatu), the narratives of arrival and stay on the land, an indigenous ancestry that is "inherited" from the grandparents, parents and other relatives that live in TIs already demarcated.

Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior (Capes)

No desenvolvimento do projeto de sistemas embarcados v?rios fatores t?m que ser levados em conta, tais como: tamanho f?sico, peso, mobilidade, consumo de energia, mem?ria, refresc?ncia, requisitos de seguran?a, confiabilidade e tudo isso aliado a um custo reduzido e de f?cil utiliza??o. Por?m, ? medida que os sistemas tornam-se mais heterog?neos os mesmos admitem maior complexidade em seu desenvolvimento. Existem diversas t?cnicas para otimizar o tempo de execu??o e o consumo de energia em sistemas embarcados. Uma dessas t?cnicas ? a compress?o de c?digo, n?o obstante, a maioria das propostas existentes focaliza na descompress?o e assumem que o c?digo ? comprimido em tempo de compila??o. Portanto, este trabalho prop?e o desenvolvimento de uma arquitetura, com respectiva prototipa??o em hardware (usando VHDL e FPGAs), para o processo de compress?o/descompress?o de c?digo. Assim, prop?e-se a t?cnica denominada de PDCCM (Processor Decompressor Cache Compressor Memory). Os resultados s?o obtidos via simula??o e prototipa??o. Na an?lise usaram-se programas do benchmark MiBench. Foi tamb?m proposto um m?todo de compress?o, denominado de MIC (Middle Instruction Compression), o qual foi comparado com o tradicional m?todo de compress?o de Huffman. Portanto, na arquitetura PDCCM o m?todo MIC apresentou melhores desempenhos computacionais em rela??o ao m?todo de Huffman para alguns programas do MiBench analisados que s?o muito usados em sistemas embarcados, obtendo 26% a menos dos elementos l?gicos do FPGA, 71% a mais na freq??ncia do clock em MHz e 36% a mais na compress?o das instru??es comparando com o m?todo de Huffman, al?m de permitir a compress?o/descompress?o em tempo de execu??o.

In the development of the design of embedded systems several factors must be led in account, such as: physical size, weight, mobility, energy consumption, memory, cooling, security requirements, trustiness and everything ally to a reduced cost and of easy utilization. But, on the measure that the systems become more heterogeneous they admit major complexity in its development. There are several techniques to optimize the execution time and power usage in embedded systems. One of these techniques is the code compression, however, most existing proposals focus on decompress and they assume that the code is compressed in compilation time. Therefore, this work proposes the development of an specific architecture, with its prototype in hardware (using VHDL and FPGAs), special for the process of compression/decompression code. Thus, it is proposed a technique called PDCCM (Processor Memory Cache Compressor Decompressor). The results are obtained via simulation and prototyping. In the analysis, benchmark programs such as MiBench had been used. Also a method of compression, called of MIC was considered (Middle Instruction Compression), which was compared with the traditional Huffman compression method. Therefore, in the architecture PDCCM the MIC method showed better performance in relation to the Huffman method for some programs of the…