1
Outros Autores:
“...Song, Mark Alan Junho...”
Explorando diferentes paradigmas para extração de implicações próprias a partir de contextos formais de alta dimensionalidade
Tese
2
Outros Autores:
“...Song, Mark Alan Junho...”
Análise da evolução de tópicos em redes sociais através da análise formal de conceitos
Tese
3
Outros Autores:
“...Song, Mark Alan Junho...”
Aplicação de análise formal de conceito para caracterização da mortalidade infantil na região metropolitana de Belo Horizonte e região do Vale Jequitinhonha
Tese
4
Outros Autores:
“...Song, Mark Alan Junho...”
Análise formal de conceitos aplicada no reconhecimento de padrões da mortalidade infantil
Tese
5
Outros Autores:
“...Song, Mark Alan Junho...”
Applying binary decision diagram to extract concepts and association rules from a triadic contexts
Tese
6
Outros Autores:
“...Song, Mark Alan Junho...”
Mineração de sequências de chamadas a APIs dirigida por testes unitários
Tese
7
Outros Autores:
“...Song, Mark Alan Junho...”
Um ambiente para geração automática de testes a partir de casos de uso
Tese
8
Outros Autores:
“...Song, Mark Alan Junho...”
Verificação simbólica de modelos aplicada a diagramas de temporização
Tese
9
Outros Autores:
“...Song, Mark Alan Junho...”
Auto-otimização em sistemas de software de computação autonômica baseado na heurística do enxame de abelhas
Tese
10
Outros Autores:
“...Song, Mark Alan Junho...”
Um arcabouço para verificação automática de modelos UML
Tese
11
Outros Autores:
“...Song, Mark Alan Junho...”
Verificação de código SQL via verificação de modelos
Tese
12
Outros Autores:
“...Song, Mark Alan Junho...”
PUC-SAT : um solucionador híbrido baseado nos algoritmos de Stalmarck e DPLL
Tese
13
Outros Autores:
“...Song, Mark Alan Junho...”
Verificação automatizada de regras de sequenciamento de execução em workflows
Tese
14
Outros Autores:
“...Song, Mark Alan Junho...”
Algoritmo distribuído para exploração de cláusulas com Bounded Model Checking através de uma busca em profundidade
Tese
15
Outros Autores:
“...Song, Mark Alan Junho...”
Framework solar energy : evoluções aplicadas a sistemas fotovoltaicos
Tese
16
Outros Autores:
“...Song, Mark Alan Junho...”
Um ambiente para avaliação de projeto de software orientado a objeto.
Tese
17
Outros Autores:
“...Song, Mark Alan Junho...”
Framework para construção de sistemas de energia solar
Tese
18
Outros Autores:
“...Song, Mark Alan Junho...”
Paralelismo na Geração de Conceitos Baseado no Particionamento do Contexto Formal
Tese
19
Outros Autores:
“...Song, Mark Alan Junho -...”
Pattern Discovery and Exploration in Triadic Concept Analysis
Tese
20
Outros Autores:
“...Song, Mark Alan Junho...”
Uma abordagem de arquitetura paralela para suporte na extração de conceitos formais
Tese