Publicação

Verificação de propriedades em redes neuronais

Detalhes bibliográficos
Autores principais:	Rodrigues, Pedro Miguel de Andrade
Ano:	2000
País:	Portugal
Tipo de documento:	dissertação de mestrado
Tipo de acesso:	acesso restrito
Instituição associada:	Universidade de Lisboa
Idioma:	português
Origem:	Repositório da Universidade de Lisboa

Registos relacionados

Redes Neuronais Artificiais
por: Cortez, Paulo
Publicado em: (2000)

Aplicação das Redes Neuronais no Encaminhamento em Redes de Dados
por: F. Araújo
Publicado em: (2000)

Construção Modular de Redes Neuronais Recorrentes Analógicas
por: Neto, João Pedro
Publicado em: (2002)

Deteção de intrusões em redes informáticas utilizando redes neuronais artificiais
por: Ribeiro, Francisco André Guimarães
Publicado em: (2011)

Redes neuronais no âmbito da realidade virtual.
por: Correia, Paulo Jorge Duarte
Publicado em: (1996)

Avaliação imobiliária com redes neuronais artificiais
por: Machado, Bruno Guia Neto
Publicado em: (2022)

Redes neuronais na elaboração de horários escolares
por: Carrasco, Marco Paulo dos Santos
Publicado em: (1995)

Sistemas de classificação musical com redes neuronais
por: Malheiro, Ricardo
Publicado em: (2004)

Redes Neuronais Artificiais na Previsão do Consumo de Energia
por: Rodrigues, Fábio Flipe da Silva
Publicado em: (2023)

AudioMood: Classificação de emoções em bandas sonoras de filmes usando Redes Neuronais
por: Mendonça, Francisco de Andrade Bravo
Publicado em: (2021)

Redes Neuronais LSTM em Python : previsão do S&P500
por: Silva, André Filipe Ferreira Lourenço da
Publicado em: (2023)

Modelo de Financial Trading através de Redes Neuronais Convolucionais
por: Godinho, Carolina do Carmo
Publicado em: (2020)

Custo de transferência de modalidades sensoriais na verificação de propriedades conceptuais
por: Ambrosi, Solène
Publicado em: (2012)

Previsão da estrutura secundária de proteínas utilizando redes neuronais
por: da Silva, Sara Guilherme Oliveira
Publicado em: (1999)

Diagnóstico da doença de Alzheimer com redes neuronais profundas
por: Silva, Mateus Ferreira da
Publicado em: (2022)

Redes neuronais artificiais para a previsão da qualidade em carnes
por: Portelinha, Manuel
Publicado em: (2006)

Aplicação das redes neuronais artificiais à auditoria: revisão da literatura
por: Barros, Carlos Miguel Dias
Publicado em: (2004)

Otimização de redes neuronais convolucionais em FPGA utilizando técnicas de compressão
por: Peres, Tiago Alexandre Mateus
Publicado em: (2019)

Estimação de cobertura rádio em GSM-R através de redes neuronais
por: Correia, Tiago Branch Sampaio
Publicado em: (2014)

Deteção de enfarte do miocárdio através de redes neuronais convolucionais
por: Sá, Joana Emília Costa
Publicado em: (2021)

Aplicação de redes neuronais computacionais à modelação de escoamentos mensais
por: Portela, Maria Manuela
Publicado em: (2008)

Algoritmos genéticos e redes neuronais na previsão de séries temporais
por: Cortez, Paulo
Publicado em: (1997)

Utilização de redes neuronais artificiais na gestão do processo de digestão anaeróbia
por: Carreira, Ana Catarina Rodrigues
Publicado em: (2014)

Deteção de alterações em imagens de satélite SAR com redes neuronais profundas
por: Ferreira, André Manuel da Costa
Publicado em: (2025)

Otimização de placas compósitas laminadas utilizando redes neuronais e enxames de partículas
por: Silva, Sérgio Miguel Duarte da
Publicado em: (2015)

Estudo de incumprimento da situação contributiva e fiscal das empresas utilizando redes neuronais
por: Mendes, Bruno Miguel de Magalhães Soares
Publicado em: (2017)

Aplicação de Redes Neuronais de Competição à Desmodulação de Sinal em Modulação Digital
por: Garcia, João
Publicado em: (2002)

Otimização de redes neuronais convolucionais em FPGA com redução do tamanho dos operandos
por: Gonçalves, Ana Teresa Alberto
Publicado em: (2019)

Data mining via redes neuronais artificiais e máquinas de vectores de suporte
por: Cruz, Armando Jorge Ribeiro da
Publicado em: (2008)

Data mining via redes neuronais artificiais e máquinas de vectores de suporte
por: Cruz, Armando
Publicado em: (2009)

Aplicação de Redes Neuronais para Previsão de Cargas no horizonte do planeamento operacional
por: Inácio, Diogo Alexandre Trindade Ribeiro
Publicado em: (2023)

Aplicação de redes neuronais artificiais à deteção e isolamento de falhas em processos industriais
por: Cortez, Vanusa Tavares
Publicado em: (2015)

Método da modelação do impacto de estratégias nos resultados através de redes neuronais
por: Gonçalves, António José da Silva Almeida Vieira
Publicado em: (2016)

Avaliação da precisão do desempenho de redes neuronais convolucionais para a diagnose sexual
por: Correia, Mariana Delicado Dias Feijão
Publicado em: (2024)

Classificação dos usos do solo no Douro através de redes neuronais e métodos probabilísticos
por: Matos, J. M.
Publicado em: (2006)

Comparação de duas ferramentas de cálculo do galgamento baseadas na análise de redes neuronais
por: Bravo, André Aleixo
Publicado em: (2012)

O cérebro musical : achados moleculares, neuronais e comportamentais
por: Medeiros, Pedro Miguel Coelho
Publicado em: (2019)

Bases neuronais da vida psíquica
por: Fonseca, José Simões da
Publicado em: (1969)

Comentário ao artigo 275.º : verificação e não verificação da condição
por: Afonso, Ana
Publicado em: (2014)

Avaliação da estabilidade de taludes. Desempenho das redes neuronais versus máquinas de vectores de suporte
por: Martins, Francisco F.
Publicado em: (2012)