ASPECTOS ALGEBRAICOS Y TOPOLOGICOS DE LOGICAS NO CLASICAS (24/L090) - Año: 2013

Proy. Siguiente

     Inicio:  01/01/2013  Finalización:  31/12/2014                                       Acreditado en el Prog. de Incentivos

   Disciplina:  Matematica

 

Grupo de Investigación 

       ZILIANI, ALICIA NORA   (Director)

       BIANCO, ESTELA ASUNTA   

       CONIGLIO, MARCELO ESTEBAN   

       FIDEL, MANUEL MARCOS   

       FIGALLO ORELLANO, ALDO   

       FIGALLO, MARTIN   

       GALLARDO, CARLOS ALBERTO   

 

   Palabras claves

Clave 1

Clave 2

Clave 3

Clave 4

Clave 5

Clave 6

 LOGICAS PARACONSIST.  ESTRUCT.ALGEBRAICAS  ORDENES  OPERADORES MONADICOS  CALCULOS DE GENTZEN  REPRESENT.TOPOLOGICA

   

 

    Resumen

En este proyecto se investigarßn sistemas l¾gicos y sus estructuras algebraicas subyacentes, algunas de las cuales serßn ordenadas. Nos abocaremos al estudio de los sistemas de prueba de dichos sistemas l¾gicos, en particular se procurarß la obtenci¾n de cßlculos de Gentzen con la muy deseable propiedad de eliminaci¾n de corte. Se tratarß de generar ideas y potenciales aplicaciones de nuevas tÚcnicas de la l¾gica algebraica a las l¾gicas en general y a las l¾gicas paraconsistentes en particular. Si bien el proyecto plantea la resoluci¾n de diversos problemas concretos, muchos de ellos estßn relacionados entre sÝ.

  CATEGORIAS LINEALES, PROPIEDADES Y APLICACIONES (24/L079) - Año: 2013

Proy. Anterior - Proy. Siguiente

     Inicio:  01/01/2011  Finalización:  31/12/2014                                       Acreditado en el Prog. de Incentivos

   Disciplina:  Algebra

 

Grupo de Investigación 

       REDONDO, MARIA JULIA   (Director)

       ABAD SANTOS, NATALIA VANESA   

       FALÚ, SEBASTIÁN   

       ROMAN, LUCRECIA   

       SOLOTAR, ANDREA   

 

   Palabras claves

Clave 1

Clave 2

Clave 3

Clave 4

Clave 5

Clave 6

 algebra  representaciones  homologia  modulos  cubrimientos  

   

 

    Resumen

El objetivo de este proyecto es estudiar las álgebras y sus categorías de módulos. En particular consideraremos álgebras de dimensión finita sobre un cuerpo. Para poder describir sus propiedades, y clasificarlas de acuerdo a éstas, se estudiarán sus grupos de cohomología de Hochschild, su dimensión de representación y sus cubrimientos de Galois. Una herramienta fundamental en estos problemas son las categorías lineales: toda álgebra se puede considerar como una categoría lineal con un número finito de objetos, y el planteo de la teoría de homología y de representaciones sobre las categorías lineales es altamente ventajoso.

  ESTUDIO ALGEBRAICO DE LOGICAS NO CLASICAS (24/L080) - Año: 2013

Proy. Anterior - Proy. Siguiente

     Inicio:  01/01/2011  Finalización:  31/12/2014                                       Acreditado en el Prog. de Incentivos

   Disciplina:  Algebra

 

Grupo de Investigación 

       DIAZ VARELA, JOSE PATRICIO   (Director)

       ABAD, MANUEL   

       CASTAñO, DIEGO NICOLáS   

       CASTAñO, VALERIA   

       CIMADAMORE, CECILIA ROSSANA   

       CORNEJO, JUAN MANUEL   

       MUñOZ SANTIS, VALERIA   

       RUEDA, LAURA ALICIA   

       SAVINI, SONIA MONICA   

       SEWALD, JULIO ALBERTO   

       VANNICOLA, MARIA DEL CARMEN   

 

   Palabras claves

Clave 1

Clave 2

Clave 3

Clave 4

Clave 5

Clave 6

 variedades y cuasivariedades  interpretaciones y equivalencs algebras de Boole c/operadores estructuras algebr.ordenadas  algebras con implicacion  

   

 

    Resumen

