Disciplinas do Programa para 2013

A formação de Mestrado exige o cumprimento de um mínimo de 32 créditos e a formação de Doutorado exige o cumprimento de um mínimo de 60 créditos.

Disciplinas Obrigatórias de Tronco Comum


  • Mestrado 6cr.
  • Doutorado 6cr.

Disciplina: Fundamentos de Algoritmos e Estruturas de Dados


Carga horária: 30h/a
Créditos: 2cr
Responsável: Prof. Alceu S. Britto Jr.
Ementa: Conceitos Básicos: Função dos algoritmos na computação. Recorrências. Complexidade. Métodos de Ordenação. Estruturas de Dados: Elementares (listas, pilhas, filas). Tabelas hash, Árvores binárias, Árvores balanceadas: AVL e vermelho-preto, Estruturas avançadas: heaps, árvores digitais, árvore PATRICIA. Grafos: Algoritmos elementares. Caminhamentos. Busca de caminhos mais curtos. Fluxo em Redes. Cálculo do Fluxo Máximo. Algoritmo de Ford-Fulkerson. Tópicos avançados: Programação dinâmica, Algoritmos gulosos, Algoritmos para correspondência de cadeias, Problemas NP-completos

Disciplina: Fundamentos de Computabilidade


Carga horária: 30h/a
Créditos: 2cr
Responsável:
Ementa: Redução. Teorema de recursão. Máquinas de Turing. Autômatos finitos. Manipulações (minimalização, equivalência). Autômatos determinísticos e não determinísticos. Computabilidade efetiva. Funções recursivas. Recursividade. Recursividade generalizada. Equivalência entre Turing. computabilidade e mu-recursividade. Tese de Church. Predicados recursivos. Conjuntos recursivos e recursivamente enumeráveis.

Disciplina: Fundamentos de Matemática Computacional


Carga horária: 30h/a
Créditos: 2cr
Responsável: Prof. Manoel Camillo Penna
Ementa: Introdução a processos estocásticos. Processos de Poisson. Processos de nascimento e morte. Teoria de filas. Introdução a simulação por eventos discretos. Simulação de modelos de filas.

Disciplina: Fundamentos de Sistemas Operacionais


Carga horária: 30h/a
Créditos: 2cr
Responsável: Prof. Luiz A. P. Lima.
Ementa: Estudar arquiteturas e mecanismos dos sistemas operacionais modernos, colocando em evidência os principais problemas enfrentados na construção de um sistema operacional e as soluções empregadas. Dar ao aluno uma visão clara do sistema operacional, de suas possibilidades e limitações. Estrutura dos sistemas de computação e dos sistemas operacionais; processos e threads; programação usando processos e threads; escalonamento de processos; comunicação e sincronização entre processos; gerência de memória; gerência de entrada/saída; sistemas de arquivos; proteção e segurança.

Disciplina: Fundamentos de Engenharia de Software


Carga horária: 30h/a
Créditos: 2cr
Responsável: Profª. Andreia Malucelli e Sheila Reinehr.
Ementa: Introdução à Engenharia de Software. Modelos de Ciclo de Vida de Software. Produto de Software. Engenharia de Requisitos. Estudo de Viabilidade. Especificação de Sistemas de Software usando UML. Reuso de Software. Verificação, Validação e Teste de Software. Gerência de Projetos de TI. Métricas de Software. Qualidade de Software.

Disciplina: Métodos de Otimização


Carga horária: 30h/a
Créditos: 2cr
Responsável: Prof. Julio César Nievola.
Ementa: Formulação de problemas de otimização. Programação Linear, Inteira, Quadrática e Não-Linear. Busca Tabu. Recozimento Simulado (“simulated annealing”). Redes Neurais Artificiais: aprendizagem supervisionada e não-supervisionada, topologia em camadas, redes neurais realimentadas, algoritmos de aprendizagem, aplicações. Computação Evolucionária: algoritmo canônico, algoritmos genéticos, programação genética, algoritmos evolucionários, estratégias evolucionárias, aplicações. Swarm Optimization. Ant Colony Optimization. Bee Colony. Problemas de otimização multi-objetivo.

Disciplina: Paradigmas de Linguagens de Programação


Carga horária: 30h/a
Créditos: 2cr
Responsável: Prof. Edson E. Scalabrin.
Ementa: Programação Lógica, Programação Funcional, Programação Orientada a Objetos, Linguagens de programação orientada a objetos, Introdução a modelagem orientada a objetos em UML.

Disciplina: Estatística Não-Paramétrica


