Вы находитесь на странице: 1из 34

Fundação Coordenação de Aperfeiçoamento de Pessoal de Nível Superior

Memória da Pós-Graduação
Sistema de Avaliação
Disciplinas - Oferta no Ano Base
CIÊNCIA DA COMPUTAÇÃO
Relações Nominais
ANO BASE: 2012
PROGRAMA: 32001010004P-6 CIÊNCIAS DA COMPUTAÇÃO - UFMG

DISCIPLINA Sigla-Número Nível Carga Horária Créditos


M D F
Algoritmos Distribuídos DCC-912 Mestrado/Doutorado 60 60 4

Período: 2º Semestre Carga-Horária: 60 Créditos: 4


Sub-Título:
Docentes Categoria Carga Horária %
Antonio Alfredo Ferreira Loureiro Docente Permanente 60 100,00

Nº de Docentes: 1 60 100,00
Ementa:
Modelos computacionais; modelos de falhas; tempo lógico; algoritmos síncronos e assíncronos; propagação de informação;
eleição de líder; problema dos generais bizantinos; auto-estabilização; sincronização; detecção de propriedades estáveis e
instáveis; verificação de algoritmos; algoritmos distribuídos específicos para Internet, mesh, grid, redes móveis ad hoc e
redes de sensores sem fio.
Bibliografia:
* Distributed Algorithms. Nancy Lynch, Morgan Kaufmann, 1996.
* Distributed Computing. Hagit Attiya and Jennifer Welch, McGraw-Hill, 1998.
* Distributed Systems. S. Mullender (Ed.), 2nd ed., Addison-Wesley, 1993.
* Introduction to Distributed Algorithms. Valmir C. Barbosa, MIT Press, 1996.
* Artigos técnicos publicados em periódicos e conferências.

DISCIPLINA Sigla-Número Nível Carga Horária Créditos


M D F
Análise e Modelagem de Desempenho de Sistemas de DCC-872 Mestrado/Doutorado 60 60 4
Computação

Ementa:
Planejamento de capacidade. Introdução à modelagem de
desempenho. Teoria de probabilidades e transformadas (revisão).
Simulação. Modelos de Markov. Filas únicas. Redes de filas:
algoritmo VMA. Análise operacional. Estudos de casos.
Bibliografia:
Texto: Capacity Planning for Web Services: metrics, models, and methods, Prentice Hall, Daniel Menascé and Virgilio
Almeida, 2001 (this new book will be available in September).

Ou

Capacity Planning for Web Performance: metrics, models, and methods, Prentice Hall, Daniel Menascé and Virgilio
Almeida, 1998

Adicionais:

· Introduction to Computer System Performance Evaluation, K. Kant, McGraw Hill, 1992.


· Probability, Stochastic Processes, and Queuing Theory, Randolph Nelson, Springer Verlag, 1995.
· Quantitative System Performance, E. Lazowska, J. Zahorjan, G. Graham, and K. Sevcik, Prentice Hall, 1984.
· The Benchmark Handbook for Database and Transaction Processing Systems, ed. Jim Gray, Morgan Kauffman, 1991.
· Configuration and Capacity Planning for Solaris Servers, Brian Wong, Prentice Hall, 1997.
· Introduction to Probability Models, Any Edition, Academic Press, Sheldon Ross, 1997.
· Capacity Planning and Performance Modeling, Daniel Menasce, Virgilio Almeida, and Larry Dowdy, Prentice Hall, 1994.
· Raj Jain, The Art of Computer Systems Performance Analysis: Techniques for Experimental Design, Measurement,
Simulation, and
· Modeling, Raj Jain, John Wiley and Sons, Inc., 1991.

Chronos 1 de 34 31/05/13 às 12:54


Fundação Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
Memória da Pós-Graduação
Sistema de Avaliação
Disciplinas - Oferta no Ano Base
CIÊNCIA DA COMPUTAÇÃO
Relações Nominais
ANO BASE: 2012
PROGRAMA: 32001010004P-6 CIÊNCIAS DA COMPUTAÇÃO - UFMG

DISCIPLINA Sigla-Número Nível Carga Horária Créditos


M D F
Arquitetura de Computadores DCC-819 Mestrado/Doutorado 60 60 4

Ementa:
Revisão de organização de computadores. Projeto de sistemas de memória.
Técnicas de processamento pipeline. Aritmética de ponto fixo e
ponto flutuante. Redes de interconexão. Processadores vetoriais e
matriciais. Multiprocessadores. Processadores não convencionais
Bibliografia:
Hennessy and Patterson, Computer Architecture: A Quantitative Approach, 2nd Edition, 1995.

DISCIPLINA Sigla-Número Nível Carga Horária Créditos


M D F
Banco de Dados DCC-842 Mestrado/Doutorado 60 60 4

Ementa:
Conceitos básicos de bancos de dados.
Modelos de dados e linguagens. Projeto de bancos de dados. Aspectos
operacionais em sistemas de banco de dados: processamento de consultas,
recuperação de falhas, segurança e integridade, controle de
concorrência.
Bibliografia:
Elmasri, R. & Navathe, S.B. Fundamentals of Database Systems, 3rd Ed. Addison-Wesley, Reading, Mass., 2000.

Batini, C.; Ceri, S. & Navathe, S. Conceptual Database Design: An Entity-Relationship Approach. Benjamin/Cummings,
Redwood City, Calif., 1992.
Date, C.J. An Introduction to Database Systems, 6th ed. Addison-Wesley, Reading, Mass., 1995.
Ramakrishnan, R. Database Management Systems, WCB/McGraw-Hill, Boston, Mass., 1998.
Silberchatz, A.; Korth, H.F.; Sudarshan, S. Database Systems Concepts, 3rd ed., McGraw-Hill, New York, 1996.
Ullman, J.D.; Widom, J. A First Course in Database Systems, Prentice-Hall, Upper Saddle River, New Jersey. 1997.

DISCIPLINA Sigla-Número Nível Carga Horária Créditos


M D F
Bibliotecas Digitais DCC-916 Mestrado/Doutorado 60 60 4

Período: 2º Semestre Carga-Horária: 60 Créditos: 4


Sub-Título:
Docentes Categoria Carga Horária %
Marcos André Gonçalves Docente Permanente 60 100,00

Nº de Docentes: 1 60 100,00
Ementa:
Definições de Bibliotecas Digitais; Modelos Teóricos, Componentes Básicos e Complexos (e.g., Coleções, Catálogos,
Serviços), Aspectos Tecnológicos (e.g., Interoperabilidade), Aspecto Sócio-Econômicos (e.g., Preservabilidade,
Sustentabilidade, Leis de Copyright), Sistemas de Bibliotecas Digitais, Estudos de Caso, e Desafios de Pesquisa.
Bibliografia:
FOX, E. A., GONÇALVES, M. A., Foundations of Information Systems: Digital Libraries and the 5S Frameworks, Morgan
Kauffman Publishers Inc., San Francisco, California, 2005.
ARMS, W. Y., Practical Digital Libraries: Books, Bytes and Bucks, Morgan Kauffman Publishers Inc., San Francisco,
California, 1997.

Chronos 2 de 34 31/05/13 às 12:54


Fundação Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
Memória da Pós-Graduação
Sistema de Avaliação
Disciplinas - Oferta no Ano Base
CIÊNCIA DA COMPUTAÇÃO
Relações Nominais
ANO BASE: 2012
PROGRAMA: 32001010004P-6 CIÊNCIAS DA COMPUTAÇÃO - UFMG

DISCIPLINA Sigla-Número Nível Carga Horária Créditos


M D F
Compiladores DCC-886 Mestrado/Doutorado 60 60 4

Ementa:
As fases de compilação. Linguagens
regulares e livres do contexto. Autômatos finitos e de pilha.
Análise sintática ascendente e descendente. Linguagens
intermediárias. Tabelas de símbolos. Tradutores dirigidos por
sintaxe. Gramática de atributos. Análise automática. Tratamento de
erros. Sistemas para implementação de compiladores.
Características de máquinas reais e abstratas. Administração
de memória em tempo de execução. Síntese em
compilação. Geração de código. Alocação de
registradores. Resolução de endereços. Otimização de
código global e local. Geração automática de geradores de
código.
Bibliografia:
Livro texto
Aho, A.V.; Sethi, R.; Ullman, J.D. Compilers Principles, Techniques, and Tools, Addison Wesley, 1986.

Bibliografia Suplementar
Livros e Artigos

Grune, Dick, Bal Henri E, Jacobs Ceriel J, Langendoen Koen G, Projeto Moderno de Compiladores Implementação e
Aplicações, Tradução Vandenberg D. de Souza, Editora Campus, 2001.
Appel, Andrew W., Modern Compiler Implementation in Java, Cambridge University Press, 1998.
Watt, David A., Programming Language Processors, C.A.R. Hoare Series Editor, Prentice Hall International Series in
Computer Science, 1993.
Fischer, C.N.; LeBlanc Jr., R.J. Crafting a Compiler with C, The Benjamin/Cummings Publishing Company, Inc., 1991.
Holub, Allen I., Compiler Design in C, Prentice-Hall International Editions, 1990.
Aho, A.V.; Ullman, J.D. The Theory of Parsing, Translation and Compiling, vol. I: Parsing, Prentice-Hall, 1972.
Gries, D. Compiler Construction for Digital Computers Wiley, 1972.
Bornat, R. Understanding and Writing Compilers, MacMillan Education, 1986.
ATS, HGF, Introduction to Compiler Construction With UNIX, Urbana, Illinois.

Johnson, S. C., YACC - Yet another compiler compiler, Computing Science Technical Report 32, AT & T, Bell Laboratories
Murray Hill,N J , 1975.
Kristensen, B.B. and Madsen, O.L, Methods for Computing LALR(k) Lookahead, ACM Transaction on Programming
Languages and Systems, Vol.3, No. 1, January 1981, pages:60-82.
Bigonha, Mariza A. S. e Bigonha, Roberto S., SIC: Uma Ferramenta para Implementação de Linguagens, Anais do XXI
Congresso Nacional de Informática, SUCESU, 1988 - 426-431.
Bigonha, Mariza A.S. & Bigonha, Roberto S., Uma Experiência na Implementação de um Recuperador de Erro LR(1), Anais
do V Simpósio sobre Desenvolvimento de Software Básico, Sociedade Brasileira de Computação, Belo Horizonte, Minas
Gerais, 158-171, 1985.

Chronos 3 de 34 31/05/13 às 12:54


Fundação Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
Memória da Pós-Graduação
Sistema de Avaliação
Disciplinas - Oferta no Ano Base
CIÊNCIA DA COMPUTAÇÃO
Relações Nominais
ANO BASE: 2012
PROGRAMA: 32001010004P-6 CIÊNCIAS DA COMPUTAÇÃO - UFMG

DISCIPLINA Sigla-Número Nível Carga Horária Créditos


M D F
Computação Ubíqua DCC-913 Mestrado/Doutorado 60 60 4

Período: 1º Semestre Carga-Horária: 60 Créditos: 4


Sub-Título:
Docentes Categoria Carga Horária %
Antonio Alfredo Ferreira Loureiro Docente Permanente 60 100,00