Este grupo de investigación viene estudiando desde hace algunos años diversas variedades algebraicas relacionadas con la lógica, y últimamente, diversas cuasivariedades, así como las posibles relaciones que existen entre diferentes clases de álgebras (interpretaciones). Siguiendo con las líneas de investigación que se vienen desarrollando, el grupo se dispone, mediante este proyecto, a continuar con la resolución y el estudio de los siguientes problemas: -- Propiedades generales del reticulado de subvariedades de diversas variedades, como subvariedades splitting, variedades finitamente aproximadas, cuasivariedades localmente finitas, haciendo énfasis en variedades de álgebras de Boole con operadores (bimodales). -- Algebras de Boole con un automorfismo distinguido y su equivalencia con la variedad de los anillos con raíz cuadrada. Aplicaciones a la teoría de cuerpos con característica finita. -- Algebras implicativas con operadores. Representación topológica y aplicaciones a la teoría de los reticulados cúbicos. -- Algebras de clausura simétricas. Algebras funcionalmente libres. Algebras libres para las álgebras de Heyting y de clausura simétricas. Traducción intuicionista simétrica.

  FISICA MATEMATICA III (24/L086) - Año: 2013

Proy. Anterior - Proy. Siguiente

     Inicio:  01/01/2012  Finalización:  31/12/2015                                       Acreditado en el Prog. de Incentivos

   Disciplina:  Geometría

 

Grupo de Investigación 

       CENDRA, HERNAN   (Director)

       CAPOBIANCO, GUILLERMO   

       CAPRIOTTI, SANTIAGO   

       DIAZ, VIVIANA ALEJANDRA   

       FERRARO, SEBASTIAN JOSE   

       GARCIA, MARIA EUGENIA   

       GHEZZI, CRISTIAN RICARDO   

       GRILLO, SERGIO   

       IGLESIAS, RODRIGO FERNANDO   

       MIRANDA, ELIO   

       PALACIOS AMAYA, MAXIMILIANO A.  

       REARTES, WALTER ALBERTO   

       RUIZ, LEANDRO   

       SALTHU, RODOLFO EDGARDO   

       ZORBA, GERMAN   

 

   Palabras claves

Clave 1

Clave 2

Clave 3

Clave 4

Clave 5

Clave 6

           

   

 

    Resumen

Se trata de realizar trabajos de investigaci¾n originales y comunicarlos en revistas adecuadas y/o congresos. El lado experimental en macßnica es parte importante del proyecto, continuando con experiencias ya realizadas en el PGI anterior sobre el disco de Euler. El proyecto contin·a de un PGI anterior. Tiene varios temas, que dentro del proyecto se ven relacionados. Se tratarß de fomentar el trabajo conjunto, realizando exposiciones de temas que cada uno estß estudiando.Los temas y las personas que estßn a cargo son los siguientes: Mecßnica Cußntica, Ecuaciones Diferenciales InplÝcitas e Integradores (Hernßn Cendra, Sebastian Ferraro, Sergio Grillo, Viviana DÝaz, Santiago Capriotti) Integrales de Camino en variedades (Walter Reartes) Invariantes, Complejidad y Redes Complejas (Rodrigo Iglesias)

  FORMALISMOS Y APLICACIONES DE LA MECANICA GEOMETRICA II (24/ZL10) - Año: 2013

Proy. Anterior - Proy. Siguiente

     Inicio:  01/01/2013  Finalización:  31/12/2016                                       

   Disciplina:  Geometría

 

Grupo de Investigación 

       FERRARO, SEBASTIAN JOSE   (Director)

       CAPOBIANCO, GUILLERMO   

       CENDRA, HERNAN   

 

   Palabras claves

Clave 1

Clave 2

Clave 3

Clave 4

Clave 5

Clave 6

 MECANICA GEOMETRICA  ALGEBROIDES DE LIE  ESTRUCTURAS DE DIRAC  MECANICA DISCRETA  REDUCCION  

   

 

    Resumen

