Hormigones preparados con distintos agregados reciclados: Estudio experimental y modelación computacional para los estados fresco y endurecido

El planteo general de este Proyecto de Investigación Trianual incluye el estudio sistemático y actualizado de los procedimientos técnicos y de los métodos experimentales adecuados para la garantía de calidad de los Agregados Reciclados obtenidos de hormigones demolidos, a utilizar en estructuras de cualquier tipo, en general y en pavimentos de autopistas, aeropuertos, carreteras y calles, en particular; por medio de la aplicación de las Especificaciones respectivas a redactar y proponer para su inclusión en las Normas IRAM y en los Reglamentos CIRSOC. (...) El Plan de Trabajo Trianual que se detalla en las páginas siguientes que forman parte de esta Solicitud de Subsidio incluye sintéticamente los siguientes temas: 1995: Caracterización de Hormigones Frescos con Agregados Reciclados. Estudio de la consistencia; Reología del hormigón fresco; Estudio de la trabajabilidad; Análisis de tipo: estático y dinámico; Estudio de la segregación; Estudio de la exudación; Influencia de los aditivos; Redacción de normas y especificaciones. 1996: Caracterización de Hormigones Endurecidos con Agregados Reciclados. Estudio de la microfisuración; Rotura y nivel de solicitación de los hormigones endurecidos; Adherencia entre los agregados reciclados y el mortero de cemento; Determinación experimental de las fisuras por el método ultrasónico y otros; Teoría del daño aplicada a hormigones con agregados reciclados; Análisis de los estados de fisuramiento en compresión y en flexión; Redacción de normas y especificaciones. 1997: Mecánica de la Fractura en Hormigones con Agregados Reciclados. Análisis de los parámetros de fractura en los hormigones; Estudio de la mecánica de la fractura y de la microfisuración; modelación de las fracturas en los hormigones por el método de elementos finitos; Análisis experimental para caracterizar la propagación de fisuras; Fisuramientos por efectos térmicos; Análisis de la fractura en la unión de hormigón nuevo con viejo; Redacción de normas y especificaciones.

Nematodes gastrointestinales de los caprinos. Determinaciones sobre la resistencia antihelmíntica y evaluaciones sobre el impacto sanitario productivo durante la lactancia

Estudios prelimares iniciados en el 2007 (Proyecto Pictor Córdoba 877) están indicando que la resistencia a los antihelmínticos por los nematodes que parasitan a los caprinos es un fenómeno común en el centro-norte de Córdoba. En la región, el género parasitario de mayor prevalencia es Haemonchus spp el cual es considerado mundialmente y desde una perspectiva global, como el problema parasitario de mayor importancia económica para los pequeños rumiantes. Poblaciones de este parásito con resistencia a los antiparasitarios de mayor uso (avermectinas y benzimidazoles) están ampliamente difundidos en la región (incluidos aislamientos con resistencia hacia ambas drogas) y de acuerdo a la información preliminar que se está obteniendo, los productores no están advertidos sobre el problema y en muchos casos están utilizando antiparasitarios totalmente inefectivos. El corolario es que se están produciendo pérdidas productivas (potencialmente de magnitud) y la acumulación de genes resistentes en las majadas y superficies de pastoreo lo cual compromete la eficiencia y sustentabilidad de estos sistemas productivos caprinos. Las técnicas diagnósticas actualmente disponibles se basan en características fenotípicas de las poblaciones parasitarias resistentes las que se expresan cuando las fallas terapéuticas y productivas generalmente ya pueden haber ocurrido. Mientras no se encuentren disponibles técnicas diagnósticas para identificar características genotípicas de estas poblaciones que permitan anticiparnos a estas pérdidas, se hace necesario la implementación continua de evaluaciones para detectar los problemas de eficacia de los antihelmínticos tan pronto como sea posible. La menor capacidad económica relativa de los productores caprinos frente a otras actividades pecuarias exige métodos diagnósticos muy simples si es que se pretende la adopción de esta metodología diagnóstica. En este contexto, el proyecto contempla en este punto específico el estudio de técnicas y alternativas para simplificar y economizar los métodos actuales para el diagnóstico de la resistencia antihelmíntica bajo situaciones de campo. La dispersión de la resistencia surge como una consecuencia inevitable de las actuales prácticas de aplicación de antiparasitarios desarrolladas en la región y exige abandonar en forma urgente la lógica simplista y los tratamientos empíricos sin sustento epidemiológico que están comprometiendo seriamente la sustentabilidad del control de los nematodos gastrointestinales. Se hace necesario contar con información regional no solo sobre la epidemiología de estos parásitos si no también sobre sus efectos sobre los diferentes estados fisiológicos de los hospedadores caprinos. En una aproximación al problema, el proyecto propone el estudio sobre el impacto productivo y sanitario que ocasionan los nematodes en el periparto y lactación de las hembras caprinas y determinar los efectos de tratamientos estratégicos durante este período fisiológico específico.

