Search




Current filters:


Add filters:

Use filters to refine the search results.

Results 11-20 of 31 (Search time: 0.002 seconds).
Item hits:
Issue DatePreviewTitleAuthor(s)???itemlist.dc.contributor.advisor1???ProgramDocument Type
25-Mar-2020Tese_MárcioAlencar_PPGI.pdf.jpgUma abordagem computacional para detectar emoções de alunos em cursos onlineAlencar, Márcio Aurélio dos SantosMagalhães Netto, José Francisco dePrograma de Pós-graduação em InformáticaTese
21-Feb-2020Tese_FelipeLobo_PPGI.pdf.jpgCooperative localization improvement in vehicular ad hoc networks.Lobo, Felipe LeiteOliveira, Horácio Antonio Braga Fernandes dePrograma de Pós-graduação em InformáticaTese
17-Jan-2020Dissertação_FelipeRodriguesMonteiro_PPGI.pdf.jpgFormal verification to ensuring the memory safety of C++ ProgramsSousa, Felipe Rodrigues MonteiroCordeiro, Lucas CarvalhoPrograma de Pós-graduação em InformáticaDissertação
27-Mar-2019Dissertação_HigoAlbuquerque_PPGEE.pdf.jpgUma abordagem de otimização guiada por contraexemplos usando solucionadores SAT e SMTAlbuquerque, Higo FerreiraCordeiro, Lucas CarvalhoPrograma de Pós-graduação em Engenharia ElétricaDissertação
4-Oct-2019Tese_AndrezaMourão_PPGI.pdf.jpgModelo Inclusivo de Desenvolvimento de Objetos de Aprendizagem AcessíveisMourão, Andreza BastosMagalhães Netto, José Francisco dePrograma de Pós-graduação em InformáticaTese
17-Dec-2018Dissertação_MarcosSilva_PPGI.pdf.jpgHibridização de métodos exatos e heurísticos para a minimização do atraso ponderado no escalonamento de tarefas em máquinas paralelasSilva, Marcos Thomaz daRodrigues, Rosiane de FreitasPrograma de Pós-graduação em InformáticaDissertação
17-Apr-2019Tese_CarlosRaimundoSantosJunior_PPGI.pdf.jpgConsenso em sistemas multiagentes heterogêneos: uma abordagem robusta aplicada a veículos robóticosSantos Junior, Carlos Raimundo Pereira dosCarvalho, José Reginaldo HughesPrograma de Pós-graduação em InformáticaTese
31-Jan-2020Tese_AlessandroTrindade_PPGI.pdf.jpgAutomated Verification of Stand-alone Solar Photovoltaic Systems: Optimal Sizing and Project ValidationTrindade, Alessandro BezerraCordeiro, Lucas CarvalhoPrograma de Pós-graduação em InformáticaTese
18-Oct-2019Tese_JacilaneRabelo_PPGI.pdf.jpgIFactor-Km: um processo para apoiar as iniciativas de gestão do conhecimento em organizações de software considerando fatores de influênciaRabelo, Jacilane de HolandaFeitosa, Eduardo LuzeiroPrograma de Pós-graduação em InformáticaTese
30-Aug-2019Verificação e síntese de controladores de realimentação de estados estática com garantias formais de desempenho não frágilCavalcante, Thiago Rodrigo FélixLima Filho, Eddie Batista dePrograma de Pós-graduação em Engenharia ElétricaDissertação

Discover