Percepción y uso de flora y fauna por parte de los pobladores del sistema Laguna Mar Chiquita - Bañados del Río Dulce y área de influencia: diagnóstico e implicaciones para la conservación. Perception and use of flora and fauna by people of the system "Laguna Mar Chiquita - Bañados del Río Dulce" and it influence area: diagnosis and conservation implications.

La percepción, consumo y manejo de recursos naturales forma parte del conocimiento tradicional de distintas poblaciones humanas e involucra diversidad de actividades (recolección de plantas, caza y pesca, etc). Entre los vegetales, el uso de plantas medicinales se destaca por su persistencia y ubicuidad. El recurso animal, a través de la caza y la pesca, es fundamental como fuente de alimento y empleo. El sistema Mar Chiquita-Bañados del Río Dulce se destaca por su biodiversidad y la existencia de prácticas tradicionales de uso. La presión por conversión de ambientes naturales a tierras dedicadas al cultivo es fuerte, afectando principalmente a los bosques autóctonos, y las especies animales que en él habitan. Además, la desaparición de ambientes naturales conlleva la pérdida de prácticas tradicionales de uso, con la consiguiente deculturación. El presente trabajo evaluará la percepción y utilización de recursos naturales por los pobladores del área de influencia de Bañados del Río Dulce y Laguna Mar Chiquita, centrándose en plantas medicinales, peces, aves y mamíferos, a la vez de indagar sobre la diversidad de percepciones y conductas de apropiación de los recursos, dado que en la región coexisten diferentes pautas socio-culturales de acuerdo al grupo de procedencia. Como metodología básica para la recolección de datos de percepción y uso se utilizarán encuestas semi-estructuradas. Sobre el origen étnico y lazos sociales se relevarán de fuentes escritas sobre procedencia, pautas de elección de pareja y formas de residencia. Los muestreos de fauna a campo se realizarán al azar estratificados en pastizal, bosque, y áreas relacionadas a humedales en busca de huellas, heces y señales de la presencia de especies animales focales, a la vez de prospección visual y auditiva. Los datos obtenidos acerca del conocimiento y uso del ambiente se presentarán y analizarán mediante técnicas específicas para análisis de datos antropológicos cualitativos y madiante ANOVA. Los datos sobre origen y lazos serán analizados según indicadores de endogamia geográfica e indicadores de endogamia reproductiva. Los datos de presencia de las especies se utilizarán para desarrollar modelos de distribución regional y de nicho ecológico. Se espera caracterizar en forma diferencial la percepción y uso del ambiente de acuerdo al origen o área de residencia, a la vez de generar mapas de distribución de especies focales. Asimismo, se propondrán acciones de conservación de la biodiversidad, tales como cartillas o talleres tendientes a reforzar y re-significar los conocimientos locales sobre el uso de flora y fauna.

Aprendizaje durante la ontogenia temprana: Estudio de la participación del sistema opioide en la modulación de aprendizajes mediados por el etanol. LEARNING AND EARLY ONTOGENY: ANALYSIS OF THE INVOLVEMENT OF OPIOID SYSTEM IN FETAL AND INFANTILE ETHANOL-MEDIATED EXPERIENCIES.

