RICARDO CORDEIRO CORREA

Pós-doutorado

Idiomas

Áreas de atuação

Organização de eventos

Participação em eventos

Participação em bancas

Orientou

Produções bibliográficas

• ARAÚJO, PAULO HENRIQUE MACÊDO DE ; Corrêa, Ricardo C. ; Campêlo, Manoel . A parallel lagrangian heuristic for the fractional chromatic number of a graph. RAIRO-OPERATIONS RESEARCH , v. 57, p. 1821-1841, 2023.

• Corrêa, Ricardo C. ; BLAUM, MANUELA ; MARENCO, JAVIER ; KOCH, IVO ; MYDLARZ, MARCELO . An Integer Programming Approach for the 2-class Single-group Classification Problem. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE , v. 346, p. 321-331, 2019.

• DE ARAÚJO, PAULO HENRIQUE MACÊDO ; Campêlo, Manoel ; Corrêa, Ricardo C. ; LABBÉ, MARTINE . The Geodesic Classification Problem on Graphs. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE , v. 346, p. 65-76, 2019.

• Corrêa, Ricardo C. ; DELLE DONNE, DIEGO ; MARENCO, JAVIER . On the combinatorics of the 2-class classification problem. Discrete Optimization , v. 31, p. 40-55, 2019.

• Corrêa, Ricardo C. ; HOPPEN, C. ; Sampaio, Rudini M. . Limits of -dimensional poset sequences. DISCRETE APPLIED MATHEMATICS , v. 245, p. 208-219, 2018.

• Corrêa, Ricardo C. ; DELLE DONNE, DIEGO ; KOCH, IVO ; MARENCO, JAVIER . General cut-generating procedures for the stable set polytope. DISCRETE APPLIED MATHEMATICS , v. 245, p. 28-41, 2018.

• CORRÊA, R. C. ; FARIAS, P. M. S. . Linear time computation of the maximal linear and circular sums of multiple independent insertions into a sequence. Theoretical Computer Science , v. 661, p. 8-17, 2017.

• CAMPÊLO NETO, M. B. ; CAMPOS, V. A. ; Corrêa, Ricardo C. ; DONNE, D. D. ; MARENCO, J. ; MYDLARZ, M. . A polyhedral study of the maximum stable set problem with weights on vertex-subsets. Discrete Applied Mathematics , v. 210, p. 223-234, 2015.

• Campêlo, Manoel ; CORRÊA, RICARDO ; LINHARES SALES, CLAUDIA ; SAMPAIO, RUDINI . Preface - VIII Latin-american Algorithms, Graphs and Optimization Symposium. Electronic Notes in Discrete Mathematics , v. 50, p. 1-2, 2015.

• Corrêa, Ricardo C. ; MARENCO, JAVIER ; DELLE DONNE, DIEGO ; KOCH, IVO . A Strengthened General Cut-Generating Procedure for the Stable Set Polytope. ELECTRONIC NOTES IN DISCRETE MATHEMATICS , v. 50, p. 261-266, 2015.

• CAMPELO, M. ; CORRÊA, R. C. ; P. F. S. Moura ; Marcio C. Santos . On optimal -fold colorings of webs and antiwebs. Discrete Applied Mathematics , v. 161, p. 60-70, 2013.

• CORRÊA, R. C. ; FARIAS, P. M. S. ; SOUZA, C. P. . Insertion and sorting in a sequence of numbers minimizing the maximum sum of a contiguous subsequence. JOURNAL OF DISCRETE ALGORITHMS (PRINT) , v. 21, p. 1-10, 2013.

• FARIAS, PABLO M.S. ; Corrêa, Ricardo C. . Linear time computation of the maximal sums of insertions into all positions of a sequence. Electronic Notes in Discrete Mathematics , v. 44, p. 245-250, 2013.

• Bermond, Jean-Claude ; Corrêa, Ricardo C. ; Yu, Minli . Optimal gathering protocols on paths under interference constraints. Discrete Mathematics , v. 309, p. 5574-5587, 2009.

• Sereni, J.-S. ; CORRÊA, R. C. ; Havet, F. . About a Brooks-type theorem for improper colouring. The Australasian Journal of Combinatorics , v. 43, p. 219-230, 2009.

• CORREA, R ; BARBOSA, V . Partially ordered distributed computations on asynchronous point-to-point networks?. PARALLEL COMPUTING , v. 35, p. 12-28, 2009.

• Campêlo, Manoel ; Campos, Victor A. ; Corrêa, Ricardo C. . Um algoritmo de planos-de-corte para o número cromático fracionário de um grafo. Pesquisa Operacional (Impresso) , v. 29, p. 179-193, 2009.

• CORRÊA, R. C. ; CAMPÊLO NETO, M. B. ; CAMPOS, V. A. . On the Asymmetric Representatives Formulation for the Vertex Coloring Problem. Discrete Applied Mathematics , v. 156, p. 1097-1111, 2008.

• CARVALHO JUNIOR, F. H. ; LINS, R. D. ; CORRÊA, R. C. ; ARAUJO, G. . Towards an architecture for component-oriented parallel programming. Concurrency and Computation. Practice & Experience , v. 19, p. 697-719, 2007.

• CORRÊA, R. C. ; Jayme L. Szwarcfiter . On Extensions, Linear Extensions, Upsets and Downsets of Ordered Sets. Discrete Mathematics , v. 295, n.1-3, p. 13-30, 2005.

