Pruebas empíricas y resultados preliminares con la herramienta Krakatoa para Full Static Program Verification
Empirical Tests and Preliminary Results with the Krakatoa Tool for Full Static Program Verification
Edgar Darío Ramírez De LeónUniversidad Juárez Autónoma de Tabasco, División Académica de Informática y Sistemas
Oscar Alberto Chávez Bosquez
Universidad Juárez Autónoma de Tabasco, División Académica de Informática y Sistemas
Julián Javier Francisco León
Universidad Juárez Autónoma de Tabasco, División Académica de Informática y Sistemas
HTML | PDF | Cómo citar
Modelado matemático de un reactor de síntesis de metanol con interenfriamiento y desactivación de catalizador
Mathematical Model of a Methanol Synthesis Quench Reactor with Catalyst Deactivation
Gabriel Alberto Molina CárdenasUniversidad Central de Venezuela, Facultad de Ingeniería
Andrés Emilio Rosales Chinchilla
Universidad Central de Venezuela, Facultad de Ingeniería
José Papa Annibalini
Universidad Central de Venezuela, Facultad de Ingeniería
HTML | PDF | Cómo citar
Empuje dinámico en estructuras de retención con inclusión compresible
Dynamic Thrust on Retaining Walls with Compressible Inclusion
Claudia Marcela González BlandónUniversidad Nacional Autónoma de México, Instituto de Ingeniería
Miguel Pedro Romo Organista
Universidad Nacional Autónoma de México, Instituto de Ingeniería
HTML | PDF | Cómo citar
Stochastic AC Optimal Power Flow Considering the Probabilistic Behavior of the Wind, Loads and Line Parameters
Flujo de potencia óptimo estocástico AC considerando el comportamiento probabilístico del viento, cargas y parámetros de líneas
Mauricio Granada EcheverriUniversidad Tecnologica Pereira,
Jhon Alexander Castrillon Largo
Universidad Tecnologica Pereira,
Juan Sebastian Giraldo Chavarriaga
Universidad Tecnologica Pereira,
HTML | PDF | Cómo citar
Simulación de campos aleatorios con dependencia no multi-gaussiana empleando cópulas
Simulation of Random Fields with Non Multi-Gaussian Dependence Using Copulas
Felipe Vázquez GuillénUniversidad Nacional Autónoma de México, Instituto de Ingeniería
Gabriel Yves Armand Auvinet Guichard
Universidad Nacional Autónoma de México, Instituto de Ingeniería
HTML | PDF | Cómo citar
Prevención, minimización y control de la contaminación ambiental en un ingenio azucarero de México
Prevention, Minimization and Control of Environmental Pollution at Mexico Sugar Mill
Candi Ashanti Dominguez ManjarrezUniversidad Nacional Autónoma de México, Centro de Ciencias de la Atmósfera
Humberto Bravo Alvarez
Universidad Nacional Autónoma de México, Centro de Ciencias de la Atmósfera
Rodolfo Sosa Echeverría
Universidad Nacional Autónoma de México, Centro de Ciencias de la Atmósfera
HTML | PDF | Cómo citar
Simulación del fenómeno de creep en suelos arcillosos mediante reología y ecuaciones diferenciales fraccionarias
Simulation of Creep Phenomenon in Clay Soils Using Rheology and Fractional Differential Equations
Armando Rafael Hermosillo ArteagaUniversidad Nacional Autónoma de México, Instituto de Ingeniería
Miguel Pedro Romo Organista
Universidad Nacional Autónoma de México, Instituto de Ingeniería
Roberto Magaña Del Toro
Universidad Nacional Autónoma de México, Instituto de Ingeniería
Jorge Carrera Bolaños
Universidad Nacional Autónoma de México, Posgrado de la Facultad de Ingeniería
HTML | PDF | Cómo citar
Laplace Synthesis Validation through Measurements on Underground Transmission Cables
Validación de la Síntesis de Laplace a través de Mediciones en Sistemas de Cables Subterráneos
Felipe Alejandro Uribe CamposUniversidad de Guadalajara, División de Ingenierías
HTML | PDF | Cómo citar
Validity and Reliability in the Assessment of the Vulnerability of Social Networks
Validez y confiabilidad en la evaluación de la vulnerabilidad de las redes sociales
Sandra Dinora Orantes JiménezInstituto Politécnico Nacional, Centro de Investigación en Computación. Departamento de Ciencias de la Computación
Graciela Vázquez Álvarez
Instituto Politécnico Nacional, Centro de Investigación en Computación. Departamento de Ciencias de la Computación
HTML | PDF | Cómo citar
Control visual para la formación de robots móviles tipo uniciclo bajo el esquema líder-seguidor
Visual Control for Unicycle-Like Mobile Robots Formation Under the Leader-Follower Scheme
Eusebio Bugarin CarlosInstituto Tecnológico de Ensenada, División de Estudios de Posgrado
Ana Yaveni Aguilar Bustos
Instituto Tecnológico de Ensenada, División de Estudios de Posgrado
HTML | PDF | Cómo citar
Flashback Avoidance in Swirling Flow Burners
Impedimento de reflujo de llama en quemadores de flujo giratorio
Marco Osvaldo Vigueras ZunigaUniversidad Veracruzana,
Agustin Valera Medina
Cardiff University,
Nick Syred
Cardiff University,
Daniel De La Rosa Urbalejo
Cardiff University,
HTML | PDF | Cómo citar
State of the Art in the Research of Formal Verification
Estado del arte de la investigación en verificación formal
Edgar Serna M.Corporación Universitaria Remington, Facultad de Ciencias Básicas e Ingeniería Ingeniería de Sistemas
David Morales V.
Diversien S.A.S,
HTML | PDF | Cómo citar
Modelación del proceso precipitación-escurrimiento mensual por medio de regresiones
Modeling of the Monthly Rainfall-Runoff Process Through Regressions
Daniel Francisco Campos ArandaUniversidad Autonoma de San Luis Potosí, Facultad de Ingeniería
HTML | PDF | Cómo citar
Validación de modelos hidrodinámicos de tres modelos topológicos de lagunas facultativas secundarias
Validation Hydrodynamic Models of Three Topological Models of Secondary Facultative Ponds
Alexander Aponte ReyesUniversidad de Valle de México, Grupo de Saneamiento Ambiental
HTML | PDF | Cómo citar