Regulación transcripcional y relación entre estructura y función de proteínas relacionadas con el metabolismo de colina en Pseudomonas aeruginosa. Transcriptional regulation and relationship between structure and function of proteins related with the choline metabolism in Pseudomonas aeruginosa.

El objetivo general de este proyecto es dilucidar los mecanismos de acción a nivel molecular de enzimas y proteínas involucradas en el metabolismo de colina en Pseudomonas aeruginosa, con énfasis en la identificación de residuos aminoacídicos críticos y regulación de la expresión de los genes en estudio. Los objetivos específicos que se palntean involucran abordajes bioquímicos y moleculares y serán llevados a cabo mediante técnicas de biología molecular y bioquímica (mutación sitio-dirigida, deleción génica, expresión y purificación de proteínas, fusión transcripcional a genes reporteros, etc). Planteo de hipótesis: las proteínas que se inducen por colina (fosforilcolina fosfatasa (PchP), fosfolipasa C (PlcH), acetilcolinestera (AchE), proteínas periplásmicas unidoras de colina (PUch) podrían compartir: a) una organización génica y responder a la regulación por proteínas regulatorias o a factores ambientales de manera similar; b) residuos aminoacídicos conservados que intervengan en la unión o interacción con diferentes ligandos, principalmente, colina. Para ello, se plantean los siguientes Objetivos Específicos: 1) identificar las zonas promotoras de los genes que codifican para PchP, PlcH, AchE y PUch, a fin de localizar posibles sitios de unión a proteínas reguladoras y los factores ambientales que afectan la actividad promotora. 2) determinar en las proteínas mencionadas los residuos aminoacídicos de importancia involucrados en la catálisis y en la interacción con ligandos, principalmente en la unión a compuestos de alquilamonio; 3) Se iniciarán estudios que demuestren la relación entre la inducción por colina de varios factores de patogenicidad la virulencia del microorganismo, empleando mutantes simples o múltiples en estos factores y como modelo de patogenicidad el nematodo C. elegans. A partir de los resultados obtenidos se pretende tener un conocimiento profundo sobre la regulación molecular y bioquímica de varias enzimas comprometidas en la patología que produce P. aeruginosa. Esto más el conocimiento de la fisiología de este microorganismo abre el camino para la búsqueda de posibles blancos de acción de drogas. Por otro lado, se espera tener un conocimiento integral sobre la regulación de la expresión de las actividades enzimáticas relacionadas con el metabolismo de colina y la respuesta de P. aeruginosa ante la presencia de compuestos de alquilamonio utilizados como nutrientes. Se espera conocer el papel que desempeña cada uno de los sitios de unión a los diferentes ligandos para el funcionamiento y control de las enzimas mencionadas y explicar el comportamiento diferencial de las enzimas frente a distintos sustratos y otros ligandos. El conocimiento de los sitios de unión a compuestos de alquilamonio permitirá encontrar esos dominios en diferentes proteínas del género Pseudomonas y otras bacterias Gram negativas. Desde el punto de vista evolutivo, se podrá comparar la similitud de los sitios de unión a colina entre proteínas de organismos eucariotas con procariotas (ej. PUch de bacterias Gram positivas, transportadores de colina, proteína C reactiva, AchE de eucariotas contra las encontradas en bacterias del género Pseudomonas, fosfolipasas A, C o D, etc.). Este proyecto permitirá concretar al menos dos tesis doctorales (Sanchez, Otero) más varios trabajos finales de grado (tesinas) que son y serán realizados por alumnos de la carrera de Microbiología en la UNRC. Les permitirá a los doctorandos y a los alumnos de grado adquirir una formación bastante integral ya que utilizarán herramientas de la fisiología general bacteriana, de la bioquímica clásica, de la biología molecular y de la bioinformática.

Incidencia de los hábitos en el aprovechamiento del tiempo escolar. School - time - managment, habit - related - influence.

