Disciplinas - Oferta no Ano Base Memória da Pós-Graduação Sistema de Avaliação

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

CIÊNCIA DA COMPUTAÇÃODisciplinas - Oferta no Ano Base

Memória da Pós-GraduaçãoSistema de Avaliação

Relações Nominais

ANO BASE: 2004PROGRAMA: 33002010176P-0 CIÊNCIAS DA COMPUTAÇÃO - USP

Carga HoráriaDISCIPLINA SiglaNúmero

Nível CréditosM D F

Álgebra Linear Computacional MAC-5795 D 08 120 0

Ementa:

Bibliografia:

1. Fatorações Básicas: Estabilidade e Escalonamento;Fatoração LU; Sistema de ponto flutuante e erros; Norma econdicionamento de uma matriz; Estabilidade de fatoração LU; Escalonamento; Fatoração de Cholesky; Fatoração QR. 2.Esparsidade e Estrutura de Matrizes Assimétricas; Preenchimento local; Partição; Procedimento P4; 3. Esparsidade eEstrutura: Matrizes Simétricas; Árvores de Eliminação; Ordenações por grau e dissecção; 4. Mudança de Base; Algoritmo deBartels e Golub; Algoritmo de Saunders; Atualizações para fatoração QR; 5.Ferramentas de Teoria dos Grafos;Representações de um Grafo; Relações de ordem e componentes conexas; Grafos simétricos e emparelhamentos; Grafoscordiais; 6. Motivação e aplicações; Programação Linear e o método Simplex; Programação quadrática. .

1. G.E. Golub and C.F. van Loan, Matrix Computations, 2nd ed., Johns Hopkins, 1990. 2. J.M. Stern, Esparsidade, Estrutura,Estabilidade e Escalonamento em Álgebra Linear Computacional, IX Escola de Computação, Recife, 1994. 3. S. Pissanetzky,Sparse Matrix Technology, Academic Press, London, 1984. 4. D.J. Rose and R.A. Willoughby, Sparce Matrices andApplications, Plenum Press, New York, 1971. 5. J.B. Rosen, Supercomputers and Large-Scale Optimization, Baltzer AJ,Basel, 1990. 6. D.P. Bertsekas and J.N. Tsitsiklis, Parallel and Distributed Computing: Numerical Methods, Prentice-Hall,Englewood Cliffs, 1989.



Algoritmos de Aproximação MAC-5727 D 08 120 0

Ementa:

Bibliografia:

1) Recapitulação de resultados básicos sobre grafos, complexidade computacional e probabilidade; 2) Métodos dedesenvolvimento de algoritmos de aproximação: métodos métricos, métodos aleatórios, métodos baseados em programaçãosemidefinida e métodos primais-duais; 3) Algoritmos de aproximação para problemas de escalonamento, de bin packing, degeometria computacional, e problemas de otimização sobre grafos (coberturas, empacotamentos, conectividade e cortes); 4)Complexidade de aproximações: classes de complexidade Max SNP e APX, reduções, alguns resultados negativos deaproximação

1. D. Hochbaum (ed.), Approximation Algorithms for NP-hard Problems, PWS Publishing Company, 1997. 2. M. Goemans,Approximation Algorithms, 1994, notas de aula disponíveis em http://www-math.mit.edu/~goemans/. 3. E.W. Mayr, H.J.Prömel, and A. Steger (eds.), Lectures on Prof Verification and Approximation Algorithms, Springer, 1998. 4. V. Vazirani,Approximation Algorithms,Springer, 2001.5. M.H. Carvalho, M.R. Cerioli, R. Dahab, P. Feofiloff, C.G. Fernandes, C.E.Ferreira, K.S.Guimarães, F.K. Myiazawa, J.C. Pina Jr., J. Soares, Y. Wakabayashi, Uma Introdução Sucinta a Algoritmos deAproximação, Publicações Matemáticas do IMPA, 2001.



Algoritmos e Arquiteturas Paralelas Sistólicas MAC-5840 D 08 120 0

Ementa:

Bibliografia:

1. Algoritmos sitólicos - conceitos e características, exemplos de algoritmos sistólicos para computação matriciais,reconhecimento de linguagens regulares, etc. 2. Arquiteturas sistólicas - conceitos de comunicação sistólica, estudo demáquinas com arquiteturas sistólicas de propósito geral como Warp e iWarp. 3. Síntese de algoritmos sistólicos - descriçãode algoritmos por equações de recorrência, análise de dependências, tipos dependêndias, obtenção de vetores dedependência, detenção de paralelismo, transformação em algoritmos sistólicos, exemplos. Estudos de métodos de síntesepropostos na literatura. 4. Extensão do método de síntese de algoritmos sistólicos para geração automática de código paramáquinas paralelas. Estudos de diversos sistemas protótipos para geração automática de código paralelo.

1. M. Cosnard, Y. Robert, P. Quinton, and M. Raynal, Parallel and Distributed Algorithms, North-Holland, 1989, 341p. 2.J.A.B. Fortes and D.I. Moldovan, Parallelism detection and transformation techniques useful for vlsi algorithms, Journal ofParallel and Distributed Computing 2 (1985), 277-301. 3. C.H. Huang and C. Lengauer, The derivation of systolicimplementation of programs, Acta Informatica 24 (1987), 595-632. 4. P. Quinton and Y. Robert, Systolic Algorithms andArchitectures, Prentice-Hall, 1991, 364p. 5. H.B. Ribas, Automatic generation of systolic programs from nested loops, Ph.D.thesis, Department of Electrical and Computer Engineering, Carnegie Mellon University, 1990, 103p. 6. J.D. Ullman,Computational Aspects of VLSI, Computer Science Press, 1984, 495p.

19/09/05 às 16:311 de 31Chronos




Relações Nominais




Algoritmos Paralelos e Arquitetura VLSI MAC-5740 D 08 120 0

Ementa:

Bibliografia:

1. Introdução: tecnologia VLSI. Oportunidade e limitações. 2. Sistemas paralelos sistólicos: características e exemplos,topologias mais comuns. 3. Aplicações: computação matricial, problemas de busca e ordenação, fila de prioridade,processamento de sinais (filtro, convolução, FFT etc.) 4. Tópicos avançados: decomposição de problemas, complexidade deentrada e saída, modelos de complexidade para VLSI. .

1. C.A. Mead and L.A. Conway, Introduction to VLSI Systems, Series in Computer Science, Addison-Wesley, 1980. 2. J.D.Ullman, Computational Aspects of VLSI, Computer Science Press, 1984, 495p. 3. P. Quinton and Y. Robert, SystolicAlgorithms and Architectures, Prentice-Hall, 1991, 364p. 4. S.W. Song, Algoritmos Sistólicos e Arquiteturas VLSI, IV Escolade Computação, IME-USP, 1984.



Análise de Algoritmos MAC-5711 D 08 120 0

Obrigatória nas Áreas de ConcentraçãoCIÊNCIA DA COMPUTAÇÃOEmenta:

Bibliografia:

1. Elementos de análise assintótica: notação 0 2. Solução de recorrências. 3. Probabilidade discreta. 4. Análise dedesempenho de alguns algoritmos clássicos: ordenação, hashing, manipulação de árvores binárias, algoritmos sobre decadeias de caracteres, matrizes polinômios, grafos e aritmética inteira. 5. Análise de pior caso e de caso médio. 6. Técnicasde projeto de algoritmos: divisão-e-conquista, programação dinâmica, algoritmos gulosos, algoritmos probabilísticos. 7.Noções da teoria de complexidade: as classes P, Np, e CoNP

1. T.H. Cormen, C.E. Leiserson, R.L. Rivest and C. Stein, Introduction to Algorithms, 2nd.ed.ed., MIT Press & McGraw-Hill,2001. 2. T.H. Cormen, C.E. Leiserson, R.L. Rivest, and C.Stein, Algoritmos: Teoria e Prática, Campus, 2002. 3. A. V. Ahoand J.D. Ullman, Foundations of Computer Science, Computer Science Press, 1992. 4. A V. Aho, J. E. Hopcroft, and J.D.Ullman, The Design and Analysis of Computer Algorithms, Addison-Wesley, Reading, 1975. 5. D.E. Knuth, The Art ofComputer Programming: Sorting and Searching, e ed., Reading, Mass.: Addison-Wesley, c1998. 6. K. Mehlhorn, DataStructures and Algorithms 1: Sorting and Searching, Springer-Verlag, 1984. 7. G. Brassard and P. Bratley, Fundamentals ofAlgorithmics, Prentice Hall, 1996. 8. U. Manber, Introduction to Algorithms: A Creative Approach, Addison-Wesley, 1989.



Análise e Reconhecimento de Formas: Teoria e Prática MAC-5749 D 08 120 0

Ementa:

Bibliografia:

1. Introdução. 2. Revisão dos conceitos matemáticos básicos para análise de formas. 3. Aquisição e pré-processamento deformas em imagens digitais. 4. Conceitos e técnicas de formas bidimensionais (para contornos e regiões). 5. Caracterizaçãoe análise de formas bidimensionais (medidas de formas, curvatura, descritores de Fourrier, complexidade de formas, etc). 6.Classificação de formas e reconhecimento de padrões. 7. Aspectos computacionais ligados à implementação e à análise deperformance. .

1. A. Arneodo, F. Argoul, E.Bacry, J. Elezgaray, and J.-F. Muzy, Ondelettes, Multifractales et Turbulences: de l'ADN auxCroissances Cristallines, Diderot Editeur, Arts et Sciences, Paris, 1995 (in French). 2. D.H. Ballard and C.M. Brown,Computer Vision, Prentice-Hall, Eglewood Cliffs, NJ, 1982. 3. R.N. Bracewell, The Fourier Transform and its Applications, 2nded., McGraw-Hill, 1986. 4. E.O. Brigham, The fast Fourier transform, Prentice-Hall, Englewood Cliffs, NJ, 1974. 5. K.R.Castleman, Digital Image Processing, Prentice-Hall, Englewood Cliffs, NJ, 1996. 6. K.S. Fu, Syntatic Pattern Recognition andApplications, Prentice-Hall, 1982. 7. J.J. Koenderink, Solid Shape, MIT Press, 1990. 8. J.M. Chassery and A. Montanvert,Geometrie Discrete en Analyse d"Images, Hermes, 1991. 9. R.O. Duda and P.E. Hart, Pattern Classification and SceneAnalysis, John Wiley and Sons, 1973. 10. R.C. Gonzalez and P. Wintz, Digital Image Processing, 2nd ed., Addison WesleyPublishing Company, Reading, Mass., 1987. 11. R. Jain, R. Kasturi, and B.G. Schunck, Machine Vision, McGraw-Hill, 1995.12. T. Pavlidis, Structural Pattern Recognition, Springer-Verlag, NY, 1977. 13. T. Pavlidis, Algorithms for graphics and imageprocessing, Computer Science, Rockville, 1982. 14. R. Schalkoff, Digital Image Processing and Computer Vision, John Wiley& Sons, Singapore, 1989. 15. R. Schalkoff, Pattern Recognition: Statistical, Strictural and Neural Approaches, John Wiley &Sons, Singapore, 1992.

19/09/05 às 16:312 de 31Chronos




Relações Nominais




Análise Idempotente MAC-5833 D 08 120 0

Ementa:

Bibliografia:

Semianéis idempotentes. Polinômios, matrizes e séries formais de potências sobre semianéis idempotentes. Solução desistemas de equações lineares. Autovalores e comportamento assintótico de potências de matrizes. Florestas de fatoração.O problema de Burnside para semigrupos de matrizes. Aplicações a teoria dos autômatos finitos. Aplicações a sistemas deeventos discretos. Outros tópicos.

1. V.P. Maslov, Idempotent Analysis, vol. 13, American Mathematical Society, 1992. 2. S. Gaubert, Introduction auxSystèmes Dynamiques à Événements Discrets, INRIA, Rocquencourt, 1994. 3. F. Baccelli, G. Cohen, G.J. Olsder, and G.J.Quadrat, Synchronization and Linearity: an algebra for discrete event systems, Wiley, New York, 1992. 4. R.A.Cuninghame-Green, Minimax Algebra, Lecture Notes in Economics and Mathematical Systems, Springer-Verlag, Berlim,1979.



Aprendizagem Computacional: Mod., Algoritmos e Aplicações MAC-5832 D 08 120 0

Ementa:

Bibliografia:

Conceitos, hipóteses e algoritmos de aprendizagem. Representações e fórmulas booleanas. Decomposições por MorfologiaMatemática. Decomposições por Redes Neurais. Aprendizagem probabilística. Aprendizagem eficiente. Dimensão VC.Aplicações. .

1. M. Anthony and N. Biggs, Computational Learning Theory -- An Introduction, Cambridge University Press, 1992. 2. G.J.F.Banon and J. Barrera, Minimal representation for translation invariant set mappings by mathematical morphology, SIAMJournal of Applied Mathematics 51 (1991), 1782-1798. 3. J. Barrera, E.R. Dougherty, and N.S. Tomita, Automaticprogramming of binary morphological machines by design of statistically optimal operators in the context of computationallearning theory, manuscrito. 4. M.H. Hassoun, Fundamental of neural networks, MIT Press, 1995.



Bases da Morfologia Matemática para Análise de Imagens MAC-5746 D 08 120 0

Ementa:

Bibliografia:

Morfologia sobre subconjuntos: transformações invariantes por translação; erosão, dilatação, abertura e fechamento;transformações sup-geradoras e inf-geradoras; transformações elementares da morfologia sobre subconjuntos; topologiadigital; algoritmos da morfologia sobre subconjuntos: extração de contornos, reconstrução, rotulação, preenchimento deburacos (sem modificação dos contornos), envoltória convexa, eliminação de partes parcialmente observadas, última erosão,esqueletos por subconjuntos maximais, afinamento, esqueleto por afinamento, filtros, granulometria, medidas. Morfologiasobre funções: transformações invariantes por translação; erosão, dilatação, abertura e fechamento; Algoritmos damorfologia sobre funções: gradiente morfológico, cartola, reconstrução, linha de partição de águas, realce, esqueletos,afinamento e espessamento; filtros; morfologia baseada em grafos de vizinhança. .

1. J. Serra, Image Analysis and Mathematical Morphology Part I, Academic Press, 1982. 2. J. Serra, Image Analysis andMathematical Morphology Part II, Theoretical Advances, Academic Press, 1988. 3. C.R. Giundina and E.R. Dougherty,Morphological Methods in Image and Signal Processing, Prentice-Hall, 1988. 4. M. Coster and S.L. Chermat, Précisd'Analyse d'Images, Centre National de la Recherche Scientifique, Paris, 1985. 5. E.R. Dougherty, An Introduction toMorphological Image Processing, SPIE Optical Engineering Press, 1992. 6. E.R. Dougherty (ed.), Mathematical Morphologyin Image Processing, Marcel Dekker, c1992. 7. G. J. F. Banon and J. Barrera, Bases da morfologia matematica para analisede imagens binarias, Escola de Computação, Recife, 1994.

19/09/05 às 16:313 de 31Chronos




Relações Nominais




Biologia Computacional MAC-5726 D 08 120 0

Ementa:

Bibliografia:

1. Comparação de seqüências e suas variações; 2. Busca de seqüências em base de dados; 3. Montagem de fragmentos deDNA; 4. Mapeamento físico do DNA; 5. Rearranjo de Genomas; 6. Predição de estruturas moleculares; 7. Árvoresfilogenéticas. .

1. João Meidanis and João Carlos Setubal, Introduction to Computacional Molecular Biology, PWS Publishing Company,Boston, 1997. 2. M.S. Waterman, Introduction to Computational Biology, Maps, Sequences and Genomes, Chapman & Hall,1995. 3. D. Gusfield, Algorithms on Strings, Trees and Sequences, Cambridge University Press, 1997. 4. A. Apostolico and Z.Galil, Pattern Matching Algorithms, Oxford University Press, New York, 1997.



Combinatória Poliédrica e Método dos Planos de Corte MAC-5881 D 08 120 0

Ementa:

Bibliografia:

Fundamentos da teoria de poliedros: projeção, cones, lema de Farkas, faces, facetas,dimensão, raios extremais, polaridade.Teoria do método dos planos-de-corte: posto de Chvátal, cortes de Gomory, provas de planos-de-corte. Equivalência deproblemas de otimização e de separação. Estudo de poliedros associados a problemas de otimização combinatória "fáceis":árvores, fluxos e cortes, emparelhamentos e outros. Estudo de poliedros associados a problemas de otimização combinatóriaNP-difíceis tais como o problema do caixeiro viajante, fluxo máximo, subgrafo acíclico e o problema de Steiner. Algoritmospolinomiais para separação de classes de facetas de alguns dos poliedros estudados e discussão de heurísticas deseparação. Implementação de algoritmos baseados no método dos planos-de-corte: o método Branch and Cut e o uso depacotes especializados.