• CAMPÊLO NETO, M. B. ; CORRÊA, R. C. ; FROTA, Y. A. M. . Cliques, holes and the vertex coloring polytope. Information Processing Letters , v. 89, p. 159-164, 2004.

• CORRÊA, R. C. ; GOMES, F. A. C. ; OLIVEIRA, C. A. ; PARDALOS, P. M. . Parallel Implementation of an Asynchronous Team to the Point-to-Point Connection Problem. Parallel Computing , v. 29, n.4, p. 447-466, 2003.

• CORRÊA, R. C. . A parallel approximation scheme for the multiprocessor scheduling problem. Parallel Computing , v. 26, p. 47-72, 2000.

• CORRÊA, R. C. ; FERREIRA, A. ; REBREYEND, P. . Scheduling multiprocessor tasks with genetic algorithms. IEEE Transactions on Parallel and Distributed Systems , v. 10, n.8, p. 825-837, 1999.

• CORRÊA, R. C. ; FERREIRA, A. . On the effectiveness of synchronous parallel branch-and-bound. Parallel Processing Letters , v. 5, n.3, p. 375-386, 1995.

• CORRÊA, R. C. ; GOMES, F. A. C. (Org.) ; Mario Fiallos (Org.) ; DUTRA, I. C. (Org.) . Models for Parallel and Distributed Computation: Theory, Algorithmic Techniques and Applications. Boston: Kluwer, 2002. v. 1. 320p .

• CORRÊA, R. C. ; FERREIRA, A. ; PORTO, S. C. S. . Solving hard problems using parallel computers. In: Panos Pardalos; Ding-Zhu Du. (Org.). Handbook of Combinatorial Optimization. : Kluwer, 1998, v. 3, p. 407-456.

• CORRÊA, R. C. ; FERREIRA, A. . Parallel best-first branch-and-bound in discrete optimization: a framework. In: José Rolim. (Org.). Solving Combinatorial Problems in Parallel: Methods and Techniques (Lecture Notes in Computer Science). : Springer-Verlag, 1996, v. 1054, p. 171-200.

• CORRÊA, R. C. ; FERREIRA, A. . Modeling parallel branch-and-bound for asynchronous implementations. In: Panos Pardalos; Mauricio Resende. (Org.). Parallel Processing of Discrete Optimization Problems (DIMACS Series in Discrete Mathematics and Theoretical Computer Science). : American Mathematical Society, 1995, v. , p. 45-55.

• ARAUJO, P. H. M. ; CAMPÊLO NETO, M. B. ; CORRÊA, R. C. ; LABBE, M. . Integer Programming Models for the Geodesic Classification Problem on Graphs. In: Joint ALIO/EURO International Conference 2021-2022 on Applied Combinatorial Optimization, 2022, Via del Mar. Proceedings of the Joint ALIO/EURO International Conference 2021-2022 on Applied Combinatorial Optimization, 2022. v. 1. p. 77-82.

• OLIVEIRA, A. ; CORRÊA, R. C. ; VASCONCELOS, L. . MParCO: a Minimalist Parallel Framework for Combinatorial Optimization Applications. In: WSCAD, 2019. Annals of WSCAD 2018, 2018.

• CORRÊA, R. C. ; BLAUM, M. ; MARENCO, J. ; KOCH, IVO ; MYDLARZ, M. . An integer programming approach for the 2-class single-group classification problem. In: X Latin and American Algorithms, Graphs and Optimization Symposium (LAGOS), 2019, Belo Horizonte. Electronic Notes in Theoretical Computer Science, 2019.

• ARAUJO, P. H. M. ; Campêlo, Manoel ; CORRÊA, R. C. ; LABBE, M. . The Geodesic Classification Problem on Graphs. In: X Latin and American Algorithms, Graphs and Optimization Symposium (LAGOS), 2019, Belo Horizonte. Electronic Notes in Theoretical Computer Science, 2019.

• ARAUJO, P. H. M. ; Corrêa, Ricardo C. ; CAMPÊLO NETO, M. B. . A Parallel Lagrangean Heuristic for the Chromatic Number of a Graph. In: 50o SBPO - Simpósio Brasileiro de Pesquisa Operacional, 2018, Rio de Janeiro. Anais do 50o SBPO - Simpósio Brasileiro de Pesquisa Operacional, 2018.

• Corrêa, Ricardo C. ; MARENCO, J. ; KOCH, I. . A general cut-generating procedure for the stable set polytope. In: VIII ALIO/EURO Conference on Combinatorial Optimization, 2014, Montevideo, Uruguai. Proceedings of VIII ALIO/EURO Workshop on Applied Combinatorial Optimization, 2014.

• PAULA NETO, E. T. ; Campêlo, Manoel ; RODRIGUES, C. D. ; CORRÊA, R. C. . Escalonamento de Tarefas com Restrições de Precedência e Custos de Execução e Comunicação Unitários. In: XLV Simpósio Brasileiro de Pesquisa Operacional, 2013, Natal. Anais do XLV Simpósio Brasileiro de Pesquisa Operacional, 2013.

• Campêlo, Manoel ; Corrêa, Ricardo C. ; HUIBAN, C. ; RODRIGUES, C. D. . Flow Coloring Problem. In: Congreso Latino-Iberoamericano de Investigación Operativa - Simpósio Brasileiro de Pesquisa Operacional, 2012, Rio de Janeiro. Proceedings of XVI CLAIO/XLIV SBPO, 2012.

