modified on 16 may 2017 at 07:21 ••• 3.116 views

Trabajo Fin de Máster

De Master

Contenido

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.

Normativa de Trabajo Fin de Máster

Como desarrollo de la normativa de trabajo fin de máster general de la Universidad de Sevilla, el Máster dispone de una normativa específica de Trabajo Fin de Máster, que especifica los mecanismos de adjudicación de Trabajo Fin de Máster y los criterios de evaluación empleados.

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