Docente(s): 
Sandro Rigo
Guido Costa Souza De Araujo 
 

Ementa:

Descrição formal de linguagens de programação. Análise léxica. Análise sintática. Geração de código. Sistemas de execução: blocos, procedimentos, recursão. Recuperação de erros. Ferramentas para construção de analisadores léxicos, sintáticos e semânticos. Construção de um compilador para uma linguagem exemplo.

 

Bibliografia:

Kowaltowski, T., Implementação de Linguagens de Programação, Editora Guanabara Dois, 1983. Aho A. V., Sethi R. e Ullman, J. D., Compilers - Principles, Techniques, and Tools, Addison-Wesley, 1986. Schreiner, A. T. e Friedman Jr., H.G. Introduction to Compiler Construction With UNIX, Pretince-Hall, 1985, Andrew W. Appel, Modern Compiler Implementation in Java, Cambridge University Press, 1988.

Docente(s): 
Célia Picinin de Mello (Responsável)
 

Ementa:

Grafos, subgrafos, grafos orientados, famílias de grafos. Árvores, caminhos, ciclos. Conexidade. Grafos eulerianos. Grafos hamiltonianos. Emparelhamento em grafos bipartidos. Coloração de arestas. Coloração de vértices. Conjuntos independentes. Grafos Perfeitos. Grafos planares.

 

Bibliografia:

R. Diestel, Graph Theory. Springer-Verlag, 1997. A. Bondy, & U.S.R. Murty. Graph Theory with Applications. North-Holland, 1976. D.B. West, Introduction to Graph Theory de, Prentice Hall, 1996.

Docente(s): 
Claudia Maria Bauzer Medeiros (Responsável)
 

Ementa:

Introdução a sistemas de banco de dados incluindo modelos de dados, técnicas e teoria de projeto de bancos de dados, processamento de consultas e atualizações, esquemas para organizar e indexar arquivos e processamento de transações.

 

Bibliografia:

Ullman, J. D. Principles of Database and Knowledge Base Systems, volumes I e II, Computer Science Press, 1988 e 1990. Elmasri R. e Navathe, S. Fundamentals of Database Systems. Benjamin Cummings, 1994.

Docente(s): 
Zanoni Dias (Responsável)
 

Ementa:

Modelos de computação e ferramentas/notação para análise de algoritmos. Indução matemática e projeto de algoritmos. Algoritmos gulosos. Programação dinâmica. Divisão e conquista. Algoritmos para ordenação e seleção. Algoritmos para problemas básicos em grafos. Reduções e NP-completude.

 

Bibliografia:

Cormen, Leiserson e Rivest. Introduction to Algorithms, MIT Press, 1990. U. Manber. Introduction to Algorithms. Addison Wesley, 1989. Brassard and Bratley. Algorithms. Prentice-Hall, 1996. Garey and Johnson. Computers and Intractability. Freeman, 1982.

Docente(s): 
Eduardo Candido Xavier
Flavio Keidi Miyazawa 
 

Ementa:

Conceitos básicos de probabilidade. Técnicas em teoria dos jogos. Desvios e momentos. Desigualdades de cauda. Método probabilístico. Cadeias de markov e passeios aleatórios. Algoritmos de aproximação probabilísticos. Técnicas algébricas. Aplicações.

 

Bibliografia:

R. Motwani and P. Raghavan. Randomized Algorithms, Cambridge, 1995. M. Mitzenmacher and E. Upfal. Probability and Computing: Randomized Algorithms and Probabilistic Analysis. Cambridge University Press. 2005. J. Michael Steele. Probability Theory and Combinatorial Optimization, SIAM, 1997. V. Vazirani. Approximation Algorithms. Springer-Verlag. 2001.

Docente(s): 
Cid Carvalho De Souza (Responsável)
 

Ementa:

Programação Linear (PL): formulando problemas em PL, algoritmo Primal-Simplex, Dualidade em PL, o algoritmo-Dual Simplex e a complexidade de resolução de um programa linear. Programação Linear Interior (PLI): formulações e complexidade. Otimilidade: relaxações e limitantes. Relaxação Lagrangeana: método do subgradiente e heurísticas lagrangeanas. Problemas de PLI bem resolvidos e Unimodularidade Total. Algoritmos de Branch-and-Bound para PLI. O método de geração de colunas. Algoritmos de Planos-de-Corte para PLI. Desigualdades Válidas Fortes e técnicas de lifting, combinatória poliédrica, o problema da separação e a questão da complexidade de otimização X a complexidade de separação.

 

