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 · dateNew search

You searched for +publisher:"Universidade Federal do Amazonas" +contributor:("20070128200"). Showing records 1 – 11 of 11 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters

1. Lima, Milton Macena Ramos de. Inferência dos ângulos críticos de voo por associação do fluxo óptico com a geometria da cena.

Degree: 2013, Universidade Federal do Amazonas

Os três Parâmetros de Atitude ou Parâmetros Críticos de Voo Ataque, Guinada e Rolagem são os ângulos que descrevem os movimentos rotacionais de um veículo… (more)

Subjects/Keywords: Visão robótica; VANT; Veículo aéreo não-tripulado; Posicionamento tridimensional; Fluxo óptico; Ângulos de voo.; Robotic Vision; UAV; Unmanned aerial vehicle; Tridimensional positioning; Optical flow; Flight angles.; 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):

Lima, M. M. R. d. (2013). Inferência dos ângulos críticos de voo por associação do fluxo óptico com a geometria da cena. (Masters Thesis). Universidade Federal do Amazonas. Retrieved from http://tede.ufam.edu.br/handle/tede/2914

Chicago Manual of Style (16th Edition):

Lima, Milton Macena Ramos de. “Inferência dos ângulos críticos de voo por associação do fluxo óptico com a geometria da cena.” 2013. Masters Thesis, Universidade Federal do Amazonas. Accessed March 01, 2021. http://tede.ufam.edu.br/handle/tede/2914.

MLA Handbook (7th Edition):

Lima, Milton Macena Ramos de. “Inferência dos ângulos críticos de voo por associação do fluxo óptico com a geometria da cena.” 2013. Web. 01 Mar 2021.

Vancouver:

Lima MMRd. Inferência dos ângulos críticos de voo por associação do fluxo óptico com a geometria da cena. [Internet] [Masters thesis]. Universidade Federal do Amazonas; 2013. [cited 2021 Mar 01]. Available from: http://tede.ufam.edu.br/handle/tede/2914.

Council of Science Editors:

Lima MMRd. Inferência dos ângulos críticos de voo por associação do fluxo óptico com a geometria da cena. [Masters Thesis]. Universidade Federal do Amazonas; 2013. Available from: http://tede.ufam.edu.br/handle/tede/2914

2. Rocha, Herbert Oliveira. Verificação e comprovação de erros em códigos C usando bounded model checker.

Degree: 2011, Universidade Federal do Amazonas

A utilização de sistemas baseados em computador em diversos domínios aumentou significativamente nos últimos anos. Um dos principais desafios no desenvolvimento de software de sistemas… (more)

Subjects/Keywords: Model checking; Bounded model checker; Propriedades de segurança; Contra-exemplos; Comprovação de Erros; Model checking; Bounded modelchecker; Safety properties; Counterexamples; Proving errors; 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):

Rocha, H. O. (2011). Verificação e comprovação de erros em códigos C usando bounded model checker. (Masters Thesis). Universidade Federal do Amazonas. Retrieved from http://tede.ufam.edu.br/handle/tede/2965

Chicago Manual of Style (16th Edition):

Rocha, Herbert Oliveira. “Verificação e comprovação de erros em códigos C usando bounded model checker.” 2011. Masters Thesis, Universidade Federal do Amazonas. Accessed March 01, 2021. http://tede.ufam.edu.br/handle/tede/2965.

MLA Handbook (7th Edition):

Rocha, Herbert Oliveira. “Verificação e comprovação de erros em códigos C usando bounded model checker.” 2011. Web. 01 Mar 2021.

Vancouver:

Rocha HO. Verificação e comprovação de erros em códigos C usando bounded model checker. [Internet] [Masters thesis]. Universidade Federal do Amazonas; 2011. [cited 2021 Mar 01]. Available from: http://tede.ufam.edu.br/handle/tede/2965.

Council of Science Editors:

Rocha HO. Verificação e comprovação de erros em códigos C usando bounded model checker. [Masters Thesis]. Universidade Federal do Amazonas; 2011. Available from: http://tede.ufam.edu.br/handle/tede/2965

3. Pinheiro, Diego Quintana. Inserção de Código DVFS-Aware em Sistemas de tempo real críticos.

Degree: 2015, Universidade Federal do Amazonas

