Published: 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 (Español (España))

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 (Español (España))

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

Miguel Pedro Romo Organista
PDF (Español (España))

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 (Español (España))

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

Felipe Vázquez Guillén, Gabriel Auvinet Guichard
PDF (Español (España))

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 (Español (España))

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 (Español (España))

Laplace Synthesis Validation through Measurements on Underground Transmission Cables

Felipe Alejandro Uribe-Campos
PDF (Español (España))

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

Sandra Dinora Orantes Jiménez, Graciela Vázquez Álvarez
PDF (Español (España))

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 (Español (España))

Flashback Avoidance in Swirling Flow Burners

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

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

Edgar Serna M., David Morales V.
PDF (Español (España))

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

Daniel Francisco Campos Aranda
PDF (Español (España))

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

Alxander Aponte Reyes
PDF (Español (España))