• SILVA, PAULO HENRIQUE LOPES ; FREITAS, GISELE A. DE ARAUJO ; CARVALHO-JUNIOR, FCO. HERON ; CORREA, RICARDO C. . Connection Mechanisms of CCA Components for Parallel Applications. In: 2012 13th Symposium on Computer Systems XIII Simp sio de Sistemas Computacionais (WSCADSSC), 2012, Petropolis. 2012 13th Symposium on Computer Systems, 2012. p. 210-217.

• CORRÊA, R. C. ; Hoppen, Carlos ; Kohayakawa, Yoshiharu ; Sampaio, Rudini M. . A note on random k-dimensional posets. In: VI Latin-American Algorithms, Graphs, and Optimization Symposium - LAGOS 2011, 2011. Electronic Notes in Discrete Mathematics, 2011. v. 37. p. 51-56.

• CAMPELO, M. ; P. F. S. Moura ; Marcio C. Santos ; CORRÊA, R. C. . The k-th chromatic number of webs and antiwebs. In: XLIII SBPO - Simpósio Brasileiro de Pesquisa Operacional, 2011, Ubatuba. Anais do XLIII SBPO, 2011. p. 1-9.

• Campêlo, Manoel ; Corrêa, Ricardo C. . A Combined Parallel Lagrangian Decomposition and Cutting-Plane Generation for Maximum Stable Set Problems. In: ISCO 2010 - International Symposium on Combinatorial Optimization, 2010, Hammamet, Tunisia. Electronic Notes in Discrete Mathematics. v. 36. p. 503-510.

• CARVALHO-JUNIOR, FRANCISCO HERON DE ; CORREA, RICARDO CORDEIRO . The design of a CCA framework with distribution, parallelism, and recursive composition. In: 2010 11th IEEE/ACM International Conference on Grid Computing (GRID), 2010, Brussels. 2010 11th IEEE/ACM International Conference on Grid Computing. v. 3. p. 339-110.

• CARVALHO JUNIOR, F. H. ; CORRÊA, R. C. ; ARAUJO, G. ; SILVA, J. C. ; LINS, R. D. . High-Level Service Connectors for Component-Based High Performance Computing. In: 19th International Symposium on Computer Architecture and High Performance Computing, 2007, Gramado. 19th International Symposium on Computer Architecture and High Performance Computing, 2007. p. 237-244.

• CAMPELO, M. ; CAMPOS, V. A. ; CORRÊA, R. C. . Um Algoritmo de Planos-de-Corte para o Número Cromático Fracionário de um Grafo. In: XXX CNMAC - Congresso Nacional de Matemática Aplicada e Computacional, 2007, Florianópolis. Congresso Nacional de Matemática Aplicada e Computacional, 2007.

• CARVALHO JUNIOR, F. H. ; CORRÊA, R. C. ; LINS, R. D. ; ARAUJO, G. . On the Design of Abstract Binding Connectors for High Performance Computing Component Models. In: HPC-GECO/CompFrame 2007, 2007, Montréal. Joint Workshop on HPC Grid Programming Environments and Components and Component and Framework Technology in High-Performance and Scientific Computing. New York: Association for Computing Machinery, 2007. p. 67-79.

• CARVALHO JUNIOR, F. H. ; SILVA, J. C. ; CORRÊA, R. C. ; QUEIROZ, L. P. . A High Performance Computing Platform for Component-Based Parallel Programming. In: Workshop on Languages and Tools for Parallel and Distributed Programming, 2007, Gramado. Proceedings of the Workshop on Languages and Tools for Parallel and Distributed Programming, 2007.

• LIMA, I. S. ; CORRÊA, R. C. ; CAMPELO, M. . LIMITES PARA A ALTURA MÍNIMA DE EXTENSÕES INDUZIDAS DE POSETS. In: XXXIX Simpósio Brasileiro de Pesquisa Operacional, 2007, Fortaleza. XXXIX Simpósio Brasileiro de Pesquisa Operacional, 2007.

• Bermond, J.-C. ; CORRÊA, R. C. ; YU, J. . Gathering Algorithms on Paths under Interference Constraints. In: CIAC 2006 - 6th Conference on Algorithms and Complexity, 2006, Roma. Lecture Notes in Computer Science. Berlin / Heidelberg: Springer-Verlag, 2006. v. 3998. p. 115-126.

• CARVALHO JUNIOR, F. H. ; LINS, R. D. ; CORRÊA, R. C. ; ARAUJO, G. ; SANTIAGO, C. F. . Design and implementation of an environment for component-based parallel programming. In: VECPAR 2006 - 7th High Performance Computing for Computational Science, 2006, Rio de Janeiro. Lecture Notes in Computer Science Series, 2006. v. 4395. p. 184-197.

• CAMPELO, M. ; CAMPOS, V. A. ; CORRÊA, R. C. . Clique and hole separation with applications to the fractional chromatic. In: XIII Conferencia Latino-IberoAmericana de Investigacion Operativa - CLAIO 2006, 2006, Montevideo. Anais da CLAIO 2006, 2006. p. 1-11.

• CAMPÊLO NETO, M. B. ; CAMPOS, V. A. ; CORRÊA, R. C. . On the Asymmetric Representatives Formulation for the Vertex Coloring Problem. In: Brazilian Symposium on Graphs, Algorithms and Combinatorics, 2005, Angra dos Reis. Electronic Notes in Discrete Mathematics, 2005. v. 19C. p. 337-343.

• CAMPÊLO NETO, M. B. ; CORRÊA, R. C. ; MACULAN, N. ; PROTTI, F. . Improved Lower Bounds for Scheduling Ordered Tasks on a Bounded Number of Processors. In: XI Latin-Iberian American Congress of Operations Research (CLAIO), 2002, Concepción. Proceedings of XI Latin-Iberian American Congress of Operations Research (CLAIO), 2002.

