Novo Conjunto Disciplinas PPGCC 2013 0

20
SERVIÇO PÚBLICO FEDERAL UNIVERSIDADE FEDERAL DE GOIÁS INSTITUTO DE INFORMÁTICA PROGRAMA DE PÓSGRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO RESOLUÇÃO CPG nº 01/2014 DISCIPLINAS DO PROGRAMA DE PÓS GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO – NÍVEL MESTRADO Art. 1 o – As disciplinas do Programa da PósGraduação em Ciência da Computação são organizadas nas categorias de disciplinas obrigatórias gerais, disciplinas obrigatórias por linha de pesquisa e disciplinas optativas. §1 o – Todas as disciplinas, exceto as disciplinas de Seminários, que não contabiliza crédito, e de Metodologia Científica, com 02 (dois) créditos, são disciplinas de quatro créditos, com carga horária de 60 (sessenta) horasaula. §2 o Cada disciplina deverá ser ofertada, no mínimo, uma vez a cada dois anos. §3 o As disciplinas obrigatórias gerais são as seguintes: MCC001 Estrutura de Dados e Projeto de Algoritmos; MCC002 Metodologia Científica; MCC003 Seminários. §4 o – As disciplinas obrigatórias da linha Engenharia de Software, Banco de Dados e Informática e Educação são as seguintes: MCC004 Engenharia de Software; MCC005 Banco de Dados. §5 o – As disciplinas obrigatórias da linha Fundamentos de Computação são as seguintes: MCC006 Análise e Projeto de Algoritmos; MCC007 Teoria dos Grafos. §6 o – As disciplinas obrigatórias da linha Inteligência Computacional são as seguintes: MCC008 Inteligência Computacional; MCC009 Aprendizado de Máquina. §7 o – As disciplinas obrigatórias da linha Processamento Gráfico, Interação e Computação Aplicada são as seguintes: MCC010 Processamento Digital de Imagens; MCC011 Algoritmos de Reconhecimento de Padrões. §8 o – As disciplinas obrigatórias da linha Sistemas de Computação são as seguintes: MCC012 Avaliação de Desempenho;

description

Conjunto de disciplinas PPGCC2014.