1. A. Schrijver, Theory of Linear and Integer Programming, Wiley, 1986. 2. M. Grötschel, L. Lovász, and A. Schrijver,Geometric Algorithms and Combinatorial Optimization, Springer, Berlin, 1988. 3. G.L. Nemhauser and L.A. Wolsey, Integerand Combinatorial Optimization, Wiley, 1988. 4. W.R. Pulleyblank, Polyhedral combinatorics, Mathematical Programming -The State of the Art (A. Bachem, M. Grötschel, and B. Korte, eds.), Springer-Verlag, Bonn 1982, 1983, pp. 312-345. 5. A.Schrijver, On cutting planes, Annals of Discrete Mathematics 9 (1980), 291-296. 6. K. Hoffman e M.W. Padberg, LP-basedcombinatorial problem solving, Annals of Operations Research 4 (1985/6), 145-194. 7. M. Grötschel e M.W. Padberg,Polyhedral theory, The Traveling Salesman Problem, A Guided Tour of Combinatorial Optimization (E.L. Lawler et al., ed.),Wiley, Chichester, 1985, pp. 251-305. 8. M.W. Padberg e M. Grötschel, Polyhedral computations, The Traveling SalesmanProblem, A Guided Tour of Combinatorial Optimization (E.L. Lawler et al., ed.), Wiley, Chichester, 1985, pp. 307-360. 9. C.E.Ferreira e Y. Wakabayashi, Combinatória Poliédrica e Planos-de-cortes Faciais, X Escola de Computação, Campinas, 1996.



Complexidade Computacional MAC-5722 D 08 120 0

Ementa:

Bibliografia:

1. Máquinas de Turing e elementos de computabilidade. Máquinas de Turing determinísticas. A tese de Church-Turing.Problemas de decisão, busca e otimização. Indecidibilidade. Problemas de parada. Enumerabilidade recursiva. 2.Tempopolinomial. A classe de complexidade P. Linear Speed-up Theorem. Reduções. Algoritmos polinomiais. Diagonalização. 3.NP e NP-completude. Máquina de Turing não-determinística. A classe NP. NP-completude. O Teorema de Cook-Levin.Transformações polinomiais. Algoritmos pseudo-polinomiais. NP-completude forte. Máquinas de Turing com oráculos.Reduçao de Turing. 4. Complexidade de Espaço.Classees determinísticas de complexidade de espaço. Linear SpaceCompression Theorem. PSPACE, NPSPACE, PSPACE-completude. .

1. C. H. Papadimitriou, Computational Complexity, Addison-Wesley Publishing Company, Readymg, 1994. 2. J.E. Hopcroftand J.D. Ullman, Formal Languages and Their Relation to Automata, Series in Computer Science and InformationProcessing, Addison-Wesley, Reading, 1969, 242p. 3. M.R. Garey and D.S. Johnson, Computers and Intractability: a Guideto the Theory of NP-completeness, W. H. Freeman and Company, New York, 1979, 338p. 4. A.. Aho, J.E. Hopcroft, and J.D.Ullman, The Desing and Analysis of Computer Algorithms, Addison-Wesley, Reading, 1975. 5. M. Sipser, Introduction to thetheory of Computation, PWS Publishing ompany, 1997.

19/09/05 às 16:314 de 31Chronos




Relações Nominais




Computação Móvel MAC-5743 D 08 120 0

Ementa:

Bibliografia:

Os principais assuntos estudados serão: 1. Introdução: problemas relacionados à Mobilidade, Tecnologias de Comunicaçãosem Fio, O conceito de Célula, Arquiteturas de Sistemas, Aplicações; 2. Conceitos Básicos de Sistemas Móveis:Transmissão por Infra-Vermelho e Rádio-Frequência, Redes locais sem fio, Layout e Capacidade de Células, Alocação deCanais, Hand-Off; 3. Arquiteturas de Software: Modelos de Computação Móvel, Adaptabilidade ao Ambiente, Operaçõesdesconectadas, Mobilidade de Dados e Código, Agentes Móveis, Tolerância a Falhas; 4. Protocolos: IP móvel, Tunelamento,Roteamento, TCP para Computação Móvel, Multicast; 5. Gerenciamento de Informação: Difusão, Modelo Push-Pull, Caching,Difusão dinâmica e Consistência; 6. Gerenciamento de Localização: Problemática, Esquema de Duas Camadas, Caching porUsuário, Esquemas hierárquicos, Diretórios regionais; 7. Sistemas de Informação Móveis (Estudo de Casos): apresentaçãode seminários (pelos alunos) sobre sistemas atuais. .

1. Evaggelia Pitoura and George Smaras, Data Management for Mobile Computing, Kluwer Academic Publishers, 1998. 2.Geraldo Robson Mateus and Antonio Alfredo F. Loureiro, Introdução à Computação Móvel, 11ª Escola de Computação,COPPE/Sistemas, NCE/UFRJ, 1998. 3. Uyless Black, Mobile and Wireless Networks, Prentice Hall, Series in AdvancedCommunications Technologies, 1996. 4. James D. Solomon, Mobile IP: The Internet Unplugged, Prentice Hall, 1998.



Computação Musical MAC-5900 D 08 120 0

Ementa:

Bibliografia:

Processos musicais e informação musical. Áudio digital: representação, análise espectral e filtros. Instrumentos digitais:representação, sínteses aditiva, subtrativa e não-linear. Acústica de salas: espacialização, reverberação, resposta defreqüência. Fazer musical: composição auxiliada por computador, composição algoritmica, música eletrônica e performanceinterativa.

1. F. R. Moore, Elements of Computer Music, Prentice Hall, 1990. 2. C. Road, The Computer Music Tutorial, MIT Press,1996. 3. R. Rowe, Machine Musicianship, MIT Press, 2001. 4. T. Kientzle, A Programmer's Guide to Sound, Addison-Wesley,1998.



Conceitos de Linguagens de Programação MAC-5754 D 08 120 0

Ementa:

Bibliografia:

Linguagens funcionais. Funções como valores de primeira ordem, poliformismo, ambientes e fechamentos, avaliação"adiada". Linguagens orientadas ao objeto. Tipos abstratos de dados. Módulos. Herança e hierarquias. Linguagens lógicas.Predicados, cláusulas e o modelo de unificação. Implementação dos vários paradigmas em um interpretador, compilação vsinterpretação. Administração de memória; pilha vs heap, coleta de lixo.

1. S. Kamin, Programming Languages: an Interpreter-Based Approach, Addison-Wesley. 2. H. Abelson and J. Sussman,Structure and Interpretation of Computer Programs, McGraw-Hill, MIT Press. 3. R. Sethi, Programing Languages, Conceptsand Constructs, Addison-Wesley.

19/09/05 às 16:315 de 31Chronos




Relações Nominais




Controle de Concorrência e Distribuição de Dados MAC-5763 D 08 120 0

Ementa:

Bibliografia:

Tópico 1: Controle de concorrência; Teoria de Seriabilidade; Protocolo 2 PL: TwoPhaseLocking (trancamento bifásico);Detecção de Travamentos (dead-locks) em 2 PL; Protocolo de Ordenação por marcações de tempo (time stamps). Tópico 2:Bancos de dados distribuídos; Revisão: conceitos de bancos de dados e conceitos de redes; Arquitetura de bancos de dadosdistribuídos; Tipos de fragmentação de dados; Restrições de integridade distribuídas; Consultas em bancos de dadosdistribuídos; Projeto de Bancos de dados distribuídos. Tópico 3: Controle de concorrência em bancos de dados distribuídos;Transações distribuídas; Protocolo 2 PL distribuído; Travamentos distribuídos. Tópico 4: Nocões de recuperação de falhas;Em sistemas centralizados; Em sistemas distribuídos. Tópico 5: Laboratório de bancos de dados distribuídos; Apresentaçãode um banco de dado distribuído comercial.

1.Stephano Ceri and Giuseppe Pelagatti, Distributed Datadbases, McGraw-Hill, 1984. 2.M. Tamer Özsu and PatrickValduriez, Principles of Distributed Database Systems, Prentice Hall, 1991. 3.P. Bernstein, V. Hadzilacos, and N. Goodman,Concurrency Control and Recovery in Database Systems, Addison-Wesley, 1987.



Desenvolvimento de Sistemas de Computação MAC-5853 D 04 60 0


Bibliografia:

Os tópicos cobertos são: 1. expressões regulares, analisadores léxicos e sintáticos (por exemplo, lex e yacc). 2. cálculorelacional, álgebra relacional e a linguagem SQL. 3. semáforos e threads. Como objetivo subjacente a estes tópicos, está aavaliação da capacidade de manipulação de estruturas de dados padrão para o desenvolvimento de sistemas. Odesenvolvimento poderá ser feito em qualquer linguagem de programação. São sugeridas as linguagens: C/C++ e Java.

[1] Jeffrey D. Ullman and Jennifer Widom, A First Course in Database Systems, Prentice Hall, 1997, Chapters: 3, 4, 5, 6 and7. [2] Raghu Ramakrishanan and Johannes Gehrke, Database Management Systems, 2nd edition ed., MacGraw-Hill, 2000,Part II. [3] H. F. Korth and A. Silberschatz, Sistemas de Bancos de Dados, segunda edição revisada ed., Editora Makron doBrasil, 1995. [4] Gregory Andrew, Foundations of Multithreaded, Parallel, and Distributed Programming, AddisonWesley,2000, Parte I (Multithreading). [5] John Levine, Tony Mason, and Doug Brown, Lex & Yacc, second edition ed., O'Reilly, 1992.[6] Free Software Foundation, Flex - A Scanner Generator, http://www.gnu.org/manual/flex, Acessado em 12/6/2003. [7] FreeSoftware Foundation, Bison Manual, http://www.gnu.org/manual/bison, Acessado em 12/6/2003. [8] Michael Goodrich andRoberto Tamassia, Estruturas de Dados e Algoritmos em Java, segunda edição ed., John Wiley & Sons, 2001. [9] RobertSedgewick, Algorithms in C, Parts 1-4: Fundamentals, Data Structures, Sorting, Searching, third edition ed., Addison-Wesley,1997.



Elementos de Economia Matemática MAC-5794 D 08 120 0

Ementa:

Bibliografia:

1. Revisão matemática: relações, ordens, continuidade, cones, teoremas de ponto fixo (Brouwer e Kakutani). 2.Caracterização matemática de produtores e consumidores: maximização de lucros e satisfação de preferências. 3. Equilíbrio:recursos, economias, estados atingíveis, economias com propriedade privada, equilíbrio de mercado. 4. Otimalidade eequilíbrio relativos a um sistema de preços (otimalidade no sentido de Porets); relação entre otimalidade e equilíbrio: teoremade Arrow-Debreu. 5. Modelo de equilíbrio computáveis, algoritmo de Scarf, algoritmos para triangularização de variedades,algoritmos de homotopia. 6. Modelos lineares, análise de insumo-produto, análise de ligação, modelos dinâmicos e decrescimento, técnicas de linearização. .

1. G. Debreu, Theory of Value -- an Axiomatic Analysis of Economic Equilibrium, 5th ed., Cowles Foundation Monograph, 17,Yale University Press, London, 1973. 2. J.B. Shoven and J. Whalley, Applied General Equilibrium, Cambridge Univ. Press,1992. 3. C.B. Garcia and W.C. Zangwill, Pathways to Solution, Fixed Pointes and Equilibria, Prentice-Hall, 1981. 4. A.V.Fiacco, Sensitivity, Stability, and Parametric Analysis, Prentice-Hall, 1985. 5. A. Brooke, D. Kendrick, and A. Meerraus,GAMS - General Algebraic Modeling System User's Guide, The Scientific Press, 1992. 6. H.E. Scarf, The Computation ofEconomic Equilibria, Yale Univ. Press, 1973.

19/09/05 às 16:316 de 31Chronos




Relações Nominais




Estruturas de Dados e sua Manipulação MAC-5710 D 08 120 0

Ementa:

Bibliografia:

1.Listas lineares: pilhas, filas, filas duplas; fila de prioridade; alocação seqüencial e alocação ligada; listas circulares; listasduplamente ligadas; matrizes e listas ortogonais. 2.Árvores: terminologia, representação; algoritmos de manipulação epercursos em árvores binárias. Árvores de busca binária; árvores de busca AVL; árvore de busca ótima. B-árvores.3.Representação de conjuntos. 4.Grafos e suas representações. 5.Exemplos de aplicações das diversas estruturas dedados. 6.Ensino e programação de uma linguagem para processamento de listas.

1.A.V. Aho, J.E. Hopcroft, and J.D. Ullman, Data Structures and Algorithms, Addison-Wesley, 1987, 470p. 2.T.H. Cormen,C.E. Leiserson, and R.L. Rivest, Introduction to Algorithms, MIT Press & McGraw-Hill, 1992. 3.E. Horowitz and S. Sahni,Fundamentals of Data Structures, Computer Science Press, 1976. 4.D.E. Knuth, The Art of Computer Programming, vol. 1 e3, Addison-Wesley, 1973. 5.L. Siklóssy, Let's talk LISP, Prentice-Hall, 1976. 6.G.L. Steele, Common LISP, Digital Press,1984. 7.J.P. Tremblay and P.G. Sorenson, An Introduction to Data Structures with Applications, McGraw-Hill, 1976. 8.N.Wirth, Algorithms + Data Structures = Programs, Prentice-Hall, 1976. 9.N. Ziviani, Projeto de Algoritmos comImplementações em Pascal e C, Livraria Pioneira Editora, São Paulo, 1993.



Geometria Computacional MAC-5747 D 08 120 0

Ementa:

Bibliografia:

Estruturas básicas para representação de entidades geométricas: pontos, retas, segmentos, polígonos e planos.Manipulação de estruturas geométricas: fórmulas geométricas, transformações projetivas. Apresentação de problemasgeométricos clássicos: busca, problemas de proximidade, localização de pontos, intersecção, determinação de fechoconvexo. Estruturas geométricas e suas aplicações: diagrama de Voronoi, triangulação de Delaunay, grafo de Gabriel.Implementação de algoritmos geométricos. .

1. H. Edelsbrunner, Algorithms in Combinatorial Geometry, Springer, Berlin, 1987. 2. L.H. de Figueiredo and P.C.P. Carvalho,Introdução à Geometria Computacional, XVIII Coloq. Bras. de Matem., IMPA, Rio de Janeiro, 1991. 3. F.P. Preparata andM.I. Shamos, Computational Geometry: an Introduction, Springer, New York, 1985. 4. P.J. de Rezende and J. Stolfi,Fundamentos de Geometria Computacional, IX Escola de Computação, Recife, 1994.

19/09/05 às 16:317 de 31Chronos




Relações Nominais




Informação, Comunicação e a Sociedade do Conhecimento MAC-5800 D 04 60 0

Ementa:

Bibliografia:

Entre os temas a serem abordados dar-se-á ênfase aos diversos papéis exercidos pelo Sistema Operacional Linux narevolução digital em curso. Estes aspectos incluem o estudo e a prática da metodologia de "Bazar" usada para a elaboraçãodo software de fonte aberta. Outro tema a merecer destaque será o estudo e a prática do uso da rede nas atividades deensino e aprendizagem. Pretende-se também enfatizar o estudo e a prática de discussões construtivas em grupo, ummecanismo pouco usado ainda entre nós. Os únicos pré-requisitos para esta disciplina são uma grande vontade de entenderas questões mencionadas e uma forte pré-disposição para efetivamente participar de trabalhos em grupo. TÓPICOSESPECÍFICOS: 1. O que é informação e como ela atua? Informação e comunicação; 2. Características marcantes da redeInternet; 3. Economia digital e aspectos da Economia da Sociedade do Conhecimento; 4. A questão dos direitos autorais naera digital; 5. Trabalho cooperativo em grupo; 6. Comunidades virtuais; 7. Impacto das novas tecnologias na Universidade.Bibliotecas Digitais. Ensino à distância pela rede; 8. Impacto social, econômico, cultural e político da rede Internet; 9. Oexemplo e as lições do Linux; 10. Aspectos históricos. .

1. Arnaldo Mandel, Imre Simon, and Jorge L. deLyra, Informação: Computação e Comunicação, Revista da USP, 35 (1997),11-45; 2. Nicholas Negroponte, Being Digital, Vintage Books, 1995; 3. Nicholas Negroponte, Colunas na revista Wired, Vejahttp://www.media.mit.edu/~nicholas/Wired; 4. Eric Raymond, The cathedral and the bazaar, 1997, Vejahttp://earthspace.net/~esr/writings/cathedral-bazaar; 5. Eric Raymond, Homesteading the noosphere, 1998, Vejahttp://earthspace.net/~esr/writings/homesteading; 6. Carl Shapiro and Hal R. Varian, Information Rules: A Strategic Guide tothe Network Economy, Harvard Business School Press, 1998; 7. Peter Lyman, Digital documents and the future of theacademic community, Proceedings from the Conference on Scholarly Communication and Technology, No prelo. Vejahttp://arl.cni.org/scomm/scat/lyman.html.; 8. Frank Webster, Theories of the Information Society, Routledge, 1995; 9. MarkStefik and Vinton Cerf, Internet Dreams: Archetypes, Myths, and Metaphors, MIT Press, 1997; 10. William J. Mitchell, City ofBits: Space, Place, and the Infobahn, MIT Press, 1996.