Desempenho e consumo de energia são variáveis diretamente proporcionais. Para aumentar o desempenho, é necessário também aumentar o número de instruções por segundo a serem… (more)

Subjects/Keywords: Sistemas Embarcados; Sistemas de Tempo Real, Baixo Consumo de Energia; DVFS Intra-Tarefa; Transformação de Código; DVFS Inter-Tarefa; 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):

Pinheiro, D. Q. (2015). Inserção de Código DVFS-Aware em Sistemas de tempo real críticos. (Masters Thesis). Universidade Federal do Amazonas. Retrieved from http://tede.ufam.edu.br/handle/tede/5248

Chicago Manual of Style (16th Edition):

Pinheiro, Diego Quintana. “Inserção de Código DVFS-Aware em Sistemas de tempo real críticos.” 2015. Masters Thesis, Universidade Federal do Amazonas. Accessed March 01, 2021. http://tede.ufam.edu.br/handle/tede/5248.

MLA Handbook (7th Edition):

Pinheiro, Diego Quintana. “Inserção de Código DVFS-Aware em Sistemas de tempo real críticos.” 2015. Web. 01 Mar 2021.

Vancouver:

Pinheiro DQ. Inserção de Código DVFS-Aware em Sistemas de tempo real críticos. [Internet] [Masters thesis]. Universidade Federal do Amazonas; 2015. [cited 2021 Mar 01]. Available from: http://tede.ufam.edu.br/handle/tede/5248.

Council of Science Editors:

Pinheiro DQ. Inserção de Código DVFS-Aware em Sistemas de tempo real críticos. [Masters Thesis]. Universidade Federal do Amazonas; 2015. Available from: http://tede.ufam.edu.br/handle/tede/5248

4. Leitão, Gabriel de Souza. Uma plataforma de suporte ao docente no contexto da Educação Digital.

Degree: 2017, Universidade Federal do Amazonas

Vivemos em uma sociedade tecnológica, por isso, é preciso propor novas metodologias de ensino que integrem os recursos tecnológicos atuais. Porém, apenas criar novos modelos… (more)

Subjects/Keywords: Educação Digital; Sistemas de Tutoria; Ambiente Virtual de Aprendizagem; Sala de Aula Inteligente; Avaliação de Desempenho; 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):

Leitão, G. d. S. (2017). Uma plataforma de suporte ao docente no contexto da Educação Digital. (Masters Thesis). Universidade Federal do Amazonas. Retrieved from http://tede.ufam.edu.br/handle/tede/5889

Chicago Manual of Style (16th Edition):

Leitão, Gabriel de Souza. “Uma plataforma de suporte ao docente no contexto da Educação Digital.” 2017. Masters Thesis, Universidade Federal do Amazonas. Accessed March 01, 2021. http://tede.ufam.edu.br/handle/tede/5889.

MLA Handbook (7th Edition):

Leitão, Gabriel de Souza. “Uma plataforma de suporte ao docente no contexto da Educação Digital.” 2017. Web. 01 Mar 2021.

Vancouver:

Leitão GdS. Uma plataforma de suporte ao docente no contexto da Educação Digital. [Internet] [Masters thesis]. Universidade Federal do Amazonas; 2017. [cited 2021 Mar 01]. Available from: http://tede.ufam.edu.br/handle/tede/5889.

Council of Science Editors:

Leitão GdS. Uma plataforma de suporte ao docente no contexto da Educação Digital. [Masters Thesis]. Universidade Federal do Amazonas; 2017. Available from: http://tede.ufam.edu.br/handle/tede/5889

5. Cruz, Anderson Araújo da. Uma abordagem para reconhecimento de emoção por expressão facial baseada em redes neurais de convolução.

Degree: 2019, Universidade Federal do Amazonas

Desenvolver a percepção emocional dos computadores é uma tendência tecnológica. O reconhecimento de emoção compõe sistemas cognitivos com aplicabilidade em diversas áreas. A expressão facial… (more)

Subjects/Keywords: Redes neurais (Computação); Aprendizado do computador; Reconhecimento de padrões; Expressão facial; CIÊNCIAS EXATAS E DA TERRA: CIÊNCIA DA COMPUTAÇÃO; Reconhecimento de emoção; Expressão facial; Redes neurais de convolução; Computação afetiva; Detecção de afeto

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Cruz, A. A. d. (2019). Uma abordagem para reconhecimento de emoção por expressão facial baseada em redes neurais de convolução. (Masters Thesis). Universidade Federal do Amazonas. Retrieved from https://tede.ufam.edu.br/handle/tede/7320