• CAMPELO, M. ; CORRÊA, R. C. ; MACULAN, N. ; PROTTI, F. . ILP Formulations for Scheduling Ordered Tasks on a Bounded Number of Processors. In: Brazilian Symposium on Graphs, Algorithms and Combinatorics, 2001, Fortaleza. Electronic Notes in Discrete Mathematics. Amsterdam: Elsevier, 2001. v. 7. p. 166-169.

• CORRÊA, R. C. ; Jayme L. Szwarcfiter . On Extensions, Linear Extensions, Upsets and Downsets of Ordered Sets. In: 6th International Conference on Graph Theory, 2000, Marselha, França. Electronic Notes in Discrete Mathematics. Paris, França: Elsevier Science, 2000. v. 5.

• CORRÊA, R. C. ; FERREIRA, A. . A polynomial-time branching procedure for scheduling multiprocessor tasks. In: EuroPar, 1999, Toulouse. Lecture Notes in Computer Science. Berlin / Heidelberg: Springer-Verlag, 1999. v. 1685. p. 272-279.

• CORRÊA, R. C. ; FERREIRA, A. ; REBREYEND, P. . Integrating list heuristics into genetic algorithms for multiprocessor scheduling. In: IEEE Symposium on Parallel and Distributed Processing, 1996. IEEE SPDP96, 1996. p. 241-248.

• CORRÊA, R. C. . A parallel formulation for general branch-and-bound algorithms. In: IRREGULAR, 1995, Lyon. Lecture Notes in Computer Science. Berlin / Heidelberg: Springer-Verlag, 1995. v. 980. p. 395-409.

• CORRÊA, R. C. ; FERREIRA, A. . A distributed implementation of asynchronous parallel branch-and-bound. In: IRREGULAR, 1994, Genebra. Parallel Algorithms for Irregular Problems: State of the Art, 1994. p. 157-176.

• CORRÊA, R. C. ; BARÁN, B. . Gradient-like algorithms: a proposal for a partially asynchronous computer system. In: Conferencia Latinoamericana de Informatica, 1990, Assunção, 1990.

• ARAÚJO, GISELE A. ; CARVALHO, FRANCISCO H. ; Corrêa, Ricardo C. . Implementing endogenous and exogenous connectors with the common component architecture. In: the 2009 Workshop, 2009, Portland. Proceedings of the 2009 Workshop on Component-Based High Performance Computing - CBHPC '09. p. 1.

• CORRÊA, R. C. . A Lagrangian Decomposition for the Maximum Stable Set Problem. In: VI ALIO/EURO Workshop on Applied Combinatorial Optimization, 2008, Buenos Aires. Proceedings of VI ALIO/EURO Workshop on Applied Combinatorial Optimization, 2008.

• CORRÊA, R. C. ; CARVALHO JUNIOR, F. H. ; CAVALCANTE NETO, J. B. ; ARAÚJO, GISELE A. . On Collective Properties in Distributed Component Frameworks for HPC Applications. In: I Workshop on Languages and Tools for Parallel and Distributed Computing, 2007. Proceedings of LTPD 2007, 2007.

• VELLOSO, S. C. S. ; CORRÊA, R. C. . Geografia do Voto e Discursos em Plenário da Assembleia Legislativa do Estado do Rio de Janeiro. In: III Congresso Internacional de Humanidades Digitais, 2023, Rio de Janeiro. Anais do HDRio2023 - III Congresso Internacional de Humanidades Digitais, 2023.

• VALLE, A. G. ; CORRÊA, R. C. . Relendo a Revista do Serviço do Patrimônio Histórico e Artístico Nacional (1937-1961). In: III Congresso Internacional de Humanidades Digitais, 2023, Rio de Janeiro. Anais do HDRio2023 - III Congresso Internacional de Humanidades Digitais, 2023.

• SENNA, A. L. R. ; OLIVEIRA, L. D. ; CORRÊA, R. C. . Os 17 ODSs no setor siderúrgico do Oeste Metropolitano Fluminense: Uma análise computacional à partir dos reportes anuais de sustentabilidade. In: III Congresso Internacional de Humanidades Digitais, 2023, Rio de Janeiro. Anais do HDRio2023 - III Congresso Internacional de Humanidades Digitais, 2023.

• CORRÊA, R. C. . Maximum Weight of a Clique of a Graph via Enumeration and Parallel Lagrangian Relaxation. In: XLI Simpósio Brasileiro de Pesqua Operacional, 2009, Porto Seguro. Anais do XLI Simpósio Brasileiro de Pesqua Operacional, 2009. p. 3310-3310.

• CAMPOS, V. A. ; CAMPÊLO NETO, M. B. ; CORRÊA, R. C. ; RODRIGUES, C. D. . On Fractional and Integral Chromatic Numbers of a Graph via Cutting and Pricing. In: Fifth ALIO/EURO conference on combinatorial optimization, 2005, Paris. Abstracts of the Fifth ALIO/EURO, 2005. p. 42-42.

• CAMPÊLO NETO, M. B. ; CAMPOS, V. A. ; CORRÊA, R. C. . Um algoritmo branch-and-cut para coloração de vértices. In: I Encontro Norte-Nordeste de Pesquisa Operacional e Matemática Aplicada - EPOMAC, 2005. Anais do I EPOMAC.

