Diferencia entre revisiones de «Seminario del Grupo de Lógica Computacional»
(→Próximos seminarios) |
(→Próximos seminarios) |
||
| Línea 6: | Línea 6: | ||
* Esta sesión del seminario queda cancelada con motivo de las [http://doctorado.cs.us.es/web/mod/resource/view.php?id=91 I Jornadas de Lógica, Computación e Inteligencia Artificial] que organiza el departamento | * Esta sesión del seminario queda cancelada con motivo de las [http://doctorado.cs.us.es/web/mod/resource/view.php?id=91 I Jornadas de Lógica, Computación e Inteligencia Artificial] que organiza el departamento | ||
---- | ---- | ||
| − | |||
=== Seminario del 5 de Noviembre de 2008 === | === Seminario del 5 de Noviembre de 2008 === | ||
Revisión del 21:40 4 nov 2008
Los Seminarios del Grupo de Lógica Computacional se celebrarán los miércoles de 12:00 a 13:00 en el seminario del módulo L4 del Departamento de Ciencias de la Computación e Inteligencia Artificial. Las sesiones son abiertas y pueden acudir todas las personas interesadas.
Sumario
Próximos seminarios
Seminario del 12 de Noviembre de 2008
- Esta sesión del seminario queda cancelada con motivo de las I Jornadas de Lógica, Computación e Inteligencia Artificial que organiza el departamento
Seminario del 5 de Noviembre de 2008
- Título: Mathserve: Web Semántica aplicada a Razonamiento Automático
- Ponente: Héctor Fabián Echeverry Quintero
- Resumen: Mathserve es un framework creado por Jürgen Zimmer que integra tecnologías de la Web Semántica con técnicas de Inteligencia Artificial aplicadas a Sistemas de Razonamiento Automático. En este seminario, se expondrán las características generales del mismo y sus posibles aplicaciones.
- Enlaces:
- MathServe homepage Pagina principal del Framework Mathserve.
- MathServe presentation Presentación para el Seminario.
Seminario del 29 de Octubre de 2008
- Título: Programación visual con Pure Data
- Ponente: Fernando Gómez
- Resumen: Se presentará el entorno de programación visual en tiempo real Pure Data, conceptos básicos y posibles aplicaciones. Se trata de un lenguaje visual sencillo con un entorno de desarrollo Open Source y multiplaforma, interesante para proyectos fin de carrera. Inicialmente creado por Miller Puckette para la creación de programas de audio y performances, actualmente también es utilizado para la programación de prototipos y sistemas interactivos (aplicaciones que utilizan arduino, wiimote, ipod Touch, iphone).
- Enlaces:
- puredata.info Portal oficial sobre PureData.
- wiki/Pure_data Entrada en la wikipedia.
- Video Ejemplo Ejemplo en la representación de ondas (Ver Vídeos relacionados de youtube para más ejemplos)
- Spiral X'mas Ejemplo visualización objeto 3D
Seminario del 15 de Octubre de 2008
- Título: La regla de independencia y su aplicación al aprendizaje de atributos
- Ponente: Joaquín Borrego
- Resumen: En esta charla presentaremos una nueva regla de inferencia, de carácter proposicicional (la regla de independencia). Se mostrará una aplicación de dicha regla al aprendizaje de atributos en el Análisis Formal de Conceptos
Seminarios anteriores
En esta sección se encuentran los seminarios de los cursos anteriores.
Material de interés para el Seminario del GLC
En esta sección se recoge una relación de materiales que sería interesante comentar en el Seminario.
Caminante, no hay camino:
se hace camino al andar.
(A. Machado)
Con cada paso que das alcanzas tu meta.
(Dicho Zen).