Introdução à Algoritmos e Arquiteturas Paralelas MAC-5741 D 08 120 0

Ementa:

Bibliografia:

1. Paralelismo (definição, conceitos, mitos); 2. Modelos (PRAM, memória distribuída, redes de interconexão); 3. Hierarquia(limites inferiores, simulação entre modelos); 4. Algoritmos de ordenação paralelos (PRAM, grade, anel, hipercubo); 5.Ferramentas do paralelismo (prefixo paralelo, divisão e conquista (em cascata), estrutura de dados paralelas); 6. Circuitos eclasses de complexidade (classe NC, noção de problemas P-completo) .

1. S. Akl, The design and analysis of parallel algorithms, Prentice-Hall, 1989. 2. S. Akl, Parallel sorting algorithms, AcademicPress, 1985. 3. A. Gibbons and W. Rytter, Efficient parallel algorithms, Cambridge University Press, 1988. 4. M.J. Quinn,Designing efficient algorithms for parallel computer, McGraw-Hill, 1987. 5. J.V. Leeuwen (ed.), Handbook of theoreticalcomputer science, vol. I, North-Holland, 1990. 6. Artigos diversos de anais de conferências da área.



Introdução à Computação Gráfica MAC-5744 D 08 120 0

Ementa:

Bibliografia:

1. Visão geral da Computação Gráfica. 2. Conceitos Fundamentais de Cor e Sistemas de Cores. 3. A geometria daComputação Gráfica. 4. Imagem Digital e Quantização de cores. 5. Objetos gráficos bi- e tri-dimensionais. 6. Sistemas deModelagem e Hierarquias. 7. Câmera Virtual e Sistemas de Visualização. 8. Recorte, Visibilidade e Rasterização. 9.Conceitos básicos de "Ray-Tracing" e Radiosidade. 10. Conceitos básicos de renderização Volumétrica. 11. Textura .

1. J.D. Foley, A. van Dam, S.K. Feiner, and J.F. Hughes, Computer Graphics: Principles and Practice, second ed.,Addison-Wesley, 1997. 2. J. Gomes and L. Velho, Conceitos Básicos de Computação Gráfica, VII Escola de Computação,1990. 3. A. Watt, 3-D Computer Graphics, Second Edition, Addison Wesley, 1993.

19/09/05 às 16:318 de 31Chronos




Relações Nominais




Introdução à Computação Paralela e Distribuida MAC-5742 D 08 120 0

Ementa:

Bibliografia:

Objetivos, problemas e conceitos básicos, tipos e granularidades de paralelismo, arquiteturas de sistemas paralelos edistribuídos, topologias de interconexão, protocolos de comunicação, mecanismos de comunicação e sincronização,linguagens e sistemas de programação, algoritmos paralelos e distribuídos, aplicações.

1. P.O.A. Navaux, Processamento Pipeline e Processamento Vetorial, VII Escola de Computação, São Paulo, 1990. 2. K.Hwang and F.A. Briggs, Computer Architecture and Parallel Processing, McGraw Hill, 1984. 3. Joseph JáJá, An introductionto parallel algorithms, Addison Wesley, 1992. 4. S. Akl, Parallel sorting algorithms, Academic Press, 1985. 5. A.S.Tanenbaum, Structured Computer Organization, 3rd ed., Prentice-Hall, Englewood Cliffs, 1990. 6. A.S. Tanenbaum,Computer Networks, ch. 4 & 5, Prentice-Hall, 1988. 7. A.S. Tanenbaum, Modern Operating Systems, ch. 10,11,12,Prentice-Hall, New Jersey, 1992. 8. H.E. Bal, J.G. Steiner, and A.S. Tanenbaum, Programming languages for distributedcomputing systems, ACM Computing Surveys 21 (1989), no. 3.



Introdução à Criptologia MAC-5723 D 08 120 0

Ementa:

Bibliografia:

1. Métodos tradicionais de criptologia, tais como sistemas mono e polialfabéticos e sistemas rotores. Criptoanálise utilizandotécnicas da estatística e da álgebra linear. 2. O DES (Data Encryption Standard). 3. Outros métodos contemporâneosbaseados na intratabilidade computacional do problema da mochila e da fatoração de números. 4. Sistemas de distribuiçãode chaves públicas e secretas. Assinatura digital e autenticação.

1. D. Denning, Cryptolography and Data Security, Addison-Wesley, 1982, 399p. 2. B. Schneier, Applied Cryptography, Wiley,1994, 618p. 3.Artigos recentes de congressos e periódicos da área.



Introdução à Inteligência Artificial MAC-5739 D 08 120 0

Ementa:

Bibliografia:

1. Inteligência Artificial: conceituação básica. 2. Requisitos Metodológicos para resultados válidos em Inteligência Artificial. 3.Inteligência Artificial: principais áreas e resultados de pesquisas. .

1. A. Bundy, The Computer Modelling of Mathematical Reasoning, Academic Press, 1983. 2. F. S. Correa da Silva,Raciocínio Automatizado com Incertezas, (notas de aula), 1993. 3. P. Jackson, Introduction to Expert Systems,Addison-Wesley (2nd ed), 1990. 4. M. J. Kearns and U. V. Vazirani, An Introduction to Computational Learning Theory, MITPress, 1994. 5. Z. L. Kovacs, Redes Neurais Artificiais, Edição Acadêmica, 1996. 6. Fernando C. N. Pereira and Stuart M.Schieber, Artificial Intelligence, CSLI/SRI International, 1987. 7. E. Rich, Artificial Intelligence, McGraw-Hill, 1983. 8. L.Sterling and E. Shapiro, The Art of PROLOG, 2nd ed., MIT Press, 1994. 9. T. Van Le, Techniques of PROLOG Programming,John Wiley, 1993.

19/09/05 às 16:319 de 31Chronos




Relações Nominais




Introdução à Teoria dos Grafos MAC-5770 D 08 120 0

Ementa:

Bibliografia:

1. Representação eficiente de grafos. Algoritmos eficientes. 2. Caminhos e componentes conexos. 3. Caminho mínimo entredois vértices dados. 4. Árvores e florestas; subárvore geradora de custo mínimo de um grafo. 5. Emparelhamentos máximosem grafos bipartidos (teorema de Hall, teorema de König). 6. Coloração de arestas. 7. Coloração de vértices. 8. Grafoseulerianos. 9. Grafos hamiltonianos. 10. Seqüências gráficas; teorema de Gallai. 11. Grafos orientados: componentes fortes;grafos acíclicos. .

1. J. Bondy and U. Murty, Graph Theory with Applications, North-Holland, New York, 1979. 2. F. Harary, Graph Theory,Addison-Wesley, Reading, 1972. 3. C.L. Lucchesi, Introdução à Teoria dos Grafos, IMPA, Rio de Janeiro, s.d. 4. B. Bollobás,Graph Theory: an Introductory Course, Springer, 1979.



Introdução à Verificação de Programas MAC-5732 D 08 120 0

Ementa:

Bibliografia:

Estudo de três métodos para verificação da correção de programas: o método de Floyd (indução sobre assertivas), o métodode Hoare (cálculo axiomático) e o método de Scott (pontos fixos). Os métodos serão aplicados a programas escritos emfragmentos de algumas linguagens de programação, cujas semânticas serão descritas na forma operacional e denotacional.O estudo terá como objetivo tanto a descrição rigorosa e precisa das semânticas das linguagens alvo quanto as provas decorreção dos programas considerados. As ferramentas necessárias ao desenvolvimento do programa (cálculo de predicados,ordens parciais, pontos fixos, etc.) serão discutidas na medida do necessário.

1. J.W. de Bakker, Mathematical Theory of Program Correctness, Prentice-Hall International Series in Computer Science,Prentice-Hall, 1980. 2. H.D. Ebinghaus, J. Flum, and W. Thomas, Mathematical Logic, Undergraduate Texts in Mathematics,Springer, New York, 1984, 216p. 3. J. Loeckx and K. Sieber, The Foundations of Program Verification, 2nd ed., WileyTeubner Series in Computer Science, Wiley, 1987. 4. Z. Manna, Mathematical Theory of Computation, McGraw-Hill ComputerScience Series, McGraw-Hill, 1974. 5. J.E. Stoy, Denotational Semantics: the Scott-Strachey Approach to ProgrammingLanguage Theory, Series in Computer Science, 1, MIT Press, 1977.



Introdução ao Escalonamento e Aplicações MAC-5758 D 08 120 0

Ementa:

Bibliografia:

1. Introdução: notações, representação e conceitos. 2. Apresentação de alguns problemas clássicos de escalonamento. 3.Noções de complexidade. 4. Escalonamento em uma única máquina. 5. Escalonamento em máquinas paralelas. 6.Escalonamento com atraso de comunicação. 7. Escalonamento dinâmico. .

1. Peter Brucker, Scheduling Algorithms, 2nd edition, Springer-Verlag, 1998. 2. Michael Pinedo, Scheduling: Theory,Algorithms and Systems, Prentice-Hall, 1995. 3. Philippe Chrétienne, Edward G. Coffman Jr, Jan Karel Lenstra, and ZhenLiu, Scheduling theory and its applications, Wiley, 1995. 4. Jacek Blazewicz, Klaus Ecker, Erwin Pesch, Gunter Schmidt, andJan Weglarz, Scheduling Computer and Manufacturing Processes, Springer-Verlag, 1996. 5. Jacek Blazewicz, Klaus Ecker,Brigitte Plateau, and Denis Trystram, Handbook on parallel and distributed processing, Springer-Verlag, 1999. 6. FrankThomson Leighton, Introduction to Parallel Algorithms and Architectures, Morgan Kaufmann publishing, 1994.

19/09/05 às 16:3110 de 31Chronos




Relações Nominais




Introdução ao Processamento de Alto Desempenho MAC-5767 D 08 120 0

Ementa:

Bibliografia:

1. Introdução: uma visão geral das aplicações científicas. 2. Microprocessadores de alto desempenho. 3. Estrututura dememória. 4. Técnicas de otimização tradicionais. 5. Impedimentos sintáticos da otimização automática. 6. Otimizações delaços 7. Processamento paralelo: memória compartilhada e memória distribuída. 8. Análise de desempenho. 9. Visualização.10. Exemplo detalhado de uma aplicação de alto desempenho. .

1. Kevin Dowd and Charles Severance, High Performance Computing, O' Reilly, 1998. 2. Lloyd D. Fosdic, Elizabeth R.Jessup, Carolyn J. C. Schauble, and Gitta Domik, An Introduction to High-Performance Scientific Computing, MIT Press,1996.



Introdução aos Sistemas de Banco de Dados MAC-5760 D 08 120 0

Ementa:

Bibliografia:

Modelos Conceituais O Modelo Entidade Relacionamento Modelagem de dados por diagramas ER O Modelo RelacionalDefinições: Esquemas, instanciações, tuplas, relações banco de dados Linguagens de Consulta e manipulação de dadosÁlgebra Relacional, Cálculo Relacional de tuplas e de domínio SQL Linguagens de consulta ao modeloEntidade-Relacionamento Noções de otimização de consultas Projeto Lógico de Bancos de dados Relacionais Síntese deesquemas a partir do Diagrama Entidade-Relacionamento Dependências Funcionais: Axiomatização, fecho de dependênciasfuncionais e coberturas canônicas. Teoria da Normalização : , e Formas Normais Decomposição em relações em FormaNormal Forma Normal de Boyce-Codd (BCNF) e decomposição de relações em BCNF Dependências Multivaloradas eForma Normal Visões. Arquitetura ANSI de 3 níveis para Bancos de Dados Outros modelos, noções: modelos hierárquico ede rede. Modelo Relacional N1NF. Banco de dados dedutivo e orientado a objetos. Nível Físico Arquivos de Índice. Índicesprimários e secundários Árvores-B Hashing .

1. V.W. Setzer, Bancos de Dados: Conceitos, Modelos, Gerenciadores, Projeto Lógico e Projeto Físico, 3a. ed., EdgardBlücher, São Paulo, 1989. 2. R. Elmasri and S.B. Navathe, Fundamentals of Database Systems, 2nd. ed.,Benjamin/Cummings, Redwood, 1994. 3. H.F. Korth e M. Silberschatz, Sistemas de Bancos de Dados, 3a ed., Makron Booksdo Brasil, São Paulo, 1995, trad. M.H.G. 4. Raghu Ramakrishnan, Database Management Systems, WCB/MacGraw-Hill,1998.



Laboratório de Inteligência Artificial MAC-5789 D 08 120 0

Ementa:

Bibliografia:

A disciplina será dividida em quatro módulos, cada um correspondendo a um projeto de programação diferente. Os tópicos aserem selecionados, poderão variar a cada semestre, ficando à cargo do professor que irá ministrar cada um dos módulos.Entre os exemplos de tópicos relacionados aos projetos que serão propostos, estão: Sistemas Baseados em Conhecimento,Sistemas de Planejamento, Representação e raciocínio sobre ações e planos, Jogos em Inteligência Artificial, DiagnósticoBaseado em Modelos, Sistemas de Manutenção de Verdade, Provadores de Teoremas, Reconhecimento de GramáticasLivres de Contexto e Estocásticas, entre outros. Serão selecionados artigos de periódicos, notas de aula e capítulos delivros. .

1. Stuart Russel and Peter Norvig, Artificial Intelligence - A Modern Approach, Prentice-Hall, 1995. 2. Nils J. Nilsson, ArtificialIntelligence: A New Synthesis, Morgan Kaufmann, 1998. 3. L. Sterling e E. Shapiro, The Art of PROLOG, 2nd ed., MIT Press,1994

19/09/05 às 16:3111 de 31Chronos




Relações Nominais




Laboratório de Programação Extrema MAC-5716 D 08 120 0

Ementa:

Bibliografia:

As novas metodologias ágeis de desenvolvimento de software tem se mostrado bastante eficazes para o desenvolvimento desistemas de software de pequeno e médio porte. Neste curso, os estudantes utilizam a metodologia de ProgramaçãoeXtrema (XP), sob a orientação do professor, para desenvolver um sistema de software orientado a objetos de altacomplexidade. Através desta experiência prática no laboratório, se faz possível a aquisição de conhecimentos e aassimilação de práticas das metodologias ágeis que serão extremamente importantes para o estudante em sua futuracarreira, seja ela acadêmica ou empresarial, como desenvolvedor de software.

1. Kent Beck, eXtreme Programming: Explained, Addison-Wesley, 2000. 2. Kent Beck, Test-Driven Development: ByExample, Addison-Wesley, 2002. 3. Alistair Cockburn, Agile Software Development, Addison-Wesley Longman, 2002. 4.Martin Fowler, Refactoring: Improving the Design of Existing Code, Addison-Wesley, 2000. 5. E. Gamma, R. Helm, R.Johnson, and J. Vlissides, Design Patterns: Elements of Reusable Object-Oriented Software, Addison-Wesley, 1995. 6. BrianW. Kernighan and Rob Pike, The Practice of Programming, Addison-Wesley, 1998. 7. P. McBreen, Questioning ExtremeProgramming, Addison Wesley, 2003.



Linguistica Computacional MAC-5725 D 08 120 0

Ementa:

Bibliografia:

1. Conceitos Básicos: formalização de linguagens e gramáticas; hierarquia de chimski; Gramáticas Livres de Contexto. 2.Parte I - Reconhecedores Sintáticos: a) Gramáticas de Cláusulas Definidas (GCDs). b) Reconhecimentos de gramáticaslivres de contexto e GCDs; GCDs em Prolog. c) Concordância e orações subordinadas adjetivas. d) Reconhecimento pelométodo de tabulação (Chart Parsing). 3. Parte II - Interface Sintático-Semântica: a) Gramáticas Categóricas. b) Sistemas deinferência: Sistemas de Seqüentes de Gentzen; Dedução Natural. c) Introdução ao Cálculo- . Reduções Beta e n. Formasnormais e a propriedade de Church-Rosser. d) Representação semântica por meio do Cálculo- . O Isomorfismo deCurry-Howard entre -termos e Dedução Natural em Gramática Categórica. e) Quantificadores de linguagem natural. f)Implementação em GCD da estração semântica. 4. Parte III - Noções de aprendizado automático de linguagem: aetiquetagem gramatical das palavras em textos. a) Métodos probabilísticos. Cadeias de Markov. Cadeias de Marjov Ocultas(CMOs). b) Etiquetagem de classes gramaticais por CMOs. c) Métodos transformacionais. O Algoritmo de Brill. d)Etiquetagem de classes gramaticais pelo método de Brill. .

1 - Fernando C.N. Pereira and Stuart M. Schieber, Artificial Intelligence, CSLI/SRI International, 1987. 2 - Johan vanBenthem, Language in Action, North-Holland, 1994. 3 - Eugene Charniak, Statistical language Learning, MIT Press, 1993.



Lógicas Não-Clássicas e suas Aplicações MAC-5787 D 08 120 0

Ementa:

Bibliografia:

1. Revisão de lógica clássica proposicional e de primeira ordem. 2. Lógica Modal: A Linguagem da Lógica Modal;Axiomatizações dos sistemas K, T, S4, S5; Semântica de mundos possíveis de Kripke; Correção e completude dasaxiomatizações; Noções de Teoria da Correnpondência. 3. Lógica Temporal: Lógica de F e P (futuro e passado); Lógica de Ue S (until e since); Noções de expressividade e separação; aAplicações a: especificação de programas, bancos de dadostemporais. 4. Lógica Subestrutural: Definições básicas; Hierarquia de lógicas subestruturais: Lógica Intuicionista, LógicaRelevante, Lógica Linear e Cálculo de Lambek; Relação entre Lógica Intuicionista e S4; Semântica de Kripke com relação deacessibilidade ternária; Lógica Linear e suas aplicações computacionais .

1. Brian F. Chellas, Modal Logic, Cambridge University Press, 1980. 2. G.E. Hughes and M.J. Cresswell, A new introductionto modal logic, Routledge, 1996. 3. Dov Gabbay, Ian Hodkinson, and Mark Reynolds, Temporal Logic: MathematicalFoundations and Computational Aspects, Volume 1, Oxford University Press, 1994. 4. J. van Benthem, The Logic of Time,second ed., Reidel, Dordrecht, 1991. 5. Robert Goldblatt, Logics of Time and Computation, second edition, revised andexpanded, CSLI, 1992. 6. P.S. Heister and K. Dosen, Substructural Logics, Oxford University Press, 1993.

19/09/05 às 16:3112 de 31Chronos




Relações Nominais




Métodos de Criptoanálise em Criptografia MAC-5826 D 08 120 0

Ementa:

Bibliografia:

Revisão de teoria de informação, e algoritmos de criptografia simétrica. Critérios que condicionam os projetos de funçõescriptográficas. Complexidade de computação criptográfica. Métodos de criptoanálise. Revisão dos projetos e critériosoriginais. Síntese de novos algoritmos. Medidas de ganho em robustez criptográfica. Níveis de complexidade mínima desegurança.

1. E. Biham and A. Shamir, Differential cryptanalysis of the data encryption standard, Springer, New York, 1993. 2. M. Matsui,Linear cryptanalysis method for DES cipher, EUROCRYPT 93, Springer, New York, 1994. 3. R. Terada and K. Koyama,Dynamical swapping schemes and differential cryptanalysis, Transactions of the IEICE (Japão), 1994. 4. R.E. Cleve,Methodologies for designing block ciphers and cryptographic protocols, Ph.D. thesis, U. de Toronto, Canadá, 1989.



Métodos de Otimização em Finanças MAC-5796 D 08 120 0

Ementa:

Bibliografia:

1. Probabilidade: interpretação freqüentista; interpretação Bayesiana; axiomatização; inferência; verossimilhança; esperança;variância; covariância; correlação; teoria da utilidade. 2. Programação Linear: convexidade; poliedros, faces; algoritmosimplex; dualidade; problemas paramétricos. 3. Programação Quadrática: multiplicadores de Lagrange; complementaridadelinear; problemas paramétricos. 4. Modelos tipo Markowitz: análise de média variância; distribuição das taxas de retorno;fronteira eficiente; modelo de Tobim e Brennan; modelos de índices; ativos sintéticos; modelos de equilíbrio; modelos CAPMe APT. 5. Programação Dinâmica: equações de evolução; problemas determinísticos em grafos; controle ótimo de cadeiasde Markov; controle linear quadrático Gaussiano; filtros de Kalman, adaptativos e evanescentes. 6. Classificação:Reconhecimento de padrões; significância estatística e generalização; regularização; árvores de classificação; modelos demisturas. 7. Teste de Hipótese: Princípio da verossimilhança; Invariância; Onus Probandi; evidência contra a hipótese;seleção de modelos. .

1. Alexander, G.J., Francis, J.C. (1986). Portfolio Analysis, Prentice-Hall. 2. DeGroot, M.H. (1970). Optimal StatistcalDecisions. McGraw-Hill. 3. Geoffrion, A. M. (1972). Perspectives in Optimization. Addison-Wesley.4.Golub, G.E. and C.F. vanLoan, C.F. (1990). Matrix Computations, 2nd ed., Johns Hopkins, 1990. 5. Madruga, M.R., Esteves, L.G., Wechsler, S.(2001). On the Bayesianity of Pereira-Stern Tests.Test, 10, 291-299. 6. Markowitz, H.M. (1987). Mean-Variance Analysis inPortfolio Choice and Capital Markets, Blackwell, 1987.7. Irony, T.Z., Lauretto, M., Pereira, C.A.B., Stern, J.M. (2001). AWeibull Wearout Test: Full Bayesian Approach. In: hayabawa, Y., Irony, T., Xie, M. (Editors). System and BayesianReliability. 8. Lauretto, M., Pereira, C.A.B., Stern, J.M. (2002). Comparing Parameters of Two Bivariate Normal distributionsusing the FBST: Full Bayesian Significance Test. Valencia-7, Valencia International Meetings on Bayesian Statistics.9.Luenberger, D, G. (1984). Linear and Nonlinear Programming. Addison-Wesley. 10. Pereira, C.A.B., Stern, J.M. (1999).Evidence and Credibility: Full Bayesian Significaance Test for Precise hyphothesis. Entropy, 1, 69-80. 11. Pereira, C.A.B.,Stern, J.M. (2001). Model Selection: Full Bayesian Approach. Environmetrics, 12, 559-568. 12. Pflug, G.C. (1996).Optimization of Stochastic Models. Kluwer. 13. Spall, J.C. (2000).Adaptive Stichastic approximation by SimultaneousPerturbation Method. IEEE Transactions on Automation and Control, 45, 1839-1853. 14. Whittle, P. (1983). Optimization OverTime. Wiley: 1983. 15. Zellner., A. (1971). An introduction to Bayesian Inference in Econometrics. Wiley.



Métodos de Pontos Interiores em Programação Linear MAC-5891 D 08 120 0

Ementa:

Bibliografia:

Revisão de Programação Não Linear: Condições de otimalidade, regiões de confiança e otimização irrestrita. O problema daprogramação linear: poliedros, formulações primal-dual, o problema com coeficientes inteiros. Resultados clássicospolinomiais: Khachyan e Karmarkar. Pontos inteiros e penalidades: Gonzaga. Métodos de trajetória central: taxonomia,especialidades.

1. C.C. Gonzaga, Interior Point Algorithms, Advanced Books and Software, Wordswordth & Brookes/Cole, Pacific Grove, Ca.2. C.C. Gonzaga, Path following methods for linear programming, SIAM Review 34 (1992), no. 2, 167-224. 3. Todd andBrunel, An extension of karmarkar's algorithm for linear programming using dual variables, Algorithmics 1 (1986), 409-424. 4.N. Karmarkar, A new polynomial time algorithm for linear programming, Combinatoria 4 (1980), 373-395. 5. L.G. Khachiyan, Apolynomial time algorithm for linear programming, Soviet Mathematics Doklady 20 (1979), 191-194.

19/09/05 às 16:3113 de 31Chronos




Relações Nominais




Métodos Numéricos de Otimização MAC-5797 D 08 120 0

Ementa:

Bibliografia:

1. Generalidades e condições de otimalidade de minimização sem restrições. 2. Condições Karush-Kuhn-Tucker. 3.Aspectos numéricos de convexidade e dualidade. 4. Sistemas não-lineares. 5. Métodos para minimização sem restrições. 6.Restrições lineares e estratégia das restrições ativas. 7. Penalização e métodos relacionados. 8. Métodos factíveis eprogramação quadrática sequencial. .

(1) Dennis Jr. J. E. and Schnabel R. B., Numerical Methods for Unconstrained Optimization and Nonlinear Equations,Prentice-Hall, 1983. (2) Fletcher R., Practical Methods of Optimization (2nd edition), Hohn Wiley and Sons, 1987. (3) MartínezJ. M. and Santos S. A., Métodos computacionais de otimização, XX Colóquio Brasileiro de Matemática, IMPA (ISBN85-244-0092-7), 1995. (4) Friedlander A., Elementos de Programação não - linear, Editora da Unicamp, 1994. Nocedal J. andWright S. J., Numerical Optimization (Springer Series in Operations Research), Springer Verlag, 1999.



Métodos Probab. em Combinatória e em Teoria da Computação I MAC-5775 D 08 120 0

Ementa:

Bibliografia:

Fundamentos da teoria elementar de probabilidades. Aplicações elementares clássicas da esperança e da desigualdade deChebyshev em problemas combinatórios: limites inferiores exponenciais para os números de Ramsey diagonais, hipergrafoscom propriedade B, grafos e hipergrafos com cintura e número cromático arbitrariamente grandes, a concentração donúmero de divisores primos de um inteiro, o teorema de Turán e comentários sobre o teorema de Erdos e Kac. O crivo localde Erdos e Lovász e aplicações: os números de Ramsey e propriedade B revisitados, cobertura de grafos por florestaslineares, colorações acíclicas de grafos. Geração de números pseudo-aleatórios. Análise de tempo médio de algoritmosdeterminísticos. Introdução de aleatoriedade em algoritmos determinísticos. Algoritmos probabilísticos para: teste deprimalidade; existência e determinação de emparelhamentos perfeitos em grafos; teste para nulidade de polinômios emvárias variáveis; determinação de conjuntos independentes maximais em grafos; determinação de elemento majoritário deuma sequência; verificação de produto de matrizes; teste de igualdade de conjuntos; escolha de líder em redes. .