• SANTOS, G. ; CAMPÊLO NETO, M. B. ; CORRÊA, R. C. . Uma abordagem do problema de escalonamento de tarefas em múltiplos processadores via programação inteira. In: I Encontro Norte-Nordeste de Pesquisa Operacional e Matemática Aplicada, 2005, Maceió. EPOMAC, 2005.

• CORRÊA, R. C. ; CAMPÊLO NETO, M. B. ; FROTA, Y. A. M. . Cliques, Holes and Lower Bounds for the Vertex Coloring Problem. In: International Symposium on Mathematical Programming, 2003, Copenhagen. Proceedings of the 18th International Symposium on Mathematical Programming, 2003.

• CORRÊA, R. C. ; FROTA, Y. A. M. . Computational Experiments with the Column Generation Approach for Finding the Chromatic Number of a Graph. In: Combinatorial Optimization 2002, 2002, Paris. Proceedings of Combinatorial Optimization 2002, 2002. v. 1. p. 87-87.

• CORRÊA, R. C. ; Jayme L. Szwarcfiter . Enumerating all the Extensions of an Ordered Set. In: Tenth SIAM Conference on Discrete Mathematics, 2000, Minneapolis. Proceedings of the Tenth SIAM Conference on Discrete Methematics, 2000. p. 37-37.

• CORRÊA, R. C. ; Jayme L. Szwarcfiter . An Algorithm for Generating all Extensions of an Ordered Set. In: Discrete Analysis and Operations Research, 2000, Novosibirsk. Proceedings of DAOR'2000, 2000. p. 72-72.

• ARAUJO, P. H. M. ; CORRÊA, R. C. ; CAMPÊLO NETO, M. B. . Integer Programming Models and Polyhedral Study for the Geodesic Classification Problem on Graphs. EUROPEAN JOURNAL OF OPERATIONAL RESEARCH , 2023.

• CORRÊA, R. C. . Ciência da Computação em Humanidades Digitais. 2021. (Apresentação de Trabalho/Conferência ou palestra).

• CORRÊA, R. C. . Solving the classification problem with combinatorial optimization tools. 2016. (Apresentação de Trabalho/Conferência ou palestra).

• Corrêa, Ricardo C. . A General Cut-Generating Procedure for the Stable Set Polytope. 2014. (Apresentação de Trabalho/Conferência ou palestra).

• CORRÊA, R. C. ; FORTES, A. . COVID-19 e Desigualdade Social na Região Metropolitana do Rio de Janeiro: Uma Análise Crítica dos Dados Disponíveis. Nova Iguaçu: Open-Lab - PPGIHD - UFRRJ, 2020 (Nota de pesquisa).

• Bermond, J.-C. ; CORRÊA, R. C. ; YU, J. . Optimal Gathering Protocols on Paths under Interference Constraints 2007 (Relatório técnico).

• CORRÊA, R. C. ; Barbosa, V. . Partially ordered distributed computations on asynchronous point-to-point networks 2006 (Relatório técnico).

• CORRÊA, R. C. . Problemas em Grafos e seus Algoritmos 1999 (II Escola de Informática - Regional NE).

• CORRÊA, R. C. . Aspectos Combinatórios de Redes de Interconexão 1998 (Encontro Regional da SBC - Região Sudeste).

• CORRÊA, R. C. . On the efficiency of a genetic algorithm for the multiprocessor scheduling problem. Rio de Janeiro, RJ: NCE/UFRJ, 1997 (Relatório técnico).

• CORRÊA, R. C. ; MOUNIÉ, G. . Scheduling multiprocessor tasks with parallel best-first branch-and-bound: preliminary experiments and results. Grenoble, França: LMC/IMAG, 1996 (Relatório técnico).

Outras produções

Projetos de pesquisa

• 2019 - Atual

  Processamento de Textos em Humanidades Digitais, Descrição: A disciplina de Humanidades Digitais envolve a investigação de dinâmicas sociais em escalas variando desde indivíduos até agrupamentos sociais muito numerosos através de abordagens combinando análises ou previsões qualitativas e quantitativas. Uma característica essencial está na manipulação de massas de informação suficientemente grandes ou complexas para exigir sofisticados conceitos, teorias e artefatos computacionais. As questões investigadas incluem dinâmicas e comportamentos, temporal ou espacial de agrupamentos sociais, seguindo abordagens transitando na interseção entre as diversas disciplinas de Ciências Humanas e de Ciência da Computação. Nesse contexto, a análise de informações textuais desempenha um papel crucial. Um exemplo é a seleção de documentos históricos, ou fragmentos de documentos, relevantes que é prática comum em atividades de pesquisa histórica. A relevância de um documento é um atributo dependente de diversos parâmetros, variando desde o objeto da pesquisa ao contexto em que o documento foi gerado ou obtido. De uma forma geral, a determinação de relevância de um documento é uma questão complexa. No entanto, em cenários de escopo delimitado, responder à questão da relevância torna-se mais simples. Nesses casos, coloca-se, então, a questão da seleção automatizada de documentos históricos relevantes em um conjunto de documentos relativamente extenso. Outro caso de aplicação está na classificação de produção acadêmica. A ciência pode ser vista como o esforço humano sistemático e estruturado de construção e acúmulo do conhecimento capaz de explicar e prever a naturezado funcionamento do mundo que nos cerca. Esse processo cumulativo de construção tende a se estruturar em disciplinas, estas mesmas organizadas de forma hierárquica em temas e subtemas constituindo uma taxonomia. Além dessa relação hierárquica, a difusão do conhecimento por meio de publicações acadêmicas e a rede de citações associada expressamuma outra relação de interdependência causal e espacial do pensamento científico definida apartir dos caminhos trilhados pela atividade intelectual ao longo do tempo. Uma questão comum a esses exemplos, dentre vários outros, está na identificação de assuntos tratados em conjuntos extensos de textos, relacioná-los e selecionar extratos relevantes para análise do contexto social envolvido. Esses são os problemas tratados neste projeto.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (3) . , Integrantes: Ricardo Cordeiro Corrêa - Coordenador / Alexandre Fortes - Integrante.

