Empirical Tests and Preliminary Results with the Krakatoa Tool for Full Static Program Verification
Ramírez-de León, Edgar Darío; Chávez-Bosquez, Oscar; Francisco-León, Julián Javier
|
| |
Mathematical Model of a Methanol Synthesis Quench Reactor with Catalyst Deactivation
Molina-Cárdenas, Gabriel Alberto; Rosales-Chinchilla, Andrés Emilio; Papa-Annibalini, José
|
| |
Dynamic Thrust on Retaining Walls with Compressible Inclusion
González-Blandón, Claudia Marcela; Romo-Organista, Miguel Pedro
|
| |
Stochastic AC Optimal Power Flow Considering the Probabilistic Behavior of the Wind, Loads and Line Parameters
Giraldo-Chavarriaga, Juan Sebastián; Castrillón-Largo, Jhon Alexander; Granada-Echeverri, Mauricio
|
| |
Simulation of Random Fields with Non Multi-Gaussian Dependence Using Copulas
Vázquez-Guillén, Felipe; Auvinet-Guichard, Gabriel
|
| |
Prevention, Minimization and Control of Environmental Pollution at Mexico Sugar Mill
Domínguez-Manjarrez, Candi Ashanti; Bravo-Álvarez, Humberto; Sosa-Echeverría, Rodolfo
|
| |
Simulation of Creep Phenomenon in Clay Soils Using Rheology and Fractional Differential Equations
Hermosillo-Arteaga, Armando Rafael; Romo-Organista, Miguel Pedro; Magaña- del Toro, Roberto; Carrera-Bolaños, Jorge
|
| |
Laplace Synthesis Validation through Measurements on Underground Transmission Cables
Uribe-Campos, Felipe Alejandro
|
| |
Validity and Reliability in the Assessment of the Vulnerability of Social Networks
Orantes-Jiménez, Sandra Dinora; Vázquez-Álvarez, Graciela
|
| |
Visual Control for Unicycle-Like Mobile Robots Formation Under the Leader-Follower Scheme
Bugarin-Carlos, Eusebio; Aguilar-Bustos, Ana Yaveni
|
| |
Flashback Avoidance in Swirling Flow Burners
Vigueras-Zúñiga, Marco Osvaldo; Valera-Medina, Agustín; Syred, Nicholas; De la Rosa-Urbalejo, Daniel
|
| |
State of the Art in the Research of Formal Verification
Serna-M., Edgar; Morales-V, David
|
| |
Modeling of the Monthly Rainfall-Runoff Process Through Regressions
Campos-Aranda, Daniel Francisco
|
| |
Validation Hydrodynamic Models of Three Topological Models of Secondary Facultative Ponds
Aponte-Reyes, Alxander
|
| |
All the contents of this journal, except where otherwise noted, is licensed under a Creative Commons Attribution License
pdf