Modelo integrado de cuantificación del nivel de significación y de asignación del error tolerable en procesos de auditoría de estados contables

El objetivo que persigue un proceso de auditoría de estados contables es la comunicación por parte del auditor de una conclusión en relación al grado de razonabilidad con que tales estados reflejan la situación patrimonial, económica y financiera del ente de acuerdo a los criterios plasmados en las normas contables de referencia a ser utilizadas. El hecho que un auditor emita una conclusión errónea como consecuencia de su labor puede implicar la asunción de responsabilidades profesionales, civiles y penales como consecuencia de reclamos de usuarios de los estados contables que pudieran haberse visto perjudicados como consecuencia de la emisión de la conclusión errónea. Las normas contables a nivel nacional e internacional admiten la existencia de errores u omisiones en la información contenida en los estados contables, en la medida que tales desvíos no provoquen en los usuarios interesados en tales estados una decisión distinta a la que tomarían en caso de no existir los errores u omisiones aludidos. De lo expuesto en el párrafo anterior surge la cabal importancia que la determinación del nivel de significación total (nivel de desvíos admitidos por los usuarios de los estados contables en la información por ellos contenida) adquiere en los procesos de auditoría, como así también la asignación de tal nivel entre los distintos componentes de los estados contables (asignación del error tolerable) a los efectos de que los auditores eviten asumir responsabilidades de índole profesional, civil y/o penal. Hasta el momento no se conoce la existencia de modelos matemáticos que respalden de modo objetivo y verificable el cálculo del nivel de significación total y la asignación del error tolerable entre los distintos elementos conformantes de los estados contables. Entendemos que el desarrollo e integración de un modelo de cuantificación del nivel de significación total y de asignación del error tolerable tiene las siguientes repercusiones: 1 – Representaría para el auditor un elemento que respalde el modo de cuantificación del nivel de significación y la asignación del error tolerable entre los componentes de los estados contables. 2 – Permitiría que los auditores reduzcan las posibilidades de asumir responsabilidades de carácter profesional, civil y/o penales como consecuencia de su labor. 3 – Representaría un principio de avance a los efectos de que los organismos emisores de normas de auditoría a nivel nacional e internacional recepten elementos a los efectos de fijar directrices en relación al cálculo del nivel de significación y de asignación del error tolerable. 4 - Eliminaría al cálculo del nivel de significación como una barrera que afecte la comparabilidad de los estados contables.

Compatibilidad jurídica de la celebración de Tratados de Libre Comercio (TLCs) extra bloque por parte de Estados miembros de acuerdos de integración regional latinoamericanos con la normativa regional: Especial referencia al Mercado Común del Sur (MERCOSUR) y a la Comunidad Andina de Naciones (CAN)

El objetivo focal del proyecto consiste en efectuar un estudio sobre la compatibilidad y factibilidad jurídica de la celebración y concreción de Tratados de Libre Comercio (TLCs) por parte de Estados miembros de acuerdos de integración regionales con terceros Estados, sobre la base de lo establecido en la normativa propia de los procesos de integración del Mercado Común del Sur (MERCOSUR) y de la Comunidad Andina de Naciones (CAN); También se examinará la conformidad de lo planteado con lo dispuesto por la normativa de la Organización Mundial del Comercio (OMC), organización multilateral de la cual son miembros los países miembros del MERCOSUR y de la CAN. Dicho estudio se plasmará en una publicación especializada. En el supuesto de determinarse mediante la investigación la compatibilidad y factibilidad jurídica para la celebración y concreción de los tratados descriptos (en uno o en ambos casos), el proyecto prevé precisar los respectivos requisitos pertinentes, tanto en lo vinculado a la normativa regional como en lo relacionado con la normativa de la OMC. La celebración y/o la manifiesta intención de concretar TLCs por parte de algunos Estados miembros del MERCOSUR y de la CAN, así como la enérgica oposición política de otros Estados miembros de dichos procesos de integración regional, hacen que la investigación jurídica además de resultar pertinente por actualidad, derive de indudable necesidad. El proyecto pretende efectuar un riguroso análisis jurídico de la temática, a fin de contribuir de esta forma a intentar resolver, sobre bases sólidas, las actuales discrepancias interestatales en el seno de cada uno de los procesos de integración a los que pertenecen las universidades involucradas en el proyecto de investigación (Universidad Católica de Córdoba -UCC- y Pontificia Universidad Javeriana -PUJ-). Se aspira a que los resultados del proyecto de investigación constituyan una respuesta de calidad de la comunidad universitaria