Esta investigación propone explorar si maestros y alumnos muestran hábitos en la escuela y si éstos inciden en el aprovechamiento del tiempo escolar, lo que permitiría inferir que su presencia optimizaría el proceso de aprendizaje y el comportamiento. Problema: ¿Qué efecto tienen los hábitos sobre el aprovechamiento del tiempo en la escuela? Hipótesis: La presencia de hábitos positivos en maestros y alumnos posibilita un significativo aprovechamiento del tiempo en las diversas actividades que se desarrollan en la sala de clase y en los diferentes momentos del funcionamiento escolar. Objetivos: Determinar en qué medida la presencia/ausencia de hábitos en maestros y alumnos incide sobre el aprovechamiento del tiempo escolar. Específicos: 1. Explorar si el currículum prescripto contempla la adquisición de hábitos como objetivo y/o contenido de aprendizaje. 2. Analizar si se advierten hábitos en las diversas oportunidades de aprendizaje que surgen en el ámbito escolar, como consecuencia del currículum prescripto y/o del currículum oculto. 3. Determinar la importancia de la adquisición de hábitos como objetivo educativo en la escuela. 4. Detectar si hay diferencias en la propuesta educativa ofrecida a los diversos grupos socio-económico-culturales. Metodología: Exploratoria-descriptiva-correlacional-transeccional, que pretende especificar cómo se manifiestan las variables sometidas a análisis (tiempo-hábitos-oportunidades escolares de enseñanza-aprendizaje) y el grado de relación existente entre las mismas. Técnicas: observación, análisis de contenido, cuestionario, entrevista. Unidades de análisis: Presencia/ausencia de hábitos en el currículum escolar prescripto u oculto y en el comportamiento de maestros y alumnos; incidencia de los mismos sobre el aprovechamiento del tiempo escolar; existencia/inexistencia de diferencias en la propuesta educativa ofrecida a los diversos grupos socio-económicoculturales. Se realizará un muestreo estratificado proporcional, mediante una selección al azar, aleatoria simple; una distribución de frecuencias para encontrar la mediana, la razón y la tasa, a fin de implementar la prueba de hipótesis y realizar la estadística inferencial; se elaborará el informe de investigación. Consideramos que el producto final favorecerá la toma de conciencia sobre la importancia de contemplar los hábitos en los maestros y en la formación integral de los alumnos, para optimizar el proceso de enseñanza -aprendizaje y ayudar a mejorar el funcionamiento institucional. Asimismo podrá proponerse como objeto de conocimiento científico para la formación docente y constituirse en un interesante insumo para la política educativa en lo que respecta a la formulación del currículum prescripto para los distintos niveles de educación formal obligatoria.

Verificación Formal de Sistemas basada Formal Software Verification based on Automated Analysisen Análisis Automático.

Identificación y caracterización del problema. Uno de los problemas más importantes asociados con la construcción de software es la corrección del mismo. En busca de proveer garantías del correcto funcionamiento del software, han surgido una variedad de técnicas de desarrollo con sólidas bases matemáticas y lógicas conocidas como métodos formales. Debido a su naturaleza, la aplicación de métodos formales requiere gran experiencia y conocimientos, sobre todo en lo concerniente a matemáticas y lógica, por lo cual su aplicación resulta costosa en la práctica. Esto ha provocado que su principal aplicación se limite a sistemas críticos, es decir, sistemas cuyo mal funcionamiento puede causar daños de magnitud, aunque los beneficios que sus técnicas proveen son relevantes a todo tipo de software. Poder trasladar los beneficios de los métodos formales a contextos de desarrollo de software más amplios que los sistemas críticos tendría un alto impacto en la productividad en tales contextos. Hipótesis. Contar con herramientas de análisis automático es un elemento de gran importancia. Ejemplos de esto son varias herramientas potentes de análisis basadas en métodos formales, cuya aplicación apunta directamente a código fuente. En la amplia mayoría de estas herramientas, la brecha entre las nociones a las cuales están acostumbrados los desarrolladores y aquellas necesarias para la aplicación de estas herramientas de análisis formal sigue siendo demasiado amplia. Muchas herramientas utilizan lenguajes de aserciones que escapan a los conocimientos y las costumbres usuales de los desarrolladores. Además, en muchos casos la salida brindada por la herramienta de análisis requiere cierto manejo del método formal subyacente. Este problema puede aliviarse mediante la producción de herramientas adecuadas. Otro problema intrínseco a las técnicas automáticas de análisis es cómo se comportan las mismas a medida que el tamaño y complejidad de los elementos a analizar crece (escalabilidad). Esta limitación es ampliamente conocida y es considerada crítica en la aplicabilidad de métodos formales de análisis en la práctica. Una forma de atacar este problema es el aprovechamiento de información y características de dominios específicos de aplicación. Planteo de objetivos. Este proyecto apunta a la construcción de herramientas de análisis formal para contribuir a la calidad, en cuanto a su corrección funcional, de especificaciones, modelos o código, en el contexto del desarrollo de software. Más precisamente, se busca, por un lado, identificar ambientes específicos en los cuales ciertas técnicas de análisis automático, como el análisis basado en SMT o SAT solving, o el model checking, puedan llevarse a niveles de escalabilidad superiores a los conocidos para estas técnicas en ámbitos generales. Se intentará implementar las adaptaciones a las técnicas elegidas en herramientas que permitan su uso a desarrolladores familiarizados con el contexto de aplicación, pero no necesariamente conocedores de los métodos o técnicas subyacentes. Materiales y métodos a utilizar. Los materiales a emplear serán bibliografía relevante al área y equipamiento informático. Métodos. Se emplearán los métodos propios de la matemática discreta, la lógica y la ingeniería de software. Resultados esperados. Uno de los resultados esperados del proyecto es la individualización de ámbitos específicos de aplicación de métodos formales de análisis. Se espera que como resultado del desarrollo del proyecto surjan herramientas de análisis cuyo nivel de usabilidad sea adecuado para su aplicación por parte de desarrolladores sin formación específica en los métodos formales utilizados. Importancia del proyecto. El principal impacto de este proyecto será la contribución a la aplicación práctica de técnicas formales de análisis en diferentes etapas del desarrollo de software, con la finalidad de incrementar su calidad y confiabilidad. A crucial factor for software quality is correcteness. Traditionally, formal approaches to software development concentrate on functional correctness, and tackle this problem basically by being based on well defined notations founded on solid mathematical grounds. This makes formal methods better suited for analysis, due to their precise semantics, but they are usually more complex, and require familiarity and experience with the manipulation of mathematical definitions. So, their acceptance by software engineers is rather restricted, and formal methods applications have been confined to critical systems. Nevertheless, it is obvious that the advantages that formal methods provide apply to any kind of software system. It is accepted that appropriate software tool support for formal analysis is essential, if one seeks providing support for software development based on formal methods. Indeed, some of the relatively recent sucesses of formal methods are accompanied by good quality tools that automate powerful analysis mechanisms, and are even integrated in widely used development environments. Still, most of these tools either concentrate on code analysis, and in many cases are still far from being simple enough to be employed by software engineers without experience in formal methods. Another important problem for the adoption of tool support for formal methods is scalability. Automated software analysis is intrinsically complex, and thus techniques do not scale well in the general case. In this project, we will attempt to identify particular modelling, design, specification or coding activities in software development processes where to apply automated formal analysis techniques. By focusing in very specific application domains, we expect to find characteristics that might be exploited to increase the scalability of the corresponding analyses, compared to the general case.