Este plan de trabajos es continuidad de una línea de investigación centrada en evaluar los mecanismos responsables de la adquisición, expresión y persistencia de experiencias con el etanol. A partir de ello, indagar acerca de los efectos de esta experiencia sobre comportamientos de búsqueda y autoadministración de etanol en neonatos e infantes de rata. Se pretende analizar la participación del sistema opiáceo en los mecanismos implicados en una memoria fetal y/o infantil, generada como consecuencia de la exposición etílica. En una primera etapa, nos proponemos establecer de qué manera experiencias prenatales con la droga modulan el patrón de auto-administración de alcohol y otros reforzadores, como sacarosa. En este primer bloque de experimentos realizaremos manipulaciones fetales para determinar con mayor grado de especificidad la posible acción del sistema opiáceo en los mecanismos de adquisición de una memoria etílica prenatal. Se realizarán administraciones de etanol y el antagonista opiáceo, directamente a nivel fetal, y se evaluará esta experiencia en un paradigma de condicionamiento neonatal positivo, mediado por la droga. De acuerdo a la evidencia previa, esperamos que la exposición prenatal con la droga facilite la expresión de conductas de consumo y búsqueda del etanol o hacia las claves que señalizan al psicotrópico, tanto durante la infancia como en el neonato. A su vez, cuando la droga es presentada bajo los efectos de un antagonista opiáceo esperamos que estas conductas muestren un perfil similar a las desplegadas por sujetos controles. El segundo bloque de experimentos ha sido ideado con el objeto de indagar acerca de la posible participación del sistema opiáceo en la modulación de los aspectos reforzantes de la droga, a través de un esquema de auto-administración etílica infantil. Se utilizará un paradigma de condicionamiento instrumental adaptado para ratas infantes que consta de dos instancias, una de adquisición de la conducta instrumental (DPs 14-17) en la cual los animales reciben un pulso de refuerzo, como consecuencia de la ejecución de la conducta operante. En una segunda fase se analiza el patrón de búsqueda del reforzador ya que se registra la respuesta instrumental, sin que ocurra el refuerzo por la misma. Para analizar la participación del sistema opiáceo, durante la fase de adquisición de la conducta operante (DPs 16 y 17) los animales serán re-expuestos a mínimas cantidades del reforzador, bajo los efectos de un antagonista opiáceo, momentos previos al ensayo instrumental correspondiente para cada uno de estos días (Exp. 3). Esperamos que el bloqueo del sistema opiáceo, durante esta re-exposición al etanol, sea suficiente para disminuir el patrón de respuesta instrumental hacia el refuerzo etílico. Un último experimento incorporará un tercer evento de re-exposición al etanol -bajo los efectos del antagonista- previo al ensayo de extinción de la conducta instrumental (DP 18). Este nuevo evento tiene por objeto analizar la participación de este sistema neurobiológico en los mecanismos de búsqueda de etanol. Si el sistema opiáceo participa en la modulación de patrones tanto de búsqueda como consumatorios del reforzamiento por etanol, se espera que la re-exposición a la droga bajo los efectos del antagonista, inhiba estas respuestas tanto durante la sesión de adquisición, como de extinción de la conducta operante. Este proyecto intenta profundizar en el conocimiento de los mecanismos que regulan reconocimiento, aceptación, búsqueda y consumo de etanol, como consecuencia de experiencias tempranas con la droga. A su vez, es importante identificar y estudiar los sistemas neurobiológicos involucrados en estos mecanismos. Es por ello que se intenta determinar el rol que ejerce el sistema opiáceo en la adquisición de estas experiencias etílicas a nivel fetal e infantil, que se conoce promueven la búsqueda y el consumo de la droga. Our work is directed to analyze the involvement of the opioid system in the generation of pre- and early postnatal ethanol-related memories. As a first step, maternal manipulations with ethanol will be done. Infants will be evaluated in a paradigm of infantile self-administration of different reinforcers (ethanol, sucrose or water), employing a model of operant conditioning adapted to infant rats. A second experiment will be conducted in order to analyze if a central administration of ethanol, directly to the fetus, modifies subsequent patterns of neonatal conditioned responses to an artificial nipple, mediated by ethanol reinforcing effects. Fetal presentation of ethanol will be accompanied with the injection of an opioid antagonist in order to analyze the involvement of this system in acquisition processes of a fetal ethanol-mediated memory. A second set of studies will be conducted to analyze appetitive and consummatory behaviors in an infant model of ethanol self-administration. Involvement of opioid system in the acquisition or expression of this experience will be also inquired. Infant rats (PDs14-17) have to display a target behavior (nose-poke) to gain access to 5% sucrose or 3.75% ethanol. On PD18 an extinction session will be included. At PDs16-17, 6-hr before training, pups will be re-exposed to ethanol under opioid antagonism effects (naloxone). In a follow up experiment, a re-exposure trial will be included at PD18. Prior extinction, pups will receive naloxone and will be re-exposed to ethanol. We aim to observe if opioid system is modulating etha¬nol reinforcing effects, in terms of both appetitive and consummatory behaviors.

Investigación de defectos genéticos en el sistema de la fosforilasa hepática en pacientes argentinos. Definición nosológica mediante una estrategia de análisis molecular. Investigation of genetic defects in the hepatic phosphorylase system in Argentinean patients. Nosological definition by molecular analysis strategy.

