Caballero, Rafael; Riesco, Adrián; Silva, Josep(Association for Computing Machinery, 2017-11)
[EN] Algorithmic debugging is a technique proposed in 1982 by E. Y. Shapiro in the context of logic programming. This survey shows how the initial ideas have been developed to become a widespread debugging schema ftting ...
Ara Caballero, Rafael José(Universitat Politècnica de València, 2014-07-02)
[ES] La mayoría de los motores de combustión interna alternativos están sobrealimentados.
La sobrealimentación de los motores viene dada por la necesidad de aumentar la potencia sin tener que aumentar la cilindrada.
En ...
Ara Caballero, Rafael José(Universitat Politècnica de València, 2015-04-02)
The Spanish multinational Repsol-YPF is accused of violations of human rights, social and cultural impacts on indigenous peoples, environmental pollution and water sources, tax fraud, loss of biodiversity and deforestation ...