Transcript of Novo Conjunto Disciplinas PPGCC 2013 0

  • SERVIOPBLICOFEDERAL

    UNIVERSIDADEFEDERALDEGOISINSTITUTODEINFORMTICA

    PROGRAMADEPSGRADUAOEMCINCIADACOMPUTAO

    RESOLUOCPGn01/2014

    DISCIPLINASDOPROGRAMADEPSGRADUAOEM

    CINCIADACOMPUTAONVELMESTRADO

    Art. 1o As disciplinas do Programa da PsGraduao em Cincia da Computao so organizadas nas categorias de disciplinas obrigatrias gerais, disciplinas obrigatrias por linha depesquisaedisciplinasoptativas.

    1oTodasasdisciplinas,excetoasdisciplinasdeSeminrios,quenocontabilizacrdito,edeMetodologiaCientfica,com02(dois)crditos,sodisciplinasdequatrocrditos,comcargahorriade60(sessenta)horasaula.

    2oCadadisciplinadeverserofertada,nomnimo,umavezacadadoisanos.3oAsdisciplinasobrigatriasgeraissoasseguintes:

    MCC001EstruturadeDadoseProjetodeAlgoritmosMCC002MetodologiaCientficaMCC003Seminrios.

    4oAsdisciplinasobrigatriasdalinhaEngenhariadeSoftware,BancodeDadoseInformticaeEducaosoasseguintes:

    MCC004EngenhariadeSoftwareMCC005BancodeDados.

    5oAsdisciplinasobrigatriasdalinhaFundamentosdeComputaosoasseguintes:

    MCC006AnliseeProjetodeAlgoritmosMCC007TeoriadosGrafos.

    6oAsdisciplinasobrigatriasdalinhaIntelignciaComputacionalsoasseguintes:MCC008IntelignciaComputacionalMCC009AprendizadodeMquina.

    7oAsdisciplinasobrigatriasdalinhaProcessamentoGrfico,InteraoeComputaoAplicadasoasseguintes:

    MCC010ProcessamentoDigitaldeImagensMCC011AlgoritmosdeReconhecimentodePadres.

    8oAsdisciplinasobrigatriasdalinhaSistemasdeComputaosoasseguintes:MCC012AvaliaodeDesempenho

  • MCC013ProgramaoParalelaeDistribuda.9oAsdisciplinasoptativassoasseguintes:

    MCC014EngenhariadeSoftwareparaWebSemnticaMCC015TestedeSoftwareMCC016BancosdeDadosnoConvencionaisMCC017InformticaeEducaoMCC018ProgramaoLinearMCC019TeoriadaComputaoMCC020OtimizaoCombinatriaMCC021FluxosemRedesMCC022ComputaoEvolucionriaMCC023MineraodeDadosMCC024RecuperaodaInformaoMCC025MetaheursticasMCC026ComputaoGrficaMCC027VisoComputacionalMCC028RealidadeVirtualeAumentadaMCC029VisualizaodeInformaesMCC030RedesdeComputadoresMCC031SistemasDistribudosMCC032ComputaoParalelaMCC033SistemasMultimdiaMCC034TpicosEspeciaisemCinciadaComputaoMCC035TpicosEspeciaisemEngenhariadeSoftware,Bancode

    DadoseInformticaeEducaoMCC036TpicosEspeciaisemFundamentosdeComputaoMCC037TpicosEspeciaisemIntelignciaComputacionalMCC038TpicosEspeciaisemProcessamentoGrfico,Interaoe

    ComputaoAplicadaMCC039TpicosEspeciaisemSistemasdeComputaoMCC040EstudoOrientado.

    10oAsespecificaesdasdisciplinaslistadasnospargrafos3a9encontramsenoAnexoI.

  • ANEXOIEmentasdasDisciplinasIDisciplinasObrigatriasGeraisMCC001EstruturadeDadoseProjetodeAlgoritmosEMENTA:

    Conceitos de anlise de algoritmos (fundamentos matemticos induo matemtica anliseassinttica).

    Estruturadedadoselementares(listafilapilha,...) rvores (conceitos rvores binrias de busca rvores binrias balanceadas AVL,

    vermelhoepreto,porpesoKDTree,rvoresB) Filascomprioridades(conceitoheapsbinriosheapbinomial). Tabelas de disperso (conceito de "hash table" funes de disperso endereamento

    abertoencadeamentolinear) Conjuntosdisjuntos(unionfind).

    BIBLIOGRAFIA:1. Cormen, Leiserson, Rivest, and Stein (CLRS), Introduction to Algorithms, 2nd Ed., MIT

    Press,2001.2. Sedgewick,R.,AlgorithmsinC++(Parts14),AddisonWesley,3edio,1998.3. Mark Allen Weiss, Data Structures and Algorithm Analysis in C++, 4th Ed., Addison

    Wesley,2012.4. D. E. Knuth. The Art of Computer Programming. Volume 1 Fundamental Algorithms.

    AddisonWesley,1998.5. D. E. Knuth. The Art of Computer Programming. Volume 3 Sorting and Searching.

    AddisonWesley,1998.6. N. Ziviani. Pro jeto de Algoritmos com Implementaes em Pascal e C, 2a Edio. 2004.

    EditoraThomson.7. C.H.Papadimitriou,U.V.Vazirani,S.Dasgupta.Algoritmos.2009.McgrawHillBrasil.

    MCC002MetodologiaCientficaEMENTA:

    Tema,Objetivo,Hiptese,Validao Leitura de documentos cientficos tipos de documentos, levantamento bibliogrfico,

    resumoeresenha Escritadedocumentoscientficosrefernciasbibliogficas,plgio,LaTeX Apresentaodeartigostcnicaseprtica

    BIBLIOGRAFIA:1. WAZLAWICK, R.S., Metodologia de Pesquisa para Cincia da Computao, Editora

    Elsevier,2009.

  • 2. WAZLAWICK, R.S., Uma Reflexo sobre a Pesquisa em Cincia da Computao Luz da Classificao das Cincias e do Mtodo Cientfico, Revista de Sistemas de InformaodaFSMA,No.6,pp.310,2010.

    3. SILVA, E.L., MENEZES, E.M., Metodologia da Pesquisa e Elaborao de Dissertao, 4 ediorevisadaeatualizada,UniversidadeFederaldeSantaCatarina,2005.

    4. MORESI, E.(Organizador), Metodologia de Pesquisa, Universidade Catlica de Braslia, 2003.

    5. PARBERRY, I., How to Present a Paper in Theoretical Computer Science: a Speakers GuideforStudents,SIGTCSNews,Vol.4,No.2,pp.3750,1993.

    6. BARROS, Aidil de Jesus da Silveira. Fundamentos da Metodologia Cientfica. 3 ed. 3a. Reimpresso.SoPaulo.PearsonPrenticeHall,2010.

    7. WAZLAWICK, Raul Sidnei. Metodologia da Pesquisa para Cincia da Computao. Rio deJaneiro:Elsevier,2008.

    8. SEVERINO, Antonio Joaquim. Metodologia do Trabalho Cientfico. 22 ed. Revisada e ampliada.SoPaulo:Cortez,2002.

    MCC003Seminrios

    Esta uma disciplina que consiste em uma srie de seminrios dentro da rea de concentrao do Programa, coordenados por um professor responsvel pela disciplina. O estudante inscrito nesta disciplina, alm de assistir aos seminrios apresentados por seus colegas, professores do programa ou palestrantes convidados, dever apresentar pelo menos um seminrio durante o perodo em que estiver matriculado na disciplina, tendo por tema um tpicorelacionadoasuadissertaodemestrado.II Disciplinas Obrigatrias da linha Engenharia de Software, Banco de Dados e InformticaeEducaoMCC004EngenhariadeSoftwareEMENTA:

    Softwarecomoprodutoeprocesso RelaoentreEngenhariadeSoftwareeSistemasSociotcnicos DesafiosdaEngenhariadeSoftwareparaosculo21 Modelosprescritivosdeprocessodesoftware ProcessoUnificado(Concepo,Elaborao,Construo,Transio)

    BIBLIOGRAFIA:1. Boehm, B. A View of 20th and 21st Century Software Engineering, Proceedings of the

    28thACMInternationalConferenceonSoftwareEngineering,2006,pp.1229.2. Brooks, Frederick P. No Silver Bullet: Essence and Accidents of Software Engineering,

    IEEEComputer,v.20,n.4,1987,pp.1019.3. Larman, Craig. Utilizando UML e padres: uma introduo anlise e ao projeto

  • orientados a objetos e ao desenvolvimento iterativo, 3a edio, Porto Alegre, Bookman, 2007.

    4. Pressman, Roger. Engenharia de Software, 7a edio, McGrawHill, Porto Alegre, RS, 2011.

    5. Sommerville, Ian. Engenharia de Software, 9a edio, Prentice Hall, So Paulo, SP, 2011.

    6. Swebok. Software Engineering Body ok Knowledge, Editado por IEEE Computer Society. Disponvelemhttp://www.swebok.org.

    MCC005BancodeDadosEMENTA:Conceitos bsicos. Modelos e linguagens de dados. Projeto de bancos de dados. Implementaodesistemasdebancodedados.BIBLIOGRAFIA:1. Database System Concepts, Abraham Silberschatz, Henry Korth and S. Sudarshan,

    McGrawHill6thedition,20102. Fundamentals of Database Systems, Ramez Elmasri and Shamkant Navathe,

    AddisonWesley.6thedition,20103. Database Systems: A Practical Approach to Design, Implementation and Management,

    ThomasM.ConnollyandCarolynE.Begg,AddisonWesley5thedition,2009.IIIDisciplinasObrigatriasdalinhaFundamentosdeComputaoMCC006AnliseeProjetodeAlgoritmosEMENTA:

    Anlise de algoritmos: Medidas de complexidade, anlise assinttica de limites de complexidade, tcnicas de prova de cotas inferiores. Exemplos de anlise de algoritmos iterativoserecursivos.

    Tcnicas de projeto de algoritmos: Induo, Recursividade, Tentativa e erro, Diviso e conquista,programaodinmica,AlgoritmosGulosos,Backtracking.

    NPcompletude:Conceitos,classesdecomplexidadeereduodeproblemas.BIBLIOGRAFIA:1. UdiManberIntroductiontoAlgorithmsAcreativeApproach.AddisonWesley1989.2. Sara Baase Computer Algorithms: Introduction to Design and Analysis. AddisonWesley

    1988.3. Alfred Aho, John Hopcroft and Jeffrey Ullman The Designs and Analysis of Computer

    Algorithms.AddisonWesley,1974.4. Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, Clifford Stein Introduction

    toAlgorithms.MITPress2ndedition,2001.MCC007TeoriadosGrafos

  • EMENTA: Introduo. rvoresedistncias. Emparelhamentos. Conectividade. Fluxosemredes. Coloraodegrafos. GrafosPlanares. Tpicosemgrafos:grafosperfeitos,grafosdeinterseco,conjuntosdominantes,

    conjuntosindependentesdevrtices.BIBLIOGRAFIA:1. ReinhardDiestelGraphTheory.Springer1997.2. DouglasWestIntroductiontoGraphTheory.PrenticeHall,2001.3. J.A.BondyandU.S.R.MurtyGraphTheorywithApplications.NorthHollan,1976.

    VIDisciplinasObrigatriasdalinhaIntelignciaComputacionalMCC008IntelignciaComputacionalEMENTA:

    ConceitosbsicosdeIntelignciaComputacional Agentesinteligentes/Sistemasmultiagentes Conhecimentoeraciocnio Aprendizagem Algoritmosgenticos Computaosemntica Tpicosavanados

    BIBLIOGRAFIA:1. Russell,S.,Norvig,P.ArtificialIntelligenceAModernAproach.Pearson,2010.2. Coppin,B.IntelignciaArtificial,Ed.LTC,2010.3. Luger,G.F.IntelignciaArtificial:Estruturaseestratgiasparaasoluodeproblemas

    complexos,Ed.Bookman,2004.4. Artigostcnicosespecializadosqueserosugeridosposteriormente.

    MCC009AprendizadodeMquinaEMENTA:

    IntroduoaoAprendizadodeMquina. Aprendizadosupervisionado. Aprendizadonosupervisionado. Aprendizadoporreforo. Avaliaoexperimentaldealgoritmosdeaprendizado

  • TpicosavanadosBIBLIOGRAFIA:1. Mitchell,T.MachineLearning,McGrawHill,1997.2. Faceli,K.,Lorena,A.N.,Gama,J.,Carvalho,A.C.P.L.F.IntelignciaArtificial:Uma

    AbordagemdeAprendizadodeMquina,Ed.LTC,2011.3. Artigostcnicosespecializadosqueserosugeridosposteriormente.

    VDisciplinasObrigatriasdalinhaProcessamentoGrfico,InteraoeComputaoAplicadaMCC010ProcessamentoDigitaldeImagensEMENTA:

    Fundamentosdeimagensdigitais Transformaesdeimagensnodomnioespacial Transformaesdeimagensnodomniodafrequncia Restauraodeimagens Processamentodecores Waveletseprocessamentodemultiresolues Compressodeimagens Morfologiamatemtica Segmentao Representaoedescriodeimagens Reconhecimentodeobjetos

    BIBLIOGRAFIA:1. Gonzalez, R.C. & Woods, R.E. Digital Image Processing, 3rd Ed. Prentice Hall, USA,

    2008.2. Gonzalez, R.C. & Woods, R.E. Processamento de Imagens Digitais (traduo). So

    Paulo,EdgardBlucherLtda,2000.3. Pratt,W.K.DigitalImageProcessing,4thed.USA,WileyIntersciencePub.,2007.4. Filho,O.M.&Neto,H.V.ProcessamentoDigitaldeImagensEditoraBrasport,1999.

    MCC011AlgoritmosdeReconhecimentodePadresEMENTA:

    Introduoaoreconhecimentodepadresepercepo. Diferentesabordagensdereconhecimentodepadres. Tiposdeaprendizados:SupervisionadoeNoSupervisionado ClassificadoresparamtricoseteoremadeBayes Mtodos no paramtricos: kvizinhos mais prximos (kNN), Estimao de

    probabilidade, Funes discriminantes lineares (LDA), Perceptron, Support Vector Machine(SVM).

  • ModelosEscondidosdeMarkov MtodosbaseadosemrvoresCART,ID3,C4.5. Extraodecaractersticas:estruturaiseestatsticas. Seleodecaractersticasereduodedimensionalidade:PCA. Anlise de Sistemas de Classificao: espao e curvas Receiver Operating

    Characteristics(ROC),Rejeio. Combinao de classificadores: Diversidade, Bias/varincia, Boosting, Bagging e

    Adaboosting.BIBLIOGRAFIA:1. R.O.Duda,P.E.Hart,D.G.Stork,PatternClassification,JohnWileyInterscience,2001.2. C.M.Bishop.PatternRecognitionandMachineLearning.Springer,2006.3. S.TheodoridisandK.Koutroumbas.PatternRecognition.Elsevier,4thedition,2009.

    VIDisciplinasObrigatriasdalinhaSistemasdeComputaoMCC012AvaliaodeDesempenhoEMENTA:

    Reviso de Probabilidade e Estatstica: espao amostral, eventos, anlise combinatria, probabilidade condicional, independncia de eventos, Lei de Bayes, varivel aleatria, variveis aleatrias discretas e contnuas, funo de densidade de probabilidade, funo cumulativadedistribuio,etc.

    Simulao e experimentos: introduo, gerao de variveis aleatrias, algoritmo para simular uma fila, clculo de medidas de interesse, mdia e varincia amostral, intervalo deconfiana,etc.

    CadeiasdeMarkov TeoriadeFilas Outrostpicos:InfernciaEstatstica,CaudaLonga,Leidepotncia,Correlao

    BIBLIOGRAFIA:1. Trivedi, K. S., Probability & Statistics with Reliability, Queuing and Computer Science

    Applications,2001.2. HarcholBalter,M.,PerformanceModelingandDesignofComputerSystems:Queueing

    TheoryinAction,2013.3. Montgomery,R.,AppliedStatisticsandProbabilityforEngineers,2006.4. Le Boudec, J.Y., Performance Evaluation of Computer and Communication Systems,

    2010.5. Ross,S.M.,Simulation,2006.6. Ross,S.M.,IntroductiontoProbabilityModels,2007.

    MCC013ProgramaoParalelaeDistribudaEMENTA:

    IntroduoProgramaoParalelaeDistribuda.

  • ArquiteturasParalelas.ProgramaoParalela.Paradigmasdecomputaoparalela. Introduo aos sistemas distribudos. Programao distribuda. Paradigmas de

    computaodistribuda.BIBLIOGRAFIA:1. David B. Kirk , Wenmei W. Hwu. Programming Massively Parallel Processors: A

    HandsonApproach,MorganKaufmann,2012.2. Andrew S. Tanenbaum and Maarten Van Steen. Distributed Systems: Principles and

    Paradigms,PrenticeHall,20063. Jason Sanders and Edward Kandrot. CUDA by Example: An Introduction to

    GeneralPurposeGPUProgramming.AddisonWesleyProfessional,2010.4. Kay Hwang, Jack Dongarra, Geoffrey C. Fox, Distributed and Cloud Computing, Morgan

    Kaufmann,2011.VIIDisciplinasOptativasMCC014EngenhariadeSoftwareparaWebSemnticaEMENTA:

    1. FundamentosearquiteturadaWebSemntica2. Linguagense/oupadresparaespecificaodecaractereselocalizao,sintaxe,

    estrutura,semnticaelgicadeinformao3. Ontologiaseregras4. FrameworkparaprogramaodeaplicaesparaWebSemntica5. Temasemergentes.

    BIBLIOGRAFIA:1. BernersLee,T.,Hendler,J.,&Lassila,O.(2001).TheSemanticWeb.Scientific

    American,284(5),2837.2. Hebeler,J.,Dean,M.&Fisher,M.(2011).SemanticWebProgramming.JohnWiley&

    Sons.2ndedition.3. Noy,N.F.,&McGuinness,D.L.(2001).OntologyDevelopment101:AGuidetoCreating

    YourFirstOntology.http://protege.stanford.edu/publications/ontology_development/ontology101.html

    4. Segaran,T.,Evans,C.&Taylor,J.(2009).ProgrammingtheSemanticWeb.O'ReillyMedia1edition.

    5. W3C.(2013).PadresparaaWebSemnticadoWorldWideWebConsortium.http://www.w3.org.

    MCC015TestedeSoftwareEMENTA:FundamentosTericos.TesteFuncional.Testeestrutural.AnlisedeMutantes.Oficinaem

  • testedesoftware:experimentaoeanliseemprica.BIBLIOGRAFIA:1. M.E.Delamaro,J.C.Maldonado,M.Jino.IntroduoaoTestedeSoftware.Campus,

    2007.2. G.J.Myers,C.Sandler,T.Badgett.TheArtofSoftwareTesting.Wiley,3rdedition,2011.3. R.V.Binder.TestingObjectOrientedSystems:Models,Patterns,andTools.

    AddisonWesley,1999.4. Artigoscientficosselecionados.

    MCC016BancosdeDadosnoConvencionaisEMENTA:Ementavarivelenvolvendoaspectosemergentessobrebancosdedados.BIBLIOGRAFIA:1. ELMASRI, R. e NAVATHE, S.B., Fundamentals of Database Systems, 6th edition,

    AddisonWesley,2011.2. SILBERSCHATZ, A., KORTH, H.F. e SUDARSHAN, S., Database System Concepts,

    McGrawHill,6thedition,20103. artigosepublicaesselecionadas.

    MCC017InformticaeEducaoEMENTA: Ensino de computao, tecnologias em educao e mtodos cientficos em informticaeeducao.BIBLIOGRAFIA:1. WAZLAWICK,R.S.,MetodologiadePesquisaparaCinciadaComputao,Editora

    Elsevier,2009.2. MARTINS,C.ManualdeAnlisedeDadosQuantitativoscomRecursoaoIBMSPSS,

    Editor:Psiquilibrios,20113. Artigoscientficosselecionados.

    MCC018ProgramaoLinearEMENTA:

    Modelagemdeproblemas. ResoluoGrfica. GeometriadaPL. AlgoritmoSimplexPrimalfases1e2. Dualidade. AlgoritmoSimplexDual. AnlisedeSensibilidade. PsOtimizao. AlgoritmoSimplexPrimalDual.

  • AlgoritmosSimplexcanalizados.BIBLIOGRAFIA:1. PauloF.Bregalda,AntonioA.F.deOliveiraeCludioT.Bornstein.Introduo

    ProgramaoLinear,TerceiraEdio,Ed.Campus,1988.2. MarcosC.GoldbargeHenriqueP.L.Luna.ProgramaoLineareOtimizao

    Combinatria:ModeloseAlgoritmos,Ed.Campus,2000.3. D.G.Luenberger.IntroductiontoLinearandNonlinearProgramming,AddisonWesley,

    London,1973.4. NelsonMaculaneMrciaH.C.Fampa.OtimizaoLinear,Ed.UnB,2006.

    MCC019TeoriadaComputaoEMENTA:

    ContextualizaohistricaInduo,RecursoeEnumerabilidadedeConjuntosLinguagemAlgortmicaFunesRecursivasMaquinadeTuringTesedeChurchProblemasIndecidveis.

    Teoriadeautmatoselinguagensformais,maquinasdeTuringeteoriadasfunesrecursivas,noesdecomputabilidadeeclassesdecomplexidadebsicas.

    Computabilidade(TesedeChurch,noesdeincompletudedeGdel,relaesentreosmodelosdecomputabilidade).

    Noesdecomputabilidadeefetiva.Modelosdecomputao.Problemasindecidveis.ClassesP,NP,NPCeNPDifcil.LidandocomproblemasNPCompletos.

    BIBLIOGRAFIA:1. M.SipserIntroductiontotheTheoryofComputation.EUA.PWSPub.Co.,1997.2. M.Garey,D.Johnson,ComputersandIntractability:AGuidetotheTheoryof

    NPCompleteness.W.H.FreemanandCompany,1979.3. H.R.Lewis,C.H.PapadimitriouElementosdeTeoriadaComputao.2aEd.Porto

    Alegre.BookmanCia.Editora,2000.4. J.E.HopcroftJ.UllmanIntroduoteoriadeAutmatos,LinguagenseComputao.

    Ed.Campus.5. T.A.DiverioP.B.MenezesTeoriadaComputao:MquinaUniversaise

    Computabilidade.SrieUFRGS05.EditoraSagraLuzzato,1999.6. B.M.MoretTheTheoryofComputation.EUA,AddisonWesleyPub.Co.,1997.7. T.H.Cormen,C.E.Leiserson,R.L.Rivest,IntroductiontoAlgorithms,McGrawHill,New

    York,1990.MCC020OtimizaoCombinatriaEMENTA:Problemas de natureza combinatria: caminhos, rvores e arborescncias em grafos, problema da mochila. Gerao de colunas em programao linear e suas aplicaes.

  • Programao linear inteira: modelagem em variveis bivalentes ()1) e mtodos de soluo (cortes, aproximao polidrica, enumerao e relaxao lagrangiana). Programao nolinear inteira: mtodos gerais e mtodos especficos para programao quadrtica bivalente ()1). Problemascombinatrios.BIBLIOGRAFIA:1. Nemhauser,GeorgeL.,andLaurenceA.Wolsey.Integerandcombinatorialoptimization.

    Vol.18.NewYork:Wiley,1988.2. Goldbarg,MarcoCesar,andHenriquePaccaL.Luna.Otimizaocombinatriae

    programaolinear:modelosealgoritmos.Elsevier,2005.3. BertsimasDimitris,andJohnTsitsiklis,"IntroductiontoLinearOptimization".1998.4. Ahuja,RavindraK.,ThomasL.Magnanti,andJamesB.Orlin."Networkflows:theory,

    algorithms,andapplications."(1993).5. Papadimitriou,ChristosH.,andKennethSteiglitz.Combinatorialoptimization:algorithms

    andcomplexity.CourierDoverPublications,1998.6. Schrijver,Alexander.Theoryoflinearandintegerprogramming.Wiley.com,1998.

    MCC021FluxosemRedeEMENTA: Conceitos bsicos e representao computacional de grafos Formulao matemtica de problemas de fluxo em redes, como: caminho mnimo, rvore geradora mnima, fluxo mximo, fluxo mximo de custo mnimo, rvore de Steiner Algoritmos eficientes para problemas clssicosemredes.BIBLIOGRAFIA:1. R.K.Ahuja,T.L.MagnantieJ.B.Orlin."NetworkFlows:theory,algorithmsand

    applications",PrenticeHall.2. M.S.Bazaraa,J.J.JarviseH.D.Sherali."LinearProgrammingandNetworkFlows",

    segundaedio,Wiley.3. C.H.Papadimitriou,K.Steiglitz."CombinatorialOptimization:Algorithmsand

    Complexity",Dover.MCC022ComputaoEvolucionriaEMENTA:

    IntroduoaComputaoEvolucionriaeMtodosdebusca Representaes Algoritmosgenticos Tcnicasdeseleo,cruzamentoemutao EstratgiasEvolucionriaseProgramaoEvolucionria EvoluoDiferencial Otimizaomultiobjetivo

    BIBLIOGRAFIA:

  • 1. DavidGoldberg,TheDesignofInnovation(GeneticAlgorithmsandEvolutionaryComputation),Springer,2002.

    2. Yu,Xinjie,Gen,Mitsuo,IntroductiontoEvolutionaryAlgorithms,Springer,2010.3. FranzRothlauf,RepresentationsforGeneticandEvolutionaryAlgorithms,Springer,

    2006.MCC023MineraodeDadosEMENTA:

    Revisodeestatsticabsicaeprobabilidade. Visogeraldoprocessodemineraodedados. Carga,transformaoelimpezadosdados(ETL). Mtodosdemineraodedados. Visualizaodosresultados. Experimentos.

    BIBLIOGRAFIA:1. PangNingTan,MichaelStenbach,VipinKumar,IntroductiontoDataMining,

    AddisonWesley,2005.2. IanH.Witten,EibeFrank,MarkA.Hall,DataMining:PracticalMachineLearningTools

    andTechniques,ThirdEdition,MorganKaufmannPublishers,2011.3. JiaweiHan,MichelineKamberandJianPei,DataMining:ConceptsandTechniques,

    ThirdEdition,MorganKaufmannPublishers,2011MCC024RecuperaodaInformaoEMENTA:AlgoritmosetcnicasdeConstruodemquinasdebusca:

    Representaodevocabulrios Tcnicasdeconstruoecompressodendices Processamentodeconsultas Avaliaoemrecuperaodeinformao Modelosdelinguagem MquinasdebuscaparaaWeb

    Algoritmoseheursticasparamineraodeinformaes:tcnicasdeclassificao: Classificaodetextos Agrupamento(clustering)detextos TpicosdepesquisaemRecuperaodeInformao

    BIBLIOGRAFIA:1. Christopher D. Manning, Prabhakar Raghavan e Hinrich Schtze: Introduction to

    InformationRetrieval,Cambridge,2009.2. Ricardo BaezaYates e Berthier RibeiroNeto: Modern Information Retrieval, Addison

  • Wesley,1999.3. W. Bruce Croft, Donald Metzler e Trevor Strohman: Search Engines information

    RetrievalinPractice,AddisonWesley,2010.4. Ian H. Witten, Alistair Moffat e Timothy C. Bell: Managing Gigabytes: Compressing and

    IndexingDocumentsandImages,MorganKaufmann Publishers, 1999, second edition.

    5. Artigostcnicosespecializadosqueserosugeridosposteriormente.MCC025MetaheursticasEMENTA:

    Introduoaheursticasemetaheursticas AlgoritmosGulosos BuscaLocal BuscaPopulacional Hiperheursticas

    BIBLIOGRAFIA:1. Brown,D.E.andScherer,W.T.IntelligentSchedulingSystems.KluwerAcademic

    Publishers,1995.2. Ansari,NirwanandHou,E.ComputationalIntelligenceforOptimization.Kluwer

    AcademicPublishers,1997.3. Reeves,C.R.ModernHeuristicTechniquesforCombinatorialProblems.Blackwell

    ScientifPublications,1993.4. Reeves,C.R.TabuSearch.KluwerAcademicPublishers,1997.5. Glover,F.,Laguna,M.&Taillard,E.TabuSearch.AnnalsofOperationsResearch,v.41,

    J.C.Baltzer,1993.MCC026ComputaoGrficaEMENTA:

    IntroduoComputaoGrfica. SistemasdeCoordenadas. GeraodePrimitivas. Preenchimentodereasepolgonos. Transformaes2De3D. RecorteeProjees. IluminaoeSombreamento InterfaceHomemMquina

    BIBLIOGRAFIA:1. J.D.Foley,A.vanDam,S.K.Feiner,J.F.Hughes.ComputerGraphics,Principlesand

    Practice.AddisonWesley,1997.2. D.Hearn,M.P.Baker.ComputerGraphics,CVersion.PrenticeHall,1997.

  • 3. R.C.Gonzalez&R.E.Woods.ProcessamentodeImagensDigitais,EdgardBlcher,2000.

    4. R.C.Gonzalez&R.E.Woods.DigitalImageProcessing,AddisonWesley,1993.5. B.W.Kernigham,D.M.Ritchie.TheCProgrammingLanguage.PrenticeHall,1972.6. Ballard,D.H.eC.M.Brown,"ComputerVision",PrenticeHall,1982.

    MCC027VisoComputacionalEMENTA:

    Formao e modelo de imagens: cmeras modelos geomtricos de cmeras calibraoradiometriailuminaoecores

    Visodebaixonvel(umaimagem):filtrosdetecodearestastextura Viso de baixo nvel (mltiplas imagens): geometria de mltiplas imagens viso estreo

    estruturasapartirdemovimentos Viso de nvel intermedirio: segmentao por agrupamento segmentao por modelos

    segmentao probabilstica rastreio atravs de modelos dinmicos Anlise de MovimentoeFluxotico

    Viso de alto nvel: viso baseada em modelos superfcies imagens tridimensionais classificadoresreconhecimento

    BIBLIOGRAFIA:1. Forsyth,D.A.ePonce,J."ComputerVision:AModernApproach",PrenticeHall,20032. Jain,A.K."FundamentalsofDigitalImageProcessing",PrenticeHall,19893. Gonzalez,R.C.eWoods,R.E."DigitalImageProcessing",PrenticeHall,20024. Haralick,R.M.eShapiro,L.G."ComputerandRobotVision",AddisonWesley,19925. Horn,B.K.P."RobotVision",MITPress,19866. Ballard,D.H.eC.M.Brown,"ComputerVision",PrenticeHall,1982

    MCC028RealidadeVirtualeAumentadaEMENTA:

    ConceitosFundamentaisdaRealidadeVirtual(RV) ElementosdeComputaoGrfica(CG)relacionadosRV RVnoimersiva,RVimersiva HardwaredeEntradaeSadaparaRV AplicaesdeRV DesenvolvimentodeAmbientesVirtuais

    BIBLIOGRAFIA:1. BURDEA, G. COIFFET, P. Virtual Reality Technology. 2nd Edition. Wiley, New York,

    ISBN0471360899,2003.2. BIMBER, O. RASKAR, R. Spatial Augmented Reality: Merging Real and Virtual Worlds.

    AKPeters,Ltd,ISBN1568812302,2004.3. VINCE, J. Introduction to Virtual Reality, SpringerVerlag New York, ISBN:

    9781852337391,2004.

  • 4. SHERMAN, W.R. CRAIG, A.B. Understanding Virtual Reality: Interface, Application and Design.Elsevier,ISBN1558603530,2003.

    MCC029VisualizaodeInformaesEMENTA:

    DefiniesehistriodareadeVisualizaodeInformaes Osistemapticoeapercepodevisual Dimensionalidadedosdados Interatividadenasvisualizaes Tcnicasdevisualizaodeinformaesesuasaplicaes Efetividadeeeficincia Avaliaodevisualizaes Softwareedispositivosdeapoio

    BIBLIOGRAFIA: 1. CARD,StuartK.,MACKINLAY,JockD.,SHNEIDERMAN,Ben.ReadingsinInformation

    Visualization:UsingVisiontoThink,MorganKaufmannSeriesinInteractiveTechnologies,AcademicPress,1999.

    2. SPENCE,Robert.InformationVisualization,ACMPress,2000.3. WARE,Colin.InformationVisualization:PerceptionforDesign,2ndEdition,Morgan

    KaufmannInteractiveTechnologiesSeries,April2004.ISBN 1558608192.4. DoNASCIMENTO,HugoA.D.,FERREIRA,CristianeB.R.Visualizaode

    InformaesUmaAbordagemPrtica.NoLivroTextodaXXIVJornadadeAtualizaoemInformtica.SoLeopoldoRS,2005.

    5. DIBATTISTA,Giuseppe,EADES,Peter,TAMASSIA,Roberto,TOLLIS,Ioannis.GraphDrawing:AlgorithmsfortheVisualizationofGraphs,PrenticeHall,1999.

    RefernciasAdicionais:1. TUFTE, Edward R., Visual Explanations: Images and Quantities, Evidence and

    Narrative.GraphicsPress,Fev1997.ISBN:09613921262. TUFTE, Edward R., Envisioning Information. Graphics Press, Fev 1990. ISBN:

    0961392118 3. TUFTE, Edward R., The Visual Display of Quantitative Information, 2nd edition,

    GraphicsPress,Fev2001.ISBN:09613921424. JNGER, M., MUTZEL, P. (Eds.). Graph Drawing Software. 2003. ISBN

    3540008810.5. BORG, I. e GROENEN, P. Modern Multidimensional Scaling. SpringerVerlag, New

    York,1997.6. ECO, Humberto. Tratado Geral de Semitica. 4a. edio, So Paulo: Editora

    PerspectivaS.A.,2003. 7. SANTAELLA,Lucia.SemiticaAplicada.SoPaulo:PioneiraThomsonLearnin,2004.8. Artigosewebsitesnarea

  • MCC030RedesdeComputadoresEMENTA:

    Introduo:conceitos,camadas,Internet,simulaoderedes Camadadeaplicao:Web,DNS,P2P,programaoemsocketsconvencionaiseraw

    sockets Camadadetransporte:transporteconfivel,controledefluxoedecongestionamento,

    transporteemredesdealtavelocidade,transporteemredessemfio Camadaderede:endereamento,IPv4/IPv6,protocolosderoteamento,roteamentoem

    redessemfio Camadadeenlace:redeslocaiscabeadas,redeslocaissemfio Outrostpicos:VLAN/QinQ,(G)MPLS,OpenFlow,etc. Tpicosrecentesdepesquisaemredesdecomputadores

    BIBLIOGRAFIA:1. Kurose,J.F.andRoss,K.W.,ComputerNetworkingATopDownApproach6th

    edition,2012.2. Peterson,L.L.andDavie,B.S.,ComputerNetworksASystemsApproach5thedition,

    2011.3. Tanenbaum,A.S.andWetherall,D.J.,ComputerNetworks5thedition,2011.4. Stallings,W.,DataandComputerCommunications10thedition,2013.5. Stevens,W.R.,Fenner,B.andRudoff,A.M.,UnixNetworkProgrammingVol.IThe

    SocketsNetworkingAPI3rdedition,2003.MCC031SistemasDistribudosEMENTA:

    Modelosearquiteturadesistemasdistribudos Middlewareeparadigmasdeinterao(clienteservidor,publishsubscribe,

    comunicaoemgrupo,filasdemensagens,espaosdetuplas,memriacompartilhada,streaming)

    Princpiosbsicos:sincronizaoderelgios,estadosglobais,coordenao,consensoecontroledeconcorrncia

    Tolernciaafalhas,replicaoetransaesdistribudas Propriedadesnofuncionaisdesistemasdistribudos Computaoubqua Computaocomoutility(computaoemnuvem) BigData:armazenamentoeprocessamentoBigMemoryprocessamentoem

    temporealparaBIGComputing Escalabilidade:processamentodemuitasrequisiessimultneassistemas

    distribudosdelargaescalaBIBLIOGRAFIA:1. GeorgeCoulouris,JeanDollimore,TimKindbergandGordonBlair.DistributedSystems:

    ConceptsandDesign.FifthEdition,AddisonWesley,2011

  • 2. AndrewS.Tanenbaum,MaartenvanSteen.Distributedsystems:principlesandparadigms.2ndEdition,PearsonPrenticeHall,2007

    3. ArtigoscientficosrelacionadosMCC032ComputaoParalelaEMENTA:

    Motivao,histricoeestadoatual Modelostericosdecomputaoparalela ProjetodealgoritmosnomodeloPRAM Modelosprticosdecomputaoparalela ProjetodealgoritmosnomodeloBSP Arquiteturasecomputadoresparalelos Medidasdedesempenhodeprogramasparalelos Arquiteturasmanycoreesuaslinguagensdeprogramao Implementaodealgoritmosparalelosusandoarquiteturasmanycore

    BIBLIOGRAFIA:1. IntroductiontoParallelAlgorithms,JosephJaJa,OxfordUniversityPress.2. ParallelScientificComputation:AStructuredApproachusingBSPandMPI,RobH.

    Bisseling,OxfordUniversityPress.3. ProgrammingMassivelyParallelProcessors:AHandsonApproach,DavidB.Kirk,

    WenmeiW.Hwu,MorganKaufmann.MCC033SistemasMultimdiaEMENTA:Compreenderoconceitodemultimdia.Conhecerosrequisitosparaodesenvolvimentodesistemasmultimdia,osprincipaispadresassociadossaplicaesmultimdia,osaspectosrelativosqualidadeetipodatransmisso,performance,formatodosarquivos,compactaodedadoseinterao.Identificareentendersuaaplicaoeminterfacesavanadas.BIBLIOGRAFIA:1. STEINMETZ,R.eNAHRSTEDT.Multimedia:Computing,Communications&

    Applications.PrenticeHall,1995.2. CHAPMAN,NandCHAPMAN,J.DigitalMultimedia2ndEdition,JohnWiley&Sons,

    England20093. STEINMETZ,R.eNAHRSTEDT,K.MultimediaSystems,Xmediapublishing,2004.4. CHAPMAN,N.AndChapman,J.DigitalMultimedia,Wiley,2009.5. HAVALDAR,PandMEDIONI,GMultimediaSystems:Algorithms,standardsandindustry

    practices,CourseTechnology,2010.6. FURHT,B(editor),MultimediaTechnologiesandApplicationsforthe21stCentury:

    VisionsofWorldExperts(TheSpringerInternationalSeriesinEngineeringandComputer

  • Science),2010.

    MCC034TpicosEspeciaisemCinciadaComputao

    EstaumadisciplinadeementavarivelqueobjetivaexplorartpicosavanadosnareadeCinciadaComputao.MCC035TpicosEspeciaisemEngenhariadeSoftware,BancodeDadoseInformticaeEducao

    EstaumadisciplinadeementavarivelqueobjetivaexplorartpicosavanadosnasreasespecficasdeEngenhariadeSoftware,BancodeDadoseInformticaeEducao.MCC036TpicosEspeciaisemFundamentosdeComputao

    EstaumadisciplinadeementavarivelqueobjetivaexplorartpicosavanadosnareaespecficadeFundamentosdaComputao.MCC037TpicosEspeciaisemIntelignciaComputacional

    EstaumadisciplinadeementavarivelqueobjetivaexplorartpicosavanadosnareaespecficadeIntelignciaComputacional.

    MCC038TpicosEspeciaisemProcessamentoGrfico,InteraoeComputaoAplicada

    EstaumadisciplinadeementavarivelqueobjetivaexplorartpicosavanadosnasreasespecficasdeProcessamentoGrfico,InteraoeComputaoAplicada.MCC039TpicosEspeciaisemSistemasdeComputao

    EstaumadisciplinadeementavarivelqueobjetivaexplorartpicosavanadosnareaespecficadeSistemasdeComputao.MCC040EstudoOrientado

    Estadisciplinaconsisteemumestudoindividualouemgrupo,sobsupervisodoprofessororientador,detpicoscomplementaresparaarealizaodadissertaofinaldemestrado.Ocontedoprecisodoestudodeveserdefinidoemtornodeumapropostadetrabalhoquevisedarmaturidadeaoestudanteparaodesenvolvimentodesuasatividadesde

  • pesquisaparaelaboraodadissertao.Ocontedodevegiraremtornodetpicosquepermitamaoestudantesefamiliarizarcomtcnicas,ferramentaseteoriasquelheseroteisemtodasasfasesdapesquisaedaelaboraodadissertaofinaldemestrado.