Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

Sorted by: relevance · author · university · date | New search

You searched for subject:(Mem ria). Showing records 1 – 6 of 6 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters

1. Sousa, Felipe Rodrigues Monteiro; http://lattes.cnpq.br/4475065926209027. Formal verification to ensuring the memory safety of C++ Programs.

Degree: 2020, Universidade Federal do Amazonas

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… (more)

Subjects/Keywords: Engenharia de Software; Software Verification; Model Checking; Memory Safety; Seguran?a de Mem?ria; CI?NCIAS EXATAS E DA TERRA: CI?NCIA DA COMPUTA??O: METODOLOGIA E T?CNICAS DA COMPUTA??O: ENGENHARIA DE SOFTWARE; Software Verification; Model Checking; C++; Memory Safety; Engenharia de Software; Verifica??o Formal; Seguran?a de Mem?ria

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Sousa, F. R. M. h. c. b. (2020). Formal verification to ensuring the memory safety of C++ Programs. (Masters Thesis). Universidade Federal do Amazonas. Retrieved from https://tede.ufam.edu.br/handle/tede/7762

Chicago Manual of Style (16th Edition):

Sousa, Felipe Rodrigues Monteiro; http://lattes cnpq br/4475065926209027. “Formal verification to ensuring the memory safety of C++ Programs.” 2020. Masters Thesis, Universidade Federal do Amazonas. Accessed April 09, 2020. https://tede.ufam.edu.br/handle/tede/7762.

MLA Handbook (7th Edition):

Sousa, Felipe Rodrigues Monteiro; http://lattes cnpq br/4475065926209027. “Formal verification to ensuring the memory safety of C++ Programs.” 2020. Web. 09 Apr 2020.

Vancouver:

Sousa FRMhcb. Formal verification to ensuring the memory safety of C++ Programs. [Internet] [Masters thesis]. Universidade Federal do Amazonas; 2020. [cited 2020 Apr 09]. Available from: https://tede.ufam.edu.br/handle/tede/7762.

Council of Science Editors:

Sousa FRMhcb. Formal verification to ensuring the memory safety of C++ Programs. [Masters Thesis]. Universidade Federal do Amazonas; 2020. Available from: https://tede.ufam.edu.br/handle/tede/7762

2. Chaves, Quezia Martins. Morre a empresa privada e nasce a comunidade: mem?ria e territorialidade na comunidade Ind?gena Projeto Mapi (M?dio Solim?es-AM).

Degree: 2018, Universidade Federal do Amazonas

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… (more)

Subjects/Keywords: Povos ind?genas - Tef? (AM); Territorializa??o; Comunidade Ind?gena Caixana; Etnologia; Hist?ria e antropologia; CI?NCIAS HUMANAS: ANTROPOLOGIA: ETNOLOGIA IND?GENA; Ind?genas Caixana; Processos de Territorializa??o; Conflitos e Mem?ria

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Chaves, Q. M. (2018). Morre a empresa privada e nasce a comunidade: mem?ria e territorialidade na comunidade Ind?gena Projeto Mapi (M?dio Solim?es-AM). (Masters Thesis). Universidade Federal do Amazonas. Retrieved from https://tede.ufam.edu.br/handle/tede/7655

Chicago Manual of Style (16th Edition):

Chaves, Quezia Martins. “Morre a empresa privada e nasce a comunidade: mem?ria e territorialidade na comunidade Ind?gena Projeto Mapi (M?dio Solim?es-AM).” 2018. Masters Thesis, Universidade Federal do Amazonas. Accessed April 09, 2020. https://tede.ufam.edu.br/handle/tede/7655.

MLA Handbook (7th Edition):

Chaves, Quezia Martins. “Morre a empresa privada e nasce a comunidade: mem?ria e territorialidade na comunidade Ind?gena Projeto Mapi (M?dio Solim?es-AM).” 2018. Web. 09 Apr 2020.

Vancouver:

Chaves QM. Morre a empresa privada e nasce a comunidade: mem?ria e territorialidade na comunidade Ind?gena Projeto Mapi (M?dio Solim?es-AM). [Internet] [Masters thesis]. Universidade Federal do Amazonas; 2018. [cited 2020 Apr 09]. Available from: https://tede.ufam.edu.br/handle/tede/7655.

Council of Science Editors:

Chaves QM. Morre a empresa privada e nasce a comunidade: mem?ria e territorialidade na comunidade Ind?gena Projeto Mapi (M?dio Solim?es-AM). [Masters Thesis]. Universidade Federal do Amazonas; 2018. Available from: https://tede.ufam.edu.br/handle/tede/7655

3. Ferreira, Julyanne Garcez. Estudo de validade do teste de mem?ria de curto prazo.

Degree: 2016, Universidade Federal do Amazonas

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… (more)

Subjects/Keywords: Avalia??o Neuropsicol?gica; Mem?ria Fonol?gica; Mem?ria Visuoespacial; Mem?ria de Longa Dura??o; Neuropsychological Assessment; CI?NCIAS HUMANAS: PSICOLOGIA: PSICOLOGIA SOCIAL

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Ferreira, J. G. (2016). Estudo de validade do teste de mem?ria de curto prazo. (Masters Thesis). Universidade Federal do Amazonas. Retrieved from http://tede.ufam.edu.br/handle/tede/5348

Chicago Manual of Style (16th Edition):

Ferreira, Julyanne Garcez. “Estudo de validade do teste de mem?ria de curto prazo.” 2016. Masters Thesis, Universidade Federal do Amazonas. Accessed April 09, 2020. http://tede.ufam.edu.br/handle/tede/5348.

MLA Handbook (7th Edition):

Ferreira, Julyanne Garcez. “Estudo de validade do teste de mem?ria de curto prazo.” 2016. Web. 09 Apr 2020.

Vancouver:

Ferreira JG. Estudo de validade do teste de mem?ria de curto prazo. [Internet] [Masters thesis]. Universidade Federal do Amazonas; 2016. [cited 2020 Apr 09]. Available from: http://tede.ufam.edu.br/handle/tede/5348.

Council of Science Editors:

Ferreira JG. Estudo de validade do teste de mem?ria de curto prazo. [Masters Thesis]. Universidade Federal do Amazonas; 2016. Available from: http://tede.ufam.edu.br/handle/tede/5348

4. Dias, Wanderson Roger Azevedo. Arquitetura pdccm em hardware para compress?o/descompress?o de instru??es em sistemas embarcados.

Degree: 2009, Universidade Federal do Amazonas

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,… (more)

Subjects/Keywords: Sistemas Embarcados; Compress?o/Descompress?o de c?digo; Processador; Mem?ria, Cache.; Systems Embedded; Compression/Decompression of code; Processor; Memory; Cache.; CI?NCIAS EXATAS E DA TERRA: CI?NCIA DA COMPUTA??O

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Dias, W. R. A. (2009). Arquitetura pdccm em hardware para compress?o/descompress?o de instru??es em sistemas embarcados. (Masters Thesis). Universidade Federal do Amazonas. Retrieved from http://tede.ufam.edu.br/handle/tede/2950

Chicago Manual of Style (16th Edition):

Dias, Wanderson Roger Azevedo. “Arquitetura pdccm em hardware para compress?o/descompress?o de instru??es em sistemas embarcados.” 2009. Masters Thesis, Universidade Federal do Amazonas. Accessed April 09, 2020. http://tede.ufam.edu.br/handle/tede/2950.

MLA Handbook (7th Edition):

Dias, Wanderson Roger Azevedo. “Arquitetura pdccm em hardware para compress?o/descompress?o de instru??es em sistemas embarcados.” 2009. Web. 09 Apr 2020.

Vancouver:

Dias WRA. Arquitetura pdccm em hardware para compress?o/descompress?o de instru??es em sistemas embarcados. [Internet] [Masters thesis]. Universidade Federal do Amazonas; 2009. [cited 2020 Apr 09]. Available from: http://tede.ufam.edu.br/handle/tede/2950.

Council of Science Editors:

Dias WRA. Arquitetura pdccm em hardware para compress?o/descompress?o de instru??es em sistemas embarcados. [Masters Thesis]. Universidade Federal do Amazonas; 2009. Available from: http://tede.ufam.edu.br/handle/tede/2950


Universidade Estadual de Campinas

5. Ozelo, Helka Fabbri Broggian. Desenvolvimento de uma t?cnica multimodal associando eletroencefalografia e imagens funcionais por resson?ncia magn?tica para o estudo de mem?ria operacional : aplica??o em indiv?duos com epilepsia de lobo temporal mesial associada a atrofia hipocampal .