Chicago Manual of Style (16th Edition):

Cruz, Anderson Araújo da. “Uma abordagem para reconhecimento de emoção por expressão facial baseada em redes neurais de convolução.” 2019. Masters Thesis, Universidade Federal do Amazonas. Accessed March 01, 2021. https://tede.ufam.edu.br/handle/tede/7320.

MLA Handbook (7th Edition):

Cruz, Anderson Araújo da. “Uma abordagem para reconhecimento de emoção por expressão facial baseada em redes neurais de convolução.” 2019. Web. 01 Mar 2021.

Vancouver:

Cruz AAd. Uma abordagem para reconhecimento de emoção por expressão facial baseada em redes neurais de convolução. [Internet] [Masters thesis]. Universidade Federal do Amazonas; 2019. [cited 2021 Mar 01]. Available from: https://tede.ufam.edu.br/handle/tede/7320.

Council of Science Editors:

Cruz AAd. Uma abordagem para reconhecimento de emoção por expressão facial baseada em redes neurais de convolução. [Masters Thesis]. Universidade Federal do Amazonas; 2019. Available from: https://tede.ufam.edu.br/handle/tede/7320

6. Valentin, Eduardo Bezerra. Scheduling hard real-time tasks in heterogeneous multiprocessor platforms subject to energy and temperature constraints.

Degree: 2017, Universidade Federal do Amazonas

 The power wall is a barrier to improvement in the processor design process due to the power consumption of components. The production of energy optimum… (more)

Subjects/Keywords: Scheduling; Hard real-time; Integer linear programming; Energy constraints; Heterogeneous systems; 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):

Valentin, E. B. (2017). Scheduling hard real-time tasks in heterogeneous multiprocessor platforms subject to energy and temperature constraints. (Doctoral Dissertation). Universidade Federal do Amazonas. Retrieved from http://tede.ufam.edu.br/handle/tede/6148

Chicago Manual of Style (16th Edition):

Valentin, Eduardo Bezerra. “Scheduling hard real-time tasks in heterogeneous multiprocessor platforms subject to energy and temperature constraints.” 2017. Doctoral Dissertation, Universidade Federal do Amazonas. Accessed March 01, 2021. http://tede.ufam.edu.br/handle/tede/6148.

MLA Handbook (7th Edition):

Valentin, Eduardo Bezerra. “Scheduling hard real-time tasks in heterogeneous multiprocessor platforms subject to energy and temperature constraints.” 2017. Web. 01 Mar 2021.

Vancouver:

Valentin EB. Scheduling hard real-time tasks in heterogeneous multiprocessor platforms subject to energy and temperature constraints. [Internet] [Doctoral dissertation]. Universidade Federal do Amazonas; 2017. [cited 2021 Mar 01]. Available from: http://tede.ufam.edu.br/handle/tede/6148.

Council of Science Editors:

Valentin EB. Scheduling hard real-time tasks in heterogeneous multiprocessor platforms subject to energy and temperature constraints. [Doctoral Dissertation]. Universidade Federal do Amazonas; 2017. Available from: http://tede.ufam.edu.br/handle/tede/6148

7. Bezerra, Daniella Rodrigues. Arquitetura de apoio à integração de Linha de Produto de Software e Engenharia Dirigida a Modelos.

Degree: 2016, Universidade Federal do Amazonas

Essa tese investiga o problema de como integrar do ponto de vista arquitetural, modelos conceituais e de projeto e manter as diferenças necessárias para viabilizar… (more)

Subjects/Keywords: Modelagem Arquitetural; Linha de Produto de Software; Engenharia Dirigida a Modelos; Linguagem de Domínio Específico; 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):

Bezerra, D. R. (2016). Arquitetura de apoio à integração de Linha de Produto de Software e Engenharia Dirigida a Modelos. (Doctoral Dissertation). Universidade Federal do Amazonas. Retrieved from http://tede.ufam.edu.br/handle/tede/6217

Chicago Manual of Style (16th Edition):