Sistemas de Tipos para Verificación de Programas Concurrentes. Type Systems for Concurrent Programs Verification.

La programación concurrente es una tarea difícil aún para los más experimentados programadores. Las investigaciones en concurrencia han dado como resultado una gran cantidad de mecanismos y herramientas para resolver problemas de condiciones de carrera de datos y deadlocks, problemas que surgen por el mal uso de los mecanismos de sincronización. La verificación de propiedades interesantes de programas concurrentes presenta dificultades extras a los programas secuenciales debido al no-determinismo de su ejecución, lo cual resulta en una explosión en el número de posibles estados de programa, haciendo casi imposible un tratamiento manual o aún con la ayuda de computadoras. Algunos enfoques se basan en la creación de lenguajes de programación con construcciones con un alto nivel de abstración para expresar concurrencia y sincronización. Otros enfoques tratan de desarrollar técnicas y métodos de razonamiento para demostrar propiedades, algunos usan demostradores de teoremas generales, model-checking o algortimos específicos sobre un determinado sistema de tipos. Los enfoques basados en análisis estático liviano utilizan técnicas como interpretación abstracta para detectar ciertos tipos de errores, de una manera conservativa. Estas técnicas generalmente escalan lo suficiente para aplicarse en grandes proyectos de software pero los tipos de errores que pueden detectar es limitada. Algunas propiedades interesantes están relacionadas a condiciones de carrera y deadlocks, mientras que otros están interesados en problemas relacionados con la seguridad de los sistemas, como confidencialidad e integridad de datos. Los principales objetivos de esta propuesta es identificar algunas propiedades de interés a verificar en sistemas concurrentes y desarrollar técnicas y herramientas para realizar la verificación en forma automática. Para lograr estos objetivos, se pondrá énfasis en el estudio y desarrollo de sistemas de tipos como tipos dependientes, sistema de tipos y efectos, y tipos de efectos sensibles al flujo de datos y control. Estos sistemas de tipos se aplicarán a algunos modelos de programación concurrente como por ejemplo, en Simple Concurrent Object-Oriented Programming (SCOOP) y Java. Además se abordarán propiedades de seguridad usando sistemas de tipos específicos. Concurrent programming has remained a dificult task even for very experienced programmers. Concurrency research has provided a rich set of tools and mechanisms for dealing with data races and deadlocks that arise of incorrect use of synchronization. Verification of most interesting properties of concurrent programs is a very dificult task due to intrinsic non-deterministic nature of concurrency, resulting in a state explosion which make it almost imposible to be manually treat and it is a serious challenge to do that even with help of computers. Some approaches attempts create programming languages with higher levels of abstraction for expressing concurrency and synchronization. Other approaches try to develop reasoning methods to prove properties, either using general theorem provers, model-checking or specific algorithms on some type systems. The light-weight static analysis approach apply techniques like abstract interpretation to find certain kind of bugs in a conservative way. This techniques scale well to be applied in large software projects but the kind of bugs they may find are limited. Some interesting properties are related to data races and deadlocks, while others are interested in some security problems like confidentiality and integrity of data. The main goals of this proposal is to identify some interesting properties to verify in concurrent systems and develop techniques and tools to do full automatic verification. The main approach will be the application of type systems, as dependent types, type and effect systems, and flow-efect types. Those type systems will be applied to some models for concurrent programming as Simple Concurrent Object-Oriented Programming (SCOOP) and Java. Other goals include the analysis of security properties also using specific type systems.

