Listar Centro de Simulación y Modelos (CESIMO) por título
Mostrando ítems 1-20 de 60
-
Clusters de PCs.
(SABER ULA, 2008-06-09)Clusters de PCs. (Núñez, Luis; Díaz, Gilberto; Hoeger, Herbert.) Resumen Los Clusters de PCs se hicieron populares con el proyecto Beowulf. La idea consiste en armar un máquina, con gran poder de computo, interconectando ... -
Curso de Lógica y Matemática
(SABER ULA, 2005-01-07)Curso de Lógica y Matemática Postgrado en Computación, Postgrado en Modelado y Simulación de Sistemas Nota: Para visualizar los documentos a texto completo necesita tener instalado el programa Adobe ... -
Curso de Lógica y Matemática - Datos del curso
(SABER ULA, 2003-01-17)Curso de Lógica y Matemática Datos del curso: Facultad: Ingeniería. Unidad Académica responsable: Centro de Investigación y Proyectos en Simulación y Modelos (CESIMO). Nombre de la Asignatura: Lógica y ... -
Curso de Lógica y Matemática - Introducción del curso
(SABER ULA, 2003-01-17)Curso de Lógica y Matemática Introducción del curso: Introducción del Curso: Este curso es acerca de un lenguaje: el lenguaje de la lógica. En la concepción tradicional, un lenguaje consiste de un ... -
Curso de Lógica y Matemática - Referencias
(SABER ULA, 2003-01-17)Curso de Lógica y Matemática Referencias Textos: Nilsson, U y Malusyznski, Jan. Logic, Programming and Prolog. 2nd Edition. 2000. Enlaces Importantes: Bratko, Ivan. Manual de Prolog. (Traducido por ... -
Curso de Lógica y Matemática - Unidad 0: ¿Por qué estudiamos lógica?
(SABER ULA, 2003-01-17)Curso de Lógica y Matemática Unidad 0: ¿Por qué estudiamos lógica? Descripción: Discusión general acerca de el uso de la lógica en argumentación y en comunicación humana. Actividades: Revisar las bitácoras y ... -
Curso de Lógica y Matemática - Unidad 1: Introducción a la lógica matemática
(SABER ULA, 2003-01-17)Curso de Lógica y Matemática Unidad 1: Introducción a la lógica matemática Descripción: Discutimos los fundamentos de la lógica proposional, la lógica de predicados y la regla de resolución. Actividades: ... -
Curso de Lógica y Matemática - Unidad 2: Matemática discreta
(SABER ULA, 2003-01-17)Curso de Lógica y Matemática Unidad 2: Matemática discreta Descripción: Discutimos los conceptos fundamentales asociados con grafos, latices (reticulados) e inducción matemática. Actividades: Revisión de las ... -
Curso de Lógica y Matemática - Unidad 3: Programación en lógica definida y resolución
(SABER ULA, 2003-01-17)Curso de Lógica y Matemática Unidad 3: Semánticas de programas lógicos definidos Descripción: Conocemos los programas lógicos definidos y discutimos cómo otorgarles semánticas formales. Actividades: Revisar ... -
Curso de Lógica y Matemática - Unidad 4: Negación en programación lógica
(SABER ULA, 2003-01-17)Curso de Lógica y Matemática Unidad 4: Negación en programación lógica Descripción: La semántica de la negación y el razonamiento no monótono en programación lógica. Actividades: Revisión del material de ... -
Curso de Lógica y Matemática - Unidad 5: Aplicaciones de la lógica computacional
(SABER ULA, 2003-01-17)Curso de Lógica y Matemática Unidad 5: Aplicaciones de la lógica computacional Descripción: Revisamos someramente algunas aplicaciones fundamentales de lógica computacional, entre las que se cuentan búsqueda ... -
Dios no juega a los dados. Reflexiones sobre el azar.
(SABER ULA, 2005-07-07)Dios no juega a los dados. Reflexiones sobre el azar (Domingo, Carlos.) Resumen Se discuten algunos aspectos de la vieja polémica entre los que admiten un determinismo estricto para los procesos del universo y los que ... -
E-science initiatives in Venezuela.
(SABER ULA, 2008-06-09)E-science initiatives in Venezuela. (Chaves, Juan Luis; Díaz, Gilberto; Hamar, Vanessa; Isea, Raúl; Rojas, Freddy; Ruiz, Nicolás; Torréns Heeren, Rodrigo J.; Uzcátegui, M.; Flórez López, Julio; Hoeger, Herbert; Mendoza, ... -
E-science perspectives in Venezuela.
(SABER ULA, 2008-08-29)E-science perspectives in Venezuela. (Díaz, Gilberto; Flórez López, Julio; Hamar, Vanessa; Hoeger, Herbert; Mendoza, Claudio; Mendez, Z.; Núñez, Luis; Ruiz, Nicolás; Torréns Heeren, Rodrigo J.; Uzcátegui, M.) Abstract We ... -
La economía de venezuela.
(SABER ULA, 2005-07-07) -
Una gramática de estilos para resumir textos en español
(SABER ULA, 2007-03-19)Una gramática de estilos para resumir textos en español (Jacinto A. Dávila Quintero, Hilda Y. Contreras Zambrano) Resumen Este artículo presenta un experimento lingüístico que consiste en resumir textos escritos en ... -
El grid académico venezolano.
(SABER ULA, 2007-07-11)El grid académico venezolano. (Hoeger, Herbert) Resumen Este trabajo presenta una breve descripción del grid académico venezolano, apoyado previamente por una clarificación de lo que es un grid, sus objetivos, ... -
Información General: Centro de Simulación y Modelos (CESIMO)
(SABER ULA, 2006-11-29)The CESIMO (Center of Simulation and Models), was created in 1990 with the aim of uniting the endeavors of various researchers of the Universidad de Los Andes who for years had been carrying out research activities, extension ... -
Información Investigador: Ablan Bortone, Magdiel
(2008-09-19)Profesora adscrita al Centro de Simulación y Modelos (CESIMO) Ingeniera de Sistemas (ULA), Ph. D. Ciencias del Ambiente de la Universidad de North Texas, USA. Me interesan el modelaje y la simulación aplicados a la ... -
Información Investigador: Contreras Zambrano, Hilda Yelitza
(2008-09-19)Resumen Curricular Licenciada en Computación, Universidad Central de Venezuela (1996). Magister en Ciencias de la Computación, Universidad de Los Andes (2003).