Sufficient completeness has been throughly studied for equational specifications, where function symbols are classified into constructors and defined symbols. But what should sufficient completeness mean for a rewrite ...

La transición energética está transformando el funcionamiento y operación de los sistemas eléctricos de potencia, provocando así que se diversifique la matriz energética a través de la inclusión de diferentes fuentes de ...

La intención al escribir este texto, es ofrecer un material actualizado de análisis y métodos estadísticos multivariados, de fácil acceso para estadísticos y usuarios de la estadística de diferentes disciplinas y áreas del ...

Esta tesis desarrolla estrategias de planeación y gestión para microrredes de corriente continua con el objetivo de mejorar las condiciones y costos operativos. La primera parte de esta tesis aborda el problema de ...