Se estudiarßn los distintos formalismos de la mecßnica geomÚtrica que revisten un interÚs actual en el ßrea a nivel internacional. Se desarrollarßn por ejemplo investigaciones sobre estructuras de Dirac, y grupoides y algebroides de Lie en relaci¾n a la mecßnica. Ademßs, se estudiarßn los principios variacionales fundamentales de la mecßnica en este lenguaje, asÝ como temas relacionados con la teorÝa de ligaduras de Dirac y la teorÝa de Hamilton-Jacobi. TambiÚn serß de interÚs desarrollar integradores geomÚtricos para sistemas mecßnicos no hol¾nomos y de control.

  METODOLOGIA SIX SIGMA PARA EL MONITOREO Y OPTIMIZACION DE PROCESOS: HERRAMIENTAS (24/L081) - Año: 2013

Proy. Anterior - Proy. Siguiente

     Inicio:  01/01/2011  Finalización:  31/12/2014                                       Acreditado en el Prog. de Incentivos

   Disciplina:  Otras

 

Grupo de Investigación 

       CASAL, RICARDO NESTOR   (Director)

       LUIS, SILVIA EULALIA   (Co-Director)

       GARCIA, LILIANA AMALIA   

       GUILLON, MARIA DE LA PAZ   

       PISANI, MARIA VIRGINIA   

       QUINTANA, ALICIA ESTHER   

       VILLARREAL, FERNANDA SOLEDAD   

 

   Palabras claves

Clave 1

Clave 2

Clave 3

Clave 4

Clave 5

Clave 6

 SIX SIGMA  mejoramiento continuo  capacidad de procesos  calidad  control estadistico  

   

 

    Resumen

Durante el siglo XX la Calidad se consolidó como uno de los movimientos más importantes dentro de la Administración de Organizaciones. Six Sigma es un enfoque actual e integral de Gestión y Mejora Continua de Procesos para el logro de la Calidad. Valoriza el pensamiento estadístico haciendo uso intensivo de un amplio espectro de herramientas; en particular, del Control Estadístico de Procesos. La finalidad de este proyecto es identificar y profundizar el estudio de herramientas de mejora y gestión de procesos que operan bajo el enfoque Six Sigma con el objeto de disponer de una metodología con aplicación potencial a situaciones reales y contribuir a la difusión de la temática.

  MODELOS ESTADISTICOS PARA REDES SOCIALES, REDES DE DATOS Y TRATAMIENTO DE IMAGEN (24/L089) - Año: 2013

Proy. Anterior - Proy. Siguiente

     Inicio:  01/01/2013  Finalización:  31/12/2014                                       Acreditado en el Prog. de Incentivos

   Disciplina:  Estadística

 

Grupo de Investigación 

       TABLAR, ANA CECILIA   (Director)

       PERERA FERRER, LUIS GONZALO   (Co-Director)

       BAVIO, JOSE MANUEL   

       GUARDIOLA, MELINA VALERIA   

       MARRON, BEATRIZ SUSANA   

       MARTINEZ, JORGE ALBERTO   

       PISTONESI, SILVINA   

       SERRALUNGA, MARIA GABRIELA   

       YAÑEZ, LORETO EUGENIA   

 

   Palabras claves

Clave 1

Clave 2

Clave 3

Clave 4

Clave 5

Clave 6

 C.ALEAT.GIBBS-MARKOV  GRAFOS ALEATORIOS  PROCESOS DE DIFUSIËN  COPULAS  AUTO-MODELOS  GENERALIZABILIDAD

   

 

    Resumen

- Con el fin de evaluar el comportamiento comunicacional de los usuarios de redes sociales que permita establecer polÝticas de divulgaci¾n, nos proponemos modelar a partir de una dinßmica markoviana de grafos aleatorios y procesos de difusi¾n las redes sociales Facebook y Twitter. - A partir de la aplicaci¾n de la TeorÝa de Generalizabilidad analizaremos la confiabilidad del examen final implementado en la Carrera de Medicina de la UNS. - Con el objetivo de describir y clasificar los patrones de textura presentes en una imagen, se evaluarßn los distintos mÚtodos de estimaci¾n de los parßmetros de Auto- modelos.

  MODELOS MATEMATICOS DEL ANALISIS DE DATOS Y SUS APLICACIONES (24/L087) - Año: 2013

