|
|
|
Instituto de Computação
Departamento de Teoria da Computação
Produções / Trabalhos Técnicos
Relatórios Técnicos
1.
|
|
MAGALHÃES, K. M. (Autor); DAHAB, R. (Coordenador); "Ideal Lattice-based (H)IBE Scheme. RT/IC-18/2014", Relatório de Pesquisa, 11/2014
|
2.
|
|
MOURA, A.V. (Coordenador); JERONIMO, F. G. (Autor); "On the Hardness of Disentanglers and Quantum de Finetti Theorems. RT-IC/17/2014", Relatório de Pesquisa, 10/2014
|
3.
|
|
MOURA, A.V. (Coordenador); JERONIMO, F. G. (Autor); "Classical Probabilistic Checkable Proof and Multi-Prover Quantum Merlin-Arthur. RT/IC-16/2014", Relatório de Pesquisa, 10/2014
|
4.
|
|
MOURA, A.V. (Coordenador); BONIFÁCIO, A. L. (Autor); "Intrinsic properties of complete test suites. RT/IC-15/2014", Relatório de Pesquisa, 09/2014
|
5.
|
|
MIRA, C. V. G. (Autor); MEIDANIS, J. (Coordenador); "Sorting by Fissions, Fusions, and Signed Reversals in $O(n)$. RT/IC-12/2014", Relatório de Pesquisa, 08/2014
|
6.
|
|
REBIHA, R. (Autor); MOURA, A.V. (Coordenador); MATRINGE, N. (Autor); "On the termination of linear and affine programs over the integers. RT/IC-14/2014", Relatório de Pesquisa, 07/2014
|
7.
|
|
MIRA, C. V. G. (Autor); VIADANNA JÚNIOR, P. R. (Autor); SOUZA, M. A. L. (Autor); MOURA, A.V. (Coordenador); MEIDANIS, J. (Docente); GABRIEL A. C., Lima (Autor); BOSSOLAN, R. P. (Autor); "Project Scheduling Optimization in Energy Generation Plants. RT/IC-11/2014", Relatório de Pesquisa, 07/2014 *
|
8.
|
|
BUENO, L. M. (Autor); STOLFI, J. (Coordenador); "3-colored triangulation of 2d maps. RT/IC-10/2014", Relatório de Pesquisa, 07/2014
|
9.
|
|
REBIHA, R. (Autor); MOURA, A.V. (Coordenador); MATRINGE, N. (Autor); "Generating asymptotically non-terminating initial values for linear programs. RT/IC-09/2014", Relatório de Pesquisa, 06/2014
|
10.
|
|
REBIHA, R. (Autor); MOURA, A.V. (Coordenador); MATRINGE, N. (Autor); "Characterization of termination for linear homogeneous programs. RT/IC-08/2014", Relatório de Pesquisa, 06/2014
|
11.
|
|
JERONIMO, F. G. (Autor); MOURA, A.V. (Coordenador); "On the Quantum-Classical Separation of Marking and Multi-Head Automata. RT/IC-07/2014", Relatório de Pesquisa, 05/2014
|
12.
|
|
RODRIGUES, E. C. S. (autor); STOLFI, J. (Docente); GOMIDE, A. (autor); "Editing $C^1$-Continuous 2D Spline Deformations by Constrained Least Squares. RT/IC-05/2014", Relatório de Pesquisa, 02/2014
|
13.
|
|
BONIFÁCIO, A. L. (autor); MOURA, A.V. (Coordenador); "Checking test suite completeness with partial fsms and weak equivalence. RT/IC-01/2014", Relatório de Pesquisa, 01/2014
|
14.
|
|
MELLONI, A. (autor); TAGLIASACCHI, M. (autor); TUBARO, S. (autor); COSTA, F. O. (autor); OIKAWA, M. A. (autor); DIAS, Z. (Docente); GOLDENSTEIN, S. K. (Docente); ROCHA, A. R. (Docente); "Signal processing analysis applied to image phylogeny. RT/IC-02/2014", Relatório de Pesquisa, 01/2014 *
|
15.
|
|
REBIHA, R. (autor); MOURA, A.V. (Coordenador); MATRINGE, N. (autor); "Automated generation of asymptotically non-terminant initial variable values for linear programs. RT/IC-03/2014", Relatório de Pesquisa, 01/2014
|
* Esta produção está associada também a outros órgãos
|
|
|