Responsabilidad internacional de los Estados: desarrollo actual, perspectivas y desafíos

Si bien la responsabilidad internacional de los Estados es una institución tradicional del Derecho Internacional, durante la última década ha sido objeto de gran desarrollo y evolución. En efecto, la adopción en 2001 del Proyecto de Responsabilidad Internacional por Hechos Ilícitos de los Estados de la Comisión de Derecho Internacional de Naciones Unidas y los graves acontecimientos sucedidos en la última década (principalmente como consecuencia de los atentados del 11 de septiembre 2001) han puesto a esta tradicional institución jurídica en el centro de atención de la comunidad internacional. Así, la realidad del nuevo contexto internacional plantea nuevos y graves desafíos, que fuerzan al límite la interpretación de las normas jurídicas que conforman el régimen general de responsabilidad internacional de los Estados. El interés por esta materia también se manifiesta por la rica labor que ha tenido la jurisprudencia internacional en los últimos años. Paralelamente, cada vez con mayor intensidad se han multiplicado los regímenes especiales de responsabilidad internacional, vale decir aquellas normas que en forma específica y con carácter prioritario regulan la responsabilidad de los Estados en determinadas áreas de sus relaciones internacionales (comercio internacional, inversiones, integración, medio ambiente, energía atómica, Derechos Humanos, etc.). Asimismo, la responsabilidad internacional del Estado ha adquirido en el contexto actual diversas manifestaciones en distintos sectores o materias específicas y en casos concretos que merecen ser analizados (uso de la fuerza armada, terrorismo, medioambiente, comercio internacional, inversiones, integración, Derechos Humanos, etc.). En este contexto, el proyecto pretende analizar la responsabilidad internacional de los Estados desde una amplia dimensión, abarcando desde sus fundamentos teóricos hasta los principales desafíos que le plantea el contexto internacional actual

Métodos estadístico-computacionales para la caracterización de patrones de expresión de proteínas en 2D-DIGE

El volumen de datos provenientes de experimentos basados en genómica y poteómica es grande y de estructura compleja. Solo a través de un análisis bioinformático/bioestadístico eficiente es posible identificar y caracterizar perfiles de expresión de genes y proteínas que se expresan en forma diferencial bajo distintas condiciones experimentales (CE). El objetivo principal es extender las capacidades computacionales y analíticos de los softwares disponibles de análisis de este tipo de datos, en especial para aquellos aplicables a datos de electroforésis bidimensional diferencial (2D-DIGE). En DIGE el método estadístico más usado es la prueba t de Student cuya aplicación presupone una única fuente de variación y el cumplimiento de ciertos supuestos distribucionales de los datos (como independencia y homogeneidad de varianzas), los cuales no siempre se cumplen en la práctica, pudiendo conllevar a errores en las estimaciones e inferencias de los efectos de interés. Los modelos Generalizados lineales mixtos (GLMM) permiten no solo incorporar los efectos que, se asume, afectan la variación de la respuesta sino que también modelan estructuras de covarianzas y de correlaciones más afines a las que se presentan en la realidad, liberando del supuesto de independencia y de normalidad. Estos modelos, más complejos en esencia, simplificará el análisis debido a la modelización directa de los datos crudos sin la aplicación de transformaciones para lograr distribuciones más simétricas. Produciendo también a una estimación estadísticamente más eficiente de los efectos presentes y por tanto a una detección más certera de los genes/ proteínas involucrados en procesos biológicos de interés. La característica relevante de esta tecnología es que no se conoce a priori cuáles son las proteínas presentes. Estas son identificadas mediante otras técnicas más costosas una vez que se detectó un conjunto de manchas diferenciales sobre los geles 2DE. Por ende disminuir los falsos positivos es fundamental en la identificación de tales manchas ya que inducen a resultados erróneas y asociaciones biológica ficticias. Esto no solo se logrará mediante el desarrollo de técnicas de normalización que incorporen explícitamente las CE, sino también con el desarrollo de métodos que permitan salirse del supuesto de gaussianidad y evaluar otros supuestos distribucionales más adecuados para este tipo de datos. También, se desarrollarán técnicas de aprendizaje automática que mediante optimización de funciones de costo específicas nos permitan identificar el subconjunto de proteínas con mayor potencialidad diagnóstica. Este proyecto tiene una alta componente estadístico/bioinformática, pero creemos que es el campo de aplicación, es decir la genómica y la proteómica, los que mas se beneficiarán con los resultados esperados. Para tal fin se utilizarán diversas bases de datos de distintos experimentos provistos por distintos centros de investigación nacionales e internacionales