1. N. Alon and J.H. Spencer, The Probabilistic Method, Wiley, New York, 1992, xiii + 254p. 2. B. Bollobás, Random graphs,Academic Press, London, 1985, xvi + 447p. 3. B. Bollobás, Probabilistic combinatorics and its applications, Proceedings ofSymposia in Applied Mathematics 44 (AMS, Providence), 1991. 4. R. Gupta, S. Smolka, and S. Bhaskar, On randomization insequential and distributed algorithms, Computing Surveys 26 (1994), no. 1, 7-86. 5. H. Karloff, Lecture notes on randomizedalgorithms, University of Chicago, 1991. 6. P. Raghavan, Lecture notes on randomized algorithms, IBM Research Report RC15340 (#68237), 1990. 7. J.H. Spencer, Ten Lectures on the Probabilistic Method, SIAM, Philadelphia, 1987.



Métodos Probab. em Combinatória e em Teoria da Computação II MAC-5776 D 08 120 0

Ementa:

Bibliografia:

Alguns tópicos sobre grafos aleatórios. Possíveis tópicos avançados: correlação entre eventos monótonos, aplicações demartingais em combinatória e o fenômeno da concentração de medida, as desigualdades de Janson, estruturas discretaspseudo-aleatórias, outros resultados na teoria de Ramsey, métodos probabilísticos em geometria. Noções de classes decomplexidade de algoritmos probabilísticos e relações com as classes de complexidade de algoritmos determinísticos esistemas interativos de provas. Algoritmos probabilísticos para: passeios aleatórios, tempo de cobertura e conexidade emgrafos; sequências universais para atravessamento de grafos; busca de padrões em textos; algoritmo harmônico para oproblema dos k servidores; arredondamento probabilístico de soluções fracionárias de programação linear; roteamento demensagens em hipercubos. Técnicas para transformação de algoritmos probabilísticos em determinísticos. Limitantesinferiores para tempo de processamento de algoritmos probabilísticos para propriedades monótonas de grafos. .

1. N. Alon and J.H. Spencer, The Probabilistic Method, Wiley, New York, 1992, xiii + 254p. 2. B. Bollobás, Random graphs,Academic Press, London, 1985, xvi + 447p. 3. B. Bollobás, Probabilistic combinatorics and its applications, Proceedings ofSymposia in Applied Mathematics 44 (AMS, Providence), 1991. 4. R. Gupta, S. Smolka, and S. Bhaskar, On randomization insequential and distributed algorithms, Computing Surveys 26 (1994), no. 1, 7-86. 5. H. Karloff, Lecture notes on randomizedalgorithms, University of Chicago, 1991. 6. P. Raghavan, Lecture notes on randomized algorithms, IBM Research Report RC15340 (#68237), 1990. 7. J.H. Spencer, Ten Lectures on the Probabilistic Method, SIAM, Philadelphia, 1987.

19/09/05 às 16:3114 de 31Chronos




Relações Nominais




Modelagem e Indexação de Dados em Sistemas de Bancos de Dado MAC-5762 D 08 120 0

Ementa:

Bibliografia:

Abstrações de dados e suas representações em modelos de dados. Hierarquia de Abstração de dados: classificação,composição agregação, generalização. Objetos Complexos. Mapeamento de abstrações em modelos lógicos e físicos dedados. Representação e implementação de regras para integridade e consistência de domínios de aplicação. Limites dasrepresentações das abstrações de dados em ferramentas de software. Modelo Multidimensional de dados. Funções paraanálise de dados em modelos multidimensionais de dados. Estrutura de dados de índices convencionais. Técnicas deíndices em gerenciadores de dados relacionais e objetos. Índices para dados multidimensionais. Alternativas para indexaçãode bases de dados multimídia. Integração de índices em bases de dados heterogêneas. .

1. C. Zaniolo, S. Ceri, R.T. Snodgrass, C. Faloustos, Advanced Database Systems, Morgan Kaufmann Publishers, Inc, SanFrancisco, 1997. 2. R. Elmasri and S.B. Navathe, Fundamentals of Database Systems, 3nd. ed., Benjamin/Cummings,Redwood, 2000. 3. E. Bertino, J.Zobel, Indexing Techniques for advanced Database Systems, Kluwer Academic Publishers,Massachusetts, 1997. 4. V.W. Setzer, Bancos de Dados: Conceitos, Modelos, Gerenciadores, Projeto Lógico e ProjetoFísico, 3ª ed., Edgard Blucher, São Paulo, 1989. 5. Raghu Ramakrishnan, Database Management Systems,WCB/MacGraw-Hill, 1998. 6. T.J. Teorey, Database Modeling and Design, 3nd. ed., Morgan Kaufmann Publishers, Inc, SanFrancisco, 1999. 7. C.J. Date, An Introduction to Database Systems, 7nd. ed., Addison-Wesley Longman, Inc, 2000.



Morfologia Matemática MAC-5845 D 08 120 0

Ementa:

Bibliografia:

Este curso abordará os seguintes tópicos: 1. Filtros Morfológicos. 2. Decomposição de W-operadores. 3. Computaçãoincremental da base de W-operadores. 4. Decomposição de operadores definidos sobre reticulados completos. 5.Decomposição de WK-operadores. 6. Projeto de operadores morfológicos por otimização estatística. 7. Modelagem deinformação à priori para o projeto de operadores por otimização estatística.

1. J. Serra, Image Analysis and Mathematical Morphology Part II, Theoretical Advances, Academic Press, 1988. 2. E.R.Dougherty and J. Astola, An Introduction to Nonlinear Image Processing, SPIE Optical Engineering Press, 1994. 3. G.Matheron, Random Sets and Integral Geometry, John Wiley, 1975. 4. E.R. Dougherty (ed.), Mathematical Morphology inImage Processing, Marcel Dekker, c1992. 5. M. Schmitt and J. Mattioli, Morphologie Matématique, Masson, 1993. 6. M.Anthony and N. Biggs, Computational Learning Theory -- An Introduction, Cambridge University Press, 1992. 7. H. J. A. M.Heijmans, Morphological Image Operators, Academic Press, 1994. 8. J. Barrera and G. P. Salas, Set operations oncollections of closed intervals and their applications to the automatic programming of morphological machines, Journal ofEletronic Imaging 5 (1996), no. 3, 335-352. 9. J. Barrera, E. R. Dougherty, and N. S. T. Hirata, Automatic design of optimalmorphological operators using prior filters, Special issue on Mathematical Morphology, edited by Jeulin and Chermant, of thejournal Acta Steriologica (1998), Invited submission. 10. J. Barrera, E. R. Dougherty, and N. S. Tomita, Automaticprogramming of binary morphological machines by design of statistically optimal operators in the context of computationallearning theory, Journal of Electronic Imaging 6 (1997), no. 1, 54-67.



Otimização Combinatória MAC-5781 D 08 120 0

Ementa:

Bibliografia:

O escopo da otimização combinatória e programação inteira. Modelagem de vários problemas usando variáveis 0/1. Oproblema do transporte. Especialização do método simplex para redes. Aplicações: teorema de Hall, teorema de König,teorema de Dilworth. O problema do transporte capacitado: o método primal-dual. Algoritmos para fluxos máximos em redes.Fluxos de custo mínimo e circulações viáveis: o método "out-of-kilter". Estudo aprofundado de poliedros de alguns problemasnão-unimodulares bem resolvidos (emparelhamentos, branchings, etc.). .

1. C.H. Papadimitriou and K. Steiglitz, Combinatorial Optimization: Algorithms and Complexity, Prentice-Hall, 1982. 2. V.Chvátal, Linear Programming, Freeman, 1983. 3. A. Schrijver, Theory of Linear and Integer Programming, Wiley, 1986. 4.E.L. Lawler, Combinatorial Optimization: Networks and Matroids, Holt, Rinehart & Winston, 1976. 5. G.L. Nemhauser and L.A.Wolsey, Integer and Combinatorial Optimization, Wiley, 1988.

19/09/05 às 16:3115 de 31Chronos




Relações Nominais




Palavras, Autômatos e Algoritmos MAC-5724 D 08 120 0

Ementa:

Bibliografia:

Autômatos finitos e sua representação no computador. Técnicas de espalhamento. Representação de conjuntos finitos depalavras, operacões sobre autômatos acíclicos. Algoritmos de busca de uma palavra num texto: autômato reconhecendo A*f,Knuth-Morris-Pratt, Boyer-Moore, Crochemore-Perrin. Algoritmos de busca de uma expressão racional num texto. Autômatodos sufixos de uma palavra e suas aplicações. Comparação de palavras, algoritmos diferenciados de arquivos (diff) e deBiologia Molecular. Compressão de palavras, métodos estáticos, adaptativos, aritméticos e de substituição de textos. .

1. M. Lothaire, Combinatorics on Words, Encyclopedia of Mathematics and its Applications, 17, Addison-Wesley, Reading,1983. 2. J.A. Storer, Data Compression: Methods & Theory, Principles of Computer Science, Computer Science Press,Rockville, 1988. 3. D.E. Knuth, Computers and Typesetting, TEX, the Program, vol. B,Addison-Wesley, Reading, 1986. 4. D.Sankoff and J.B. Kruskal (eds.), Time Warps, String Edits, and Macromolecules: the Theory and Practice of SequenceComparison, Addison-Wesley, Reading, 1983. 5. J.G. Cleary, T.C. Bell, and I.H. Witten, Text Compression, Prentice-Hall,1990. 6. M. Crochemore and W. Rytter, Text Algorithms, Oxford University Press, New York, 1994. 7. Notas de aula e artigosde pesquisa



Planejamento em Inteligência Artificial MAC-5788 D 08 120 0

Ementa:

Bibliografia:

1. Introdução e motivação - Agentes Inteligentes e Ambientes; A tarefa de planejamento; Planejamento versusescalonamento; Domínios de Planejamento; 2. Representação de conhecimento e planejamento baseado em lógica - Oproblema do Frame: Representação de ação e plano; Cálculo de Situações; Cálculo de Eventos;Planejamento Abdutivo; 3.Planejamento Clássico - Planejamento baseado em estados do mundo; Planejamento regressivo e progressivo; AçõesSTRIPS e anomalia de Sussman; Planejamento de ordem total (TO); Planejamento de ordem parcial (POP);Planejamentocom níveis de abstrações; Planejamento como decomposição hierárquica (HTN); Planejamento como refinamento de busca;Estratégias de compromisso; Planejamento como refinamento; Biblioteca de métodos de planejamento 4. Estendendo arepresentação de ações - Percepção e informação incompleta; Planejamento condicional; Planejamentotemporal;Intercalando planejamento e execução; Planejamento e escalonamento; 5. Novas abordagens de planejamento -GraphPlan, FF, SAT, TLplan, MDP; Planejamento com heurística; Planejamento dependente do domínio.

1. Stuart Russel and Peter Norvig, Artificial Intelligence - A Modern Approach, Prentice-Hall, 1995. 2. Murray Shanahan,Solving the Frame Problem, The MIT Press, 1997. 3. A. Tate, J. Hendler and M. Drummond, A review of ai planningtechniques, Readings in Planning (J. Allen, J. Hendler and A. Tate, eds.), Kaufmann, San Mateo, CA, 1990, pp. 26-49. 4. K.Erol, J. Hendler and D. S. Nau, UMCP: a sound and complete procedure for hierarchical task-network planning, The SecondInternational Conference on Artificial Intelligence Planning Systems (AIPS-94), 1994. 5. A. Barret and D. S. Weld,Partial-order planning: evaluating possible efficiency gains, Artificial Intelligence, 67, (1994). 6. Subarao Kambhampati,Refinement planning as a unifying framework for plan synthesis, AI Magazine, 18 (1997), no. 2. 7. Leliane Nunes de Barros,André Valente and V. Richard Benjamins, A library of system-derived problem-solving methods for planning, InternationalJournal of Human-Computer Studies, 48 (1998), 417-447.

19/09/05 às 16:3116 de 31Chronos




Relações Nominais




Poliedros em Otimização Combinatória MAC-5880 D 08 120 0

Ementa:

Bibliografia:

Resultados e conceitos fundamentais sobre poliedros, sistemas de inequações lineares e programação linear. Polaridade,poliedros bloqueadores e anti-bloqueadores. Poliedros integrais. Bases de Hilbert, sistemas TDI. Teoria dos planos-de-corte.Poliedros associados e problemas de otimização combinatória: poliedros bem caracterizados e poliedros de problemasNP-difíceis. Equivalência do problema da separação e da otimização. Teoremas mini-max. O método dos planos-de-corteespecializados: estudo de casos.

1. A. Schrijver, Theory of Linear and Integer Programming, Wiley, 1986. 2. G.L. Nemhauser and L.A. Wolsey, Integer andCombinatorial Optimization, Wiley, 1988. 3. W.R. Pulleyblank, Polyhedral combinatorics, Handbook in Optimization (G.L.Nemhauser, A.H.G. Rinnooy Kan, and M.J. Todd, eds.), Preprint. 4. A. Mandel, Desigualdades Lineares: Uma VisãoCombinatória, XV Coloq. Bras. de Matem., IMPA, 1985. 5. M. Grötschel, Developments in combinatorial optimization,Perspectives in Mathematics: Anniversary of Oberwolfach 1984 (W. Jager, J. Moser, and R. Remmert, eds.), Birkhäuser,1984. 6. M. Grötschel, L. Lovász, and A. Schrijver, Geometric Methods in Combinatorial Optimization, Springer, Berlin, 1988.7. B. Grünbaum, Convex Polytopes, Interscience-Wiley, London, 1967. 8. J. Stoer and C. Witzgall, Convexity andOptimization in Finite Dimensions I, Springer, 1970. 9. C.E. Ferreira e Y. Wakabayashi, Combinatória Poliédrica ePlanos-de-corte Faciais, X Escola de Computação, Campinas, 1996.



Princípios de Interação Homem Computador MAC-5786 D 08 120 0

Ementa:

Bibliografia:

1. Fatores humanos e softwares interativos. 2. Modelos de interação homem-computador. 3. Projeto de interfaces. 4. Testede usabilidade de interfaces. 5. Ferramentas de programação de interfaces. 6. Dispositivos para interação. 7. InterfacesWIMP. 8. Manipulação direta. 9. Ambientes virtuais. 10. Ambientes cooperativos. 11. Organização, busca e visualização deinformações. .

1. Baecker, R., Grudin, J., Buxton, W., and Greenberg, S.. "Readings in Human Computer Interaction: Towards the Year2000". 2nd edition, 950pgs., Morgan Kaufmann, CA, 1995. 2. Schneiderman, B.. "Designing the user interface". 3rd edition,Addison-Wesley, 1997. 3. Preece, J., Roger, Y., Sharp, H., and Benyon, D.. "Human computer interaction". Addison-Wesley,1994.



Problemas de Grande Porte em Programação Matemática MAC-5793 D 08 120 0

Ementa:

Bibliografia:

1. Manipulação e estratégias: por trechos, restrição, relaxação e direções variáveis. 2. Projeção, dualidade e linearização. 3.Métodos de Benders e de Rosen. 4. Sistemas hierárquicos: Lasdon, Takahashi e Balas. 5. Método de Dantzig-Wolfe. 6.Planos de corte (MCPA) de Eaves e Zangwill. 7. Programação dinâmica. .

1. C. Humes Jr, Problemas de Grande Porte em Programação Matemática, IBM, São Paulo, 1978, 80p. 2. L.S. Lasdon,Optimization Theory for Large Systems, Macmillan, London, 1970, 523p. 3. A.M. Geoffrion, Elements of large scalemathematical programming, Management Science 16 (1970), no. 11, 652-691.

19/09/05 às 16:3117 de 31Chronos




Relações Nominais




Processamento Digital de Imagens Teoria e Aplicações MAC-5745 D 08 120 0

Ementa:

Bibliografia:

Princípios físicos de formação de imagens. Sistema visual Humano. Sensores para a aquisição de imagens. Amostragem eQuantização. Visualizadores de imagens. Transformações aplicadas a imagens. Visualização, codificação, realce,restauração, segmentação e análise. Sistemas de processamento de Imagens. Topologia Digital e medidas.Reconhecimento de Padrões. Teoria de Informação. Transformadas. Filtros Lineares. Morfologia Matemática. .

1. R.C. Gonzalez and R.F. Woods, Digital Image Processing, 3rd ed., Addison-Wesley, 1992. 2. W.K. Pratt, Digital ImageProcessing, 2nd ed., Wiley, New York, 1991, 750p. 3. I. Pitas and A.N. Venetsanopoulos, Nonlinear Digital Filters: Principlesand Applications, Kluwer Academic Publishers, Boston, 1990. 4. R.M. Hanalick and L. Shapiro, Computer and Robot Vision,vol. 1, Addison-Wesley, 1991. 5. E.R. Dougherty, An Introduction to Morphological Image Processing, SPIE OpticalEngineering Press, 1992.



Processos de Controle Descentralizado MAC-5890 D 08 120 0

Ementa:

Bibliografia:

O Problema de roteamento em redes: visão centralizada.O Problema de planejamento de produção: visão centralizada.Abordagem hierárquica: na ausência e na presença de falhas.Resultados de estabilidade por "work in process": máquinaisolada e máquinas interligadas. A influência de topologia de conexão. Resultados de estabilidade com outras técnicas: ocálculo de retardos de l. Cruz, resultados por mapas de contração, a abordagem "black-box". Reguladores, "buckets" eoutros mecanismos de estabilização. Análise de perfomance. Pareto otimalidade de GCRR. Round-Robin e controle de fluxoequânime. Decomposição por "pricing" e outras questões em aberto. Caso estocástico: Aplicação de Modelos Fluidos edualidade entre "Performance" e Estabilidade.

1. E. Hahne, Round robin scheduling for fair flow control in data communication networks, Tech. Report LIDS-TH-1631,Laboratory for Information Decision Systems, MIT, 1986. 2. I. Cidon, I. Gopal, G. Grover, and M. Sidi, Real time packetswitching: a performance analysis, IEEE J. Selected Areas in Commun. 6 (1988), no. 9, 1576-1586. 3. G. Sasaki, Input bufferrequirements for round robin polling systems, Proc. 27th. Ann. Allerton Conf. Commun., Contr., and Computing (Monticello,Ill), 1989. 4. D. Bertsekas and R. Gallager, Data Networks, second ed., Prentice Hall, 1992. 5. G.F. Newell, Applications ofQueueing Theory, 2nd ed., Chapman and Hall, London, 1982. 6. C. Chase and P.J. Ramadge, On real-time schedulingpolicies for flexible manufacturing systems, IEEE Transactions on Automatic Control 37 (1992), 491-496. 7. T. Homem deMello and C. Humes Jr, Instability on manufacturing systems with decreasing service times, Pesquisa Operacional 11 (1991),no. 2, 17-27. 8. C. Humes Jr, A regulator stabilization technique: Kumar-seidman revisited, IEEE Transactions on AutomaticControl, to appear. 9. L. Kleinrock, Queueing Systems, vol. 2, Wiley, 1976. 10. P.R. Kumar and T.I. Seidman, Dynamicinstabilities and stabilization methods in distributed real-time scheduling of manufacturing systems, IEEE Transactions onAutomatic Control 35 (1990), no. 3, 289-298. 11. C.H. Lu and P.R. Kumar, Distributed scheduling based on due dates andbuffer priorities, IEEE Transactions on Automatic Control 36 (1991), no. 12, 1406-1416. 12. J. Perkins and P.R. Kumar,Stable, distributed, real-time scheduling of flexible manufacturing/assembly/disassembly systems, IEEE Transactions onAutomatic Control 34 (1989), no. 2, 139-148. 13. A. Sharifnia, Stability and performance of distributed production controlmethods based on continuous flow models, Pre-print. 14. T.M. Homem de Mello and C. Humes Jr, Some stability conditionsfor flexible manufacturing systems with no set-up times. 15. J.R. Perkins, C. Humes Jr., and P.R. Kumar, Distributed controlof flexible manufacturing systems: stability and performance, 1993, To appear. 16. A. Sharifnia, M. Caramanis, and S.Gershwin, Dynamical setup scheduling and flow control in manufacturing systems, Discrete Event Dynamic Systems: Theoryand Applications 1 (1991), 149-175. 17. R.L. Cruz, A calculus for network delay, part I: network elements in isolation, IEEETransactions on Information Theory 37 (1991), no. 1, 114-131. 18. R.L. Cruz, A calculus for network delay, part II: networkanalysis, IEEE Transactions on Information Theory 37 (1991), no. 1, 132-141. 19. A.F.P.C. Humes and C. Humes Jr, Stabilityof clearing open loop policies in manufacturing systems, Tech. Report RT-MAC-9305, IME/USP, 1993, 31p. 20. C. Humes Jr.,L. de O. Brandão, and M. Pera Garcia, A mixed dynamics approach for linear corridor policies (a revisitation of dynamic setupscheduling and flow control in manufacturing systems), Tech. Report RT-MAC-9304, IME/USP, 1993, 25p. 21. J.G. Dai,Stability of open multiclass queueing networks vi fluid models, Preprint, 1994.

19/09/05 às 16:3118 de 31Chronos




Relações Nominais




Programação Inteira MAC-5780 D 08 120 0

Ementa:

Bibliografia:

Problemas de programação inteira e aplicações. Complexidade de programação linear inteira. Matrizes totalmenteunimodulares: reconhecimento e conseqüências algorítmicas. Métodos de planos-de-corte. Métodos de enumeração: método"branch and bound" e programação dinâmica. Métodos de relaxação: relaxação de Lagrange. Métodos heurísticos eesquemas polinomiais de aproximação. .

1. A. Schrijver, Theory of Linear and Integer Programming, Wiley, 1986. 2. G. Nemhauser and R. Garfinkel, IntegerProgramming, Wiley, New York, 1972. 3. C.H. Papadimitriou and K. Steiglitz, Combinatorial Optimization: Algorithms andComplexity, Prentice-Hall, 1982. 4. G.L. Nemhauser and L.A. Wolsey, Integer and Combinatorial Optimization, Wiley, 1988.



Programação Linear MAC-5790 D 08 120 0

Ementa:

Bibliografia:

Introdução. Métodos clássicos de otimização. Caracterização de poliedros. Programação linear: teorema fundamental;interpretação geométrica; aplicações; métodos simplex (revisado e tabular); dualidade; métodos dual simplex e primal-dual;análise de sensibilidade. Aplicação da dualidade: teoremas de alternativas e programação linear paramétrica. Método doselipsóides. Introdução aos métodos de trajetória central. Complexidade.

1. C. Humes Jr. and A.F.P.C. Humes, Programação Linear, SBMAC, Rio de Janeiro, 1986. 2. G.B. Dantzig, LinearProgramming and Extensions, University Press, Princeton, 1962. 3. C. Gonzaga, Métodos de Pontos Interiores, IMPA, Rio deJaneiro, 1992. 4. P.F. Bregalda, A.A.F. Oliveira, and C.T. Bornstein, Introdução à Programação Linear, Editora Campus, Riode Janeiro, 1981. 5. M. Simmonard, Programmation Linéaire, Dunod, Paris, 1962.



Programação Não-Linear MAC-5791 D 08 120 0

Ementa:

Bibliografia:

1. Programação convexa: conjuntos convexos, lema de separação, teoremas de alternativa (Farkas e Gordan), funçõesconvexas, condições de ponto de sela de Fritz-John e de Kuhn-Tucker, condições de qualificação. 2. Programaçãodiferenciável: pontos estacionários de Fritz-John e Kuhn-Tucker, condições de qualificação, lema de Abadie, direçõesviáveis. 3. Dualidade de Wolfe: programação convexa e dual de Rockafellar, estabilidade da função perturbação esubdiferenciabilidade. 4. Aplicações: métodos numéricos (formulação de Luenberger) e métodos de pontos interiores sob oponto de vista de Métodos de Penalidades. .

1. P.P. Varaiya, Notes on Optimization, Van Nostrand, 1972. 2. O.L. Mangasarian, Nonlinear Programming, McGraw-Hill,1972. 3. D.G. Luenberger, Introduction to Linear and Nonlinear Programming, Addison-Wesley, 1973. 4. A.M. Geoffrion,Duality in nonlinear programming: a simplified application-oriented approach, SIAM Review 12 (1970), no. 1, 79-97. 5. M.D.Canon, C.D. Cullum, and E. Polak, Theory of Optimal Control and Mathematical Programming, Series in Systems Science,McGraw-Hill, 1970. 6. J. Stoer and C. Witzgall, Convexity and Optimization in Finite Dimensions I, Springer, 1970. 7. I.V.Girsanov, Lectures on the Mathematical Theory of Extremum Points, Springer, 1970.

19/09/05 às 16:3119 de 31Chronos




Relações Nominais




Programação Orientada a Objetos MAC-5714 D 08 120 0

Ementa:

Bibliografia:

1. classes e objetos; 2. mensagens e métodos; 3. subclasses: herança, poliformismo; 4. classes abstratas; 5. análise eprojeto; 6. o catálogo de padrões e suas aplicações; 7. Smalltalk v5, C++, Java: classes versus tipos, tipos estáticos edinâmicos, métodos de resolução de mensagens, metaclasses, templates.

1. K. Arnold and J. Gosting, The Java Programming Language, Addison-Wesley, 1996. 2. Grady Booch, Object-orientedAnalysis and Design with Applications, Benjamin/Cummings,1994. 3. T. Budd, An Introduction to Object OrientedProgramming, Addison-Wesley, 1996. 4. F. Buschman, R. Meunier, H. Rohnert, P. Sommerland, and M. Stal,Pattern-Oriented Software Architecture: A System of Patterns, John Wiley & Sons, 1996. 5. M.A. Ellis and B. Stroustrup, TheAnnotated C++ Reference Manual, Addison-Wesley, 1991. 6. Erich Gamma, Richard Helm, Ralph Johnson, and JohnVlissides, Design Patterns: Elements of Reusable Object-Oriented Software, Addison-Wesley, 1995. 7. W. Lalonde,Discovering Samlltalk, Benjamin/Cummings, 1994.



Projeto e Análise de Algoritmos MAC-5811 D 04 60 0


Bibliografia:

1. Fundamentos básicos: noções sobre modelos de computação e eficiência de algoritmos, notação assintótica, resolução derecorrências, probabilidade discreta. 2. Técnicas de projeto de algoritmos: divisão-e-conquista, programação dinâmica,algoritmos gulosos, algoritmos probabilísticos. 3. Projeto e análise de algoritmos de classificação e busca, medianas eestatísticas de ordem. 4. Projeto e análise de algoritmos sobre cadeias de caracteres, matrizes, polinômios, grafos,aritmética inteira. 5. Uso e análise de estruturas de dados avançadas: árvores de busca binária, filas de prioridade, hashing,union-find. 6. Teoria de complexidade computacional.

1. T.H. Cormen, C.E. Leiserson, R.L. Rivest, and C. Stein, Introduction to Algorithms, 2nd. ed. ed., MIT Press & McGraw-Hill,2001. 2. T.H. Cormen, C.E. Leiserson, R.L. Rivest, and C. Stein, Algoritmos: Teoria e Prática, Campus, 2002. 3. Compêndiode exercícios de análise de algoritmos, Departamento de Ciência da Computação do IME-USP, Disponível emhttp://www.ime.usp.br/dcc/posgrad/mac5811/.



Raciocínio sobre Conhecimento MAC-5729 D 08 120 0

Ementa:

Bibliografia:

Revisão de crenças: o modelo AGM, motivação, postulados , construções e suas limitações; 2. Revisão de crenças: modelosalternativos, bases, tolerância à inconsistência, relevância; 3. Lógicas não monotônicas: lógica de defaults, circunscrição,lógicas preferenciais; 4. Lógicas epistêmicas, operadores de conhecimento, crença; 5. Conhecimento distribuído, interaçãoentre agentes.

Peter Gardenfors, Knowledge in Flux - Modeling the Dynamics of Epistemic States, MIT Press, 1988. 2. Peter Gardenfors(ed.), Belief Revision, Cambridge University Press, 1992. 3. Sven Ove Hansson, A Textbook of Belief Dynamics, KluwerAcademic Press, 1999. 4. Ronald Fagin, Joseph Halpern, Yoram Moses, and Moshe Vardi, Reasoning about knowledge, MITPress, 1995. 5. Hector Levesque and Gerhard Lakemeyer, The Logic of Knowledge Bases, MIT Press, 2000. 6. GerhardBrewka, Jurgen Dix, and Kurt Konolige, Nonmonotonic Reasoning, CSLI Publications, 1997.

19/09/05 às 16:3120 de 31Chronos




Relações Nominais




Reconhec.de Objetos por An. Estrutural e Temporal de Padrões MAC-5777 D 08 120 0

Ementa:

Bibliografia:

1. Revisão sobre análise de formas 2D 2. Abordagem estrutural para reconhecimento de padrões 3. Análise da posiçãorelativa entre objetos em imagens 4. Rastreamento de objetos em seqüências de vídeo 5. Reconhecimento de objetos emseqüências de vídeo 6. Segmentação de objetos em range images 7. Reconhecimento de objetos em range images

1. I. Bloch and A Ralescu. Directional relative position between objects in image processing: a comparison between fuzzyapproaches. Pattern Recognition, 36(7): 1563-1582,2003. 2. S Edelman, Representation and Recognition in Vision, MITPress, 1999. 3. K.S. Fu, Syntactic Pattern Recognition and Applications. Prentice-Hall, Englewood Cliffs, NJ, 1982. 4. S.Gong, Dynamic Vision: from Images to Face Recognition, Imperial College Press, 2000 5. P. Matsakis, J.M. Keller, O.Sjahputera, and J. Marjamaa. The use of force histograms for affine invariant relative position description. IEEE Transactionson Pattern Analysis and Machine Intelligence, 26(1):1-18, 2004. 6. T. Pavlidis. Structural Pattern Recognition.Springer-Verlag, NY, 1977. 7. Emanuele Trucco, Alessandro Verri, Introductory Techniques for 3-D Computer Vision, PrenticeHall, 1998. 8. H. Wechsler, Computational Vision, Academic Press, 1990



Redes de Dados MAC-5757 D 08 120 0

Ementa:

Bibliografia:

O conceito de camadas: conceitos básicos e perspectiva histórica. A camada física: canais e modems, erros, retransmissão,protocolos ARQ. A camada de transporte: TCT, TCT/IP. Modos assincronos de transferência. Modelos de retardo em redes:sistemas elementares de filas; redes de filas (com enfase em redes de Jackson). Comunicação com acesso múltiplo: canaisde satélites, PRN, etc. Modelos idealizados e algoritmos de divisão (``splitting''). Sistemas de reservas múltiplas.Roteamento: uma visão geral. Algoritmos em redes. Modelos de fluxos e roteamento ótimo. Controle (adaptativo) de fluxo:janelas e controle por velocidade.

1. D. Bertsekas and R. Gallager, Data Networks, second ed., Prentice Hall, 1992. 2. J. Walrand, Communication Networks: afirst course, Aksen Associates, Boston, 1991. 3. L. Kleinrock, Queueing Systems, vol. 1, Wiley, 1976. 4. L. Kleinrock,Queueing Systems, vol. 2, Wiley, 1976.



Reutilização de Software e Hardware MAC-5766 D 08 120 0

Ementa:

Bibliografia:

1. O problema da reutilização: a) Informação reutilizável em software e hardware; b) Dilemas e fatores que inibem areutilização; c) O processo de reutilização no desenvolvimento de sistemas; d) Problemas Operacionais da reutilização; 2.Conceitos e abordagens de reutilização: a) Conceitos fundamentais; b) Abordagens; 3. Desenvolvimento com e parareutilização; 4. Reutilização sistemática: a) Seleção; b) Transformação; c) Integração; 5. Reutilização Formal: a) Seleção; b)Tranformação; c) Integração; 6. Níveis de Abstração: a) Código (COTS - Components Of The Shelf); b) Design (Patterns eFramerworks); c) Síntese de hardware; 7. Custo/Benefício da reutilização. .

