Pruebas empíricas y resultados preliminares con la herramienta Krakatoa para Full Static Program Verification
Ramírez-de León, Edgar Darío; Chávez-Bosquez, Oscar; Francisco-León, Julián Javier
|
| |
Modelado matemático de un reactor de síntesis de metanol con interenfriamiento y desactivación de catalizador
Molina-Cárdenas, Gabriel Alberto; Rosales-Chinchilla, Andrés Emilio; Papa-Annibalini, José
|
| |
Empuje dinámico en estructuras de retención con inclusión compresible
González-Blandón, Claudia Marcela; Romo-Organista, Miguel Pedro
|
| |
Flujo de potencia óptimo estocástico AC considerando el comportamiento probabilístico del viento, cargas y parámetros de líneas
Giraldo-Chavarriaga, Juan Sebastián; Castrillón-Largo, Jhon Alexander; Granada-Echeverri, Mauricio
|
| |
Simulación de campos aleatorios con dependencia no multi-gaussiana empleando cópulas
Vázquez-Guillén, Felipe; Auvinet-Guichard, Gabriel
|
| |
Prevención, minimización y control de la contaminación ambiental en un ingenio azucarero de México
Domínguez-Manjarrez, Candi Ashanti; Bravo-Álvarez, Humberto; Sosa-Echeverría, Rodolfo
|
| |
Simulación del fenómeno de creep en suelos arcillosos mediante reología y ecuaciones diferenciales fraccionarias
Hermosillo-Arteaga, Armando Rafael; Romo-Organista, Miguel Pedro; Magaña- del Toro, Roberto; Carrera-Bolaños, Jorge
|
| |
Validación de la Síntesis de Laplace a través de Mediciones en Sistemas de Cables Subterráneos
Uribe-Campos, Felipe Alejandro
|
| |
Validez y confiabilidad en la evaluación de la vulnerabilidad de las redes sociales
Orantes-Jiménez, Sandra Dinora; Vázquez-Álvarez, Graciela
|
| |
Control visual para la formación de robots móviles tipo uniciclo bajo el esquema líder-seguidor
Bugarin-Carlos, Eusebio; Aguilar-Bustos, Ana Yaveni
|
| |
Impedimento de reflujo de llama en quemadores de flujo giratorio
Vigueras-Zúñiga, Marco Osvaldo; Valera-Medina, Agustín; Syred, Nicholas; De la Rosa-Urbalejo, Daniel
|
| |
Estado del arte de la investigación en verificación formal
Serna-M., Edgar; Morales-V, David
|
| |
Modelación del proceso precipitación-escurrimiento mensual por medio de regresiones
Campos-Aranda, Daniel Francisco
|
| |
Validación de modelos hidrodinámicos de tres modelos topológicos de lagunas facultativas secundarias
Aponte-Reyes, Alxander
|
| |
Todo o conteúdo deste periódico, exceto onde está identificado, está licenciado sob uma Licença Creative Commons
pdf