Desarrollo de metodología e instrumentación para el análisis de compuestos de interés biológico en sistemas de flujo continuo

La cromatogafía líquida de alta perfomance (HPLC) se ha transformado en una de las herramientas analíticas preferidas en el ámbito académico, tecnológico e industrial. Aunque la técnica data de fin de la década del ´60, no ha sido hasta mediado de los años '70 que la misma ganó popularidad, fundamentalmente por los avances logrados en la reproducibilidad de la fabricación de fases estacionarias, mejores bombas de alta presión y el desarrollo de detectores más sensibles. La cromatografía líquida de alta performance es en la actualidad una técnica de gran utilidad en la química clínica y en la bioquímica. Esta técnica resulta muy útil para el análisis de compuestos a nivel de trazas dentro de las complejas matrices biológicas. El objetivo principal del presente proyecto es realizar investigaciones en el área de la Química Analítica, específicamente química bioanalítica, a fin de desarrollar metodologías y detectores electroquímicos altamente sensibles y selectivos para el análisis de compuestos de interés biológico mediante cromatografía líquida de alta presión. El proyecto comprende tres líneas íntimamente relacionadas: A) Análisis de metabolitos de catecolaminas por HPLC con apareamiento iónico, en orina de ratas cuyas madres han sido sometidas a estrés por inmovilización; esto permitirá correlacionar el efecto del estrés prenatal en los niveles de catecolaminas presentes en las crías. Esta línea está comprendida en un objetivo más amplio que es correlacionar el efecto del estrés prenatal sobre la madurez sexual de las crías. B) Análisis de antibióticos del grupo de las fluoroquinolonas mediante técnicas electroquímicas y de HPLC. Se pretenden elucidar los procesos de electrodo que ocurren durante la electrorreducción de antibióticos del grupo de las fluoroquinolonas, para de esta manera desarrollar detectores electroquímicos para sistemas de flujo continuo. C) Desarrollo de un micropotenciostato computarizado para la detección en sistemas de flujo continuo. (...) También se pretende implementar el uso de un microelectrodo anular desarrollado en la Comisión Nacional de Energía Atómica.

Desarrollo e interrupción de la generatividad en ámbitos familiares, comunitarios y políticos. Development and interruption of the generatividad in familiar, communitarian and political ambients.

