PPG INFORMÁTICA

Disciplinas

Mestrado e Doutorado

Disponibilizado via SIGA UFPR

Sítios de Interesse

Sítios da UFPR

Pró-Reitorias

Setores da UFPR

Universidade Federal do Paraná
PPG INFORMÁTICA
Rua Evaristo F. Ferreira da Costa, 383-391
Jardim das Américas, Curitiba - PR, 82590-300
Logo da UFPR

Universidade Federal do Paraná
PPG INFORMÁTICA
Rua Cel. Francisco H. dos Santos, 100 - Centro Politécnico da UFPR
Jardim das Américas - CURITIBA
Telefone:(41) 3361-3101
E-mail: ppginf@inf.ufpr.br
Imagem logomarca da UFPR

©2023 - Universidade Federal do Paraná - PPG INFORMÁTICA
Desenvolvido em Software Livre e hospedado pela Pró-Reitoria de Pesquisa e Pós-Graduação

DISCIPLINA	NÍVEL
INFO7000 – INTERAÇÃO HUMANO COMPUTADOR	Mestrado e Doutorado	DISCIPLINA: INFO7000 – INTERAÇÃO HUMANO COMPUTADOR NÍVEL: Mestrado e Doutorado CRÉDITOS: 4 EMENTA: A disciplina se propõe a construir os conhecimentos necessários ao design e à avaliação não intuitivos de interfaces e interação usuário-sistema. O Programa cobrirá os principais conceitos da área, além de aplicações emergentes. BIBLIOGRAFIA: Understanding Computers and Cognition: A New foundation for Design (Tery Winograd e Fernando Flores, 2004) User Centered System Design: New perspectives on Human Computer Interaction (Donald Norman e Stephn Draper, 1986) The Semiotic Engineering of human Computer Interaction (Clarisse S. de Souza, 2004) The Human-Computer Interaction Handbook: Fndamentals, Evolving Technologies and Emrging Applications (Editd by Julie A. Jacko, 2012) Cross-Cultural Design for IT Products and Services (Pei-Luen Patrick Rau, Tom Plocher Yee-Yin Choong, 2013)
INFO7001 – ALGORITMOS E ESTRUTURAS DE DADOS	Mestrado e Doutorado	DISCIPLINA: INFO7001 – ALGORITMOS E ESTRUTURAS DE DADOS NÍVEL: Mestrado e Doutorado CRÉDITOS: 4 EMENTA: Tipos Abstratos de Dados. Busca. Ordenação. Análise de complexidade de algoritmos. Algoritmos Probabilísticos. BIBLIOGRAFIA: [1] Thomas H. Cormen, Charles E. Leiserson, Ronald Rivest, Clifford Stein, et al., Introduction to Algorithms, 2nd Edition, MIT Press, 2001. [2] Robert Sedgewick, Algorithms in C. Addison-Wesley, 1997. [3] Nivio Ziviani, Projeto de Algoritmos com implementações em Pascal e C, 2a Edição Revista e Ampliada, Editora Thomson, 2004.
INFO7002 – ALGORITMOS E TEORIA GRAFOS	Mestrado e Doutorado	DISCIPLINA: INFO7002 – ALGORITMOS E TEORIA GRAFOS NÍVEL: Mestrado e Doutorado CRÉDITOS: 4 EMENTA: Noções Básicas de Teoria dos Grafos: Definições, Exemplos, Aplicações; Representação e Implementação; Caminhos e Percursos; Conectividade; Árvores; Emparelhamento; Problemas de otimização em Grafos: Caminho mínimo, Árvore geradora mínima, Emparelhamento mínimo; Coloração. Objetivos: Dar aos alunos noções de teoria dos grafos e apresentar o seu uso na resolução de problemas. BIBLIOGRAFIA: Graph Theory (J.A. Bondy e U.S.R Murty, 2008) A edição de 1976 deste livro está disponível para download em pdf Modern Graph Theory (Béla Bollobás, 1998) Algorithm Design, (Jon Kleinberg e Éva Tardos, 2005) capítulos 3 e 7 e seções 4.4, 4.5, 4.6 e 4.9 Introduction to Algorithms (Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, e Clifford Stein, 2009) capítulos 22 a 26 A tradução para o português da segunda edição com o título Algoritmos: teoria e prática está disponível na biblioteca. Uma Introducao Sucinta a Teoria dos Grafos (Paulo Feofiloff, Yoshiharu Kohayakawa, Yoshiko Wakabayashi)
INFO7003 – ANÁLISE DE ALGORITMOS	Mestrado e Doutorado	DISCIPLINA: INFO7003 – ANÁLISE DE ALGORITMOS NÍVEL: Mestrado e Doutorado CRÉDITOS: 4 EMENTA: Análise de complexidade de algoritmos. BIBLIOGRAFIA: Artigos da área, além de: [1] Thomas H. Cormen, Charles E. Leiserson, Ronald Rivest, Clifford Stein, et al., Introduction to Algorithms, 2nd Edition, MIT Press, 2001. [2] Robert Sedgewick, Algorithms in C. Addison-Wesley, 1997. [3] Nivio Ziviani, Projeto de Algoritmos com implementações em Pascal e C, 2a Edição Revista e Ampliada, Editora Thomson, 2004.
INFO7004 – APRENDIZADO DE MÁQUINA	Mestrado e Doutorado	DISCIPLINA: INFO7004 – APRENDIZADO DE MÁQUINA NÍVEL: Mestrado e Doutorado CRÉDITOS: 4 EMENTA: Introdução a Aprendizagem de Máquina Características – O que são, para que servem? Aprendizagem de Conceito Árvores de Decisão Introdução ao WEKA Aprendizagem Bayesian Algoritmos de String Matching Aprendizagem Baseada em Instâncias Classificadores Lineares Aprendizagem Não Supervisionada Redes Neurais – MLP Combinação de classificadores Ensembles, Bagging Boosting, Selecção de Características Algoritmos Genéticos, PSO BIBLIOGRAFIA: T. Mitchell, Machine Learning, , McGraw Hill, 1997. C. M. Bishop, Pattern Recognition and Machine Learning, Springer, 2006. D. Michie, D.J. Spiegelhalter, C. C Taylor, Machine Learning, Neural and Statistical Classification,. Ellis Horwood, 1994. Machine Learning, Lecture Notes, DAI, University of Edinburgh (Notas de Aula) Artigos selecionados
INFO7005 – ARQUITETURA DE COMPUTADORES	Mestrado e Doutorado	DISCIPLINA: INFO7005 – ARQUITETURA DE COMPUTADORES NÍVEL: Mestrado e Doutorado CRÉDITOS: 4 EMENTA: Arquiteturas RISC/CISC. Projeto de sistemas de memória, hierarquias, interconexão. Aritmética de ponto fixo e flutuante. Processadores vetoriais, superescalares, segmentação. Multiprocessadores. BIBLIOGRAFIA: [1] Computer Archiotecture: A Quantitative Aproach, D A Patersson e J L Hannessy, Morgan Krauffman Publishers, 2003. [2] Computer Organizacion e Design: The hardware/software Interface, D A Patersson e J L Hannessy, Morgan Krauffman Publishers, 2004.
INFO7006 – BANCO DE DADOS	Mestrado e Doutorado	DISCIPLINA: INFO7006 – BANCO DE DADOS NÍVEL: Mestrado e Doutorado CRÉDITOS: 4 EMENTA: Conceitos de Bancos de Dados. Modelo Relacional. Projeto de Banco de Dados. Conceito de Transações. Controle de Concorrência e Recuperação. Modelo de Dados Semi-Estruturado e XML. BIBLIOGRAFIA: [1] Sistema de Banco de Dados, Abraham Silberschatz, Henry F. Korth, S. Sudarshan Terceira Edicao, Makron Books, 1999 [2] Sistemas de Banco de Dados – Fundamentos e Aplicacoes Ramez Elmasri, Shamkant B. Navathe, Editora LTC, Terceira Edicao, 2002 [3] Principles of Database and Knowledge-Base Systems, Volume 1, Jeffrey Ullman Second Edition, Computer Science Press, 1988 [4] Database Management Systems, Raghu Ramakrishnan, Johannes Gehrke McGraw-Hill, 2002 [5] Foundations of Databases, Serge Abiteboul, Richard Hull, Victor Vianu Addison-Wesly, 1995
INFO7007 – COMPLEXIDADE COMPUTACIONAL	Mestrado e Doutorado	DISCIPLINA: INFO7007 – COMPLEXIDADE COMPUTACIONAL NÍVEL: Mestrado e Doutorado CRÉDITOS: 4 EMENTA: Curso introdutório de Complexidade Computacional, com especial ênfase no estudo das classes P e NP de problemas computacionais. BIBLIOGRAFIA: – Computers and Intractability; A Guide to the Theory of NP-Completeness Michael R. Garey, David S. Johnson. – Computability and Complexity from a Programming Perspective Neil D. Jones. – Computational Complexity: A Modern Approach Sanjeev Arora, Boaz Barak. – Computational Complexity: A Conceptual Perspective Oded Goldreich.
INFO7008 – COMPUTAÇÃO BIOINSPIRADA	Mestrado e Doutorado	DISCIPLINA: INFO7008 – COMPUTAÇÃO BIOINSPIRADA NÍVEL: Mestrado e Doutorado CRÉDITOS: 4 EMENTA: Este curso foca nos métodos computacionais recentemente desenvolvidos inspirados na natureza, tais como redes neurais, algoritmos genéticos e outros sistemas de computação evolutiva, formiga enxame de otimização, sistemas imunológicos artificiais, inteligência coletiva, autômatos celulares, e sistemas multi-agente. Favorecendo a compreensão intuitiva de adaptação e auto-organização de sistemas computacionais. BIBLIOGRAFIA: Computational intelligence : an introduction / Andries P. Engelbrecht. – 2nd ed
INFO7009 – COMPUTAÇÃO GRÁFICA	Mestrado e Doutorado	DISCIPLINA: INFO7009 – COMPUTAÇÃO GRÁFICA NÍVEL: Mestrado e Doutorado CRÉDITOS: 4 EMENTA: Equipamentos gráficos. Transformações de coordenadas. Recorte. Algoritmos de linhas e superfícies escondidas. Rasterização de imagens. Preenchimento de polígonos. Tonalização de imagens. Realismo em imagens. BIBLIOGRAFIA: [1] Foley, van Dam, Feiner, e Hughes. Computer Graphics, Principles and Practice..Addison-Wesley, 1995. [2] D.F.Rogers e J.A.Adams. Mathematical Elements for Computer Graphics. McGraw-Hill, 1990.
INFO7010 – CRIPTOGRAFIA	Mestrado e Doutorado	DISCIPLINA: INFO7010 – CRIPTOGRAFIA NÍVEL: Mestrado e Doutorado CRÉDITOS: 4 EMENTA: Cifras Simétricas. Cifras Assimétricas. Gerenciamento de Chaves. HASH / MAC. Assinaturas Digitais. BIBLIOGRAFIA: – William Stallings – Criptografia e Segurança de Redes – Princípios e Práticas – Pearson 2012 – Niels Ferguson e Bruce Schneier – Practical Cryptography – Wiley – 2003 – Bruce Schneier – Applied Cryptography – Wiley – 1996
INFO7011 – DESEMPENHO DE SGBD	Mestrado e Doutorado	DISCIPLINA: INFO7011 – DESEMPENHO DE SGBD NÍVEL: Mestrado e Doutorado CRÉDITOS: 4 EMENTA: Ementa: Estudar técnicas de otimização de Sistemas Gerenciadores de Banco de Dados distribuídos. Discutir o uso de recursos (ex., cpu, memória, disco), os diferentes métodos de acesso, a influência das diferentes cargas de trabalho (ex., leitura, escrita), as novas tecnologias (ex., P2P, C-store, MapReduce), dentre outros. Revisão dos Sistemas Relacionais Caracterização de Banco de Dados Distribuídos Arquiteturas de SGBDs Distribuídos e Heterogêneos Armazenamento (Fragmentação e Replicação) Transações Controle de Concorrência Gerenciamento de dados distribuídos Laboratorio de FreePastry – (java) BIBLIOGRAFIA: Livros M. Tamer Ozsu, Patrick Valduriez: Principles of Distributed Database Systems, Second Edition Prentice-Hall 1999 Hector Garcia-Molina, Jeffrey D. Ullman, Jennifer Widom: Database systems – the complete book (2. ed.). Pearson Education 2009 Sistemas de Banco de Dados – Fundamentos e Aplicacoes, Ramez Elmasri, Shamkant B. Navathe, Editora Pearson, Quarta Edicao, 2005 Sistemas de Gerenciamento de Banco de Dados, Raghu Ramakrishnan, Johannes Gehrke, Ed. McGraw-Hill, 2007 Sistema de Banco de Dados, Abraham Silberschatz, Henry F. Korth, S. Sudarshan, Quinta Edicao, Editora Campus, 2006 Artigos científicos citados em sala de aula. Artigos JuxMem: An Adaptive Supportive Platform for Data Sharing on the Grid. Scalable Computing 2006 Mariposa: A Wide-Area Distributed Database System. VLDB J. 1996 PeerDB: A P2P-based System for Distributed Data Sharing. ICDE 2003 Querying the Internet with PIER. VLDB 2003 The Piazza peer data management system. TKDE 2004 Routing Indices for Peer-to-peer. Stanford Report 2001 Hadoop++: Making a Yellow Elephant Run Like a Cheetah (Without It Even Noticing). VLDB 2010 SQLB: A Query Allocation Framework for Autonomous Consumers and Providers. VLDB 2007 Schism: a Workload-Driven Approach to Database Replication and Partitioning. VLDB 2010 Storage Management and Caching in PAST, A Large-scale, Persistent Peer-to-peer Storage Utility. SOSP 2001 Improving search in peer-to-peer networks. ICDCS 2002 Column-stores vs. row-stores: how different are they really? SIGMOD 2008 Efficient Queries in Peer-to-Peer Systems. IEEE Data Eng. Bull. 2005 The Case for Determinism in Database Systems. VLDB 2010 Efficient bulk insertion into a distributed ordered table. SIGMOD 2008 Middleware-based database replication: the gaps between theory and practice. SIGMOD 2008 Schema mediation in peer data management system. ICDE 2003 Data-Oriented Transaction Execution. VLDB 2010 Improving OLTP Scalability using Speculative Lock Inheritance. VLDB 2009 MRShare: Sharing Across Multiple Queries in MapReduce. VLDB 2010 Cheetah: A High Performance, Custom Data Warehouse on Top of MapReduce. VLDB 2010 Implementing Declarative Overlays. SOSP 2005 Consistency Analysis in Bloom: a CALM and Collected Approach. CIDR 2011 BOOM Analytics: Exploring Data-Centric, Declarative Programming for the Cloud. EuroSys 2010 Performance Tradeoffs in Read-Optimized Databases. VLDB 2006 MonetDB/X100: Hyper-Pipelining Query Execution. CIDR 2005 ES2: A cloud data storage system for supporting both OLTP and OLAP. ICDE 2011 Low overhead concurrency control for partitioned main memory databases. SIGMOD 2010 An evaluation of alternative architectures for transaction processing in the cloud. SIGMOD 2010 Pig latin: a not-so-foreign language for data processing
INFO7012 – DESEMPENHO DE SISTEMAS COMPUTACIONAIS	Mestrado e Doutorado	DISCIPLINA: INFO7012 – DESEMPENHO DE SISTEMAS COMPUTACIONAIS NÍVEL: Mestrado e Doutorado CRÉDITOS: 4 EMENTA: Conceitos e técnicas de avaliação de desempenho de sistemas computacionais. Modelos de desempenho determinísticos e probabilísticos. Desempenho na Internet e Web. Experimentação e Benchmarking. Planejamento de capacidade. BIBLIOGRAFIA: [1] Quantitative Systems Performance: Computer Systems Analysis using Queueing Network Models disponível online Edward D. Lazowska et al, Prentice Hall, 1984. [2] The Art of Computer System Performance Analysis Raj Jain, John Wiley & Sons, 1991. [3] Performance by Design: Computer Capacity Planning by Example Daniel A. Menascé, Virgilio A. F. Almeida, Larry W. Dowdy, Prentice Hall, 2004. [4] Internet Measurement: Infrastructure, Traffic and Applications Mark Crovella and Balachander Khrishnamurthy, John Wiley & Sons, 2006. [5] Planejamento de Capacidade para Serviços na WEB Daniel A. Menascé, Virgilio Almeida, Editora Campus, 2003. [6] Sistemas de Comércio Eletrônico: projeto e desenvolvimento W. Meira Jr., Cristina D. Murta, S. Campos, D. Guedes, Editora Campus, 2002.
INFO7013 – ENGENHARIA DE SOFTWARE	Mestrado e Doutorado	DISCIPLINA: INFO7013 – ENGENHARIA DE SOFTWARE NÍVEL: Mestrado e Doutorado CRÉDITOS: 4 EMENTA: Introdução a ES. Qualidade de Software. Métricas de Software. Planejamento do Projeto. Análise e Projeto com UML. Testes. Manutenção. Gerenciamento da Configuração. Engenharia Reversa e Reengenharia. Reuso de Software. Denvolvimento Web. ES e Software Livre. BIBLIOGRAFIA: [1] Pressman, R.B. Software Engineering: A Practitioner's Approach McGraw-Hill, Third Edition, 1992, New-York, EUA [2] Sommerville, I., Software Engineering. Addison-Wesley, 1996 [3] Ghezzi, C. and Jazayeri, M. and Madrioli, D. Fudamentals of Software Engineering Prentice-Hall, New Jersey, EUA, 1991 [4] Larman, C. Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design Prentice-Hall, New Jersey – USA, 1997
INFO7014 – FUNDAMENTOS LÓGICOS DA INTELIGÊNCIA ARTIFICIAL	Mestrado e Doutorado	DISCIPLINA: INFO7014 – FUNDAMENTOS LÓGICOS DA INTELIGÊNCIA ARTIFICIAL NÍVEL: Mestrado e Doutorado CRÉDITOS: 4 EMENTA: Lógica Proposicional e de Primeira ordem. Provadores automáticos de teoremas. Resolução e Tableaux semânticos. A máquina de inferência do PROLOG. Implementação de máquinas de inferência baseadas em resolução e de sistemas de tableaux para lógicas proposicional e de primeira ordem. Satisfatibilidade. O método Davis/Putnam. Métodos recentes. Implementações de algoritmos para SAT. Planejamento em IA. PDDL. Graphplan e SATplan. Métodos recentes. Raciocínio sobre ações. Cálculo de situações. Lógica Modal de ações. BIBLIOGRAFIA: – Mendelson, Elliott. Introduction to mathematical logic. 4nd edition. Chapman & Hall. 1997. – Enderton, Herbert B. A mathematical introduction to logic. 2nd. edition. Academic Press. 2001. – Fitting, Melvin. First-Order Logic and Automated Theorem Proving. Second edition. Springer. 1996. – Russel, Stuart and Norvig, Peter. Artificial Intelligence – A modern approach. 3rd edition. Prentice Hall Series in Artificial Intelligence. 2010. – Ginsberg, Matt. Essentials of Artificial Intelligence. Morgan Kaufmann. 1993. – Genesereth, Michael R. and Nilsson, Nils J. Logical Foundations of Artificial Intelligence. Morgan Kaufmann. 1987. – Um curso de lógica (em francês) – Artigos selecionados da literatura da área.
INFO7015 – GERÊNCIA DE REDES	Mestrado e Doutorado	DISCIPLINA: INFO7015 – GERÊNCIA DE REDES NÍVEL: Mestrado e Doutorado CRÉDITOS: 4 EMENTA: Esta disciplina apresenta aos alunos os principais conceitos no gerenciamento de redes, o funcionamento dos protocolos e serviços de gerência e também aspectos sobre segurança. São destacadas as necessidades de gerência encontradas tanto nas redes tradicionais, como a Internet, até as redes avançadas. Uma visão das soluções utilizadas para tornar tais redes mais seguras também será discutida. BIBLIOGRAFIA: Automated Network Management Systems, Douglas E Comer , Prentice Hall, 2006.
INFO7016 – GERENCIAMENTO DE DADOS DISTRIBUÍDOS	Mestrado e Doutorado	DISCIPLINA: INFO7016 – GERENCIAMENTO DE DADOS DISTRIBUÍDOS NÍVEL: Mestrado e Doutorado CRÉDITOS: 4 EMENTA: Estudar técnicas de otimização de Sistemas Gerenciadores de Banco de Dados distribuídos. Discutir o uso de recursos (ex., cpu, memória, disco), os diferentes métodos de acesso, a influência das diferentes cargas de trabalho (ex., leitura, escrita), as novas tecnologias (ex., Peer-to-peer, Column store, MapReduce), dentre outros. BIBLIOGRAFIA: – Sistemas de Gerenciamento de Banco de Dados, Raghu Ramakrishnan, Johannes Gehrke, Ed. McGraw-Hill, 2007 – Sistema de Banco de Dados, Abraham Silberschatz, Henry F. Korth, S. Sudarshan, Quinta Edicao, Editora Campus, 2006 – Sistemas de Banco de Dados – Fundamentos e Aplicacoes, Ramez Elmasri, Shamkant B. Navathe, Editora Pearson, Quarta Edicao, 2005 – Principles of Distributed Database Systems, M. Tamer Ozsu, Patrick Valduriez, Second Edition Prentice-Hall 1999
INFO7017 – INTELIGÊNCIA ARTIFICIAL	Mestrado e Doutorado	DISCIPLINA: INFO7017 – INTELIGÊNCIA ARTIFICIAL NÍVEL: Mestrado e Doutorado CRÉDITOS: 4 EMENTA: Redução de Problemas. Busca Heuristica. Representação do conhecimento. Regras, objetos e lógica. Gerenciamento de Planos de ação. Casamentos padrões. Linguagens de Programação para Inteligência artificial. Sistemas Especialistas. Aplicações. BIBLIOGRAFIA: [1] Stuart Russell, Peter Norvig, Artificial Intelligence: A Modern Approach, Prentice Hall, 2nd edition, 2002. [2] Eliane Rich, Artificial Intelligence, Mc Graw Hill, 1983. [3] Patrick H. Winston, Artificial Intelligence, Second Edition, Addison esley, 1984.
INFO7018 – LÓGICA	Mestrado e Doutorado	DISCIPLINA: INFO7018 – LÓGICA NÍVEL: Mestrado e Doutorado CRÉDITOS: 4 EMENTA: Noções sobre lógica em geral. Lógica clássica de primeira ordem. Consistência e completude. Noções semânticas. Noções sobre lógicas não-clássicas. BIBLIOGRAFIA: [1] Mendelson, E. 'Introduction to mathematical logic', Wadsworth & Brooks, 4th. ed., 1997. [2] Costa, N. C. A., 'Logique classique et non classique', Paris, Masson, 1997.
INFO7019 – METODOLOGIA DA PESQUISA CIENTÍFICA DE POLÍTICAS DE CIÊNCIA E	Mestrado e Doutorado	DISCIPLINA: INFO7019 – METODOLOGIA DA PESQUISA CIENTÍFICA DE POLÍTICAS DE CIÊNCIA E NÍVEL: Mestrado e Doutorado CRÉDITOS: 4 EMENTA: Histórico sobre o desenvolvimento científico e os métodos da pesquisa científica. Políticas científicas e tecnológicas, partindo de um enfoque global e focalizando a realidade brasileira. Estruturas de desenvolvimento científico no brasil, assim como seus mecanismos de financiamento. Procedimentos aperfeicoados de elaboração de textos científicos. BIBLIOGRAFIA: Variada.
INFO7020 – MÉTODOS FORMAIS	Mestrado e Doutorado	DISCIPLINA: INFO7020 – MÉTODOS FORMAIS NÍVEL: Mestrado e Doutorado CRÉDITOS: 4 EMENTA: Funções. Relações sobre conjuntos: relações de equivalência e de ordem. Indução matemática. Recurso. Sistemas algébricos. Teoria dos domínios: ordens parciais completa, continuidade, ponto fixo, domínios, espaço das funções. Semântica de Linguagens de Programação. Classes de métodos formais. Introdução e aplicação de métodos formais: VDM, CSP, CCS, LOTOS, Z, OBJ. Redes de Petri. Verificação de programas. BIBLIOGRAFIA: [1] David A. Schmidt, Denotational Semantics: A Methodology for Language Development. Allyn and Bacon, 1985. [2] Glynn Winskel, The Formal Semantics of Programming Languages: An [3] Introduction. Foundations of Computing Series, MIT Press, 1993. [4] David A. Watt, Programming Language Syntax and Semantics. Prentice Hall, Prentice Hall International Series in Computer Science, 1991.
INFO7021 – OFICINA DE ALGORITMOS	Mestrado e Doutorado	DISCIPLINA: INFO7021 – OFICINA DE ALGORITMOS NÍVEL: Mestrado e Doutorado CRÉDITOS: 4 EMENTA: Atividaes dirigidas em teoria dos grafos BIBLIOGRAFIA: variada
INFO7022 – OFICINA DE ARQUITETURAS PARALELAS	Mestrado e Doutorado	DISCIPLINA: INFO7022 – OFICINA DE ARQUITETURAS PARALELAS NÍVEL: Mestrado e Doutorado CRÉDITOS: 4 EMENTA: Curso prático de conteúdo variável, destinado a desenvolver e aprimorar técnicas de programação e desenvolvimento de sistemas, no contexto de problemas de Arquitetura de Computadores. BIBLIOGRAFIA: Artigos recentes da área, além de: [1] Computer Archiotecture: A Quantitative Aproach, D A Patersson e J L Hannessy, Morgan Krauffman Publishers, 2003. [2] Computer Organizacion e Design: The hardware/software Interface, D A Patersson e J L Hannessy, Morgan Krauffman Publishers, 2004.
INFO7023 – OFICINA DE BANCO DE DADOS	Mestrado e Doutorado	DISCIPLINA: INFO7023 – OFICINA DE BANCO DE DADOS NÍVEL: Mestrado e Doutorado CRÉDITOS: 4 EMENTA: Curso prático de conteúdo variável, destinado a desenvolver e aprimorar técnicas de programação e desenvolvimento de sistemas, no contexto de problemas de Bancos de Dados. BIBLIOGRAFIA: Variável, incluindo artigos técnicos recentes da área e: [1] Sistema de Banco de Dados, Abraham Silberschatz, Henry F. Korth, S. Sudarshan Terceira Edicao, Makron Books, 1999 [2] Sistemas de Banco de Dados – Fundamentos e Aplicacoes Ramez Elmasri, Shamkant B. Navathe, Editora LTC, Terceira Edicao, 2002 [3] Principles of Database and Knowledge-Base Systems, Volume 1, Jeffrey Ullman Second Edition, Computer Science Press, 1988 [4] Database Management Systems, Raghu Ramakrishnan, Johannes Gehrke McGraw-Hill, 2002 [5] Foundations of Databases, Serge Abiteboul, Richard Hull, Victor Vianu Addison-Wesly, 1995
INFO7024 – OFICINA DE COMPUTAÇÃO GRÁFICA	Mestrado e Doutorado	DISCIPLINA: INFO7024 – OFICINA DE COMPUTAÇÃO GRÁFICA NÍVEL: Mestrado e Doutorado CRÉDITOS: 4 EMENTA: Curso prático de conteúdo variável, destinado a desenvolver e aprimorar técnicas de programação e desenvolvimento de sistemas, no contexto de problemas de Computação Gráfica. BIBLIOGRAFIA: Artigos recentes da área, além de: [1] Foley, van Dam, Feiner, e Hughes. Computer Graphics, Principles and Practice..Addison-Wesley, 1995. [2] D.F.Rogers e J.A.Adams. Mathematical Elements for Computer Graphics. McGraw-Hill, 1990.
INFO7025 – OFICINA DE ENGENHARIA DE SOFTWARE	Mestrado e Doutorado	DISCIPLINA: INFO7025 – OFICINA DE ENGENHARIA DE SOFTWARE NÍVEL: Mestrado e Doutorado CRÉDITOS: 4 EMENTA: Curso prático de conteúdo variável, destinado a desenvolver e aprimorar técnicas de programação e desenvolvimento de sistemas, no contexto de problemas de Engenharia de Software. BIBLIOGRAFIA: Variável, incluindo artigos técnicos recentes da área e: [1] Pressman, R.B. Software Engineering: A Practitioner's Approach McGraw-Hill, Third Edition, 1992, New-York, EUA [2] Sommerville, I., Software Engineering. Addison-Wesley, 1996 [3] Ghezzi, C. and Jazayeri, M. and Madrioli, D. Fudamentals of Software Engineering Prentice-Hall, New Jersey, EUA, 1991 [4] Larman, C. Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design Prentice-Hall, New Jersey – USA, 1997
INFO7026 – OFICINA DE INTELIGÊNCIA ARTIFICIAL	Mestrado e Doutorado	DISCIPLINA: INFO7026 – OFICINA DE INTELIGÊNCIA ARTIFICIAL NÍVEL: Mestrado e Doutorado CRÉDITOS: 4 EMENTA: Curso prático de conteúdo variável, destinado a desenvolver e aprimorar técnicas de programação. Envolve o projeto e implementação de um protótipo de sistema especialista ou exercício equivalente. BIBLIOGRAFIA: Artigos recentes da área, além de: [1] Stuart Russell, Peter Norvig, Artificial Intelligence: A Modern Approach, Prentice Hall, 2nd edition, 2002. [2] William S. Clocksin and C.S. Mellish, Programming in Prolog, Springer-Verlag, 1981.
INFO7027 – OFICINA DE MÉTODOS FORMAIS	Mestrado e Doutorado	DISCIPLINA: INFO7027 – OFICINA DE MÉTODOS FORMAIS NÍVEL: Mestrado e Doutorado CRÉDITOS: 4 EMENTA: Curso prático de conteúdo variável, destinado a desenvolver e aprimorar técnicas de métodos formais. BIBLIOGRAFIA: Artigos recentes da área, além de: [1] David A. Schmidt, Denotational Semantics: A Methodology for Language Development. Allyn and Bacon, 1985. [2] Glynn Winskel, The Formal Semantics of Programming Languages: An Introduction. Foundations of Computing Series, MIT Press, 1993. [3] David A. Watt, Programming Language Syntax and Semantics. Prentice Hall, Prentice Hall International Series in Computer Science, 1991.
INFO7028 – OFICINA DE PROCESSAMENTO DE IMAGENS	Mestrado e Doutorado	DISCIPLINA: INFO7028 – OFICINA DE PROCESSAMENTO DE IMAGENS NÍVEL: Mestrado e Doutorado CRÉDITOS: 4 EMENTA: Curso prático de conteúdo variável, destinado a desenvolver e aprimorar técnicas de programação e desenvolvimento de sistemas, no contexto de problemas de Processamento de Imagens. BIBLIOGRAFIA: Artigos recentes da área, além de: [1] Digital Image Processing. R.C.Gonzalez e R.E.Woods. Addison-Wesley, 1992. [2] Machine Vision. R.Jain, R.Kasturi e B.G. Schunck. Mc Graw Hill, 1995. [3] Computer Vison. D.H.Ballard e C.M.Brown. Prentice-Hall, 1982
INFO7029 – OFICINA DE REDES DE COMPUTADORES	Mestrado e Doutorado	DISCIPLINA: INFO7029 – OFICINA DE REDES DE COMPUTADORES NÍVEL: Mestrado e Doutorado CRÉDITOS: 4 EMENTA: Curso prático de conteúdo variável, destinado a desenvolver e aprimorar técnicas de programação e desenvolvimento de sistemas, no contexto de problemas de Redes de Computadores. BIBLIOGRAFIA: Artigos recentes da área, além de: [1] Computer Networks: A Systems Approach, Larry L. Peterson, and Bruce S. Davie, 3rd edition, Morgan-Kaufman, 2003. [2] Internetworking with TCP/IP Vol. 1, 5th Edition, Douglas E. Comer, Prentice-Hall, 2005. [3] Computer Networks, Andrew Tanenbaum, 4th Edition, Prentice-Hall, 2002. [4] Computer Networking: A Top-Down Approach Featuring the Internet, James F. Kurose, Keith W. Ross, 2004.
INFO7030 – OFICINA DE SISTEMAS DISTRIBUÍDOS	Mestrado e Doutorado	DISCIPLINA: INFO7030 – OFICINA DE SISTEMAS DISTRIBUÍDOS NÍVEL: Mestrado e Doutorado CRÉDITOS: 4 EMENTA: Curso prático de conteúdo variável, destinado a desenvolver e aprimorar técnicas de programação e desenvolvimento de sistemas, no contexto de problemas de Sistemas Distribuídos. BIBLIOGRAFIA: Artigos recentes da área, além de: [1] Distributed Algorithms, Nancy A. Lynch, Morgan-Kaufman, 1997. [2] Distributed Systems: Concepts and Design, 2nd ed., George Coulouris, Jean Dollimore, Tim Kindberg, Addison-Wesley, 1994. [3] Introduction to Reliable Distributed Programming, Rachid Guerraoui, Luis Rodrigues, Spriger, 2006. [4] Distributed Systems 2nd Ed., Sape Mullender (Ed.), 1993.
INFO7031 – OFICINA DE SISTEMAS TUTORIAIS INTELIGENTES	Mestrado e Doutorado	DISCIPLINA: INFO7031 – OFICINA DE SISTEMAS TUTORIAIS INTELIGENTES NÍVEL: Mestrado e Doutorado CRÉDITOS: 4 EMENTA: Curso prático de conteúdo variável, destinado a desenvolver e aprimorar técnicas de programação e desenvolvimento de sistemas, no contexto de problemas de Inteligência Artificial Aplicada à Educação. BIBLIOGRAFIA: [1] E. Wenger et al.. Artificial Intelligence and Tutoring Systems. Morgan Kaufmann Publishers, Inc. 1987. [2] Sleeman, Brown. Intelligent Tutoring Systems. Academic Press, 1982
INFO7032 – PRÁTICA EM DOCÊNCIA DE INFORMÁTICA I	Mestrado e Doutorado	DISCIPLINA: INFO7032 – PRÁTICA EM DOCÊNCIA DE INFORMÁTICA I NÍVEL: Mestrado e Doutorado CRÉDITOS: 1 EMENTA: Acompanhamento do orientador em parte da rotina didática das disciplinas de Graduação. BIBLIOGRAFIA: Livre.
INFO7033 – PRÁTICA EM DOCÊNCIA DE INFORMÁTICA II	Mestrado e Doutorado	DISCIPLINA: INFO7033 – PRÁTICA EM DOCÊNCIA DE INFORMÁTICA II NÍVEL: Mestrado e Doutorado CRÉDITOS: 2 EMENTA: Acompanhamento do orientador em parte da rotina didática das disciplinas de Graduação. BIBLIOGRAFIA: Livre.
INFO7034 – PROCESSAMENTO DE IMAGENS	Mestrado e Doutorado	DISCIPLINA: INFO7034 – PROCESSAMENTO DE IMAGENS NÍVEL: Mestrado e Doutorado CRÉDITOS: 4 EMENTA: Imagens digitais. Dispositivos digitalizadores. Transformadas de imagens. Transformações geométricas básicas. Calibração de câmeras. Estéreo-visão. Matching. Segmentação de imagens. Descritores. Reconhecimento de padrões. Reconstrução de objetos. BIBLIOGRAFIA: [1] Digital Image Processing. R.C.Gonzalez e R.E.Woods. Addison-Wesley, 1992. [2] Machine Vision. R.Jain, R.Kasturi e B.G. Schunck. Mc Graw Hill, 1995. [3] Computer Vison. D.H.Ballard e C.M.Brown. Prentice-Hall, 1982
INFO7035 – PROJETO DE ALGORITMOS	Mestrado e Doutorado	DISCIPLINA: INFO7035 – PROJETO DE ALGORITMOS NÍVEL: Mestrado e Doutorado CRÉDITOS: 4 EMENTA: Árvores. Árvores de pesquisa. Introdução a grafos. Algoritmos geométricos. Processamento de cadeias de caracteres. Problemas NP-completos. Algoritmos paralelos. BIBLIOGRAFIA: – Introduction to Algorithms. T. Cormem, C. Leiserson, R. Rivest, MIT Press. David Harel. Algorithmics: The spirit of computing. Second Edition. Addison-Wesley, 1993. – Ellis Horowitz, Sartaj Sahni. Fundamentals of Computer Algorithms. Computer Science Press, 1978. Problem on Algorithms, Ian Parberry, Prentice Hall, 1995. – Projeto de Algoritmos, Nívio Ziviani, Pioneira, 1994. Data Structures and Algorithms, Aho et al., Addison-Wesley, 1983.
INFO7036 – PROPOSTA DE DISSERTAÇÃO DE MESTRADO	Mestrado e Doutorado	DISCIPLINA: INFO7036 – PROPOSTA DE DISSERTAÇÃO DE MESTRADO NÍVEL: Mestrado e Doutorado CRÉDITOS: 4 EMENTA: Ementa livre para que sejam ministradas aulas e promivuidas discussões relacionadas a dissertação. BIBLIOGRAFIA: De acordo com o tema da dissertação.
INFO7037 – RECONHECIMENTO DE PADRÕES	Mestrado e Doutorado	DISCIPLINA: INFO7037 – RECONHECIMENTO DE PADRÕES NÍVEL: Mestrado e Doutorado CRÉDITOS: 4 EMENTA: Introdução a Reconhecimento de Padrões Revisão de Processamento de Imagens Teoria da Decisão Bayesiana Métodos não Paramétricos Clustering Segmentação Extração de Características Estruturais e Textura PCA Funções Discriminantes Lineares Multi-Layer Perceptron Curvas ROC Dissimilaridade Rejeição Múltiplos classificadores Seleção de características e redução de dimensionalidade BIBLIOGRAFIA: R.O. Duda, P. E. Hart, D. G. Stork, Pattern Classification, John Wiley Interscience, 2001. C. M. Bishop, Neural Networks for Pattern Recognition, Oxford Press, 1995. Artigos selecionados
INFO7038 – REDES DE COMPUTADORES	Mestrado e Doutorado	DISCIPLINA: INFO7038 – REDES DE COMPUTADORES NÍVEL: Mestrado e Doutorado CRÉDITOS: 4 EMENTA: Modelos de referência. Introdução aos protocolos. A Internet e o Modelo TCP/IP. Redes Locais e a Ethernet. Redes Óticas. Backbones. Camada de Rede e o Protocolo IP. QoS na Internet. Protocolos de Transporte. Panorama de Aplicações. BIBLIOGRAFIA: [1] Computer Networks: A Systems Approach, Larry L. Peterson, and Bruce S. Davie, 3rd edition, Morgan-Kaufman, 2003. [2] Internetworking with TCP/IP Vol. 1, 5th Edition, Douglas E. Comer, Prentice-Hall, 2005. [3] Computer Networks, Andrew Tanenbaum, 4th Edition, Prentice-Hall, 2002. [4] Computer Networking: A Top-Down Approach Featuring the Internet, James F. Kurose, Keith W. Ross, 2004.
INFO7039 – REDES DE PETRI	Mestrado e Doutorado	DISCIPLINA: INFO7039 – REDES DE PETRI NÍVEL: Mestrado e Doutorado CRÉDITOS: 4 EMENTA: Introdução: Validação de sistemas Primeira Parte: Da observação à modelagem – estudo de um exemplo genérico de sistema (elementar) – progressão através de diferentes representações do sistema – busca de um modelo do comportamento Segunda Parte: O modelo de base e suas propriedades – teoria das Redes de Petri autônomas – revisão da teoria de autômatos finitos – definições fundamentais – formalização das propriedades notáveis – limitada, binária, viva, com bloqueio, reinicializável – componentes conservativos e repetitivos estacionários Terceira Parte: Análise das Propriedades – enumeração das marcações – decidabilidade das propriedades – análise estrutural – invariantes de lugar – invariantes de transição – métodos de redução Quarta Parte: Extensões ao modelo de base – rede de Petri interpretada – rede de Petri de alto nível (colorida, predicado-transição e a objetos) Quinta Parte: A Representação do Tempo – rede de Petri temporizada – T-temporizada – P-temporizada – rede de Petri temporal – rede de Petri estocástica Sexta Parte: Outros tópicos – métodos de implementação do jogador de fichas – redes de Petri e lógica – redes de Petri para sistemas híbridos Sétima Parte: Exemplo de Aplicação BIBLIOGRAFIA: J. L. Peterson. Petri Net Theory and the Modeling of Systems. Prentice-Hall, 1981. W. Reisig. Petri Nets – An Introduction. Springer-Verlag, 1985. T. Murata. Petri Nets: Properties, analysis and applications. Proceedings of the IEEE, 77(4):541-580, April, 1989. J. Cardoso, R. Valette. Redes de Petri. Editora da UFSC, 1997.