Estudios de proteínas y glicoconjugados en diferentes estados patológicos: Procesos demielinizantes y diarreas provocadas por bacterias toxigénicas

1) Estudios bioquímicos, inmunológicos e histológicos en encefalomielitis alérgica experimental (EAE): comprende el análisis de las diferentes alteraciones que ocurren en SNC durante el desarrollo de esta patología experimental. Se tratará de acotar los diferentes procesos que participan en la inducción activa de la enfermedad por inyección de antígenos de mielina, pasiva por sensibilización con diferentes poblaciones linfocitarias provenientes de animales enfermos, posterior recuperación o supresión de las diferentes alteraciones neuropatológicas por inducción de procesos de tolerancia inmunológica con antígenos mielínicos o sinaptosomales. Teniendo en cuenta la reacción inmunológica cruzada previamente descripta entre la proteína básica de mielina y sinapsina, se continuará con la caracterización de las poblaciones de linfocitos T que reconocen ambas proteínas por ensayos in vitro e in vivo. 2) Mecanismos de acción de enterotoxinas bacterianas: se estudia la posible participación de glicoconjugados (glicolípidos, mucinas y glicoproteínas de membrana) con actividad de grupo sanguíneo ABO (H) en relación al mecanismo de acción de algunas enterotoxinas bacterianas como toxina colérica y toxinas lábiles al calor producidas por E. coli aisladas de cepas que colonizan intestino humano (LTh) o porcino (LTp). Los objetivos específicos son extender nuestros estudios previos al intestino humano porque estas patologías afectan al hombre y además las estructuras químicas de los glicoconjugados en estudio son más variadas y están mejor dilucidades que en las especies animales anteriormente estudiadas (cerdo, conejo). Además, se planea realizar ensayos in vitro mediante la técnica de segmentos ligados de intestino de conejo con el objeto de estudiar si los glicolópidos y glicoproteínas de membrana con actividad de grupo sanguíneo ABH se comportan como receptores funcionales de alguna de las toxinas.

Sistemas involucrados en la biosíntesis de hormonas tiroideas en tejidos tiroideos con diferentes estados funcionales

Existen antecedentes previos realizados en nuestro laboratorio, que demuestran que la aplicación de una sesión de electroshock mínimo (MES) es capaz de revertir la muerte neuronal en el hipocampo producida como consecuencia de la adrenolectomía. Teniendo en cuenta estos resultados es importante determinar si la acción protectiva neuronal, que es inducida por la aplicación de MES, se puede extender a otros tipos de muerte neuronal. Para ello se estudiará, en dos modelos experimentales distintos, en los cuales existe daño neuronal, si la aplicciónde MES también puede ejercer protección neuronal. En estos dos modelos de la muerte neuronal se produce en diferentes regiones cerebrales. Un modelo es la destrucción de células dopaminérgicas, producidas por la administración intracerebral, en la sustancia nigra, de la neurotoxia 6/OHDA (modelo de enfermedad de Parkinson). El otro modelo resulta de la administración sistémica del agonista glutamaérgico. Este induce la manifestación de estatus epilépticus con la consecuente detrucción de ciertas poblaciones neuronales principalmente en el hipocampo, amígdala y corteza entrhinal. Asimismo este proyecto propone estudiar la posible participación de algunos factores tróficos en la protección neuronal inducida por la aplicación de algunos de MES. Para ello se determina la distribución y los niveles de algunos de los factores tróficos y sus receptores después de la administración de MES. Los experimentos propuestos indican el estudio de los mecanismos celulares y moleculares que podrían participar en los fenómenos de muerte celular.

