Search

[ES]El Máster Universitario en Sistemas Inteligentes de la Universidad de Salamanca tiene como principal objetivo promover la iniciación de los estudiantes en el ámbito de la investigación. El congreso organizado por el Departamento de Informática y Automática que se celebra dentro del Máster en Sistemas Inteligentes de la Universidad de Salamanca proporciona la oportunidad ideal para que sus estudiantes presenten los principales resultados de sus Trabajos de Fin de Máster y obtengan una realimentación del interés de los mismos. La decimocuarta edición del workshop “Avances en Informática y Automática”, correspondiente al curso 2019 - 2020, ha sido un encuentro interdisciplinar donde se han presentado trabajos pertenecientes a un amplio abanico de líneas de investigación, desde los sistemas multiagente y la visualización de la información hasta la minería de datos pasando por otros campos relacionados. Todos los trabajos han sido supervisados por investigadores de reconocido prestigio pertenecientes a la Universidad de Salamanca, proporcionando el marco idóneo para sentar las bases de una futura tesis doctoral. Entre los principales objetivos del congreso se encuentran: - Ofrecer a los estudiantes un marco donde exponer sus primeros trabajos de investigación. - Proporcionar a los participantes un foro donde discutir ideas y encontrar nuevas sugerencias de compañeros, investigadores y otros asistentes a la reunión. - Permitir a cada estudiante una realimentación de los participantes sobre su trabajo y una orientación sobre las futuras direcciones de investigación. - Contribuir al desarrollo del espíritu de colaboración en la investigación.

Cada día se vuelve más común el uso del dron en España, tanto de manera particular como de uso profesional por una empresa. Sus usos están dentro de muchos de nuestros ámbitos del día a día como vigilar las calles, fumigar o desinfectar cultivos, labores de búsqueda, uso como herramienta fotográfica o dentro de espectáculos. El ámbito de este proyecto se propone su uso como herramienta para ayudar en situaciones de rescate o rastreo de zonas poco accesibles. El objetivo de este trabajo ha sido crear una aplicación la cual permita al usuario, dando los datos del dron y de la zona que quiere explorar, crear un fichero compatible con el controlador del dron que contenga una serie de waypoints, colocados dentro del área para que el dron los recorra. Estos waypoints habrán sido calculados de manera que el recorrido realizado por el dron sea el más eficiente posible. La herramienta desarrollada se ha realizado en entorno web ya que de esta manera se puede asegurar que funciona en una gran variedad de dispositivos sin tener en cuenta sus especificaciones. La aplicación se ha diseñado con una interfaz sencilla e intuitiva para que los usuarios puedan adaptarse rápidamente a ella. Para el desarrollo se ha usado Javascript, HTML, CSS, Bootstrap y algunas API de la suite de Google como Maps y Geolocator. The use of drones is becoming more and more common in Spain, both for private and professional use by companies. Its uses are in many of our day-to-day areas such as monitoring the streets, fumigating or disinfecting crops, search work, use as a photographic tool or in performances. The scope of this project proposes its use as a tool to help in situations of rescue or tracking of inaccessible areas. The aim of this work has been to create an application which allows the user, given the data of the drone and the area to be explored, to create a file compatible with the drone controller which contains a series of waypoints, placed within the area for the drone to travel through. These waypoints will have been calculated so that the route taken by the drone is as efficient as possible. The tool has been developed in a web environment as this way it can be ensured that it works on a wide variety of devices regardless of their specifications. The application has been designed with a simple and intuitive interface so that users can quickly adapt to it. Javascript, HTML, CSS, Bootstrap and some APIs from the Google suite such as Maps and Geolocator have been used for the development.

La Sociedad del Conocimiento en la que estamos sumidos desde hace dos décadas se caracteriza por el crecimiento de la información accesible a través de las TIC. Este hecho es significativo en la Educación Superior, dada la importancia del desarrollo del espíritu crítico y la decidida apuesta por el autoaprendizaje y la alfabetización digital. Conscientes de esta realidad, durante los cursos 2017-2018 y 2018-2019, parte del personal técnico de las bibliotecas y del profesorado de cuatro grados y dos posgrados de Artes y Humanidades de la Universidad de Salamanca (USAL) creó un grupo de innovación docente, reconocido por la mencionada Alma Mater, centrado en la alfabetización informacional. Así, éste ha hecho uso de los servicios y de las herramientas disponibles en esta universidad para impartir una formación teórico-práctica en estrategias de recursos de búsqueda, organización, gestión e incorporación de la información y las referencias halladas. Con ello, se ha logrado una notable mejora y satisfacción en la educación del alumnado, evaluable no sólo a través de encuestas sistemáticamente aplicadas, sino en las evidencias de su aprendizaje en la elaboración y en la calificación de trabajos de Fin de Grado y Máster. En definitiva, con esta labor se constata la necesidad de una verdadera planificación de formación en alfabetización informacional en la Educación Superior.

Memoria ID-160. Ayudas de la Universidad de Salamanca para la innovación docente, curso 2018-2019.