1. Software Reuse Techniques, Carma McClure, Prentice-Hall PTR, 1997; 2. Software Reuse - Architecture, process andorganization for business sucess, I. Jacobson, M. Griss & P. Jonsson, Addison-Wesley, 1997; 3. Software Reusability, W.Schäfer, R. Preito-Díaz & M. Matsumoto, Ellis Horwood, 1994; 4. Software Reusability - Concepts and Models, Vol. I, T.J.Biggerstaff & A.J. Perlis, Addison-Wesley, 1989; 5. Software Reusability - Applications and Experience, Vol. II, T.J.Biggerstaff & A.J. Perlis, Addison-Wesley, 1989; 6. Analysis Patterns - Reusable Object Models, M. Fowler, Addison-Wesley,1997. Além da bibliografia básica supra-citada, um conjunto de artigos provenientes de conferências e Journals (ACM eIEEE) será também objeto de estudo desta disciplina.

19/09/05 às 16:3121 de 31Chronos




Relações Nominais




Semi-Grupos Finitos e Álgebra Universal MAC-5825 D 08 120 0

Ementa:

Bibliografia:

1. Introdução. Semigrupos livres. Reconhecibilidade por autômatos finitos e por semigrupos finitos. Semigrupos sintáticos. 2.Uma perspectiva mais geral: álgebra universal. Linguagens algébricas. Álgebras livres; identidades; variedades. Completudeda lógica equacional. Pseudovariedades. Definição de pseudovariedades por filtros de identidades. Correspondências do tipoEilenberg: variedades de filtros de congruências. Álgebras topológicas de operações implícitas. Pseudoidentidades;conjuntos fechados de pseudoidentidades. Existência de bases (finitas) de identidades e de pseudoidentidades. 3.Operadores sobre pseudovariedades: Produto semidireto. Objetos livres e operações implícitas. A pseudovariedade sobrepseudovariedades: Produtos semidiretos iterados de semi-reticulados. Com*D e algumas de suas subpseudovariedades.Produtos semidiretos iterados de semi-reticulados. Pseudovariedades fechadas para produto semidireto. 4. Operadoressobre pseudovariedades: Supremo. Operações implícitas sobre J. Aplicações ao cálculo de supremos (G v Com, R v L, etc.).5. Operadores sobre pseudovariedades: Potência. Variedades. Pseudovariedades permutativas. Pseudovariedades nãopermutativas minimais. Aspectos qualitativos. 6. Outros tópicos. Pseudovariedades de semigrupos vs pseudovariedades demonóides. Semigrupos completamente simples. Operações implícitas regulares. Fatoração em operações regulares aexplícitas.

1. J. Almeida, Finite Semigroups and Universal Algebra, World Scientific, Singapore, 1995. 2. S. Burris and H.P.Sankappanavar, A Course in Universal Algebra, Graduate Texts in Mathematics, 78, Springer, New York, 1981. 3. S.Eilenberg, Automata, Languages and Machines, Pure and Applied Mathematics, 59, vol. B, Academic Press, New York,c1976. 4. O.G. Kharlampovich and M.V. Sapir, Algorithmic problems in varieties, Preprint, 1994. 5. J.-E. Pin, Varieties ofFormal Languages, North Oxford Academic, London, 1986, English translation of Variétés de Languages Formels, Masson,Paris, 1984. 6. H. Straubing, Finite Automata, Logic and Circuit Complexity, Birkhäuser, 1994. 7. S. Willard, GeneralTopology, Addison-Wesley, New York, 1970.



Seminários em Ciência da Computação MAC-5700 D 04 60 0

Ementa:

Bibliografia:

Atividades desenvolvidas através da apresentação de vários seminários abordando tópicos de vanguarda em Ciência daComputação, apresentados por vários pesquisadores do IME e de outras Instituições. O conjunto de tópicos abordados seráamplo, incluindo tópicos em algoritmos, Banco de Dados, Otimização Combinatória, Combinatória, Otimização Contínua,Compilação, Processamento de Imagens, Programação em Lógica, Computação Gráfica, Sistemas Distribuídos,Computação Paralela, Sistemas Operacionais, Criptologia, Teoria dos Autômatos, Engenharia de Software, Teoria deComplexidade, Inteligência Artificial, Linguagens Formais, Teoria dos Grafos, Lógica Computacional e Visão Computacional.

SEM



Sintese de Imagens Digitais MAC-5748 D 08 120 0

Ementa:

Bibliografia:

1. Amostragem e Reconstrução em Computação Gráfica: cena, imagem ideal e imagem discreta; amostragem ideal ereconstrução, o teorema da amostragem de Shannon; amostragem e reconstrução em Computação Gráfica. 2. Algoritmos deAmostragem pontual; algoritmos bidimensionais para traçar segmentos de retas e curvas; algoritmos para preenchimento deregiões fechadas; técnicas clássicas para renderização tridimensional. 3. O Problema de Aliasing: pré-filtragem epós-filtragem. 4. Pré-Filtragem e aplicações em renderização; estudo das diversas técnicas de pré-filtragem para cenasbidimensionais. 5. Técnicas de pós-filtragem para cenas tridimensionais; pós-filtragem e aplicações em foto-realismotridimensional. .

1. J.D. Foley, A. van Dam, S.K. Feiner, and J.F. Hughes, Computer Graphics: Principles and Practice, Second Edition in C,second ed., Addison-Wesley, 1996. 2. A.S. Glassner, Principles of Digital Synthesis, Morgan Kauffmann, 1995 3. A. Watt,3-D Computer Graphics, Second Edition, Addison Wesley, 1993.

19/09/05 às 16:3122 de 31Chronos




Relações Nominais




Sistemas de Objetos Distribuídos MAC-5759 D 08 120 0

Ementa:

Bibliografia:

1. Revisão de conceitos de orientação a objetos e de sistemas distribuídos. 2. CORBA, a arquitetura padronizada pelo OMG:invocação remota de métodos; estrutura e componentes de um Object Request Broker; linguagem de definição de interfaces(IDL) e seu mapeamento para linguagens de implementação (C++, Java). 3. Outros componentes da arquitetura do OMG:Object Services e Common Facilities. 4. CORBA e o WWW. O papel da linguagem Java na arquitetura do OMG. 5. Outrasarquiteturas para objetos distribuídos.

1. J. Siegel, CORBA Fundamentals and Programming, Wiley, 1996. 2. R. Orfali and D. Harkey, Client/Server Programmingwith Java and CORBA, Wiley, 1997. 3. Object Management Group, The Common Object Request Broker: Architecture andSpecification, Revision 2.0, July 1995. 4. Object Management Group, CORBAservices: Common Object ServicesSpecification, Revised Edition, March 1995, Updated November 1996.



Sistemas Distribuídos: Protocolos e Ambientes de Programação MAC-5756 D 08 120 0

Ementa:

Bibliografia:

1. Introdução e Conceitos básicos: (processo, thread, comunicação síncrona e asíncrona, RPC, comunicação de grupo,relógios lógicos, estados globais, cortes cosistentes, snapshots, transações atômicas, classificação das falhas, falhasbizantinas); 2. Protocolos p/ sincronização de relógios; 3. Protocolos p/ comunicação de grupo (confiável, com entregaordenada, atômica); 4. Protocolo p/ obtenção de estados locais consistentes e de evaluação de predicados globais; 5.Tolerância à falha através das estratégia ``active replication'' e ``primary-backup''; 6. Modelo básico e facilidades de diversosambientes de programação: (Conic, Concert/C, Linda, Argus, Isis, DCE) .

1. S. Mullender (ed.), Distributed Systems, Addison-Wesley, 1993. 2. A.S. Tanenbaum, Modern Operating Systems,Prentice-Hall, New Jersey, 1992. 3. K. Birman and R.v. Renesse, Reliable Distributed Computing with the Isis Toolkit,Computer Society Press, 1994. 4. M. Sloman and J. Kramer, Distributed Systems and Computer Networks, Prentice-Hall,1987. 5. H.E. Bal, J.G. Steiner, and A.S. Tanenbaum, Programming languages for distributed computing systems, ACMComputing Surveys 21 (1989), no. 3.



Sistemas Operacionais MAC-5753 D 08 120 0

Ementa:

Bibliografia:

Intr. a Arquiteturas: Convencionais, Multiprocessadores, Paralelas com memória distribuída e Redes; Multiprocessamento emultiprogramação; Gerenciamento de memória: memória real vs. virtual, paginação e segmentação, memória cacheProcessos: estados, contexto, gerenciamento pelo kernel, escalonamento, sinais e interrupções; Comunicação local: pipes,FIFOs, message queues, memória compartilhada; Comunicação remota: síncrona, assíncrona, sockets, Chamada Remotade Procedimentos (RPC) e Rendezvous, Protocolos de Comunicação em Redes: IP, TCP, UDP, etc. Threads:gerenciamento, sincronização: semáforos, regiões críticas condicionais, monitores; Entrada e Saida: aspectos de HW e SW,dispositivos de bloco e caractere (terminais, discos, relógio, rede), independência de dispositivo, drivers Sistemas deArquivos: tipos de arquivos: seqüenciais, acesso indexado, acesso direto, diretórios hierárquicos, organização física e acessoa arquivos, mecanismos de proteção, Sistemas de Arquivos; Distribuídos; Estudo de Casos: Unix, MACH, Windows NT,Estruturação via Orientação a Objetos; Arquitetura Microkernel. .

1. A.S. Tanenbaum, Modern Operating Systems, Prentice-Hall, New Jersey, 1992. 2. Abraham Silberschatz and Peter Galvin,Operating System Concepts, 4a. ed., Addison Wesley, 1994. 3. W. Richard Stevens, Unix Network Programming,Prentice-Hall, 1990.

19/09/05 às 16:3123 de 31Chronos




