Publicado: 2015-01-15

ARTÍCULOS

Pruebas empíricas y resultados preliminares con la herramienta Krakatoa para Full Static Program Verification

Edgar Darío Ramírez de León, Oscar Chávez Bosquez, Julián Javier Francisco León
PDF

Modelado matemático de un reactor de síntesis de metanol con interenfriamiento y desactivación de catalizador

Gabriel Alberto Molina Cárdenas, Andrés Emilio Rosales Chinchilla, José Papa Annibalini
PDF

Empuje dinámico en estructuras de retención con inclusión compresible

Miguel Pedro Romo Organista
PDF

Stochastic AC Optimal Power Flow Considering the Probabilistic Behavior of the Wind, Loads and Line Parameters

Juan Sebastián Giraldo Chavarriaga, Jhon Alexande Castrillón Largo, Mauricio Granada Echeverri
PDF

Simulación de campos aleatorios con dependencia no multi-gaussiana empleando cópulas

Felipe Vázquez Guillén, Gabriel Auvinet Guichard
PDF

Prevención, minimización y control de la contaminación ambiental en un ingenio azucarero de México

Candi Ashanti Dominguez Manjarrez, Humberto Bravo Álvarez, Rodolfo Sosa Echeverría
PDF

Simulación del fenómeno de creep en suelos arcillosos mediante reología y ecuaciones diferenciales fraccionarias

Armando Rafael Hermosillo Arteaga, Miguel Pedro Romo Organista, Roberto Magaña del Toro, Jorge Carrera-Bolaños
PDF

Laplace Synthesis Validation through Measurements on Underground Transmission Cables

Felipe Alejandro Uribe-Campos
PDF

Validity and Reliability in the Assessment of the Vulnerability of Social Networks

Sandra Dinora Orantes Jiménez, Graciela Vázquez Álvarez
PDF

Control visual para la formación de robots móviles tipo uniciclo bajo el esquema líder-seguidor

Eusebio Bugarin Carlos, Ana Yaveni Aguilar Bustos
PDF

Flashback Avoidance in Swirling Flow Burners

Marco Osvaldo Vigueras Zúñiga, Agustín Valera Medina, Nicholas Syred, Daniel De la Rosa Urbalejo
PDF

Estado del arte de la investigación en verificación formal

Edgar Serna M., David Morales V.
PDF

Modelación del proceso precipitación-escurrimiento mensual por medio de regresiones

Daniel Francisco Campos Aranda
PDF

Validación de modelos hidrodinámicos de tres modelos topológicos de lagunas facultativas secundarias

Alxander Aponte Reyes
PDF