Capítulos de libros
URI permanente para esta colección
Examinar
Examinando Capítulos de libros por Título
Mostrando 1 - 5 de 5
Resultados por página
Opciones de ordenación
Ítem Appendix: Subroutines and M-functions(2004-01-01) Sicard, AndrésÍ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 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Í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 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.