Métodos de mecánica estadística en materia condensada

El proyecto de investigación propuesto tiene como principal objetivo profundizar en el estudio de la Mecánica Estadística y su aplicación a la resolución de problemas en esta área. Los temas de interés son los siguientes: 1. Estudio de la influencia del desorden en las propiedades dinámicas y termodinámicas de sistemas clásicos y cuánticos. 2. Reacciones controladas por difusión; influencia de campos externos aplicados. 3. Estudio de la influencia de la autocorrelación temporal finita sobre un sistema excitado por un ruido (ruido coloreado). 4. Resonancia Estocástica analizada a través de la función de Estructura Dinámica. 5. Estudio de procesos de quimiorrecepción de sistemas biológicos. 6. Cálculo del operador de evolución temporal para sistemas con Hamiltonianos dependientes del tiempo (Fase de Berry). 7. Influencia del desorden en la estadística del tiempo del primer pasaje en sistemas finitos. 8. Estudio del modelo de "Tight Binding" con desorden estático. Objetivos específicos * Se continuará con el estudio de la evolución temporal para sistemas Hamiltonianos dependientes del tiempo (Fase de Berry). * Se estudiará de las propiedades termodinámicas de sistemas Hamiltonianos clásicos y cuánticos con desorden estático. * Se estudiará la probabilidad de supervivencia y los momentos de desplazamientos para partículas que difunden en un sistema unidimensional con trampas estáticas. En particular se tratará el caso de campo fuerte, extendiendo los resultados ya obtenidos en el caso de campo débil; se analizará la conexión con la estadística del tiempo del primer pasaje. * Se continuará con el estudio analítico de los exponentes críticos para Modelos de la Mayoría. (...) * Se realizará un estudio detallado de las propiedades de la función de estructura dinámica asociada con el movimiento uni-dimensional de partículas sometidas a potenciales anarmónicos con múltiples pozos y fricción débil. Se estudiará el fenómeno de resonancia estocástica a través de la función de estructura dinámica. * Se estudiará la estadística del tiempo del primer pasaje en sistemas finitos homogéneos y desordenados con diversas condiciones de entorno.

Estudios en Mecánica Estadística y Mecánica Cuántica

Objetivos generales y específicos: * "Large Deviations" no-comutativas. (...) * Propiedades (sobre todo extremales) de la entropía relativa. (...) * Estados fundamentales de sistemas (de spins) cuánticos. (...) Pero se espera sobre todo concentrar esfuerzos en los siguientes dos proyectos: 1. Termodinámica de equilibrio para modelos con desorden. Se pretende continuar con los estudios acerca de los aspectos termodinámicos y dinámicos de modelos importantes en el ámbito de los sistemas desordenados. (...) El principal interés concierne a la mecánica estadística de sistemas de spines cuyas constantes de interacción tienen componentes aleatorias. Estos modelos están relacionados con los modelos conocidos como vidrios de spin y el principal objetivo consiste en obtener información acerca de los diagramas de fases. (...) 2. Efectos no-adiabáticos en dinámica molecular. El proyecto tiene como objetivo general el estudio de aspectos conceptuales y computacionales de la dinámica de sistemas que involucran dos tipos de grados de libertad asociados usualmente con masas muy diferentes. Tal es el caso de los sistemas moleculares en los cuales las masas nucleares y electrónicas difieren en tres órdenes de magnitud. La investigación se centrará en situaciones en que falla la hipótesis (usual) de adiabaticidad. (...) Se estudiarán en un principio las bases matemáticas y conceptuales de los algoritmos de cálculo numérico conocido como "surface hopping methods". (...) Se reexaminará la base teórica de los métodos actuales para el estudio de fenómenos no adiabáticos. Se intentará el desarrollo de nuevos algoritmos de cálculo basados en las expansiones asintóticas de Hagedorn.

Interaccion de proteínas en estados intermediarios de plegamiento con membranas lipídicas