Proy. Anterior - Proy. Siguiente

     Inicio:  01/01/2013  Finalización:  31/12/2014                                       Acreditado en el Prog. de Incentivos

   Disciplina:  Mútodos numúricos y computación

 

Grupo de Investigación 

       PIGNOL, RICARDO JORGE   (Director)

       ALVAREZ, MARCELA PATRICIA   

       BERATZ, SONIA ELIZABET   

 

   Palabras claves

Clave 1

Clave 2

Clave 3

Clave 4

Clave 5

Clave 6

 MINERIA DE DATOS  ESTIM. DE DENSIDADES  MODEL.SIST.BIOLOGIC.  SISTEMAS COMPLEJOS  MECANICA DE FLUIDOS  DIFUSION NO LINEAL

   

 

    Resumen

Se propone desarrollar herramientas matemßticas para el anßlisis de datos y sus correlaciones, de importancia en el estudio de sistemas complejos. Concretamente, se tratarß el problema de estimaci¾n de densidades de probabilidad a partir de una muestra aleatoria, tomando ideas de la matemßtica aplicada, la estadÝstica, la fÝsica y el calculo numÚrico. Ademßs, el problema del modelado y la validaci¾n de un bioreactor de cÚlulas madre se abordarß en el marco de un proyecto multidisciplinario en donde se pretende aplicar dichas herramientas. Este problema presenta una inmejorable oportunidad para el desarrollo de una tesis doctoral.

  OPTIMIZACION NO LINEAL: TEORIA, ALGORITMOS Y APLICACIONES (24/L082) - Año: 2013

Proy. Anterior - Proy. Siguiente

     Inicio:  01/01/2011  Finalización:  31/12/2014                                       Acreditado en el Prog. de Incentivos

   Disciplina:  Mútodos numúricos y computación

 

Grupo de Investigación 

       MACIEL, MARIA CRISTINA   (Director)

       BUFFO, FLAVIA EDITH   

       CARRIZO, GABRIEL ANIBAL   

       EBERLE, MARIA GABRIELA   

       GIBELLI, TATIANA INES   

       MENDONCA, MARIA DE GRACIA   

       SOSA, WANDA BELEN   

       SOTTOSANTO, GRACIELA NOEMI   

       VERDIELL, ADRIANA BEATRIZ   

 

   Palabras claves

Clave 1

Clave 2

Clave 3

Clave 4

Clave 5

Clave 6

 optimizacion no lineal  optimizacion bilevel  optimizacion multiobjetivo  region de confianza  convergencia global  

   

 

    Resumen

En este proyecto se propone introducir, desarrollar, analizar e implementar algoritmos para la resolución de problemas de optimización no lineal. Se hace énfasis en el análisis de convergencia global y local de los algoritmos, utilizando la aproximación de región de confianza como estrategia de globalización. Las técnicas de programación no lineal son extendidas a problemas de optimización más complejos: optimización multiobjetivo o vectorial y optimización en dos niveles y se validarán en la resolución de problemas aplicados a otras disciplinas como Ingeniería Química, Ciencias Agrarias, Biología, etc.

  REPRESENTACION DE ALGEBRAS DE ARTIN (24/L088) - Año: 2013

Proy. Anterior - Proy. Siguiente

     Inicio:  01/01/2013  Finalización:  31/12/2016                                       Acreditado en el Prog. de Incentivos

   Disciplina:  Matematica

 

Grupo de Investigación 

       PLATZECK, MARIA INES   (Director)

       ALARCON, LEONARDO   

       CAPPA, JUAN ANGEL   

       CHAIO, CLAUDIA ALICIA   

       FERNANDEZ, ELSA ADRIANA   

       GATICA, MARIA ANDREA   

       HERNANDEZ, MARIA VALERIA   

       PEÑA, MARIA INES   

       PRATTI, NILDA ISABEL   

       TREPODE, SONIA ELISABET   

       VERDECCHIA, MELINA VANINA   

 

   Palabras claves

Clave 1

Clave 2

Clave 3

Clave 4

Clave 5

Clave 6

 ALGEBRA DE ARTIN  REPRESENTACIONES  HOMOLOGIA  CATEG.DE CONGLOMERAD  MODULOS  

   

 

    Resumen