Bezerra, Daniella Rodrigues. “Arquitetura de apoio à integração de Linha de Produto de Software e Engenharia Dirigida a Modelos.” 2016. Doctoral Dissertation, Universidade Federal do Amazonas. Accessed March 01, 2021. http://tede.ufam.edu.br/handle/tede/6217.

MLA Handbook (7th Edition):

Bezerra, Daniella Rodrigues. “Arquitetura de apoio à integração de Linha de Produto de Software e Engenharia Dirigida a Modelos.” 2016. Web. 01 Mar 2021.

Vancouver:

Bezerra DR. Arquitetura de apoio à integração de Linha de Produto de Software e Engenharia Dirigida a Modelos. [Internet] [Doctoral dissertation]. Universidade Federal do Amazonas; 2016. [cited 2021 Mar 01]. Available from: http://tede.ufam.edu.br/handle/tede/6217.

Council of Science Editors:

Bezerra DR. Arquitetura de apoio à integração de Linha de Produto de Software e Engenharia Dirigida a Modelos. [Doctoral Dissertation]. Universidade Federal do Amazonas; 2016. Available from: http://tede.ufam.edu.br/handle/tede/6217

8. Santos, Marco Aurélio dos. Localização em ambientes internos utilizando PDR e Wi-Fi.

Degree: 2018, Universidade Federal do Amazonas

Os sistemas de posicionamento internos permitem a localização de pessoas ou certos objetos em ambientes internos, assim como ajudam na navegação e orientação. As propostas… (more)

Subjects/Keywords: Localização em Ambientes Internos; Localização em Interiores; Indoor Location; Wi-Fi; 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):

Santos, M. A. d. (2018). Localização em ambientes internos utilizando PDR e Wi-Fi. (Masters Thesis). Universidade Federal do Amazonas. Retrieved from https://tede.ufam.edu.br/handle/tede/6517

Chicago Manual of Style (16th Edition):

Santos, Marco Aurélio dos. “Localização em ambientes internos utilizando PDR e Wi-Fi.” 2018. Masters Thesis, Universidade Federal do Amazonas. Accessed March 01, 2021. https://tede.ufam.edu.br/handle/tede/6517.

MLA Handbook (7th Edition):

Santos, Marco Aurélio dos. “Localização em ambientes internos utilizando PDR e Wi-Fi.” 2018. Web. 01 Mar 2021.

Vancouver:

Santos MAd. Localização em ambientes internos utilizando PDR e Wi-Fi. [Internet] [Masters thesis]. Universidade Federal do Amazonas; 2018. [cited 2021 Mar 01]. Available from: https://tede.ufam.edu.br/handle/tede/6517.

Council of Science Editors:

Santos MAd. Localização em ambientes internos utilizando PDR e Wi-Fi. [Masters Thesis]. Universidade Federal do Amazonas; 2018. Available from: https://tede.ufam.edu.br/handle/tede/6517

9. Teófilo, Mauro Ricardo da Silva. Mandos: Um método de Interação com o usuário em Aplicativos Embarcados na Telefonia Móvel.

Degree: 2007, Universidade Federal do Amazonas

Com o uso intenso de aplicativos em aparelho celulares a questão da usabilidade passa a vigorar fortemente como objeto de estudo, sendo considerado um fator… (more)

Subjects/Keywords: Usabilidade; Método de interação com o usuário; Framework de desenvolvimento; Desenvolvimento de aplicativos J2ME; Telefonia móvel; Usabilidade; método de interação com o usuário; framework de desenvolvimento; desenvolvimento de aplicativos J2ME; telefonia móvel;

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Teófilo, M. R. d. S. (2007). Mandos: Um método de Interação com o usuário em Aplicativos Embarcados na Telefonia Móvel. (Masters Thesis). Universidade Federal do Amazonas. Retrieved from http://tede.ufam.edu.br/handle/tede/2917

Chicago Manual of Style (16th Edition):

Teófilo, Mauro Ricardo da Silva. “Mandos: Um método de Interação com o usuário em Aplicativos Embarcados na Telefonia Móvel.” 2007. Masters Thesis, Universidade Federal do Amazonas. Accessed March 01, 2021. http://tede.ufam.edu.br/handle/tede/2917.

MLA Handbook (7th Edition):

Teófilo, Mauro Ricardo da Silva. “Mandos: Um método de Interação com o usuário em Aplicativos Embarcados na Telefonia Móvel.” 2007. Web. 01 Mar 2021.

