TEDE: Search

Search

Search:

for

Current filters:

Add filters:

Results/Page Sort items by In order Authors/record

Results 11-17 of 17 (Search time: 0.002 seconds).

previous
1
2
next

Item hits:

Issue Date	Preview	Title	Author(s)	???itemlist.dc.contributor.advisor1???	Program	Document Type
2-Feb-2018		Formal verification applied to attitude control software of unmanned aerial vehicles	Chaves, Lennon Corrêa	Cordeiro, Lucas Carvalho	Programa de Pós-graduação em Engenharia Elétrica	Dissertação
27-Jun-2014		Compressão de sinais eletromiográficos baseada em técnicas bidimensionais	Melo, Wheidima Carneiro de	Lima Filho, Eddie Batista de	Programa de Pós-graduação em Engenharia Elétrica	Dissertação
25-Sep-2014		Equalização adaptativa utilizando seleção de dados em transceptores em bloco com redundância reduzida	Freitas, Mauro Lopes de	Lima Filho, Eddie Batista de	Programa de Pós-graduação em Engenharia Elétrica	Dissertação
1-Apr-2015		BMCLua: Metodologia para Verificação de Códigos Lua utilizando Bounded Model Checking	Januário, Francisco de Assis Pereira	Cordeiro, Lucas Carvalho	Programa de Pós-graduação em Engenharia Elétrica	Dissertação
7-Jun-2013		Sistemas de transmissão multiportadoras baseados na transformada wavelet discreta	Souza, José Isaac Menezes de	Lima Filho, Eddie Batista de	Programa de Pós-graduação em Engenharia Elétrica	Dissertação
4-Mar-2022		Automated verification and refutation of quantized neural networks	Sena, Luiz Henrique Coelho	Cordeiro, Lucas Carvalho	Programa de Pós-graduação em Engenharia Elétrica	Dissertação
20-Dec-2023		LSVerifier: a BMC approach to identify security vulnerabilities in C open-source software projects	Sousa, Janislley Oliveira de	Cordeiro, Lucas Carvalho	Programa de Pós-graduação em Engenharia Elétrica	Dissertação