Relações Nominais




Sistemas Operacionais Distribuídos MAC-5755 D 08 120 0

Ementa:

Bibliografia:

Conceitos básicos; Arquiteturas; Microkernel; Gerenciamento de Processos e threads; Alocação de Processadores eMigração; Comunicação entre processos; Remote; Procedure Call; Envio de mensagens; Comunicação de grupo; Algoritmosde eleição; Sincronização entre processos; Serviços distribuídos (Serviço de nomes, de arquivos); Segurança, autenticação;Exemplos: Mach, Amoeba, Chorus, Isis, etc. .

1. A.S. Tanenbaum, Modern Operating Systems, Prentice-Hall, New Jersey, 1992. 2. S. Mullender (ed.), Distributed Systems,Addison-Wesley, 1993. 3. M. Sloman and J. Kramer, Distributed Systems and Computer Networks, Prentice-Hall, 1987. 4. W.Richard Stevens, Unix Network Programming, Prentice-Hall, 1990.



Software Confiável: Desenvolvimento Formal MAC-5785 D 08 120 0

Ementa:

Bibliografia:

1. Introdução ao desenvolvimento formal de software: a) Motivação e modelos de ciclo de desenvolvimento; b) Classificaçãode métodos baseados em modelos e orietados a propriedades. 2. Revisão de tópicos de fundamentais (cálculo depredicados, teoria dos conjuntos, seqüências e bags, ...). 3. Linguagens de especificação baseadas em modelos: VDM/Z. 4.Refinamento para especificações baseadas em modelos (da especificação à codificação). 5. Estudo de casos industriais(ferramentas/ambientes serão utilizados na prática de tais estudos). 6. Projetos utilizando técnicas de refinamento. 7.Extensões de Z e VDM que incluem orientação a objetos. 8. Análise comparativa entre métodos. .

1. Using Standart Z: Specification, Refinement and Proof, por J.C.P. Woodock, Prentice Hall, 1996. 2. A way of Z: praticalprogramming with formal methods, por J. Jacky, Cambridge Univ. Press, 1997. 3. Systematic Software Development UsingVDM, por C. B. Jones, Prentice Hall - Int. Ser. In Comp. Sci., 1990. 4. Applications of Formal Methods, por M. G. Hinchey &J. G. Bowen, Prentice Hall - Int. Ser. In Comp. Sci., 1995.



Técnicas de Paralelização em Compiladores MAC-5841 D 08 120 0

Ementa:

Bibliografia:

Os principais tópicos a serem cobertos incluem: caracterização de dependências de dados existentes no programa, detecçãode paralelismo e tarefas independentes, alocação ou escalonamento de tarefas independentes e comunicantes paraexecução em processadores. 1. Introdução: arquiteturas paralelas e compiladores, fontes e tipos de paralelismo, expressãode paralelismo em programas, papel do compilador. 2. Re-estruturação de programas: dependências de dados, otimizaçãousuais, transformações de laços ("loops"), encolhimento de ciclos de dependências em laços, bloqueamento de laços,rotação de laços. 3. Escalonamento de laços: escalonamento estático, escalonamento dinâmico, algoritmos deescalonamento GSS ("guided self-scheduling"). 4. Ferramentas avançadas para paralelização automática: estudo depropostas recentes.

1. A. Darte and Y. Robert, Scheduling uniform loop nests, Tech. report, LIP, École Normale Supérieure de Lyon, 1992. 2. M.L.Dowling, Optimal code parallelization using unimodular transformations, Paralell Computing 16 (1990), 157-171. 3. M. Girkarand C. Polychronopoulos, Automatic extraction of functional parallelism from ordinary programs, IEEE Transactions ofParallel and Distributed Systems 3 (1992), no. 2, 166-178. 4. U. Kremer, H.J. Bast, M. Gerndt, and H.P. Zima, Advanced toolsand techniques for automatic parallelization, Parallel Computing 7 (1988), 387-393. 5. L.S. Liu, C.W. Ho, and J.P. Sheu, Onthe parallelism of nested for-loops using index shift method, Proceedings of International Conference on Parallel Processing,1990, pp. II-119-123. 6. J.K. Peir and R. Cytron, Minimum distance: a method for partitioning recurrences for multiprocessors,IEEE Transactions on Computers 38 (1989), no. 8, 1203-1211. 7. C.D. Polychronopoulos, Parallel programming andcompilers, Kluwer Academic Publishers, Boston, 1988. 8. C.D. Polychronopoulos, Compiler optimization for enhancingparallelism and their impact on architecture design, IEEE Transactions on Computers 37 (1988), no. 8, 991-1004. 9. Y. Robertand S.W. Song, Revisiting cycle shrinking, Parallel Computing 18 (1992), no. 5, 81-496. 10. W. Shang, M.T. O'Keefe, andJ.A.B. Fortes, Generalized cycle shringking, Parallel Algorithms and VLSI Architectures II (P. Quinton and Y. Robert, eds.),North-Holland, 1991. 11. T.H. Tzen and L.M. Ni, Dynamic loop scheduling for shared memory multiprocerssors, Proceedingsof the 1991 International Conference on Parallel Processing, 1991, pp. II-247-250. 12. M. Wolfe, Data dependence andprogram restructuring, The Journal of Supercomputing 4 (1990), 321-344. 13. M. Wolfe, Optimizing supercompilers forsupercomputers, MIT Press, Cambridge, 1989.

19/09/05 às 16:3124 de 31Chronos




Relações Nominais




Técnicas de Programação Declarativa MAC-5734 D 08 120 0

Ementa:

Bibliografia:

1. Lógica de 1a. ordem, Prova Automática de Teoremas, resolução, negação por falha finita, SLDNF - revisão; 2. Bancos dedados dedutivos; 3. Listas e funções; 4. Números e aritmética; 5. Predicados meta e extra-lógicos; 6. "Cut" e "fail"; 7.Disciplina de programação em lógica, editores e ambientes de programação; 8. Listas de diferenças; 9. Avaliação parcial;10."DCG's"; 11. Programação em ordens superiores; 12. Meta-Programação;13. Programação em lógica com tipos; .

1. W.F. Clocksin and C.S. Mellish, Programming in PROLOG, Springer, 1984. 2. R. O'Keefe, The Craft of PROLOG, MITPress, 1990. 3. D.S. Robertson, Quick PROLOG, Tech. report, Dept. of Artificial Intelligence, University of Edinburgh, 1991.4. L. Sterling and E. Shapiro, The art of PROLOG, MIT Press, 1986.



Teoria de Programação em Lógica MAC-5733 D 08 120 0

Ementa:

Bibliografia:

1. Lógica de 1a. ordem e Prova de Teoremas -- Revisão; 2. Modelos de Herbrand; 3. Resolução; 4. Resolução SLD eProgramação em Cláusulas Definidas (PCD); 5. Modelos de PCD's. Correção e Completude da Resolução SLD. Estratégiasde Resolução "fairness"; 6. "PCD=Máquina de Turing"; 7. Negação por Falha Finita. Resolução SLDNF e Programação emCláusulas Normais (PCN); 8. Modelos de PCN's - Modelos por Pontos Fixos; 9.Modelos de PCN's - Modelos Modais;10.Modelos de PCN's - Modelos pela Completude de Clark; 11.Extensões de Programação em Lógica .

1. K.F. Apt, Introduction to logic programming, Handbook of Theoretical Computer Science B (J. van Leewen, ed.), MITPress, 1990. 2. N. Bidoit, Negation in rule-based database languages: a survey, Theoretical Computer Science 78 (1991). 3.K. Doets, From Logic to Logic Programming, MIT Press, 1994. 4. C.J. Hogger, Essentials of logic programming, Oxford Univ.Press, 1990. 5. E. Mendelson, Introduction to mathematical logic, 3rd ed., Wadsworth & Brooks/Cole, 1987. 6. D. Turi, Logicprograms with negation: classes, models, interpreters, Tech. Report CS-R8943, Centre for Mathematics and ComputerScience, 1989.



Teoria dos Autômatos Finitos MAC-5720 D 08 120 0

Ementa:

Bibliografia:

Autômatos e conjuntos reconhecíveis. Autômatos determinísticos. Monóides sintáticos. Multiplicidades com coeficientes numsemianel. Conjuntos racionais. Relações racionais. Máquinas sequênciais. Palavras infinitas. .

1. S. Eilenberg, Automata, Languages and Machines, Pure and Applied Mathematics, 59, vol. 1, Academic Press,c1974/1976.



Teoria dos Grafos MAC-5771 D 08 120 0

Ementa:

Bibliografia:

1. Fluxo máximo; teorema de Ford e Fulkerson. 2. Circulações viáveis; teorema de Hoffman. Espaços dos ciclos e dosco-ciclos. Trilhas eulerianas. 3. Conexidade; teorema de Menger. 4. Emparelhamentos máximos (em grafos arbitrários);teorema de Tutte; algoritmo de Edmonds. 5. Conjuntos estáveis máximos. Coloração de vértices. Grafos perfeitos. 6.Números de Ramsey. 7. Grafos planares; algoritmo de planaridade; teorema de Kuratowski. Dualidade planar. 8. Matrizesassociadas a grafos, teorema matriz-árvore. 9. Problemas extremos; teorema de Turán.

1. B. Bollobás, Graph Theory: an Introductory Course, Springer, 1979. 2. B. Bollobás, Extremal Graph Theory, AcademicPress, London, 1985. 3. F. Harary, Graph Theory, Addison-Wesley, Reading, 1972. 4. C. Berge, Graphs and Hypergraphs,North-Holland, Amsterdam, 1973.

19/09/05 às 16:3125 de 31Chronos




Relações Nominais




Teoria dos Matroides MAC-5773 D 08 120 0

Ementa:

Bibliografia:

Sistemas de independência e matróides. Várias definições em termos de conjuntos independentes, circuitos, conjuntosfechados, etc. Dualidade. Conexidade. Matróides transversais e funções de matróides. Representações lineares. O anel deTutte-Grothendieck. Morfismos, teorema de Edmonds-Higgs. Extensões pontuais. Algoritmos: método guloso, interseção epartição de matróides. Elementos de matróides orientados. .

1. D.J.A. Welsh, Matroids, L.M.S. Monographs, 8, Academic Press, 1976. 2. N. White (ed.), Theory of Matroids, CambridgeU. Press, 1986. 3. N. White (ed.), Combinatorial Geometries, Cambridge U. Press, 1987. 4. J. Oxley, Matroid Theory.



Teoria dos Semi-Grupos e Aplicações MAC-5820 D 08 120 0

Ementa:

Bibliografia:

Teoria dos ideais de um semi-grupo; as relações de Green e sua computação. Semi-grupos simples; o teorema deRees-Suschkewitsch. Teoria de decomposição de semi-grupos finitos; o teorema de Krohn-Rhodes. Variedades desemi-grupos, o teorema de Eilenberg-Schützenberger. Semi-grupos sintáticos e variedades de linguagens; exemplos.Códigos prefixos racionais e seus semi-grupos sintáticos. Condições de finitude para semi-grupos. Semi-grupos de matrizese o problema de Burnside.

1. A.H. Clifford and G.B. Preston, The Algebraic Theory of Semigroups, Mathematical Surveys, 7, AMS, 1967. 2v. 2. S.Eilenberg, Automata, Languages and Machines, Pure and Applied Mathematics, 59, Academic Press, c1974-76, 2v. 3. G.Lallement, Semigroups and Combinatorial Applications, Pure and Applied Mathematics, Wiley, 1979. 4. P.M. Higgins,Techniques of Semigroup Theory, Oxford Univ. Press, 1992. 5. H. Straubing, Finite Automata, Logic and Circuit Complexity,Birkhäuser, 1994.



Teoria e Construção de Compiladores MAC-5750 D 08 120 0

Ementa:

Bibliografia:

Noções de gramáticas formais e autômatos. Analisadores léxicos e sintáticos. Geração de programa-objeto. Blocos.Variáveis indexadas. Comandos e expressões condicionais. Comandos iterativos. Procedimentos. Otimização deprogramas-objeto. Semântica de linguagens de programação. .

1. J.P. Tremblay and P.G. Sorenson, The Theory and Practice of Compiler Writing, McGraw-Hill, New York, 1985. 2. A.V.Aho, R. Sethi, and J.D. Ullman, Compilers: Principles, Techniques, and Tools, Addison-Wesley, Reading, 1986. 3. V.W.Setzer and I.S. Homem de Melo, A Construção de um Compilador, vol. 1 e 2, II Escola de Computação, Campinas, 1981.

19/09/05 às 16:3126 de 31Chronos




Relações Nominais




Teoria Extremal de Conjuntos MAC-5774 D 08 120 0

Ementa:

Bibliografia:

1. Tópicos básicos: O teorema de Sperner, as desigualdades da família BLYM, métodos de álgebra multilinear e o teoremaFrankl-Kalai, os teoremas Kruskal-Katona e Erdos-Ko-Rado, o teorema de Katona, os teoremas Sauer-Shelah sobre traçosde hipergrafos, o lema de Kleitman e o teorema das quatro funções de Ahlswede e Daykin, desigualdades isoperimétricasdiscretas clássicas no hipercubo, métodos probabilísticos na teoria de hipergrafos: a demonstração de Rödl da conjectura deErdos e Hanani e o teorema de Pippenger sobre empacotamentos e coberturas. 2. Possíveis tópicos avançados: Osproblemas tipo Turán e Ramsey-Turán, a teoria de hipergrafos pseudo-aleatórios, as teorias estrutural e infinita de Ramsey,refinamentos do método de Rödl devidos a Pippenger, Spencer e Kahn. .

1. I. Anderson, Combinatorics of Finite Sets, Oxford University Press, Oxford, 1987, xv + 250p. 2. L. Babai and P. Frankl,Linear Algebra Methods in Combinatorics (preliminary version 2), Dept. of Computer Science, The University of Chicago,1992. 3. B. Bollobás, Combinatorics, Cambridge University Press, Cambridge, 1986, xii + 177p. 4. P. Frankl, The shiftingtechnique in extremal set theory, Surveys in Combinatorics (C. Whitehead, ed.), London Mathematical Society, Lecture NoteSeries, 123, Cambridge University Press, Cambridge, 1987, pp. 81-110. 5. Z. Füredi, Matchings and covers in hypergraphs,Graphs and Combinatorics 4 (1988), 115-206. 6. C.G. Moreira, Y. Kohayakawa, Tópicos em Combinatória Contemporânea,Publicações Matemáticas do IMPA, IMPA, Rio de Janeiro, 2001, X + 145 pp.



Tópicos da Teoria do Modelo Relacional de Dados MAC-5860 D 08 120 0

Ementa:

Bibliografia:

1. Teoria axiomática das dependências funcionais (DFs). 2. Coberturas de DFs. 3. Síntese de relações a partir de DFs,comparação com a decomposição. 4. Funções de projeção-junção e a representação por tableaux. 5. Consultas a tableaux.6. Relações não-normalizadas.

1. D. Maier, The Theory of Relational Databases, Computer Software Engineering Series, Computer Science, Rockville,c1983. 2. R. Elmasri and S.B. Navathe, Fundamentals of Database Systems, 2nd. ed., Benjamin/Cummings, Redwood, 1994.



Tópicos de Programação Orientada a Objetos MAC-5715 D 08 120 0

Ementa:

Bibliografia:

. Metodologias de desenvolvimento de software orientado a objetos. 2. Arquitetura de software. 3. Padrões de desenho eanálise de software orientado a objetos. 4. Anti-padrões. 5. Refatoramento: técnicas sistemáticas para melhorar o desenhode software pré-existente. 6. Linguagens, sistemas e aplicações orientados a objetos. 7. Tecnologia de componentes.

(1) Kent Beck, Extreme Programming: Explained, Addison-Wesley, 2000. (2) Martin Fowler, Refactoring: Improving theDesign of Existing Code, Addison-Wesley, 2000.(3) Brian W. Kernighan and Rob Pike, The Practice of Programming,Addison-Wesley, 1998. (4) C. Szyperski, Component Software: Beyond Object-Oriented Programming, Addison-Wesley,1998. (5) E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design Patterns: Elements of Reusable Object-OrientedSoftware, Addison-Wesley, 1995. (6) Martin Fowler, Analysis Patterns: Reusable Object Models, Addison-Wesley, 2000. (7)Mary Shaw and David Garlan, Sofware Architecture: Perspectives on an Emerging Discipline, Prentice Hall, 1996. (8) F.Buschman, R. Meunier, H. Rohnert, P. Sommerland, and M. Stal, Pattern-Oriented Software Architecture: A system ofPatterns, John Wiley & Sons, 1996. (9) D. Schmidt, M. Stal, H. Rohnert, and F. Buschmann, Pattern-Oriented SoftwareArchitecture: Patterns for Concurrent and Distributed Objects, John Wiley & Sons, 2000.

19/09/05 às 16:3127 de 31Chronos




Relações Nominais




Tópicos em Algoritmos Paralelos usando MPI e BSP/CGM MAC-5705 D 08 120 0

Ementa:

Bibliografia:

