Contract
O RELATÓRIO TÉCNICO FINAL, abrangendo todo o período de execução física e financeira do Projeto, deve ser encaminhado em conjunto com a Prestação de Contas Final do respectivo Convênio, complementando o Relatório de Execução Física ( ANEXO C.1.1. ), o qual se refere apenas ao último período não incluído em prestações de contas anteriores.
Convenente: Fundação de Apoio à Universidade de São Paulo
Executor: Instituto de Matemática e Estatística - USP
Título do Projeto: Complexidade de Estruturas Discretas |
Período de Execução Física e Financeira: 26/11/1997 a 30/11/2002 |
1. DESCRIÇÃO DO PROJETO
Transcrever do Item 2. do PLANO DE TRABALHO aprovado.
Objetivo Geral 1. Fomentar a integração dos diversos centros de pesquisa interessados na área de Combinatória, ampliando o grau de interação iniciado pelo projeto ProComb (que integrou diversos pesquisadores deste projeto e foi financiado pelo ProTem-CC-II do CNPq). 2. Aumentar a produção científica do grupo através de uma maior quantidade de publicações em revistas internacionais de primeira linha, assim como uma maior participação da equipe em congressos realizados no exterior e no país. 3. Aumentar a participação da equipe na comunidade nacional de Ciência da Computação e Matemática. 4. Ampliar ainda mais a formação de profissionais na área, atraindo, através de maior divulgação das atividades da equipe, mais estudantes de doutorado, mestrado e iniciação científica. Os pesquisadores deste projeto têm especial interesse pelas seguintes linhas de pesquisa: - Estudo de propriedades assintóticas de estruturas combinatórias, investigadas através de métodos combinatórios e extra-combinatórios, como métodos probabilísticos, algébricos e topológicos; - Investigação de propriedades estruturais e aspectos algorítmicos de grafos, hipergrafos e estruturas correlatas; - Estudo de métodos e problemas geométricos em Combinatória, com especial ênfase em métodos poliédricos em otimização combinatória. |
Objetivos Específicos ( Metas Físicas ) a) Elaboração e acesso a páginas WWW do projeto. Um dos nossos objetivos é disponibilizar os resultados científicos obtidos na Internet através de páginas WWW. Tais páginas serão atualizadas periodicamente. b) Realização de oficinas. Oficinas congregando os pesquisadores do projeto, alunos e outros convidados serão realizadas anualmente. Serão incentivos para realimentação e interação entre as várias instituições participantes. Essas oficinas servirão também para avaliar o andamento do projeto, eventualmente indicando possíveis redirecionamentos a serem feitos. Nestas ocasiões, divulgaremos amplamente estes encontros, convidando especialmente pesquisadores de centros emergentes com os |
quais desejamos estreitar contatos. Em particular, o projeto terá como subproduto certo atas com publicações deste grupo de pesquisa e com contribuições de autores nacionais e internacionais convidados. As datas de realização destas serão discutidas por via eletrônica e serão acertadas com todos os participantes do Núcleo. Para facilitar essa troca de mensagens, a exemplo do que foi feito no projeto ProComb, será criada uma lista eletrônica de todos os participantes, bem como uma conta na rede de computadores da instituição sede, onde serão armazenadas as publicações do Núcleo e outras informações relevantes. c) Intercâmbios com outros centros de pesquisa Consideramos de extrema importância que os pesquisadores deste projeto realizem visitas a outros centros e também recebam visitantes do exterior. Essa troca de experiências é essencial no direcionamento das pesquisas. Estão previstas várias visitas de intercâmbio que ocorrerão sistematicamente durante a vigência deste projeto. d) Participação em congressos Para que os pesquisadores se mantenham atualizados quanto ao estado-da-arte da área em que atuam é essencial que participem de congressos de primeira linha na sua área. Consideramos essa atividade de suma importância para o bom andamento deste projeto. No orçamento deste projeto estão previstas verbas para este tipo de atividade. |
Resultados Esperados Como conseqüência de nossas atividades de pesquisa dentro deste projeto, objetivamos ter, como resultado concreto uma maior integração entre os diversos grupos no país interessados em Combinatória. Esta integração virá a causar: - maior número de publicações em periódicos internacionais de primeira linha; publicações de autoria dos participantes do projeto nas atas das oficinas; - aumento das atividades de intercâmbio nacional e internacional mantidas por membros da equipe, com especial atenção à participação mais ativa do grupo em simpósios onde hoje a atuação da equipe não é tão intensa (como os Congressos da Sociedade Brasileira de Computação e Congresso Nacional de Matemática Aplicada e Computacional); - atração de pós-doutorandos da oferta internacional; - formação de um grupo maior de alunos de doutoramento, mestrado e de iniciação científica; - fortalecimento de grupos na área de Combinatória de instituições emergentes; - colaboração na formação teórica de graduados em computação nas várias instituições. O fortalecimento do grupo de pesquisadores envolvidos neste projeto é o principal resultado esperado, e terá como conseqüencia, a formação de recursos humanos altamente qualificados e preparados para contribuir para a capacitação tecnológica do país em várias áreas do conhecimento, já que pessoal formado pelos pesquisadores do núcleo hoje atuam em diversas instituições do país (como o Mato Grosso do Sul, Paraná, Bahia, etc), especialmente na formação teórica básica de estudantes de graduação e pós-graduação. A área de Combinatória tem lugar destacado na Teoria da Computação, sendo um dos seus pilares fundamentais. A descoberta de algoritmos eficientes, ou mesmo a identificação da complexidade computacional de problemas estão intrinsecamente relacionados com esta área, e constituem a base fundamental para diversas aplicações em ciência da computação. Note-se que os principais resultados devem ser esperados a médio e longo prazos. Nosso projeto conta com uma grande maioria de participantes com doutorado recente (últimos cinco anos). Esperamos que através do projeto consigamos o entrosamento desse contingente altamente motivado de pesquisadores, colaborando para a consolidação e ampliação dos núcleos de pesquisa em Combinatória. |
Um outro aspecto que justifica a relevância desta proposta, é o do reconhecimento dos centros de pesquisa brasileiros em termos internacionais. Tal fato facilita sobremaneira o intercâmbio de nossas instituições com os grandes centros de pesquisa internacionais, propiciando um constante acompanhamento de novas áreas e tendências em Combinatória, além de facilitar o envio de estudantes brasileiros para serem formados nesses centros. Como último resultado esperado, mas não menos importante, mencionamos que é fundamental termos no Brasil condições profícuas para o desenvolvimento de pesquisa. É importante mostrar ao estudante brasileiro que está se formando no exterior que é possível e viável fazer pesquisa de qualidade no país. Com isso esperamos diminuir a “taxa de evasão” de recém-doutores, ou seja, daqueles que, muitas vezes após terem sido financiados por agências brasileiras de fomento à pesquisa, decidem não voltar ao país por acharem que não terão aqui condições de progredir profissionalmente. Mais que isso, poderemos formar no país pólos potenciais de atração de pesquisadores estrangeiros, intensificando o intercâmbio das instituições participantes com centros de excelência no exterior. |
2. RESULTADOS OBTIDOS
Informar os resultados efetivamente alcançados pelo projeto, relacionando-os àqueles esperados.
a)[Esperado] Maior número de publicações em periódicos internacionais de primeira linha; publicações de autoria dos participantes do projeto nas atas das oficinas. [Obtido] A produção científica do grupo nesse período foi muito boa. O grupo publicou (ou teve aceitação de) -- 95 artigos em periódicos internacionais; -- 33 manuscritos (submetidos); -- 6 livros; -- 7 capítulos de livros; -- 40 trabalhos completos em anais de congressos no exterior; -- 8 trabalhos completos em anais de congressos no país. Vale aqui destacar que o grupo teve vários trabalhos publicados ou aceitos em periódicos de reconhecida qualidade, tais como: Algorithmica; Combinatorica; J. of Algorithms; J. of Combinatorial Theory (A e B); J. of Graph Theory; J. of the London Mathematical Society; Transactions of the Am. Math. Society; Theoretical Comp. Science; ACM J. on Experimental Algorithmics; Disc. Appl. Mathematics, Disc. Mathematics, Graphs and Combinatorics; Combinatorics, Prob. and Computing; Adv. in Mathematics; Mathematical Programming; XXXX X. on Optimization; XXXX X. on Computing; Random Structures and Algorithms. Além desses, mencionamos dois prestigiosos periódicos: Nature e Science, nos quais alguns de nossos membros publicaram artigos na área de Bioinformática. A participação da equipe em congressos internacionais de primeira linha foi muito boa. Cabe destacar que tivemos participações em congressos tradicionais e de grande prestígio como FOCS (Symposium on Foundations of Computer Science, da IEEE, já na 43a. edição), SODA (Symposium on Discrete Algorithms, da SIAM e ACM, na 14a. edição), STOC (Symposium on Theory of Computing, da ACM, já na 34a. edição) e STACS (International Symposium on Theoretical Aspects of Computer Science, na 20a. edição). Além desses, mencionamos o LATIN (Latin American Theoretical Informatics), APPROX (Workshop on Appr. Algorithms for Comb. Optimization Problems) e RANDOM (Randomization and Approximation Techniques in Computer Science). Dos 40 trabalhos completos em anais de congressos internacionais, 21 foram publicados na série Lecture Notes in Computer Science. Um dos livros publicados no período (mini-curso do Colóquio Brasileiro de Matemática 2001) envolveu membros de todas as instituições participantes do projeto e iniciou uma colaboração ativa entre vários membros do núcleo vindos de quatro das instituições envolvidas. Alguns encontros temáticos realizados contribuíram decisivamente para concretizar essa colaboração. |
b)[Esperado] Aumento das atividades de intercâmbio nacional e internacional mantidas por membros da equipe, com especial atenção à participação mais ativa do grupo em simpósios onde hoje a atuação da equipe não é tão intensa (como os Congressos da Sociedade Brasileira de Computação e Congresso Nacional de Matemática Aplicada e Computacional). [Obtido] Houve um aumento significativo das atividades de intercâmbio nacional e internacional dos membros da equipe. Esse aumento resultou das oficinas temáticas que foram realizadas no âmbito deste projeto: - Workshop in Combinatorics and Optimization, Hotel Xxxxxxx Xxxxx Xxxxxx, Xxxxxxxxx, XX, 14 - 16 Novembro 2002. - Extended Workshop on Combinatorics, Xxx Xxxxx, Xxxxxxx, x Xxx xx Xxxxxxx, 0 - 00 Xxxxx 0000. - Workshop on Approximation Algorithms, Hotel Simon, Itatiaia, RJ, 7 - 11 Outubro 2000. - III Workshop in Combinatorics and Discrete Structures, Hotel Wembley Inn, Ubatuba, SP, Brazil, 16 - 20 Abril 2000. - Workshop Mambucaba, Hotel do Bosque, Angra dos Reis, RJ, 29 Novembro - 3 Dezembro 1999. - Workshop on Combinatorics and Discrete Structures, Instituto de Computação, UNICAMP, Campinas SP, 2 - 4 Agosto 1999 Destacamos que foram mantidos contatos estreitos com vários pesquisadores do exterior, dentre os quais destacamos: 1998-1999: B. Bollobás (Cambridge e Memphis), X.X. Xxxxxx (Waterloo), B. Xxxx (CNRS, Paris, e McGill), V. Rödl (Emory University, Atlanta), E. Szemerédi (Rutgers University, NJ), R. Xxxxxx (Georgia Tech), Z. Füredi (Urbana e Budapest), U.S.R. Murty (Waterloo), D. Younger (Waterloo), H-J. Prömel (Humboldt-Universität, Berlin), L.A. Xxxxxx (CORE- Louvain), X. Xxxxx (Lousiana State University), A. Xxxxxx (ZIB-Berlin), F. Maffray (IMAG-Grenoble). 2000: Contamos com a visita do pesquisador Xxxxx Xxxxxxxx (Georgia Tech), que ministrou um curso sobre algoritmos de aproximação. Vários membros do núcleo participaram desse curso e o Professor Xxxxxxxx visitou também a UFRJ durante a sua visita ao Brasil. O núcleo recebeu no ano de 2000 alguns visitantes de média duração, dentre os quais destacamos: Xxxx xxx xxx Xxxxx, visita ao IME-USP, set-out/00 (2 meses), Xxxx Xxxxxxxx, visita ao IME-USP, nov/00 (1 mês). No ano de 2000 os seguintes membros do núcleo fizeram visitas científicas a centros de pesquisa no exterior: X.X. Xxxxxxxxx, visitou a Humboldt University, Alemanha, dentro do Projeto CAPES-DAAD no. 089/99, dez/99-fev/00 (2 meses); X.X. Xxxxxxxxx, visitou a Georgia Tech e ao Illinois Institute of Technology, 2 semanas (agosto/00); Y. Xxxxxxxxxx, visitou a Emory University, Atlanta, agosto/00 (1 mês); Y. Wakabayashi, visitou o Institut Pasteur, Paris, jan-fev/00 (6 semanas); 3 semanas dentro do Projeto CAPES-COFECUB 272/99-II. |
2001: O núcleo recebeu no ano de 2001 alguns visitantes de média duração, dentre os quais destacamos: U.S.R. Xxxxx e W.T. Tutte [University of Waterloo] visitaram o IC-UNICAMP, março/2001; Xxxxx Xxxx [McGill School of Computer Science, Canadá] visitou o IM-COOPE-UFRJ, abril/01, e visitou o IME-USP, dezembro/01; X.X. Xxxxx [Univ. Xxxxxx Xxxxxxx, Xxxx] visitou o o DM-UFPE, maio/01; M. Kiwi [Fac. de Ciencias Físicas y Matemáticas Xxxxxxxx 0, Xxxxx] visitou o IC-UNICAMP e o IME-USP, maio/01; H. Xxxxxxx [Université Nancy 2 (LORIA)] visitou o IM-COOPE-UFRJ, julho/01; Marie-France Sagot [Institut Pasteur até set/2001 e INRIA/Lyon desde então] visitou o IME-USP, 21- 31/julho/01. Visita financiada pelo CNPq-Edital/2000; Z. Szigeti [Université Xxxxxx et Xxxxx Xxxxx, Paris 6] visitou o IME- USP e o IM-COPPE-UFRJ, setembro-outubro/01 (1 mês e meio). No ano de 2001 os seguintes membros do núcleo fizeram visitas científicas a centros de pesquisa no exterior: X.X. Xxxxxxxxx [IME-USP] visitou a Humboldt University, Alemanha, dentro do Projeto CAPES-DAAD no. 089/99, agosto/01 (3 semanas); Y. Kohayakawa [IME-USP], visitou a Humboldt University, Alemanha, dentro do Projeto CAPES- DAAD no. 089/99, julho/01 (2 semanas); Y. Kohayakawa [IME-USP], visitou a Emory University, Atlanta, EUA (3 semanas); C.M.H. Xxxxxxxxxx [IM-COPPE-UFRJ] visitou as Universidades de Waterloo e Xxxxxxxx Xxxxxxx em Waterloo, Canadá, agosto/01; J. Setubal [IC-UNICAMP] fez um pos-doc na University of Washington, EUA, de setembro/00 a dezembro/01; C.P. de Mello [IC-UNICAMP] visitou a Universitá di Roma "La Sapienza", julho/01 (1 mês); M. Lemos [DM- UFPE] visitou a Louisiana State University, EUA, julho/01 (1 mês); A. Mandel [IME-USP] visitou Virgina Tech University, EUA, dez/01 (1 mês). 2002: Recebemos vários visitantes de média duração, dentre os quais destacamos: A. Bondy [Université Xxxxxx Xxxxxxx, França] visitou o IM-COOPE-UFRJ, abril/02; F. Xxxxxxx, X.Xxxxxxx-Xxxx [Universidad Nacional Autónoma de México] e M. Pizaña [Universidad Autónoma Metropolitana, México] visitaram o IM- COOPE-UFRJ, abril/02; S. Gravier [Laboratoire Xxxxxxx, França] visitou o IM-COOPE-UFRJ, julho/02; M. Xxxxxxxxx [Universidade Nacional de La Plata, Argentina] visitou IM-COOPE-UFRJ, outubro/02; M. Xxxxxxxxx e L.G. Alcón [Universidade Nacional de La Plata, Argentina] visitaram o IM-COOPE-UFRJ, abril/02; B. Xxxx [McGill School of Computer Science, Canadá] visitou o IM-COOPE-UFRJ, abril/01, e visitou o IME-USP, agosto/02; V. Rödl [Emory University, EUA], J. Skokan [University of Illinois at Urbana-Champaign, EUA] e A. Steger [Technische Universität München, Alemanha] visitaram o IME-USP, agosto/02; M.-F. Sagot [INRIA/Lyon, França] visitou o IME-USP, fevereiro/02. Os seguintes membros do núcleo fizeram visitas científicas a centros de pesquisa no exterior: Y. Kohayakawa [IME-USP] visitou a Emory University, Atlanta, EUA (4 vezes); X.X. Xxxxxxxx [DCT-UFMS] iniciou um pós-doutorado na Universidade de Waterloo em outubro/02. Como já mencionamos no item anterior, houve uma participação efetiva da equipe em congressos de primeira linha no exterior. Membros do grupo também participaram de eventos nacionais como o CNMAC e SOBRAPO. Destacamos em especial a participação ativa no GRACO'01 (Brazilian Symposium on Graphs and Combinatorics), e do Brazilian Summer School on Combinatorics and Algorithms, eventos esses realizados em Fortaleza, em março de 2001. O projeto financiou a ida de vários dos seus membros e estudantes a esses eventos. Seus membros participaram ativamente como membros do comitê científico, apresentaram trabalhos e ministraram 3 mini-cursos (que resultaram em capítulos de livros, conforme a lista de publicações), Além desse evento, o grupo participou do Workshop Latino-Americano de Cliques em Grafos, realizado no Forum de Ciência e Cultura, UFRJ, no período de 17 a 19 de abril de 2002. Vale destacar também que os membros deste projeto têm participado nas edições bienais do Colóquio Brasileiro de |
Matemática (1999, 2001), no qual já é tradicional a Sessão de Combinatória organizada sistematicamente por membros do núcleo. Além de participar dessa Sessão, alguns membros ministraram mini-cursos e redigiram textos especiais para o evento (2 livros foram gerados para o Colóquio de 2001). Vários participantes do núcleo tiveram uma atuação de destaque em eventos na área de Computação e Combinatória. Destacamos aqui a participação no comitê organizador ou de programa dos seguintes eventos: LATIN'98, LATIN 2000, LATIN 2002, Simpósio Brasileiro em Grafos, Algoritmos e Combinatória (GRACO 2001), Workshop Latino-Americano de Cliques em Grafos, Escola de Planejamentos Combinatórios. Vários projetos de cooperação tanto nacionais como internacionais também têm sido liderados por membros desta equipe: Projeto PROBRAL/CAPES-DAAD no. 089/99 (Y. Kohayakawa), Projeto CAPES-COFECUB no. 213/97 (X.X.X. xx Xxxxxxxxxx), Projeto CNPq/NSF no. 910064/99-7 (Y. Kohayakawa), Projeto CNPq/Edital 2000 no.464114/00-4 (Y. Wakabayashi), Projeto CNPq/Edital 2000 no.468516/00-0 (Y. Kohayakawa). Além desses, há vários outros projetos dos quais participam ou participaram membros deste projeto, dentre os quais destacamos: Projeto CNPq Proc.464914/2000- 0; FAPERJ (Cientistas do Nosso Estado); CAPES_COFECUB Proc. 359/01, Projeto AB (Argentina-Brasil/Vitae B- 11487/9B012) e Projeto Integrado CNPq Proc 520710/98-3. c)[Esperado] Atração de pós-doutorandos da oferta internacional. Este é o único resultado que o grupo não conseguiu atingir. Houve um esforço para atrair alguns candidatos do exterior, porém alguns projetos não se concretizaram pois os melhores candidatos acabaram conseguindo empregos permanentes em instituições dos Estados Unidos. d)[Esperado] Formação de um grupo maior de alunos de doutoramento, mestrado e de iniciação científica; No período de 1998 a 2002 membros do grupo formaram --- 10 doutorados (têm atualmente 22 em andamento); --- 48 mestrados (têm atualmente 23 em andamento); --- 36 alunos de iniciação científica (têm atualmente 13 em andamento). Destacamos que no início do projeto o número de alunos de iniciação científica e de mestrado eram bem mais alto do que o número de alunos de doutorado. Atualmente, o número de doutorandos é praticamente igual ao número de mestrandos, mostrando que houve um amadurecimento da área, que certamente foi uma contribuição do grupo. e)[Esperado] Fortalecimento de grupos na área de Combinatória de instituições emergentes. Membros do grupo contribuíram para fortalecer grupos na área de Combinatória da UFMS e UFC, oferecendo mini- cursos nessas instituições. Na UFMS foram ministrados vários cursos por membros da UNICAMP e do IME-USP; e na UFC dois membros do IME-USP ministraram cursos. Além disso, pesquisadores dessas instituições foram convidados a participar de oficinas e Sessões de Combinatória organizados pelo grupo. Membros do grupo formaram doutores que hoje atuam na área de Combinatória em instituições emergentes, como a UFMS, a UFPR e UERJ. f)[Esperado] Colaboração na formação teórica de graduados em computação nas várias instituições. Membros do grupo atuam ministrando disciplinas de cunho teórico em suas instituições, orientando mestrados e doutorados, formando assim graduados com forte base teórica. Muitos desses graduados atuam no ensino em outras instituições, tanto públicas como privadas, disseminando assim o conhecimento absorvido. Destacamos que alguns dos livros elaborados pelos membros do projeto estão sendo adotados em cursos de várias instituições brasileiras. |
Outros (mencionados como objetivos específicos): A) Elaboração e acesso a páginas WWW do projeto. Isso foi realizado. Na URL xxxx://xxx.xxx.xxx.xx/xxxxxx/xxxxxx/ constam as publicações do grupo (com arquivos disponíveis), os eventos realizados, os prêmios recebidos, os alunos formados e os relatórios detalhados do projeto. B) Realização de oficinas. Mencionamos no item b) acima as 6 oficinas que foram realizados no âmbito deste projeto. |
Classifique os resultados obtidos conforme sugerido abaixo:
A nossa produção científica principal foi na forma de trabalhos publicados. |
Produção Tecnológica Informar o desenvolvimento de produtos, protótipos, patentes, processos, metodologias, etc. |
Serviços Especificar a prestação de serviços especializados como, por exemplo, análises, ensaios técnicos, levantamentos, estudos, assessorias, e as perspectivas de atuação neste segmento, inclusive com a geração de receitas para os executores do Projeto. Dois dos pesquisadores envolvidos no projeto, X. Meidanis e X.X. Xxxxxxx [IC-UNICAMP], graças ao sucesso nas pesquisas e assessoria prestada na área de bioinformática, iniciaram empresas especializadas no ramo. |
Publicações Técnico-científicas Listar artigos publicados em periódicos, comunicações em congresso teses concluídas (informando título, orientador, orientado, banca examinadora, data da defesa), capítulos em livros, livros, manuais, etc. Livros e Capítulos de livros [total: 13] 1. X.X. Xxxxx, C.M.F. Rubira, and R. Dahab, Tropyc: A Pattern Language for Cryptographic Object-Oriented Software, Pattern Languages of Program Design 4, chapter 16. Addison-Wesley, 1999. 2. X.X. Xxxxxxxx, M.R. Xxxxxxx, X. Dahab, P. Xxxxxxxxx, X.X. Xxxxxxxxx, X.X. Xxxxxxxx, X.X. Xxxxxxxxx, F.K. Xxxxxxxx, X.X. Xxxx Xx., X. Xxxxxx e Y. Wakabayashi, Uma Introdução Sucinta a Algoritmos de Aproximação, livro texto de um curso intermediário do 23o. Colóquio Brasileiro de Matemática, julho de 2001, IMPA, x+157pp. 3. X.X. Xxxxxxxx, C.L. Xxxxxxxx, and U.S.R. Xxxxx, The matching lattice, to appear in Recent Advances in Algorithms and Combinatorics, edited by B. Xxxx and C.L. Sales, CMS Books in Mathematics, Springer, 2002. 4. H. Xxxxxxx, X.X.X. xx Xxxxxxxxxx, C.L. Xxxxx, X. Xxxxxxx, X. Xxxxx, and X.X. Xxxx, Even pairs, chapter 4, pp. 67- 82, Perfect Graphs, edited by X.X. Xxxxxxx Xxxxxxxx and X.X. Xxxx, Wiley, 2001. 5. P. Feofiloff, Algoritmos de Programação Linear, Editora da Universidade de São Paulo, 1999. 6. X.X. Xxxxxxxx e X. Wakabayashi, Planos-de-corte Faciais e a Resolução de Problemas de Otimização |
Combinatória, I Encontro de Matemática Aplicada e Computacional, ERMAC, 1998. 7. X.X.X. xx Xxxxxxxxxx e X. Szwarcfiter, Emparelhamentos em Grafos: Algoritmos e Complexidade, JAI'99 (Jornada de Atualização em Informática), Congresso da SBC, julho 1999. 8. X.X. Xxxxxxxxx, Algoritmos de Aproximação para Problemas de Otimização, JAI'98 (Jornada de Atualização em Informática), Congresso da SBC, agosto 1998. 9. Y. Xxxxxxxxxx and V. Xxxx, Xxxxxxxxx'x regularity lemma and quasi-randomness, to appear in Recent Advances in Algorithms and Combinatorics, edited by B. Xxxx and C.L. Sales, CMS Books in Mathematics, Springer, 2002. 10. C.L. Xxxxxxxx and A.V. Moura, LATIN'98: Theoretical Informatics, Lecture Notes in Computer Science 1380 (1998), Springer-Verlag, Berlin. 11. J. Xxxxxxxx, A Simple Toolkit for DNA Fragment Assembly, DIMACS Series in Discrete Mathematics and Theoretical Computer Science (Xxxxxx-Xxxxxx, M.; Xxxxxxx, F.S.; Xxxxxxx, M.; Xxxxxxxx, M. editors), vol. 47, American Mathematical Society, 1999, 271-288. 12. X.X. Xxxxxxx e X. Xxxxxxxxxx, Tópicos em Combinatória Contemporânea, livro texto de um curso elementar do 23o. Colóquio Brasileiro de Matemática, julho de 2001, IMPA, x+145pp. 13. M.-F. Sagot and Y. Xxxxxxxxxxx, Pattern Inference under many Guises, to appear in Recent Advances in Algorithms and Combinatorics, edited by X. Xxxx and C.L. Sales, CMS Books in Mathematics, Springer, 2002. Publicações em Periódicos [total: 95] 1. N.F. Xxxxxxx Xx., X.X. Xxxxxxx, X. Xxxxxxxx, et al., Comparison of the genomes of two Xanthomonas pathogens with differing host specificities. Nature, 417 (2002), 459-463. 2. B. Xxxxxxxx, X. Xxxxxxxxx, X. Xxxxxxxxxx, and R.H. Xxxxxx, Xxxxxx minimal graphs, Journal of the Brazilian Computer Society 7 (3)(2002), 27-37. 3. B. Xxxxxxxx, X. Xxxxxxxxxx, and R.H. Schelp, Essentially infinite colourings of graphs, The Journal of the London Mathematical Society, Second Series, 61 (3) (2000), 658-670. 4. R. Xxxxxxxxxx, X. X. Xxxxxxxx, and A. Xxxxxx, Decomposing matrices into blocks, SIAM Journal on Optimization, 9 (1)(1999), 236-269. 5. F. Xxxxxxxxx, X. Xxxxxx, and X.X. xx Xxxxx, Optimal Rectangular Partition, Networks, to appear. 6. G. Xxxxxxxxx, X.X. Xxxxxxxxx, U. Finkler, and H. Xxxxxxx, A better approximation algorithm for finding planar subgraphs, Journal of Algorithms 27 (2) (1998), 269-302. 7. G. Xxxxxxxxx, X.X. Xxxxxxxxx, X. Karloff, and A. Xxxxxxxxxx, A new approximation algorithm for finding heavy planar subgraphs, Algorithmica, to appear. 8. X.X. Xxxxxxx and S. Xxxxx, Maximum vertex-weighted matching in strongly chordal graphs, Discrete Applied Mathematics, 84 (1998), 71-77. 9. J.S. Xxxxxx and S. Xxxx, Thin_G theory and local moves for gems, Advances in Mathematics, 143 (1999), 251-283. 10. X.X. Xxxxxxxx, C.L. Xxxxxxxx, and U.S.R. Murty, Ear decompositions of matching covered graphs, Combinatorica, 19 (2) (1999), 151-174. 11. X.X. Xxxxxxxx, C.L. Xxxxxxxx, and U.S.R. Xxxxx, On a conjecture of Xxxxxx concerning bricks I: The characteristic of a matching covered graph, Journal of Combinatorial Theory (B), 85 (1) (2002), 94-136. |
12. X.X. Xxxxxxxx, C.L. Xxxxxxxx, and U.S.R. Xxxxx, On a conjecture of Xxxxxx concerning bricks II: Bricks of Finite Characteristic, Journal of Combinatorial Theory (B), 85 (1) (2002), 137-180. 13. X.X. Xxxxxxxx, C.L. Xxxxxxxx, and U.S.R. Murty, Optimal ear decompositions of matching covered graphs and bases for the matching lattice, Journal of Combinatorial Theory (B), 85 (1) (2002), 59-93. 14. C.C.B. Xxxxxxxxxx, V.C. Xxxxxxxxxx, C.C. Xxxxxxx, and X.X. xx Xxxxx, Parallel Cooperative Approaches for the Labor Constrained Scheduling Problem, in Essays and Surveys in Metaheuristics (C.C. Xxxxxxx and P. Xxxxxx, editors), 2001, Kluwer, 201-225. 15. C.C.B. Xxxxxxxxxx, X. Xxxxxxxxx, X. Xxxxxxx, and X.X. xx Xxxxx, Scheduling under Labour Resource Constraints, Constraints, 5 (4) (2000), 415-422. 16. C.C.B. Xxxxxxxxxx, M.P. Xxxxxxxxxxx, X.X. xx Xxxxx, X. Xxxx, and L.A. Xxxxxx, Scheduling Projects with Labor Constraints, Discrete and Applied Mathematics 112 (1-3) (2001), 27-52. 17. M.R. Xxxxxxx, X. Xxxxxxx, X.X.X. xx Xxxxxxxxxx, and S. Xxxxx, The homogeneous set sandwich problem, Information Processing Letters, 67 (1998), 31-35. 18. M.R. Xxxxxxx and X.X. Xxxxxxxxxxx, Edge clique graphs and some classes of chordal graphs, Discrete Mathematics, 242 (2002), 31-39. 19. M.R. Xxxxxxx and X.X. Xxxxxxxxxxx, A characterization of edge clique graphs, Ars Combinatoria 60 (2001), 287-292. 20. B.V. Xxxxxxxxxx, X.X. Xxxxxxxx, X. Xxxxxx, X.X. Xxxxxxx, and X. Stolfi, Augment or Push? A computational study of bipartite matching and unit capacity maximum flow algorithms, ACM Journal on Experimental Algorithmics, 38 pp. (electronic). 21. X.X.X. xx Xxxxxxxxxx and G.D. Xxxxxxx, Xxxxxxx heap-ordered trees: tight analysis and improved algorithms. Information Processing Letters, to appear. 22. X.X.X. xx Xxxxxxxxxx, X. Xxxxxx, X.X. xx Xxxxx, and X.X. Xxxxxxxxxxx, Even and odd pairs in comparability and in P4-comparability graphs, Discrete Applied Mathematics 90 (1999), 293-297. 23. X.X.X. xx Xxxxxxxxxx, X. Xxxxxx, X. X. xx Xxxxx, and X. X. Xxxxxxxxxxx. A note on transitive orientations with maximum sets of sources and sinks, Discrete Applied Mathematics, to appear. 24. X.X.X. xx Xxxxxxxxxx, S. Xxxxxxx, and C. L. Sales. On Xxxxxx'x proof of the Strong Perfect Graph Conjecture for (K4 - e)-free graphs, Discrete Mathematics 232 (1-3) (2001), 105-108. 25. X.X.X. xx Xxxxxxxxxx, S. Xxxxx, X. Xxxxxxxxxx, and B. Xxxx, Finding skew partitions efficiently, Journal of Algorithms, 37 (2) (2000), 505-521. 26. X.X.X. xx Xxxxxxxxxx, X. Xxxxxxx, and O. Porto, On the structure of bull-free perfect graphs, 2: the weakly chordal case, Graphs and Combinatorics, 17 (2001), 435-456. 27. X.X.X. xx Xxxxxxxxxx, X. Xxxxxxxx, and X.X. xx Xxxxx, Local conditions for edge-coloring, Journal of Combinatorial Mathematics and Combinatorial Computing, 32 (2000), 79-91. 28. X.X.X. xx Xxxxxxxxxx, X. Xxxxxxxx, and X.X. xx Xxxxx, Total chromatic number and chromatic index of dually chordal graphs, Information Processing Letters, 70 (1999), 147-152. 29. X.X.X. xx Xxxxxxxxxx, X. Xxxxxxxx, X. X. xx Xxxxx, and C. Xxxxx. Decompositions for the edge colouring of reduced indifference graphs, Theoretical Computer Science, to appear. |
30. X.X.X. xx Xxxxxxxxxx and X. Xxxxxxxx, A class of beta-perfect graphs, Discrete Mathematics 216 (2000), 169-193. 31. X.X.X. xx Xxxxxxxxxx and X. Vuskovic, Recognition of quasi-Meyniel graphs, Discrete Applied Mathematics 113 (2001), 255-260. 32. X.X.X. xx Xxxxxxxxxx, S. Xxxxx, and K. Vuskovic, The graph sandwich problem for 1-join composition is NP- complete, Discrete Applied Mathematics 121 (1-3) (2002), 73-82. 33. J. Xxxxxxxxx and X. Xxxxxxxxxx, A density result for random sparse oriented graphs and its relation to a conjecture of Xxxxxxx, Electronic Journal of Combinatorics, 9 (1) (2002), Research paper 45, 10pp. 34. L. Xxxxx and X. X. X. xx Xxxxxxxxxx. On Eggleton and guy conjectured upper bound for the crossing number of the n-cube, Mathematica Slovaca, 50 (2000), 271-287. 35. L. Xxxxx, X.X.X. xx Xxxxxxxxxx, and X.X.X. xx Xxxxxxxx Xxxx, Splitting number is NP-complete, Discrete Applied Mathematics 108 (2001), 65-83. 36. L. Xxxxx, X. X. X. xx Xxxxxxxxxx, X. Xxxxxx, X. X. X. xx Xxxxxxxx Xxxx, and E. F. Xxxxxx, The splitting number and skewness of Cn x Cm, Ars Combinatoria, 63 (2002), 193-205. 37. A.X. Xxxxxx, X.X. Xxxxx, and F.K. Xxxxxxxx, An Ultra-Fast User-Steered Segmentation Paradigm: Live-Wire-On- The-Fly, IEEE Transactions on Medical Imaging, 19 (1) (2000), 55-62. 38. M.S.S.Xxxxxx, X.X.Xxxxxxx, N.F.Xxxxxxx xx.xx, Transcriptome characterization of the dimorphic and pathogenic fungus P. brasiliensis by EST analysis, Xxxxx, to appear. 39. X.X. Xxxxxxxxx, A better approximation ratio for the minimum k-edge-connected, Journal of Algorithms, 28 (1) (1998), 105-124. 40. X.X. Xxxxxxxx, X.X. xx Xxxxx, and X. Xxxxxxxxxxx, Rearrangement of DNA fragments: a branch-and-cut algorithm, Discrete Applied Mathematics, 116 (1-2) (2002), 161-177. 41. X.X. Xxxxxxxx, X. Xxxxxx, X.X. xx Xxxxx, X.Xxxxxxxxxx, and L.A. Xxxxxx, The node capacitated graph partitioning problem: a computational study, Mathematical Programming, Series B, 8 (1998), 229-256. 42. X.X. Xxxxxxxx, F.K. Xxxxxxxx, and X. Wakabayashi, Packing squares into squares, Pesquisa Operacional, 19 (1999)(2). 43. L.R.G. Fontes, M. Xxxxx, X. Xxxxxxxxxx, and P. Xxxxx, The spectral gap of the REM under Metropolis dynamics, Annals of Applied Probability 8 (3) (1998), 917-943. 44. J.Z. Xxxxxxxxx, X. Xxxxxx, and M. Shirvani, Free products of units in algebras. Part I: Quaternion algebras, Journal of Algebra 214 (1999), 301-316. 45. J.Z. Xxxxxxxxx, X. Xxxxxx, and M. Shirvani, Free products of units in algebras. Part II: Crossed products, J. of Algebra 233 (2) (2000), 567-593. 46. J.Z. Xxxxxxxxx and X. Mandel, Free subgroups in the group of units of a twisted group algebra, Communications in Algebra 29 (5)(2001), 2231-2238. 47. M. Xxxxxxxxx and X. Meidanis, On Clique Graph Recognition. Ars Combinatoria 63 (2002), 207-210. 48. R.F. Xxxxxxxxx, X. Xxxxxxx, and X.X. Xxxxxxxx, A combinatorial optimization technique for the sequential decomposition of erosions and dilations, Journal of Mathematical Imaging and Vision 13 (1) (2000), 17-33. 49. X.X. Xxxxxx and Y. Kohayakawa, Packing and covering triangles in tripartite graphs, Graphs and Combinatorics 14 (1) (1998), 1-10. |
50. H. xxx xxx Xxxxx and X.X. xx Xxxx, Length-bounded disjoint paths in planar graphs. Sixth Twente Workshop on Graphs and Combinatorial Optimization (Enschede, 1999). Discrete Applied Mathematics 120 (1-3) (2002), 251-261. 51. S. Xxxxxx and M. Lemos, Almost graphic matroids, Advances of Applied Mathematics, 28 (3-4)(2002), 438-477. 52. Y. Xxxxxxxxxx and B. Kreuter, The width of random subsets of Boolean lattices, Journal of Combinatorial Theory A, to appear. 53. Y. Xxxxxxxxxx, X. Xxxxxxx, and D. Osthus, The length of random subsets of Boolean lattices, Random Structures and Algorithms, 16 (2) (2000), 177-194. 54. Y. Xxxxxxxxxx, X. Xxxxxxx, and X. Xxxxxx, An extremal problem for random graphs and the number of graphs with large even-girth, Combinatorica, 18 (1) (1998), 101-120. 55. Y. Xxxxxxxxxx, X. Nagle, and V. Rödl, Hereditary properties of triple systems, Combinatorics, Probability, and Computing, 34pp, to appear. 56. Y. Xxxxxxxxxx, X.-J. Xxxxxx, and V. Rödl, Induced Ramsey numbers, Combinatorica, 18 (3) (1998), 373-404. 57. Y. Xxxxxxxxxx and V. Rödl, Regular pairs in random graphs I, Random Structures and Algorithms, 63pp. 58. Y. Xxxxxxxxxx, X. Xxxx, and J. Skokan, Hypergraphs, quasi-randomness, and conditions for regularity, J. of Combinatorial Theory (A), 97 (2) (2002), 307-352. 59. X. Xxx and X. Xxxxxxxxxxx, On the circuit cover problem for mixed graphs, Combinatorics, Probability and Computing 11 (2002), 43-59. 60. X. Xxx and X. Wakabayashi, Note on a min-max conjecture of Xxxxxxx, Journal of Graph Theory, 38 (1) (2001), 36-41. 61. M. Lemos, On the connectivity function of a binary matroid, Journal of Combinatorial Theory, Series (B), 86 (1) (2002), 114-132. 62. M. Lemos, On Mills's conjecture on matroids with many common bases, Discrete Mathematics, 240 (2001), 271- 276. 63. M. Lemos, Uniqueness of the decomposition of the rank function of a 2-polymatroid, Discrete Mathematics, to appear. 64. M. Lemos, Matroids with many common bases, Discrete Mathematics, to appear. 65. M. Lemos and B.M. Junior, Matroids having small circumference, Combinatorics, Probability and Computing, 10 (2001), 349-360. 66. M. Xxxxx and X. X. Xxxxx, On packing minors into connected matroids, Discrete Mathematics, 189 (1998), 283- 289. 67. M. Xxxxx and X. X. Xxxxx, On removable circuits in graphs and matroids, Journal of Graph Theory, 30 (1999), 51- 66. 68. M. Xxxxx and X.X. Xxxxx, On size, circumference and circuit removal in 3-connected matroids, Discrete Mathematics, 220 (2000), 145-157. 69. M. Xxxxx and X.X. Xxxxx, On the 3-connected matroids that are minimal having a fixed spanning restriction, Discrete Mathematics, 218 (2000), 131-165. |
70. M. Xxxxx and X.X. Xxxxx, A sharp bound on the size of a connected matroid, Transactions of the American Mathematical Society 353 (2001), 4039-4056. 71. M. Xxxxx, X.X. Xxxxx, and X.X. Xxxx, On the 3-connected matroids that are minimal having a fixed restriction, Graphs and Combinatorics, 16 (2000), 285-318. 72. M. Lemos and J. Xxxxx, On removable cycles throught every edge, Journal of Graph Theory, to appear. 73. M. Lemos and S. Mota, The reconstruction of a matroid from its connectivity function, Discrete Mathematics, 220 (2000), 131-143. 74. L. Xxxx, X. Xxxx, and R. Morabito, An n-tet graph approach for non-guillotine packings of n-dimensional boxes into an n-container, European Journal of Operational Research 141 (2) (2002), 421-439. 75. S. Xxxx and C.S. Xxxxxxx, A planar proof of Xxxxx'x 3-D switching lemma and a combinatorial homogeneity theorem. Atti Sem. Mat. Fis. Univ. Moderna 49 (2001), suppl., 73-89. 76. S. Xxxx, X. Morábito, and L. Xxxx, A 9-fold partition heuristic for packing boxes into a container, Investigación Operativa, to appear. 77. S. Xxxx and M. Xxxxxxxxx, Isomorphisms and homeomorphisms of a class of graphs and spaces. Aequationes Math. 64 (1-2) (2002), 110-127. 78. C.L. Xxxxxxxx, X.X. xx Xxxxx, and X.X. Xxxxxxxxxxx, On clique-complete graphs, Discrete Mathematics, 183 (1998), 247-254. 79. E. Xxxxxxxxx and X.X. xx Xxxxx, The edge-weighted clique problem: valid inequalities, facets and polyhedral computations, European Journal on Operational Research, 123 (2000), 346-371. 80. N. Maculan, S.C. Porto, C.C. Xxxxxxx, and X.X. xx Xxxxx, A New Formulation for Scheduling Unrelated Processors under Precedence Constraints. Revue d'Automatique, Informatique et Recherche Operationelle (RAIRO), 33 (1999), 87- 90. 81. J. Xxxxxxxx, M.D.V. Xxxxx, and S. Xxxxxxxxx-Xxxxxxx, Whole-genome analysis of transporters in the plant pathogen Xylella fastidiosa. Microbiology and Molecular Biology Reviews, 66 (2) (2002), 272-299. 82. J. Xxxxxxxx, X. Porto, and G.P. Telles, On the Consecutive Ones Property, Discrete Applied Mathematics, 88 (1998), 325-354. 83. J. Xxxxxxxx, M.M.T. Xxxxxx, and Z. Dias. A Lower Bound on the Reversal and Transposition Diameter, Journal of Computational Biology, 9 (5)(2002), 743-745. 84. X.X. xx Xxxxxxx and X.X. xx Xxxxx, Exact solutions of rectangular partitions via integer programming, International Journal on Computational Geometry and Applications and Applications, 10 (5) (2000), 477-522. 85. F.K. Xxxxxxxx and X. Wakabayashi, Approximation algorithms for the orthogonal z-oriented three-dimensional packing problem, SIAM Journal on Computing, 29 (3) (2000), 1008-1029. 86. F.K. Xxxxxxxx and X. Wakabayashi. Parametric on-line approximation algorithms for packing rectangles and boxes, European Journal of Operational Research, to appear. 87. F.K. Xxxxxxxx and X. Wakabayashi, Cube packing, Theoretical Computer Science, to appear. 88. X.X. xx Xxxx and X. Xxxxxx, Improved bound for the Carathéodory rank of the bases of a matroid, Journal of Combinatorial Theory (B), to appear. 89. A.J.G. Xxxxxxx, (...114 other authors...), X. Xxxxxxxx, and X.X. Xxxxxxx. The genome sequence of the plant pathogen Xylella fastidiosa, Nature, 406 (2000), 151-157. |
90. X.X. xxx Xxxxx, C.B. Xxxxxxxx-Xxxxxxxxx, L.E.A. Xxxxxxx, X.X.X. Xxxxx, X.X.X. xx Xxxxx, X.X. Xxxxx, M.C. Xxxxxxxx, X.X. Xxxxxxx, X.X. Xxxxxxxx, and A.J.G. Simpson. Comparative genomic analysis of plant- associated bacteria. Annual Review of Phytopathology, 40 (2002), 169-189. 91. X.X. xxx Xxxxx, X.X.Xxxxxxx, N.F.Xxxxxxx et. al, Complete genome sequence of the Temecula strain of Xylella fastidiosa responsible for Pierce's disease of grapevine Journal of Bacteriology, to appear. 92. Y. Wakabayashi, The complexity of computing medians of relations, Resenhas, 3 (3) (1998), 323-349. 93. R. Xxxxxxx and X. X. Xxxxxxx. Finding Minimum Congestion Spanning Trees, ACM Journal on Experimental Algorithmics 5 (2000). 94. D.W. Xxxx, (...48 other authors...), X.X. Xxxxxxx, N.F. Xxxxxxx Xx. The genome of the Natural Genetic Engineering Agrobacterium tumefaciens C58, Science, 294 (2001), 2317-2323. 95. R. Xxxxxxxxx and R. Dahab, Acyclic clique-interval graphs, Investigación Operativa, 8 (1999), 185-195. Anais de Congressos Internacionais (trabalhos completos) [total: 40] 1. N. Xxxx, M.R. Xxxxxxx, X. Xxxxxxxxxx, X. Xxxx, X. Xxxxxxxx, and E. Szemerédi, Near-optimum universal graphs for graphs with bounded degrees (extended abstract), Approximation, Randomization and Combinatorial Optimization: Algorithms and Techniques (M. Xxxxxxx, X. Xxxxxx, X.X.X. Rolim, and L. Xxxxxxxx, eds), Lecture Notes in Computer Science 2129, Springer-Verlag, 2001, pp. 170-180 2. N. Xxxx, M.R. Xxxxxxx, X. Xxxxxxxxxx, X. Xxxx, X. Xxxxxxxx, and E. Xxxxxxxxx, Universality and tolerance (extended abstract), Proceedings of the 41st IEEE Annual Symposium on Foundations of Computer Science (FOCS 2000), 14-21, 2000. 3. M.M. Barbosa, X.X. xx Xxxxx, and X. Meidanis, Local conditions for edge-colouring of cographs, 29th Southeastern International Conference on Combinatorics, Graph Theory and Computing, Boca Raton, Estados Unidos. Congressus Numerantium, 133 (1998) 45-55. 4. J. Xxxxxxx, X.X. Xxxxxxxx, and R.F. Xxxxxxxxx, Finding optimal sequential decompositions of erosions and dilations, Mathematical morphology and its applications to image and signal processing, Kluwer Academic, 1998. 5. X.X. Xxxxx, C.M.F. Rubira, and R. Dahab, A Pattern Language for Cryptographic Software, Proceedings of the 5th. Pattern Languages of Programs (PLoP '98)(1998), 26 pp. 6. X.X. Xxxxx, C.M.F. Rubira, and R. Dahab, A Reflective Variation for the Secure-Channel Communication Pattern}, 6th. Pattern Language of Programs (PLoP'99), accepted. 7. G. Xxxxxxxxx, X.X. Xxxxxxxxx, and B. Xxxx, Multicuts in unweighted graphs with bounded degree and bounded tree-width, Proceedings of IPCO'98 (Integer Programming and Combinatorial Optimization), R. E. Bixby, X. X. Xxxx and R. Z. Xxxx-Xxxxxxx (Eds.), Lecture Notes in Comput. Sci., 1412, Springer, Berlin (1998), 137-152. 8. R. Xxxxx, X. Xxxxxxxxx, X. Xxxxxxxxxx, and X. Laber, Searching in random partially ordered sets (extended abstract), LATIN'2002: Theoretical Informatics (Cancun, 2002), Lecture Notes in Computer Science, Springer, Berlin, 2002, 278-292. 9. X.X.X. xx Xxxxxxxxxx, X. Xxxxx, and S.D. Xxxxx, On the Complexity of (k,l)-Graph Sandwich Problems In: WG 2002, Praga. Lecture Notes in Computer Science. Springer, 2002. 10. X.X.X. xx Xxxxxxxxxx, S. Xxxxx, X. Xxxxxxxxxx, and B. Xxxx, Finding skew partitions efficiently, Proceedings of LATIN'2000: theoretical informatics (Punta del Este, Uruguay. April, 2000), Lecture Notes in Comput. Sci., 1776, Springer, Berlin (2000), 163-172. |
11. X.X.X. xx Xxxxxxxxxx, C.P. Xxxxx, and C. Xxxxx, Edge colouring reduced indifference graphs, Proceedings of LATIN'2000: theoretical informatics (Punta del Este, Uruguay. April, 2000), Lecture Notes in Comput. Sci., 1776, Springer, Berlin (2000), 145-153. 12. X.X. xx Xxxxx, A.V. Xxxxx and X.X. Xxxxx, Solving Very Large Crew Scheduling Problems to Optimality, Proceedings of the 14th ACM Symposium on Applied Computing (SAC 2000), Villa Olmo, Como, Italy. March 19-21, 2000, 446-451 13. X.X. xx Xxxxx, X.X. Xxxxx, and A.V. Moura, A Hybrid Approach for Solving Large Scale Crew Scheduling Problems, Proceedings of the Second International Workshop on Practical Aspects of Declarative Languages (PADL'00). Boston, MA, USA. January 17-20, 2000, Lecture Notes in Computer Science 1753, pp. 293-307. 14. Z. Xxxx and X. Meidanis. Sorting by Prefix Transpositions. Proceedings of SPIRE'2002 - String Processing and Information Retrieval. September, 11-13, 2002. Lisbon, Portugal. 15. H. Xxxxxxx, X. Xxxxx, and B. Xxxx, An optimal algorithm for finding clique-cross partitions, 29th Southeastern International Conference on Combinatorics, Graph Theory and Computing, Boca Raton, Estados Unidos. Congressus Numerantium 135 (1998) 171-177. 16. A.X. Xxxxxx, X.X. Xxxxx, and F.K. Xxxxxxxx, An Ultra-Fast User-Steered Segmentation Paradigm: Live-Wire-On- The-Fly, Proceedings of SPIE on Medical Imaging, February 0000, Xxx Xxxxx, XX. 17. L. Xxxxx, X.X.X. xx Xxxxxxxxxx, and X.X.X. xx Xxxxxxxx Xxxx, The splitting number of the 4-cube, Proceedings of LATIN'98: theoretical informatics (Campinas, 1998), C. L. Xxxxxxxx and A. V. Xxxxx (Eds.), Lecture Notes in Comput. Sci.,1380, Springer, Berlin (1998), 141-150. 18. L. Xxxxx, X.X.X. xx Xxxxxxxxxx, and X.X.X. xx Xxxxxxxx Xxxx, Splitting number is NP-complete, Proceedings of WG'98, Lecture Notes in Computer Science 1517 (1998) 285-297. 19. L. Xxxxx, X.X.X. xx Xxxxxxxxxx, and X.X.X. xx Xxxxxxxx Xxxx, Optimal node-degree bounds for the complexity of nonplanarity parameters, Proceedings of the Tenth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA'99, 887-888. 20. T. Xxxxx, X. Hell, S. Xxxxx, and R. Motwani, Complexity of Graph Partition Problems, Proceedings of Thirty-First Annual ACM Symposium on Theory of Computing, STOC'99, 464-472. 21. X.X. Xxxxxxxxx and X. Nierhoff, The UPS Problem, Proc. 18th International Symposium in Theoretical Aspects of Computer Science (STACS'2001). Lecture Notes in Computer Science 2129, Springer-Verlag, 2001, pp. 238-246. 22. L.C. Xxxxxxxx and X. Xxxxx, A Scheme for Analyzing Electronic Payment Systems, Proceedings of the 14th. Annual Computer Security Applications Conference, ACSAC'98, (1998), 137-146, IEEE Computer Society. 23. L.C. Xxxxxxxx, X. Dahab, M.V.S. Poggi de Aragao, J.A.P. Magalhaes, Two Approaches for Pay-per-Use Software Construction In: WECWIS'2000-Second International Workshop on Advanced issues of E-Commerce and Web-Based Information Systems, 2000, Milpitas - California. Proceedings fo WECWIS 2000. IEEE Computer Society, 2000, 184- 191. 24. M. Xxxxxxxxx and X. Xxxxxxxx, On the clique operator, Latin'98 Theoretical Informatics,Proceedings of LATIN'98: theoretical informatics (Campinas, 1998), C.L. Xxxxxxxx and A.V. Xxxxx (Eds.), Lecture Notes in Comput. Sci., 1380 (1998), 261-272. 25. Y. Xxxxxxxxxx, X. Nagle, and V. Xxxx, Efficient testing of hypergraphs (extended abstract), Proceedings of ICALP 2002, 29th International Colloquium on Automata, Languages, and Programming (Málaga, Spain, July 2002), Lecture Notes in Computer Science 2380, 1017-1028 26. Y. Xxxxxxxxxx, X. Rödl, and L. Xxxxx, An optimal algorithm for checking regularity (extended abstract), The 13th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA 2002), San Francisco, CA, 6 to 8 January 2002, 277-286. |
27. Y. Xxxxxxxxxx and V. Xxxx, Xxxxxxxxxxx aspects of regularity (invited paper), Proceedings of LATIN'2000: theoretical informatics (Punta del Este, Uruguay. April, 2000), Lecture Notes in Comput. Sci., 1776, Springer, Berlin (2000), 1-17. 28. Y. Xxxxxxxxxx, X. Xxxx, and J. Skokan, Equivalent conditions of regularity, Proceedings of LATIN'2000: theoretical informatics (Punta del Este, Uruguay. April, 2000), Lecture Notes in Comput. Sci., 1776, Springer, Berlin (2000), 48-57. 29. X. Xxx and X. Wakabayashi, Circuit covers in series-parallel mixed graphs, Proceedings of LATIN'98: theoretical informatics (Campinas, 1998), C.L. Xxxxxxxx and A.V. Xxxxx (Eds.), Lecture Notes in Comput. Sci., 1380 (1998), 226- 238. 30. X.X. Xxxxx and X. Xxxxx, Improved Algorithms for Elliptic Curve Arithmetic in GF(2^n), Proceedings of the 5th. Annual Workshop on Selected Areas in Cryptography, SAC'98, Lecture Notes in Comput. Sci. (1998), 13 pp, to appear. 31. X.X. Xxxxx and X. Dahab, Fast Multiplication on Elliptic Curves over GF(2^m) without pre-computation, Proceedings of the I Workshop on Cryptographic Hardware and Embedded Systems (CHES), Worcester Polytechnic Institute, Worcester, NY, 1999, Lecture Notes in Comput. Sci. (1998), to appear. 32. X.X. Xxxxx and X.Dahab, An Improvement of the Guajardo-Paar Method for Multiplication on Non-supersingular Elliptic Curves, Proceedings of the 18th. International Conference of the Chilean Computer Science Society, SCCC'98, IEEE Press (1998), 20 pp. 33. J. Meidanis and Z. Dias. Genome Rearrangements Distance by Fusion, Fission, and Transposition is Easy. Proceedings of SPIRE'2001 - String Processing and Information Retrieval. November, 13-15, 2001. Laguna de San Rafael, Chile. 34. F.K. Xxxxxxxx and X. Wakabayashi, Cube packing, Proceedings of LATIN'2000: theoretical informatics (Punta del Este, Uruguay. April, 2000), Lecture Notes in Comput. Sci., vol. 1776 (2000), 58-67. 35. E.W. Xxxxx, P.B. Xxxxx, and X.X. Xxxxxxxxx, Reporting exact and approximate regular expression matches, 9th. Combinatorial Pattern Matching (CPM), Piscataway, NJ, July 1998. Lecture Notes in Comput. Sci., 1448 (1998). 36. X.X. xx Xxxx and X. Xxxxxx, A new bound for the Carathéodory rank of the bases of a matroid, Proceedings of the Eleventh Annual ACM-SIAM Symposium on Discrete Xxxxxxxxxx, XXXX'0000, 942-943. 37. E.M. Xxxxxxxxx, X-X. Sagot, and Y. Xxxxxxxxxxx, Some approximation results for the maximum agreement forest problem, APPROX'2001, Lecture Notes in Computer Science 2129 (2001), 159-169. 38. J. Xxxxxx and M.A. Stefanes, Coarse Grained Parallel Algorithm for Maximum Independent Set in Convex Bipartite Graphs. Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications (2001), 527-533. 39. M. Xxxxxx, X. Xxxx, and X. Meidanis, Reversal and Transposition distance of linear chromosomes, String Processing and Information Retrieval (SPIRE'98), Santa Cruz de la Sierra, Bolivia (1998), 96-102. 40. R. Xxxxxxx, X.X. Xxxxxxx, and A.F. da Conceição. Finding Minimum Congestion Spanning Trees, Proceedings of the Third Workshop on Algorithm Engineering, King's College, London, volume 1668 of Lecture Notes in Computer Science, 60-71, Springer-Verlag, 1999. |
Artigos submetidos [total: 33] 1. X.X. xx Xxxxxxx Xx. and X.X. Xxxxxxx, Um modelo oculto de Xxxxxx para encontrar promotores em seqüências de DNA, 1998. 2. X.X.X. xx X. Xxxxxxx and X. Xxxxxxxxxx, Bounds for optimal coverings, submitted, 2001, 14pp. 3. M.D. V. Xxxxx, X. Xxxx, X.X. Xxx, X. Xxxxxxxx, X.X.X.Xxxxxxx, F.R. xx Xxxxx, and G.P. Telles. Bioinformatics of the Sugarcane EST Project. Submitted to Genetics and Molecular Biology, 2001. 4. F. Xxxxxxxxx, X. Xxxxxx and X.X. xx Xxxxx, Optimal Rectangular Partition. December 2001. In English, 29 pages. Technical report IC-01-16. 5. G. Xxxxxxxxx, X.X. Xxxxxxxxx and B. Xxxx, Multicuts in Unweighted Graphs and Digraphs with Bounded Degree and Bounded Tree-Width, 2001. 6. X.X. Xxxxxx, X.X. xx Xxxxx, Xxxxxxxxx Xxxxx xx Xx0, 0000. 7. X.X. Xxxxxxxx, C.L. Xxxxxxxx and U.S.R. Murty, Graphs with independent perfect matchings, 2002. 8. X.X. Xxxxxxxx, C.L. Xxxxxxxx and U.S.R. Murty, Cubic Graphs in which the Set of Incidence Vectors of all Perfect Matchings is Independent, 2002. 9. X.X.X. xx Xxxxxxxxxx, M. Xxxxxxxxx, Linear-time max-cut for split-indifference graphs, 2001. 10. X.X.X. xx Xxxxxxxxxx and F. Maffray, Optimizing bull-free perfect graphs, 1997. 11. J. Xxxxxxxxx and X. Xxxxxxxxxx, A density result for random sparse oriented graphs and its relation to a conjecture of Xxxxxxx, 0000. 12. L. Xxxxx, X. X. X. xx Xxxxxxxxxx, C. F. X. Xxxxxxxx, On the complexity of the approximation of nonplanarity parameters for cubic graphs, 2001. 13. T. Xxxxx, X. Hell, S. Klein and R. Motwani, List Partition Problems, 2000. 14. P. Xxxxxxxxx, X.X. Xxxxxxxxx, X.X. Xxxxxxxx, and X.X. xx Xxxx, Approximation Algorithms for the Prize-Collecting Steiner Tree Problem, 2002. 15. X.X. Xxxxxxxxx, X. xxx xxx Xxxxx, and X.X. xx Xxxx, Multilength Single Pair Shortest Disjoint Paths, 2002. 16. X.X. Xxxxxxxxx, X. Xxx, and X. Wakabayashi, The Minimum Cycle Cover and the Chinese Postman Problems on Mixed Graphs with Bounded Tree Width, 2002. 17. V.O. Xxxxxxxx, X.X. Xxxxxxxxx, X. Mandel, Free symmetric and unitary pairs, 2001, 22pp. 18. M. Xxxxxxxxx and X. Xxxxxxxx, The images under the Clique Operator of all graphs and of clique graphs, 1999. 19. Y. Xxxxxxxxxx, F.K. Xxxxxxxx, X. Xxxxxxxx, and X. Wakabayashi, Multidimensional Cube Packing, 2002. 20. Y. Xxxxxxxxxx, X. Nagle, and V. Rödl, Hereditary properties of triple systems, 2000, 34pp. 21. Y. Xxxxxxxxxx, X. Nagle, and V. Xxxx, Efficient testing of hypergraphs (extended abstract), 2001, 10pp. 22. Y. Xxxxxxxxxx and V. Rödl, Regular pairs in random graphs I, 2001, 63pp. 23. F. Xxxxxxx, X.X. xx Xxxxx, X. Xxxxxxx, X. Xxxxxxx-Xxxx, and X. Pizaña, The clique operator on cographs and |
serial graphs, 2001. 24. M. Lemos, Non-separating cocircuits in binary matroids, 2002. 25. M. Xxxxx and X.X. Xxxxx, On the minor-minimal 2-connected graphs having a fixed minor, 2001. 26. M. Xxxxx and X.X. Xxxxx, On the minor-minimal 3-connected matroids having a fixed minor, 2002. 27. M. Xxxxx and X.X. Xxxxx, Matroid packing and covering with circuits through an element, 2002. 28. M. Loparic and X.X. Xxxxxxxx, A branch-and-cut algorithm for a vehicle routing problem with capacity and time constraints, 1998. 29. X.X. xx Xxxxx, X. Morgana, The clique operator on extended P4-sparse graphs, 2002. 30. X.X. xx Xxxxx, X. Morgana, and G. Xxxxxxxxx, An algorithm for 1-bend embeddings of planar graphs in the two- dimensional grid, 2001. 31. M.A. Xxxxxx Xx, X.X.X. Xxxxx, X.X.X. Xxxxxxxxxx and X.X. Xxxxxxxxx, Computational Analysis of a Putative Regulatory DNA Binding Site in the Yeast DNA Repair Gene Promoters, 2002. 32. X.X. xx Xxxxx, (...52 other authors...), X.X. Xxxxxxx, X. Meidanis, N.F. Xxxxxxx Xx. The Complete Sequence of Xanthomonas axonopodis pv. citri and Xanthomonas campestris pv. campestris: two similar plant pathogen with different host specificity, 2001. 33. X.X. Xxxxx, A.V. Xxxxx and X.X. xx Xxxxx, Hybrid column generation approaches for solving real world crew management problems. Relatório Técnico IC-00-18. Instituto de Computação, UNICAMP, 38 páginas, 2000. Trabalhos completos em Anais de Congressos Nacionais [total: 8] 1. X.X. Xxxxxx and N.F. Xxxxxxx Xx., Phylogeny from whole genome comparison. In Proc. of the 1st Brazilian Workshop on Bioinformatics, pages 9-15. Gramado RS, Brazil, 2002. 2. M.R. Xxxxxxx and X.X. Xxxxxxxxxxx, Uma caracterização de grafos estrelados. Tendências em Matemática Aplicada e Computacional, 1 (2000) p. 345-350. Seleta do XXII Congresso Nacional de Matemática Aplicada e Computacional. 3. G. F. Cintra and X. Xxxxxxxxxxx, Um algoritmo híbrido para o problema de corte unidimensional, XXX SOBRAPO, Curitiba, 1998. Anais da III Oficina de Problemas de Corte e Empacotamento, 79-96, Curitiba, 1998. 4. G.F. Cintra and X. Wakabayashi. Uma Variante do Problema de Corte Unidimensional, anais do XXXII Simpósio Brasileiro de Pesquisa Operacional, 2000, 17 pag. 5. X.X. Xxxxxxxx and E.R. Sibrão, Escalonamento em Sistemas de Produção: um estudo de caso, XXX SOBRAPO- Simpósio Brasileiro de Pesquisa Operacional, Curitiba, 1998. Anais da III Oficina de Problemas de Corte e Empacotamento, 123-130. 6. S. Xxxxx, X.X. Xxxxxxxx, X. Xxxxxx, and P. Hell, Particionamento de Grafos Cordais em Conjuntos Independentes e Cliques. Seleta do XXIV CNMAC. Rio de Janeiro, 2002. 7. F. K. Xxxxxxxx and X. Wakabayashi, Parametric on-line packing, XXX XXXXXXX, Xxxxxxxx, 0000. Anais da III Oficina de Problemas de Corte e Empacotamento, 109-121. 8. F.K. Xxxxxxxx and X. Wakabayashi, Algoritmos de aproximação para problemas de empacotamento. Anais do XVIII Congresso Nacional da Sociedade Brasileira de Computação, pp. 000-000, Xxxx Xxxxxxxxx, XX, 1998. |
Resumos estendidos em Anais de Congressos Internacionais [total: 15] 1. S.S. Xxx and X.X. Xxxxxxxx, DNA Fragments Assembly Programs: a Comparative Study, Brazilian Symposium on Graphs and Combinatorics (GRACO), Ceará, Electronic Notes on Discrete Mathematics (Xxxxx Xxxxxxxxxxx and Xxxxx X. Xxxx, eds.), vol. 7, Elsevier Science Publishers, 2001, 6pp. 2. G. Xxxxxxxxx and X.X. Xxxxxxxxx, Multicuts in Unweighted Digraphs with Bounded Degree and Bounded Tree- Width, Brazilian Symposium on Graphs and Combinatorics (GRACO), Ceará, Electronic Notes on Discrete Mathematics (Xxxxx Xxxxxxxxxxx and Xxxxx X. Xxxx, eds.), vol. 7, Elsevier Science Publishers, 2001, 4pp. 3. X.X.X. xx Xxxxxxxxxx, S. Xxxxx, and K. Vuskovic. 6 Colloque International de Theorie des Graphes, 28 de agosto a 4. V.M.F. Xxxx, X.X. xx Xxxxxxx, X.X.X. xx Xxxxxxxxxx, and X.X. Xxxxxxxxxxx, Stable marriages with restricted pairs, Brazilian Symposium on Graphs and Combinatorics (GRACO), Ceará, Electronic Notes on Discrete Mathematics (Xxxxx Xxxxxxxxxxx and Xxxxx X. Xxxx, eds.), vol. 7, Elsevier Science Publishers, 2001, 4pp. 5. H. Xxxxxxx, X.X.X. xx Xxxxxxxxxx, S. Xxxxx, and X.X. Xxxx, Bull-reducible Berge graphs are perfect, Proceedings of EuroConference on Combinatorics, Graph Theory and Applications. CRM Centre de Recerca Matemática (2001), pp. 115-118. 6. L. Xxxxx, X.X.X. xx Xxxxxxxxxx, C.F.X. Mendonça, On the complexity of the approximation of nonplanarity parameters for cubic graphs, Brazilian Symposium on Graphs and Combinatorics (GRACO), Ceará, Electronic Notes on Discrete Mathematics (Xxxxx Xxxxxxxxxxx and Xxxxx X. Xxxx, eds.), vol. 7, Elsevier Science Publishers, 2001, 4pp. 7. M. Xxxxxxxxx and X. Meidanis. The Clique Operator, Set Families, and Their Properties. Brazilian Symposium on Graphs and Combinatorics (GRACO), Ceará, Electronic Notes on Discrete Mathematics (Xxxxx Xxxxxxxxxxx and Xxxxx X. Xxxx, eds.), vol. 7, Elsevier Science Publishers, 2001. 8. X. Xxxx, X. Xxxxx, X. Xxxxxx, xxx X.X. Xxxxxxxx, Xx generalized split graphs, Brazilian Symposium on Graphs, Algoritms and Combinatorics (GRACO), Ceara, Eletronic Notes in Discrete Mathematics (Xxxxx Xxxxxxxxxxx and Xxxxx X. Xxxx, eds), Vol.7, Elsevier Science Publishers, 2001, 4pp. 9. Y. Xxxxxxxxxx, F.K. Xxxxxxxx, X. Xxxxxxxx, X. Wakabayashi, Multidimensional cube packing, Brazilian Symposium on Graphs and Combinatorics (GRACO), Ceará, Electronic Notes on Discrete Mathematics (Xxxxx Xxxxxxxxxxx and Xxxxx X. Xxxx, eds.), vol. 7, Elsevier Science Publishers, 2001, 4pp. 10. L. Xxxx, X. Xxxx, X. Xxxx, Symmetry Robust Memory Management, Brazilian Symposium on Graphs and Combinatorics (GRACO), Ceará, Electronic Notes on Discrete Mathematics (Xxxxx Xxxxxxxxxxx and Xxxxx X. Xxxx, eds.), vol. 7, Elsevier Science Publishers, 2001. 11. X.X. xx Xxxxx, X. Morgana, and G. Xxxxxxxxx, An algorithm for 1-bend embeddings of planar graphs in the two- dimensional grid, Brazilian Symposium on Graphs, Algoritms and Combinatorics (GRACO), Ceará, Eletronic Notes in Discrete Mathematics (Xxxxx Xxxxxxxxxxx and Xxxxx X. Xxxx, eds), vol. 7, Elsevier Science Publishers, 2001, 4pp. 12. F.K. Xxxxxxxx and X. Wakabayashi, Three-dimensional on-line packing with rotations, IV ALIO/EURO Workshop on Applied Combinatorial Optimization (C.C. Xxxxxxx ed), Pucon, Chile, pp.97-99, 2002. 13. C. Xxxxxxx, X. Xxxxxxxxxx, Bounds for optimal coverings, Brazilian Symposium on Graphs and Combinatorics (GRACO), Ceará, Electronic Notes on Discrete Mathematics (Xxxxx Xxxxxxxxxxx and Xxxxx X. Xxxx, eds.), vol. 7, Elsevier Science Publishers, 2001, 4pp. 14. C. Xxxxx, X. Dahab, Xxxxx'x 3-flow Conjecture and Matchings, Brazilian Symposium on Graphs and Combinatorics (GRACO), Ceará, Electronic Notes on Discrete Mathematics (Xxxxx Xxxxxxxxxxx and Xxxxx X. Xxxx, eds.), vol. 7, Elsevier Science Publishers, 2001, 4pp. |
15. E.C. Xxxxxx and F.K. Miyazawa, Approximation schemes for a class-constrained knapsack problem, IV ALIO/EURO Workshop on Applied Combinatorial Optimization (C.C. Xxxxxxx ed), Pucon, Chile, pp.141-143, 2002. Comunicações e posters em conferências internacionais [total: 18] 1. M.R. Xxxxxxx, X.Xxxxxxx, X.X.X. xx Xxxxxxxxxx, S. Xxxxx, X. Xxxxxxxx, Two Graph Composition Sandwich Problems, IX Congreso Latino-Iberoamericano de Investigacio'n Operativa (CLAIO), Xxxxxx Xxxxx, Xxxxxxxxx, 0000, p.84. 2. M. R. Xxxxxxx e X. X. Xxxxxxxxxxx, On edge clique graphs, Dagstuhl Seminar on Graph Decompositions and Algorithmic Applications, Dagstuhl, Alemanha, 1999. 3. M. R. Xxxxxxx e X. X. Xxxxxxxxxxx, Edge clique graphs of some classes of chordal graphs, 30th Southeastern International Conference on Combinatorics, Graph Theory and Computing, Boca Raton, Estados Unidos, 1999, p.19. 4. M.R. Xxxxxxx and X.X. Xxxxxxxxxxx, Characterizing Intersection Graphs of Substars of a Star Thirty-First Southeastern International Conference on Combinatorics, Graph Theory and Computing. Boca Raton, Estados Unidos, March 2000. 5. G.F. Cintra and X. Wakabayashi, A Hybrid Algorithm for the One-Dimensional Cutting Stock Problem, XVII International Symposium on Mathematical Programming. Atlanta, 7-11 August/2000. 6. R. Xxxxx, X.X. Xxxxx, High-Speed software multiplication in F_{2^n} In: INDOCRYPT 2000, Calcuta. 7. X.X.X. xx Xxxxxxxxxx and F. Xxxxxxx, Optimizing Bull-Free Perfect Graphs, 9th SIAM Conference on Discrete Mathematics, Toronto, Canada, 1998, p.45. 8. X.X.X. xx Xxxxxxxxxx, X. Xxxxxxxx, and X.X. xx Xxxxx. Local conditions for edge-colouring. In IX Congreso Latino- Iberoamericano de Investigación Operativa, Buenos Aires, 1998. 9. X. X. Xxxxxxxxx. Unweighted graphs with bounded degree and bounded tree-width. In IX Congreso Latino- Iberoamericano de Investigación Operativa, Buenos Aires, 1998. 10. X.X. Xxxxxxxxx, X. Xxx, and X. Wakabayashi, The Chinese Postman and the Minimum Circuit Cover Problem on Bounded-Tree-Width Mixed Graphs, XVII International Symposium on Mathematical Programming. Atlanta, 7-11 August/2000. 11. X.X. Xxxxxxxxx, J. C. B. Xxxx and G.D.C. Xxxxxxxxxx, Simple and Efficient Secondary Structure Prediction European Conference on Computational Biology 2002, Saarbrücken, Germany, Poster no. 48. 12. S. Xxxxx and X.X. Xxxxxxxxxxx. Algorithms for homogeneous sets of graphs. In 9th SIAM Conference on Discrete Mathematics, page 44, 1998. 13. X.X. xx Xxxxx and X. Morgana, The clique operator on extended P4-sparse graphs, XI CLAIO, Concepción, Chile, outubro de 2002. 14. X.X. xx Xxxxx and X. Morgana, The clique operator on P4-reducible and P4-sparse graphs, Workshop Latino- Americano de Cliques em Grafos, Rio de Janeiro, abril de 2002. 15. X.X. Xxxxxxx and X. Meidanis. The Bioinformatics of the Xylella fastidiosa Genome Project. In II Annual Conference on Computational Genomics (poster presentation), Reston, VA, USA, November 1998. 16. X.X. Xxxxxxx and N.F. Xxxxxxx Xx. Detection of related genes in prokaryotes using syntenic regions. DIMACS Workshop on whole genome comparison, Xxxxxxx Xxxxxxxxxx, Xxx Xxxxxx, 0000. 17. Y. Wakabayashi. The complexity of compuiting medians of relations. In IX Congreso Latino-Iberoamericano de Investigación Operativa, Buenos Aires, 1998. |
18. D.W. Xxxx, (...17 other authors...), X.X. Xxxxxxx, N.F. Xxxxxxx Xx. Sequencing and analysis of the Agrobacterium tumefaciens genome 10th Int'l congress on Molecular plant-microbe interactions, Xxxxxxx, XX, 0000 (poster). Comunicações em Congressos Nacionais (resumos) [total: 7] 1. L. Alcon, M.R. Xxxxxxx, X.X.X. xx Xxxxxxxxxx e X. Gutierrez. Trees that are Loop Graphs. Anais do XXV Congresso Nacional de Matemática Aplicada e Computacional (CNMAC), Nova Friburgo, setembro de 2002, pp. 8. 2. C.N. Xxxxxx, X.X. xx Xxxxx, Coloração Total do Cn2, XXV Congresso Nacional de Matemática Aplicada e Computacional (CNMAC), Nova Friburgo, setembro de 2002. 3. M.R. Cerioli e X.X. Xxxxxx. O Problema da Coloração de Arestas em Grafos UEH. Anais do XXV Congresso Nacional de Matemática Aplicada e Computacional (CNMAC), Nova Friburgo, setembro de 2002, pp. 98. 4. M.R. Xxxxxxx and X.X. Xxxxxxxxxxx, Grafos clique de arestas de grafos estrelados, XXI Congresso Nacional de Matemática Aplicada e Computacional (CNMAC), Caxambu, Brasil, 1998, p.158. 5. M.R. Xxxxxxx and X.X. Xxxxxxxxxxx, Uma caracterização de grafos estrelados, XXII Congresso Nacional de Matemática Aplicada e Computacional (CNMAC), Santos, Brasil, 1999, p.169. 6. P. Hell, S. Xxxxx, X. Xxxxxx, and L. Xxxx, Caracterização e reconhecimento de grafos cordais-(2,1), XXII Congresso Nacional de Matemática Aplicada e Computacional (CNMAC), Santos, Brasil, 1999, p.165. 7. G. B. Xxxxxx, X. X. X. Xxxxxx and X. X. Xxxxxxxxx, An HMM-Based Protein Family Classifier, II Encontro Regional de Matemática Aplicada e Computacional (ERMAC). Natal-RN, de 29-31 de Agosto de 2002. Teses concluídas [total: 10] 1. Luerbio Faria [X.X.X. xx Xxxxxxxxxx/IM-COPPE-UFRJ]. Título da tese: Alguns Resultados em Invariantes de Não Planaridade em Grafos: Uma Abordagem Estrutural e de Complexidade. Bolsa da CAPES. Término: agosto/98. 2. Xxxxx Xxxxxx Xxxxxxx Xxxxxx Xxxxxx [J. Meidanis/IC-UNICAMP]. Título da tese: Algoritmos para Problemas em Rearranjo de Genomas. Bolsa da CAPES. Término: novembro/99. 3. Xxxxxxx Xxx [Y. Wakabayashi/IME-USP]. Título da tese: Coberturas por Circuitos em Grafos Mistos. Bolsa da CAPES. Término: dezembro/99. 4. Xxxxxxx Xxxx Xxxxxx [M. Lemos/DM-UFPE]. Título da tese: Matróides Conexas com Circunferência Pequena. Bolsa da CAPES. Término: dezembro/99. 5. Xxxxx Xxxxx Xxxxx Xxxxxxxxx [Xxxxxxx Xxxxx/IC-UNICAMP]. Título da tese: Análise e Implementação de Algoritmos Criptográficos aseados em Curvas Elípticas. Término: ??????? 6. Xxxxx Xxxxxx xx Xxxxxxx Xx [X.X. Xxxxxxx/IC-Unicamp]. Título da tese: Ferramentas computacionais para genômica. Bolsa PICD-CAPES com sanduíche CAPES-Fulbright. Ingresso no programa: março/95. Término: setembro/02. 7. Xxxx Xxxxxxxxx Xxxxxx [Y. Kohayakawa/IME-USP]. Título do projeto: Métodos Probabilísticos e Métodos Topológicos em Combinatória Extremal. Bolsa da CAPES até dez/97 e bolsa do CNPq desde jan/98. Ingresso no programa: março/96. Término: março/02. 8. Xxxxxx Xxxxxx xx Xxxxx [X.X.X xx Xxxxxxxxxx/IM-COPPE-UFRJ]. Título da tese: Partições em Grafos: Caracterizações, Algoritmos e Complexidade. Bolsa da CAPES. Ingresso no programa: março/99. Término: junho/02. |
9. Xxxxxx Xxxx [J. Meidanis/IC-UNICAMP]. Título da tese: Rearranjo de Genomas: Uma Coletanea de Artigos. Bolsa da FAPESP.Ingresso no programa: março/98. Término: novembro/02. 10. Xxxxxxxxx Xxxxxxxx Xxxxxx [J. Meidanis/IC-UNICAMP]. Título da tese: Um algoritmo quase-linear para árvores PQR e um esquema para clustering de seqüências expressas de cana-de-açucar. Bolsa da FAPESP. Ingresso no programa: março/97. Término: dezembro/02. |
Capacitação de Recursos Humanos Discriminar os resultados das atividades voltadas à capacitação da equipe executora, bem como daquelas dirigidas a profissionais ou instituições externas ao Projeto, relacionando cursos, treinamentos, formação de mestres e doutores, orientação de teses, etc. Doutorados concluídos [total: 10] 1. Xxxxxxxxx Xxxxxxxx Xxxxxx [J. Meidanis/IC-UNICAMP]. Título da tese: Um algoritmo quase-linear para árvores PQR e um esquema para clustering de seqüências expressas de cana-de-açucar. Bolsa da FAPESP. Ingresso no programa: março/97.Término: dezembro/02. 2. Xxxxxxx Xxxxx [X.X.X. xx Xxxxxxxxxx/IM-COPPE-UFRJ]. Título da tese: Alguns Resultados em Invariantes de Não Planaridade em Grafos: Uma Abordagem Estrutural e de Complexidade. Bolsa da CAPES. Término: agosto/98. 3. Xxxxx Xxxxxx Xxxxxxx Xxxxxx Xxxxxx [J. Meidanis/IC-UNICAMP]. Título da tese: Algoritmos para Problemas em Rearranjo de Genomas. Bolsa da CAPES. Término: novembro/99. 4. Xxxxxxx Xxx [Y. Wakabayashi/IME-USP]. Título da tese: Coberturas por Circuitos em Grafos Mistos. Bolsa da CAPES. Término: dezembro/99. 5. Xxxxxxx Xxxx Xxxxxx [M. Lemos/DM-UFPE]. Título da tese: Matróides Conexas com Circunferência Pequena. Bolsa da CAPES. Término: dezembro/99. 6. Xxxxx Xxxxx Xxxxx Xxxxxxxxx [R. Dahab/IC-UNICAMP]. Título da tese: Implementação Eficiente em Software de Criptossistemas Baseados em Curvas Elípticas. Término: abril/00. 7. Xxxxx Xxxxxx xx Xxxxxxx Xx [X.X. Xxxxxxx/IC-Unicamp]. Título da tese: Ferramentas computacionais para genômica. Bolsa PICD-CAPES com sanduíche CAPES-Fulbright. Ingresso no programa: março/95. Término: maio/02. 8. Xxxx Xxxxxxxxx Xxxxxx [Y. Kohayakawa/IME-USP]. Título da tese: Métodos Probabilísticos e Métodos Topológicos em Combinatória Extremal. Bolsa da CAPES até dezembro/97 e bolsa do CNPq desde janeiro/98. Ingresso no programa: março/96. Término: março/02. 9. Xxxxxx Xxxxxx xx Xxxxx [X.X.X xx Xxxxxxxxxx/IM-COPPE-UFRJ]. Título da tese: Partições em Grafos: Caracterizações, Algoritmos e Complexidade. Bolsa da CAPES. Ingresso no programa: março/99. Término: junho/02. 10. Xxxxxx Xxxx [J. Meidanis/IC-UNICAMP]. Título da tese: Rearranjo de Genomas: Uma Coletanea de Artigos. Bolsa da FAPESP. Ingresso no programa: março/98. Término: novembro/02. Doutorados em andamento [total: 22] 1. Xxxxxxxxx Xxxx Xxxxx [R. Dahab/IC-UNICAMP]. Título do projeto: Segurança de Sistemas Móveis. Bolsa do CNPq. Ingresso no programa: agosto/99. 2. Xxxxxxxxxx Xxxx Xxxxxx Xxxxxx [X.X. xx Xxxxx/IC-UNICAMP, desde outubro de 2000]. Título do projeto: Coloração Total em Grafos. Ingresso no programa: março/97. 3. Xxxxxxx Xxxxxxxxx xx Xxxxxxxx Xxxx [S. Lins/DM-UFPE]. Título do projeto: Implementação de uma Dinâmica Combinatória para Classificar 3-variedades. Ingresso no programa: março/99. |
4. Elder Xxxxxxxxx Xxxxxxxxx [Xxxxxx Xxxxxxx/COPPE--UFRJ, Xxx X. xx Xxxxx/IC--UNICAMP]. Título do Projeto: Uma abordagem poliédrica para problemas de otimização combinatória com aplicações no planejamento de redes telefônicas. Bolsa da CAPES. Ingresso no programa (COPPE--UFRJ): março/1999. 5. Xxxxxx Xxxxx Xxxxxxxxx [Y. Wakabayashi/IME-USP]. Título do projeto: Algoritmos de Inferência Filogenética. Bolsa do CNPq. Ingresso no programa: março/97. 6. Xxxxx X. Xxxxxxx Xxxxxxxx [J. Xxxxxx/IME-USP]. Título do projeto: Método da Verossimilhança Máxima. Bolsa CAPES/PICD. Ingresso no programa: agosto/99. 7. Xxxxxxxxx Xxxx Xxxxxx xx Xxxxxx [J. Xxxxxx/IME-USP]. Título do projeto: Alinhamento de Várias Seqüências. Ingresso no programa: agosto/98. 8. Xxxxxxx Xxxxxxxx Xxxxxx [Y. Wakabayashi/IME-USP]. Título do projeto: Problemas de Corte e Empacotamento. Bolsa do CNPq. Ingresso no programa: agosto/98. 9. Xxxxxxx Xxxxx [Y. Wakabayashi/IME-USP]. Título do projeto: Algoritmos de Aproximação para Problemas de Otimização em Grafos Bolsa da CAPES. Ingresso no programa: novembro/01. 10. Xxxxx Xxxxxxx Xxxxxxx xx Xxxx [X.X. Xxxxxxxxx/CIn-UFPE] Título do projeto: Análise de Seqüências de DNA e de Proteínas Bolsa do CNPq. Ingresso no programa: março/01. 11. Xxxx Xxxxxxx Xxxxxxxx [R. Dahab e (co-orientador) C.L. Lucchesi/IC-UNICAMP]. Título do projeto: Protocolos Criptográficos Eficientes para Troca Autenticada. Ingresso no programa: março/95. 12. Xxxxxxx Xxxx Xxxxxxx Xxxxxxx [Y. Wakabayashi/IME-USP]. Título do projeto: Aproximabilidade de Problemas de Otimização em Grafos. Bolsa da FAPESP : agostoo/98 a julho/2002 Ingresso no programa: março/98. 13. Xxxxx Xxxx Xxxxxxxx [S. Klein/IM-COPPE-UFRJ]. Título do projeto: Complexidade de Problemas de Partição em Grafos. Bolsa da CAPES. Ingresso no programa: outubro/99. 14. Xxxxx xx Xxxxxxxx Xxxxxxxx [R. Dahab/IC-UNICAMP]. Título do projeto: Métodos Formais em Protocolos Criptográficos. Ingresso no programa: agosto/99. 15. Xxxxx Xxxxxxx Xxxxxxxx [J. Xxxxxx/IME-USP]. Título do projeto: Algoritmos Paralelos para Grafos e Geometria Computacional. Bolsa da FAPESP desde agosto/98. Ingresso no programa: março/98. 16. Xxxxx Xxxxx xxx Xxxxxx [S. Klein/IM-COPPE-UFRJ]. Titulo do projeto: Estruturas Homogêneas. ingresso no programa: março/01. 17. Xxxxx Xxxx [C.C. Xxxxxxx/DI-PUC-Rio, Xxx X. xx Xxxxx/IC-UNICAMP]. Título do Projeto: A polyhedral approach to scheduling unrelated processors under precedence constraints. Ingresso no programa (Universidade de Buenos Aires, Argentina): março/1996. 18. Xxxxxx X. da S. Carmo [Y. Kohayakawa/IME-USP]. Título do projeto: Análise de Caso Médio de Algoritmos e Grafos Aleatórios. Bolsa da CAPES/PICD. Ingresso no programa: março/00. 19. Xxxxxx Xxxxxxx Sampaio [Y. Kohayakawa/IME-USP]. Título do projeto: Tópicos em combinatória extremal. Ingresso no programa: agosto/02. 20. Said Sadique Adi [X.X. Xxxxxxxx/IME-USP]. Título de projeto: Montagem de Fragmentos de DNA. Bolsa da FAPESP. Ingresso no programa: agosto/00. 21. Xxxxxx Xxxxxx Xxxxx xx Xxxx [M. Lemos/DM-UFPE] Título do projeto: Cocircuitos não separadores em matróides binárias Bolsa do CNPq. Ingresso no programa: março/00. |
22. Xxxxx Xxxxx Xxxxx Xxxx [X.X.X xx Xxxxxxxxxx/IM-COPPE-UFRJ, X.X.Xxxxxxxxxxx/COPPE-UFRJ] Bolsa CNPq. Ingresso no programa: março/00. Mestrados concluídos [total: 48] 1. Xxxxxxxxx Xxxxx Xxxxxx [M. Lemos/DM-UFPE]. Título da dissertação: As Conjecturas de Tutte e o Teorema de Xxxxxxx. Bolsa do CNPq. Ingresso no programa: março/98. Término: maio/00. 2. Xxxxxxxxx Xxxx Xxxxx [Xxxxxxx Xxxxx e Cecília M. F. Rubira/ IC-UNICAMP]. Título da dissertação: Análise Comparativa e Proposta de Extensão à Arquitetura Criptográfica JAVA. Bolsa do CNPq e posteriormente FAPESP. Término: agosto/99. 3. Xxxxxxxxx Xxxxxxxxx [Y. Kohayakawa/IME-USP]. Título da dissertação: Convergência na Teoria dos Grafos Aleatórios. Término: outubro/99. 4. Xxxxxx Xxxxxxx Xxxx Xxxx [S. Klein/IM-COPPE-UFRJ e N. Maculan/COPPE-UFRJ]. Título da dissertação: Algoritmos Aproximativos para o Problema do Caixeiro Viajante. Bolsa da CAPES.Término: outubro/99. 5. Xxxxxx Xxxxxx Xxxxxxxxx [S. Klein/IM-COPPE-UFRJ e F. Protti/IM-COPPE-UFRJ]. Título: Modelagem de Teias Alimentares e Grafos de Competição. Bolsa da CAPES. Ingresso no programa: março/00. Término: agosto/02. 6. Xxxxxxxx Xxxxxx Xxxxxx Xxxxxx [X.X. Xxxxxxxx/IME-USP]. Título da dissertação: Algoritmos e Estruturas de Dados para Problemas em Grafos Dinâmicos. Bolsa do CNPq. Ingresso no programa: março/97. Término: março/01. 7. Xxxxxxx Xxxxxx xx Xxxxxxxxx [X.X. Xxxxxxx/IC-Unicamp]. Título da dissertação: Problemas combinatórios de congestionamento. Bolsa do CNPq. Ingresso no programa: março/97. Término: junho/00. 8. Xxxxxxx Xxxxx Xxxxxxx [Y. Kohayakawa/IME-USP]. Título da dissertação: Provas Holográficas de Tamanho Quase-linear. Bolsa da CAPES. Término: novembro/98. 9. Xxxxxxx Xxxxx xx Xxxxx [R. Dahab/IC-UNICAMP]. Título: A Conjectura dos 3-Fluxos de Tutte e Emparelhamentos em Grafos Bipartidos. Bolsa do CNPq. Ingresso no programa: março/99. Término: junho/01. 10. Xxxxxx X. Xxxxxxxxx Xxxxxxxx [X.X. xx Xxxx/IME-USP]. Título da dissertação: Geometria Computacional de Pontos em Movimento. Bolsa do CNPq até fevereiro/97. Ingresso no programa: março/96. Término: fevereiro/00. 11. Xxxxxx Xxxxx xx Xxxxxx [X.X. Xxxxxxxx/IME-USP]. Título da dissertação: Problemas Dinamicos em Geometria Computacional. Bolsa da FAPESP. Ingresso no programa: março/99. Término: dez/00. 12. Cátia Mesquita Brasil Khouri [X. X. Xxxxxxxxx/ CIn-UFPE]. Título: Modelos Escondidos de Markov para Classificação de Proteínas. Ingresso no Programa: agosto/00. Término: dezembro/02. 13. Xxxxxxx Xxxxx Xxxxxxxxx [M. Lemos/DM-UFPE]. Título da dissertação: O polinômio de Tutte. Bolsa do CAPES. Ingresso no programa: agosto/98. Término: maio/01. 14. Xxxxxxxx Xxxxx Xxxxxxxxxx [Xxx xx Xxxxxxxx xx Xxxxx/IC-UNICAMP]. Título da dissertação: O Problema de Escalonamento com Restrições de Mão-de-Obra. Bolsa da FAPESP. Início: março/96. Término: agosto/98. 15. Xxxxxx Xxxxxxxx Xxxxx Xxxx [S. Klein/IM-COPPE-UFRJ e Fábio Protti/NCE-UFRJ]. Título da dissertação: Reconhecimento de Grafos 2-DIR Puros. Bolsa da CAPES. Ingresso no programa: março/99. Término: outubro/01. 16. Xxxxxxx Xxxx Xxxxxxx Xxxxxx [X.X.X. xx Xxxxxxxxxx/IM-COPPE-UFRJ]. Título da dissertação: Algoritmos Dinâmicos para Árvore Geradora Mínima. Bolsa da CAPES. Término: fevereiro/98. 17. Xxxxxx X. Sibrão [X.X. Xxxxxxxx/IME-USP]. Título da dissertação: Escalonamento em Sistemas de Produção: um Estudo de Caso. Bolsa da CAPES de agosto/96 até julho/98. Ingresso no programa: agosto/96. Término: dezembro/99. |
18. Xxxx X. Xxxxxxx [X.X. Xxxxxxxx/DCT-UFMS]. Título: Algoritmos Lineares para Teste de Planaridade em Grafos. Ingresso no programa: março/00. Término: agosto/02. 19. Xxxxxxx Xxxxxx xx Xxxxxxx [X.X. Xxxxxxxx/IME-USP]. Título da dissertação: Problemas Cinéticos em Geometria Computacional. Bolsa da FAPESP. Ingresso no programa: março/99. Término: dez/00. 20. Xxxxxxx Xxxxxxx Xxxxx [X.X. Xxxxxxxxx/IME-USP]. Título: Árvores k-restritas e Aproximações para Árvores de Xxxxxxx. Ingresso no programa: março/98. Término: maio/02. 21. Xxxxxxx Xxxxxx [A. Mandel/IME-USP]. Título: Automorfismos de grafos. Ingresso no programa: agosto/99. Término: maio/02. 22. Xxxxx Xxxxxxx Xxxxxxxxx [J. Meidanis/IC-UNICAMP]. Título da dissertação: Montagem de Fragmentos de DNA. Bolsa do CNPq até fevereiro/97. Ingresso no programa: março/96. Término: jan/00. 23. Xxxxxx Xxxxxxxx Xxxxxxxxx [X.X. xx Xxxxx/IC-UNICAMP]. Título da dissertação: Problemas de Cobertura, Empacotamento e Partição de Polígonos Retilineares. Ingresso no programa: março/98. Término: setembro/01. 24. Xxxxxxxxx Xxxx Xxxxxx xx Xxxxxx [J. Xxxxxx/IME-USP]. Título da dissertação: Rearranjo de Genomas por Reversões. Bolsa da CAPES. Término: agosto/98. 25. Xxxxxxx Xxxxxxxx Xxxxxx [Y. Wakabayashi/IME-USP]. Título da dissertação: Algoritmos Híbridos para Problemas de Corte Unidimensional. Bolsa do CNPq. Término: julho/98. 1o. Prêmio no VI Concurso CLEI-UNESCO de Teses de Mestrado, 1999. 26. Gordana Manic [P. Feofiloff/IME-USP]. Título da dissertação: Coloração restrita de grafos. Bolsa da CAPES até agosto/2001. Ingresso no programa: agosto/99. Término: outubro/01. 27. Xxxx xx Xxxxx Xxxxxx [Xxxxxxx Xxxxx/IC-UNICAMP]. Título da dissertação: Funções de Hashing para Aplicações Criptográficas. Bolsa da CAPES. Término: julho/99. 28. Xxxx Xxxxxxx Xxxxx Xxxxx [X.X. xx Xxxx/IME-USP]. Título da dissertação: Entropia do DNA. Ingresso no programa: março/96. Término: outubro/01. 29. Xxxxx X. Duenha [X.X. Xxxxxxxx/DCT-UFMS]. Título: O Problema das Quatro Cores. Ingresso no programa: março/99. Término: setembro/02. 30. Xxxxx Xxxxx xx Xxxxx Xx. [X.X. Xxxxxxx/IC-Unicamp]. Título da dissertação: O problema da designação e sua variante paramétrica. Bolsa do CNPq/FAPESP. Ingresso no programa: março/97. Término: maio/00. 31. Xxx Xxx Xx [J. Meidanis/IC-UNICAMP]. Título da dissertação: O Método OSS de Seqüenciamento de DNA. Bolsa da FAPESP. Ingresso no programa: março/98. Término: fevereiro/01. 32. Xxxxx Xxxx Xxxxxxxx [S. Klein/IM-COPPE-UFRJ]. Título da dissertação: Grafos Split e Grafos Split Generalizados. Bolsa da CAPES. Término:setembro/99. 33. Xxxxx xx Xxxxxxxx Xxxxxxxx[Xxxxxxx Xxxxx/IC-UNICAMP]. Título da dissertação: Sistemas de Pagamento Eletrônico: Análise e Implementação. Bolsa do CNPq. Término: 1998. 34. Xxxx Xxxxxx Xxxxxxx [J. Xxxxxx/IME-USP]. Título: Algoritmos para Predição de Estrutura Secundária do RNA. Bolsa do CNPq. Ingresso no programa: março/98. Término: janeiro/02. 35. Xxxxxx Xxxxxxxxx Xxxxxxxxx [X.X. xx Xxxxx/IC-UNICAMP]. Título da dissertação: Problema de Planejamento de Viagens no Transporte Coletivo Urbano. Bolsa da FAPESP. Ingresso no programa: março/99. Término: julho/01. 36. Xxxxxx Xxxx [M. Lemos/DM-UFPE] Título: Grafos Pancíclicos Bolsa do CNPq. Ingresso no programa: março/00. |
Término: fevereiro/02. 37. Xxxxxx Xxxxx Xxxxxxxx xx Xxxxxxxx [M. Lemos/DM-UFPE]. Título da dissertação: Decomposição de Grafos Planares em Ciclos Pares. Bolsa do CNPq. Término: maio/99. 38. Xxxxxx Xxxxxx xx Xxxxxxx [X. Kohayakawa/IME-USP]. Título da dissertação: Números de Ramsey Induzidos e Semi-induzidos. Bolsa do CNPq. Término: junho/00. 39. Xxxxx Xxxxxxx Xxxxxxxx [J. Xxxxxx/IME-USP]. Título da dissertação: Algoritmos e Implementações Paralelas para Florestas Geradoras Mínimas. Bolsa do CNPq de março/95 a fevereiro/97. Término: fevereiro/98. 40. Xxxxxxx Xxxx Xxxxxx Xxxxx [J. Meidanis/IC-UNICAMP]. Título da dissertação: Grafos de Seqüências de DNA. Bolsa da FAPESP. Ingresso no programa: março/98. Término: dezembro/00. 41. Xxxxx Xxxxxx Xxx [P. Feofiloff/IME-USP]. Título da dissertação: T-junções,T-cortes e funções conservativas. Bolsa do CNPq. Término: novembro/99. 42. Xxxxxxxx Xxxxxxx Xxxxxx [M.R. Cerioli/IM-COPPE-UFRJ]. Título: Grafos Interseção por Arestas de Caminhos em uma Árvore. Bolsa da CAPES. Ingresso no programa: março/00. Término: outubro/02. 43. Xxxxxxx Xxxxxxxxx Xxxxxxx [Xxx xx Xxxxxxxx xx Xxxxx/IC-UNICAMP]. Título da dissertação: Algoritmos Exatos e Heurísticas para Problemas de Otimização Combinatória encontrados na Logística de Distribuição de Revistas. Bolsa da FAPESP. Início: agosto/96. Término: setembro/99. 44. Said Sadique Adi [X.X. Xxxxxxxx/IME-USP]. Título da dissertação: Ferramentas de Auxilio ao Seqüenciamento de DNA por montagem de fragmentos: um estudo comparativo. Bolsa do CNPq. Término: abril/00. 45. Xxxxxxx Xxxxxxx [X.X. xx Xxxx/IME-USP]. Título: Algoritmos para caminhos mínimos. Bolsa da CAPES. Ingresso no programa: março/00. Término: março/02. 46. Tallys Hoover Yunes [X.X. xx Xxxxx/IC-UNICAMP]. Título da dissertação: Problemas de Escalonamento no Transporte Coletivo: Programação por Restrições e Outras Técnicas. Primeiro lugar no VIII Concurso CLEI/UNESCO'01. Bolsa da FAPESP. (Em co-orientação com o Prof. Dr. Xxxxxxx Xxxxx do IC-UNICAMP). Ingresso no programa: março/98. Término: abril/00. 47. Xxxxxx Xxxxxxxx [X.X.X. xx Xxxxxxxxxx/IM-COPPE-UFRJ e X.X. Xxxxx/COPPE-UFRJ]. Título da dissertação: Planejamento de Rotas Aéreas Utilizando Algoritmos Genéticos. Bolsa da CAPES. Ingresso no programa: março/99. Término: abril/01. 48. Vagner Xxxxxxx Xxxxx [X.X. Xxxxxxx/IC-Unicamp]. Título da dissertação: Infraestrutura de bioinformática para projetos genoma. Bolsa CNPq/FAPESP. Ingresso no programa: março/96. Término: abril/02. Mestrados em andamento [total: 23] 1. Xxxxxxxxx Xxxx [X.X. Xxxxxxxxx/IME-USP e (co-orientador) X.X. xx Xxxx/IME-USP] Título do projeto: Algoritmos de Planaridade em Grafos. Bolsa da FAPESP. Ingresso no programa: março/00. 2. Xxx Xxxxx Xxxx Xxxxxxxxx [X.X. xx Xxxx/IME-USP] Título do projeto: Método Primal-Dual Bolsa da CNPq. Ingresso no programa: março/00. 3. Xxxxxxx Xxxxxxxx Xxxxxxxx [R. Dahab/IC-UNICAMP]. Título do projeto: Proposta de Extensão Criptográfica da API JavaCard. Bolsa do CNPq. Ingresso no programa: março/99. 4. Xxxxx X. Xxxxx [X.X. Xxxxxxxx/DCT-UFMS]. Título do projeto: Emparelhamento em grafos. Ingresso no programa: março/2002. |
5. Xxxxxxx Xxxxxxx Xxxxxx [F.K. Miyazawa/IC-UNICAMP]. Título do projeto: Algoritmos de Aproximação para Problemas de Escalonamento de Tarefas Bolsa da FAPESP. Ingresso no programa: março/01. 6. Xxxxxxx Xxxxx Xxxxxx [F.K. Miyazawa/IC-UNICAMP]. Título do projeto: Algoritmos de Aproximação para Problemas de Classificação Métrica. Bolsa da FAPESP. Ingresso no programa: março/02. 7. Xxxxxxx Xxxx Xxx [X.X. xx Xxxxx/IC-UNICAMP]. Título do projeto: Problemas de montagem de horário de linhas de ônibus urbanos. Bolsa da CAPES. Ingresso no programa: agosto/00. 8. Xxxxxxxx X. Xxxxxx [X.X. xx Xxxxxxx/DCT-UFMS]. Título do projeto: Filogenia e comparação de genomas. Ingresso no programa: março/00. 9. Xxxxxxxxx Xxxx xx Xxxxxxx [X.X.X. xx Xxxxxxxxxx/IM-COPPE-UFRJ]. Bolsa da CAPES. Ingresso no programa: março/01. 10. Xxxxxxxxx Xxxxxxx [X.X. Xxxxxxx/IC-Unicamp]. Título do projeto: Integracao de informacoes na comparacao de genomas de procariotos proximos Bolsa da Copersucar. Ingresso no programa: março/02. 11. Xxxx Xxxxx Xxxxxx [X.X. Xxxxxxx/IC-Unicamp]. Título do projeto: Metodologia para detecção computacional de contaminações em projetos EST. Bolsa da EMBRAPA. Ingresso no programa: março/02. 12. Xxxxxxx Xxxxxxx xx Xxxxxxxxxx [A.V. Moura e X.X. xx Xxxxx/IC-UNICAMP]. Título do Projeto: Estudo e Desenvolvimento de Ferramentas Híbridas para Problemas de Seqüenciamento e Roteamento de Recursos. Bolsa da FAPESP. Ingresso no programa: março/01. 13. Xxxxx Xxxxxx Xxxx [X.X. Xxxxxxxxx/CIn-UFPE] Título do projeto: Algoritmos para Empacotamento 2-D e 3-D Ingresso no programa: março/01. 14. Xxxxxxx Xxxxxxx [N.F. Xxxxxxx/DCT-UFMS]. Título do projeto: Alinhamentos múltiplos de genomas. Ingresso no programa: março/01. 15. Xxxx Xxxxxxx Xxxxxxxxx Xxxxx [F.K. Xxxxxxxx e X.X. xx Xxxxx/IC-UNICAMP]. Título do projeto: Algoritmos de Aproximação para Problemas de Localizacao de Facilidades. Bolsa da FAPESP. Ingresso no programa: agosto/02. 16. Xxxxx Xxxxxxx X. Xxxxxxxx [M. Lemos/DM-UFPE]. Título do projeto: Computacao Quântica. Bolsa da CAPES. Ingresso no programa: março/02. 17. Xxxxx Xxxxx Xxxxxxx Xxxxx [A. Mandel/IME-USP]. Título do projeto: Serviço de membros para o Clusters de Alta Disponibilidade. Ingresso no programa: março/01. 18. Xxxxxx Xxxxxxx xx Xxxxx [X. X. Xxxxxxxxx/ CIn-UFPE]. Título do Projeto: Identificação de Regiões de Controle em Seqüência de DNA. Ingresso no programa: março/02. 19. Xxxxx Xxxxxxx Xxxxxx xx Xxxxxxx [X. X. Xxxxxxxxx/ CIn-UFPE]. Título do Projeto: Estruturas de Índices para Identificar Repetições em Seqüências. Ingresso no programa : março/02. 20. Xxxxxxx Xxxxxxxxx Xxxxxxx [R. Dahab/IC-UNICAMP]. Título do projeto: Criptossistemas Baseados em Curvas Elípticas. Bolsa do CNPq. Ingresso no programa: março/99. 21. Xxxxxxx Xxxxxxxx Xxxxx [J. Xxxxxx/IME-USP]. Título do projeto: Alinhamento de Múltiplas Seqüências. Ingresso no programa: agosto/99. 22. Xxxxxx xx Xxxxxxxx Xxxxxxxx [M.R. Cerioli/IM-COPPE-UFRJ]. Título do projeto: Grafos disco unitários. Bolsa da CAPES. Ingresso no programa: março/01. 23. Xxxxxxxx Xxxxxx X. xx Xx [X.X.X. xx Xxxxxxxxxx/IM-COPPE-UFRJ]. Bolsa CAPES. Ingresso no programa: março/01. |
Iniciações científica concluídas [total: 36] 1. Xxxxxxx Xxxxx Xxxxxxx [S. Klein/IM-COPPE-UFRJ]. Título do projeto: Estudo de algoritmos gulosos. Bolsa do CNPq-UFRJ desde janeiro de 1999. 2. Xxxxxx Xxxxx Xxxxxxx [Fábio H.V. Xxxxxxxx/DCT-CCET]. Título do projeto: Mapeamento Físico de DNA. Bolsa do PIBIC-CNPq de agosto de 1998 a julho de 1999. 3. Xxxx Xxxxxxx Xxxxx [F.K. Miyazawa/IC-UNICAMP]. Título do projeto: Problemas de Empacotamento em Placas. Bolsa do PIBIC-CNPq de setembro de 1998 a julho de 1999. 4. Xxxxxxxxx Xxxxxx Xxxxxxx [X.X. Xxxxxxx/IC-Unicamp]. Título do projeto: Montagem do genoma da Xanthomonas citri. Bolsa solicitada à FAPESPde janeiro a junho de 2000. 5. Xxxxxxxxx Xxxxxxxxx Xxxxx [F.K. Miyazawa/IC-UNICAMP]. Título do projeto: O Problema de Corte Bidimensional. Bolsa do PIBIC-CNPq de setembro de 1998 a julho de 1999. 6. Xxxxx Xxxxxxx [X.X.X xx Xxxxxxxxxx e C.F. Bornstein/IM-COPPE-UFRJ]. Título do projeto: Algoritmos Paralelos. Bolsa do CNPq-PI de março de 1999 a fevereiro de 2001. 7. Cassio Polpo de Campos [X.X. Xxxxxxxx/IME-USP]. Título do projeto: Geometria Computacional: Algoritmos e Aplicações. Bolsa da FAPESP de fevereiro a dezembro de 1998. 8. Xxxxx Xxxxxxx xx Xxxxx Xxxxxx [X.X. Xxxxxxx/IC-Unicamp]. Título do projeto: Algoritmos e programas para determinação de estruturas em DNA genômico. Bolsa da FAPESP, agosto de 1998 a julho de 1999. 9. Xxxxxxx Xxxxxxxx Xxxxxxx. [X.X. Xxxxxxx/IC-Unicamp]. Título do projeto: Algoritmos perpendiculares. Bolsa da FAPESP, agosto de 1997 a julho de 1998. 10. Xxx Xxxxxx [X.X. Xxxxxxxx/IME-USP]. Título do projeto: Algoritmos Combinatórios para Rearranjo de Seqüências de DNA. Bolsa do PIBIC-CNPq de fevereiro de 1997 a janeiro de 1998. 11. Xxxxxx Xxxxx Xxxxxx [A.V. Moura e X.X. xx Xxxxx/IC-UNICAMP]. Título do Projeto: Algoritmos Genéticos Aplicados a Problemas de Escalonamento. Bolsa da FAPESP de janeiro/01 a dezembro/01. 12. Xxxxx Xxxx xx Xxxxx [M.R. Cerioli/IM-COPPE-UFRJ]. Título do projeto: Número de Árvores Geradoras. Bolsa do PIBIC-UFRJ de setembro/00 a agosto/01. 13. Xxxxxxx Xxxxxx Xxxxxxxx [X.X. xx Xxxxx/IC-UNICAMP]. Título do Projeto: Algoritmos lagrangeanos aplicados a problemas de escalonamento de pessoal. Bolsa da FAPESP de agosto/01 a julho/02. 14. Xxxxx Xxxxx [X.X. Xxxxxxxx/DCT-CCET]. Título do projeto: Algoritmos para Desenho de Grafos. Bolsa do PIBIC- CNPq de agosto de 1999 a julho de 2000. 15. Xxxxxxx Xxxxxx xx Xxxxxxx [X.X. Xxxxxxxx/IME-USP]. Título do projeto: Geometria Computacional: Algoritmos e Aplicações. Bolsa da FAPESP de fevereiro a dezembro de 1998. 16. Xxxxxxxx Xxxxxx Xxxxxxx do Rosário [S. Klein/IM-COPPE-UFRJ]. Título do projeto: Estudo e implementação de algoritmos de decomposição por conjuntos homogêneos e por pares homogêneos. Bolsa do CNPq-UFRJ de agosto de 1996 a dezembro de 1998. 17. Xxxxxxxx Xxxxxxxxx Xxxxxx [X.X. Xxxxxxx/IC-Unicamp]. Título do projeto: Suporte computacional para projetos genoma de EST. Bolsa solicitada à FAPESPde janeiro a junho de 2000. 18. Xxxxxxxx Xxxxxx xx Xxxxxx [Fábio H.V. Xxxxxxxx/DCT-CCET]. Título do projeto: Comparação entre Múltiplas |
Seqüências em Biologia Molécular Computacional. Bolsa do PIBIC-CNPq de agosto de 1998 a julho de 1999. 19. Xxxxxxxxx Xxxx xx Xxxxxxx [X.X.X. xx Xxxxxxxxxx/IM-COPPE-UFRJ]. Título do projeto: Casamentos Estáveis. Bolsa do CNPq-UFRJ de setembro de 1998 a julho de 2000. 20. Xxx Xxxxxxx Xxxxxxx [X.X. Xxxxxxxx/DCT-CCET]. Título do projeto: Emparelhamento em Grafos. Bolsa do PIBIC-CNPq de agosto de 1998 a julho de 1999. 21. Xxxxxxx Xxxxxxxxxx Xxxxxxxxx [J. Xxxxxx/IME-USP]. Título do projeto: Compressão de textos. Período: de outubro de 1996 a fevereiro de 1998. 22. Xxxxxxx Xxxxxxx xxx Xxxx [X.X. Xxxxxxxx/DCT-CCET]. Título do projeto: O Problema das Quatro Cores. Bolsa do PIBIC-CNPq de agosto de 1998 a julho de 1999. 23. Xxxxx Xxxxxx Xxxxx [X.X. Xxxxxxxxx/DI-UFPE]. Título do projeto: Algoritmos de Aproximação. Bolsa do PIBIC- CNPq, agosto/97 a julho/99. 24. Xxxxx Xxxxxxx Xxxxxx [X.X. Xxxxxxx/IC-Unicamp]. Título do projeto: Implementação de algoritmo distribuído para o problema do fluxo máximo. Bolsa da FAPESP, agosto de 1997 a julho de 1998. 25. Xxxxxx Xxxxxxxxxx Ortolan [X.X. Xxxxxxxxx/CIn-UFPE]. Título do projeto: Anotação Automática de Seqüências de DNA. Bolsa da FACEPE de abril/01 a novembro/02. 26. Xxxxxxx Xxxxxx [X.X.X. xx Xxxxxxxxxx e X. Bornstein/IM-COPPE-UFRJ]. Título do projeto: Algoritmos Paralelos. Bolsa do CNPq-PI de março/99 a fevereiro/01. 27. Xxxxxx Xxxxxxx [X.X. Xxxxxxx/IC-Unicamp]. Título do projeto: Suporte computacional para projetos genoma. Bolsa da FAPESP, dezembro de 1998 a maio de 1999. 28. Xxxxxxx Xxxxxxx Xxxxxxx Xxxxxxx xx Xxxxx [X.X. Xxxxxxxx/IME-USP]. Título do projeto: Algoritmos Combinatórios para Árvores Filogenéticas. Bolsa do PIBIC-CNPq de maio a dezembro de 1998. 29. Xxxxxxx Xxxxxxxx xx Xxxxx [J. Xxxxxx/IME-USP]. Título do projeto: Compressão de Dados. Período: desde março de 1995. Bolsa do CNPq de agosto de 1995 a julho de 1997. 30. Xxxxxx Xxxxxxx Xxxxxxx [X.X. Xxxxxxxx/IME-USP]. Título do projeto: Heurísticas para o Problema de Decomposição de Matrizes. Bolsa do PIBIC-CNPq de fevereiro de 1997 a maio de 1998. 31. Silvana Livramento [X.X. Xxxxxxxx/DCT-CCET]. Título do projeto: Fluxo em Grafos. Bolsa do PIBIC-UFMS de agosto/99 a julho/00. 32. Xxxxxxx Xxxxxx Xxxxxx Xxxxx [X.X.X. xx Xxxxxxxxxx e M.R. Cerioli/IM-COPPE-UFRJ]. Título do projeto: Coloração em Grafos. Bolsa do CNPq-UFRJ de setembro de 1999 a julho de 2000. 33. Xxxxxx Xxxxxxxx Xxxxxx [X.X. Xxxxxxxx/IME-USP]. Título do projeto: Algoritmos Combinatórios para Rearranjo de Seqüências de DNA. Bolsa do PIBIC-CNPq de fevereiro a dezembro de 1998. 34. Xxxxxx Xxxxx Xxxxxx Xxxxxxxxx [X.X.X. xx Xxxxxxxxxx e C.F. Bornstein/IM-COPPE-UFRJ]. Título do projeto: Algoritmos Paralelos. Bolsa do CNPq-PI de março de 1999 a fevereiro de 2001. 35. Xxxxx Xxxx Xxxxxx [X.X. xx Xxxxx e A.V. Moura/IC-UNICAMP]. Título do Projeto: Algoritmos de Busca Tabu Aplicados a Problemas de Escalonamento de Pessoal. Bolsa da FAPESP de janeiro/01 a dezembro/01. 36. Xxxxxx Xxxx Xxxxx Xxxxxx [Fábio H.V. Xxxxxxxx/DCT-CCET]. Título do projeto: Comparação de Duas Seqüências em Biologia Molecular Computacional. Bolsa do PIBIC-CNPq de agosto de 1998 a julho de 1999. |
Iniciações científicas em andamento [total: 13] 1. Xxxxx Xxxxx [Y. Kohayakawa (co-orientação)/IME-USP]. Título do projeto: Introdução à teoria analítica dos números. Início: março/00. Bolsa da FAPESP desde novembro/00. 2. Xxxxxx Xxxxxxx Xxxxxx [Y. Kohayakawa/IME-USP]. Título do projeto: Introdução à combinatória. Início: agosto/01. Bolsa da CNPq. 3. Xxxxx Xxxxx Xxxxxxxx [X.X. Xxxxxxxxx/CIn-UFPE]. Título do projeto: Análise Comparativa de Seqüências de DNA Bolsa da FACEPE desde junho/00. 4. Xxxxxxxx Xxxxx xx Xxxxxxxx Xxxxx [X.X. Xxxxxxxx/IME-USP]. Título do projeto: Estratégias de Solução de Problemas de Otimização Combinatória. Bolsa da Fapesp desde agosto/01. 5. Xxxxxxxxx Xxxxxxxxxx Xxxxxx [X.X. Xxxxxxxxx/CIn-UFPE]. Título do projeto: Análise Comparativa de Seqüências de DNA. Bolsa da PET-CNPq desde março/01. 6. Xxxxxxx Xxxxxx xxx Xxxxxx [X.X. Xxxxxxxxx/CIn-UFPE]. Título do projeto: Técnicas Probabilísticas para Classificação de Seqüências Bolsa da FACEPE desde junho/00. 7. Xxxxxxx Xxxx [X.X. Xxxxxxx/IC-Unicamp]. Título do projeto: Identificação de genes de lipoproteinas em genomas de espiroquetas. Bolsa da FAPESP. Início: outubro/02. 8. Xxxxxx Xxxxxxx Xxxx [X.X. Xxxxxxxxx/IME-USP]. Título do projeto: Implementações de algoritmos primal-dual para o Problema da Floresta de Xxxxxxx. 9. Xxxxxxx Xxxxxx [X.X.X. xx Xxxxxxxxxx e C.F. Bornstein/IM-COPPE-UFRJ]. Título do projeto: Algoritmos Paralelos. Bolsa do CNPq-PI de março de 1999 a fevereiro de 2001. 10. Xxxxxxx Xxxxxxxxxx xx Xxxxxx [X.X. Xxxxxxxxx/CIn-UFPE]. Título do projeto: Anotação Automática de Seqüências de DNA. Bolsa da FACEPE desde abril/01. 11. Xxxxxx Xxxxxxxxxxx Xxxxxxx [A.V. Moura e X.X. xx Xxxxx/IC-UNICAMP]. Título do Projeto: Estudo e Desenvolvimento de Ferramentas para Seqüenciamento de Atividades no Desenvolvimento de Poços de Petróleo: Uso de Programação por Restrições. Bolsa da FAPESP de abril/01 a março/02. 12. Xxxxxxx Xxxxxxx xx Xxxxx Xxxxxx [X.X. Xxxxxxxxx/CIn-UFPE]. Título do projeto: Técnicas Probabilísticas para Classificação de Seqüências. Bolsa da FACEPE desde abril/01. 13. Xxxxxxxx Xxxx Xxxxxxx [X.X. xx Xxxxx e A.V. Moura/IC-UNICAMP]. Título do Projeto: Estudo e Desenvolvimento de Ferramentas para Sequenciamento de Atividades no Desenvolvimento de Poços de Petróleo: Uso de Metaeurísticas. Bolsa da FAPESP de março/01 a fevereiro/02. |
Difusão Citar a realização de eventos e a produção de materiais de divulgação e extensão, especificando sua contribuição para o conhecimento pela comunidade em geral do conteúdo do trabalho desenvolvido. Eventos realizados: - Workshop in Combinatorics and Optimization, Hotel Xxxxxxx Xxxxx Xxxxxx, Xxxxxxxxx, XX, 14 - 16 Novembro 2002. - Extended Workshop on Combinatorics, Xxx Xxxxx, Xxxxxxx, x Xxx xx Xxxxxxx, 0 - 00 Xxxxx 0000. |
- Workshop on Approximation Algorithms, Hotel Simon, Itatiaia, RJ, 7 - 11 Outubro 2000. - III Workshop in Combinatorics and Discrete Structures, Hotel Wembley Inn, Ubatuba, SP, Brazil, 16 - 20 Abril 2000. - Workshop Mambucaba, Hotel do Bosque, Angra dos Reis, RJ, 29 Novembro - 3 Dezembro 1999. - Workshop on Combinatorics and Discrete Structures, Instituto de Computação, UNICAMP, Campinas SP, 2 - 4 Agosto 1999 Material de divulgação (livros): - X.X. Xxxxxxxx, M.R. Xxxxxxx, X. Dahab, P. Xxxxxxxxx, X.X. Xxxxxxxxx, X.X. Xxxxxxxx, X.X. Xxxxxxxxx, F.K. Xxxxxxxx, X.X. Xxxx Xx., X. Xxxxxx e Y. Wakabayashi, Uma Introdução Sucinta a Algoritmos de Aproximação, livro texto de um curso intermediário do 23o. Colóquio Brasileiro de Matemática, julho de 2001, IMPA, x+157pp. - P. Feofiloff, Algoritmos de Programação Linear, Editora da Universidade de São Paulo, 2002 (no prelo). - X.X. Xxxxxxxx e X. Wakabayashi, Planos-de-corte Faciais e a Resolução de Problemas de Otimização Combinatória, I Encontro de Matemática Aplicada e Computacional, ERMAC, 1998. - X.X.X. xx Xxxxxxxxxx e X. Szwarcfiter, Emparelhamentos em Grafos: Algoritmos e Complexidade, JAI'99 (Jornada de Atualização em Informática), Congresso da SBC, julho 1999. - X.X. Xxxxxxxxx, Algoritmos de Aproximação para Problemas de Otimização, JAI'98 (Jornada de Atualização em Informática), Congresso da SBC, agosto 1998. - X.X. Xxxxxxx e X. Xxxxxxxxxx, Tópicos em Combinatória Contemporânea, livro texto de um curso elementar do 23o. Colóquio Brasileiro de Matemática, julho de 2001, IMPA, x+145pp. Mini-cursos: - X.X. Xxxxxxxx, C.L. Xxxxxxxx, and U.S.R. Xxxxx, The matching lattice, to appear in Recent Advances in Algorithms and Combinatorics, edited by B. Xxxx and C.L. Sales, CMS Books in Mathematics, Springer, 2002. - Y. Xxxxxxxxxx and V. Xxxx, Xxxxxxxxx'x regularity lemma and quasi-randomness, to appear in Recent Advances in Algorithms and Combinatorics, edited by B. Xxxx and C.L. Sales, CMS Books in Mathematics, Springer, 2002. - M.-F. Sagot and Y. Xxxxxxxxxxx, Pattern Inference under many Guises, to appear in Recent Advances in Algorithms and Combinatorics, edited by X. Xxxx and C.L. Sales, CMS Books in Mathematics, Springer, 2002. A realização dos eventos acima mencionados contribuíram não só para fortalecer a pesquisa dos membros do grupo, mas também propiciaram a divulgação dos trabalhos realizados pela equipe aos pesquisadores do país e do exterior que participaram desses eventos. Os livros publicados pelos membros da equipe também constituem material de divulgação de extrema importância, já que muitos deles estão sendo adotados em cursos de várias instituições nacionais. Os mini-cursos que foram dados no Summer School on Combinatorics and Algorithms (Fortaleza, março de 2001), e que resultaram em capítulos de livro, deram a oportunidade de divulgar pesquisas na área de Combinatória a alunos de várias instituições nacionais e internacionais. |
Outros Mencionar outros resultados alcançados pelo Projeto que porventura não se enquadrem nas classificações anteriores. Ressaltamos aqui atividades realizadas pelos membros do Projeto que têm impacto na comunidade nacional, mostrando os seus esforços não apenas na condução da pesquisa, mas na realização de trabalhos junto às agências de fomento à pesquisa: a) Desde 1999 Y. Xxxxxxxxxx (coordenador deste Projeto) faz parte da Coordenação da Área de Matemática e Ciência da Computação da FAPESP. b) No biênio 1997-1998 Y. Wakabayashi e no triênio 1999-2001 Y. Xxxxxxxxxx atuaram como membros do Comitê Assessor de Ciência da Computação do CNPq. c) Desde o início de 2002 Y. Xxxxxxxxxxx participa do Comitê Assessor de Ciência da Computação da CAPES. Destacamos também as premiações recebidas pelos membros do Projeto, pois são indicações do reconhecimento da comunidade dos trabalhos que vêm sendo realizados por esses pesquisadores. a) Sóstenes Xxxx Xxxxxx Xxxx foi eleito em dezembro de 2001 membro titular da Academia Brasileira de Ciências; b) Xxx Xxxxxxxx xx Xxxxx recebeu o Prêmio Zeferino Vaz de 2001 do IC/UNICAMP. c) Xxxxxxxxx Xxxxxxxxxx foi eleito em novembro de 2000 membro titular da Academia Brasileira de Ciências (era membro associado desde 1998). d) Xxxxxxx Xxxxxxxx Xxxxxxxx recebeu o Prêmio Santista conferido pelo governador de São Paulo Xxxxx Xxxxx. e) Xxxx Xxxxxxxx e Xxxx Xxxxxxx receberam o Trófeu e a Medalha do Mérito Científico e Tecnológico concedido aos 35 laboratórios e aos 192 cientistas que participaram do projeto Genoma Xyllela. |
3. PARCERIA INSTITUCIONAL
Descrever as atividades de articulação institucional mantidas durante a execução do Projeto, relacionando os resultados que tenham sido efetivamente transferidos para instituições de P&D, empresas, órgãos públicos, não governamentais ou sociedade civil.
Os exemplos mais concretos de transferência de resultados para outras entidades deu-se na área de bioinformática. Dois dos membros do núcleo, X. Meidanis e X.X. Xxxxxxx [IC-UNICAMP], participantes do projeto FAPESP do seqüênciamento do DNA da bactéria Xylella, durante o curso dos últimos anos, prestaram consultorias a vários laboratórios. Esse trabalho motivou os dois pesquisadores a, independentemente, iniciarem empresas de biotecnologia no ramo. A Scylla, empresa criada por J. Meidanis e outros quatro pesquisadores (três deles alunos formados dentro do núcleo), é financiada pela Votorantim Ventures, uma empresa de capital de risco do Grupo Votorantim. A empresa se propõe a produzir software para investigação de dados genômicos, que podem, por exemplo, levar ao desenvolvimento de plantas mais produtivas e mais resistentes a pragas. Podem também ajudar laboratórios a encontrar com mais rapidez moléculas capazes de combater doenças. A Allelyx, liderada, entre outros, por J. Setubal e também financiada pela Votorantim Ventures, é uma empresa voltada para o desenvolvimento de aplicações comercias a partir dos resultados do projeto da Xyllela a de outros estudos. Recentemente as duas empresas fizeram chamadas para contratar 50 pesquisadores da área. |
4. IMPACTOS
Relacionar os impactos já obtidos pelo Projeto e aqueles esperados a médio e longo prazos, com base nos indicadores selecionados na proposta original.
Impacto Científico A integração que houve entre os participantes do Projeto é um grande ganho que houve e que trará ainda muitos frutos em termos de pesquisas conjuntas que serão produzidas doravante. Houve um aumento significativo tanto em termos quantitativos quanto qualitativos das publicações científicas produzidas pelos membros do Projeto. Com isso, houve uma consolidação da área de pesquisa do grupo em termos nacionais. O crescimento do intercâmbio com instituições no exterior tornou o grupo mais conhecido em termos internacionais e viabilizou vários convênios de pesquisa bilaterais financiadas por agências de fomento do país e do exterior (CNPq- NSF, CAPES-COFECUB, CAPES-PROBRAL). A formação de recursos humanos altamente qualificados é sem dúvida uma das grandes contribuições feitas pelo grupo. A médio e longo prazo muitos desses graduados estarão ensinando e formando outros pesquisadores, constituindo-se num fator multiplicador na realização de pesquisa e ensino no país. |
Impacto Tecnológico As pesquisas em biotecnologia ganharam destaque com o sequenciamento do DNA humano no projeto chamado de Genoma. Este ramo da ciência está se transformando num importante segmento para as empresas da área de tecnologia. Dois membros do núcleo, J. Xxxxxxxx e X. X. Xxxxxxx (IC-UNICAMP), que trabalharam no projeto Genoma, juntamente com outros pesquisadores fundaram as empresas Scylla e Allelyx. Estas produzirão software inovadores e sistemas combinados de software que terão impacto no setor agrícola e no setor farmacêutico. Esses pesquisadores formaram alunos que hoje atuam nessas empresas. |
Impacto Econômico As empresas Scylla e Allelyx, fundadas, entre outros, por pesquisadores deste núcleo, são as pioneiras no Brasil no ramo de biotecnologia. Certamente, trarão grande benefícios econômicos ao país nos próximos anos. |
Impacto Social Além dos impactos tecnológicos e econômicos mencionados na área de Bioinformática, o núcleo é responsável pela formação da quase totalidade dos pesquisadores nas áreas de Teoria da Computação, Combinatória e Otimização Combinatória no Brasil. Além disso, tem contribuído para fortalecer estas áreas em outras instituições do país. A formação desses recursos humanos, altamente capacitados, tem um grande impacto social, já que esses atuam em instituições de ensino, e empresas da área de computação, biotecnologia, etc. |
Impacto Ambiental Esperamos impactos ambientais decorrentes das pesquisas na área de biotecnologia. Esperamos que as pesquisas na área genômica aplicada a plantas, em particular o estudo da praga do amarelinho nos laranjais e do cancro cítrico, e o estudo de novas espécies que podem amenizar o efeito da seca, tragam grandes benefícios ambientais. Fudamentalmente, as pesquisas conduzidas por membros do núcleo, e os recursos humanos formados são as contribuições geradas por este Projeto que, a longo prazo, terão impactos na sociedade e no meio ambiente. |
5. EQUIPE
Caracterizar as principais alterações ocorridas na equipe e de que forma afetaram a execução do Projeto e a qualificação de seus executores.
Não houve alterações na equipe. |
6. DIFICULDADES
Citar as principais dificuldades de caráter técnico-científico, financeiro, administrativo e gerencial, enfrentadas durante a realização do Projeto.
De um modo geral estamos muito satisfeitos com relação aos aspectos financeiros e administrativos enfrentados durante a realização do Projeto. Não houve nenhuma dificuldade dessa ordem que tenha atrapalhado o desenvolvimento do Projeto. Em termos de emprego da verba, na medida do possível, tivemos sempre os nossos pedidos de mudança de rubrica aceitos, não restando nenhuma queixa a respeito. |
7. COMENTÁRIOS GERAIS E PERSPECTIVAS
Comentar outros aspectos do desenvolvimento geral do Projeto considerados relevantes e apresentar as perspectivas de futuros desdobramentos.
Uma análise detalhada dos relatórios anuais deste Projeto mostra que o grupo vem realizando mais trabalhos conjuntos, e vem atingindo uma maturidade que transparece claramente nas publicações em periódicos de boa qualidade, participações em eventos de prestígio, orientação de mais doutores, etc. O nível de publicações em periódicos indexados tem crescido, tendo atingido o patamar de praticamente 1 publicação por pesquisador por ano. O número de alunos formados no período é bom, e sinaliza um aumento qualitativo importante: no início tínhamos poucos doutorandos relativamente ao número de mestrandos, atualmente estamos com 22 doutorandos e 23 mestrandos (formamos 10 doutores e 38 mestres). Notamos que há um envolvimento bem grande de todos no esforço de fazer com que o Projeto seja bem sucedido. Consideramos muito positivo os resultados até agora alcançados, principalmente pela forte indicação de que está havendo um aumento significativo tanto na quantidade quanto na qualidade dos trabalhos que vêm sendo realizados. Achamos que o Projeto tem contribuído decisivamente para a consolidação de um grupo de pesquisa no Brasil na área de "Teoria da Computação, Combinatória e Otimização Combinatória". Consideramos de suma importância a integração que há hoje entre os pesquisadores do grupo: esse foi um dos grandes ganhos propiciados por este Projeto, que vai ainda gerar muitos frutos. Nossas perspectivas futuras é de aumentar o nível de produção científica do grupo, buscando um reconhecimento internacional do grupo todo, de forma homogênea (no momento este reconhecimento é mais acentuado em uma fração dos participantes). |