Bibliografia:

L.Wolsey.Integer Programming. Wiley-Interscience. 1998., G. Nemhauser e L. Wolsey. Integer and Combinatorial Optimization. Wiley-Interscience. 1988, D. Bertsimas e J. Tsitsklis. Introduction to Linear Optimization, Athena Scientific. 1997, M. Bazaraa, J. Jarvis e H. Sherali. Linear Programming and Network Flows. John Wiley and Sons. 1990.

Docente(s): 
Ricardo Dahab (Responsável)
 

Ementa:

Aritmética modular, algoritmos para aritmética de números grandes, algoritmo de Montgomery algoritmo de MDC, algoritmo estendido de Euclides, implementação em software, corpos finitos, corpos primos, corpos binários, implementação em software, geração de números primos, testes de primalidade, geração de números aleatórios, algoritmos simétricos, cifradores de bloco (DES,AES, Camellia), modos de operação funções de resumo criptográfico (hash),MAC, H-MAC, implementação em software, algoritmos assimétricos: RSA (variantes), ECC, algoritmos para criptografia baseada em identidades, aspectos de implementação em software, tópicos especiais.

 

Bibliografia:

Guide to Elliptic Curve Cryptography, Darrel Hankerson, Alfred Menezes e Scott Vanstone, Springer-Verlag, 2004. Handbook of Applied Cryptography, A. Menezes, P. van Oorschot and S. Vanstone, CRC Press, 1997. Modern Cryptography theory and practice, Wenbo Mao, Pearson Education, 2004. Cryptography Theory and Practice, Douglas R. Stinson, Chapman & Hall/CRC, 2005. A Computational Introduction to Number Theory and Algebra, Victor Shoup, Cambridge University Press, 2005.

Docente(s): 
Helio Pedrini (Responsável)
 

Ementa:

Fundamentos de análise de imagens; Transformadas avançadas do espaço-frequência; Filtragem de imagem multiescala no espaço e na freqüência; Extração de atributos de pixel; Segmentação de imagens baseada em regiões; Contornos e modelos; Rotulação e representação de componentes e contornos; Transformadas de distância; Geodésicas e esqueletonização; Descritores de cor; Forma e textura; Agrupamento e classificação de padrões em imagens; Introdução à análise de vídeo digital.

 

Bibliografia:

R. C. Gonzalez & R. E. Woods. Digital Image Processing, Addison-Wesley, 2nd Ed. 2007. M. Petrou and P. Garcia. Image Processing: Dealing with Texture. Wiley, 2006. P. Soille. Morphological Image Analysis: Principles and Applications, Springer, 1999. L.da F. Costa and R.M. Cesar Jr. Shape Analysis and Classification: Theory and Practice. CRC Press. 2001. R. O. Duda, P. E. Hart, and D.G. Stork, Pattern Classification, Wiley, 2nd. Edition, 2001. H. Pedrini and W.R. Schwartz. Análise de Imagens Digitais: Princípios, Algoritmos e Aplicações. Thomson Learning, 2007. A.M. Tekalp. Digital Video Processing. Prentice-Hall, 2005.

Docente(s): 
Anderson De Rezende Rocha (Responsável)
 

Ementa:

Introdução à Computação e Análise Forense de Documentos Digitais; Aspectos Históricos; Técnicas de manipulação de imagens e vídeos; Identificação de modelos de câmera; Scanner e impressora de aquisição; Identificação de dispositivos de captura específicos; Identificação de criações sintéticas; Técnicas para identificação de manipulações; Variações e inconsistências em descritores; Inconsistências de aquisição; Iluminação; Estrutura; Identificação de falsificações em documentos de texto; Autenticação de obras de arte; Detecção de mensagens escondidas em imagens; Técnicas contra-forenses.

 

Bibliografia:

Não fornecida