• 2018 - Atual

  Implantação do Sistema Integrado de Centros de Documentação Histórica da UFRRJ, Descrição: O presente projeto pretende otimizar recursos e esforços visando preservar, catalogar, disponibilizar e divulgar todos os acervos científicos relevantes da UFRRJ, no âmbito de uma política de informação científica, os metadados gerados a partir da catalogação de todos os acervos, aos sistemas de gestão acadêmica. Assim como criar uma página de acesso integrado aos repositórios, mantendo sua especialização funcional de Teses e Dissertações, Coleções digitalizadas, Bancos de Dados TCCS e Monografias. O projeto objetiva viabilizar o desenvolvimento de capacidade institucional autônoma (pessoal, capacitação, suprimentos, equipamentos etc.).. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) . , Integrantes: Ricardo Cordeiro Corrêa - Coordenador / Alexandre Fortes - Integrante / Álvaro Pereira do Nascimento - Integrante.

• 2017 - Atual

  Problemas de Classificação e Programação Inteira, Descrição: Uma questão de notória relevância prática na sociedade da informação em que vivemos é a extração automática de informações de um conjunto de dados a partir da descoberta de padrões e relações entre estes com o objetivo de gerar modelos capazes de prever comportamentos futuros. Tratando-se de uma área do conhecimento em progressiva efervescência, há atualmente uma multitude de estratégias adotadas com sucesso, cada qual mais adptada a um contexto particular. Uma dessas estratégias é conhecida pelo termo de classificação supervisionada. Esta é uma estratégia em duas fases: na fase inicial, ou de treinamento, um conjunto de amostras é analisado. Cada amostra é constituída de um conjunto de informações caracterizando um objeto e um rótulo. Nesta primeira fase procura-se um padrão subjacente às amostras de mesmo rótulo. Na segunda fase, utiliza-se o padrão detectado na primeira fase para se realizar a atribuição de um rótulo a um conjunto objetos. O objeto de estudo neste projeto é o uso de formulações de programação linear inteira para a resolução do problema de classificação por convexidade geométrica e geodésica.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (1) . , Integrantes: Ricardo Cordeiro Corrêa - Coordenador / Leandro Guimarães Marques Alvim - Integrante / Fernanda Vieira Dias Couto - Integrante., Financiador(es): Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ - Auxílio financeiro / Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 3

