modified on 1 nov 2007 at 09:22 ••• 6.750 views

Trabajo Fin de Máster

De Master

(Diferencias entre revisiones)
(Ofertas de trabajos para el curso 2016-17)
Línea 9: Línea 9:
La lista de trabajos propuestos para el curso 2016-17, junto con sus directores, es la siguiente.
La lista de trabajos propuestos para el curso 2016-17, junto con sus directores, es la siguiente.
-
# '''Analizar, desde el Análisis Formal de Conceptos, la complejidad económica'''. Joaquín Borrego  
+
# '''Adecuación y completitud de la basic fuzzy logic'''. Joaquín Borrego Díaz
-
# '''Análisis del transcriptoma de Solanum tuberosum (patata) usando secuenciación de nueva generación'''. Francisco J. Romero Campero y José María Romero Rodríguez  
+
# '''Aleatoriedad algorítmica'''. Fernando Sancho Caparrini
 +
# '''Algoritmos funcionales para grafos'''. Fernando Sancho Caparrini
 +
# '''Analizar, desde el análisis formal de conceptos, la complejidad económica'''. Joaquín Borrego  
 +
# '''Análisis del transcriptoma de solanum tuberosum (patata) usando secuenciación de nueva generación'''. Francisco J. Romero Campero y José María Romero Rodríguez  
 +
# '''Análisis, implementación y aplicación de algoritmos de scikit_learn'''. José Luis Ruiz Reina
 +
# '''Aplicaciones de deep learning al reconocimiento de imágenes'''. Miguel Ángel Gutiérrez Naranjo
# '''Aplicaciones de aprendizaje automático a un caso de estudio propuesto por el alumno'''. Miguel Ángel Gutiérrez Naranjo
# '''Aplicaciones de aprendizaje automático a un caso de estudio propuesto por el alumno'''. Miguel Ángel Gutiérrez Naranjo
# '''Aplicación de SIG para la visualización de resultados de simulación en modelos bio-inspirados'''. Mario de J. Pérez Jiménez y Luis Valencia
# '''Aplicación de SIG para la visualización de resultados de simulación en modelos bio-inspirados'''. Mario de J. Pérez Jiménez y Luis Valencia
# '''Aplicación de técnicas de deep learning al diseño de sistemas de diálogo hablado'''. José Fco. Quesada Moreno 
# '''Aplicación de técnicas de deep learning al diseño de sistemas de diálogo hablado'''. José Fco. Quesada Moreno 
# '''Aplicación de técnicas de ingeniería del lenguaje natural y ontologías a la enseñanza y aprendizaje de idiomas'''. José Fco. Quesada Moreno
# '''Aplicación de técnicas de ingeniería del lenguaje natural y ontologías a la enseñanza y aprendizaje de idiomas'''. José Fco. Quesada Moreno
-
# '''Desarrollo de un sistema basado en conocimiento (sistema experto) a propuesta del alumno'''. Fco. Jesús Martín Mateos
+
# '''Aprendizaje no supervisado en membrane computing'''. Luis Valencia Cabrera
-
# '''El problema de las cartas rusas. Protocolos incondicionalmente seguros'''. Andrés Cordón Franco
+
-
# '''Integración de múltiples fuentes de información en sistemas avanzados de diálogo en lenguaje natural'''. José Fco. Quesada Moreno
+
-
# '''Interfaces avanzadas para sistemas tutoriales inteligentes: Evaluación y análisis en sistemas de diálogo'''. José Fco. Quesada Moreno 
+
-
# '''Interfaz conversacional hablado en dispositivos móviles para control domótico'''. José Fco. Quesada Moreno 
+
-
# '''Lógica computacional para razonar con implicaciones y reglas de asociación'''. Joaquín Borrego Díaz
+
-
# '''Membrane Computing como marco para la resolución de problemas de optimización'''. Luis Valencia Cabrera
+
-
# '''Modelización de la evolución de redes génicas según procesos de innovación, amplificación y divergencia''' Francisco J. Romero Campero
+
-
# '''PDP systems: un marco para la modelización computacional. Aplicaciones al estudio de la dinámica de ecosistemas reales'''. Mario de J. Pérez Jiménez.
+
-
# '''Una herramienta de ayuda para el aprendizaje de la lógica epistémica multiagente'''. Andrés Cordón Franco
+
-
# '''Adecuación y completitud de la Basic Fuzzy Logic'''. Joaquín Borrego Díaz
+
-
# '''Aleatoriedad algorítmica'''. Fernando Sancho Caparrini
+
-
# '''Algoritmos funcionales para grafos'''. Fernando Sancho Caparrini
+
-
# '''Análisis, implementación y aplicación de algoritmos de scikit_learn'''. José Luis Ruiz Reina
+
-
# '''Aplicaciones de Deep Learning al reconocimiento de imágenes'''. Miguel Ángel Gutiérrez Naranjo
+
-
# '''Aprendizaje no supervisado en Membrane Computing'''. Luis Valencia Cabrera
+
# '''Ciencia del dato aplicada: competiciones en Kaggle'''. Álvaro Romero Jiménez  
# '''Ciencia del dato aplicada: competiciones en Kaggle'''. Álvaro Romero Jiménez  
-
# '''Computación con reservorios (Reservoir Computing)'''. Fernando Sancho Caparrini  
+
# '''Computación con reservorios (reservoir computing)'''. Fernando Sancho Caparrini  
# '''Computación probabilística: modelos y lenguajes'''. Fernando Sancho Caparrini  
# '''Computación probabilística: modelos y lenguajes'''. Fernando Sancho Caparrini  
# '''Desarrollo de un plugin para Protégé Desktop 5.x'''. Antonia M. Chávez
# '''Desarrollo de un plugin para Protégé Desktop 5.x'''. Antonia M. Chávez
# '''Desarrollo de un sistema anti-SPAM usando scikit_learn y nltk'''. José Luis Ruiz Reina  
# '''Desarrollo de un sistema anti-SPAM usando scikit_learn y nltk'''. José Luis Ruiz Reina  
 +