Nº de Docentes: 1 60 100,00

Ementa:
Paradigmas computacionais; tecnologias associadas; conceitos de computação móvel, ubíqua e autonômica; problemas de
localizção de estações rádio, alocação de canais; protocolos MAC; IP móvel; propostas de protocolos de transporte;
aplicações cientes de contexto físico e lógico; segurança; sistemas embutidos; projeto de sistemas considerando adaptação;
redes de suporte à computação ubíqua (redes sem fio, redes mesh, redes móveis ad hoc, redes de sensores sem fio).
Bibliografia:
Introdução à Computação Móvel. Geraldo R. Mateus e Antonio A.F. Loureiro, Escola de Computação, SBC, 1998.
Advances in Ubiquitous Computing: Future Paradigms and Directions. Soraya Kouadri Mostefaoui, Zakaria Maamar, and
George M. Giaglis, Igi Publishing, 2008.
Introduction to Awareness. James M. Corrigan, BookSurge, 2006.
Fundamentals of Mobile and Pervasive Computing. Frank Adelstein, Sandeep KS Gupta, Golden Richard III, and Loren
Schwieber, 2004.
Pervasive Computing: The Mobile World. Uwe Hansmann, Lothar Merk, and Martin S. Nicklous, Thomas Stober, Springer
2003.
Artigos técnicos publicados em periódicos e conferências.

DISCIPLINA Sigla-Número Nível Carga Horária Créditos


M D F
Engenharia de Aplicações em Redes DCC-915 Mestrado/Doutorado 60 60 4

Ementa:
Conceitos básicos de sistemas distribuídos na Internet. Modelos de concorrência e arquiteturas de sistemas distribuídos:
arquitetura cliente-servidor, peer-to-peer, etc. Aspectos de implementação de serviços e servidores. Interação entre os
domínios de aplicações e a arquitetura da rede: redes overlay, distribuição de conteúdo.
Bibliografia:
Artigos básicos
* A Note on Distributed Computing – Waldo, Wyant, Wollrath and Kendall
* Hints for Computer System Design – Lampson
* End-to-End Arguments in System Design – Saltzer, Reed, Clark
* The Design Philosophy of the DARPA Internet Protocols, Clark
* OSI Reference Model – The ISO Model of Architecture for Open Systems Interconnection, Zimmermann
* TCP Performance – Huston (Cisco IP Journal, 3(2), 2000)
* The Future of TCP – Huston (Cisco IP Journal 3(3), 2000)
* End-to-End Routing Behavior in the Internet – Paxson
Conferências
Artigos recentes de interesse na área serão obtidos preferencialmente das prncipais conferências relaciondas, tais como;
Sigcomm, Infocom, Usenix General Conference, USITS, SOSP, OSDI, WWW, HotOS, entre outras.

Chronos 4 de 34 31/05/13 às 12:54


Fundação Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
Memória da Pós-Graduação
Sistema de Avaliação
Disciplinas - Oferta no Ano Base
CIÊNCIA DA COMPUTAÇÃO
Relações Nominais
ANO BASE: 2012
PROGRAMA: 32001010004P-6 CIÊNCIAS DA COMPUTAÇÃO - UFMG

DISCIPLINA Sigla-Número Nível Carga Horária Créditos


M D F
Engenharia de Software DCC-823 Mestrado/Doutorado 60 60 4

Ementa:
- Princípios e técnicas de engenharia de software. Qualidade de software. Especificação e projeto de software. Verificação de
software. Processo de produção de software.
Bibliografia:
Paula F., W. P. Engenharia de Software: Fundamentos, Métodos e Padrões, LTC, 2001

7.2 Referências principais

· Pressman, R.S. Engenharia de Software, Makron, 1995.


· Jacobson I. et al, "The Unified Software Development Process", Addison Wesley, 1999
· Booch G. et al, "The Unified Modeling Language User Guide", Addison Wesley, 1999
· Rumbaugh J. et al, "The Unified Modeling Language Reference Manual", Addison Wesley, 1999
· Royce, W. "Software Project Management A Unified Framework", Addison Wesley, 1998
· Humprey, W. S. "Introduction to the Personal Software Process" Addison Wesley, 1997
· Jones, P. H. "Handbook of Team Design" McGraw Hill, 1997
· Jones, T. C. "Estimating Software Costs", McGraw Hill, 1998
· Robertson, S.; Robertson, J. "Mastering the Requirements Process"Addison Wesley, 1999
· Constantine, L.L.; Lockwood, L.D. "Software for Use", Addison Wesley, 1999
· McConnell, S. "Software Project Survival Guide"Microsoft Press, 1997
· Yourdon, E. "Death March The Complete Software Developer's Guide to Surviving "Mission Impossible" Projects", Prentice
Hall PTR
· DeMarco, Tom, "The Deadline A Novel About Project Management" , Dorset House, 1998
· Rumbaugh J. et al, "Modelagem e Projetos Baseados em Objetos", Editora Campus, 1994
· Ghezzi C. et al, "Fundamentals of Software Engineering", Prentice-Hall International, 1991
· Myers G. J., "The Art of Software Testing", Wiley Interscience, 1979
· Furlan J. D., "Modelagem de Objetos Através da UML", Makron Books, 1998
· Hix, D.; Hartson, H. R. Developing User Interfaces: ensuring usability through product & proc-ess, John Wiley and Sons,
1993.
· NIELSEN, J. Usability Engineering. Chestnut Hill, MA, Academic Press, 1993.
· Fowler M., "UML Distilled - Applying the Standard Object Modeling Language", Addison Wesley, 1997
· McCarthy, J. "Dynamics of Software Development" Microsoft Press, 1995

Chronos 5 de 34 31/05/13 às 12:54


Fundação Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
Memória da Pós-Graduação
Sistema de Avaliação
Disciplinas - Oferta no Ano Base
CIÊNCIA DA COMPUTAÇÃO
Relações Nominais
ANO BASE: 2012
PROGRAMA: 32001010004P-6 CIÊNCIAS DA COMPUTAÇÃO - UFMG

DISCIPLINA Sigla-Número Nível Carga Horária Créditos


M D F
Engenharia de Usabilidade DCC-914 Mestrado/Doutorado 60 60 4

Ementa:
Motivação e conceitos básicos. Modelos de avaliação de maturidade em usabilidade. Princípios de design. Processo
visando a Usabilidade. Noções de UML. Análise de contexto de uso. Especificação de requisitos de usabilidade.
Padronização de interfaces. Desenho da Interação. Prototipação. Diretrizes de usabilidade. Elementos de interação.
Avaliação de usabilidade. Usabilidade em interface Web.
Bibliografia:
Livro Texto: HIX, D., HARTSON, H. R., Developing User Interfaces: Ensuring Usability Through Product & Process, John
Wiley and Sons, 1993.
Referências
CONSTANTINE, L. L., Software for Use: A Practical Guide to the Models and Methods of Usage-Centered Design,
Addison-Wesley, 1999.
NIELSEN, J., Designing Web Usability, New Readers, 2000.
KRUG, S., BLACK, R., Don’t Make Me Think: Common Sense Approach to Web Usability, New Riders, Oct. 2000.
NORMAN, D. A., The Psychology of Everyday Things, New York, Basic Books, 1988.
NIELSEN, J., Usability Engineering, Chestnut Hill, MA, Academic Press, 1993.
SHNEIDERMAN, B., Designing the User Interface: Strategies for Effective Human-Computer Interaction, 3. Ed., Reading, MA,
Addison-Wesley, 1998.
PAULA F., W. P., Engenharia de Software: Fundamentos, Métodos e Padrões, LTC, 2001.
RUBIN, J., Handbook for Usability Testing: How to Plan, Design and Conduct Effective Tests, John Wiley and Sons, 1994.
MAYHEW, D., The Usability Engineering Lifecycle: A Practitioner’s Handbooks for User Interface Design, Morgan Kaufmann
Publishers Inc., (The Morgan Kaufmann Series in Interactive Technologies), 1999.
HENRY, P., User-Centered Informatin Design for Improved Software Usability, Artech House, 1998.
SPOOL, J. M., et. al., Web Design Usability: A Designer’s Guide, Morgan Kaufmann Publishers Inc., (The Morgan Kaufmann
Series in Interactive Technologies), 1999.
KISSEL, G. V., The Effect of Computer Experience on Subjective and Objective Usability Measures, In: ACM CHI’95
Conference Companion, Denver, CO, maio 1995, 284-285.
KREITZBERG, C., Managing for Usability, In: Alber, A. F. (Editor), Multimedia: A Management Perspective, Belmont, CA,
Wadsworth, 1996, 65-68.
LEWIS, J. R., IBM Computer Usability Satisfaction Questionnaires: Psychometric Evaluation and Instructions for Use, In:
International Journal of Human-Computer Interaction, 7(1), 57-78, 1995.
MYERS, B. & ROSSON, M., Survey on User Interface Programming, In: Proceedings of the ACN CHI’92 Conference,
Monterey, CA, maio 1992, 195-202

DISCIPLINA Sigla-Número Nível Carga Horária Créditos


M D F
Estágio em Docência I DCC-903 Mestrado/Doutorado 30 30 2

Ementa:
.
Bibliografia:
.

DISCIPLINA Sigla-Número Nível Carga Horária Créditos


M D F
Estágio em Docência II DCC-904 Doutorado 30 2

Ementa:
.
Bibliografia:
.

Chronos 6 de 34 31/05/13 às 12:54


Fundação Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
Memória da Pós-Graduação
Sistema de Avaliação
Disciplinas - Oferta no Ano Base
CIÊNCIA DA COMPUTAÇÃO
Relações Nominais
ANO BASE: 2012
PROGRAMA: 32001010004P-6 CIÊNCIAS DA COMPUTAÇÃO - UFMG

DISCIPLINA Sigla-Número Nível Carga Horária Créditos


M D F
Fundamentos de Sistemas Paralelos e Distribuídos DCC-920 Mestrado/Doutorado 60 60 4

Período: 1º Semestre Carga-Horária: 60 Créditos: 4


Sub-Título:
Docentes Categoria Carga Horária %
Wagner Meira Junior Docente Permanente 60 100,00

Nº de Docentes: 1 60 100,00

Ementa:
Concorrência e comunicação em sistemas paralelos e distribuídos. Sincronização e acordo em sistemas paralelos e
distribuídos. Persistência e sistemas de arquivos distribuídos. Compartilhamento de recursos em sistemas paralelos e
distribuídos. Análise e avaliação de desempenho de sistemas distribuídos e paralelos. Projeto e implementação de
aplicações Internet, como: cachês, redes de distribuição de conteúdo, aplicações P2P, serviços multimídia e serviços de
comércio eletrônico.
Bibliografia:
· MEIRA JR., W., MURTA, C., CAMPOS, S., GUEDES, D., Sistemas de Comércio Eletrônico: Projeto e Desenvolvimento,
Editora Campus, 2002.
· COULORIS, G., DOLLIMORE, J., KINDBERT, T., Distributed Systems: Concepts and Design, 3rd edition, Addison-Wesley,
2001.
· COMER, D., STEVENS, S., Inter-networking with TCP/IP – Volume III: Client-Server Programming and Applications, 3rd
edition, Prentice Hall, 1999.
· STEVENS, W. R., Unix Network Programming, Prentice-Hall, 2nd edition, 1998.
· ANDREWS, G., Foundations of Multihreaded, Distributed and Parallel Programming, Addison Wesley, 1999.
· TANNENBAUM, A., Distributed Operating Systems, Prentice-Hall, 1998.
· LYNCH, N., Distributed Algorithms, Morgan Kauffmann, 1997.
· OZSU, M., VALDURIEZ, P., Principles of Distributed Database Systems, 2nd edition, Prentice Hall, 1999.
· KRISHNAMURTY, B., REXFORD, J., Web Protocols and Practice: HTTP/1.1, Networking Protocols, Caching and Traffic
Measurement, Addison-Wesley, 2001.

