Nuevo Bloque de Cursos

29 de Octubre de 2017, ha tenido 203 vistas

 Se ha añadido un apartado de cursos completos al que puedes acceder por medio del nuevo enlace "Cursos" en el menú principal de esta página. El objetivo es ir colgando cursos enteros de forma que estén disponibles independientemente de si se corresponden o no con una asignatura reglada actualmente.

Etiquetas utilizadas: , , ,

Leer mas »

Introducción a la Lógica Difusa

16 de Octubre de 2017, ha tenido 12275 vistas

La forma en que la gente piensa es, inherentemente, difusa. La forma en que percibimos el mundo está cambiando continuamente y no siempre se puede definir en términos de sentencias verdaderas o falsas. Consideremos como ejemplo el conjunto de vasos del mundo, que pueden estar vacíos o llenos de agua. Ahora tomemos un vaso vacío y comencemos a echar agua poco a poco, ¿en qué momento decidimos que el vaso pasa de estar vacío a estar lleno?

Etiquetas utilizadas: , , ,

Leer mas »

Simulated Annealing in NetLogo

29 de Septiembre de 2017, ha tenido 57 vistas

In this post we will see implementations of Simulated Annealing algorithm.

Etiquetas utilizadas: , , , , ,

Leer mas »

Búesquedas Estocásticas: Templado Simulado

29 de Septiembre de 2017, ha tenido 165 vistas

 Hay muchas veces en los que los algoritmos de búsqueda deterministas se quedan atascados enseguida en óptimos no demasiado buenos. Para estos casos se han diseñado algoritmos que a veces pueden dar soluciones relativamente buenas y que hacen uso de estocasticidad, como el que veremos en esta sección: templado simulado (simulated annealing).

Etiquetas utilizadas: , , ,

Leer mas »

Introducción a Prover9 y Mace4

26 de Septiembre de 2017, ha tenido 207 vistas

Prover9 es un Demostrador Automático de Teoremas para Lógicas de Primer Orden (también se puede utilizar con Lógica Proposicional) y Mace4 busca modelos finitos y contraejemplos. Los dos programas se pueden usar por medio de un interfaz gráfico unificado, para aprovechar el uso conjunto que se suele hacer de ambas herramientas en la resolución de problemas. Tanto Prover9 como su antecesor, Otter, y Mace4 fueron creados por William McCune.

Etiquetas utilizadas: , ,

Leer mas »

ALGUNAS ENTRADAS ANTERIORES ... AL AZAR

Búesquedas Estocásticas: Templado Simulado

29 de Septiembre de 2017, 165 vistas

 Hay muchas veces en los que los algoritmos de búsqueda deterministas se quedan atascados enseguida en óptimos no demasiado buenos. Para estos casos se han diseñado algoritmos que a veces pueden dar soluciones relativamente buenas y que hacen uso de estocasticidad, como el que veremos en esta sección: templado simulado (simulated annealing).

Etiquetas utilizadas: , , ,

Mapas Auto-Organizados

10 de Enero de 2014, 2738 vistas

Los Self Organizing Maps (Mapas Auto-Organizados), o SOM, fueron inventados en 1982 por Teuvo Kohonen, profesor de la Academia de Finlandia, y proporcionan una forma de representar datos multidimensionales (vectores) en espacios de dimensión inferior, normalmente, en 2D. Este proceso de reducir la dimensionalidad de vectores es una técnica de compresión de datos conocida como Cuantización Vectorial. Además, la técnica de Kohonen crea una red que almacena información de forma que las relaciones topológicas del conjunto de entrenamiento se mantienen.

Etiquetas utilizadas: , , ,