Skip navigation

Navegando por Unidade Acadêmica Instituto de Ciências Exatas (IE)

Ir para: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
ou entre com as primeiras letras:  
Mostrando resultados 488 a 507 de 1094 < Anterior   Próximo >
Data de publicaçãoData de defesaTítuloAutor(es)Orientador(es)Coorientador(es)
3-Set-202121-Jun-2021H-calculus : session types for hardware analysis and well-definednessSá, Luiz Gustavo Soares deJacobi, Ricardo PezzuolMedeiros, José Edil Guimarães de
22-Jul-2022-Hartree-Fock type systems : existence of ground states and asymptotic behaviorD’Avenia, Pietro; Maia, Liliane de Almeida; Siciliano, Gaetano--
15-Out-201221-Jun-2012Hephaestus-PL : uma linha de produtos de ferramentas para linha de produtos de softwareTurnes, LucinéiaAlves, Vander RamosAlmeida, Rodrigo Bonifácio de
13-Mai-20102009Hipersuperfícies conformemente planas em formas espaciais de dimensão 4Santos, João Paulo dosTenenblat, Keti-
10-Fev-201515-Mai-2014Hipersuperfícies de rotação auto-redutoras no espaço euclidianoSabino Norabuena, Javier RúbenTenenblat, Keti-
23-Jun-20177-Mar-2016Hipersuperfícies de Rotação em Sn x R E Hn x RNovais, Rafael Marlon deSantos, João Paulo dos-
26-Jul-201719-Ago-2016História da matemática para a prática dos professores do Ensino MédioMoura, Ana Gabriela de Brito deMenezes, Josinalva Estacio-
23-Nov-202331-Jan-2023Human factors in the design of chatbot interactions : conversational design practicesSilva, Geovana Ramos SousaCanedo, Edna Dias-
1-Jun-20229-Fev-2022IASC : aprimoramento do uso da satisfação dos consumidores de energia elétrica como indicador de efetividade em uma regulação responsivaCarvalho, Maxwell Sarmento deSilva, Gladston Luiz da-
20-Out-201427-Jun-2014Identidades graduadas e o produto tensorial de álgebrasCarvalho, Gabriel SilvaFreitas, José Antônio Oliveira de-
17-Jul-201914-Dez-2018Identificação automática de casos repetitivos no MPDFTPedroso, Daniel de Souza CostaLadeira, MarceloFaleiros, Thiago de Paulo
1-Mai-201228-Jun-2011Identificação de comunicado de ocorrência de perdas em seguro agrícola utilizando algoritmos de inteligência artificialRamos, Rafael MarconiLadeira, Marcelo-
31-Mar-20156-Jun-2014Identificação de conglomerados espaciais em cenários com vizinhanças definidas topologicamenteEliseu, João RicardoCançado, André Luiz Fernandes-
10-Fev-20205-Jul-2019Identificação de precedentes judiciais por agrupamento utilizando processamento de linguagem naturalStemler, Igor Tadeu Silva VianaLadeira, MarceloFaleiros, Thiago de Paulo
22-Jun-20129-Mar-2012Identificação de RNA não codificador utilizando redes neurais artificiais de treinamento não supervisionadoSilva, Tulio Conrado Campos daBerger, Pedro de Azevedo-
20-Dez-201224-Ago-2012Identificação de RNAs não-codificadores por modelos de covariância com prioris Dirichlet adaptadas a grupos de ncRNAs com estruturas secundárias similares = Identifying non-coding RNAs using covariance models with Dirichlet priors specific to groups of ncRNAs of similar secondary structuresLessa, Felipe AlmeidaWalter, Maria Emília Machado TellesMartins Neto, Daniele da Silva Baratela
6-Dez-201629-Jan-2016Identificação de snoRNAs usando aprendizagem de máquinaOliveira, João Victor de AraujoWalter, Maria Emília Machado Telles-
21-Nov-201629-Jul-2016Identificação e estimação de modelos ARMA com inovações Alpha-estáveisTorres, Ilka OliveiraSampaio, Jhames Matos-
-28-Fev-2020Imersões isométricas locais de superfícies pseudoesféricas e classes de equações diferenciais parciaisDias, Jailson OliveiraSilva, Tarcisio Castro-
28-Set-20102007Imersões Taut de superfícies não compactasSouza, Anyelle Nogueira deTenenblat, Keti-