Departamento de Matemática

	Investigación

	Proyectos de Investigación
	Proyectos acreditados en incentivos y/o subsidiados por la Sec. Gral. de Ciencia y Tecnología - UNS

	Teoría de la prueba de lógicas no clásicas
	Inicio: 01/01/2026 Finalización: 31/12/2029 +
	Grupo de investigación: FIGALLO, MARTÍN (Director) ARCE PISTONE, VICTORIA NACCARATO SANCHEZ, CARLA NATALIA PELAITAY, GUSTAVO ANDRÉS PEZZINI MARTINEZ, LUIS ADRIÁN SLAGTER, JUAN SEBASTIAN Resumen: La teoría de la prueba no clásica estudia sistemas sintácticos formales asociados a lógicas alternativas a la clásica, tales como lógicas modales, intuicionistas, relevantes, paraconsistentes, temporales, entre otras. Su interés se funda en que permite analizar y modelar inferencias y demostraciones formales que la lógica clásica no puede describir adecuadamente. Estos sistemas formales (secuentes, deducción natural etc) ofrecen respuestas a problemas fundamentales sobre la naturaleza de la inferencia, la noción de consecuencia lógica y el significado de los conectivos. Por ejemplo, la lógica intuicionista refleja un enfoque constructivista de la matemática, mientras que las lógicas paraconsistentes buscan que se permitan teorías contradictorias no explosivas. Este proyecto se centra en el estudio de la teoría de prueba de diversos sistemas lógicos no clásicos con semánticas algebraicas. Buscamos presentaciones sintácticas por cálculos de secuentes y/o de deducción natural con la propiedad de eliminación de corte y normalización de pruebas, respectivamente. Esto nos permitirá probar propiedades como la propiedad de la subfórmua, el principio de inversión, la consistencia y la decidibilidad de las lógicas estudiadas.

	Álgebra y categorias aplicados a lógica y juegos
	Inicio: 01/01/2026 Finalización: 31/12/2029 +
	Grupo de investigación: VIGLIZZO, IGNACIO DARÍO (Director) CORNEJO, JUAN MANUEL GALLARDO, ANDRÉS HELT, PAULA SOLEDAD TOHMÉ, FERNANDO Resumen: Este proyecto desarrollará tres líneas interconectadas de investigación, basadas en la teoría de categorías, la lógica algebraica y la semántica coalgebraica, para el análisis de juegos, sistemas multiagente y procesos de decisión. La primera línea aborda problemas de lógica algebraica. Se investigarán los subreductos y expansiones de álgebras de semi-Heyting y los grupoides con cero implicativos. Adicionalmente, se buscará determinar la estructura de las álgebras de Heyting n-valentes libres, conocidas como T_n, y su conexión con lógicas multivaluadas. La segunda línea se centra en nuevas aplicaciones de la teoría de categorías. Se utilizarán herramientas categóricas, como haces (sheaves) y pre-haces (presheaves), para estructurar y optimizar la toma de decisiones, la planificación de procesos en sistemas ciberfísicos y el desarrollo de modelos de Machine Learning . Se explorarán construcciones como las categorías de juegos para formalizar la interacción estratégica y computacional. La tercera línea se enfoca en la lógica modal coalgebraica para sistemas multiagente. Se usarán coálgebras para modelar las interacciones dinámicas y los estados de conocimiento de los agentes. El objetivo es establecer formalmente jerarquías de conocimiento, modeladas mediante conjuntos parcialmente ordenados (posets), y deducir los axiomas modales que caracterizan dichas estructuras de información asimétrica. El impacto esperado del proyecto es la creación de un puente formal entre estas disciplinas, la publicación de resultados en revistas reconocidas de la especialidad y el desarrollo de una base matemática rigurosa para el análisis de sistemas complejos en inteligencia artificial, economía y ciencias de la computación.

	Análisis textural de imágenes mediante métodos estadísticos y de aprendizaje profundo
	Inicio: 01/01/2026 Finalización: 31/12/2029 +
	Grupo de investigación: PISTONESI, SILVINA MARTINEZ, JORGE ALBERTO (Director) ARRIOLA, JUAN MANUEL CARRIZO, GABRIEL ANÍBAL DÍAZ, FERNANDO IGNACIO FLESIA, ANA GEORGINA FLORES YAPU, CINTIA VANESA MANZOTTI GALIÉ, GIULIANA MENDONCA, MARIA DE GRACIA RANILLA, MARIA LORENA ROMAN, LUCRECIA JULIANA SCHLAPS, ERICA SOSA, WANDA BELEN Resumen: El presente proyecto amplía la línea de investigación iniciada en el PGI-UNS-24/ZL21, orientada al análisis y clasificación de texturas en imágenes. Su propósito es integrar enfoques estadísticos y de aprendizaje profundo con el fin de desarrollar metodologías más robustas y generalizables para el reconocimiento de patrones texturales visuales.Este estudio profundiza la evaluación de los descriptores locales Robust Circular Parts LBP median y Robust Circular Parts LBP trimmed mean (RCPLBPmdn y RCPLBPtm), previamente analizados bajo condiciones de ruido gaussiano, incorporando ahora su análisis frente a distorsiones provocadas por otros tipos de ruidos, compresión JPEG y degradaciones propias del proceso de adquisición de imágenes, y comparando su desempeño con modelos convolucionales contemporáneos.La propuesta se distingue por su enfoque comparativo y complementario, orientado a identificar las fortalezas y limitaciones de ambos paradigmas y avanzar hacia estrategias híbridas que combinen la interpretabilidad y eficiencia de los descriptores estadísticos con la capacidad representacional de las redes neuronales convolucionales.En el contexto del convenio marco general establecido entre la UNS y la ONG-Karumbé (Res.CSU-700/2025), y como parte de las actividades de cooperación científica y técnica acordadas, se prevé la construcción de una base propia de imágenes de tortugas marinas que frecuentan el estuario del Río de la Plata y las aguas bonaerenses, tortuga verde (Chelonia mydas), tortuga cabezona (Caretta caretta) y tortuga laúd (Dermochelys coriacea), obtenidas mediante vuelos con dron. Esta base permitirá abordar el reconocimiento individual de ejemplares y servirá tanto para validar experimentalmente los modelos propuestos como para contribuir al desarrollo de herramientas no invasivas de identificación.

	Aspectos Geométricos y computacionales de Mecánica y Teorías de campo
	Inicio: 01/01/2023 Finalización: 31/12/2026 +
	Grupo de investigación: CAPRIOTTI, SANTIAGO (Director) DÍAZ, VIVIANA ALEJANDRA FERRARO, SEBASTIÁN JOSÉ GARCIA TORAÑO, EDUARDO QUIJÓN, GUADALUPE SALOMONE, LEANDRO MARTIN ZUCCALLI, MARCELA Resumen: El presente proyecto se dedica al estudio de aspectos teóricos y numéricos de sistemas mecánicos y teorías en campo. Desde el punto de vista teórico, se intentará alcanzar una comprensión más profunda de los esquemas de reducción Lagrangiana utilizando la formulación de problemas variacionales de Griffiths. De igual forma, se explorarán condiciones que resulten suficientes para la reducción de estructuras policosimplécticas invariantes bajo una acción de un grupo de Lie. Desde el punto de vista computacional, existen dos líneas principales de ataque: Por una parte, mediante el diseño de integradores geométricos, profundizando en el análisis de una estrategia de paralelización para resolver problemas variacionales discretos. Por el otro, utilizando redes neuronales para hallar soluciones numéricas al problema inverso en Mecánica. En este caso, se propone incorporar las leyes de la mecánica dentro del modelo de aprendizaje, utilizando las ecuaciones de movimiento e incluso considerando restricciones y simetrías, de manera tal que todas las aproximaciones generadas por la red neuronal se adhieran a las leyes de la física, tengan codificada la simetría y conserven la energía del sistema, esperando que de esa manera la red neuronal conduzca a una considerable mejora en la predicción respecto al caso de una red neuronal.

	Modelos matemáticos para superconductividad nemática: validación rigurosa y tratamiento numérico
	Inicio: 01/01/2024 Finalización: 31/12/2027 +
	Grupo de investigación: DE LEO, MARIANO FERNANDO (Director) BIEDMA, NESTOR HUGO BORGNA, JUAN PABLO DIAZ MARTINEZ, MARÍA ELENA HUENCHUL, CRISTIAN HÉCTOR RAVIOLA, LISANDRO ANÍBAL SACOMANI, SUSANA GRACIELA VIDAL, DAMARIS JOANA Resumen: En este proyecto estudiaremos el comportamiento de un medio nemático superconductor bajo la acción de un campo electromagnético externo. Esto incluye: deducir las ecuaciones del modelo matemático general, típicamente, en la forma de un sistema de ecuaciones elípticas (cuando el campo magnético externo es constante) o parabólicas (campo externo variable) acopladas con no linealidades de tipo polinomial, validar rigurosamente el modelo obtenido, especializarlo en ciertas configuraciones simétricas realizables en el laboratorio (una placa delgada y un cilindro hueco), discutir cualitativamente sus soluciones en función de los parámetros de la configuración y caracterizar (o describir) las regiones para las cuales la respuesta presenta ambas características. Asimismo, formará parte del estudio mejorar tanto el diseño de las rutinas integradoras de tipo aditivo, incluyendo adaptatividad y paralelización, como la accesibilidad al paquete integrador de Métodos Afines, que hemos escrito en Python y que está disponible en GitHub.

	VARIEDADES Y CUASIVARIEDADES EN ÁLGEBRA DE LA LÓGICA
	Inicio: 01/01/2024 Finalización: 31/12/2027 +
	Grupo de investigación: DÍAZ VARELA, JOSÉ PATRICIO (Director) ALVAREZ, ROBERTO MATIAS BUSS, SEBASTIÁN ANDRÉS CASTAÑO, DIEGO NICOLÁS CIMADAMORE, CECILIA ROSSANA CORNEJO, JUAN MANUEL RUEDA, LAURA ALICIA SAVOY GONZALEZ, GABRIEL FELIX THOME COPPO, NÉSTOR JAVIER VERDECCHIA, MELINA VANINA Resumen: La finalidad de este proyecto es continuar con la investigación realizada en temas vinculados al álgebra de la lógica, con el álgebra universal y la teoría de modelos como marco general. Uno de los objetivos importantes de este proyecto es la formación de jóvenes investigadores, y se prevé que en el período del desarrollo del proyecto se culmine la tesis doctoral de tres de los investigadores más jóvenes del proyecto, actualmente becarios doctorales de CONICET. Otro de los objetivos es la consolidación de la colaboración de este grupo y grupos de investigación de la Universidad Nacional de Córdoba (Dr. Miguel Campercholi), Universidad de Barcelona (Dr. Joan Gispert) y Universidad Politécnica de Valencia (Dr. Néstor Thomé). Esta colaboración ha sido y será de gran importancia en el desarrollo de los temas investigados; la interacción entre los distintos integrantes de cada grupo ha servido para ampliar el espectro, la calidad y cantidad de problemas abordados, y para aportar una formación más amplia y sólida a los integrantes más jóvenes del proyecto.Los seis temas principales de investigación que se abordarán están indicados en los objetivos desarrollados en el punto 3c). Éstos son:1)Estudio de núcleos en subvariedades de reticulados residuados2)Cuasivariedades de MV-álgebras y BL-álgebras3)La lógica de primer orden de las t-normas continuas y su fragmento en una variable4)Estudio algebraico de la variedad de álgebras de Gödel monádicas5)Variedades asociadas a p-álgebras dobles6)Órdenes matriciales y estructuras ordenadas sobre matricesEn todos estos objetivos, se han venido desarrollando tareas de investigación con resultados parciales plasmados en artículos recientes, por lo que existe un conocimiento previo de los temas involucrados que ha permitido conjeturar en cada caso propiedades que necesitan un tratamiento más profundo para su elaboración.En el período del proyecto se prevé realizar al menos un par de trabajos por cada objetivo, comunicar y presentar a congresos nacionales e internacionales todos los resultados obtenidos.

	Teoría de modelos no clásica II
	Inicio: 01/01/2024 Finalización: 31/12/2027 +
	Grupo de investigación: FIGALLO, MARTÍN (Director) GALLARDO, CARLOS ALBERTO SLAGTER, JUAN SEBASTIAN Resumen: Proponemos desarrollar la Teoría de Modelos para las versiones de primero orden de la lógica de da Costa Cw y las extensiones estudiadas recientemente usando las F-estructuras (o estructuras de Fidel), como fue probado estas lógicas no son algebrizables. Como asi también se pretende tratar con la familia de lógicas no algebrizables de la inconsistencia formal (LFI) estudiadas en el libro de Carnielli y Coniglio de 2016. Estas lógicas permiten probar resultados de completitud y correctitud como asi también probar la decibildad de los sistemas por medio de las F-estructuras. Es importante remarcar que no hay en la literatura una propuesta similar debido a que estas estructuras permanecieron sin el interés por parte de los investigadores por muchos años. En la actualidad existen estudios de la teoría de modelos por medios de las semánticas algebraicas y semánticas de los mundos posibles de Kripke entre otros. En nuestra propuesta pretendemos centrarnos en sistemas lógicos que no son algebrizables. Otros temas de ¡nterés serán desarrollar una teoria de representaciones para F-estructuras genéricas, generalizando las desarrolladas para variedades y cuasivariedades de álgebras por medio de las álgebras subdirectamente irreducibles y el Teorema de Representación subdirecta de Birkhoff.

	Análisis armónico y global
	Inicio: 01/01/2023 Finalización: 31/12/2026 +
	Grupo de investigación: LAURET, EMILIO AGUSTÍN (Director) COLANTONIO, MAURO IBAÑEZ FIRNKORN, GONZALO HUGO Resumen: Se considerarán ciertos aspectos específicos en el análisis global de variedades homogéneas, en el análisis armónico de espacios euclídeos, y en el análisis armónico de grupos de Lie compactos. En el primer caso, se estudiará el problema de cuándo el espectro del operador de Laplace-Beltrami determina a una variedad Riemanniana homogénea entre las demás variedades Riemannianas homogéneas. En el segundo caso se estudiará bajo qué condiciones ciertos extensiones naturales del operator de Hardy-Littlewoodo y la maximal fraccionaria en el espacio euclídeo asociados a matrices invertibles son continuos. Por último, se pretente extender resultados clásicos de Coiffman, de Germán y Weiss sobre multiplicadores de Fourier en el grupo SU(2) a otros grupos de Lie compactos.

	Avances en Estadística: Teoría, Aplicaciones y Estrategias Didácticas
	Inicio: 01/01/2024 Finalización: 31/12/2027 +
	Grupo de investigación: MARRÓN, BEATRIZ SUSANA (Director) BAVIO, JOSÉ MANUEL CAMINA, RICARDO ESTEBAN DEL PUNTA, JESSICA ADRIANA FERNANDEZ, CARINA NOELIA GARAYALDE, ANTONIO FRANCISCO MONÓPOLI, MARÍA JOSÉ MORBELLI, CARLA ESTEFANIA SAN ROMAN, VERONICA Resumen: En este proyecto proponemos llevar a cabo una investigación que resulte significativa en el contexto actual, en el cual el impacto cada vez mayor de la rápida evolución tecnológica nos impulsa a abordar los desafíos vinculados al análisis de datos complejos. En un entorno cada vez más orientado hacia la digitalización, es crucial fortalecer la capacidad de la estadística para inferir comportamientos poblacionales a partir de observaciones muestrales, y así ofrecer soluciones efectivas a problemas de gran complejidad. Así, este proyecto pretende no solo enfocarse en el desarrollo de técnicas estadísticas avanzadas, sino también en mejorar la comprensión de los fenómenos complejos que surgen en una variedad de contextos multidisciplinarios. Buscamos capitalizar las experiencias exitosas que varios miembros del grupo vienen manteniendo en materia de trabajo científico colaborativo interdisciplinario, aplicadas en diversos sectores académicos y productivos de nuestra localidad y consolidarlas aún más. Además, como reconocemos la importancia vital de las aplicaciones de la estadística en la investigación experimental, nos interesa particularmente fortalecer la alfabetización estadística aportando herramientas tendientes a mejorar la calidad de su enseñanza. Por ello, nuestro grupo busca continuar profundizando su estudio en las siguientes líneas de trabajo: 1) Aplicaciones Estadísticas 2) Aportes didácticos a la enseñanza de la Estadística. Estas líneas están dirigidas a diferentes áreas de aplicación, lo que conlleva objetivos claramente distintos. Sin embargo, cabe destacar que las herramientas estadísticas empleadas en cada área están interrelacionadas, lo que motiva a los miembros del proyecto a trabajar colaborativamente en el avance de la investigación. Adicionalmente, en el ámbito educativo, reconocemos que todo profesional de la enseñanza tiene la responsabilidad de desempeñar un papel crucial como investigador de su propia práctica docente, con el fin de mejorar su rendimiento en el aula. La búsqueda de innovación en relación con la enseñanza de la estadística impulsa la necesidad de establecer un grupo de trabajo centrado en la Enseñanza de Estadística, donde los participantes del proyecto puedan aplicar nuevas metodologías y compartir sus experiencias. Este enfoque colaborativo fomenta la sinergia entre los miembros, promoviendo así la exploración de enfoques innovadores y eficaces para la enseñanza de la Estadística.

	Análisis Armónico y Teoría de Números
	Inicio: 01/01/2025 Finalización: 31/12/2028 +
	Grupo de investigación: PANZONE, PABLO ANDRÉS (Director) IBAÑEZ FIRNKORN, GONZALO HUGO OMBROSI, SHELDY JAVIER PICARDI, MARÍA BELÉN PRIETO, MARIANA INES RECCHI, DIANA JORGELINA ROCHA, PABLO ALEJANDRO TOLOZA, JULIO HUGO Resumen: El proyecto posee dos/tres temas. En Análisis Armónico se investiga en la teoría de pesos, integrales singulares, teoría multilineal. Más específicamente estimaciones cuantitativas y pesos matriciales. En teoría espectral la investigación se centra en los espacios de de Branges. En Teoría de Números se trabaja en la parte de transformada de Fourier y la búsqueda de condiciones para la existencia de ceros en ciertas regiones, como también en problemas relacionados a funcione especiales.

	Sistemas dinámicos en ciencias naturales
	Inicio: 01/01/2024 Finalización: 31/12/2027 +
	Grupo de investigación: REARTES, WALTER ALBERTO (Director) BARES, CINTHYA ANABEL BEL, ANDREA CALANDRINI, GUILLERMO LUIS CAPOBIANCO, GUILLERMO CHIALVA, ULISES COBIAGA, ROMINA PAMELA CÓRDOBA, SOFÍA AYELÉN FERNANDEZ, CARINA NOELIA GENTILE, FRANCO SEBASTIAN NIEL, BLANCA ISABEL RUIZ, LEANDRO MARTÍN TORRESI, ANA MARÍA LUJÁN Resumen: -

	Deformaciones de álgebras
	Inicio: 01/01/2024 Finalización: 31/12/2027 +
	Grupo de investigación: REDONDO, MARIA JULIA (Director) ROSSI BERTONE, FIORELLA Resumen: Este proyecto se ubica en el campo de la matemática aplicada y pretende la generación de nuevo conocimiento matemático con la perspectiva de generar resultados que puedan aplicarse a la resolución de problemas reales. En continuidad con proyectos anteriores, se enfoca en tres temas: neurociencia computacional, epidemiología y sistemas oscilatorios. El hilo conductor que los une reside en la aplicación de la teoría de sistemas dinámicos basados en ecuaciones diferenciales y diferenciales con retardo. En el campo de la neurociencia, es crucial identificar las causas dinámicas y biofísicas que generan distintos patrones de actividad neuronal, así como estudiar en detalle dichos patrones. En el ámbito de la epidemiología, se plantea la creación de modelos metapoblacionales con redes de nodos que representen distintos grupos poblacionales humanos o animales. Finalmente en el campo de los sistemas oscilatorios, se utilizará un enfoque frecuencial y su correlación con metodologías recientes, para estudiar modelos de sistemas con retardo, particularmente los de naturaleza neutral, y para desarrollar una estrategia que facilite la aproximación de la función período.En gran parte del trabajo, la metodología presupone la formulación de modelos matemáticos basados en aproximaciones numéricas y la realización de simulaciones de este tipo. Sin embargo, no se descarta la obtención de resultados analíticos y su demostración rigurosa.El objetivo general es alcanzar una comprensión cabal del funcionamiento del tipo de sistemas dinámicos involucrados en la biología de la transmisión nerviosa, en la propagación de enfermedades endémicas o epidémicas, en la interconexión en redes con nodos modelados por ecuaciones diferenciales o diferenciales con retardo, y en sistemas oscilatorios más generales. Se pretende que este estudio permita la formulación de modelos adecuados para describir situaciones reales y la predicción de nuevos fenómenos, que surjan de ellos.

	Teoría de Lie
	Inicio: 01/01/2025 Finalización: 31/12/2028 +
	Grupo de investigación: REDONDO, MARIA JULIA (Director) ROMAN, LUCRECIA JULIANA ROSSI BERTONE, FIORELA VALLEJOS, JOSEFINA Resumen: La teoría de representaciones de álgebras estudia las álgebras y sus categorías de módulos. Toda álgebra de dimensión finita sobre un cuerpo algebraicamente cerrado es Morita equivalente a un álgebra básica, y ésta se puede ver como el álgebra de caminos kQ de un carcaj Q (determinado unívocamente por A) módulo un ideal bilátero I (que depende de ciertas elecciones), esto es, A=kQ/I, donde carcaj es un grafo orientado finito. Esto permite describir en forma sencilla los módulos proyectivos e inyectivos, y permite obtener resoluciones proyectivas, necesarias para calcular homologías. Los grupos de cohomología de Hochschild son invariantes relevantes: son invariantes por equivalencia Morita, por procesos inclinantes y por equivalencias derivadas. Las técnicas diagramáticas utilizadas en la teoría de representaciones de álgebras han permitido calcular explícitamente estos grupos e interpretar los resultados en términos de invariantes en la teoría de representaciones de álgebras. De esta manera es posible describir propiedades de las álgebras a partir del conocimiento de sus grupos de cohomología de Hochschild. En 1964, Gerstenhaber definió un marco teórico para la deformación de las estructuras algebraicas. Esta definición puede verse como la contraparte algebraica de las deformaciones analíticas introducidas por Kodaira y Spencer en el año 1958. Las deformaciones de álgebras están estrechamente relacionadas con los grupos de cohomología de Hochschild, por ejemplo las deformaciones infinitesimales o de primer orden están parametrizadas por el segundo grupo de cohomología. El estudio de las deformaciones de un álgebra asociativa A=kQ/I se ha desarrollado desde entonces, y hasta la fecha aún quedan muchos problemas interesantes por resolver. En este plan, uno de los objetivos se centra en el estudio de las categorías de módulos de las deformaciones de álgebras.

	Estudio de estructuras ordenadas definidas sobre el anillo de matrices complejas
	Inicio: 01/01/2024 Finalización: 31/12/2027 +
	Grupo de investigación: RUEDA, LAURA ALICIA (Director) CIMADAMORE, CECILIA ROSSANA GATICA, MARIA ANDREA THOME COPPO, NÉSTOR JAVIER VERDECCHIA, MELINA VANINA Resumen: Este proyecto trata sobre el análisis de ciertos órdenes parciales definidos sobre el anillo de matrices complejas. La investigación se enmarca dentro de dos áreas de investigación: Análisis Matricial y Estructuras ordenadas.Nuestro plan de trabajo se divide en dos partes. En primer lugar, se estudiará el conjunto de matrices de índice a lo sumo 1 ordenado mediante el orden grupo. Nuestra intención es caracterizar la estructura reticular de los intervalos iniciales, determinar la existencia de ínfimo y/o supremo. Para los casos en que los intervalos sean reticulados, se estudiarán otras propiedades, como por ejemplo si son distributivos, modulares, si son álgebras booleanas. A partir del orden grupo y de otros desarrollados en la literatura, definiremos nuevos órdenes parciales sobre matrices. Dado que éstas relaciones de orden llevan asociadas ciertas ecuaciones matriciales, nos proponemos hallar y caracterizar las soluciones de las mismas. En segundo lugar, se estudiarán órdenes parciales basados en la descomposición core-nilpotente de matrices cuadradas. Concretamente, el orden core-nilpotente, el S-menos, el core-nilpotente estrella y el S-estrella. Uno de los objetivos específicos será encontrar nuevas caracterizaciones de los órdenes descriptos. Además, se intentará establecer para cada relación un isomorfismo de orden entre el conjunto de matrices y el conjunto ordenado de ciertos pares de proyectores.El presente plan de trabajo tiene como objetivo general, lograr una mejor comprensión de la teoría de órdenes parciales sobre conjuntos de matrices y su posible extensión a otros anillos, ampliando los resultados conocidos actualmente.

	Estructura y Algoritmos en Teoría de Grafos
	Inicio: 01/01/2024 Finalización: 31/12/2027 +
	Grupo de investigación: SAFE, MARTÍN (Director) CAPPA, JUAN ANGEL SABATINI, GERMÁN NICOLÁS SUÁREZ ALBANESI, ROCÍO BELÉN VERGARA, MARTINA Resumen: Los objetivos principales de este proyecto son encontrar caracterizaciones estructurales de ciertas clases de grafos y explotar dichas caracterizaciones para el desarrollo de algoritmos eficientes. Una caracterización estructural de una clase de grafos permite, en muchos casos, diseñar algoritmos eficientes para el problema de reconocimiento de la clase y, a su vez, es esencial para el diseño de algoritmos de reconocimiento con certificado negativo, es decir, algoritmos que, cuando el grafo de entrada no pertenece a la clase correspondiente, devuelven evidencia que permite corroborar ese hecho de forma independiente y simple. En este proyecto proponemos estudiar estructural y algorítmicamente subclases y variantes de los grafos perfectos y algunas clases de grafos de intersección (grafos arco-circulares y grafos círculo). Para los grafos perfectos, ciertos problemas clásicos de optimización que son considerados intratables para la clase general de grafos (como coloreo, clique máxima, conjunto independiente máximo, etc.) pueden resolverse en tiempo polinomial mediante el método del elipsoide. Otro conjunto de problemas considerados igualmente intratables para la clase general de grafos, se saben resolver eficientemente para los grafos arco-circulares (por ejemplo, cubrimiento por cliques, conjunto independiente máximo, dominación, etc.) o los grafos círculo (por ejemplo, 3-coloreo, clique máxima, conjunto independiente máximo, etc.). Estos hechos son una fuente de interés para estudiar estas clases de grafos (y sus subclases). En efecto, estas clases de grafos han recibido un gran interés en la literatura especializada en los últimos años.

	METODOS CUANTITATIVOS PARA EL MONITOREO Y ANÁLISIS DE LA GESTIÓN DE SERVICIOS DE SALUD Y SEGURIDAD SOCIAL
	Inicio: 01/01/2025 Finalización: 31/12/2028 +
	Grupo de investigación: VILLARREAL, FERNANDA SOLEDAD (Director) ARCE PISTONE, MARIA GERI, MILVA GONZALEZ, GISELA PAULA GUARDIOLA, MELINA VALERIA PIERGENTILI, MARÍA VIRGINIA PISANI, MARÍA VIRGINIA QUINTANA, ALICIA ESTHER SCHIMPFLE, KARINA ROCÍO Resumen: Este proyecto constituye una extensión de los Proyectos de Grupos de Investigación (PGI) - UNS 24/L106 (2018-2019) y 24/ L118 (2020-2024). Esta tercera etapa tiene por objetivo dar continuidad a la investigación desarrollada durante estos años ampliando el espectro de los métodos cuantitativos investigados y aplicados hasta el momento. Se destacan en el grupo dos líneas de investigación aplicadas, el monitoreo y análisis de la gestión de servicios de salud y del desempeño de servicios de la seguridad social. Los cambios de orden económico, político, social, tecnológico y epidemiológico han tornado a la atención sanitaria y la seguridad social en un proceso de creciente complejidad, cargado de incertidumbres, al estar sujeto a múltiples variables y factores. La irrupción de la pandemia COVID-19 dejó en evidencia la necesidad de aplicar métodos cuantitativos avanzados dada la capacidad para tomar en cuenta y manejar esas incertidumbres, para monitorear periódicamente los sistemas de salud y de seguridad social y evaluar sus fortalezas y debilidades. Se espera que los beneficios de los resultados alcanzados sean la producción de información más precisa para obtener sistemas de información confiables, servir de apoyo en la toma de decisiones, hacer un uso más eficiente de los recursos asignados y mejorar la calidad de las prestaciones.

	Modelos matemáticos para superconductividad nemática: validación rigurosa y tratamiento numérico
	Inicio: 01/01/2024 Finalización: 31/12/2027 +
	Grupo de investigación: DE LEO, MARIANO FERNANDO (Director) BORGNA, JUAN PABLO Resumen: -

	VARIEDADES Y CUASIVARIEDADES EN ÁLGEBRA DE LA LÓGICA
	Inicio: 01/01/2024 Finalización: 31/12/2027 +
	Grupo de investigación: DÍAZ VARELA, JOSÉ PATRICIO (Director) CASTAÑO, DIEGO NICOLAS Resumen: -

	Teoría de modelos no clásica II
	Inicio: 01/01/2024 Finalización: 31/12/2027 +
	Grupo de investigación: FIGALLO ORELLANO, ALDO (Director) SLAGTER, JUAN SEBASTIAN Resumen: -

	Avances en Estadística: Teoría, Aplicaciones y Estrategias Didácticas
	Inicio: 01/01/2024 Finalización: 31/12/2027 +
	Grupo de investigación: MARRÓN, BEATRIZ SUSANA (Director) GARAYALDE, ANTONIO FRANCISCO Resumen: -

	Sistemas dinámicos en ciencias naturales
	Inicio: 01/01/2024 Finalización: 31/12/2027 +
	Grupo de investigación: REARTES, WALTER ALBERTO (Director) BEL, ANDREA Resumen: -

	Deformaciones de álgebras
	Inicio: 01/01/2024 Finalización: 31/12/2027 +
	Grupo de investigación: REDONDO, MARIA JULIA (Director) ROSSI BERTONE, FIORELLA Resumen: -

	Estudio de estructuras ordenadas definidas sobre el anillo de matrices complejas
	Inicio: 01/01/2024 Finalización: 31/12/2027 +
	Grupo de investigación: RUEDA, LAURA ALICIA (Director) CIMADAMORE, CECILIA ROSANA Resumen: -

	Estructura y Algoritmos en Teoría de Grafos
	Inicio: 01/01/2024 Finalización: 31/12/2027 +
	Grupo de investigación: SAFE, MARTÍN (Director) Resumen: -

	Aspectos Geométricos y computacionales de Mecánica y Teorías de campo
	Inicio: 01/01/2023 Finalización: 31/12/2026 +
	Grupo de investigación: CAPRIOTTI, SANTIAGO (Director) DÍAZ, VIVIANA ALEJANDRA Resumen: -

	Análisis armónico y global
	Inicio: 01/01/2023 Finalización: 31/12/2026 +
	Grupo de investigación: LAURET, EMILIO AGUSTÍN (Director) IBAÑEZ FIRNKORN, GONZALO HUGO Resumen: -