El objetivo general es estudiar representaciones de ßlgebras de artin. Un ßlgebra de artin es un ßlgebra finitamente generada como m¾dulo sobre su centro, que es un anillo conmutativo artiniano. El importante caso que mßs nos ocuparß es el de las ßlgebras de dimensi¾n finita sobre un cuerpo algebraicamente cerrado. Nos interesa obtener informaci¾n sobre las ßlgebras a partir del conocimiento de sus m¾dulos.

  SISTEMAS DINAMICOS Y CUANTIFICACION EN VARIEDADES (24/L085) - Año: 2013

Proy. Anterior - Proy. Siguiente

     Inicio:  01/01/2011  Finalización:  31/12/2014                                       Acreditado en el Prog. de Incentivos

   Disciplina:  Análisis y análisis funcional

 

Grupo de Investigación 

       REARTES, WALTER ALBERTO   (Director)

       TORRESI, ANA MARIA LUJAN   (Co-Director)

       BEL, ANDREA LILIANA   

       CALANDRINI, GUILLERMO LUIS   

       CAPOBIANCO, GUILLERMO   

       COBIAGA, ROMINA   

       NIEL, BLANCA ISABEL   

       RUIZ, LEANDRO   

 

   Palabras claves

Clave 1

Clave 2

Clave 3

Clave 4

Clave 5

Clave 6

 cuantificacion  sistemas con retardos  metodo de analisis homotopico  bifurcacion  redes  sistemas no lineales

   

 

    Resumen

Se desarrollarán temas en dos ramas principales: cuantificación en variedades y sistemas dinámicos, ambos están interconectados, pero se describirán en forma independiente. En el tema cuantificación en variedades se aplicarán métodos basados en integrales de camino para describir sistemas mecánico-cuánticos con espacios de configuración de baja dimensión. Dentro de los sistemas dinámicos se desarrollarán: sistemas con retardos, donde se aplicará el Método de Análisis Homotópico para describir el comportamiento dinámico; bifurcaciones, donde se utilizarán métodos frecuenciales y de teoría de singularidades para caracterizar diagramas de bifurcación; y redes, donde se generalizarán resultados conocidos sobre caracterización de la dinámica y se estudiarán redes fuertemente conexas.

  TOPICOS EN ANALISIS REAL Y COMPLEJO (24/L083) - Año: 2013

Proy. Anterior - Proy. Siguiente

     Inicio:  01/01/2011  Finalización:  31/12/2014                                       Acreditado en el Prog. de Incentivos

   Disciplina:  Análisis y análisis funcional

 

Grupo de Investigación 

       PIOVAN, LUIS AMADEO   (Director)

       CALDARELLI, MARCELA ROSA   

       FERRARI, MARIANO ANDRES   

       OMBROSI, SHELDY JAVIER   

       PANZONE, PABLO ANDRES   

       RECCHI, DIANA JORGELINA   

       TESTONI, RICARDO   

 

   Palabras claves

Clave 1

Clave 2

Clave 3

Clave 4

Clave 5

Clave 6

 sistemas integrables  teoria de numeros  analisis armonico  maximal de Hardy-Littlewood  operadores Laplacianos  función zeta de Riemann

   

 

    Resumen

Debido a que hay distintas líneas de investigación en este proyecto, se presentan varios resúmenes técnicos: Investigar representaciones canónicas de sistemas de ecuaciones diferenciales completamente integrables algebraicas mediante el uso de teoría de representaciones de ciertos grupos de Heisenberg y de ágebras de Kac-Moody (representaciones coadjuntas). Usar configuraciones de "superficie abeliana con una curva sobre ella " y la teoría de representaciones arriba mencionada para diseñar un método que distinga sistemas no equivalentes mediante un dato determinativo. Posiblemente un tipo de "Krichever data". Investigar sistemas integrables de la mecánica clásica en términos de ecuaciones de tipo KdV (Korteweg-deVries). Esto tendrá como objetivo obtener un procedimiento para la cuantización geométrica de los sistemas clásicos interpretando la integrabilidad como la realización de una teoría de campos conforme. Se considerarán también las cuantizaciones por deformación.

Universidad Nacional del Sur

Universidad Nacional del Sur
Avda.Colón 80 - (B8000FTN)- Bahía Blanca - Bs.As