# '''Desarrollo de un sistema basado en conocimiento (sistema experto) a propuesta del alumno'''. Fco. Jesús Martín Mateos
# '''Diseño automático de sistemas P'''. Álvaro Romero Jiménez  
# '''Diseño automático de sistemas P'''. Álvaro Romero Jiménez  
# '''Diseño e implementación de una ontología'''. Antonia M. Chávez
# '''Diseño e implementación de una ontología'''. Antonia M. Chávez
# '''Divulgación de MeCoSim'''. Carmen Graciani Díaz y Agustín Riscos Núñez   
# '''Divulgación de MeCoSim'''. Carmen Graciani Díaz y Agustín Riscos Núñez   
-
# '''El Análisis Formal de Conceptos como herramienta predictiva'''. Joaquín Borrego Díaz
+
# '''El Análisis formal de conceptos como herramienta predictiva'''. Joaquín Borrego Díaz
-
# '''El Análisis Formal de Conceptos como modelado de cognición'''. Joaquín Borrego Díaz  
+
# '''El Análisis formal de conceptos como modelado de cognición'''. Joaquín Borrego Díaz  
 +
# '''El problema de las cartas rusas. Protocolos incondicionalmente seguros'''. Andrés Cordón Franco
# '''Enjambre de NAOs'''. Agustín Riscos Nuñez
# '''Enjambre de NAOs'''. Agustín Riscos Nuñez
# '''Estudio de la aritmética de Presburger'''. Fco. Félix Lara Martín
# '''Estudio de la aritmética de Presburger'''. Fco. Félix Lara Martín
# '''Formalizaciones de pruebas de teoremas matemáticos en Isabelle/HOL'''. José Antonio Alonso Jiménez y María José Hidalgo Doblado   
# '''Formalizaciones de pruebas de teoremas matemáticos en Isabelle/HOL'''. José Antonio Alonso Jiménez y María José Hidalgo Doblado   
# '''Fundamentos de metaheurísticas y optimización'''. Fernando Sancho Caparrini
# '''Fundamentos de metaheurísticas y optimización'''. Fernando Sancho Caparrini
-
# '''Fundamentos matemáticos del Machine Learning'''. Fernando Sancho Caparrini
+
# '''Fundamentos matemáticos del machine learning'''. Fernando Sancho Caparrini
# '''Gemas de teoría de la computación'''. Fernando Sancho Caparrini
# '''Gemas de teoría de la computación'''. Fernando Sancho Caparrini
# '''Ingredientes Fuzzy en sistemas P'''. Agustín Riscos Nuñez
# '''Ingredientes Fuzzy en sistemas P'''. Agustín Riscos Nuñez
 +
