Cerca risorse accademiche

At any time humans need accurate information to solve different problems. For example, how to perform a task, what happens in the news, what the hundreds of tweets say, etc. On the other hand, electronic information has ...

El objetivo principal de esta tesis es estudiar la teoría de prueba de la Programación en Lógica Rebatible (P.L.R.) y brindar una caracterización declarativa equivalente. La P.L.R. es una herramienta valiosa para la ...

La creciente urbanización e industrialización de la sociedad, sumado a una disponibilidad finita de recursos naturales, vuelve primordial hallar soluciones sustentables y eficientes que permitan la valorización de los...

Las redes neuronales artificiales (ANN: Artificial Neural Networks) recientemente han tenido un gran impacto en la resolución de algunos problemas debido a que ha sido posible la implementación de algoritmos que requ...

El objetivo central del proyecto es diseñar algoritmos eficientes para problemas de grafos, previo estudio de su tratabilidad. Nos centramos, en particular, en los problemas de coloreo y transversal en hipergrafos de in...