DISCIPLINA Sigla-Número Nível Carga Horária Créditos


M D F
Fundamentos Teóricos da Computação DCC-878 Mestrado/Doutorado 60 60 4

Ementa:
Estudo dos fundamentos matemáticos da computabilidade. Enumerabilidade e
decibilidade. Conjuntos recursivamente enumeráveis. Teorema da recursão.
Introdução à semântica denotacional e ao lambda cálculo.
Teorema da incompletude de Godel. Funções recursivas.
Bibliografia:
1. Aho, A.V., Ullman, J.D. The Theory of Parsing, Translation and Compiling, vol I: Parsing, Prentice-Hall, 1972.
2. Denning, P.J., Dennis, J.B., Qualitz, J.E. Machines, Languages and Computation, Prentice-Hall, 1978.
3. Floyd. R.M., Beigel, R. The Language of Machines: An introduction to computability and formal languages, Computer
Science Press, 1994.
4. Greenlaw, R., Hoover, H.J. Fundamentals of the Theory of Computation, Morgan Kauffmann, 1998.
5. Hopcroft, J.E., Ullman, J.D. Formal Languages and Their Relation to Automata, Addison-Wesley, 1969.
6. *Hopcroft, J.E., Ullman, J.D. Introduction to Automata Theory, Languages and Computation, Addison-Wesley, 1979.
7. *Howie, J.M. Automata and Languages, Oxford University Press, 1991.
8. Kelley, D. Automata and Formal Languages: an introduction, Prentice-Hall, 1995.
9. *Kozen, D.C. Automata and Computability, Springer, 1997.
10. Lewis, H.R., Papadimitriou, C.H. Elements of the Theory of Computation, Prentice-Hall, 1981.
11. Martin, J.C. Introduction to Languages and the Theory of Computation, McGraw-Hill, 1991.
12. Menezes, P.B. Linguagens Formais e Autômatos, ed., Sagra Luzzatto, 1998.
13. *Moret, B.M. The Theory of Computation, Addison-Wesley, 1998.
14. Rèvèsz, G.E. Introduction to Formal Languages, Dover, 1983.
15. Sipser, M., Introduction to Theory of Computation, PWS Publishing Co., 1997.
16. Sudkamp, T.A. Languages and Machines: An Introduction to the Theory of Computer Science, 2nd ed., Addion-Wesley,
1997.
17. Taylor, R.G., Models of Computation and Formal Languages, Oxford University Press, 1998.
18. Wood, D., Theory of Computation, John Wiley & Sons, 1987.

Chronos 7 de 34 31/05/13 às 12:54


Fundação Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
Memória da Pós-Graduação
Sistema de Avaliação
Disciplinas - Oferta no Ano Base
CIÊNCIA DA COMPUTAÇÃO
Relações Nominais
ANO BASE: 2012
PROGRAMA: 32001010004P-6 CIÊNCIAS DA COMPUTAÇÃO - UFMG

DISCIPLINA Sigla-Número Nível Carga Horária Créditos


M D F
Gerência de Dados da Web DCC-922 Mestrado/Doutorado 60 60 4
Obrigatória nas Áreas de Concentração
CIENCIA DA COMPUTACAO

Ementa:
Características dos dados da Web, Modelagem de dados semi-estruturados, Linguagens de consulta, Ambientes e
aplicações da Web.
Bibliografia:
Livros Básicos
• Abiteboul, S; Buneman, P.; Suciu, D. Data on the Web: From Relations to Semistructured Data and XML. Morgan
Kaufmann, San Francisco, California, 2000.
• Liu, B. Web Data Mining. Springer, Berlin, 2008.

DISCIPLINA Sigla-Número Nível Carga Horária Créditos


M D F
Inteligência Artificial DCC-845 Mestrado/Doutorado 60 60 4

Período: 2º Semestre Carga-Horária: 60 Créditos: 4


Sub-Título:
Docentes Categoria Carga Horária %
Luiz Chaimowicz Docente Permanente 60 100,00

Nº de Docentes: 1 60 100,00
Ementa:
Resolução de problemas. Introdução à lógica de primeira ordem. Programação em
lógica. Representação do conhecimento. Tópicos avançados
em inteligência artificial.
Bibliografia:
.

DISCIPLINA Sigla-Número Nível Carga Horária Créditos


M D F
Métodos Quantitativos de Pesq Experimental em DCC-921 Mestrado/Doutorado 60 60 4
C.Computação

Ementa:
Ementa variável. A disciplina concentra-se em técnicas estatísticas para suportar o método científico em ciência da
computação.
Bibliografia:
· Livro Básico: Raj Jain, The Art of Computer Systems Performance Analysis: techniques for experimental design,
measurement, simulation and modeling, John Wiley, 1991, ISBN: 0-471-50336-3.
Suplementar
· P. Cohen, Empirical Methods for Artifical Inteligence, MIT Press, 1995.
· Miller, J. Freund, R. Johnson, Probability and Statistics for Engineers, Sixth Edition, Prentice Hall, 2000, ISBN:
0-13-014158-5.
· Daniel Menasce, Virgilio Almeida, and Larr Dowdy, Performance by Design: computer capacity planning by example,
Prentice Hall, 2004.
· D. A. Menasce and V. Almeida, Capacity Planning for Web Services: metrics, models, and methods, Prentice Hall, 2002.

Chronos 8 de 34 31/05/13 às 12:54


Fundação Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
Memória da Pós-Graduação
Sistema de Avaliação
Disciplinas - Oferta no Ano Base
CIÊNCIA DA COMPUTAÇÃO
Relações Nominais
ANO BASE: 2012
PROGRAMA: 32001010004P-6 CIÊNCIAS DA COMPUTAÇÃO - UFMG

DISCIPLINA Sigla-Número Nível Carga Horária Créditos


M D F
Mineração de Dados DCC-917 Mestrado/Doutorado 60 60 4

Período: 2º Semestre Carga-Horária: 60 Créditos: 4


Sub-Título:
Docentes Categoria Carga Horária %
Wagner Meira Junior Docente Permanente 60 100,00

Nº de Docentes: 1 60 100,00

Ementa:
Processo de descoberta do conhecimento em bancos de dados. Conceitos básicos de coleta e engenharia de dados.
Técnicas de mineração de dados. Aspectos de implementação. Domínios de aplicação.
Bibliografia:
HAN, J., KAMBER, M., Data Mining: Concepts and Techniques, Morgan Kaufmann, August 2000.
WITTEN, I., FRAND, E., Data Mining, Morgan Kauffmann, 2000.
BALLARD, D., Introduction to Natural Computation, MIT Press, March, 1997.

Chronos 9 de 34 31/05/13 às 12:54


Fundação Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
Memória da Pós-Graduação
Sistema de Avaliação
Disciplinas - Oferta no Ano Base
CIÊNCIA DA COMPUTAÇÃO
Relações Nominais
ANO BASE: 2012
PROGRAMA: 32001010004P-6 CIÊNCIAS DA COMPUTAÇÃO - UFMG

DISCIPLINA Sigla-Número Nível Carga Horária Créditos


M D F
Otimização Combinatória DCC-882 Mestrado/Doutorado 60 60 4

Período: 2º Semestre Carga-Horária: 60 Créditos: 4


Sub-Título:
Docentes Categoria Carga Horária %
Geraldo Robson Mateus Docente Permanente 60 100,00

Nº de Docentes: 1 60 100,00

Ementa:
Estruturas de dados. Algoritmos e complexidade. Problema de atribuição. Problema de Matching. Árvore geradora mínima e
matróides. Problema do caminho mínimo. Programação dinâmica. Problemas NP-árduos. Branch-and-Bound. Algoritmos
aproximados.
Bibliografia:
Ravindra K Ahuja, Thomas L Magnanti and James B. Orlin.
Network Flows: Theory, Algorithms and Applications.
Prentice Hall, 1993.

Mokhtar S. Bazaraa and John J. Jarvis.


Linear Programming and Network Flows.
John Wiley, 1977.

Kimberly L Jones, Irvin J Lustig, Judith M Farvolden and Warren B Powell.


Multicommodity Network Flows: The Impact of Formulation on Decomposition.
TR SOR 91-23, Princeton University, 1992.

Christos H. Papadimitriou and Kenneth Steiglitz.


Combinatorial Optimization: Algorithms and Complexity.
Prentice-Hall, 1982.

Robert E. Tarjan.
Data structures and network algorithms, volume 44 of Regional Conference Series in Applied Mathematics.
SIAM, Philadelphia, Pennsylvania, 1983.

Nicos Christofides.
Graph Theory: An Algorithmic Approach.
Academic Press, 1975.

Eugene L. Lawler.
Combinatorial Optimization: Networks and Matroids.
Holt, Rinehart and Winston, 1976.

George L. Nemhauser and Laurence A. Wosley.


Integer and Combinatorial Optimization.
Wiley-Interscience, 1988.

Michel Minoux.
Programmation Mathématique - Théorie et Algorithmes.
Dunod, 1983.

Geraldo R. Mateus.
Notas Pessoais, 1996.

Chronos 10 de 34 31/05/13 às 12:54


Fundação Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
Memória da Pós-Graduação
Sistema de Avaliação
Disciplinas - Oferta no Ano Base
CIÊNCIA DA COMPUTAÇÃO
Relações Nominais
ANO BASE: 2012
PROGRAMA: 32001010004P-6 CIÊNCIAS DA COMPUTAÇÃO - UFMG

DISCIPLINA Sigla-Número Nível Carga Horária Créditos


M D F
Otimização em Redes DCC-833 Mestrado/Doutorado 60 60 4

Período: 1º Semestre Carga-Horária: 60 Créditos: 4


Sub-Título:
Docentes Categoria Carga Horária %
Geraldo Robson Mateus Docente Permanente 60 100,00

Nº de Docentes: 1 60 100,00

Chronos 11 de 34 31/05/13 às 12:54


Fundação Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
Memória da Pós-Graduação
Sistema de Avaliação
Disciplinas - Oferta no Ano Base
CIÊNCIA DA COMPUTAÇÃO
Relações Nominais
Ementa:
Problemas básicos de
otimização em redes: árvore geradora máxima, caminho
mínimo, transporte, atribuição, fluxo de custo mínimo e
fluxo máximo. Algoritmos primal, primal-dual e dual. Programação
dinâmica e técnicas heurísticas. Problemas de grande porte:
redes de telecomunicações, de computadores e de transporte.
Processamento paralelo e complexidade de algoritmos.
Bibliografia:
Ravindra K Ahuja, Thomas L Magnanti and James B. Orlin.
Network Flows: Theory, Algorithms and Applications.
Prentice Hall, 1993.

