|
|
Departamento de Teoria da Computação
Produções / Trabalhos Técnicos
Relatórios Técnicos
1.
|
|
Vieira Moura, Arnaldo (autor); Carvalho de Souza, Cid (autor); Yunes, Tallys H. (autor); "Hybrid Column Generation Approaches for Solving Real World Crew Management Problems. RT/IC-00/18", SERVIÇOS, Campinas, SP, BRASIL, 12/2000
|
2.
|
|
Setubal, João Carlos (DOCENTE); Werneck, Renato Fonseca F. (Autor); "A program for building contig scaffolds in double-barreled shotgun genome sequencing.(OBSOLETE). RT/IC-00/20", SERVIÇOS, Campinas, SP, BRASIL, 12/2000
|
3.
|
|
Meidanis, João (DOCENTE); Walter, Maria Emilia M.T. (Autor); Dias, Zanoni (Autor); "Reversal distance of signed circular chromosomes.RT/IC-00/23", SERVIÇOS, Campinas, SP, BRASIL, 12/2000
|
4.
|
|
Meidanis, João (autor); Walter, Maria Emilia M.T. (autor); Dias, Zanoni (autor); "A Lower Bound on the Reversal and Transposition Diameter. RT/IC-00/16", SERVIÇOS, Campinas, SP, BRASIL, 10/2000
|
5.
|
|
Keidi Miyazawa, Flávio (autor); Wakabayashi, Yoshiko (autor); "Parametric on-line algorithms for packing rectangles and boxes. RT/IC-00/14", SERVIÇOS, Campinas, SP, BRASIL, 08/2000
|
6.
|
|
Gomide, Anamaria (autor); Stolfi, Jorge (autor); "Non-homogeneous Polynomial $C_k$ Splines on the Sphere $S^n$. RT/IC-00/13", SERVIÇOS, Campinas, SP, BRASIL, 07/2000
|
7.
|
|
Pinto, Guilherme A. (autor); "Triângulos em arranjos de retas no plano euclideano. RT/IC-00/07", SERVIÇOS, Campinas, SP, BRASIL, 05/2000
|
8.
|
|
Dahab, Ricardo (autor); Hernandez, Julio Cesar Lopes (autor); "Performance of elliptic curve cryptosystems. RT/IC-00/08", SERVIÇOS, Campinas, SP, BRASIL, 05/2000
|
9.
|
|
Dahab, Ricardo (autor); Hernandez, Julio Cesar Lopes (autor); "High-speed software multiplication in $F_{2^m}$. RT/IC-00/09", SERVIÇOS, Campinas, SP, BRASIL, 05/2000
|
10.
|
|
Dahab, Ricardo (autor); Hernandez, Julio Cesar Lopes (autor); "An overview of elliptic curve cryptography. RT/IC-00/10", SERVIÇOS, Campinas, SP, BRASIL, 05/2000
|
11.
|
|
Vieira Moura, Arnaldo (autor); Carvalho de Souza, Cid (autor); Yunes, Tallys H. (autor); "Modeling and solving a crew rostering problem with constraint logic programming. RT/IC-00/04", SERVIÇOS, Campinas, SP, BRASIL, 03/2000
|
12.
|
|
Jussieu de Rezende, Pedro (autor); Pinto, Guilherme A. (autor); "Additively weighted Voronoi diagram on the oriented projective plane. RT/IC-00/03", SERVIÇOS, Campinas, SP, BRASIL, 02/2000
|
13.
|
|
Vieira Moura, Arnaldo (autor); Camargo Junior, João Batista de (autor); Bonifácio, Adilson L. (autor); Almeida Junior, Jorge Rady (autor); "Formal verification and synthesis for an air traffic management system. RT/IC-00/05", SERVIÇOS, Campinas, SP, BRASIL, 02/2000
|
14.
|
|
Vieira Moura, Arnaldo (autor); Pinto, Guilherme A. (autor); "A semi-decision procedure for testing language inclusion of nondeterministic timed automata. RT/IC-00/02", SERVIÇOS, Campinas, SP, BRASIL, 01/2000
|
|
|
|