Carga horária: 30h/a
Créditos: 2cr
Responsável: Prof. Julio César Nievola.
Ementa: Tipos de dados. Estatística Descritiva. Medidas de Tendência Central e de Dispersão. Testes de Hipóteses. Características dos testes paramétricos x não paramétricos. Resumo dos Testes de Hipóteses Paramétricos. Testes de Normalidade. Comparação entre duas amostras relacionadas. Comparação entre duas amostras não relacionadas. Comparação entre mais de duas amostras relacionadas. Comparação entre mais de duas amostras não relacionadas.

Disciplinas Obrigatórias de Formação Geral


  • Mestrado 6cr.

Disciplina: Metodologia de Pesquisa em Computação


Carga horária: 30h/a
Créditos: 2cr
Ementa: Pesquisa Científica Definições. Métodos Científicos. Etapas da Pesquisa Científica. Fontes de Material para Pesquisa. Revisão Bibliográfica. Leitura, Fichamento, Resumo, Citações e Referências (ABNT). Problemas e Hipóteses de Pesquisa (escopo, objetivos (geral e específico), desafios, motivação, proposta e contribuições). Projeto de Pesquisa (dissertação (PDM) ou tese). Documento de dissertação e tese. Elaboração de Artigos Científicos.

Disciplina: Ética e Filosofia da Ciência


Carga horária: 15h/a
Créditos: 0cr
Ementa: Conceituação de Ética e sua distinção da moral. Análise do fundamento da Ética, isto é, das normas do agir humano. Estudo da moralidade sob os vários aspectos e estudo das virtudes que capacitam o ser humano a agir corretamente. A natureza da Pesquisa: o conceito, propósito e processo da pesquisa. Os paradigmas da pesquisa: quantitativa, qualitativa e crítica. Abordagens metodológicas. Métodos na Pesquisa Quantitativa e Qualitativa.

Disciplina: Processos Pedagógico do Ensino Superior


Carga horária: 30h/a
Créditos: 2cr
Ementa: Contribuições de doutrinas pedagógicas para o repensar da didática e da prática pedagógica no contexto da aula universitária. Pedagogia universitária: o ensino e suas relações (conteúdo-forma, professor-aluno, pesquisa-ensino-sociedade). Projetos inovadores das práticas educativas nos diferentes campos do ensino superior.

Disciplina: Pesquisa e Publicação I


Carga horária: 30h/a
Créditos: 2cr

Disciplina: Pesquisa e Publicação II


Carga horária: 45h/a
Créditos: 3cr

Disciplina: Pesquisa e Publicação III


Carga horária: 90h/a
Créditos: 6cr
Ementa: Contribuições de doutrinas pedagógicas para o repensar da didática e da prática pedagógica no contexto da aula universitária. Pedagogia universitária: o ensino e suas relações (conteúdo-forma, professor-aluno, pesquisa-ensino-sociedade). Projetos inovadores das práticas educativas nos diferentes campos do ensino superior.

Disciplina: Estágio de Docência


Carga horária: 60h/a
Créditos: 0cr
Ementa: Acompanhamento de programa de aprendizagem relacionado à docência universitária. Obrigatório para TODOS os alunos de doutorado e bolsistas CAPES e/ou CNPq.



Disciplinas por Linha de pesquisa



Agentes de Software



Disciplina: Agentes de Software



Carga horária: 30h/a
Créditos: 2cr
Responsável: Prof. Fabrício Enembreck.
Ementa: Sistemas Multi-agentes, princípios gerais e aplicações. Introdução à resolução distribuída de problemas. Coordenação entre agentes. Cooperação, Colaboração e Negociação. Comunicação entre agentes. Arquiteturas de comunicação. Linguagens de comunicação e conteúdo. Protocolos de interação. Modelos e arquiteturas de agentes. Taxonomia de Agentes. Agentes Autônomos, reativos, deliberativos e adaptativos.

Disciplina: Engenharia de Conhecimento



Carga horária: 30h/a
Créditos: 2cr
Responsável: Prof. Bráulio C. Ávila.
Ementa: Introdução. Engenharia do Conhecimento. Ciclo de Vida. Sistemas Baseados em Conhecimento. Etapas do Processo de Construção de um SBC. Raciocínio Baseado em Casos. Ontologias: Modelagem, Implementação e Utilização.

Disciplina: Inteligência Artificial



Carga horária: 30h/a
Créditos: 2cr
Responsável: Prof. Edson Emílio Scalabrin.
Ementa: Introdução à resolução de problemas, Algoritmos de Busca, Busca Heurística, Best First, A* e Grafos AND/OR. Sistemas especialistas. Raciocínio progressivo e regressivo. Introdução à Aprendizagem de Máquina e a algoritmos de aprendizagem simbólica. Planejamento (planning).