# '''Integración de múltiples fuentes de información en sistemas avanzados de diálogo en lenguaje natural'''. José Fco. Quesada Moreno
# '''Inteligencia artificial ética: Aplicaciones al bien común'''. Fernando Sancho Caparrini  
# '''Inteligencia artificial ética: Aplicaciones al bien común'''. Fernando Sancho Caparrini  
-
# '''Interpretación algebro-geométrica del Análisis Formal de Conceptos'''. Joaquín Borrego Díaz
+
# '''Interfaces avanzadas para sistemas tutoriales inteligentes: Evaluación y análisis en sistemas de diálogo'''. José Fco. Quesada Moreno 
 +
# '''Interfaz conversacional hablado en dispositivos móviles para control domótico'''. José Fco. Quesada Moreno 
 +
# '''Interpretación algebro-geométrica del análisis formal de conceptos'''. Joaquín Borrego Díaz
 +
# '''Lógica computacional para razonar con implicaciones y reglas de asociación'''. Joaquín Borrego Díaz
# '''Lógicas rebatible y plausible'''. Fco. Félix Lara Martín
# '''Lógicas rebatible y plausible'''. Fco. Félix Lara Martín
 +
# '''Membrane Computing como marco para la resolución de problemas de optimización'''. Luis Valencia Cabrera
 +
# '''Modelización de la evolución de redes génicas según procesos de innovación, amplificación y divergencia''' Francisco J. Romero Campero
# '''Modelización de sistemas económicos mediante sistemas celulares'''. Luis Valencia Cabrera  
# '''Modelización de sistemas económicos mediante sistemas celulares'''. Luis Valencia Cabrera  
# '''Modelización gráfica mediante sistemas P'''. Álvaro Romero Jiménez
# '''Modelización gráfica mediante sistemas P'''. Álvaro Romero Jiménez
Línea 56: Línea 54:
# '''NAO experto'''. Agustín Riscos Nuñez
# '''NAO experto'''. Agustín Riscos Nuñez
# '''Neural Turing Machine'''. Fernando Sancho Caparrini
# '''Neural Turing Machine'''. Fernando Sancho Caparrini
 +
# '''PDP systems: un marco para la modelización computacional. Aplicaciones al estudio de la dinámica de ecosistemas reales'''. Mario de J. Pérez Jiménez.
# '''Programación genética basada en reglas'''. Fco. Jesús Martín Mateos
# '''Programación genética basada en reglas'''. Fco. Jesús Martín Mateos
# '''Redes neuronales recurrentes'''. Fernando Sancho Caparrini
# '''Redes neuronales recurrentes'''. Fernando Sancho Caparrini
Línea 66: Línea 65:
# '''Sistema de diálogo hablado aplicado al aprendizaje de lenguas'''. José Fco. Quesada Moreno   
# '''Sistema de diálogo hablado aplicado al aprendizaje de lenguas'''. José Fco. Quesada Moreno   
# '''Sistema experto para la diagnosis y tratamiento de la migraña'''. Fco. Jesús Martín Mateos  
# '''Sistema experto para la diagnosis y tratamiento de la migraña'''. Fco. Jesús Martín Mateos  
 +
# '''Sistemas P y RETE'''. Carmen Graciani Díaz y Agustín Riscos Núñez 
# '''Sistemas complejos y machine learning'''. Fernando Sancho Caparrini
# '''Sistemas complejos y machine learning'''. Fernando Sancho Caparrini
# '''Sistemas híbridos O-minimales'''. Fco. Félix Lara Martín
# '''Sistemas híbridos O-minimales'''. Fco. Félix Lara Martín
# '''Sistemas multiagentes aplicados a problemas distribuidos'''. Fernando Sancho Caparrini  
# '''Sistemas multiagentes aplicados a problemas distribuidos'''. Fernando Sancho Caparrini  
-
# '''Sistemas P y RETE'''. Carmen Graciani Díaz y Agustín Riscos Núñez 
 