El presente proyecto está centrado en tres crisis vitales del desarrollo humano: la identidad, la generatividad y la integridad del yo (Erikson, 1961). Se indagará la relación existente entre estos momentos del desarrollo psicosocial con las vicisitudes y crisis sociales y políticas que atraviesan el desarrollo personal. El sentido de lo político, la participación comunitaria y social se pondrán en tensión con la historia de acontecimientos que le sucedieron a las personas a lo largo de su vida y se plasman en las narrativas vitales.La tarea de actualizar las identificaciones tempranas, fundirse en un proyecto personal, de pareja, social y laboral implica la consolidación de la identidad y prepara a las personas para la etapa más fructífera de la adultez: la intimidad y la generatividad. Esta tarea implica involucrarse en la guía de otras generaciones más jóvenes a la vez que se sostiene el cuidado personal y el propio desarrollo y expansión del self.Sin embargo, existen dificultades en el desarrollo adulto que, sin conformarse en patologías, obturan la expresión de estos componentes egosintónicos y se manifiestan otros componentes egodistónicos o debilidades del yo. Asimismo, crisis sociales y eventos históricos significativos atraviesan la vida de las personas marcando sus metas de desarrollo y transformando el sentido de sí mismos y el significado de ser en el mundo con otros. Las expresiones personales y familiares de la generatividad tienen diferentes manifestaciones que se expresan en el campo social, comunitario y político y en el ejercicio de distintos roles sociales (voluntariado, participación política, inclusión en organizaciones comunitario, liderazgo de instituciones sociales, gremiales, partidarias o religiosas). En cualquier caso interesa conocer y determinar qué factores del desarrollo temprano y adulto establecen diferentes niveles de compromiso, interés e involucramiento. Los objetivos se centran en determinar los componentes de la generatividad y sus expresiones agénticas y comunitarias. Se utilizará un abordaje combinado de metodología cuantitativa y cualitativa. Se desarrollará una escala de generatividad aportando las evidencias de confiabilidad y validez requeridos en el desarrollo psicométrico. Posteriormente se administrará una entrevista pautada semidirigida, que permita valorar cualitativamente las diferencias centrales en las historias de vida entre sujetos con diferentes niveles de generatividad y grupos u organizaciones específicamente vinculadas al cuidado de los otros (derechos humanos, organizaciones comunitarias y ONG's vinculados al desarrollo infantil y cuidado de la vejez). De esta forma se valorará el impacto de crisis vitales y familiares, tanto como adversidades sociales y políticas (violencia, represión) en la generatividad, la madurez en adultez y la participación social y comunitaria.Se espera, así, identificar los aspectos egosintónicos comunes que son esenciales para desarrollar y consolidar fortalezas, secuencias de sentido, de redención y plenitud vital y compromiso político y comunitario a pesar de las adversidades en poblaciones diversas. La contrastación de las narrativas vitales permitirá elucidar qué potencialidades y recursos psicológico se ponen en juego, no sólo para la recuperación tras la adversidad (factores resilientes), sino para el desarrollo de una madurez comprometida con causas sociales y humanitarias que de forma reparatoria, restauran una porción de la realidad en la que se sufrió la injusticia y la crueldad, no ya para sí mismos sino para el resto de la sociedad.

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.

Análisis y diseño de un modelo gestión para la conservación de frutas y hortalizas del Cinturón Verde de la provincia de Córdoba: Preservación de la aptitud organoléptica en atmósfera controlada.

Los negocios vinculados al Agro han crecido en forma importante en la Argentina en los últimos diez años. Este comportamiento se ha dado a partir de dos variables estratégicas, una el precio de los productos y la segunda los niveles de eficiencia tecnológica y productiva, esta última puede ser mejorada para que el sistema tienda a ser más sustentable, pudiéndose generar un "plus de valor" para el consumidor y mayor rentabilidad para la empresa. Para que una empresa en el marco de los agronegocios pueda crear valor a lo largo de la cadena, debe lograr diferenciación, para ello se propone el desarrollo de un proyecto que permita al consumidor obtener productos en condiciones organolépticas óptimas evitando el corte anticipado de frutas y verduras con el consiguiente degradado de las condiciones de calidad desde una visión sistémica de la cadena de abastecimiento y distribución, a través de un proceso que agregue valor para el consumidor, desde un nuevo enfoque mas integrador. La madurez en la cosecha es el factor determinante de la vida comercial, del precio y de la calidad final de la fruta. Cuando los frutos se cosechan fisiológicamente inmaduros evolucionan perdiendo firmeza pero no manifestarán el aroma y sabor característicos, siendo más susceptibles a marchitamiento y a daños mecánicos. Si se cosechan sobre maduros, pronto se vuelven blandos e insípidos y son más difíciles de manipular y comercializar. Para poder ser comercializados se deben cosechar en madurez fisiológica pero no con la madurez óptima para el consumo, esto hace crítica esta primera etapa de la cadena de abastecimiento. Como consecuencia, la cosecha del sector coincide para cada uno de los rubros explotados, generando una oferta significativa de un producto específico (un ejemplo es que todos los productores cosechan al mismo tiempo la lechuga) lo que satura el mercado. El valor de la producción es fijado por la ley de la oferta y la demanda por lo que se obtiene un escaso rendimiento en el momento de la comercialización. El objetivo del presente proyecto es generar una alternativa tecnológica, que permita a los productores, poder extender el lapso de aptitud del producto y de esta manera originar nuevas posibilidades de estrategia comercial para consumo interno y para exportación. La aplicación del envasado al vacío o con atmósfera modificada (EAM) prolonga la conservación de la calidad de los productos alimenticios. En este proceso es indispensable poder detener o disminuir los mecanismos químicos y biológicos que determinan la descomposición de los alimentos. El EAM consiste en el envasado de productos alimenticios en una atmósfera distinta a aquella natural y constituida por mezclas de gases en distintas proporciones, principalmente oxígeno, nitrógeno, dióxido de carbono y óxido nitroso. La EAM ofrece ventajas con respecto a otros métodos de embalaje, ya que además de extender el período de conservación, mantiene la calidad organoléptica de las frutas y vegetales frescos, característica fundamental para atraer la atención de los consumidores. El impacto esperado de esta aplicación tecnológica permitirá: 1. La prolongación de la conservación, permitiendo explotar las economías de escala de producción, mejorar la gestión de las provisiones y costos de transporte, generar nuevas estrategias comerciales, extender la propia producción a otros mercados. 2. Los materiales de los embalajes son fabricados de acuerdo a las normas de inocuidad que mantienen la calidad del producto, resaltando la estética de la presentación. 3. El aspecto ambiental de este proceso, es menos contaminante, ya que se reducen o eliminan los aditivos y conservantes. 4. En el desarrollo de esta transición se generan relaciones sociales que permiten detectar carencias y recursos que pueden ser compartidos por los distintos actores, contribuyendo al desarrollo integral de los participantes.

EVALUACIÓN FUNCIONAL DEL CEREBRO: EL VALOR PREDICTIVO DE LA HABITUACIÓN COMO INDICADOR TEMPRANO DE LA INTEGRIDAD DEL SNC EN RECIÉN NACIDOS DE ALTO RIESGO NEUROLÓGICO POR HIPOXIA PERINATAL

La hipoxia perinatal se considera hoy una de las causas de mayor morbimortalidad en el recién nacido estando altamente asociada con déficits de orden neuro-psico-sensorial. Un adecuado tratamiento y rehabilitación implica la detección temprana de los déficits apuntando a la prevención. La neonatología actual se está orientando hacia técnicas no invasivas que valoran la respuesta hacia estímulos de diferentes cualidades sensoriales y permiten indagar capacidades tempranas de aprendizaje y memoria. La precoz madurez del sistema olfativo facilita el trabajo con estas claves brindando asímismo un panorama de la integración cortical. Hipótesis: Las capacidades de habituación-deshabituación olfativa reflejan el estado del SNC neonatal y se convierten en un indicador temprano de la funcionalidad cerebral en niños con alto riesgo neurológico. Objetivos: Evaluar la integridad funcional del cerebro de recién nacidos con riesgo neurológico mediante técnicas no invasivas de habituación-deshabituación. Estas téncicas se tomarán como indicadores del estado del SNC neonatal comparando sus resultados con los arrojados por el test de Bayley durante el primer año de vida. Asímismo, se relacionarán los resultados con las valoraciones clínicas y de imágenes (ecografía y RMN) obtendias. El objetivo último implica determinar la sensibilidad, especificidad y valor predictivo del test de Habituación-Deshabituación para el daño cerebral . Materiales y Métodos: Se evaluarán pacientes con antecedentes perinatales de hipoxia pertenecientes al Servicio del Neonatología del HUMN y al Hospital Materno Neonatal (Pcia de Córdoba) caracterizados por apgar < 3 a los 5 minutos ó < 5 a los 5 minutos, Ph de cordón < 7 ó entre 7 y 7,10 ó >7,10 con alguno de los criterios anteriores presentes y niños con manifestaciones sistémicas de asfixia o déficit de base en gas arterial superior a -15 Meq/L. De manera posterior a la firma del consentimiento informado se aplicará un esquema olfativo de habituación-deshabituación antes y después de las 6 horas de vida consistente en 10 presentaciones consecutivas de olor a limón o vainilla seguidos de 5 presentaciones consecutivas de olor a vainilla o limón que actúan como estímulos deshabituatorios. Se filmará la conducta motriz que será considerada como variable dependiente. Asímismo se evaluarán parámetros fisiológicos como presión areterial, saturación de oxígeno, frecuencia cardíaca y ritmo respiratorio. La evaluación de la habituación se complementará con estudios clínicos y ecografía cerebral antes de las 48 hs y 1 vez por semana. Todos estos bebés serán seguidos por el equipo de Seguimiento del Recién Nacido de Alto Riesgo. A los 6 meses y al año de vida se evaluará el desarrollo integral con el Test de Bayley . Resultados Esperados: Se espera encontrar diferencias en los patrones habituacionales en función del estado cerebral del bebé. Aquellos bebés con riesgo leve tenderán a mostrar patrones habituatorios que se acercan a los normales mientras que los que presenten riesgo moderado o grave exhibiran patrones habituacionales defectuosos. Estos resultados se correlacionarán con los estudios de seguimiento realizados y con los indices de desarrollo mental y motor arrojados por el test de Bayley durante el año de vida. Importancia del Proyecto: Definir precozmente al niño con riesgo neurológico permite intervenir a tiempo con la estimulación y rehabilitación adecuada. Teniendo en cuenta la valoración del examen clínico, los antecedentes perinatales y los estudios de imágenes que se realizan en el bebé junto a los resultados obtenidos en las pruebas habituacionales, el proyecto brinda la posibilidad de la construcción de un score de riesgo neurológico sencillo y de fácil utilización.

Estrategias reproductivas de lagartos del género tupinambis en distintos contextos ecológicos de la Provincia de Córdoba. Reproductive strategies of lizards of genus tupinambis in different ecological contexts of the Cordoba province.

Los caracteres de historia de vida son sensibles a la variación histórica o actual de los factores ambientales. Estudiar dicha variabilidad mediante la realización de estudios comparativos permite obtener evidencias sobre las causas de la evolución de ciertos caracteres. Los lagartos son excelentes modelos para el estudio de selección sexual y evolución del comportamiento social y reproductivo debido a que su relativa baja dispersión podría tener consecuencias evolutivas profundas en el desarrollo de distintas estrategias, ya que las poblaciones, al encontrarse más aisladas, podrían verse influenciadas por las fuerzas selectivas locales, mostrando una alta heterogeneidad espacial y temporal. Por eso nos propusimos realizar este trabajo para evaluar si existen diferentes estrategias reproductivas en los lagartos del género Tupinambis en distintos contextos ecológicos de la provincia de Córdoba. Para ello analizaremos distintas características de la historia de vida en poblaciones de estas especies tales como estructura de tamaño, sexo operativo, frecuencia reproductiva, tamaño de camada, condición corporal reproductiva, tamaño de madurez sexual, características espermáticas, elección de sitios de nidificación, etc. Además analizaremos la estructura genética de las poblaciones para inferir procesos demográficos históricos y patrones actuales de flujo génico y conectividad. The life history traits are sensitive to historical or current variation of environmental factors. Studying this variability by performing comparative studies allows obtaining evidence on the causes of the evolution of certain characters. Lizards are excellent models for studying sexual selection and evolution of social and reproductive behavior because their relatively low dispersal capabilities could have profound evolutionary consequences in the development of different strategies, since isolated populations may be stronger influenced by local selective forces, showing a high spatial and temporal heterogeneity. We decided to perform this study to assess whether there are different reproductive strategies in lizards of the genus Tupinambis in different ecological contexts of the Cordoba province. We will analyze different life history traits in populations of these species such as size structure, operational sex ratio, reproductive frequency, litter size, body condition, size at sexual maturity, sperm characteristics, choice of nesting sites, etc.. We also analyzed the genetic structure of populations to infer historical demographic processes and current patterns of gene flow and connectivity.

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.

Verificación de Sistemas Basada en Teoría de Tipos

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.

HABLAR, LEER, ESCRIBIR COMO ACTIVIDADES FUNDANTES DE LOS APRENDIZAJES ESCOLARES"

A lo largo de cinco años, el Centro de Investigaciones Lingüísticas de la Facultad de Lenguas ha estudiado interdisciplinariamente lo relacionado a los aprendizajes y procesos de progreso lingüísticos en niños y adolescentes (Proyecto PICTOR 20293). La labor se desarrolló en equipo, conformado por especialistas del área Salud y del área Ciencias del Lenguaje (psico y sociolingüistas). Desde la salud, se indagó en lo relacionado a salud bucal, sistema estomatognático, nutrición y sus posibles incidencias en lo que a cognición y lenguaje se refiere. Desde las Ciencias del Lenguaje, fueron espacios específicos la conciencia fonológica, la disponibilidad léxica, la comprensión lectora, las cosmovisiones del docente, la escritura de textos, la construcción de los conocimientos. Gran parte de la tarea se desarrolló en las instalaciones de la Escuela Primaria Primer Teniente Ávila y allí se generó un fructífero intercambio de acciones y opiniones entre los investigadores y los docentes que fructificaron en pequeños programas de intervención en las aulas. Un perfil de un programa, esta vez de transferencia, estaba ya surgiendo en la comunidad constituida. La escuela actual batalla en muchos frentes. Se trata hoy de una institución requerida en tensión por el medio circundante lo que la sume en un continuo vaivén de obligaciones mayores y menores, pero, todas ellas perentorias e impostergables. En ese panorama es muy apreciada la posibilidad de contar con un apoyo en formación para todo el cuerpo docente en un área tan sensible como la lingüística. No existe aún en nuestro medio el diseño de una tarea coordinada en consecutividad y gradualidad para la educación lingüística. Se propone ahora un PROGRAMA DE TRABAJO PARA MEJORAR LA CALIDAD de la LECTURA Y de LA ESCRITURA (en particular en el segundo ciclo) y, consecuentemente, facilitar la permeabilidad de los aprendizajes escolares. La base de esos aprendizajes es lingüístico-cognitiva ya que lo que se enseña y se aprende se vehicula siempre bajo formato de lengua. En este sentido, hoy se insiste en "regresar al hablante" y tratar de develar qué sabe él de la lengua que habla, su “conciencia semántica" y, a partir de lo que se "des-cubra", se propondrá un punto de partida para iniciar el camino del desarrollo lingüístico-cognitivo. Uno de los inconvenientes en la actualidad es que no se establecen los hitos referenciales para la progresión, por etapa, de maduración del alumnado. Por ejemplo, se afirma que se enseña léxico porque los alumnos tienen "pobreza léxica", pero no circula ningún instrumento de apoyo que aleje la afirmación del mero impresionismo para conocer lo más técnicamente posible cuál es el léxico general disponible de cada grupo etario y, a partir de allí, proceder a las prácticas de incorporación de nuevas palabras. En este mismo sentido, la investigación desarrollada por el PICTOR se ocupó de lo referido a disponibilidad léxica (DL), prácticas y especulaciones fonológicas, morfológicas, conciencia textual y pragmática. Por esta razón la escuela descubrió instrumentales necesarios para contar con índices de DL, de madurez fonológico-morfológica según edad y áreas de conocimiento. Por todo lo dicho, la Escuela Primer Teniente Ávila requiere un programa de aplicación para mejorar la calidad de la lectura y de la escritura, en particular en el segundo ciclo (EGB2) con un diseño de objetivos específicos que, en su encadenamiento etapa a etapa, irá constituyendo una enseñanza-aprendizaje lingüístico-cognitiva programada para coadyuvar en la aprehensión de los conocimientos generales.