Las Enfermedades de Atesoramiento de Glucógeno (EAGs) también llamadas Glucogenosis comprenden un grupo de entidades causadas por una deficiencia enzimática específica relacionada con la vía de síntesis o degradación de esta macromolécula. La heterogeneidad fenotípica de los pacientes afectados dificulta la identificación de las diferentes variantes de EAG y por ende la correcta definición nosológica. En el Centro de Estudio de las Metabolopatías Congénitas, CEMECO, se fueron definiendo los diferentes tipos de Glucogenosis a través de una estrategia multidisciplinaria que integra distintos niveles de investigación clínica y complementaria, laboratorio metabólico especializado, enzimático, histomorfológico y de análisis molecular. Sin embargo, en algunos enfermos, entre los que se encuentran aquellos con defectos en el sistema de la fosforilasa hepática (EAG-VI y EAG-IX), la exacta definición nosológica aún no está resulta. La EAG-VI se refiere a un defecto en la fosforilasa hepática, enzima codificada por el gen PYGL, mientras que la EAG-IX es causada por un defecto genético en una de las subunidades de la fosforilasa b quinasa hepática codicadas por los genes PHKA2, PHKB y PHKG2, respectivamente. El objetivo del presente trabajo es propender a la definición nosológica de pacientes con defectos en el sistema de la fosforilasa mediante una estrategia de análisis molecular investigando los genes PYGL, PHKA2, PHKB y PHKG2. Los pacientes incluidos en este estudio deberán ser compatibles de padecer una EAG-VI o EAG-IX sobre la base de síntomas clínicos y hallazgos bioquímicos. La metodología incluirá la determinación de la enzima fosforilasa b quinasa en glóbulos rojos y dentro del análisis molecular la extracción de DNA genómico a partir de sangre entera para la amplificación por PCR de los exones más las uniones exon/intron de los genes PHKG2 y PYGL y la extracción de RNA total y obtención de cDNA para posterior amplificación de los cDNA PHKA2 y PHKB. Todos los fragmentos amplificados serán sometidos a análisis de secuencia de nucleótidos. Resultados esperados. Este trabajo, primero en Argentina, permitirá establecer las bases moleculares de los defectos del sistema de la fosforilasa hepática (EAG-VI y EAG-IX). El poder lograr este nivel de investigación traerá aparejado, una oferta integrativa en el vasto capítulo de las glucogenosis hepáticas, con extraordinaria significación en la práctica asistencial para el manejo, pronóstico y correspondiente asesoramiento genético. Hepatic glycogen storage diseases (GSDs) are a group of disorders produced by a deficiency in a specific protein involved in the metabolism of glycogen causing different types of GSDs. Phenotypic heterogeneity of affected patients difficult to identify the different GSD variants and therefore the correct definition of the disease. In the “Centro de Estudio de las Metabolopatías Congénitas”, CEMECO, were defined the different GSD types by a protocol which included complex gradual levels of clinical, biochemical, enzymatic and morphological investigation. However, in some patients, like those one with defects in the hepatic phosphorylase system (GSD-VI and GSD-IX) the exact definition of the disease has not yet been resolved. The GSD-VI is produced by a defect in the PYGL gen that encode the liver phosphorylase, while the GSD-IX is caused by a genetic defect in one of the Phosphorylase b kinase subunits, encoded by the PHKA2, PHKB and PHKG2 genes, respectively. The aim of the present study is to define the phosphorylase system defects in argentinian patients through a molecular strategy that involve the investigation of PYGL, PHKA2, PHKB and PHKG2 genes. Patients included in the present study must be compatible with a GSD-VI or GSD-IX on the bases of clinical symptoms and biochemical findings. The phosphorylase b kinase activity will be assay on in blood red cells. The molecular study will include genomic DNA extraction for the amplification of PHKG2 and PYGL genes and the total RNA extraction for amplification of the PHKA2 and PHKB cDNA by PCR. All PCR-amplified fragments will be subjected to direct nucleotide sequencing. This work, first in Argentina, will make possible to establish the molecular basis of the defects on the hepatic phosphorylase system (GSD-VI and GSD IX). To achieve this level of research will entail advance in the study of the hepatic glycogen storage disease, with extraordinary significance in the treatment, prognosis and the genetic counselling.

Verificación de Sistemas Basada en Teoría de Tipos. System verification in type theory

