Capítulos de libros
URI permanente para esta colección
Examinar
Envíos recientes
Ítem ESTRUCTURACIÓN DE UN PLAN CURRICULAR POR COMPETENCIAS MEDIANTE MÓDULOS(Red Durango de Investigadores Educativos A. C., 2012-10-01) CORREA, FRANCISCO JOSEÍtem Biomedical Computer Vision Using Computer Algebra: Analysis of a Case of Rhinocerebral Mucormycosis in a Diabetic Boy(Springer Berlin Heidelberg, 2010-01-01) Mario C. Vélez-Gallego; Giraldo JOComputer algebra is applied to biomedical computer vision. Specifically certain biomedical images resulting from a case of rhinocerebral mucormysocis in a diabetic boy are analyzed using techniques in computational geometry and in algebraic-geometricÍtem Red de Media Técnica en Informática de Antioquia: años de aprendizajes y conocimientos Compartidos(Corporación Colombia Digital, 2012-03-01) Correa, F.J.Presentamos la Red de Media Técnica en Informática de Antioquia, RMTI. Mostramos el esquema organizacional y administrativo partiendo de los elementos teóricos básicos y de la experiencia adquirida.Ítem Appendix: Subroutines and M-functions(2004-01-01) Sicard, AndrésÍtem Combining interactive and automatic reasoning in first order theories of functional programs.(Birkedal, 2012-04-01) Bove, Ana; Dybjer, Peter; Sicard Ramírez, AndrésWe propose a new approach to the computer-assisted verification of functional programs. We work in first order theories of functional programs which are obtained by extending Aczel?s first order theory of combinatory formal arithmetic with positive induct