Descoberta do Conhecimento e Aprendizagem de Máquina


  • Mestrado
  • Doutorado

  • Disciplina: Aprendizagem de Máquina



    Carga horária: 30h/a
    Créditos: 2cr
    Responsável: Prof. Alceu de Souza Britto Junior
    Ementa: Introdução à aprendizagem de máquina, conceitos básicos, tipos de aprendizagem, aplicações. Extração e seleção de características. Aprendizagem baseada em árvores de decisão. Aprendizagem baseada em instâncias. Aprendizagem Bayesiana. Aprendizagem baseada em redes neurais. Aprendizagem usando máquinas de vetor de suporte. Aprendizagem não supervisionada. Tópicos Avançados: sistemas baseados em múltiplos classificadores, aprendizagem profunda.

    Disciplina:Introdução à Interação Humano-Computador



    Carga horária: 30h/a
    Créditos: 2cr
    Responsável: Prof. Emerson Cabrera Paraiso.
    Ementa: Introdução a Interação Humano Computador. Modelagem do usuário/tipos usuários. Usabilidade e Fatores Humanos. Design Centrado no Usuário. Projeto de Interação. Fundamentos da Semiótica. Avaliação de IHC. Tipos de interfaces (orientadas a execução de tarefas). Interação em Ambientes Virtuais: Figuras Animadas e Agente Assistente. Interação Multi-Modal e Processamento de Linguagem Natural. Sistemas de Diálogo Humano-Computador.

    Disciplina: Mineração de Dados

    Carga horária: 30h/a
    Créditos: 2cr
    Responsável: Prof. Júlio C. Nievola.
    Ementa: Descoberta do Conhecimento em Bases de Dados (KDD) e Mineração de Dados. Aprendizagem de Máquina e Estatística. Representação do Conhecimento; Pré-processamento dos dados: valores faltantes, valores ruidosos, normalização, análise de outliers. Classificação.
    Agrupamento. Associação. Seleção de atributos. Algoritmos básicos. Combinação de modelos. Avaliação do desempenho de algoritmos.

    Sistemas Distribuídos


    • Mestrado
    • Doutorado


    Disciplina: Programação Distribuída Avançada

    Carga horária: 30h/a
    Créditos: 2cr
    Responsável: Prof. Luiz A. P. Lima.
    Ementa: 1. Fundamentos de Sistemas Distribuídos - Visão Geral: Complexidade e heterogeneidade. Objetos e objetos distribuídos. Paradigmas fundamentais de comunicação. O Modelo Cliente/Servidor e RPC. Infraestrutura de comunicação e protocolos. Concorrência em sistemas distribuídos e ferramentas de sincronização. 2. O Modelo Cliente-Servidor de CORBA: Arquitetura. Modelo de Interoperabilidade. Serviços. Domínios. Extensões. 3. Programação Avançada CORBA: Mapeamento IDL. Servidor de Nomes. POAs e políticas. Gerentes de Objetos. Referências persistentes e repositório de implementações. Migração e escalabilidade. Mecanismos de Meta-Programação. Áudio/vídeo streaming. Wireless CORBA e mobilidade de terminais. 4. Web Services: Fundamentos. Arquitetura. XML. SOAP/XML-RPC/REST. WSDL. UDDI. 5. Programação Avançada usando Web Services: Recursos de Rede em Java. Metro (JWS) e Tomcat. Java Web Service Publisher. APIs para WS: JAXP, JAXB, SAAJ, JAX-WS, JAXR. Net Web Services. 6. Aspectos avançados: Ruby distribuído. Mono (C#). Memória Compartilhada Distribuída (Espaço de Tuplas). 7. Introdução a Ambientes Computacionais Distribuídos: Entidades. Eventos. Ações e comportamento. Comunicação. Axiomas e restrições. Custo e complexidade. Conhecimento. Considerações. 8. Problemas Distribuídos Fundamentais e Técnicas Básicas: Difusão (broadcast). Wake-Up. Percurso. Construção de arvores de abrangência. Computação em árvores: saturação, MinFind. Eleição.

    Disciplina: Segurança de Sistemas Computacionais

    Carga horária: 30h/a
    Créditos: 2cr
    Responsável: Prof. Altair O. Santin.
    Ementa: Fundamentos de segurança computacional: Propriedades, Políticas, Violações, Modelos, Serviços e Mecanismos. Controles Criptográficos: Sistemas Criptográficos, Assinatura digital, Gerência de chaves, PKI (Public Key Infrastructure). Segurança em Sistemas Distribuídos: Autenticação, Autorização, Controle de Acesso, Políticas. Estudo de Casos - tecnologias de segurança de sistemas computacionais.

    Redes de Computadores e de Telecomunicações


    • Mestrado
    • Doutorado


    Disciplina: Algoritmos para Projeto de Redes de Telecomunicações

    Carga horária: 30h/a
    Créditos: 2cr
    Responsável: Prof. Marcelo E. Pellenz.
    Ementa: - Análise e Modelagem de Tráfego, Modelagem de Canais de Comunicação Sem Fio, Estudo de Capacidade de Redes Sem Fio, Simulação de Redes.

    Disciplina: Redes de Computadores e de Telecomunicações II

    Carga horária: 30h/a
    Créditos: 2cr
    Responsável: Prof. Edgard Jamhour.
    Ementa: - QoS em Redes IP, exemplos de Mecanismos de QoS com Linux, práticas de Mecanismos de QoS, IPv6 e Análise de Esgotamento do IPv4, mecanismos de transição ao IPv6, IPsec, serviços Integrados e MPLS, GMPLS.

    Disciplina: Redes de Comunicação Sem Fio

    Responsável: Prof. Marcelo E. Pellenz.
    Carga Horária: 30hr/a
    Créditos: 2cr
    Ementa: O objetivo desta disciplina é introduzir os conceitos fundamentais relacionados as redes de comunicação sem fio. Serão abordados os princípios básicos da comunicação sem fio, incluindo técnicas de transmissão digital, modelagem dos sistemas e dos canais de comunicação, estratégias eficientes de comunicação e métricas de desempenho. Também serão abordadas as tecnologias emergentes para comunicações sem fio e suas respectivas áreas de aplicação.
    Tópicos:

    • Introdução as Comunicações Sem Fio
    • Modelos de Propagação de Pequena e de Larga Escala
    • Limites Teóricos para a Capacidade de Canal
    • Esquemas de Transmissão Digital e Métricas de Desempenho
    • Técnicas de Diversidade e Estratégias de Múltiplo Acesso
    • Capacidade de Transmissão das Redes Sem Fio
    • Tecnologias, Protocolos e Aplicações Emergentes na Área de Comunicação Sem Fio: Internet das Coisas (IoT), Smart Grids, Smart Cities, Redes de Sensores Sem Fio e Sistemas 4G.

    Bibliografia:

    • Wireless Communications, Andrea Goldsmith, Cambridge University Press, 2005.
    • Wireless Communications, Andreas F. Molisch, Wiley, 2010.

    Visão Computacional e Reconhecimento de Padrões


    • Mestrado
    • Doutorado


    Disciplina: Processamento Digital de Imagens

    Carga horária: 30h/a
    Créditos: 2cr
    Responsável: Prof. Jacques Facon.
    Ementa: Formação de Imagens, Realce de Imagens, Supressão de Ruído, Detecção de bordas, Aprimoramento de nitidez, Segmentação de Imagens.

    Disciplina: Morfologia Matemática

    Carga horária: 30h/a
    Créditos: 2cr
    Responsável: Prof. Jacques Facon.
    Ementa: Elemento estruturante, Erosão e dilatação, Abertura e fechamento, Tophat, Reconstrução em níveis de cinza, Watershed.
    Competências:

  • Empregar os operadores de Erosão e dilatação, Abertura e fechamento para filtrar imagens (Suprimir ruídos e artefatos);
  • Modelos de Propagação de Pequena e de Larga Escala;
  • Empregar Tophat por Abertura e fechamento para localizar e segmentar padrões;
  • Empregar os operadores baseados na Reconstrução em níveis de cinza para filtrar imagens e segmentar padrões;
  • Empregar o processo Watershed para segmentar padrões.

  • Disciplina: Reconhecimento de Padrões

    Carga horária: 30h/a
    Créditos: 2cr
    Responsável: Prof. Edson Justino.
    Ementa: Introdução ao Reconhecimento de Padrões. Estudo das características e vetores de características. Extração de Características. A caracterização dos classificadores supervisionados e não-supervisionados. Estudos dos princípios dos classificadores baseados na teoria de decisão de Bayes e reconhecimento estatístico de padrões. Estudo dos princípios dos classificadores lineares e aplicações. Estudos dos princípios dos classificadores não-lineares e aplicações. Estudos dos preceitos da seleção de características. Estudo dos algoritmos de agrupamento (Clustering). Normalização, Curvas ROC, Combinação de classificadores no RP. Seleção de Características e Redução de Dimensionalidade.

    Observação:
    As informações desta página tem caráter informativo e não são caracterizadas como documento oficial.
    Em caso de divergências sempre valerá o que consta na documentação oficial.