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

Trabajo Fin de Máster

De Master

(Diferencias entre revisiones)
(Contenido)
Línea 4: Línea 4:
== [http://www.us.es/estudios/master/master_M095/asignatura_50950015 Programa de la asignatura] ==
== [http://www.us.es/estudios/master/master_M095/asignatura_50950015 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.
 +
 +
# '''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
 +
# '''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 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
 +
# '''Desarrollo de un sistema basado en conocimiento (sistema experto) a propuesta del alumno'''. Fco. Jesús Martín Mateos
 +
# '''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
 +
# '''Computación con reservorios (Reservoir Computing)'''. 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 sistema anti-SPAM usando scikit_learn y nltk'''. José Luis Ruiz Reina
 +
# '''Diseño automático de sistemas P'''. Álvaro Romero Jiménez
 +
# '''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 
 +
# '''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
 +
# '''Enjambre de NAOs'''. Agustín Riscos Nuñez
 +
# '''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 
 +
# '''Fundamentos de metaheurísticas y optimización'''. Fernando Sancho Caparrini
 +
# '''Fundamentos matemáticos del Machine Learning'''. Fernando Sancho Caparrini
 +
# '''Gemas de teoría de la computación'''. Fernando Sancho Caparrini
 +
# '''Ingredientes Fuzzy en sistemas P'''. Agustín Riscos Nuñez
 +
# '''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
 +
# '''Lógicas rebatible y plausible'''. Fco. Félix Lara Martín
 +
# '''Modelización de sistemas económicos mediante sistemas celulares'''. Luis Valencia Cabrera
 +
# '''Modelización gráfica mediante sistemas P'''. Álvaro Romero Jiménez
 +
# '''Modelos generativos en machine learning'''. Fernando Sancho Caparrini
 +
# '''NAO experto'''. Agustín Riscos Nuñez
 +
# '''Neural Turing Machine'''. Fernando Sancho Caparrini
 +
# '''Programación genética basada en reglas'''. Fco. Jesús Martín Mateos
 +
# '''Redes neuronales recurrentes'''. Fernando Sancho Caparrini
 +
# '''Reducción de la dimensionalidad en machine learning'''. Fernando Sancho Caparrini
 +
# '''Refinamientos del algoritmo DPLL'''. Fco. Félix Lara Martín
 +
# '''Reglas parametrizadas con PLinguaCore'''. Carmen Graciani Díaz y Agustín Riscos Núñez 
 +
# '''SAT bajo la regla de independencia'''. Joaquín Borrego
 +
# '''Simulación del crecimiento de tumores mediante autómatas celulares'''. Miguel Ángel Gutiérrez Naranjo
 +
# '''Simulación multiagente de monedas virtuales'''. Joaquín Borrego Díaz
 +
# '''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
 +
# '''Sistemas complejos y machine learning'''. Fernando Sancho Caparrini
 +
# '''Sistemas híbridos O-minimales'''. Fco. Félix Lara Martín
 +
# '''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 de Categorías y mónadas'''. Joaquín Borrego Díaz
 +
# '''Teoría de grafos formalizada usando ACL2'''. José Luis Ruiz Reina
 +
# '''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 

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