Este proyecto se enmarca en la utlización de métodos formales (más precisamente, en la utilización de teoría de tipos) para garantizar la ausencia de errores en programas. Por un lado se plantea el diseño de nuevos algoritmos de chequeo de tipos. Para ello, se proponen nuevos algoritmos basados en la idea de normalización por evaluación que sean extensibles a otros sistemas de tipos. En el futuro próximo extenderemos resultados que hemos conseguido recientemente [16,17] para obtener: una simplificación de los trabajos realizados para sistemas sin regla eta (acá se estudiarán dos sistemas: a la Martin Löf y a la PTS), la formulación de estos chequeadores para sistemas con variables, generalizar la noción de categoría con familia utilizada para dar semántica a teoría de tipos, obtener una formulación categórica de la noción de normalización por evaluación y finalmente, aplicar estos algoritmos a sistemas con reescrituras. Para los primeros resultados esperados mencionados, nos proponemos como método adaptar las pruebas de [16,17] a los nuevos sistemas. La importancia radica en que permitirán tornar más automatizables (y por ello, más fácilmente utilizables) los asistentes de demostración basados en teoría de tipos. Por otro lado, se utilizará la teoría de tipos para certificar compiladores, intentando llevar adelante la propuesta nunca explorada de [22] de utilizar un enfoque abstracto basado en categorías funtoriales. El método consistirá en certificar el lenguaje "Peal" [29] y luego agregar sucesivamente funcionalidad hasta obtener Forsythe [23]. En este período esperamos poder agregar varias extensiones. La importancia de este proyecto radica en que sólo un compilador certificado garantiza que un programa fuente correcto se compile a un programa objeto correcto. Es por ello, crucial para todo proceso de verificación que se base en verificar código fuente. Finalmente, se abordará la formalización de sistemas con session types. Los mismos han demostrado tener fallas en sus formulaciones [30], por lo que parece conveniente su formalización. Durante la marcha de este proyecto, esperamos tener alguna formalización que dé lugar a un algoritmo de chequeo de tipos y a demostrar las propiedades usuales de los sistemas. La contribución es arrojar un poco de luz sobre estas formulaciones cuyos errores revelan que el tema no ha adquirido aún suficiente madurez o comprensión por parte de la comunidad. This project is about using type theory to garantee program correctness. It follows three different directions: 1) Finding new type-checking algorithms based on normalization by evaluation. First, we would show that recent results like [16,17] extend to other type systems like: Martin-Löf´s type theory without eta rule, PTSs, type systems with variables (in addition to systems in [16,17] which are a la de Bruijn), systems with rewrite rules. This will be done by adjusting the proofs in [16,17] so that they apply to such systems as well. We will also try to obtain a more general definition of categories with families and normalization by evaluation, formulated in categorical terms. We expect this may turn proof-assistants more automatic and useful. 2) Exploring the proposal in [22] to compiler construction for Algol-like languages using functorial categories. According to [22] such approach is suitable for verifying compiler correctness, claim which was never explored. First, the language Peal [29] will be certified in type theory and we will gradually add funtionality to it until a correct compiler for the language Forsythe [23] is obtained. 3) Formilizing systems for session types. Several proposals have shown to be faulty [30]. This means that a formalization of it may contribute to the general understanding of session types.

Regímenes Internacionales y Derechos Humanos. La incidencia del sistema interamericano de protección en la legislación y jurisprudencia argentinas. International Regimes and Human Rights. The incidence of inter-American system in Argentine law and jurisprudence.

El nuevo escenario internacional produce lo que se ha dado en caracterizar como la globalización del derecho, especialmente en el ámbito de los derechos humanos. En este contexto se analiza la incidencia del Sistema Interamericano de protección de los Derechos Humanos con especial énfasis en el derecho de la información, desde la optica del derecho interno. Nos preguntamos acerca de cómo se presenta la tensión entre la lógica estatal con su rasgo de afirmación en la soberanía y monopolio en la creación de la jurisdicción doméstica, con la doctrina del derecho internacional de los derechos humanos, que consecuentemente conduce hacia una globalización jurídica de estos temas. Esto refleja un debilitamiento en el monopolio de creación y aplicación del derecho por parte de los Estados. A partir de este dato del escenario internacional buscamos determinar la incidencia de los informes de la Comisión Interamericana de Derechos Humanos y los pronunciamientos de la Corte Interamericana en materia de derecho de la información y su influencia en la jurisprudencia y creación de legislación en nuestro país. The new internacional scenario produces wtah has come to be characterized as the globalization of law, especially in the field of the human rights. In this context we analyze the impact of the Inter-American system of human Rights, whit particular emphasis on media law in domestic law