Listar Ciencias Exactas y Naturales por autor "Lamb, Luis da Cunha"
Mostrando ítems 1-19 de 19
-
Aplicação de métricas de software na predição de características físicas de software embarcado
Corrêa, Ulisses Brisolara (2011) [Tesis de maestría]A complexidade dos dispositivos embarcados propõe novos desafios para o desenvolvimento de software embarcado, além das tradicionais restrições físicas. Então, a avaliação da qualidade do software embarcado e seu impacto ... -
Aprendizado de máquina em sistemas complexos multiagentes : estudo de caso em um ambiente sob racionalidade limitada
Araújo, Ricardo Matsumura de (2004) [Tesis de maestría]O presente trabalho investiga a relação entre aprendizado e dinâmica em sistemas complexos multiagentes. Fazemos isso através de estudos experimentais em um cenário de racionalidade limitada que situa-se na interesecção ... -
Aprendizagem temporal neuro simbólica em redes de tensores lógicos
Rakowski, André Luciano (2024) [Tesis de maestría]A Inteligência Artificial (IA) e o Aprendizado Profundo trouxeram grandes mudanças para várias áreas da sociedade, da pesquisa à aplicação na indústria e se tornaram onipresentes. No entanto, ainda há questões em aberto e ... -
Definição inicial de um sistema de provas rotulado para lógicas do conhecimento
Malanovicz, Aline Vieira (2004) [Tesis de maestría]Lógicas modais têm sido amplamente utilizadas em Ciência da Computação e inteligência artificial. Além disso, aplicações de lógicas modais na representação do conhecimento em sistemas distribuídos e, mais recentemente, em ... -
Efficient modularity density heuristics in graph clustering and their applications
Santiago, Rafael de (2017) [Tesis]Modularity Density Maximization is a graph clustering problem which avoids the resolution limit degeneracy of the Modularity Maximization problem. This thesis aims at solving larger instances than current Modularity Density ... -
Estudo sobre a extração de políticas de firewall e uma proposta de metodologia
Horowitz, Eduardo (2007) [Tesis de maestría]Com o aumento das ameaças na Internet, firewalls tornaram-se mecanismos de defesa cada vez mais utilizados. No entanto, sua configuração é notadamente complexa, podendo resultar em erros. Vários estudos foram realizados ... -
Identificação de nomes ativos em agentes-π baseada em tipos
Nascimento, Gleison Samuel do (2005) [Tesis de maestría]Na última década muitos esforços têm sido feitos em verificação formal de propriedades de agentes do cálculo-π. Uma dessas propriedades é a equivalência observacional, que serve para determinar se um processo é equivalente ... -
Investigações sobre raciocínio e aprendizagem temporal em modelos conexionistas
Borges, Rafael Vergara (2007) [Tesis de maestría]A inteligência computacional é considerada por diferentes autores da atualidade como o destino manifesto da Ciência da Computação. A modelagem de diversos aspectos da cognição, tais como aprendizagem e raciocínio, tem sido ... -
Lambda calculus meets machine learning
Flach, João Marcos (2023) [Tesis de maestría]Neural Networks are usually used in the context of machine learning to solve statistical problems and calculate approximations. However, its use for symbolic learning has been increasing in the past years, placing them in ... -
Learning centrality measures with graph neural networks
Avelar, Pedro Henrique da Costa (2019) [Tesis de maestría]Centrality Measures are important metrics used in Social Network Analysis. Such measures allow one to infer which entity in a network is more central (informally, more important) than another. Analyses based on centrality ... -
Learning to solve NP-complete problems
Prates, Marcelo de Oliveira Rosa (2019) [Tesis]Graph Neural Networks (GNN) are a promising technique for bridging differential programming and combinatorial domains. GNNs employ trainable modules which can be assembled in different configurations that reflect the ... -
Memetic networks : problem-solving with social network models
Araújo, Ricardo Matsumura de (2010) [Tesis]Sistemas sociais têm se tornado cada vez mais relevantes para a Ciência da Computação em geral e para a Inteligência Artificial em particular. Tal interesse iniciou-se pela necessidade de analisar-se sistemas baseados em ... -
Methods for the approximation of network centrality measures
Grando, Felipe (2018) [Tesis]Centrality measures are an important analysis mechanism to uncover vital information about complex networks. However, these metrics have high computational costs that hinder their applications in large real-world networks. ... -
MOIRAE : a computational strategy to predict 3-D structures of polypeptides
Dorn, Márcio (2012) [Tesis]Currently, one of the main research problems in Structural Bioinformatics is associated to the study and prediction of the 3-D structure of proteins. The 1990’s GENOME projects resulted in a large increase in the number ... -
On the analysis of centrality measures for complex and social networks
Grando, Felipe (2015) [Tesis de maestría]Over the last years, centrality measures have gained importance within complex and social networks research, e.g., as predictors of behavior, identification of powerful and influential elements, detection of critical spots ... -
Solving the decision version of the Graph Coloring Problem : a neural-symbolic approach using graph neural networks
Santos, Henrique Lemos dos (2020) [Tesis de maestría]Deep learning (DL) has consistently pushed the state-of-the-art in many fields over the last years. Still there is, however, a lack of understanding on how symbolic and relational problems can benefit from DL architectures. ... -
The cost of search and evaluation in problem-solving social networks : an experimental study
Farenzena, Daniel Scain (2016) [Tesis]Online networks of individuals have been used to solve a number of problems in a scale that would not be possible if not within a connected, virtual and social environment such as the internet. However, the quality of ... -
The impact of social context in social problem solving
Noble, Diego Vrague (2013) [Tesis de maestría]Our inability to perceive and understand all the factors that account for real-world phenomena forces us to rely on clues when reasoning and making decisions about the world. Clues can be internal such as our psychological ... -
The role of heteregeneity in social problem-solving
Noble, Diego Vrague (2018) [Tesis]This thesis reviews and investigates social problem-solving with a particular focus on artificial and heterogeneous systems. More specifically, we not only compile and comprehensively examine recent research results, but ...