Docente(s): 
Mario Lucio Cortes (Responsável)
 

Ementa:

Arquitetura de computadores não convencionais, processadores paralelos, etc. Estudo de computadores não convencionais relevantes. Programação de computadores paralelos.

 

Bibliografia:

Kai Hwang, Advanced Computer Architecture, Mac-Graw Hill, 1993.

Docente(s): 
Jorge Stolfi (Responsável)
 

Ementa:

Introdução às principais técnicas para a síntese de imagens por computador, a partir de modelos geométricos tridimensionais. Coordenadas homogêneas no plano e no espaço. Transformações euclidianas, afins e projetivas. Transformação de perspectiva. Janelamento; geometria projetiva orientada algoritmos geométricos para visibilidade. Algoritmos pontuais para visibilidade. Modelos de iluminação, cor e textura. Cálculo de sombras projetadas. Técnicas para modelagem de sólidos e superfícies. Traçado de raios.

 

Bibliografia:

Foley J.D., Van Dam, A. Feiner, H. e Hughes, J.: Computer Graphics: Principles and Practice, 2nd ed., Addison-Wesley, 1991. Watt, A.: 3D Computer Graphics, (2nd ed.), Addison-Welsley, 1992. Rogers, D.F. and Alan Adams, J.: Mathematical Elements for Computer Graphics, McGraw Hill, 1990.

Docente(s): 
Edson Borin (Responsável)
 

Ementa:

Sistemas de execução para linguagens concorrentes. Análise de fluxo de dados. Técnicas de otimização de código. Ferramentas para construção de geradores de código. Administração de memória. Geração de código para linguagens orientadas a objetos.

 

Bibliografia:

Aho, Sethi e Ullman; Compilers: Principles, Techniques and Tools, Addison-Wesley, 1986. Schreiner, A. T. e Friedman Jr., H.G., Introduction to Compiler Construction with UNIX, Prentice-Hall, 1985, Andrew W. Appel, Modern Compiler Implementation in Java, Cambridge University Press, 1998.

Docente(s): 
Nelson Luis Saldanha Da Fonseca (Responsável)
 

Ementa:

Gerenciamento de tráfego em redes multimídia, controle de admissão, policiamento, descarte seletivo, escalonamento, roteamento, dimensionamento de redes, servidores multimídia.

 

Bibliografia:

M. Tatipaluma e B. Khasnabish (editors) Multimedia Communications Networks: Tecnhnologies and Services, Artech House, 1998; M. Schwartz, Broadband Integrated Networks, Printice Hall, 1995; L. Kleinrock, Queueing Systems, Wiley-Interscience, 1973.

Docente(s): 
Paulo Licio De Geus (Responsável)
 

Ementa:

Estudo individual sob a orientação de um dos membros do corpo docente.

 

Bibliografia:

Não fornecida

Docente(s): 
Islene Calciolari Garcia (Responsável)
 

Ementa:

Não fornecida

 

Bibliografia:

Não fornecida

Docente(s): 
Maria Beatriz Felgar De Toledo (Responsável)
 

Ementa:

Não fornecida

 

Bibliografia:

Não fornecida

Docente(s): 
Edmundo Roberto Mauro Madeira (Responsável)
 

Ementa:

Não fornecida

 

Bibliografia:

Não fornecida

Docente(s): 
Anamaria Gomide (Responsável)
 

Ementa:

Não fornecida

 

Bibliografia:

Não fornecida

Turma:  J    Número de vagas:   500     Tipo Oferecimento:   Semestral  

Docente(s): 
Ariadne Maria Brito Rizzoni Carvalho (Responsável)
 

Ementa:

Capacitar o aluno para estruturar e realizar diversas etapas envolvidas na produção de trabalhos científicos. A disciplina compreende: Pesquisa e Redação Científica; Leitura e Compreensão de texto; Pesquisa Bibliográfica; Tipos de Textos Científicos; Artigos Científicos; Apresentação oral; Pontuação em português e inglês; Produção de textos em português; Produção de textos em inglês.

 

Bibliografia:

João Bosco Medeiros, "Redação Científica", Ed. Atlas, 1999. William Strunk Jr. and E.B. White, The Elements of Style.