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

Ementa:

Uma introdução avançada a arquitetura e organização de computadores. Tecnologias e perspectiva histórica. Medidas de desempenho. Conjunto de instruções. Unidades de aritmética e lógica. Projeto básico de um processador. Pipeline. Hierarquia da memória: cache e memória virtual. Dispositivos de I/O. Processamento paralelo.

 

Bibliografia:

David A. Patterson and John L. Hennessy. Computer Organization and Design; The Hardware/Software Interface, 1997, 2nd Edition. Morgan Kauffman. John L. Hennessy and David A. Patterson, Morgan Kauffman. Computer Architecture: A Quantitative Approach, 1996, 2nd Edition. Morgan Kauffman.

Docente(s): 
Christiane Neme Campos (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): 
Luiz Eduardo Buzato (Responsável)
 

Ementa:

Conceituação de processos concorrentes, modelos de sincronização e comunicação entre processos. Linguagens de programação concorrentes e técnicas de prova de correção de programas concorrentes. Conceituação de "livelok", "deadlock", escalonamento "justo" e "quase justo".

 

Bibliografia:

Raynal, M., "Algorithms of Mutual Exclusion", MIT Press, 1986. Ben-Ari, M. "Principles of Concorrent Programming", Prentice-Hall, 1982.

Docente(s): 
Eliane Martins (Responsável)
 

Ementa:

Processos e modelos de desenvolvimento de software. Padrões de codificação. Teste e verificação de programas. Distribuição e manutenção de software. Metricas de complexidade de software.

 

Bibliografia:

Pressman, R.S., þSoftware Engineering: A Practitioner's ApproachÞ, 4ª ed., McGraw Hill, 1997. Sommerville, I., þSoftware EngineeringÞ, 5ª ed., Addison Wesley, 1996. Ghezzi, C. Jazayeri, M. e Mandrioli, D., þFundamentals of Software EngeneeringÞ, Prentice-Hall, 1991.

Docente(s): 
Andre Santanche (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): 
Joao Meidanis (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): 
Ricardo Dahab (Responsável)
 

Ementa:

Introdução aos sistemas criptógraficos. Fundamentos matemáticos da Criptografia, Conceitos Básicos de teoria dos números, aritmética modular, grupos, corpos finitos, técnicas básicas da Criptografia simétrica, Introdução aos sistemas de ciframento, algoritmos DES e AES, modos de operação, funções de resumo criptográfico (hash) (SHA, Whirlpool etc). Técnicas básicas da Criptografia assimétrica, conceito de criptografia de chave pública, o sistema criptográfico RSA, o sistema criptográfico ECC, sistemas baseados em identidades (IBE), autenticação, introdução aos protocolos de autenticação, aplicações, os protocolos IPSec, IKE,SSH, Kerberos, PGP, infra-estruturas de chave pública (PKI)

 

Bibliografia:

Modern Cryptography theory and practice, Wenbo Mao, Pearson, Education, 2004. Cryptography Theory and Practice, Douglas R. Stinson, Chapman & Hall/CRC, 2005. Handbook of Applied Cryptography, A. Menezes, P. van Oorschot and S. Vanstone, CRC Press, 1997. A computational Introduction to Number Theory and Algebra, Victor Shoup, Cambridge University Press, 2005.

Docente(s): 
Alexandre Xavier Falcao (Responsável)
 

Ementa:

Fundamentos de imagens digitais; Transformações radiométricas; Filtragem linear e não-linear no domínio espacial; Transformadas espaço-frequência e suas propriedades; Filtragem no domínio de freqüência; Transformações geométricas; Interpolação e registro de imagens; Introdução à morfologia matemática; Introdução à segmentação de imagens; Introdução à análise de padrões em imagens.

 

Bibliografia:

R. C. Gonzalez & R. E. Woods. Digital Image Processing, Addison-Wesley, 2nd Ed. 2007. I. Pitas. Digital Image Processing Algorithms, Wiley-Interscience, 2000. E.R. Dougherty and R. A. Lotufo. Hands-on Morphological Image Processing, SPIE Press. 2003. P. Soille. Morphological Image Analysis: Principles and Applications, Springer, 1999. A.S. Glassner. Principles of Digital Image Synthesis. Vols 1 and 2, Morgan Kauffman, 1995. H. Pedrini and W.R. Schwartz. Análise de Imagens Digitais: Princípios, Algoritmos e Aplicações. Thomson Learning, 2007

Docente(s): 
Jacques Wainer (Responsável)
 

Ementa:

Fundamentos do aprendizado e reconhecimento de padrões; Redução de dimensionalidade; Seleção e combinação de descritores; Agrupamento e aprendizado supervisionado; Classificação de padrões e regressão de funções; Identificação e remoção de padrões anormais; Seleção e fusão de classificadores; Avaliação de técnicas de classificação e testes estatísticos.

 

Bibliografia:

R. O. Duda, P. E. Hart, and D.G. Stork, Pattern Classification, Wiley, 2nd. Edition, 2001. Tom Mitchell. Machine Learning, McGraw Hill, 1997. L. I. Kuncheva, Combining Pattern Classifiers: Methods and Algorithms, Wiley-Interscience, 2004. S. Haykin, Redes Neurais: Princípios e Prática, 2nd. Edition, Bookman, 2001. K. Fugunaga, Introduction to Statistical Pattern Recognition, Academic, 1990. L. Kaufman and P.J. Rousseeuw. Finding Groups in Data: An Introduction to Cluster Analysis, Wiley & Sons, 1990.

Docente(s): 
Siome Klein Goldenstein (Responsável)
 

Ementa:

Conceitos básicos de processamento de imagens, correspondências e arestas, algebra linear e coordenadas homogêneas, representações de rotações. Projeções ortográfica, perspectiva e afim. Câmeras e suas calibrações. Matriz essencial, matriz fundamental, homografia, RANSAC. Fatorização rígida e não rígida. Rastreamento, filtro de Kalman e de partículas. Localização e Reconhecimento de objetos.

 

Bibliografia:

An Invitation to 3-D Vision: From Images to Geometric Models. Ma, Soatto, Kosecka, and Sastry. Springer, 2004. - Computer Vision: A Modern Approach. Forsyth and Ponce. Prentice Hall, 2003.

Docente(s): 
Edmundo Roberto Mauro Madeira
Nelson Luis Saldanha Da Fonseca 
 

Ementa:

Redes de computadores: locais, metropolitanas e de longa distância. Modelo OSI/ISO e Arquitetura Internet TCP/IP. Gerenciamento de redes. Redes de Alta Velocidade e Aplicações Multimídia.

 

Bibliografia:

Tanenbaum, A.S. - þComputer NetworksÞ - Third Edition Prentice Hall, 1996, Soares, L. F. G e outros - þRedes de Computadores: Das LANs, MANs e WANs as Redes ATMÞ - Editora Campus, 1996.

Docente(s): 
Pedro Jussieu De Rezende (Responsável)
 

Ementa:

Projeto e análise de algoritmos para problemas em geometria computacional, incluindo problemas de envoltória convexa, caminho mínimo, busca geométrica, proximidade e interseções geométricas. Questões de análise de complexidade, quotas inferiores e superiores, e modelos computacionais. Aplicações à computação gráfica, planejamento de movimento, casamento de padrões, etc.

 

Bibliografia:

Preparata, F. e Shamos, M., Computational Geometry: an Introduction, Springer-Verlag, 1985. O'Rourke, J., Computational Geometry in C, Cambridge University Press, 1994. Rezende, P. J. e Stolfi, J., Fundamentos de Geometria Computacional, IX Escola de Computação, 1994. Edelsbrunner, H., Algorithms in Combinatorial Geometry, Springer-Verlag, 1987, de Berg, M.; van Kreveld, M; Overmars, M.; Schwarzkopf, O., Computational Geometry-Algorithms and Applications, Springer-Verlag, 1997.

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

Ementa:

Política de segurança, vulnerabilidades dos protocolos TCP/IP, firewalls, filtros, proxies, topologias de firewalls, segurança de DNS, ataques em aplicações, programação segura, tópicos e serviços: criptografia, Kerberos, IPv6, e-mail seguro, canais seguros: IPsec, SSL, SSH.

 

Bibliografia:

Practical Unix and Internet Security, Simson Garfinkel, Gene Spafford and Alan Schwartz, O'Reilly; Building Internet Firewalls, Brent Chapman, O'Reilly; Applied Cryptografy, Bruce Schneier, John Wiley; Firewalls and Internet Security, Bill Cheswick and Steve Bellovin, Addison Wesley; TCP/IP Illustrated, Volume 1, Stevens, Addison Wesley; Internetworking with TCP/IP, Volume I, Douglas Comer, Prentice Hall; DNS and BIND, Paul Albitz and Cricket Liu, O'Reilly.

Docente(s): 
Guido Costa Souza De Araujo (Responsável)
 

Ementa:

-

 

Bibliografia:

Não fornecida

Docente(s): 
Ricardo Da Silva Torres (Responsável)
 

Ementa:

-

 

Bibliografia:

Não fornecida

Docente(s): 
Luiz Fernando Bittencourt (Responsável)
 

Ementa:

-

 

Bibliografia:

Não fornecida

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

Ementa:

-

 

Bibliografia:

Não fornecida

Docente(s): 
Neucimar Jeronimo Leite (Responsável)
 

Ementa:

-

 

Bibliografia:

Não fornecida

Docente(s): 
Eduardo Candido Xavier (Responsável)
 

Ementa:

-

 

Bibliografia:

Não fornecida

Docente(s): 
Rodolfo Jardim De Azevedo (Responsável)
 

Ementa:

-

 

Bibliografia:

Não fornecida

Turma:  S    Número de vagas:   100     Tipo Oferecimento:   Semestral  

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

Ementa:

Não fornecida

 

Bibliografia:

Não fornecida