Vancouver:

Teófilo MRdS. Mandos: Um método de Interação com o usuário em Aplicativos Embarcados na Telefonia Móvel. [Internet] [Masters thesis]. Universidade Federal do Amazonas; 2007. [cited 2021 Mar 01]. Available from: http://tede.ufam.edu.br/handle/tede/2917.

Council of Science Editors:

Teófilo MRdS. Mandos: Um método de Interação com o usuário em Aplicativos Embarcados na Telefonia Móvel. [Masters Thesis]. Universidade Federal do Amazonas; 2007. Available from: http://tede.ufam.edu.br/handle/tede/2917

10. Freitas, Romulo Devezas. Síntese de escalas utilizando semântica de passo máximo em redes de petri com temporização.

Degree: 2005, Universidade Federal do Amazonas

 No contexto restritivo dos sistemas embarcados de tempo real críticos, a geração de código escalonado mostra-se uma maneira eficiente de proporcionar previsibilidade e demais garantias… (more)

Subjects/Keywords: Semântica de Passo, Redes de Petri, Escalonamento Estático, Síntese Software.; Semântica de Passo; Redes de Petri; Escalonamento Estático; Síntese Software; Step semantic; Petri Web; Synthesis of software; 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):

Freitas, R. D. (2005). Síntese de escalas utilizando semântica de passo máximo em redes de petri com temporização. (Masters Thesis). Universidade Federal do Amazonas. Retrieved from http://tede.ufam.edu.br/handle/tede/2938

Chicago Manual of Style (16th Edition):

Freitas, Romulo Devezas. “Síntese de escalas utilizando semântica de passo máximo em redes de petri com temporização.” 2005. Masters Thesis, Universidade Federal do Amazonas. Accessed March 01, 2021. http://tede.ufam.edu.br/handle/tede/2938.

MLA Handbook (7th Edition):

Freitas, Romulo Devezas. “Síntese de escalas utilizando semântica de passo máximo em redes de petri com temporização.” 2005. Web. 01 Mar 2021.

Vancouver:

Freitas RD. Síntese de escalas utilizando semântica de passo máximo em redes de petri com temporização. [Internet] [Masters thesis]. Universidade Federal do Amazonas; 2005. [cited 2021 Mar 01]. Available from: http://tede.ufam.edu.br/handle/tede/2938.

Council of Science Editors:

Freitas RD. Síntese de escalas utilizando semântica de passo máximo em redes de petri com temporização. [Masters Thesis]. Universidade Federal do Amazonas; 2005. Available from: http://tede.ufam.edu.br/handle/tede/2938

11. Custódio, Marcelo Monteiro. Verificação de modelos uml de software embarcado com model checking.

Degree: 2008, Universidade Federal do Amazonas

Os sistemas embarcados possuem inegável importância na sociedade atual. Eles possuem restrições temporais (quando são de tempo real), de gerência de consumo de energia, tamanho,… (more)

Subjects/Keywords: UML; Redes de petri; Sistemas embarcados; Métodos formais; UML; Petri nets; Embedded systems; Formal methods; 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):

Custódio, M. M. (2008). Verificação de modelos uml de software embarcado com model checking. (Masters Thesis). Universidade Federal do Amazonas. Retrieved from http://tede.ufam.edu.br/handle/tede/2956

Chicago Manual of Style (16th Edition):

Custódio, Marcelo Monteiro. “Verificação de modelos uml de software embarcado com model checking.” 2008. Masters Thesis, Universidade Federal do Amazonas. Accessed March 01, 2021. http://tede.ufam.edu.br/handle/tede/2956.

MLA Handbook (7th Edition):

Custódio, Marcelo Monteiro. “Verificação de modelos uml de software embarcado com model checking.” 2008. Web. 01 Mar 2021.

Vancouver:

Custódio MM. Verificação de modelos uml de software embarcado com model checking. [Internet] [Masters thesis]. Universidade Federal do Amazonas; 2008. [cited 2021 Mar 01]. Available from: http://tede.ufam.edu.br/handle/tede/2956.

Council of Science Editors:

Custódio MM. Verificação de modelos uml de software embarcado com model checking. [Masters Thesis]. Universidade Federal do Amazonas; 2008. Available from: http://tede.ufam.edu.br/handle/tede/2956

.