marzo 14th, 2011
Pues, la verdad es que el primer cuatrimestre “ha sido de locos” y no he podido escribir demasiado.
Este segundo no pinta mucho mejor… por lo que no creo que actualize demasiado, vamos, lo estrictamente necesario.
Las tutorías para este cuatrimestre serán:
- Martes, de 10:00 a 13:00 horas, y
- Martes de 16:00 a 19:00 horas
en el despacho de Torreumbría
Gonzalo.
Posted in Docencia, General, Tutorías | Comments Off on Comienza el segundo cautrimestre
octubre 24th, 2010
Hola,
La semana pasada estuve en el congreso “Concept Lattices and Their Applications” (CLA 2010) que organizaba mi grupo de investigación, en Sevilla.
Ha sido una semana MUY movida y SATISFACTORIA.
Ahora toca volver al mundo real:
– Esta semana que entra, las tutorías del Lunes(25-Octubre) de 12 a 13 horas, pasarán al Jueves(28-Octubre) de 13:30 a 14:30
– Comienzan las clases de prácticas de Laboratorio de Programación Declarativa y Compiladores.
Pues nada, nos veremos en las clases!
G
Posted in Docencia, General, Tutorías | Comments Off on Cambios
septiembre 28th, 2010
Los horarios y sitios para las tutorías para este primer cuatrimestre del curso van a ser:
- Lunes: 12:00 – 13:00
Campus del Carmen. Aula I.2.1
- Lunes: 17:30 – 19:00
Campus de La Rábida. Edif. Torreumbría. Desp 7
- Jueves: 10:30 – 13:30
Campus de La Rábida. Edif. Torreumbría. Desp 7
Posted in Docencia, General, Tutorías | Comments Off on Tutorías (I Cuatrimestre) 2010-11
septiembre 28th, 2010
Acabo de publicar la docencia para este curso que va a empezar, 2010/11, en la página de Docencia, y que se ajusta a lo habitual estos últimos años.
También voy a publicar los horarios(y sitios) de tutorías para el curso que viene en un siguiente post, para diferenciarlo de éste.
Posted in Docencia, General, Generalxxxxxxxx | Comments Off on Docencia 2010/2011
septiembre 20th, 2010
Por motivos personales, las tutorías del Martes 21 de Septiembre pasan al Miércoles 22.
Disculpar las molestias.
Posted in Docencia, Incidencias, Tutorías | Comments Off on Incidencias
septiembre 6th, 2010
Las tutorías en Septiembre serán
todos los Martes y Jueves,
de 10:00 a 13:00 horas
en el Campus de la Rábida.
Edificio Torreumbría, Despacho 7
Posted in Docencia, Tutorías | Comments Off on Tutorías en Septiembre
agosto 9th, 2010
Es lo que se impone hoy día: la transversalidad !
La mayoría de los campos de investigación que antes estaban bastante focalizados en un tema y con un conjunto reducido de técnicas hiper-especializadas, se están abriendo a la colaboración entre campos, incluso muy dispares, de la ciencia.
Acabo de leer uno de ellos, donde egiptólogos y robóticos están colaborando para tratar de descubrir más cosas y llegar donde nadie a llegado. El objetivo de esta colaboración consiste en la utilización de un robot autónomo (creado por la Univ de Leeds) y que “explore” a partir de ciertos pasillos que son imposible para los científicos. Una aplicación DIRECTA del típico ejercicio del robot explorador!
El texto completo de la noticia está en: http://www.independent.co.uk/news/science/robot-to-explore-mysterious-tunnels-in-great-pyramid-2046506.html
Posted in Docencia, General, Inteligencia Artificial e Ingeniería del Conocimiento, Investigación | Comments Off on Transversalidad científica
julio 27th, 2010
Es indudable el enorme crecimiento que están teniendo los lenguajes funcionales en los últimos años y su aplicabilidad (y aplicación!) en los sectores industriales…. Ericsson, Ilog, … etc.
La razón fundamental para ese crecimiento puede estar en la sencillez de su programación y en la brevedad de su código. Si consideramos que el número de errores de un código es proporcional al número de líneas escritas, ésto último lo hace más fiable que la mayoría de los paradigmas existentes.
Para demostrar la sencillez de programación, cada día van saliendo más material que nos ayuda a acercarnos a estos lenguajes. Lo último en aparecer ha sido un tutorial interactivo via web que nos da unas nociones de Haskell y que deja entrever su potencia:
http://tryhaskell.org/
Pruébalo y comenta tus sensanciones! (sobre él, claro.)
Posted in General | Comments Off on Tutorial rápido de Haskell
junio 22nd, 2010
Ha aparecido un post en un blog sobre el tema de los métodos formales, que hemos introducido en clase, y que plantea los pros y contras de implementarlos en la empresa.
A la vez de plantear los problemas, constata que Microsoft cada vez los está usando más y conviertiendo su código en más estable (en algunos casos no era dificil)
Título: Why Can’t Johnny Develop Secure Software?
http://computinged.wordpress.com/2010/06/22/why-cant-johnny-develop-secure-software/
Posted in General, Verificación | Comments Off on La realidad de los métodos formales… ¿nueva era?
junio 21st, 2010
Esta semana, del miércoles 23 al viernes 25, se celebra el HAIS 2010 (Hybrid Artificial Intelligence Systems) en San Sebastián.
Tenemos aceptada una publicación dentro de la “special session” 12: Hybrid Artificial Intelligence Systems Based on Lattice Theory
El título del artículo y de la charla va a ser: Reconciling Knowledge in social tagging web services, continuando con la investigación en manejo del conocimiento dentro de redes sociales. La idea es cómo obtener una agente puede obtener una base de conocimiento nueva, compatible con lo que pensaba anteriormente, y con la ayuda de otro agente. Esto permite el descubrimiento de nuevo conocimiento por parte del agente y cercano a lo que ya conocía.
Tengo la intención de ir colgando todas las transparencias de las charlas, ya que los artículos no se “puede”… al menos las transparencias si!
Si queréis más información del congreso: http://www.ehu.es/ccwintco/hais2010/
Posted in agentes, Charla, Congreso, Investigación | Comments Off on Congreso: HAIS 2010