La irrupción de las nuevas tecnologías en el marco académico ha permitido incorporar en los últimos años toda una serie de recursos de Internet en las aulas universitarias, profundizando de manera dinámica y colaborativa en los contenidos expuestos en clase. Entre esos recursos informáticos, plataformas online y aplicaciones para móviles o tablets, las redes sociales son una de las herramientas más populares entre un alumnado acostumbrado a desenvolverse con destreza en las mismas. Pinterest, desde su puesta en marcha en 2010, destaca en este panorama como una de las alternativas más interesantes por estar basada por completo en la selección de imágenes en tableros, prestando una atención a lo visual mucho mayor que el resto de redes. Este “coleccionismo de imágenes” posee una utilidad incuestionable en el ámbito académico, motivo por el cual el equipo de profesores y profesoras que integran el Proyecto de Innovación Docente Pinterest como instrumento de aprendizaje de la Historia del Arte, subvencionado por la Universidad de Salamanca en el presente curso 2017-2018, han decidido investigar las ventajas del empleo de Pinterest en esta disciplina. En la presente comunicación se exponen los objetivos de dicho proyecto, el procedimiento con que se ha llevado a cabo y los resultados alcanzados en el marco de varias asignaturas pertenecientes al Grado de Historia del Arte.

Memoria ID-0149. Ayudas de la Universidad de Salamanca para la innovación docente, curso 2017-2018.

El empleo de gestores bibliográficos se ha convertido en los últimos años en una práctica de incuestionable utilidad en el ámbito académico. La posibilidad de crear, organizar y compartir nuestra propia base de datos de referencias bibliográficas a partir de consultas realizadas a páginas web o catálogos online de bibliotecas supone un ahorro considerable de tiempo y esfuerzo, así como una garantía de que tanto las citas al pie como los apéndices bibliográficos de los trabajos de investigación carecerán de errores al poder ser incorporados de manera automatizada y personalizados conforme a los requisitos del comité organizador de un congreso, de una revista científica o de una determinada editorial. A fin de dar a conocer a sus estudiantes las ventajas que suponen, un equipo formado por profesores y profesoras de la Facultad de Geografía e Historia de la Universidad de Salamanca está realizando en los últimos años una serie de actuaciones dedicadas a familiarizarlos con gestores como RefWorks, EndNote, Zotero y Mendeley, concretamente a los que se encuentran realizando sus Trabajos de Fin de Grado en los grados de Historia, Historia del Arte, Humanidades, Geografía e Historia y Ciencias de la Música. En la presente comunicación se exponen los resultados de dicho proyecto y los pasos que se han seguido para poder llevarlo a cabo.

Memoria ID-0008. Ayudas de la Universidad de Salamanca para la innovación docente, curso 2016-2017.

[ES]En este trabajo nos centraremos en los autómatas celulares (ACs) reversibles. Estos ACs se ca-racterizan por el hecho de que cada configuración tiene un único predecesor. Por tanto, dada cualquier configuración, podemos determinar su evolución hacia atrás en el tiempo. Fundamentalmente, los ACs reversibles son muy útiles para modelar sistemas dinámicos que son reversibles en el tiempo, en particular, sistemas que evolucionan de acuerdo con las leyes de la mecánica clásica. En el primer capítulo daremos la definición matemática de AC, estudiaremos la topología del espacio de configuraciones y probaremos el teorema de Curtis-Hedlund-Lyndon que caracteriza a los ACs. En el segundo capítulo veremos la definición de AC reversible y estudiaremos varias propiedades relacionadas con la inyectividad y la epiyetividad para simplificar la condición de reversibilidad. En el tercer capítulo veremos el teorema más conocido sobre los ACs, el teorema del Jardín del Edén, relacionado con ACs que tiene configuraciones sin predecesores. Dedicaremos el cuarto capítulo a un estudio más detallado de los ACs unidimensionales. Primero veremos que es posible simplificar la reversibilidad de un AC a su inyectividad sobre configuraciones periódicas y posteriormente usaremos gráficos de Bruijn para estudiar a los ACs. En el quinto capítulo trataremos los ACs particionados, los cuales resultan un método simple de construir ACs reversibles, y mostraremos que los ACs reversibles unidimensionales son Turing completos. En el sexto y último capítulo discutiremos las posibles aplicaciones de los ACs reversibles., [EN]In this work we will focus on reversible cellular automata (RCA). RCA are characterized by the fact that every configuration has a single predecessor. Therefore, given any configuration, we can determine its evolution backwards in time. Crucially, RCA are very useful for modeling dynamical systems which are reversible in time, in particular, systems that evolve according to the laws of classical mechanics. In the first chapter we will give the mathematical definition of CA, we will study the topology of the configuration space and we will prove the Curtis-Hedlund-Lyndon theorem that characterizes CA. In the second chapter we will see the defini-tion of RCA and we will study various properties relating to injectivity and surjectivity in order to simplify the reversibility condition. In the third chapter we will see the best known theorem about CA, the Garden of Eden theorem, relating to CA which have configurations without pre-decessors. We will dedicate the fourth chapter to a more detailed study of one-dimensional CA. First we will see that it is possible to simplify the reversibility of CA to their injectivity over periodic configurations and then we will use de Bruijn graphs to study these CA. In the fifth chapter we will discuss partitioned CA, which are a simple method of constructing RCA, and we will show that one-dimensional RCA are Turing complete. In the sixth and final chapter we will discuss possible applications of RCA.