Proyectos Informáticos. Depto. de Ciencias de la Computación e IA
From PFCs
(Redirected from Main Page)
Ofertados para el curso 2012-13
Para obtener más información acerca de alguna de las propuestas de proyecto debe contactar con el coordinador de la asignatura, el prof. Joaquín Borrego (jborrego at us.es).
Nota: La oferta de proyectos se actualiza periódicamente
De carácter emprendedor
Los siguientes proyectos están ofertados para que su lanzamiento como spinoff sea posible. Ese carácter emprendedor se refleja tanto en los requisitos y como en las obligaciones para el alumno que lo elija. Por ejemplo, se elaborará un modelo de negocio plausible con base los resultados del proyecto.
Para más información, contacte con el coordinador de la asignatura.
- CMS para la gestión de contenidos de másters y cursos de especialización
- Cliente semántico para Twitter
- Visualización de entornos de conocimiento para sistemas multiagente y Web 2.0
- Diseño de herramientas de IA para sistemas de inteligencia colectiva
- Segmentación predictiva de poblaciones
- Software social para e-readers
- Potenciación de proyectos Web 2.0 mediante Análisis Formal de Conceptos
- Proyecto educativo basado en Software libre
- Sistema de reorganización del conocimiento en plataformas de servicios de etiquetado
- Mercados P2P
- Red social P2P asociada a la movilidad
- Plataforma para la creación colaborativa de presentaciones para congresos y reuniones
- Sistema Web 2.0 para jugar al ajedrez
- Diseño e implementación de un periódico metaweb
- SEMANTICBIO: un sistema para el almacenamiento biográfico semántico
- Sistema para la extracción del conocimiento en empresas
- Sistema inteligente para la publicidad contextual
- Buscador geográfico para SecondLife sobre Google
- Diseño e implementación de una red social para intercambios
Otros proyectos
- Implementación de sistemas multiagentes usando Flame GPU
- Simulación de sistemas celulares en tarjetas gráficas con OpenCL
- Simulación optimizada de sistemas celulares en Nvidia/CUDA
- Un entorno de programación para tarjetas gráficas de Nvidia con CUDA
- Un entorno de programación para tarjetas gráficas con OpenCL
- Visualización gráfica 3D de simulaciones de sistemas celulares
- Calculador de invariantes para Retículos de conceptos
- Optimización de un nuevo algoritmo para SAT
- Diseño e implementación de un servicio en la nube para laboratorios
- Proyecto "media" sobre Second Life
- Diseño e implementación de una versión de SQUEAK para LEGO Mindstorms
- Uso del demostrador automático ACL2 para demostración de corrección de programas
- Recurso Aplicaciones de los modelos ocultos de Markov al procesamiento del lenguaje natural
- Implementación de técnicas de Recuperación de la Información en la web
- Clustering: aplicación a la extracción de información en la web
- Sistema para la gestion semántica de información audiovisual
- Proyectos de Inteligencia Artificial en Second Life
- Agentes FLUX para jugar al ajedrez o al dominó
- Sistema de anotación automática semántica para Internet Profunda
- Aplicaciones de la programación declarativa
- Diseño de un demostrador automático
- A graphic interface for a theorem proving system
- Verification in ACL2 of Unlimited Register Machines programs
- Sistema inteligente basado en ConceptNet
- Desarrollo de un sistema experto
- Sistema para el alineamiento automatizado de folksonomías mediante buscadores Web
- Proyectos de Inteligencia Artificial en mundos virtuales
- Desarrollo de un módulo OCX para integrar LISP en Visual Basic
- Desarrollo de un módulo OCX para integrar CLIPS en Visual Basic
- Desarrollo de un módulo para integrar CLIPS en un entorno de programación gráfico en Linux
- Desarrollo de un módulo para integrar LISP en un entorno de programación gráfico en Linux
Proyectos dentro del Proyecto de Excelencia eComplexCity
- La siguiente lista no es cerrada, de hecho se anima a los alumnos a presentar sus ideas.
- Consulta si tu idea de proyecto encaja en los objetivos de eComplexCity con Joaquín Borrego (jborrego@us.es) o Fernando Sancho (fsancho@us.es)
- Laboratorio de experimentación en dinámica de lenguajes
- Sistema inteligente de sensores móviles
- Sistema de información colectiva sobre catástrofes humanitarias
- Sistema de alimentación inteligente para simulación de apuestas deportivas
- Combinación inteligente de servicios de Web Social basados en geolocalización móvil
- Análisis y predicción de huellas digitales en entornos urbanos
- Sistema para la estimación de la huella ecológica de ciudades
- Integración de datos para la generación de servicios geolocalizados en entornos urbanizados
- Sistema para la gestión y detección de huellas digitales espaciales
- Sistema de predicción mediante el análisis de medios sociales y redes complejas
- Retracción de bases de conocimiento en Inteligencia Ambiental
- Análisis y predicción de eventos mediante Análisis Formal de Conceptos
- Aplicación de técnicas de extracción de conocimiento para sistemas de análisis de catástrofes humanitarias (NUEVO)
- Minería de comportamientos en Informática Urbana mediante Análisis Formal de Conceptos
Ya finalizados o adjudicados recientemente
- Gestor semántico de noticias
- Visualizador AJAX de imágenes en redes sociales
- Gestión de colas para clusters basados en tarjetas gráficas
- P-Lingua 3.0, un entorno de programación mejorado para Membrane Computing
- Complejidad, caos y música: Del Autómata Celular a la composición musical
- Gestión de una red social 2.0 semántica mediante sistemas multiagente
- Algoritmos de normalización de bases de datos
- Programación de sistemas multiagente en CUDA
- Generador automático de formularios para bases de datos relacionales
- Desarrollo de un piloto para el entorno de juegos de vehículos "F1-TORCS" mediante agentes
- Desarrollo de un bot para el entorno de juegos Unreal Tournament 2004
- Desarrollo de un equipo competitivo para la Robocup
- Simulador para psicología sintética: Vehículos de Braitenberg
- Simulación mediante sistemas multiagente de conflictos/desastres internacionales mediante sistemas multiagente.
- Proyecto Web 2.0 con ONGs
- Sistema Inteligente de apuestas
- Herramienta de anotación para textos literarios
Proyectos no adjudicables este curso
- Metodología de agentificación en 3APL
- Implementación de un equipo competitivo para la RoboCup