Jairo Rocha

Professor Titular d'Universitat. Departament de Ciències Matemàtiques i Informàtica
Associated Professor. Department of Mathematics and Computer Science

Ph.D. in Computer Science, State University of New York at Stony Brook, 1993;

B.S. in Mathematics, Universidad de Los Andes , 1986.

C V

Investigación / Recerca / Research Interests

El foco principal de mi investigación es entender las formas. Trabajo en un proyecto de reconocimiento de ARN y proteínas y he trabajado en proyectos de reconocimiento de color, análisis del movimiento humano, reconocimiento de letras y geometría computacional.

El focus principal de la meva recerca és entendre les formes. Faig feina amb reconeixement de biopolímers i he fet feina en projectes per a reconeixement de color, anàlisis del moviment humà, reconeixement de lletres i geometria computacional.

The main focus of my research is understanding shapes. I work in a biopolymer recognition project and I have worked on projects for color recognition, human motion analysis, character recognition and computational geometry.

Research Group

3D Protein Comparison Server

TOPS Protein Comparison Server

Publicacions Importants / Representative Publications

J. Rocha, R. Alberich. The Significance of the ProtDeform Score for Structure Prediction and Recognition PLoS ONE, 6(6), 2011.

J. Rocha Graph Comparison by Log-odds Score Matrices with Application to Protein Topology Analysis IEEE Trans. Computational Biology and Bioinformatics, Vol. 8, pp 564-569, 2011.

J. Rocha; J. Segura; R. C. Wilson; S. Dasgupta Flexible structural protein alignment by a sequence of local transformations Bioinformatics 2009; 25, pp 1625-1631, doi: 10.1093/bioinformatics/btp296

M. Llabrés, J. Rocha, F. Rosselló, G. Valiente. On the Ancestral Compatibility of Two Phylogenetic Trees with Nested Taxa. Journal of Mathematical Biology, 53(3), pp 340-354. 2006.

J. Rocha, M. Llabrés, R. Alberich. A Family of Metrics for Biopolymers based on Counting Independent Sets. Computational Biology and Chemistry, 29, pp 337-344, 2005.

M. Simner, A. Marcelli, S. Ablameyko, K. Lange, J. Rocha, O. Tucha, K. Ueda. A Comparison of the Arabic numerals one through nine, written by adults from native English-speaking vs. non-native English-speaking countries. J. Forensic Doc. Examination, Vol 15, Fall 2003, pp. 1-16.

J. Rocha. Efficient Polygonal Decomposition into Singular and Regular Regions via Voronoi Diagrams Int. J. Doc. Analysis and Recog., Vol. 6 (2), 2003, pp 89-102.

J. Rocha. Perceptually Stable Regions for Arbitrary Polygons IEEE Trans. SMC. Cybernetics, Vol 34(1), pag.165-171, Feb. 2003.

J. Rocha, R. Bernardino. Singularities and Regularities on Line Pictures via Regular Trapezoids. IEEE Trans. on Pattern Analysis and Machine Intelligence, Vol. 20, Num. 5, 1998.

J. Rocha, T. Pavlidis. Word Recognition without Segmentation. IEEE Trans. on Pattern Analysis and Machine Intelligence, Vol. 17, Num. 8, pp 903-907,Sept., 1995.

J. Rocha, T. Pavlidis. A Shape Analysis Model with Applications to a Character Recognition System. IEEE Trans. on Pattern Analysis and Machine Intelligence, Vol. 16, Num. 4, pp 393-404, April, 1994.


Docencia

Programació Matemàtica


Enlace a examens antics d'Introducció a l'Optimtzació.

Autòmats i Llenguatges Formals


J. Rocha, F. Rosselló. Autòmats, Gramàtiques i Programes: Verificació i Concurrència . Ed. UIB, 315 p, 2005. ISBN 84-7632-941-3.

J. Rocha. Verificación de Autómatas y Gramáticas. JENUI 2003.

J. Rocha. Autómatas de Pila y Máquinas de Turing Estructurados. JENUI 2005.
 
Enlace a JFLAP, una herramienta en Java para aprender autómatas y gramáticas.

Enlace a examenes viejos de Teora de la Computacin.

Algebra y Numerico


Enlace a examenes viejos de Algebra y numerico.

Familia

Familia

Familia

Familia

Phone:  (34) 971 172 969
Fax: (34) 971 173 003

jairo AT uib dot(punto) es