|
|
Instituto de Computação
Departamento de Teoria da Computação
Produções / Trabalhos Técnicos
Relatórios Técnicos
1.
|
|
MEIRA, Luis Augusto A. (Autor); MIYAZAWA, Flávio Keidi (Docente); "Semidefinite programming based algorithms for the ratio cut problem. RT-IC-32/05", Relatório de Pesquisa, 12/2005
|
2.
|
|
BAUDET, Christian (Autor); DIAS, Zanoni (Docente); "Analysis of slipped sequences in ESTs Projects. RT-IC-29/05", Relatório de Pesquisa, 11/2005
|
3.
|
|
MACAMBIRA, Elder Magalhães (Autor); MACULAN, Nelson (Autor); SOUZA, Cid Carvalho de (Docente); "Integer programming models for the SONET ring assignment problem.
RT-IC-26/05", Relatório de Pesquisa, 10/2005
|
4.
|
|
ALBUQUERQUE PEREIRA, Rômulo (Autor); MOURA, Arnaldo Vieira (Autor); SOUZA, Cid Carvalho de (Docente); "GRASP strategies for scheduling activities at oil wells with resource displacement. RT-IC-28/05", Relatório de Pesquisa, 10/2005
|
5.
|
|
QUITZAU, José Augusto Amgarten (Autor); MEIDANIS, João (Docente); "A fully resolved consensus between fully resolved phylogenetic trees. RT-IC-27/05", Relatório de Pesquisa, 10/2005
|
6.
|
|
XAVIER, E. C. (Autor); MIYAZAWA, Flávio Keidi (Docente); "On-line class constraint bin packing.
RT-IC-16/05", Relatório de Pesquisa, 07/2005
|
7.
|
|
XAVIER, E. C. (Autor); MIYAZAWA, Flávio Keidi (Docente); "An APTAS for the variable-sized bin packing problem with color constraints.
RT-IC-15/05", Relatório de Pesquisa, 07/2005
|
8.
|
|
CARVALHO, Marcelo Henriques (Autor); LUCCHESI, Cláudio Leonardo (Docente); MURTY, Uppaluri S. R. (Autor); "How to build a brace.
RT-IC-14/05", Relatório de Pesquisa, 06/2005
|
9.
|
|
CAMPOS, Christiane N. (Autor); MELLO, Célia Picinin de (Docente); "The total chromatic number of some bipartite graphs.
RT-IC-13/05", Relatório de Pesquisa, 06/2005
|
10.
|
|
MIRA, C. V. G. (Autor); MEIDANIS, João (Docente); "Algebraic formalism for genome rearrangements (part 1).
RT-IC-10/05", Relatório de Pesquisa, 06/2005
|
11.
|
|
BAUDET, Christian (Autor); DIAS, Zanoni (Docente); "New EST trimming strategy.
RT-IC-09/05", Relatório de Pesquisa, 05/2005
|
12.
|
|
BONIFÁCIO, Adilson L. (Autor); MOURA, Arnaldo Vieira (Docente); "Formal verification and parameters synthesis for hybrid real systems.
RT-IC-04/05", Relatório de Pesquisa, 03/2005
|
13.
|
|
ALBUQUERQUE PEREIRA, Rômulo (Autor); MOURA, Arnaldo Vieira (Docente); SOUZA, Cid Carvalho de (Docente); "Constraint programmin and GRASP approaches to schedule oil well drillings.
RT-IC-01/05", Relatório de Pesquisa, 01/2005
|
|
|
|