# '''Teoría algorítmica de la información'''. Fernando Sancho Caparrini
# '''Teoría algorítmica de la información'''. Fernando Sancho Caparrini
-
# '''Teoría de Categorías y mónadas'''. Joaquín Borrego Díaz
+
# '''Teoría de categorías y mónadas'''. Joaquín Borrego Díaz
# '''Teoría de grafos formalizada usando ACL2'''. José Luis Ruiz Reina
# '''Teoría de grafos formalizada usando ACL2'''. José Luis Ruiz Reina
 +
# '''Una herramienta de ayuda para el aprendizaje de la lógica epistémica multiagente'''. Andrés Cordón Franco
# '''Validación experimental con PLingua'''. Carmen Graciani Díaz y Agustín Riscos Núñez    
# '''Validación experimental con PLingua'''. Carmen Graciani Díaz y Agustín Riscos Núñez    
# '''Verificación formal de algoritmos en Isabelle/HOL'''. José Antonio Alonso Jiménez y María José Hidalgo Doblado 
# '''Verificación formal de algoritmos en Isabelle/HOL'''. José Antonio Alonso Jiménez y María José Hidalgo Doblado 

Revisión de 09:18 22 nov 2016

Contenido

Este módulo de 12 ECTS es obligatorio para todos los alumnos y tiene como objetivo que el alumnado pueda poner en práctica las competencias adquiridas mediante el desarrollo de un trabajo original que deberá incorporar siempre una componente de investigación. Para ayudar al alumnado en el desarrollo de este trabajo se ofrecen tutorías personalizadas.

Programa de la asignatura

Ofertas de trabajos para el curso 2016-17