Degree: 2008, Universidade Estadual de Campinas

 Resumo: Neste trabalho, uma t?cnica multimodal envolvendo eletroencefalografia (EEG) e imagens funcionais por Resson?ncia Magn?tica (fMRI) foi implementada a fim de realizar estudos sobre mem?ria(more)

Subjects/Keywords: Eletroencefalografia; Imagem de resson?ncia magn?tica; Mem?ria de curto prazo; Epilepsia do lobo temporal mesial

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Ozelo, H. F. B. (2008). Desenvolvimento de uma t?cnica multimodal associando eletroencefalografia e imagens funcionais por resson?ncia magn?tica para o estudo de mem?ria operacional : aplica??o em indiv?duos com epilepsia de lobo temporal mesial associada a atrofia hipocampal . (Thesis). Universidade Estadual de Campinas. Retrieved from http://repositorio.unicamp.br/jspui/handle/REPOSIP/277110

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Ozelo, Helka Fabbri Broggian. “Desenvolvimento de uma t?cnica multimodal associando eletroencefalografia e imagens funcionais por resson?ncia magn?tica para o estudo de mem?ria operacional : aplica??o em indiv?duos com epilepsia de lobo temporal mesial associada a atrofia hipocampal .” 2008. Thesis, Universidade Estadual de Campinas. Accessed April 09, 2020. http://repositorio.unicamp.br/jspui/handle/REPOSIP/277110.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Ozelo, Helka Fabbri Broggian. “Desenvolvimento de uma t?cnica multimodal associando eletroencefalografia e imagens funcionais por resson?ncia magn?tica para o estudo de mem?ria operacional : aplica??o em indiv?duos com epilepsia de lobo temporal mesial associada a atrofia hipocampal .” 2008. Web. 09 Apr 2020.

Vancouver:

Ozelo HFB. Desenvolvimento de uma t?cnica multimodal associando eletroencefalografia e imagens funcionais por resson?ncia magn?tica para o estudo de mem?ria operacional : aplica??o em indiv?duos com epilepsia de lobo temporal mesial associada a atrofia hipocampal . [Internet] [Thesis]. Universidade Estadual de Campinas; 2008. [cited 2020 Apr 09]. Available from: http://repositorio.unicamp.br/jspui/handle/REPOSIP/277110.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Ozelo HFB. Desenvolvimento de uma t?cnica multimodal associando eletroencefalografia e imagens funcionais por resson?ncia magn?tica para o estudo de mem?ria operacional : aplica??o em indiv?duos com epilepsia de lobo temporal mesial associada a atrofia hipocampal . [Thesis]. Universidade Estadual de Campinas; 2008. Available from: http://repositorio.unicamp.br/jspui/handle/REPOSIP/277110

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

6. Paulo Sérgio Lobo Castro. Epistemological and memorialística reflection: an experience in the continued formation Sciences teachers.

Degree: 2007, Universidade Federal do Pará

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)… (more)

Subjects/Keywords: Pr?tica educativa; Forma??o de professores; Memory; TOPICOS ESPECIFICOS DE EDUCACAO; Teachers Formation; Mem?ria; Ci?ncias; Sciences; Educational Practice

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Castro, P. S. L. (2007). Epistemological and memorialística reflection: an experience in the continued formation Sciences teachers. (Thesis). Universidade Federal do Pará. Retrieved from http://www.bdtd.ufpa.br//tde_busca/arquivo.php?codArquivo=397

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Castro, Paulo Sérgio Lobo. “Epistemological and memorialística reflection: an experience in the continued formation Sciences teachers.” 2007. Thesis, Universidade Federal do Pará. Accessed April 09, 2020. http://www.bdtd.ufpa.br//tde_busca/arquivo.php?codArquivo=397.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Castro, Paulo Sérgio Lobo. “Epistemological and memorialística reflection: an experience in the continued formation Sciences teachers.” 2007. Web. 09 Apr 2020.

Vancouver:

Castro PSL. Epistemological and memorialística reflection: an experience in the continued formation Sciences teachers. [Internet] [Thesis]. Universidade Federal do Pará; 2007. [cited 2020 Apr 09]. Available from: http://www.bdtd.ufpa.br//tde_busca/arquivo.php?codArquivo=397.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Castro PSL. Epistemological and memorialística reflection: an experience in the continued formation Sciences teachers. [Thesis]. Universidade Federal do Pará; 2007. Available from: http://www.bdtd.ufpa.br//tde_busca/arquivo.php?codArquivo=397

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

.