Comprender cómo una proteína adquiere su conformación tridimensional específica es un problema clave para la biología celular y molecular. Es un entretenido desafío intelectual y un problema de considerable importancia tecnológica debido al interés de expresar proteínas recombinantes biológicamente activas. Un fuerte incentivo es poder describir cómo ocurre el plegamiento en el medio celular, acoplado a la biosíntesis de la proteína y probablemente codificado por la secuencia primaria. La mayor parte de la información que disponemos, sin embargo, proviene de estudios estructurales, cinéticos, bioquímicos y termodinámicos in vitro de proteínas maduras. Particularmente importante pata la comprensión del problema del plegamiento ha sido la descripción de las rutas seguidas y de los estados intermedios de este proceso. Uno de estos estados intermedios es el glóbulo fundido: es un estado conformacional en el cual la proteína conserva su estructura terciaria. La proteína se encuentra parcialmente desplegada pero su grado de compactación es similar al del estado nativo. Aunque solo algunas proteínas pueden ser asimiladas en esa conformación, es aceptado que el glóbulo fundido es intermedio cinético entre la estructura nativa y la desplegada existencia universal. El estudio de proteínas en el estado de glóbulo fundido no sólo es relevante para comprender los procesos de plegamiento, sino también la inserción y translocación de proteínas solubles e intrínsecas en membranas lipídicas. (...) El objetivo general de este proyecto es estudiar las interacciones de proteínas en estados conformacionales intermedios con membranas lipídicas. El propósito es contribuir al conocimiento de los mecanismos por los cuales una proteína soluble puede, en ciertas circunstancias, penetrar y atravesar una membrana lipídica y estudiar de que manera el ambiente lipídico participa en el procesos de plegamiento de una proteína de membrana. Como modelo experimental se utilizará inicialmente a-lactoalbúmina, cuyo intermediario de plegamiento estable es el más estudiado y con la cual este grupo de trabajo posee experiencia. Se explorará también la posibilidad de utilizar otras proteínas, como anhidrasa carbónica, cuyos intermediarios de plegamiento pueden ser aislados. Se estudiarán particularmente los siguientes aspectos: 1. Estabilidad del intermediario en membrana 2. Estructura de intermediarios en membranas lipídicas. (...)

Desarrollo y validación de métodos analíticos aplicables a estudios de Preformulación y Control de Calidad de Formas Farmacéuticas Multicomponentes

La etapa de optimización de una droga denominada "Preformulación" está dirigida a definir el perfil de una droga desde el punto de vista de su identidad, pureza y potencia. Mediante la determinación de las propiedades físico-químicas que son relevantes en la formulación de un agente terapéutico es posible realizar una evaluación preliminar sobre las características de absorción del principio activo, por parte del organismo. (...) En la actualidad se elaboran en la Oficina de Farmacia "Formas Farmacéuticas" de cierta complejidad, que no pueden ser analizadas por los clásicos métodos químicos, sino que requieren de técnicas de instrumental modernas altamente selectivas y sensibles. Este tipo de estudio no puede realizarse fuera de los laboratorios oficiales de Control o del ámbito universitario, en razón del costo del equipamiento y las condiciones necesarias para su correcto funcionamiento. El análisis de los principios activos y de los productos farmacéuticos con ellos elaborados es responsabilidad tanto de la autoridad reguladora como el propio farmacéuticas que serán administradas al paciente. Es por ello que esta propuesta involucra el desarrollo de metodologías analíticas específicas y sensibles que permitan, en forma rápida, determinar la composición de las formas farmacéuticas que se comercializan, para "garantizar", dentro de los límites admisibles, la "calidad", requisito previo para una terapéutica medicamentosa eficaz y racional. Estudios realizados en diferentes países, demuestran el desarrollo significativo que ha tenido la Cromatografía Líquida de Alta Presión (HPLC) y la Espectrofotometría de Derivadas en el campo farmacéutico, permitiendo el análisis de drogas en presencia de sus productos de degradación o bien en mezclas de multicomponentes, aplicando distintas técnicas Espectroscópicas, como IR, RMN y EM en la determinación de estructuras. Por tal motivo, este proyecto apunta a desarrollar metodologías analíticas aplicables al análisis y determinación simultánea de los principios activos contenidos en formulaciones farmacéuticas. En este caso particular se propone el estudio de preparaciones galénicas (comprimidos) utilizadas como complemento en regímenes alimenticios, debido a la acción farmacológica de los ingredientes activos, al uso intensivo de las mismas en la Provincia de Córdoba y a la falta de Control de Calidad.

Estudios funcionales del Sistema Nervioso Central del recién nacido (Aprendizaje No Asociativo): Nuevos métodos