Mokhtar S. Bazaraa and John J. Jarvis.


Linear Programming and Network Flows.
John Wiley, 1977.

Nicos Christofides.
Graph Theory: An Algorithmic Approach.
Academic Press, 1975.

Kimberly L Jones, Irvin J Lustig, Judith M Farvolden and Warren B Powell.


Multicommodity Network Flows: The Impact of Formulation on Decomposition.
TR SOR 91-23, Princeton University, 1992.

Eugene L. Lawler.
Combinatorial Optimization: Networks and Matroids.
Holt, Rinehart and Winston, 1976.

Geraldo R. Mateus. Notas Pessoais, 1996.

Geraldo R. Mateus e Antônio A.F. Loureiro.


Introdução à Computação Móvel.
Escola de Computação, Rio de Janeiro, 1998.

Michel Minoux. Programmation Mathématique - Théorie et Algorithmes.


Dunod, 1983.

George L. Nemhauser and Laurence A. Wolsey.


Integer and Combinatorial Optimization.
Wiley-Interscience, 1988.

Christos H. Papadimitriou and Kenneth Steiglitz.


Combinatorial Optimization: Algorithms and Complexity.
Prentice-Hall, 1982.

J.MacGregor Smith and P. Winter.


Topological Network Design, volume 33 of Annals of Operations Research.
J.C. Baltzer AG, Switzerland, 1991.

Robert E. Tarjan.
Data Structures and Network Algorithms, volume 44 of Regional Conference Series in Applied Mathematics.
SIAM, Philadelphia, Pennsylvania, 1983.

Chronos 12 de 34 31/05/13 às 12:54


Fundação Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
Memória da Pós-Graduação
Sistema de Avaliação
Disciplinas - Oferta no Ano Base
CIÊNCIA DA COMPUTAÇÃO
Relações Nominais
ANO BASE: 2012
PROGRAMA: 32001010004P-6 CIÊNCIAS DA COMPUTAÇÃO - UFMG

DISCIPLINA Sigla-Número Nível Carga Horária Créditos


M D F
Processamento de Som e Vídeo DCC-910 Mestrado/Doutorado 60 60 4

Período: 2º Semestre Carga-Horária: 60 Créditos: 4


Sub-Título:
Docentes Categoria Carga Horária %
Arnaldo de Albuquerque Araújo Docente Permanente 60 100,00

Nº de Docentes: 1 60 100,00

Ementa:
Conceitos de som analógico e digital, os padrões de som digital, streaming sound, conceitos de vídeo analógico e digital, os
padrões de vídeo digital, streaming video. Métodos para recuperação de imagens com base no conteúdo visual (cor, textura
e forma).
Bibliografia:
· Steven W. Smith, The Scientist and Engineer's Guide to Digital Signal Processing, 1999.
· Wang, Ostermann, Zhang, Video Processing and Communications, Prentice Hall, 2001.
· H.H. Li, S. Sun, & H. Derin (Eds.), Video Data Compression for Multimedia Computing, Kluwer, 1997.
· K. Jack, Video Demystified, 2nd. Ed., Harris, 1996.
· C.A. Poynton, A Technical Introduction to Digital Video, Wiley, 1996.
· A.F. Inglis & A.C. Luther, Video Engineering, 2nd. Ed., McGraw-Hill, 1996.
· A.M. Telkap, Digital Video Processing, Prentice Hall, 1995.
· W. Kou, Digital Image Compression Algorithms and Standards, Kluwer, 1995.
· Del Bimbo, Visual Information Retrieval, Morgan Kaufmann, 1999.
· V.S. Subrahmanian, Principles of Multimedia Database Systems, Morgan Kaufmann, 1998.
· Wilson de Pádua Paula Filho, Multimídia: Conceitos e Aplicações, LTC Editora, 2000.
· Artigos diversos.

Chronos 13 de 34 31/05/13 às 12:54


Fundação Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
Memória da Pós-Graduação
Sistema de Avaliação
Disciplinas - Oferta no Ano Base
CIÊNCIA DA COMPUTAÇÃO
Relações Nominais
ANO BASE: 2012
PROGRAMA: 32001010004P-6 CIÊNCIAS DA COMPUTAÇÃO - UFMG

DISCIPLINA Sigla-Número Nível Carga Horária Créditos


M D F
Processamento Digital de Imagens DCC-868 Mestrado/Doutorado 60 60 4

Período: 1º Semestre Carga-Horária: 60 Créditos: 4


Sub-Título:
Docentes Categoria Carga Horária %
Arnaldo de Albuquerque Araújo Docente Permanente 60 100,00

Nº de Docentes: 1 60 100,00

Ementa:
Conceitos básicos.
Digitalização e representação de imagens. Elementos de um
sistema de tratamento de imagens. Percepção visual. Realce de
imagens. Técnicas de modificação da escala de cinza.
Pseudo-coloração. Suavização de imagens. Aguçamento de
bordas. Filtragem espacial. Conceitos de segmentação,
codificação e classificação de imagens.
Bibliografia:
JÄHNE, B. ``Digital Image Processing". 4th. Edition, 1997.
FACON, J. ``Morfologia Matemática: Teoria e Exemplos". Ed. da PUC/Curitiba, PR, 1996.
BRUCE, V. GREEN, P.R. & GEORGESON, M.A. ``Visual Perception", Psychology Press, 1996.
KANG, H.R. ``Color Technology for Electronic Imaging Devices", SPIE, 1996.
RUSSEL, J.C. ``The Image Processing Handbook". CRC Press, 2nd. Edition, 1995.
COCQUEREZ, J.-P. & PHILIPP, S. (Editors). ``Analyse d'Images: Filtrage et Segmentation". Masson, 1995.
GOMES, J. & VELHO, L. ``Computação Gráfica: Imagem". IMPA/SBM, Rio de Janeiro, 1994.
SONKA, M., HLAVAC, V. & BOYLE, R. ``Image Processing, Analysis and Machine Vision". Chapman & Hall, 1993.
GONZALEZ, R.C. & WOODS, R.E. ``Digital Image Processing". Addison Wesley, 3rd. Edition, 1993.
MAHDAVIEH, Y. & GONZALEZ, R.C. (Editors). ``Advances in Image Analysis". SPIE Press, 1992.
1991.

MARION, A. ``An Introduction to Image Processing". Chapman and Hall, 1991.


GABIALTI Jr., L.J. ``Machine Vision and Digital Image Processing Fundamentals". Prentice-Hall, 1990.
SCHALKOFF, R.J. ``Digital Image Processing and Computer Vision". John Wiley & Sons, 1989.
JAIN, A. ``Fundamentals of Digital Image Processing". Prentice-Hall, 1989.
GREEN, W.S. ``Digital Image Processing: A Systems Approach". Van Nostrand, 2nd. Edition, 1989.
du CNRS, 1989.

Compression". Plenum, 1988.

NIBLACK, W. ``An Introduction to Digital Image Processing". Prentice-Hall, 1986.


ROSENFELD, A. & KAK, A.C. ``Digital Picture Processing". Academic Press, 2nd. Edition, 1982.
PRATT, W.K. ``Digital Image Processing". John Wiley & Sons, 1978.
MASCARENHAS, N.D.A. & VELASCO, F.R.D. ``Processamento Digital de Imagens". IV EBAI, 1989.
ARAÚJO, A. de A. ``Filtragem Espacial". VIII JAI, 1989.
FARINA, M. ``Psicodinâmica das Cores em Comunicação". Ed. Edgard Bucher, 1986.

Chronos 14 de 34 31/05/13 às 12:54


Fundação Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
Memória da Pós-Graduação
Sistema de Avaliação
Disciplinas - Oferta no Ano Base
CIÊNCIA DA COMPUTAÇÃO
Relações Nominais
ANO BASE: 2012
PROGRAMA: 32001010004P-6 CIÊNCIAS DA COMPUTAÇÃO - UFMG

DISCIPLINA Sigla-Número Nível Carga Horária Créditos


M D F
Programação Linear DCC-807 Mestrado/Doutorado 60 60 4

Ementa:
Fundamentos de álgebra linear.
Métodos simplex: primal, dual e primal-dual. Dualidade. Análise de
sensibilidade. Interpretação econômica.
Algoritmos de pontos interiores. Geração de colunas. Métodos de
decomposição de Dantzig-Wolf. Aplicações.
Bibliografia:
Christos H. Papadimitriou and Kenneth Steiglitz. Combinatorial Optimization. Dover Publications Inc., 1998.

Ami Arbel. Exploring Interior-Point Linear Programming; Algorithms and Software. MIT Press, 1993.

Frederico Ferreira Campos, filho. Introdução ao MATLAB - Versão Preliminar. DCC-ICEx-UFMG, 2000.

D. den Hertog. Interior-Point Approach to Linear, Quadratic and Convex Programming: Algorithms and Complexity. Kluwer
Academic Publisher, 1994.

Mokhatar S. Bazaraa, John J. Jarvis and Hanif D. Sherali. Linear Programming and Network Flows. John Wiley & Sons,
1990.

DISCIPLINA Sigla-Número Nível Carga Horária Créditos


M D F
Programação Não-Linear DCC-808 Mestrado/Doutorado 60 60 4

Ementa:
- Fundamentos matemáticos. Condições de otimalidade. Dualidade. Busca
unidimencional. Otimização irrestrita. Métodos duais em problemas
estritamente convexos. Métodos de penalidades. Métodos de
direções viáveis. Métodos de gradiente reduzido. Métodos
de decomposição e linearização.
Bibliografia:
· Mateus, G.R. & Luna, H.P.L. Programação Não-Linear, Livro da V Escola de Computação, UFMG, Belo Horizonte, 1986.
· Hiriart-Urruty, J.B. L'Optimisation, Presses Universitaires de France, Paris, 1996.
· Lasdon, L.S. Optimization Theory for Large Systems, Macmillan, New York, 1970.
· Artigos selecionados.

DISCIPLINA Sigla-Número Nível Carga Horária Créditos


M D F
Programação Paralela DCC-837 Mestrado/Doutorado 60 60 4

Ementa:
Expressão de execução paralela. Processos. Semântica de programas paralelos. Primitivas de sincronização. Núcleos de
multiprogramação. Modelos de programas paralelos. Estruturação de programas paralelos. Processos comunicantes.
Deteção de término. Resolução equânime de bloqueios. Exclusão mútua. Tolerância a falhas. Classificação em paralelo.
Matrizes sistólicas.
Bibliografia:
.

Chronos 15 de 34 31/05/13 às 12:54


Fundação Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
Memória da Pós-Graduação
Sistema de Avaliação
Disciplinas - Oferta no Ano Base
CIÊNCIA DA COMPUTAÇÃO
Relações Nominais
ANO BASE: 2012
PROGRAMA: 32001010004P-6 CIÊNCIAS DA COMPUTAÇÃO - UFMG