• 2011 - 2014

  Algoritmos Eficientes para Redes de Telecomunicações, Descrição: Este projeto é a continuação da cooperação já existente entre o grupo de pesquisa ParGO, da UFC, e o Projeto Mascotte, do INRIA/Sophia-Antipolis, que se iniciou em 2002 e foi oficialmente reconhecida em 2009, quando o ParGO/UFC tornou-se equipe associada ao INRIA (EWIN\footnote{\tt http://www-sop.inria.fr/teams/mascotte/equipeassociee/ewin/ewin09.html}). Os objetivos científicos desta cooperação compreendem o projeto de algoritmos, exatos ou aproximativos, para resolver problemas de otimização oriundos de dimensionamento e operação das redes de telecomunicações, sobretudo as redes sem fio. Para fazer isso, nós propomos uma modelagem combinatória desses problemas, usando principalmente teoria de grafos. Alguns dos problemas estudados nos últimos anos foram apresentados no Simpósio COLIBRI Brasil/INRIA em julho de 2009.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Ricardo Cordeiro Corrêa - Coordenador.

• 2008 - 2010

  Um Framework Componentes para Aplicações de Alto Desempenho em Sistemas Heterogêneos, Descrição: Artefatos computacionais para a computação de alto desempenho, envolvendo a adeqüada combinação de arquiteturas de computadores, linguagens de programação e algoritmos, são atualmente aspectos da Ciência da Computação essenciais ao avanço da ciência e da tecnologia pelo seu potencial de viabilizar simulações de grande porte de fenômenos em várias áreas do conhecimento (como a indústria do petróleo e telecomunicações, as aplicações deste projeto). O crescente desenvolvimento percebido nesses aspectos tem permitido investigar problemas que até recentemente não podiam ser estudados, seja pela grande quantidade de dados a serem manipulados, seja pela ausência de soluções analíticas ou ainda pela inviabilidade de reprodução real do fenômeno em laboratório. Temos assistido nos últimos anos ao surgimento de ambientes de computação heterogêneos, voltados a aplicações cuja demanda computacional extrapola mesmo a capacidade de oferta de recursos de um único domínio. Nesse novo contexto, em que distribuição e heterogeneidade tornam-se aspectos marcantes, a integração das técnicas algorítmicas e programas já existentes aparece como uma exigência para que todo o conhecimento e a tecnologia já acumulados possam ainda ser aproveitados no novo cenário. Este é o problema focado por este projeto, utilizando uma abordagem orientada a componentes para utilização de processamento distribuído envolvendo recursos heterogêneos e para integração de algoritmos, estruturas de dados e modelos criados por diferentes disciplinas utilizando metodologias próprias, resultante da necessidade da colaboração entre cientistas e especialistas de diferentes domínios.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (2) / Doutorado: (1) . , Integrantes: Ricardo Cordeiro Corrêa - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 11

• 2007 - 2009

  Programação Baseada em Componentes para Aplicações de Alto Desempenho em Grades Computacionais, Descrição: O desenvolvimento dos artefatos computacionais para o processamento de alto desempenho, envolvendo a adeqüada combinação de arquiteturas de computadores, linguagens de programação e algoritmos, tornou-se indispensável para o avanço das ciências computacionais. A alta complexidade computacional e a integração de diversas especialidades são características comuns às aplicações de ciências computacionais atuais, na busca da viabilização do processamento de instâncias realistas. É nesse contexto que, gradativamente nos últimos quarenta anos, as arquiteturas distribuídas vêm-se tornando viáveis para prover a oferta de recursos computacionais requeridos por tais aplicações, notadamente devido ao contínuo aprimoramento das tecnologias de comunicação e do conhecimento em algoritmos paralelos e distribuídos. O percurso nessa evolução iniciou-se com o foco em soluções que têm como premissa a concentração de todos os recursos computacionais em um único domínio. Esse é o caso dos tradicionais supercomputadores, arquiteturas proprietárias, de alto custo, voltadas a aplicações que envolvem paralelismo fortemente acoplado. Também os clusters, constituídos com hardware e software de prateleira, pressupõem essa premissa. Apesar de tal limitação, os clusters têm o mérito de ter possibilitado a disseminação do processamento paralelo, hoje atingindo a maioria das instituições científicas e industriais que desta demandam, devido ao seu ótimo custo-benefício e cobertura de uma grande classe de aplicações. Na continuidade da evolução, temos assistido nos últimos anos ao surgimento de ambientes de computação em grades, voltados a aplicações cuja demanda computacional extrapola mesmo a capacidade de oferta de recursos de um único domínio. Merecem atenção especial, uma vez que estamos interessados em meios de facilitação do uso destes no que diz respeito à construção de aplicações de ciências computacionais. Nesse novo contexto, em que distribuição e heterogeneidade tornam-se aspectos marcan. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) / Doutorado: (1) . , Integrantes: Ricardo Cordeiro Corrêa - Coordenador / Valmir Carneiro Barbosa - Integrante / Francisco Heron de Carvalho Junior - Integrante / Joaquim Bento Cavalcante Neto - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / Universidade Federal do Rio de Janeiro - Cooperação., Número de produções C, T & A: 12

• 2005 - 2007

  ELABORAÇÃO E IMPLEMENTAÇÃO DE UM ALGORITMO BRANCH-AND-CUT-AND-PRICE PARA O PROBLEMA DE COLORAÇÃO DE VÉRTICES, Descrição: Problemas de coloração de vértices envolvem o problema fundamental do particionamento em classes de um dado conjunto de objetos. Mais precisamente, dado um grafo G, o problema consiste em encontrar o menor número de cores necessárias para atribuir a cada vértice uma cor de tal forma que vértices adjacentes recebam cores distintas. Freqüentemente, deseja-se também obter uma atribuição que use esse número mínimo de cores, determinando-se assim uma partição do conjunto de vértices em subconjuntos disjuntos, cujos elementos não são adjacentes entre si. Esse problema aparece, por exemplo, na determinação de tabela de horários, seqüenciamento, escalonamento, atribuição de registros em compiladores, atribuição de freqüências em telefonia celular, entre outras áreas. Em razão dessa abrangência, e também pelos próprio desafio teórico de tratar-se de um problema classificado entre os mais difíceis problemas em computação, a saber, os problemas NP-Difíceis, a solução exata de problemas de coloração de vértices é um tema que tem recebido grande atenção da comunidade de teoria dos grafos, algoritmos e otimização combinatória. O objetivo deste projeto é a elaboração, e posterior implementação, de algoritmos exatos do tipo branch-and-cut-and-price para problemas de coloração de vértices. Embora essa pesquisa seja primeiramente orientada pelo interesse teórico despertado pelos problemas, o conhecimento advindo de estudos experimentais será fundamental, vindo somar-se aos resultados teóricos e contribuindo inclusive para indicar novos rumos de pesquisa. Adicionalmente, o desempenho computacional de algoritmos exatos para problemas difíceis como esses depende fortemente da eficiência das implementações realizadas. A idéia da aplicação de branch-and-price e branch-and-cut a problemas de coloração tem sua origem em trabalhos anteriores nesta linha. Historicamente, a abordagem do problema de coloração de vértices baseada em algoritmos do tipo branch-and-bound ganhou impulso com o trabal. , Situação: Desativado; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) . , Integrantes: Ricardo Cordeiro Corrêa - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 10

• 2003 - 2007

  Simulação e Visualização de Fraturas em Dutos e Materiais Betuminosos, Descrição: O objetivo deste projeto cooperativo é propor uma nova metodologia computacional para análise de integridade estrutural de dutos e pavimentos baseada em técnicas recentes de simulação, computação gráfica e processamento de alto desempenho.. , Situação: Desativado; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (5) / Mestrado acadêmico: (4) / Doutorado: (1) . , Integrantes: Ricardo Cordeiro Corrêa - Coordenador., Financiador(es): Petróleo Brasileiro - Rio de Janeiro - Matriz - Auxílio financeiro / Itau Tecnologia S/A - Auxílio financeiro / Financiadora de Estudos e Projetos - Auxílio financeiro.