Desde hace ya tres décadas se conoce que el neonato, aún desde los primeros minutos de vida, puede responder a una gran variedad de olores, entre los cuales se encuentra el alcohol, con reacciones comportamentales y neurovegetativas específicas y que es capaz también de diferenciarlo de otros estímulos, lo que se puso de manifiesto a través de un proceso de habituación. La habituación, que es un proceso de aprendizaje no asociativo, se ha transformado en un parámetro valioso en el estudio del desarrollo de la plasticidad neurocomportamental en distintas especies, tanto en períodos perinatales como prenatales. En la esfera humana, se ha comprobado que el recién nacido puede habituar o sensitizar una respuesta refleja y responder de manera compleja a estimulación sensorial específica. Estudios realizados con claves olfatorias, tanto nóveles como biológicas, demuestran que el neonato puede reconocer y distinguir distintos olores y que la manera en que éste responde varía de acuerdo ala experiencia previa con el estímulo, manifestando preferencia por el olor que le resulta familiar, sin que necesariamente sea éste un olor materno. Estas tempranas capacidades de aprendizaje han sido útiles para evaluar la integridad del SNC fetal y neonatal, utilizando, por ejemplo, índices de habituación hacia distintos estímulos. Basándose en los resultados de estas investigaciones surge el objetivo general del proyecto: realizar un relevamiento de las capacidades de aprendizaje y memoria neonatales utilizando paradigmas de aprendizaje no asociativo como la habituación a claves olfativas nóveles (alcohol y limón), analizando la respuesta a los olores a través de patrones comportamentales y neurovegetativos presentes en el neonato a término. Este objetivo se irá desarrollando a lo largo de etapas experimentales consecutivas. En la primera de ellas, actualmente en ejecución, el propósito es evaluar respuestas habituatorias y de recuperación espontánea frente a la presentación secuencial de los aromas. En las etapas subsiguientes se pretenderá detectar también deshabituación y habituación ala deshabituación. Este proyecto forma parte de un plan de actividades mayor referido a reconocimiento, retención y discriminación de claves olfativas a nivel neonatológico. A largo plazo se procura diseñar, valiéndose de las tempranas capacidades de aprendizaje presentes en neonatos normales, pruebas que se utilicen para evaluar el desempeño neurocomportamental de recién nacidos donde se sospeche un Sistema Nervioso Central dañado por efectos de la exposición prenatal de alcohol y/o por episodios hipóxicos pre o perinatales.

Métodos para el análisis de programas probabilistas y no-deterministas utilizando probadores de teoremas. Methods for the analysis of probabilistic and nondeterministic programs using theorem provers.

La verificación y el análisis de programas con características probabilistas es una tarea necesaria del quehacer científico y tecnológico actual. El éxito y su posterior masificación de las implementaciones de protocolos de comunicación a nivel hardware y soluciones probabilistas a problemas distribuidos hacen más que interesante el uso de agentes estocásticos como elementos de programación. En muchos de estos casos el uso de agentes aleatorios produce soluciones mejores y más eficientes; en otros proveen soluciones donde es imposible encontrarlas por métodos tradicionales. Estos algoritmos se encuentran generalmente embebidos en múltiples mecanismos de hardware, por lo que un error en los mismos puede llegar a producir una multiplicación no deseada de sus efectos nocivos.Actualmente el mayor esfuerzo en el análisis de programas probabilísticos se lleva a cabo en el estudio y desarrollo de herramientas denominadas chequeadores de modelos probabilísticos. Las mismas, dado un modelo finito del sistema estocástico, obtienen de forma automática varias medidas de performance del mismo. Aunque esto puede ser bastante útil a la hora de verificar programas, para sistemas de uso general se hace necesario poder chequear especificaciones más completas que hacen a la corrección del algoritmo. Incluso sería interesante poder obtener automáticamente las propiedades del sistema, en forma de invariantes y contraejemplos.En este proyecto se pretende abordar el problema de análisis estático de programas probabilísticos mediante el uso de herramientas deductivas como probadores de teoremas y SMT solvers. Las mismas han mostrado su madurez y eficacia en atacar problemas de la programación tradicional. Con el fin de no perder automaticidad en los métodos, trabajaremos dentro del marco de "Interpretación Abstracta" el cual nos brinda un delineamiento para nuestro desarrollo teórico. Al mismo tiempo pondremos en práctica estos fundamentos mediante implementaciones concretas que utilicen aquellas herramientas.