Listar MA - Conferencias Científicas por centro "E.T.S.I. Informática"
Mostrando ítems 1-8 de 8
-
Complejidad y computabilidad desde un punto de vista lógico
(2017-04-28)En esta charla trataremos temas clasicos de complejidad y computabilidad visto desde un punto de vista lógico. En particular, veremos como a cada clase de complejidad corresponde, en general, un problema de satisfiactibilidad ... -
Definición de particiones difusas condicionadas usando transformadas difusas
Madrid-Labrador, Nicolás Miguel
; Díaz Gómez, Sergio (2019-02-22)
Las particiones difusas pueden definirse de diferentes formas, pero casi siempre, la definición se efectúa atendiendo a las características generales de la totalidad del universo. En este trabajo se presenta un método para ... -
F-transforms for the definition of contextual fuzzy partitions
Madrid-Labrador, Nicolás Miguel; Díaz Gómez, Sergio (2019-02-22)
Fuzzy partitions can be defined in many different ways, but usually, it is done taking into account the whole universe. In this paper, we present a method to define fuzzy partitions according to those elements in the ... -
Liderazgo STEMATESELLA
(2019-05-16)Conectar de un modo continuo y directo a jóvenes que estudien el grado o el máster en STEM con científicas y/o empresarias con el objeto de que las sénior las ayuden a emprender una carrera científica o empresarial, usando ... -
Liderazgo steMatEsElla (Tercera sesión)
(2019-09-16)En 2019 se inicia la segunda edición del programa MatEsElla. El programa constará de cuatro fases con las que se tratará de dotar a las participantes de las competencias necesarias para una trayectoria brillante: un programa ... -
Liderezgo steMatEsElla (segunda sesión)
(2019-06-20)Segunda sesión del programa LIDERAZGO STEMATESELLA que tiene como objetivo conectar de un modo continuo y directo a jóvenes que estudien el grado o el máster en STEM con científicas y/o empresarias con el objeto de que las ... -
Modelado y descripción de series de tiempo utilizando técnicas basadas en la lógica difusa
(2019-10-28)La generación de descripciones lingüísticas a partir de datos en bruto es una línea de investigación importante actualmente. Este tipo de descripciones se utilizan, por ejemplo, en asistentes virtuales como Alexa, Google ... -
Reasoning in Interval Temporal Logics - New Frontiers
(2014-10-27)In this talk, we are going to survey the basic elements of temporal logics based on intervals instead of points. We shall first give the most fundamental definitions, with particular attention to the parameters that ...