El valor razonable como concepto vinculado a la pertinencia del valor. Fair value as a concept related to value relevance.

IDENTIFICACIÓN Y CARACTERIZACIÓN DEL PROBLEMA - HIPÓTESIS Según la NIC 39, el valor razonable es la cantidad por la que puede ser intercambiado un activo o cancelado un pasivo entre un comprador y un vendedor interesados y debidamente informados, en condiciones de independencia mutua. La definición del FASB (SFAC 7) es muy similar, y define el valor razonable como el monto mediante el que un activo podría ser enajenado en una transacción entre partes independientes, dispuestas a realizar la operación en situaciones diferentes a la de una liquidación o a la de una venta forzada. Puede apreciarse que esta definición de valor razonable es limitada porque, a excepción de escenarios que se correspondan con mercados perfectos y completos, el concepto puede abarcar valores de entrada, valores de salida y valores en uso, los cuales pueden ser muy diferentes (Beaver, 1987). El valor de entrada es el valor de adquisición o de reemplazo, el valor de salida es el precio al cual un activo puede ser vendido o liquidado, y el valor en uso es el valor incremental de una empresa atribuible a un activo (se correspondería con el valor presente mencionado anteriormente). Dado que el IASB y la FASB se ocupan de la valuación de activos que una empresa posee, y no de activos que serán adquiridos en un futuro, su definición de valor razonable debería ser interpretada desde la perspectiva del vendedor. Por lo tanto, el concepto de valor razonable que manejan el IASB y la FASB se asemeja a un valor de salida, tal como lo propusieron Chambers y Stirling hace bastantes años atrás.Planteado esto, lo que tratará de dilucidar este proyecto de investigación es si este concepto de valor razonable es realmente novedoso o es una simple regresión a los valores corrientes de salida defendidos por los autores de la década del setenta. OBJETIVOS GENERALES Y ESPECÍFICOS General Analizar si el concepto “valor razonable” tal como es definido por la normativa actual se corresponde con una definición novedosa o es una adaptación/modificación/regresión de conceptos ya existentes (valores corrientes de salida). Específicos Revisar la literatura específica desde el punto de vista de la teoría contable y las normas de las que dispone la profesión referidas a los siguientes aspectos: a) Valores corrientes b) Valor razonable MATERIALES Y MÉTODOS El análisis que se llevará a cabo comprenderá dos aspectos. El primero consiste en la revisión de la doctrina contable. Para ello se analizará bibliografía significativa y trabajos de eventos académicos relacionados con el valor razonable. En segundo término se revisará la normativa profesional a nivel nacional e internacional. Después de concluido con los pasos anteriores se analizará la novedad del concepto valor razonable y su semejanza con el valor corriente de salida planteado por los autores de la década del setenta. IMPORTANCIA DEL PROYECTO – IMPACTO Se pretende revisar si el concepto valor razonable planteado por la normativa actual resulta realmente novedoso o es una adaptación de viejos conceptos planteados en la década del setenta del siglo pasado. El proyecto resulta importante porque es un tema no desarrollado en la literatura, ni planteado en congresos. Se estima lograr material de publicación y presentación en eventos académicos. According to the NIC 39, fair value is the quantity for the one that can be exchanged an asset or cancelled a liability between a buyer and a seller interested and due informed, in conditions of mutual independence. The definition of the FASB (SFAC 7) is very similar, and defines fair value as the amount by means of which an assets might be alienated in a transaction between independent parts, ready to realize the operation in situations different from that of a liquidation or to that of a forced sale. This definition of reasonable value is limited because, with the exception of scenes that fit with perfect and complete markets, the concept can include values of entry, values of exit and values in use, which can be very different (Beaver, 1987). The value of entry is the value of acquisition or of replacement, the value of exit is the price to which an asset can be sold or liquidated, and the value in use is the incremental value of a company attributable to an asset. Provided that the IASB and the FASB deal with the appraisal of assets that a company possesses, and not of assets that will be acquired in a future, this definition of fair value should be interpreted from the perspective of the seller. Therefore, the concept of reasonable value that they handle the IASB and the FASB is alike a value of exit, as Chambers and Stirling proposed it enough years ago behind. We will review if the concept of "fair value" is really new or if it is an adaptation of old concepts.