La lista de trabajos propuestos para el curso 2016-17, junto con sus directores, es la siguiente.

  1. Adecuación y completitud de la basic fuzzy logic. Joaquín Borrego Díaz
  2. Aleatoriedad algorítmica. Fernando Sancho Caparrini
  3. Algoritmos funcionales para grafos. Fernando Sancho Caparrini
  4. Analizar, desde el análisis formal de conceptos, la complejidad económica. Joaquín Borrego
  5. Análisis del transcriptoma de solanum tuberosum (patata) usando secuenciación de nueva generación. Francisco J. Romero Campero y José María Romero Rodríguez
  6. Análisis, implementación y aplicación de algoritmos de scikit_learn. José Luis Ruiz Reina
  7. Aplicaciones de deep learning al reconocimiento de imágenes. Miguel Ángel Gutiérrez Naranjo
  8. Aplicaciones de aprendizaje automático a un caso de estudio propuesto por el alumno. Miguel Ángel Gutiérrez Naranjo
  9. Aplicación de SIG para la visualización de resultados de simulación en modelos bio-inspirados. Mario de J. Pérez Jiménez y Luis Valencia
  10. Aplicación de técnicas de deep learning al diseño de sistemas de diálogo hablado. José Fco. Quesada Moreno 
  11. Aplicación de técnicas de ingeniería del lenguaje natural y ontologías a la enseñanza y aprendizaje de idiomas. José Fco. Quesada Moreno
  12. Aprendizaje no supervisado en membrane computing. Luis Valencia Cabrera
  13. Ciencia del dato aplicada: competiciones en Kaggle. Álvaro Romero Jiménez
  14. Computación con reservorios (reservoir computing). Fernando Sancho Caparrini
  15. Computación probabilística: modelos y lenguajes. Fernando Sancho Caparrini
  16. Desarrollo de un plugin para Protégé Desktop 5.x. Antonia M. Chávez
  17. Desarrollo de un sistema anti-SPAM usando scikit_learn y nltk. José Luis Ruiz Reina
  18. Desarrollo de un sistema basado en conocimiento (sistema experto) a propuesta del alumno. Fco. Jesús Martín Mateos
  19. Diseño automático de sistemas P. Álvaro Romero Jiménez
  20. Diseño e implementación de una ontología. Antonia M. Chávez
  21. Divulgación de MeCoSim. Carmen Graciani Díaz y Agustín Riscos Núñez 
  22. El Análisis formal de conceptos como herramienta predictiva. Joaquín Borrego Díaz
  23. El Análisis formal de conceptos como modelado de cognición. Joaquín Borrego Díaz
  24. El problema de las cartas rusas. Protocolos incondicionalmente seguros. Andrés Cordón Franco
  25. Enjambre de NAOs. Agustín Riscos Nuñez
  26. Estudio de la aritmética de Presburger. Fco. Félix Lara Martín
  27. Formalizaciones de pruebas de teoremas matemáticos en Isabelle/HOL. José Antonio Alonso Jiménez y María José Hidalgo Doblado 
  28. Fundamentos de metaheurísticas y optimización. Fernando Sancho Caparrini
  29. Fundamentos matemáticos del machine learning. Fernando Sancho Caparrini
  30. Gemas de teoría de la computación. Fernando Sancho Caparrini
  31. Ingredientes Fuzzy en sistemas P. Agustín Riscos Nuñez
  32. Integración de múltiples fuentes de información en sistemas avanzados de diálogo en lenguaje natural. José Fco. Quesada Moreno
  33. Inteligencia artificial ética: Aplicaciones al bien común. Fernando Sancho Caparrini
  34. Interfaces avanzadas para sistemas tutoriales inteligentes: Evaluación y análisis en sistemas de diálogo. José Fco. Quesada Moreno 
  35. Interfaz conversacional hablado en dispositivos móviles para control domótico. José Fco. Quesada Moreno 
  36. Interpretación algebro-geométrica del análisis formal de conceptos. Joaquín Borrego Díaz
  37. Lógica computacional para razonar con implicaciones y reglas de asociación. Joaquín Borrego Díaz
  38. Lógicas rebatible y plausible. Fco. Félix Lara Martín
  39. Membrane Computing como marco para la resolución de problemas de optimización. Luis Valencia Cabrera
  40. Modelización de la evolución de redes génicas según procesos de innovación, amplificación y divergencia Francisco J. Romero Campero
  41. Modelización de sistemas económicos mediante sistemas celulares. Luis Valencia Cabrera
  42. Modelización gráfica mediante sistemas P. Álvaro Romero Jiménez
  43. Modelos generativos en machine learning. Fernando Sancho Caparrini
  44. NAO experto. Agustín Riscos Nuñez
  45. Neural Turing Machine. Fernando Sancho Caparrini
  46. PDP systems: un marco para la modelización computacional. Aplicaciones al estudio de la dinámica de ecosistemas reales. Mario de J. Pérez Jiménez.
  47. Programación genética basada en reglas. Fco. Jesús Martín Mateos
  48. Redes neuronales recurrentes. Fernando Sancho Caparrini
  49. Reducción de la dimensionalidad en machine learning. Fernando Sancho Caparrini
  50. Refinamientos del algoritmo DPLL. Fco. Félix Lara Martín
  51. Reglas parametrizadas con PLinguaCore. Carmen Graciani Díaz y Agustín Riscos Núñez 
  52. SAT bajo la regla de independencia. Joaquín Borrego
  53. Simulación del crecimiento de tumores mediante autómatas celulares. Miguel Ángel Gutiérrez Naranjo
  54. Simulación multiagente de monedas virtuales. Joaquín Borrego Díaz
  55. Sistema de diálogo hablado aplicado al aprendizaje de lenguas. José Fco. Quesada Moreno 
  56. Sistema experto para la diagnosis y tratamiento de la migraña. Fco. Jesús Martín Mateos
  57. Sistemas P y RETE. Carmen Graciani Díaz y Agustín Riscos Núñez 
  58. Sistemas complejos y machine learning. Fernando Sancho Caparrini
  59. Sistemas híbridos O-minimales. Fco. Félix Lara Martín
  60. Sistemas multiagentes aplicados a problemas distribuidos. Fernando Sancho Caparrini
  61. Teoría algorítmica de la información. Fernando Sancho Caparrini
  62. Teoría de categorías y mónadas. Joaquín Borrego Díaz
  63. Teoría de grafos formalizada usando ACL2. José Luis Ruiz Reina
  64. Una herramienta de ayuda para el aprendizaje de la lógica epistémica multiagente. Andrés Cordón Franco
  65. Validación experimental con PLingua. Carmen Graciani Díaz y Agustín Riscos Núñez 
  66. Verificación formal de algoritmos en Isabelle/HOL. José Antonio Alonso Jiménez y María José Hidalgo Doblado