DISCIPLINA Sigla-Número Nível Carga Horária Créditos


M D F
Projeto e Análise de Algoritmos DCC-865 Mestrado/Doutorado 60 60 4

Período: 1º Semestre Carga-Horária: 60 Créditos: 4


Sub-Título:
Docentes Categoria Carga Horária %
Gisele Lobo Pappa Docente Permanente 15 25,00

Jussara Marques de Almeida Docente Permanente 15 25,00

Luiz Chaimowicz Docente Permanente 15 25,00

Wagner Meira Junior Docente Permanente 15 25,00

Nº de Docentes: 4 60 100,00
Período: 2º Semestre Carga-Horária: 60 Créditos: 4
Sub-Título:
Docentes Categoria Carga Horária %
Gisele Lobo Pappa Docente Permanente 15 25,00

Jussara Marques de Almeida Docente Permanente 15 25,00

Luiz Chaimowicz Docente Permanente 15 25,00

Wagner Meira Junior Docente Permanente 15 25,00

Nº de Docentes: 4 60 100,00

Chronos 16 de 34 31/05/13 às 12:54


Fundação Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
Memória da Pós-Graduação
Sistema de Avaliação
Disciplinas - Oferta no Ano Base
CIÊNCIA DA COMPUTAÇÃO
Relações Nominais
Ementa:
Fundamentos de álgebra linear.
Métodos simplex: primal, dual e primal-dual. Dualidade. Análise de
sensibilidade. Interpretação econômica.
Algoritmos de pontos interiores. Geração de colunas. Métodos de
decomposicação de Dantzig-Wolf. Aplicações.
Bibliografia:
Writing Efficient Programs, livro do Bentley [B]. Considerando novos algoritmos que não estão no texto e realizando trabalho
semelhante ao do Bentley.
2.
Pesquisa em Textos com Pré-processamento: Suffix Arrays, U. Manber e E. Myers, ACM-SIAM Symposium On Discrete
Algorithms.

3.
Pesquisa em textos: implementações eficientes do algoritmo de Boyre-Moore. A. Hume and D. Sunday, Fast string
searching, Software Practice and Experience 21(11): 1221-1248, Nov. 1991. R. Horspool, Practical fast searching in strings,
Software Practice and Experience 10: 501-506, 1980. T. Takaoka, A left-to-right processing computation for the Boyer-Moore
string matching algorithm, The Computer Journal, 39(5): 413-416, 1995.

4.
Fatoração de Inteiros Através de Computação Distribuída, CACM 34(11), nov 1991, 94-103.

5.
Quicksort Externo, Quicksort Em Ambiente de Memória Virtual. [GBY], Tese doutorado M.C. Monard (1980).

6.
Sef-Adjusting Multi-Way Search Trees. Árvores B em ambiente de memória virtual. Information Processing Letters v. 38,
maio de 1991, 135-141.

7.
Algoritmos Aleatórios. R. Karp ``An Introduction to Randomized Algorithms'', Discrete Applied Mathematics, v. 34, 1991,
165-201. Randomized Algorithms, R. Motwani e P. Raghavan, Cambridge University Press, 1995.

8.
Compressão de Dados. J. Ziv e A. Lempel ``Compression of Individual Sequences Via Variable-Rate Coding'', IEEE Trans.
on Inf. Theory 17 (24), set. 1978, 530-536. CACM 30 (9), 1987, 792-794. Williams, R. N. Adaptative Data Compression,
Kluwer Academic Publishers, 1991, [BCW89] Bell, T.C., Cleary, J.G. e Witten, I. H. Text Compression, Prentice-Hall, 1989.

9.
Algoritmos Paralelos. Quais problemas em estão em (ou quais são os problemas que podem se beneficiar substancialmente
de computação massivamente paralela) ? J. Hopcroft e K. W. Kennedy, Computer Science: Achievements and Opportunities,
Report of the NSF Advisory Committee for Computer Research, Society for Industrial and Applied Mathematics, 1989.

10.
Linguagem para consulta na estrutura e no conteúdo de bancos de dados textuais: Gonzalo Navarro, dissertação de
mestrado, DCC, Universidad de Chile, abril de 1995.

11.
Busca por proximidade: R. Baeza-Yates, W. Cunto, U. Manber e s. Wu, ''Proximity Matching Using Fixed-Queries Trees'',
Fifth Combinatorial Pattern Matching, 1994. R. Baeza-Yates e W. Cunto, Spire'99, Cancun, Mexico, 1999, The ADT Proximity
and Text Proximity Problems.

12.
Busca em textos usando estruturas em dois niveis. U. Manber and S. Wu, A two-level approach to information retrieval,
TR93-06, Umiversity of Arizona, 1993.

13.
Skip Lists. T. Papadakis, Skip lists and probabilistic analysis of algorithms, TR CS-93-28, University of Waterloo, May 1993.
W. Pugh, CACM 33(6): 668-676, Jun 1990.

14.
Perfect Hash. [WMB94]. G. H. Gonnet and R. Baeza-Yates, Handbook of Algorithms and Data Structures, Addison-Wesley,
1991.

15.
Algoritmos genéticos. Apresentar uma introdução ao assunto e exemplos de aplicações. David Goldberg, Genetic Algorithms
in Search Optimization & Machine Learning, Addison Wesley Publishing Company, 1989.

16.
Correção automatica de palavras em textos. Karen Kukich, techniques for automatically correcting words in text, ACM
computing Surveys 24(4): 377-440 Dec. 1992. Hellen C. F. Pacheco, Uma Ferramenta de Auxílio à Redação, Dissertação de
Mestrado DCC/UFMG, 1996.

17.
Recuperação de informações na Web. Apresentar os principais algoritmos e estruturas de dados utilizados no
armazenamento e recuperação de informacoes na Web.

Chronos 17 de 34 31/05/13 às 12:54


Fundação Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
Memória da Pós-Graduação
Sistema de Avaliação
Disciplinas - Oferta no Ano Base
CIÊNCIA DA COMPUTAÇÃO
Relações Nominais

18.
Busca por frases em bancos de dados de texto. Ilmerio Reis e Edleno S. Moura, Ranking Documents Using Conceptual
Phrases (Anotações pessoais ainda não publicadas). Edleno S. Moura e Ilmerio Reis, Índices para Busca por Frases
(Anotações pessoais ainda não publicadas). Marcio Drumond Araujo, IGREP - Um Sistema para Busca Aproximada em
Textos Indexados, Dissertação Mestrado DCC/UFMG, 1997.