1. Introdução: modelos de computação paralela, projeto e análise de algoritmos paralelos, troca de mensagens, PVM e MPI;2. Técnicas básicas: algoritmos para a soma nos modelos PRAM e BSP/CGM, implementação dos algoritmos de soma(BSP/CGM) usando o MPI, algoritmos para a soma de prefixos nos modelos PRAM e BSP/CGM, implementação dosalgoritmos de soma de prefixos (BSP/CGM) usando MPI, algoritmos para ordenação no modelo CGM, o problema de "listranking"; 3. algoritmos BSP/CGM para alguns problemas em grafos: circuito de Euler, componentes conexos, árvoregeradora mínima, fecho transitivo

1. F. Dehne (Ed.) Coarse Grained Parallel Algorithms. Algorithmica, Vol. 24, No. 3/4, 1999, pp. 173-176; 2. P.S. Pacheco.Parallel Programming with MPI. Morgan Kaufmann Publishers, 1997; 3. E.N. Cáceres, H. Mongelli e S.W. Song. AlgoritmosParalelos usando CGM/PVM: Uma introdução. XXI Congresso da Sociedade Brasileira da Computação, Jornada deAtualização em Informática, 2001, pp. 219-278.



Tópicos em Ciência da Computação MAC-5701 D 04 60 0

Ementa:

Bibliografia:

Estudo de artigos de pesquisa recentes nas áreas de interesse do aluno em conjunto com um docente do programa.Elaboração de monografia sucinta expondo os trabalhos lidos e a relação com o trabalho previsto para a dissertação. Odocente acompanhando o aluno deve submeter um relatório sucinto sobre os estudos realizados e sobre a monografia. .

SEM



Tópicos em Combinatória MAC-5827 D 08 120 0

Ementa:

Bibliografia:

Os tópicos a serem selecionados, dentro das áreas mencionadas, dependerão do perfil dos alunos matriculados e doprofessor que irá ministrar a disciplina. Serão selecionados artigos de periódicos, notas de aula e capítulos de livros.

1. R. K. Ahuja, T. L. Magnanti, and J. B. Orlin, Network flows: theory, algorithms, and applications, Prentice Hall, EnglewoodCliffs, 1993. 2. N. Alon and J.H. Spencer, The Probabilistic Method, Wiley, New York, 1992, xiii + 254p. 3. M. O. Ball, T .L.Magnanti, and C. L. Monma (eds.), Handbooks in Operations Research and Management Science, Network models, vol. 7,North-Holland, 1995. 4. W. Cook, L. Lovász, and P. Seymour, Combinatorial optimization, DIMACS Series in DiscreteMathematics and Theoretical Computer Science, vol. 20, AMS, Providence, 1995. 5. M. X. Goemans, Approximationalgorithms, Lecture Notes, 1994. 6. J. E. Goodman, R. Pollack, and W. Steiger, Discrete and computational geometry,DIMACS Series in Discrete Mathematics and Theoretical Computer Science, vol. 6, MAS and ACM, Providence, 1991. 7. R.L. Graham, M. Grötschel, and L. Lovász (eds.), Handbook of Combinatorics, Elsevier Science, 1996. 8. M. Grötschel, L.Lovász, and A. Schrijver, Geometric Algorithms and Combinatorial Optimization, Springer, Berlin, 1988. 9. R. Motwani and P.Raghavan, Randomized algorithms, Cambridge University Press, Cambridge, 1995. 10. M. Padberg, Linear optimization andextensions, Algorithms and Combinatorics, vol. 12, Springer-Verlag, Berlin, 1995. 11. C. H. Papadimitriou, Computationalcomplexity, Addison-Wesley Publishing Company, Reading, 1994. 12. A. Schrijver, Theory of Linear and IntegerProgramming, Wiley, 1986.

19/09/05 às 16:3128 de 31Chronos




Relações Nominais




Tópicos em Complexidade Computacional MAC-5828 D 08 120 0

Ementa:

Bibliografia:

Computação Probabilística. Aproximabilidade. Provas Interativas. Computação Paralela. Complexidade de Circuitos.Criptografia. Computações em espaço logarítimico. Complexidade da Informação. Complexidade de modelos computacionaisbaseados em comunicação.

1. C. H. Papadimitriou, Computational complexity, Addison-Wesley Publishing Company, Reading, 1994. 2. László Lovász,Computation complexity, Lecture Notes, 1994, translation by Peter Gács. 3. M. Luby and A. Wigderson, Pairwiseindependence and derandomization, Tech. Report TR-95-035, ICSI Berkley, 1995, 60p. 4. Artigos de pesquisa.



Tópicos em Engenharia de Software MAC-5764 D 08 120 0

Ementa:

Bibliografia:

Os tópicos a serem selecionados, dentro das áreas mencionadas, dependerão do perfil dos alunos matriculados e doprofessor que irá ministrar a disciplina. Serão selecionados artigos de periódicos, notas de aula e capítulos de livros. .

1. Ian Sommervile, Software Engineering, 4th ed., Addison-Wesley, 1992. 2. R.S. Pressman, Software Engineering - Apractioner approach, 3rd ed., McGraw-Hill, 1994. 3. F.B. Jr. Brooks, The Mythical Man-Month, 20th anniversary ed., AddisonWesley, 1995. 4. M.A. Jackson, Software Requirements and Specifications: A lexicon of practice, principles and prejudices,Addison-Wesley, 1995. 5. James Rumbaugh and Michael Blaha, Object-Oriented Modeling and Design, Prentice Hall,Englewood Cliffs, 1991. 6. B. Beizer, Software Testing Techniques, 2nd ed., Van Nostrand, 1990. 7. C. Ghezzi, M. Jazayeri,and D. Mandrioli, Fundamentals of Software Engineering, Prentice Hall, 1991. 8. Richard Fairley, Software EngineeringConcepts, Computer Science Series, McGraw Hill, 1985.



Tópicos em Inteligência Artificial MAC-5737 D 08 120 0

Ementa:

Bibliografia:

Os tópicos a serem selecionados, dentro das áreas mencionadas, dependerão do perfil dos alunos matriculados e doprofessor que irá ministrar a disciplina. Serão selecionados artigos de periódicos, notas de aula e capítulos de livros. .

1. Lecture Notes in Artificial Inteligence, Springer-Verlag. 2. D. Gabbay and F. Guenthner (eds.), Handbook of PhilosophicalLogic, vol. I, II, III and IV, D. Reidel Publishing Company, 1984. 3. J. W. Lloyd, Foundations of Logic Programming, seconded., Springer-Verlag, 1987.

19/09/05 às 16:3129 de 31Chronos




Relações Nominais




Tópicos em Lógica Computacional MAC-5728 D 08 120 0

Ementa:

Bibliografia:

1. Métodos de Inferência: Axiomatizações, Dedução Natural, Sistemas de Sequentes de Gentzen, Tableaus Semânticos,Tableaus KE, Resolução. 2. Complexidade da Prova de Teoremas em Lógica Proposicional Clássica. Famílias Notáveis edeFórmulas. Famílias Gamma, de Statman e o Princípio do Escaninho (pou do Buraco de Pombo). Heurísticas para Prova deTeoremas. 3. O problema SAT. Métodos Completos e Incompletos para a resolução de SAT. O método de Davis-Putnam esuas variantes. Heurísticas acopláveis ao método de Davis-Putnam. Métodos Incompletos probabilísticos: DSAT. MétodosIncompletos Determinísticos baseado em Operadores Lagrangeanos Discretos. 4. Lógica Modal e Temporal. 5. Prova deTeoremas para Lógica Modal e Temporal. 6. O problema da verificação de modelos para lógica modal/temporal. A utilizaçãode Diagramas de Decisão Booleanos Ordenados na codificação compacta de estruturas.

1. Brian F. Chellas, Modal Logic, Cambridge University Press, 1980 2. L. Farinas del Cerro, MOLOG: a system that extendsPROLOG with modal logic, New Generation Computing 4 (1986) 3. G.E. Hughes and M.J. Cresswell, A new introduction tomodal logic, Routledge, 1996 4. Dov Gabbay, Ian Hodkinson, and Mark Reynolds, Temporal Logic: Mathematical Foundationsand Computational Aspects, Volume 1, Oxford University Press, 1994. 5. Dov Gabbay, Mark Reynolds, and Marcelo Finger,Temporal Logic: Mathematical Foundations and Computational Aspects, Volume 2, Oxford University Press, 2000. 6. M.R.Garey and D.S. Johnson, Computers and Intractability: a Guide to the Theory of NP-completeness, W. H. Freeman andCompany, New York, 1979, 338p. 7. J. van Benthem, The Logic of Time, second ed., Reidel, Dordrecht, 1991. 8. H.B.Enderton, a Mathematical Introduction to Logic, Academic Press, New York, 1972, 295P. 9.M. Fitting, First-order logicautomated theorem proving, Springer, 1990. 10. D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, vol. I,II, III and IV, D. Reidel Publishing Company, 1984. 11. J.H. Gallier, Logic for computer science, Wiley, 1987. 12. RobertGoldblatt, Logics of Time Computation, second edition, revised and expanded, CSLI, 1992.



Tópicos em Sistemas de Computação I MAC-5765 D 08 120 0

Ementa:

Bibliografia:

Os tópicos específicos a serem lecionados, dentro do conjunto de áreas mencionadas, dependerão do professor que iráministrar a disciplina e do perfil e grau de conhecimento dos alunos matriculados. Serão selecionados artigos de periódicos,notas de aulas e capítulos de livros. .

1. M. Singhal and N.G. Shivaratri, Advanced Concepts in Operating Systems, McGraw Hill, 1994. 2. K. P. Birman, BuildingSecure and Reliable Network Applications, Manning, 1996. 3. P. A. Bernstein, V. Hadzilacos, and N. Goodman, ConcurrencyControl and Recovery in Database Systems, Addison-Wesley, 1987. 4. J. Siegel, CORBA: Fundamentals and Programming,Wiley & Sons, 1996. 5. Kai Hwang and Zhiwei Xu, Scalable Parallel Computing: Technology, Architecture, Programming,McGraw-Hill, 1998. 6. R. Jain, The Art of Computer Systems Performance Analysis Techniques for Experimental Design,Measurment, Simulation and Modeling, John-Wiley & Sons, 1991. 7. M. Sloman, Network and Distributed SystemsManagement, Addison-Wesley, 1994. 8. David Garlan and Mary Shaw, An introduction to software architecture, Advances inSoftware Engineering and Knowledge Engineering (V. Ambriola and G. Tortora, eds.), vol. 2, World Scientific PublishingCompany, 1993, pp. 1-39. 9. Nayeem Islam, Distributed Objects : Methodologies for Customizing Systems Software, IEEEComputer Science, 1996. 10. C. D. Polychronopoulos, Parallel Programming and Compilers, vol. 59, Kluwer Intl. Series,1988.



Tópicos Especiais de Otimização I MAC-5792 D 08 120 0

Ementa:

Bibliografia:

1. Teorema do ponto fixo de Brouwer (prova e algoritmo de Scarf); qualificação. 2. Cones e cones polares. 3. Aproximaçõescônicas. 4. Teorema fundamental de Polak para aproximações cônicas em otimização. 5. Aplicação ao caso de dimensãofinita: condições de ponto estacionário. .

1. M.D. Canon, C.D. Cullum, and E. Polak, Theory of Optimal Control and Mathematical Programming, Series in SystemsScience, McGraw-Hill, 1970.

19/09/05 às 16:3130 de 31Chronos




Relações Nominais




Tópicos Especiais em Ciencia da Computação MAC-5801 D 04 60 0

Ementa:

Bibliografia:

Estudo de artigos de pesquisa recentes na área de interesse do aluno sob o acompanhamento de seu orientador de tese. Oaluno, juntamente com o orientador, deve elaborar um Plano de Estudos no início do semestre letivo. No final do semestre, oaluno deve apresentar uma monografia sucinta expondo os trabalhos lidos e a relação com o trabalho previsto para a tese. OPlano de Estudos e a Monografia serão documentos públicos que ficarão disponíveis eletronicamente na página dessadisciplina. Caberá ao orientador emitir um parecer sucinto sobre os estudos realizados pelo aluno e a Monografia.

O orientador do aluno ficará responsável pela indicação da bibliografia referente ao tópico a ser estudado pelo aluno



Visão e Processamento de Imagens - Parte I MAC-5768 D 08 120 0

Ementa:

Bibliografia:

1. Introdução; 2. Ótica, radiometria (incluindo modelos de cor) e formação de imagens (amostragem e quantização); 3.Sensores: Visão, cameras CCD, scaner, tomógrafos, radar, ultra-som, profundidade, laser, etc.; 4. Lista de Aplicações:processamento de documentos (OCR, WEB, etc.), reconhecimento de faces, mamografia, reconstrução 2D, reconstrução3D, análise de imagens de microscopia (biologia, metalografia, etc.), bases de dados multi-mídia, vídeo digital, análise deestrutura , mecânica por movimento, visão robótica, reconhecimento de placas de veículos, etc.; 5. Lista de problemas: I -Processamento de Imagens (filtragem, segmentação, realce, codificação, restauração, registro, fusão, des-criçãoquantitativa, visualização (colorida ou em níveis de cinza)); II - Visão 2D (texturas, análise de formas, classificação); III -Visão 3D (calibração e geometria, análise no espaço-tempo, movimento, estéreo, profundidade, formas pelo sombreamento,visão ativa, interpretação de cenas). 6. Topologia Digital.7. Estatística e Operações Pontuais. 8. Transformações Lineares:Fourier, Wavelets. 9. Transformações Não Lineares. 10. Morfologia Matemática. 11. Reconhecimento de Padrões .

1. R. C. Gonzalez and R. E. Woods, Digital Image Processing, Addison-Wesley Publishing Company, 1992. 2. W.K. Pratt,Digital Image Processing, 2nd ed., Wiley, New York, 1991, 750p. 3. T. Y. Kong and A. Rosenfeld, Digital topology:Introduction and survey, Computer Vision, Graphics and Image Processing 48 (1989), 357-393. 4. J. Serra, Image Analysisand Mathematical Morphology Part I, Academic Press, 1982.5. R. O. Duda and P. E. Hart, Pattern Classification and SceneAnalysis, John Wiley and Sons, 1973. 6. E. O. Brigham, The Fast Fourier Transform and its Applications, Prentice Hall, 1988.7. J. C. Russ, Image Processing, CRC Press, 1995. 8. M. Coster and S.L. Chermat, Précis d'Analyse d'Images, CentreNational de la Recherche Scientifique, Paris, 1985. 9. K. R. Castleman, Digital Image Processing, Prentice Hall, 1996.



Visão e Processamento de Imagens - Parte II MAC-5769 D 08 120 0

Ementa:

Bibliografia:

1. Campos Aleatórios para Segmentação de Imagens. 2. Métodos Variacionais e Regularização para Segmentação deImagens. 3. Reconhecimento de Padrões Baseado em Gramáticas Formais. 4. Reconhecimento de Padrões Baseado emRedes Neurais. 5. Operadores Morfológicos (Projeto Estatístico). 6. Aprendizado Computacional para Projeto de Filtros. 7.Geometria Diferencial para Análise de Contornos (curvas parametrizadas, orientação tangente, perímetro, curvatura). 8.Equações Diferenciais Parciais para Análise Multi-Escala de Imagens (baseadas em difusão). 9. Geometria Discreta paraObtenção de Esqueletos (incluindo noções pertinentes de geometria computacional). 10. Topologia Digital. 11. Codificaçãode Imagens e Teoria da Informação. .

1 - Robert P. Loce and Edward R. Dougherty, Enhancement and Restoration of Digital Documents: Statistical Design ofNonlinear Algorithms, SPIE - The International Society for Optical Engineering, 1997. 2 - M. Anthony and N. Biggs,Computational Learning Theory - An Introduction, Cambridge University Press, 1992. 3 - R. Ash, Information Theory,Interscience Publishers, 1967. 4 - M.H. Hassoun, Fundamentals of Artifial Neural Net, MIT Press, 1995. 5 - R. L. Devaney, AnIntroduction to Chaotical Dynamical Systems, Addison Wesley, 1989. 6 - W. B. Davenport Jr., Random Processes, Library ofCongress, 1970. 7 - K. S. Fu, Syntatic Pattern Recognition and Applications, Prentice Hall, 1982. 8 - J. A. Anderson, AnIntroduction to Neural Networks, The MIT press, 1995. 9 - J. J. Koenderink, Solid Shape, MIT press, 1990. 10 - J. M. Moreland S. Solimini, Variational Methods in Image Segmentation, Birkhauser, 1995. 11 - J. M. Chassery and A. Montanvert,Geometrie Discrete en Analyse d'Images, Hermes, 1991. 12 - T. Poggio, V. Torre and C. Koch, Computational vision andregularization theory, Nature (1985), no. 317, 314-319.

19/09/05 às 16:3131 de 31Chronos

Disciplinas - Oferta no Ano Base Memória da Pós-Graduação Sistema de Avaliação

Documents

Transcript of Disciplinas - Oferta no Ano Base Memória da Pós-Graduação Sistema de Avaliação