• 2000 - 2002

  Aplicações de problemas de fluxo de grande porte ao setor petroleiro usando redes distribuídas e paralelismo, Descrição: A importância da otimização combinatória pode ser constatada em diversos domínios das ciências, engenharias e até mesmo da nossa vida cotidiana. Por isto, diversas são as aplicações envolvendo a produtividade industrial ou comercial, tais como roteamento de veículos, localização de facilidades, auxílio a tomada de decisões, sistemas de comunicação, de produção, planejamento de distribuição, entre muitos outros. Com o surgimento dos computadores paralelos em escala comercial, o interesse pelo emprego de algoritmos paralelos para solução de problemas de otimização combinatória tem aumentado consideravelmente. Com isso, o objetivo principal do projeto é aprimorar a qualidade ou o tempo de obtenção de soluções para o problema de fluxo em redes de grande porte. Por este ser um problema que surge em diversos campos de pesquisa, algoritmos eficientes têm sido estudados extensivamente nos últimos 50 anos. A metodologia adotada, para alcançar os objetivos propostos, será principalmente a implementação de algoritmos de fluxo e realização de vários testes, com diferentes classes de redes, nos modelos síncrono, assíncrono e parcialmente síncrono. Espera-se, além de uma fundamentação teórica, determinar um modelo eficiente para resolver o problema.. , Situação: Desativado; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Ricardo Cordeiro Corrêa - Coordenador / Valmir Carneiro Barbosa - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 3

Projetos de desenvolvimento

• 2019 - Atual

  RIMA: Implantação de Sistema Analítico Integrado de Centros de Documentação Histórica da UFRRJ, Descrição: A adoção de novos instrumentos ou metodologias oriundos da modelagem matemática e computacional tornou-se um elemento essencial para o avanço das ciências sociais. Seguindo essa tendência, o arranjo do Instituto Multidisciplinar da UFRRJ tem proporcionado a interação entre cientistas que são especialistas em estudar comportamentos sociais com pesquisadores que têm treinamento em Ciência da Computação. No centro dessa interação está a construção de abordagens multidisciplinares de investigação de dinâmicas sociais. Fruto dessa interação, neste projeto estão reunidas equipes de pesquisadores em História e Ciência da Computação visando consolidar a UFRRJ como centro de referência na digitalização, disponibilização e análise computacional de acervos de relevância histórica, institucional e científica.. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Ricardo Cordeiro Corrêa - Coordenador / Alexandre Fortes - Integrante / Álvaro Pereira do Nascimento - Integrante.

• 2019 - Atual

  RIMA: Implantação de Sistema Analítico Integrado de Centros de Documentação Histórica da UFRRJ, Descrição: A adoção de novos instrumentos ou metodologias oriundos da modelagem matemática e computacional tornou-se um elemento essencial para o avanço das ciências sociais. Seguindo essa tendência, o arranjo do Instituto Multidisciplinar da UFRRJ tem proporcionado a interação entre cientistas que são especialistas em estudar comportamentos sociais com pesquisadores que têm treinamento em Ciência da Computação. No centro dessa interação está a construção de abordagens multidisciplinares de investigação de dinâmicas sociais. Fruto dessa interação, neste projeto estão reunidas equipes de pesquisadores em História e Ciência da Computação visando consolidar a UFRRJ como centro de referência na digitalização, disponibilização e análise computacional de acervos de relevância histórica, institucional e científica.. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Ricardo Cordeiro Corrêa - Coordenador / Alexandre Fortes - Integrante / Álvaro Pereira do Nascimento - Integrante.

• 2019 - Atual

  RIMA: Implantação de Sistema Analítico Integrado de Centros de Documentação Histórica da UFRRJ, Descrição: A adoção de novos instrumentos ou metodologias oriundos da modelagem matemática e computacional tornou-se um elemento essencial para o avanço das ciências sociais. Seguindo essa tendência, o arranjo do Instituto Multidisciplinar da UFRRJ tem proporcionado a interação entre cientistas que são especialistas em estudar comportamentos sociais com pesquisadores que têm treinamento em Ciência da Computação. No centro dessa interação está a construção de abordagens multidisciplinares de investigação de dinâmicas sociais. Fruto dessa interação, neste projeto estão reunidas equipes de pesquisadores em História e Ciência da Computação visando consolidar a UFRRJ como centro de referência na digitalização, disponibilização e análise computacional de acervos de relevância histórica, institucional e científica.. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Ricardo Cordeiro Corrêa - Coordenador / Alexandre Fortes - Integrante / Álvaro Pereira do Nascimento - Integrante.

• 2019 - Atual

  RIMA: Implantação de Sistema Analítico Integrado de Centros de Documentação Histórica da UFRRJ, Descrição: A adoção de novos instrumentos ou metodologias oriundos da modelagem matemática e computacional tornou-se um elemento essencial para o avanço das ciências sociais. Seguindo essa tendência, o arranjo do Instituto Multidisciplinar da UFRRJ tem proporcionado a interação entre cientistas que são especialistas em estudar comportamentos sociais com pesquisadores que têm treinamento em Ciência da Computação. No centro dessa interação está a construção de abordagens multidisciplinares de investigação de dinâmicas sociais. Fruto dessa interação, neste projeto estão reunidas equipes de pesquisadores em História e Ciência da Computação visando consolidar a UFRRJ como centro de referência na digitalização, disponibilização e análise computacional de acervos de relevância histórica, institucional e científica.. , Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Ricardo Cordeiro Corrêa - Coordenador / Alexandre Fortes - Integrante / Álvaro Pereira do Nascimento - Integrante.

Prêmios