19.
Recuperação de Imagens na Web. PhotoFinder (http://image.altavista.com). Haramndas et al., ACM SIGIR'97. Flickener et
al., IEEE Computer 8(9), 1995, 23-32. Chang, IEEE Signal Processing Magazine, July 1997.

20.
Busca em Textos Comprimidos. ``Direct Pattern Matching on Compressed Text''. E. S. de Moura, G. Navarro, N. Ziviani e R.
Baeza-Yates. SPIRE'98 , IEEE Computer Society, 90-95, Santa Cruz de la Sierra, Bolivia, Setembro, 1998. ``Fast sequencial
searching on compressed texts allowing errors''. E. S. de Moura, G. Navarro, N. Ziviani e R. Baeza-Yates. ``Proc. of the 21st
Conference on Research and Development in Information Retrieval'', ACM SIGIR'98, 298-306, Melbourne, Australia, Agosto,
1998.

21.
Algoritmos Distribuídos - Geração de listas invertidas em paralelo: ``Efficient Distributed Algorithms to Build Inverted Files''.
Berthier Ribeiro-Neto, Nivio Ziviani, Edleno Moura e Marden Neuber. SIGIR'99.

22.
Algoritmos Distribuídos - Geração de arranjos de sufixos em paralelo: Navarro, G., Kitajima, J. P., Ribeiro-Neto, B. A. and
Ziviani, N. ``Distributed Generation of Suffix Arrays'', In: A. Apostolico and J. Hein (Eds.) Eigth Symposium on Combinatorial
Pattern Matching (CPM'97), Springer-Verlag LNCS v. 1264, 102-115. Kitajima, J. P., Resende, M. D., Ribeiro-Neto, B. and
Ziviani, N. ``Distributed Parallel Generation of Indices for Very Large Text Databases'', IEEE 3rd International Conference on
Algorithms and Architectures for Parallel Processing (ICA3PP'97), Melbourne, Australia, December 1997, 745-752.

23.
Índices para Pesquisa em Textos Permitindo Erros, Marcio Drumond Araujo, IGREP - Um Sistema para Busca Aproximada
em Textos Indexados, Dissertação Mestrado DCC/UFMG, 1997.

24.
Busca de palavras em arquivos PostScript (.ps), Extracting Text from PostScript, Nevill-Manning, C.G., Reed, T. and Witten,
I.H., Software Practice and Experience 28(5), 1998, 481-491.

DISCIPLINA Sigla-Número Nível Carga Horária Créditos


M D F
Recuperação de Informação: Máquinas de Busca na DCC-923 Mestrado/Doutorado 60 60 4
Web
Obrigatória nas Áreas de Concentração
CIENCIA DA COMPUTACAO

Período: 1º Semestre Carga-Horária: 60 Créditos: 4


Sub-Título:
Docentes Categoria Carga Horária %
Berthier Ribeiro de Araújo Neto Docente Permanente 30 50,00

Nivio Ziviani Docente Permanente 30 50,00

Nº de Docentes: 2 60 100,00
Ementa:
Sistemas de recuperação de informação; técnicas, processos e métricas de recuperação de informação; máquinas de busca.
Bibliografia:
• Ricardo Baeza-Yates and Berthier Ribeiro-Neto: Modern Information Retrieval, Addison Wesley, 2010, 2nd Edition.
• Ian H. Witten, Alistair Moffat e Timothy C. Bell: Managing Gigabytes: Compressing and Indexing Documents and Images,
Morgan Kaufmann Publishers, 1999, second edition.

Chronos 18 de 34 31/05/13 às 12:54


Fundação Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
Memória da Pós-Graduação
Sistema de Avaliação
Disciplinas - Oferta no Ano Base
CIÊNCIA DA COMPUTAÇÃO
Relações Nominais
ANO BASE: 2012
PROGRAMA: 32001010004P-6 CIÊNCIAS DA COMPUTAÇÃO - UFMG

DISCIPLINA Sigla-Número Nível Carga Horária Créditos


M D F
Redes de Computadores DCC-839 Mestrado/Doutorado 60 60 4

Ementa:
Conceito de redes de computadores e
sistemas distribuídos. Arquitetura de redes de computadores. Protocolos e
serviços. Modelo de referência OSI/ISO. Redes locais.
Camadas física, enlace,
redes e transporte.
Bibliografia:
1. PETERSON, L. L. & DAVIE, B. S. "Computer Networks - A System Approach", Morgan Kaufman, San Fancisco, CA.
Second Edition, 2000. ISBN 1-55860-514-2 (cloth) e ISBN 1-55860-577-0 (paper).
2. TANENBAUM, A.S. "Computer Networks", Prentice Hall, Englewood Cliffs, NJ. 3rd. edition, 1995.
3. WALRAND, J. & VARAIYA, P. ``High-Performance Communications Networks". Morgan Kaufman, San Fancisco, CA.
Second Edition, 2000. ISBN 1-55860-574-6 (cloth) e ISBN 1-55860-654-8 (paper).
4. SOARES,L.F.G & LEMOS,G. & COLCHER,S., "Redes de Computadores: das LANs, MANs e WANs às Redes ATM",
Editora Campus, 1995.
5. HALSALL, Fred. "Data Communications, Computer Networks and Open Systems". Addison-Wesley Pub. Co., fourth
edition, 1995.
6. GOODWIN, M. ``Serial communications in C and C++". MIS Press, N.York, 1992.
7. COMER, D. "Computer Networks and Internets''. Prentice Hall Inc., 1997.
8. STALLINGS, W. "Data and Computer Communications". Macmillan Publishing Co., New York, 4th. edition, 1994.
9. NOGUEIRA, J. M. S. ``Protocolos de Comunicação: Conceitos, Serviços, Especificação e Teste.'' Belo Horizonte,
UFMG-DCC, 1991. Versão preparada para a V EBAI.

DISCIPLINA Sigla-Número Nível Carga Horária Créditos


M D F
Robótica DCC-883 Mestrado/Doutorado 60 60 4

Ementa:
Cinemática e dinâmica de manipuladores.
Transformações de velocidade e força. Geração de
trajetórias. Controle de força e posição. Sistemas de
programação para robôs. Plataformas móveis, sensores
e atuadores. Sistemas de navegação. Planejamento e aprendizagem.
Bibliografia:
Martin, F. G., Robotic Explorations: An Introduction to Engineering Through Design, Prentice Hall; ISBN: 0-130-89568-7.
Jones, J. and Flynn, A.M., Mobile Robots -- Inspiration to Implementation --A. K. Peters, Wellesley, MA, 1993, ISBN
1-56881-011-3.
Craig, J.J., Introduction to Robotics -- Mechanics and Control -- 2nd. Ed., Addison-Wesley,Reading, MA, 1989, ISBN
0-201-09528-9.

Chronos 19 de 34 31/05/13 às 12:54


Fundação Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
Memória da Pós-Graduação
Sistema de Avaliação
Disciplinas - Oferta no Ano Base
CIÊNCIA DA COMPUTAÇÃO
Relações Nominais
ANO BASE: 2012
PROGRAMA: 32001010004P-6 CIÊNCIAS DA COMPUTAÇÃO - UFMG

DISCIPLINA Sigla-Número Nível Carga Horária Créditos


M D F
Robótica Móvel DCC-911 Mestrado/Doutorado 60 60 4

Obrigatória nas Áreas de Concentração


CIENCIA DA COMPUTACAO

Período: 2º Semestre Carga-Horária: 60 Créditos: 4


Sub-Título:
Docentes Categoria Carga Horária %
Mario Fernando Montenegro Campos Docente Permanente 60 100,00

Nº de Docentes: 1 60 100,00
Ementa:
Conceitos Básicos de Robótica Móvel, Arquiteturas, Paradigmas de Programação, Locomoção, Planejamento de Caminhos,
Localização e Mapeamento, Cooperação entre Múltiplos Robôs.
Bibliografia:
o "Principles of Robot Motion: Theory, Algorithms, and Implementations" Howie Choset, Kevin M. Lynch, Seth Hutchinson,
George Kantor, Wolfram Burgard, Lydia E. Kavraki, Sebastian Thrun The MIT Press, 2005
o "Computational Principles of Mobile Robotics" Gregory Dudek and Michael Jenkin Cambridge University Press, 2000
o "Introduction to Autonomous Mobile Robots" Roland Siegwart, Illah R. Nourbakhsh The MIT Press, 2004
o "Probabilistic Robotics" Sebastian Thrun, Wolfram Burgard, Dieter Fox
The MIT Press, 2005
o "An Introduction to AI Robotics" Robin R. Murphy The MIT Press, 2000
o "Behavior-Based Robotics" Ronald C. Arkin The MIT Pres, 2000

Chronos 20 de 34 31/05/13 às 12:54


Fundação Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
Memória da Pós-Graduação
Sistema de Avaliação
Disciplinas - Oferta no Ano Base
CIÊNCIA DA COMPUTAÇÃO
Relações Nominais
ANO BASE: 2012
PROGRAMA: 32001010004P-6 CIÊNCIAS DA COMPUTAÇÃO - UFMG

DISCIPLINA Sigla-Número Nível Carga Horária Créditos


M D F
Semântica Formal DCC-880 Mestrado/Doutorado 60 60 4

Período: 1º Semestre Carga-Horária: 60 Créditos: 4


Sub-Título:
Docentes Categoria Carga Horária %
Roberto da Silva Bigonha Docente Permanente 60 100,00

Nº de Docentes: 1 60 100,00

Chronos 21 de 34 31/05/13 às 12:54


Fundação Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
Memória da Pós-Graduação
Sistema de Avaliação
Disciplinas - Oferta no Ano Base
CIÊNCIA DA COMPUTAÇÃO
Relações Nominais
Ementa:
Semântica direta. Semântica padrão. Semântica de continuação. Semântica de expressões, jumps, comandos,
procedimentos e tipos. Linguagens para definição de semântica denotacional. Fundamentos matemáticos do método
denotacional
Bibliografia:
M. J. C. Gordon, The Denotational Description of Programming Languages - An Introduction, Springer-Verlag, 1979 (2nd
revised edition).

E. G. Pimentel e M. Silva, Semântica Operacional Estruturada, Relatório Técnico DECOM 05/98, UFOP, 1998.

R. S. Bigonha, Retractile Continuation, RT01/96, DCC/UFMG, 1996.

Gurevich, Evolving Algebra,1998.

F. Tirelo, M. Maia, V. Di Ioro e R.S.Bigonha, Máquinas de Estado Abstratas, Tutorial III do III SBLP, Porto Alegre, 1999.

F. Tirelo, M. Maia, V. Di Ioro e R.S.Bigonha, Notas de Aula de Máquinas de Estado Abstratas, Dcc/UFMG, 2003.

Pierce, Benjamin C., Foudational Calculi for Programming Languages,Handbook of Computer Science and Engineering, 1995

Milner, Robin, The Polyadic Pi-Calculus: A Tutorial, Technical Report, CS Departament, University of Edinburg, 1991.
Bibliografia Complementar

H. R. Nielson & F. Nielson, Semantics with Applications - A Formal Introduction, John Wiley & Sons, 1992.

R. D. Tennent, The Denotational Semantics of Programming Languages, Communications of the ACM, August 1976,
437-453.

R. S. Bigonha, The Revised Report on the Language Script for Denotational Semantics, Technical Report 002/98,
DCC/UFMG, 1998.

C. A. Gunter, P. D. Mosses and D. S. Scott, Semantic Domains and Denotational Semantics, Internal Report DAIMI PB-276,
Computer Science Department, Aarhus University, April 1989.

C. A. Gunter, Semantics of Programming Languages - Structures and Techniques, MIT Press, 1992.

R. D. Tennent, The Denotational Semantics of Programming Languages, Communications of the ACM, August 1976,
437-453.

Gordon D. Plotkin, A Structural Approach to Operational Semantics, Aarhus, Denmark,Computer Science Department,
Aarhus University, 1981,DAIMI FN-19.

D. S. Scott, Toward a Mathematical Semantics for Computer Languages, Technical Monograph, PRG-6, Oxford University,
Computing Laboratory, 1971.

D. S. Scott, Outline of a Mathematical Theory of Computation, Technical Monograph, PRG-2, Oxford University, Computing
Laboratory, 1971.

D. S. Scott, Data Type as Lattice, SIAM Journal of Computing, 5:522-587, 1976.

F. Pagan, Formal Specification of Programming Languages: A Panoramic Primer, Prentice Hall, 1981.

A. Schmidt, Denotational Semantics : A Methodology for Language Development, Allyn & Bacon, 1986.

Joseph E. Stoy, Denotational Semantics: The Scott-Stratchey Approach to Programming Language Theory, MIT Press, 1977.

D. A. Watt, Programming Language Syntax and Semantics, Prentice Hall, C.A.R. Hoare Series Editor, 1991.

G. Winskel, Semantics of Programming Languages, MIT Press, 1993.

Referências para ASMs estão na URL:http://www.eecs.umich.edu/gasm, onde deve-se selecionar em especial o item
Programming Languages.

--------------------------------------------------------------------------------

Chronos 22 de 34 31/05/13 às 12:54


Fundação Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
Memória da Pós-Graduação
Sistema de Avaliação
Disciplinas - Oferta no Ano Base
CIÊNCIA DA COMPUTAÇÃO
Relações Nominais
ANO BASE: 2012
PROGRAMA: 32001010004P-6 CIÊNCIAS DA COMPUTAÇÃO - UFMG

DISCIPLINA Sigla-Número Nível Carga Horária Créditos


M D F
Sistemas Operacionais DCC-816 Mestrado/Doutorado 60 60 4

Período: 1º Semestre Carga-Horária: 60 Créditos: 4


Sub-Título:
Docentes Categoria Carga Horária %
Sergio Vale Aguiar Campos Docente Permanente 60 100,00

Nº de Docentes: 1 60 100,00

Ementa:
Gerência e sincronização
de processos. Técnicas de entrada/saída. Sistemas de arquivos.
Técnicas de {\it buffering}. Escalonamento de processadores. Gerência
de memória e memória virtual. Alocação de recursos e
{\it deadlock}. Avaliação de desempenho. Sistemas distribuí}dos.
Bibliografia:
M. Beck. et.al. Linux Kernel Internals. 2a edição, Addison-Wesley, 1997.
Kernel Hackers Guide. http://www.dcc.ufmg.br/~scampos/so

DISCIPLINA Sigla-Número Nível Carga Horária Créditos


M D F
Teoria de Linguagens DCC-874 Mestrado/Doutorado 60 60 4

Período: 2º Semestre Carga-Horária: 60 Créditos: 4


Sub-Título:
Docentes Categoria Carga Horária %
Olga Nikolaevna Goussevskaia Docente Colaborador 60 100,00

Nº de Docentes: 1 60 100,00
Ementa:
Classificação e propriedade das gramáticas. Problemas decidíveis em cada classe de gramática e respectivas linguagens.
Autômatos linear-bounded e máquinas de Turing como reconhecedores de linguagens. Noções de Parsing. Parsing
determinístico. Gramática LL(k) e LR(k).
Bibliografia:
1. Dean, N. The Essence of Discrete Mathematics, Prentice Hall, 1997.
2. Grimaldi, R.P. Discrete and Combinatorial Mathematics: An Applied Introduction, 3rd ed., Addison-Wesley, 1994.
3. Velleman, D.J. How To Prove It, Cambridge University Press, 1994.

Chronos 23 de 34 31/05/13 às 12:54


Fundação Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
Memória da Pós-Graduação
Sistema de Avaliação
Disciplinas - Oferta no Ano Base
CIÊNCIA DA COMPUTAÇÃO
Relações Nominais
ANO BASE: 2012
PROGRAMA: 32001010004P-6 CIÊNCIAS DA COMPUTAÇÃO - UFMG

DISCIPLINA Sigla-Número Nível Carga Horária Créditos


M D F
Teoria dos Grafos DCC-849 Mestrado/Doutorado 60 60 4

Período: 2º Semestre Carga-Horária: 60 Créditos: 4


Sub-Título:
Docentes Categoria Carga Horária %
Sebastián Alberto Urrutia Docente Permanente 60 100,00

Nº de Docentes: 1 60 100,00

Ementa:
Conceito de grafos e aplicações. Problemas em grafos: caminhos, planaridade, coloração, particionamento, casamento,
fluxo. Algoritmos
Bibliografia:
Robin J. Wilson
Introduction to Graph Theory
Addison-Wesley, 1997 - fourth edition

Joan M. Aldous & Robin J. Wilson


Graphs and Applications: An Introductory Approach
Springer-Verlag, 2000

R. Balakrishnan & K. Ranganathan


A Textbook on Graph Theory
Springer-Verlag, 2000

Jay Yellen & Jonathan L. Gross


Graph Theory and its Applications
CRC Press, 1999

Douglas B. West
Introduction to Graph Theory
Prentice-Hall, 2000 - second edition

Reinhard Diestel
Graph Theory
Springer-Verlag, 2000

Ahuja, Magnanti & Orlin


Network Flows - Theory, Algorithms, and Applications
Prentice-Hall, 1993

James Evans & Edward Minieka


Optimization Algorithms for Networks and Graphs
Marcel Dekker, Inc., 1992 - second edition

L. R. Foulds
Graph Theory Applications
Springer Verlag, 1992

Nicos Christofides
Graph Theory - An Algorithmic Approach
Academic Press, 1978

Chronos 24 de 34 31/05/13 às 12:54


Fundação Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
Memória da Pós-Graduação
Sistema de Avaliação
Disciplinas - Oferta no Ano Base
CIÊNCIA DA COMPUTAÇÃO
Relações Nominais
ANO BASE: 2012
PROGRAMA: 32001010004P-6 CIÊNCIAS DA COMPUTAÇÃO - UFMG

DISCIPLINA Sigla-Número Nível Carga Horária Créditos


M D F
Tópicos em Bancos de Dados DCC-889 Mestrado/Doutorado 60 60 4

Período: 1º Semestre Carga-Horária: 60 Créditos: 4


Sub-Título: Banco de Dados Avançados
Docentes Categoria Carga Horária %
Mirella Moura Moro Docente Permanente 60 100,00

Nº de Docentes: 1 60 100,00
Período: 1º Semestre Carga-Horária: 60 Créditos: 4
Sub-Título: Bancos de Dados Geográficos
Docentes Categoria Carga Horária %
Clodoveu Augusto Davis Junior Docente Permanente 60 100,00

Nº de Docentes: 1 60 100,00

Ementa:
Ementa variável dependendo da ênfase oferecida em Bancos de Dados.
Bibliografia:
Bibliografia variável dependendo da ênfase oferecida.

DISCIPLINA Sigla-Número Nível Carga Horária Créditos


M D F
Tópicos em Compiladores DCC-888 Mestrado/Doutorado 60 60 4

Período: 2º Semestre Carga-Horária: 60 Créditos: 4


Sub-Título: Otimização de Código
Docentes Categoria Carga Horária %
Mariza Andrade da Silva Bigonha Docente Permanente 60 100,00

Nº de Docentes: 1 60 100,00
Ementa:
Ementa variável dependendo da ênfase oferecida em Compiladores.
Bibliografia:
Bibliografia variável dependendo da ênfase oferecida em Compiladores.

Chronos 25 de 34 31/05/13 às 12:54


Fundação Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
Memória da Pós-Graduação
Sistema de Avaliação
Disciplinas - Oferta no Ano Base
CIÊNCIA DA COMPUTAÇÃO
Relações Nominais
ANO BASE: 2012
PROGRAMA: 32001010004P-6 CIÊNCIAS DA COMPUTAÇÃO - UFMG

DISCIPLINA Sigla-Número Nível Carga Horária Créditos


M D F
Tópicos em Engenharia de Software DCC-890 Mestrado/Doutorado 60 60 4

Período: 1º Semestre Carga-Horária: 60 Créditos: 4


Sub-Título: Arquitetura de Software
Docentes Categoria Carga Horária %
Marco Túlio de Oliveira Valente Docente Permanente 60 100,00

Nº de Docentes: 1 60 100,00
Período: 1º Semestre Carga-Horária: 60 Créditos: 4
Sub-Título: Reuso de Software
Docentes Categoria Carga Horária %
Eduardo Magno Lages Figueiredo Docente Permanente 60 100,00

Nº de Docentes: 1 60 100,00
Período: 1º Semestre Carga-Horária: 60 Créditos: 4
Sub-Título: Interação Humano-Computador
Docentes Categoria Carga Horária %
Raquel Oliveira Prates Docente Permanente 60 100,00

Nº de Docentes: 1 60 100,00
Período: 2º Semestre Carga-Horária: 60 Créditos: 4
Sub-Título: Manutenção e Evolução de Software
Docentes Categoria Carga Horária %
Marco Túlio de Oliveira Valente Docente Permanente 60 100,00

Nº de Docentes: 1 60 100,00
Período: 2º Semestre Carga-Horária: 60 Créditos: 4
Sub-Título: Medição e Qualidade de Software
Docentes Categoria Carga Horária %
Eduardo Magno Lages Figueiredo Docente Permanente 60 100,00

Nº de Docentes: 1 60 100,00

Ementa:
Ementa variável dependendo da ênfase oferecida em Engenharia de Software.
Bibliografia:
Buibliografia variável dependendo da ênfase oferecida em Engenharia de Software

Chronos 26 de 34 31/05/13 às 12:54


Fundação Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
Memória da Pós-Graduação
Sistema de Avaliação
Disciplinas - Oferta no Ano Base
CIÊNCIA DA COMPUTAÇÃO
Relações Nominais
ANO BASE: 2012
PROGRAMA: 32001010004P-6 CIÊNCIAS DA COMPUTAÇÃO - UFMG

DISCIPLINA Sigla-Número Nível Carga Horária Créditos


M D F
Tópicos em Inteligência Artificial DCC-891 Mestrado/Doutorado 60 60 4

Ementa:
Ementa variável dependendo da ênfase oferecida em Inteligência Artificial.
Bibliografia:
Bibliografia variável dependendo da ênfase oferecida.

DISCIPLINA Sigla-Número Nível Carga Horária Créditos


M D F
Tópicos em Linguagens de Programação DCC-892 Mestrado/Doutorado 60 60 4

Ementa:
Ementa variável dependendo da ênfase oferecida em Linguagens de Programação.
Bibliografia:
Bibliografia variável dependendo da ênfase oferecida.

DISCIPLINA Sigla-Número Nível Carga Horária Créditos


M D F
Tópicos em Microeletrônica DCC-898 Mestrado/Doutorado 60 60 4

Ementa:
Ementa variável dependendo da ênfase oferecida em Microeletrônica.
Bibliografia:
Bibliografia variável dependendo da ênfase oferecida.

DISCIPLINA Sigla-Número Nível Carga Horária Créditos


M D F
Tópicos em Multimídia DCC-896 Mestrado/Doutorado 60 60 4

Ementa:
Ementa variável dependendo da ênfase oferecida em Multimídia.
Bibliografia:
Bibliografia variável dependendo da ênfase oferecida.

Chronos 27 de 34 31/05/13 às 12:54


Fundação Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
Memória da Pós-Graduação
Sistema de Avaliação
Disciplinas - Oferta no Ano Base
CIÊNCIA DA COMPUTAÇÃO
Relações Nominais
ANO BASE: 2012
PROGRAMA: 32001010004P-6 CIÊNCIAS DA COMPUTAÇÃO - UFMG

DISCIPLINA Sigla-Número Nível Carga Horária Créditos


M D F
Tópicos em Otimização DCC-893 Mestrado/Doutorado 60 60 4

Período: 1º Semestre Carga-Horária: 60 Créditos: 4


Sub-Título: Otimização Linear e Não Linear
Docentes Categoria Carga Horária %
Alexandre Salles da Cunha Docente Permanente 60 100,00

Nº de Docentes: 1 60 100,00
Período: 1º Semestre Carga-Horária: 60 Créditos: 4
Sub-Título: Heurísticas e Metaheurísticas
Docentes Categoria Carga Horária %
Thiago Ferreira de Noronha Docente Permanente 60 100,00

Nº de Docentes: 1 60 100,00

Ementa:
Ementa variável dependendo da ênfase oferecida em Otimização.
Bibliografia:
Bibliografia variável dependendo da ênfase oferecida.

DISCIPLINA Sigla-Número Nível Carga Horária Créditos


M D F
Tópicos em Percepção Ativa DCC-899 Mestrado/Doutorado 60 60 4

Ementa:
Ementa variável dependendo da ênfase oferecida em Robótica.
Bibliografia:
Bibliografia variável dependendo da ênfase oferecida em Robótica.

DISCIPLINA Sigla-Número Nível Carga Horária Créditos


M D F
Tópicos em Processamento Digital de Imagens DCC-897 Mestrado/Doutorado 60 60 4

Ementa:
Ementa variável dependendo da ênfase oferecida em Processamento Digital de Imagens.
Bibliografia:
Bibliografia variável dependendo da ênfase oferecida.

Chronos 28 de 34 31/05/13 às 12:54


Fundação Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
Memória da Pós-Graduação
Sistema de Avaliação
Disciplinas - Oferta no Ano Base
CIÊNCIA DA COMPUTAÇÃO
Relações Nominais
ANO BASE: 2012
PROGRAMA: 32001010004P-6 CIÊNCIAS DA COMPUTAÇÃO - UFMG

DISCIPLINA Sigla-Número Nível Carga Horária Créditos


M D F
Tópicos em Redes de Computadores DCC-894 Mestrado/Doutorado 60 60 4

Período: 2º Semestre Carga-Horária: 60 Créditos: 4


Sub-Título: Internet do Futuro e Internet de Coisas
Docentes Categoria Carga Horária %
Jose Marcos Silva Nogueira Docente Permanente 60 100,00

Nº de Docentes: 1 60 100,00
Período: 2º Semestre Carga-Horária: 60 Créditos: 4
Sub-Título: Redes sem Fio
Docentes Categoria Carga Horária %
Luiz Filipe Menezes Vieira Docente Permanente 60 100,00

Nº de Docentes: 1 60 100,00

Ementa:
Ementa variável dependendo da ênfase oferecida em Redes de Computadores.
Bibliografia:
Bibliografia variável dependendo da ênfase oferecida.

DISCIPLINA Sigla-Número Nível Carga Horária Créditos


M D F
Tópicos em Robótica DCC-919 Mestrado/Doutorado 60 60 4

Ementa:
Ementa variável dependendo do tópico a ser abordado.
Bibliografia:
Bibliografia variável dependendo do tópico abordado.

DISCIPLINA Sigla-Número Nível Carga Horária Créditos


M D F
Tópicos em Sistemas de Computação DCC-895 Mestrado/Doutorado 60 60 4

Período: 2º Semestre Carga-Horária: 60 Créditos: 4


Sub-Título: Sistemas de Tempo Real
Docentes Categoria Carga Horária %
Sergio Vale Aguiar Campos Docente Permanente 60 100,00

Nº de Docentes: 1 60 100,00
Ementa:
Ementa variável dependendo da ênfase oferecida em Sistemas de Computação
Bibliografia:
Bibliografia variável dependendo da ênfase oferecida.

Chronos 29 de 34 31/05/13 às 12:54


Fundação Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
Memória da Pós-Graduação
Sistema de Avaliação
Disciplinas - Oferta no Ano Base
CIÊNCIA DA COMPUTAÇÃO
Relações Nominais
ANO BASE: 2012
PROGRAMA: 32001010004P-6 CIÊNCIAS DA COMPUTAÇÃO - UFMG

DISCIPLINA Sigla-Número Nível Carga Horária Créditos


M D F
Tópicos em Visão Computacional DCC-918 Mestrado/Doutorado 60 60 4

Ementa:
Ementa variável dependendo do tópico a ser abordado.
Bibliografia:
* Emanuele Trucco and Alessandro Verri, Introductory Techniques for 3-D Computer Vision, Prentice Hall, New Jersey, 1998.
* David A. Forsyth and Jean Ponce, Computer Vision - A Modern Approach, Prentice Hall, New Jersey, 2003.
* Richard Hartley and Andrew Zisserman, Multiple View Geometry in Computer Vision, Cambridge University Press, 2000.
* B.K.P. Horn, Robot Vision, MIT Press, 1986.
* Dana Ballard and Christopher Brown, Computer Vision, Prentice Hall, 1982.
* K. R. Castleman, Digital Image Processing, Prentice Hall, 1979.
* Rafael C. Gonzalez and Richard E. Woods, Addison Wesley, Reading, 1992.
* Stuart Russel and Peter Norvig, Artificial Intelligence - A Modern
* Approach, 2nd. Edition, Prentice-Hall, New Jersey, 2003.

Chronos 30 de 34 31/05/13 às 12:54


Fundação Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
Memória da Pós-Graduação
Sistema de Avaliação
Disciplinas - Oferta no Ano Base
CIÊNCIA DA COMPUTAÇÃO
Relações Nominais
ANO BASE: 2012
PROGRAMA: 32001010004P-6 CIÊNCIAS DA COMPUTAÇÃO - UFMG

DISCIPLINA Sigla-Número Nível Carga Horária Créditos


M D F
Tópicos Especiais em Ciência da Computação DCC-831 Mestrado/Doutorado 60 60 4

Período: 1º Semestre Carga-Horária: 60 Créditos: 4


Sub-Título: Predição Estruturada via Campos Aleatórios Condicionais
Docentes Categoria Carga Horária %
Renato Martins Assuncao Docente Permanente 60 100,00

Nº de Docentes: 1 60 100,00
Período: 1º Semestre Carga-Horária: 60 Créditos: 4
Sub-Título: Visualização de Dados
Docentes Categoria Carga Horária %
Raquel Cardoso de Melo Minardi Docente Permanente 60 100,00

Nº de Docentes: 1 60 100,00
Período: 1º Semestre Carga-Horária: 60 Créditos: 4
Sub-Título: Programação em Arquiteturas Emergentes
Docentes Categoria Carga Horária %
Renato Antônio Celso Ferreira Docente Permanente 60 100,00

Nº de Docentes: 1 60 100,00
Período: 1º Semestre Carga-Horária: 60 Créditos: 4
Sub-Título: Nanotecnologia Computacional
Docentes Categoria Carga Horária %
Omar Paranaiba Vilela Neto Docente Permanente 60 100,00

Nº de Docentes: 1 60 100,00
Período: 1º Semestre Carga-Horária: 60 Créditos: 4
Sub-Título: Virtualização e Computação em Nuvem
Docentes Categoria Carga Horária %
Dorgival Olavo Guedes Neto Docente Permanente 60 100,00

Nº de Docentes: 1 60 100,00
Período: 1º Semestre Carga-Horária: 60 Créditos: 4
Sub-Título: Aprendizagem de Máquina
Docentes Categoria Carga Horária %
Adriano Alonso Veloso Docente Permanente 60 100,00

Nº de Docentes: 1 60 100,00
Período: 1º Semestre Carga-Horária: 60 Créditos: 4
Sub-Título: Desenvolvimento de Jogos Digitais
Docentes Categoria Carga Horária %
Luiz Chaimowicz Docente Permanente 30 50,00

Renato Antônio Celso Ferreira Docente Permanente 30 50,00

Nº de Docentes: 2 60 100,00

Chronos 31 de 34 31/05/13 às 12:54


Fundação Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
Memória da Pós-Graduação
Sistema de Avaliação
Disciplinas - Oferta no Ano Base
CIÊNCIA DA COMPUTAÇÃO
Relações Nominais

Período: 2º Semestre Carga-Horária: 60 Créditos: 4


Sub-Título: Probabilidade e Inferência para Ciência da Computação
Docentes Categoria Carga Horária %
Renato Martins Assuncao Docente Permanente 60 100,00

Nº de Docentes: 1 60 100,00
Período: 2º Semestre Carga-Horária: 60 Créditos: 4
Sub-Título: Computação Gráfica
Docentes Categoria Carga Horária %
Renato Antônio Celso Ferreira Docente Permanente 60 100,00

Nº de Docentes: 1 60 100,00
Período: 2º Semestre Carga-Horária: 60 Créditos: 4
Sub-Título: Nanocomputação
Docentes Categoria Carga Horária %
Omar Paranaiba Vilela Neto Docente Permanente 60 100,00

Nº de Docentes: 1 60 100,00
Período: 2º Semestre Carga-Horária: 60 Créditos: 4
Sub-Título: Processamento de Dados Massivos
Docentes Categoria Carga Horária %
Dorgival Olavo Guedes Neto Docente Permanente 60 100,00

Nº de Docentes: 1 60 100,00
Período: 2º Semestre Carga-Horária: 60 Créditos: 4
Sub-Título: Seminários Avançados em Recuperação de Informação e Computação Soc
Docentes Categoria Carga Horária %
Jussara Marques de Almeida Docente Permanente 30 50,00

Marcos André Gonçalves Docente Permanente 30 50,00

Nº de Docentes: 2 60 100,00
Período: 2º Semestre Carga-Horária: 60 Créditos: 4
Sub-Título: Computação Natural
Docentes Categoria Carga Horária %
Gisele Lobo Pappa Docente Permanente 60 100,00

Nº de Docentes: 1 60 100,00

Ementa:
Ementa variável dependendo da enfase ofecida.-
Bibliografia:
Bibliografia variável dependendo da enfase ofecida.

Chronos 32 de 34 31/05/13 às 12:54


Fundação Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
Memória da Pós-Graduação
Sistema de Avaliação
Disciplinas - Oferta no Ano Base
CIÊNCIA DA COMPUTAÇÃO
Relações Nominais
ANO BASE: 2012
PROGRAMA: 32001010004P-6 CIÊNCIAS DA COMPUTAÇÃO - UFMG

DISCIPLINA Sigla-Número Nível Carga Horária Créditos


M D F
Tópicos Especiais em Ciência da Computação DCC-851 Mestrado/Doutorado 30 30 2

Período: 2º Semestre Carga-Horária: 30 Créditos: 2


Sub-Título: Elaboração e Apresentação de Artigos Científicos
Docentes Categoria Carga Horária %
Clodoveu Augusto Davis Junior Docente Permanente 15 50,00

Mirella Moura Moro Docente Permanente 15 50,00

Nº de Docentes: 2 30 100,00

Ementa:
Ementa variável dependendo da ênfase oferecida.
Bibliografia:
Bibliografia variável dependendo da ênfase oferecida.

DISCIPLINA Sigla-Número Nível Carga Horária Créditos


M D F
Verificação Automática DCC-924 Mestrado/Doutorado 60 60 4

Obrigatória nas Áreas de Concentração


CIENCIA DA COMPUTACAO

Período: 1º Semestre Carga-Horária: 60 Créditos: 4


Sub-Título:
Docentes Categoria Carga Horária %
Sergio Vale Aguiar Campos Docente Permanente 60 100,00

Nº de Docentes: 1 60 100,00
Ementa:
Verificação automática; verificação de modelos – model checking.
Bibliografia:
• Model Checking. Edmund Clarke, Orna Grumber, Doron Peled. The MIT Press, 2000.

Chronos 33 de 34 31/05/13 às 12:54


Fundação Coordenação de Aperfeiçoamento de Pessoal de Nível Superior
Memória da Pós-Graduação
Sistema de Avaliação
Disciplinas - Oferta no Ano Base
CIÊNCIA DA COMPUTAÇÃO
Relações Nominais
ANO BASE: 2012
PROGRAMA: 32001010004P-6 CIÊNCIAS DA COMPUTAÇÃO - UFMG

DISCIPLINA Sigla-Número Nível Carga Horária Créditos


M D F
Visão Computacional DCC-884 Mestrado/Doutorado 60 60 4

Período: 1º Semestre Carga-Horária: 60 Créditos: 4


Sub-Título:
Docentes Categoria Carga Horária %
Mario Fernando Montenegro Campos Docente Permanente 60 100,00

Nº de Docentes: 1 60 100,00

Ementa:
Formação de imagem. Imagens binárias e suas propriedades geométricas, topológicas e morfológicas. Regiões e
segmentação. Bordas e sua detecção. Brilho e cor. Movimento e fluxo óptico. Classificação de padrões. Shape from X.
Representação 2D e 3D. Estruturas relacionais; Inferência. Visão ativa.
Bibliografia:
Referências Bibliográficas

Introductory Techniques for 3D Computer Vision


Trucco e Verri, Prentice-Hall, 1998
Robot Vision
B.K.P. Horn, MIT Press, 1986
Computer Vision
Ballard and Brown, Prentice Hall, 1982
Digital Image Processing
Castleman, Prentice Hall, 1979
Digital Image Processing
Gonzalez and Wintz, Addison Wesley, 1987
Three-Dimensional Computer Vision
O. Faugeras, MIT Press, Cambridge, MA, 1993
Na Internet

Computer Vision Home Page -http://www.cs.cmu.edu/~cil/vision

Pilot European Image Processing Archive -http://peipa.essex.uk (links com imagens para testes, demos, etc.)

Annotated Computer Vision Bibliography - http://iris.usc.edu/Vision-Notes/bibliography/contents.html (exelente fonte de


artigos e relatórios técnicos)

CVoline - http://www.dai.ed.ac.uk/daidb/staff/personal_pages/rbf/CVonline/CVentry.htm (Uma coleção de hipertextos sobre


métodos e aplicações da visão computacional)

The Vision List e The Pixel - Boletins eletrônicos e news. Também grandes hospedeiros de debates técnicos. Para inscrição
deve-se enviar um e-mail para A pixel@essex.ac.uk e para Vision-List-Request@telos.com

Chronos 34 de 34 31/05/13 às 12:54