Desarrollo y Aplicación de Herramientas Teóricas, Numéricas y Códigos Computacionales en Dinámica de Gases para Ingeniería Aeronáutica

Objetivos generales: • Desarrollo de un código utilizando programación orientada objeto y Fortran 2003 para simulación de flujos de gases de alta entalpía incluyendo efectos químicos. • Mejora de técnicas numéricas con la finalidad de simular flujos gas dinámicos con alta entalpía y químicamente activos. • Mejora de la comprensión del fenómeno de intermitencia caótica. • Mejorar en la comprensión, implementación y utilización del código openFOAM para la simulación de flujos de interés en la industria aeroespacial. Objetivos específicos: • Poseer la capacidad de simular las ecuaciones de la dinámica de gases tridimensionales, químicamente activas y dependientes del tiempo usando volúmenes finitos mediante códigos propios. • Continuar con el desarrollo de la nueva teoría que permite una descripción más adecuada y precisa del fenómeno de intermitencia como una de las rutas hacia el caos. • Adaptar el código openFoam para la simulación de la dinámica del flujo de gases con elevada entalpía y/o reactivos. • Aplicación de los códigos desarrollados a la simulación de flujos de interés aeronáutico tales como chorros supersónicos, flujos supersónicos alrededor de objetos en vuelo atmosférico y procesos de combustión difusiva. Resultados esperados • Obtención de un código numérico en volúmenes finitos mediante programación orientada a objeto desarrollado en la UNC con la capacidad de simular flujos gas-dinámicos, tridimensionales, viscosos, químicamente activos y dependientes del tiempo. Este código será la base para un programa de multifísica en flujos gaseosos que en un futuro deberá incluir ionización y simulación de flujos magnetohidrodinámicos compresibles. • Desarrollo y/o mejora de técnicas numéricas para la solución de flujos gas-dinámicos químicamente activos. Se continuará con la investigación que usa distintas funciones limitadoras para distintas ondas. • Mejora del conocimiento sobre fenómenos que presentan intermitencia caótica. Se continuará con la teoría que está actualmente en desarrollo por integrantes del grupo en colaboración con investigadores de universidades de España. Principalmente se pondrá énfasis para obtener una formulación más general de la teoría mediante el desarrollo de una técnica de perturbación que permita aproximar cualquier función no lineal que gobierna el proceso de reinyección. • Implementación del código openFOAM para simular flujos supersónicos y procesos de combustión. Se generarán librerías específicas para utilizar este software en aplicaciones de flujos compresibles. • Se espera alcanza una mejor descripción numérica del fenómeno de chorros supersónicos sub-expandidos que impactan sobre paredes sólidas.

Acciones contra la desnutrición y las parasitosis en niños y adolescentes de las Comunas de Villa El Prado y Los Cedros

Aunque durante muchos años la anemia se ha reconocido como un serio problema de salud pública, se ha reportado poco progreso y la prevalencia mundial de este problema sigue siendo inadmisiblemente elevada. La anemia tiene consecuencias de gran alcance para la salud humana y para el desarrollo social y económico. Las causas pueden ser variadas, pero las más comunes se deben a deficiencias nutricionales y a enfermedades infecciosas. Por ello, a partir a partir del año 2007 se inició una investigación orientada al análisis de la situación epidemiológica y a la caracterización de factores contribuyentes de la anemia en uno de los segmentos más vulnerables para adquirirla como son los niños y adolescentes de las Comunas de Villa El Prado y Los Cedros de la Provincia de Córdoba. Los instrumentos utilizados para recolectar los datos objeto de esta investigación permitieron obtener la siguiente información preliminar, especialmente de la Comuna de Los Cedros: a) Las viviendas corresponden fundamentalmente a casas con techos de ladrillo y piso de cemento. El baño se encuentra dentro de la mayoría de las viviendas, sin sistema de arrastre de agua y sin conexión a desagüe de red pública (cloacas). La principal forma de abastecimiento de agua es a través de bidones con agua potabilizada por la comuna, b) Aún cuando no alcanzan niveles de deficiencia, hay casos con valores de déficit subclínico de hierro, c) Preocupa la sostenida y elevada prevalencia de parasitosis (mono o poliparasitado) que constituye un serio factor de riesgo para la transmisión, especialmente en niños, d) Se detectó una alta prevalencia de manifestaciones alérgicas y que la infección por parásitos exacerba el nivel de inmunoglobulina E sérica total y e) En la parasitosis intestinal se pueden detectar distintos perfiles de respuesta inmune humoral y celular. En base a estos hallazgos, el Programa de Transferencia de Resultados de la Investigación (PROTRI) propuesto permitirá beneficiar a: a) los niños y adolescentes ya que, la detección y caracterización de la anemia y de las infecciones parasitarias permitirá diseñar acciones e intervenciones específicas no solo para prevenir y promocionar hábitos saludables sino también para mejorar el estado de salud de este grupo poblacional, b) a los miembros de las Comunas a través de una activa y sostenida participación de los Jefes Comunales, médicos de los dispensarios y docentes de las escuelas y c) a los padres o tutores de los niños y adolescentes a través de actividades teóricas y prácticas sobre aspectos nutricionales y sobre hábitos de higiene individual y comunitaria. La transferencia de los resultados obtenidos será realizada a través de: a) Constitución de grupos de apoyo, b) Reuniones con Jefes de las Comunas, Médicos de los dispensarios y los docentes de los establecimientos educativos c) talleres, d) dictado de actividades áulicas, e) campaña de divulgación de sobre anemia y parásitos, f) realización de actividades culturales, g) dictado de actividades prácticas a las madres o tutores y al personal encargado de los comedores comunitarios sobre la producción, conservación y consumo de alimentos y h) desarrollo de juegos didácticos. Estos mecanismos y medios de transferencia aspiran a constituir una estrategia integrada para el manejo de problemas nutricionales y factores contribuyentes y poder replicarla en otras Comunas de la Provincia.

Guantánamo y el Imperio del Derecho en el Contexto Internacional

Desde el año 2001, uno de los casos más controvertidos de suspensión del derecho ha sido seguramente el que se observa en la prisión que los Estados Unidos han establecido en su base militar de Guantánamo. A pesar de las múltiples presiones y promesas de cerrar esta prisión, el gobierno norteamericano mantiene aún en ella a sujetos sospechados de terrorismo internacional. Si bien la Corte Suprema de Justicia de los Estados Unidos se ha pronunciado en diversas ocasiones alrededor de los derechos de los presos de Guantánamo, lamentablemente no se han logrado avances significativos hacia un mayor respeto de los derechos humanos de sus detenidos. Las previsibles violaciones del Derecho Internacional originadas a partir de la existencia de la prisión militar de Guantánamo y del tratamiento dispensado a las personas allí detenidas, especialmente las disposiciones vinculadas a la protección internacional de los Derechos Humanos, a la vigencia del Derecho Internacional Humanitario y del Derecho Penal Internacional, convierten al objeto de la presente investigación en una necesidad requerida a la comunidad universitaria. Pretendiendo dar respuesta a esta demanda, la Universidad Católica de Córdoba (Córdoba, Argentina) y la Pontificia Universidad Javeriana (Bogotá, Colombia), en estrecha colaboración con Europa-Universität Viadrina (Frankfurt/Oder, Alemania), a través de sus respectivas Facultades de Derecho y de Ciencias Jurídicas, han decidido conducir en forma conjunta el presente proyecto académico, fundado en la publicación de artículos científicos escritos por selectos especialistas en las diversas áreas comprendidas en esta problemática. El proyecto tiene por objeto poner al alcance de la comunidad hispano parlante un trabajo de referencia en la materia y contribuir en la toma de conciencia sobre la importancia del respeto de las disposiciones del orden jurídico internacional.

La equidad y la calidad educativa en la ciudad de Córdoba (Programa: indicadores ciudadanos y participación para una ciudad justa, democrática y sustentable).

El proyecto articula la investigación, la participación y la proyección social de la universidad. Desde el desarrollo de las capacidades y actividades propias de la investigación, el equipo del proyecto apoya y sirve de soporte técnico al proceso de construcción de indicadores de educación en el marco de la Red Ciudadana Nuestra Córdoba. El objetivo del proyecto es contribuir al conocimiento sobre las problemáticas educativas, que permitan profundizar el debate público, como la participación ciudadana y la inclusión en la agenda del Estado de problemáticas que obstaculizan la equidad y la calidad educativa, reconociendo y desarrollando el potencial que la democratización del conocimiento y la información implican para la transformación social orientada al bien común. La propuesta pretende relevar información en las escuelas de nivel inicial y primario de la ciudad de Córdoba, que permita evaluar la aplicación de programas y el cumplimiento de los derechos educativos. La información generada y sistematizada por el sistema educativo permite monitorear algunos derechos, fundamentalmente los que pueden categorizarse en condiciones y cobertura del sistema educativo, pero impide absolutamente observar el cumplimiento de los derechos incluidos en las categorías de calidad y ciudadanía. Los objetivos específicos se pueden sintetizar en el siguiente párrafo: Monitorear el ejercicio de los derechos educativos de los niños de la ciudad de Córdoba; desarrollar las capacidades para la investigación interdisciplinaria potenciando los recursos humanos, tecnológicos e institucionales existentes en la Universidad Católica de Córdoba; potenciar vínculos con instituciones académicas, de la sociedad civil, empresariales y ciudadanas con el fin de ejercer nuevas formas de responsabilidad, participación y acción ante los problemas educativos que aquejan a nuestra sociedad. Se priorizan estrategias que permiten poner de manifiesto de manera primordial los problemas educativos y que sirvan de insumo para la deliberación pública y la participación ciudadana; ejerciendo distintas formas de monitoreo y control ciudadano de la acción Estatal en todos los niveles y jurisdicciones con injerencia y responsabilidades vinculadas a cuestiones educativas y también, promoviendo y facilitando procesos de participación y deliberación que amplíen y democraticen los espacios y mecanismos de formación de la voluntad colectiva

Enfoques sobre la ciudadanía. Philosophical Perspectives on Citizenship.

La necesidad que da origen al presente proyecto se relaciona con la ausencia de un tratamiento de la cuestión de la ciudadanía que haga interactuar distintos enfoques filosóficos -el principal indicador de esta carencia es la ausencia de producciones académicas que den cuenta de la complejidad que adquiere la temática si se la aborda desde los problemas que nos proporcionan otras perspectivas filosóficas y políticas-. En este sentido, el problema general del proyecto apunta a hacer discutir diferentes abordajes conceptuales para pensar la ciudadanía. Específicamente, trabajamos a partir de dos enfoques: 1) la discusión entre liberales y comunitaristas y sus actuales derivas y 2) la cuestión de la biopolítica y su relación con la temática de la ciudadanía. Se procura revisar la discusión liberales-comunitaristas propia de las ciencias políticas, interpelándola a partir de conceptos como los de dominación, relaciones de poder, control sobre la vida, disciplina, entre otros provenientes de la filosofía práctica, la teoría social, las ciencias de la educación, etc. Nuestra investigación parte de la hipótesis de que hacer discutir las problemáticas que se disputan liberales-comunitaristas, con la Teoría Crítica de la Escuela de Frankfurt y con los recientes fenómenos biopolíticos, permite un abordaje que atiende a la efectiva complejidad de las prácticas de ciudadanía en nuestra vida en común en las sociedades democráticas contemporáneas. Esto permitirá complejizar los presupuestos con los que tradicionalmente se ha pensado la ciudadanía, a partir sobre todo de los fenómenos socio-políticos más recientes, como los nuevos movimientos sociales, las discusiones acerca de la legislación del aborto y la eutanasia, los esfuerzos de los estados nacionales por incrementar medidas de seguridad que van desde la imposición de fuertes barreras a la inmigración hasta la realización de guerras preventivas. Entendemos que estos, entre otros fenómenos, desafían la hermenéutica tradicional sobre la ciudadanía. Es de esta manera que se buscará comprender los límites y alcances de las ideas de ciudadanía, entendiéndola como un concepto histórico formador de subjetividades. La metodología se basa en una perspectiva interdisciplinaria que proporciona las herramientas para un análisis conceptual de la temática de la ciudadanía. Esta metodología está orientada al desarrollo de un marco teórico que resulte productivo para investigaciones de campo en las ciencias sociales, así como también para la elaboración de un material bibliográfico destinado a docentes abocados a la ciudadanía. Otro de los propósitos fundamentales es el de formar una red entre diferentes equipos de investigación a nivel nacional a partir de las “I Jornadas Nacionales sobre Ciudadanía” y de la organización de un seminario especializado con un profesor visitante. As far as the general topic of citizenship concerns philosophy, the theoretical problem of how to reconcile the different perspectives, assuming that this is an enterprise that can be done, remains an open question. Furthermore, the absence of academic material dealing with the problem seems to be a good indicator of this tendency. The main focus of the present Project aims at coping with some of the most notorious theoretical approaches to citizenship. More specifically, we will analyze the next two approaches: 1) the debate libertarians-communitarians and 2) the relationship between biopolitics and citizenship. Our purpose is to revise the discussion libertarians-communitarians incorporating concepts such as domination, power-relationships, life-control, among others that find their roots in practical philosophy, social theory, education and so on. To the extent that theories of citizenship are only provided with the usual conceptual machinery, some of the most remarkable phenomena of our democratic societies will stand for them out of reach: the existence of new social movements, abortion and euthanasia, inmigration, etc. Our hypothesis is that by making the debate libertarians-communitarians interact with the Critical Theory as well as with biopolitical concepts, we will be in a better position to try to understand these diverse phenomena. With the development of some sort of a new hermeneutics, we expect to criticize the old ideas related to citizenship and to re-elaborate them in a way that allows us to understand this concept in a less-fundamental, historical sense. Methodologically, we will adopt a multi-dimensional approach which expects to be fruitful to many other investigations in the area of social sciences. The Project pretends to be useful as a consultation resource for educators in a bibliographical index to design their curricula. At the same time,a seminar with a visiting profesor, the organization of a Congres will be our main objectives.

ENFOQUES SOBRE LA CIUDADANÍA

La necesidad que da origen al presente proyecto se relaciona con la ausencia de un tratamiento de la cuestión de la ciudadanía que haga interactuar distintos enfoques filosóficos -el principal indicador de esta carencia es la ausencia de producciones académicas que den cuenta de la complejidad que adquiere la temática si se la aborda desde los problemas que nos proporcionan otras perspectivas filosóficas y políticas-. En este sentido, el problema general del proyecto apunta a hacer discutir diferentes abordajes conceptuales para pensar la ciudadanía. Específicamente, trabajamos a partir de dos enfoques: 1) la discusión entre liberales y comunitaristas y sus actuales derivas y 2) la cuestión de la biopolítica y su relación con la temática de la ciudadanía. Se procura revisar la discusión liberales-comunitaristas propia de las ciencias políticas, interpelándola a partir de conceptos como los de dominación, relaciones de poder, control sobre la vida, disciplina, entre otros provenientes de la filosofía práctica, la teoría social, las ciencias de la educación, etc. Nuestra investigación parte de la hipótesis de que hacer discutir las problemáticas que se disputan liberales-comunitaristas, con la Teoría Crítica de la Escuela de Frankfurt y con los recientes fenómenos biopolíticos, permite un abordaje que atiende a la efectiva complejidad de las prácticas de ciudadanía en nuestra vida en común en las sociedades democráticas contemporáneas. Esto permitirá complejizar los presupuestos con los que tradicionalmente se ha pensado la ciudadanía, a partir sobre todo de los fenómenos socio-políticos más recientes, como los nuevos movimientos sociales, las discusiones acerca de la legislación del aborto y la eutanasia, los esfuerzos de los estados nacionales por incrementar medidas de seguridad que van desde la imposición de fuertes barreras a la inmigración hasta la realización de guerras preventivas. Entendemos que estos, entre otros fenómenos, desafían la hermenéutica tradicional sobre la ciudadanía. Es de esta manera que se buscará comprender los límites y alcances de las ideas de ciudadanía, entendiéndola como un concepto histórico formador de subjetividades. La metodología se basa en una perspectiva interdisciplinaria que proporciona las herramientas para un análisis conceptual de la temática de la ciudadanía. Esta metodología está orientada al desarrollo de un marco teórico que resulte productivo para investigaciones de campo en las ciencias sociales, así como también para la elaboración de un material bibliográfico destinado a docentes abocados a la ciudadanía. Otro de los propósitos fundamentales es el de formar una red entre diferentes equipos de investigación a nivel nacional a partir de las “I Jornadas Nacionales sobre Ciudadanía” y de la organización de un seminario especializado con un profesor visitante.

Plataforma informática aplicada como ayuda al proceso de enseñanza-aprendizaje de la educación primaria y secundaria de la Provincia de Córdoba: La integración de las Nuevas Tecnologías (NTICs) para el proceso de enseñanza-aprendizaje en entornos virtuales y colaborativos como complemento a la enseñanza tradicional

A partir del proyecto de Responsabilidad Social Universitaria del año 2008: “Aplicaciones del Análisis Matemático para el proceso de enseñanza aprendizaje de la Matemática: Escuelas de nivel medio de población económica comprometida de la ciudad de Córdoba”, de Gustavo A. Chiodi y Aldo Chami, realizado en la Facultad de Ingeniería de la Universidad Católica de Córdoba, se pudo constatar a través de una investigación de campo las dificultades que presentaban los alumnos para realizar sus tareas extra-áulicas. Estas dificultades provenían en general de las siguientes categorías: a. alumnos que no tienen el suficiente grado de contención fuera del ámbito netamente escolar. b. alumnos que no pueden recurrir a un adulto en sus hogares para solicitarles ayuda en sus tareas escolares. c. alumnos que, estando acompañados por familiares, estos no pueden acompañar la actividad de las tareas que los alumnos deben entregar en clases siguientes. Una mirada actual y objetiva sobre esta realidad y en base a estos antecedentes permitió determinar que esta situación persiste en un gran número de familias social y económicamente comprometidas. Así la interacción efectiva entre los docentes, desde las propuestas de actividades curriculares por un lado, y los alumnos desde sus actividades extra-áulicas (deberes o tareas) por el otro, se ve afectada fuertemente. El presente proyecto, como plataforma educativa, inscripto en una realidad social compleja y de importancia vital para el desarrollo educativo de los alumnos intentará dar tratamiento a este problema ya no en forma particular para cada alumno sino en forma general y a varias disciplinas. El desafío de este proyecto multidisciplinario, en el que confluyen la Informática y la Educación, es desarrollar un espacio para que los alumnos de nivel primario y nivel medio puedan encontrar en él trayectorias formativas extra-áulicas mediadas por el conocimiento curricular y construyendo un lugar de encuentro e intercambio productivo, en este caso, en la red, en una aula virtual y en una experiencia extensionista mediada por la tecnología informática. La plataforma informática educativa permitirá al alumno poder recurrir a un acompañamiento virtual en la realización de sus tareas en el marco curricular del proceso educativo y abandonar el concepto de mero consumidor de tecnologías a utilizarlas para generar nuevas alternativas y vínculos, donde de un modo creativo pueda generar conocimiento

Filososofía y Ciencia Computacional: Aspectos epistemológicos, ontológicos y metodológicos. Philosophy and Computing Sciencs: Epistemological, Ontological and Methodological Aspects.

Uno de los temas centrales del proyecto concierne la naturaleza de la ciencia de la computación. La reciente aparición de esta disciplina sumada a su origen híbrido como ciencia formal y disciplina tecnológica hace que su caracterización aún no esté completa y menos aún acordada entre los científicos del área. En el trabajo Three paradigms of Computer Science de A. Eden, se presentan tres posiciones admitidamente exageradas acerca de como entender tanto el objeto de estudio (ontología) como los métodos de trabajo (metodología) y la estructura de la teoría y las justificaciones del conocimiento informático (epistemología): La llamada racionalista, la cual se basa en la idea de que los programas son fórmulas lógicas y que la forma de trabajo es deductiva, la tecnocrática que presenta a la ciencia computacional como una disciplina ingenieril y la ahi llamada científica, la cual asimilaría a la computación a las ciencias empíricas. Algunos de los problemas de ciencia de la computación están relacionados con cuestiones de filosofía de la matemática, en particular la relación entre las entidades abstractas y el mundo. Sin embargo, el carácter prescriptivo de los axiomas y teoremas de las teorías de la programación puede permitir interpretaciones alternativas y cuestionaría fuertemente la posibilidad de pensar a la ciencia de la computación como una ciencia empírica, al menos en el sentido tradicional. Por otro lado, es posible que el tipo de análisis aplicado a las ciencias de la computación propuesto en este proyecto aporte nuevas ideas para pensar problemas de filosofía de la matemática. Un ejemplo de estos posibles aportes puede verse en el trabajo de Arkoudas Computers, Justi?cation, and Mathematical Knowledge el cual echa nueva luz al problema del significado de las demostraciones matemáticas.Los objetivos del proyecto son: Caracterizar el campo de las ciencias de la computación.Evaluar los fundamentos ontológicos, epistemológicos y metodológicos de la ciencia de la computación actual.Analizar las relaciones entre las diferentes perspectivas heurísticas y epistémicas y las practicas de la programación.

Plataforma informática aplicada como ayuda al proceso de enseñanza-aprendizaje de la educación primaria y secundaria de la provincia de Córdoba: la integración de las nuevas tecnologías (ntics) para el proceso de enseñanza-aprendizaje en entornos virtuales y colaborativos como complemento a la enseñanza tradicional.

Desde la Facultad de Ingenierí­a de la Universidad Católica de Córdoba, se pudo constatar a través de una investigación de campo las dificultades que presentaban los alumnos de nivel primario y medio para realizar sus tareas extra-Áulicas. Estas dificultades provenían en general de las siguientes categorías: a. alumnos que no tienen el suficiente grado de contención fuera del Ámbito netamente escolar. b. alumnos que no pueden recurrir a un adulto en sus hogares para solicitarles ayuda en sus tareas escolares. c. alumnos que, estando acompañados por familiares, estos no pueden acompañar la actividad de las tareas que los alumnos deben entregar en clases siguientes. Actualmente, esta situación persiste en un gran número de familias económicamente comprometidas, impidiendo que se logre una interacción efectiva entre los docentes, desde las propuestas de actividades curriculares, y los alumnos desde sus actividades extra- Áulicas (deberes o tareas). El presente proyecto, como plataforma educativa, inscripto en una realidad social compleja y de importancia vital para el desarrollo educativo de los alumnos intentará dar tratamiento a este problema ya no en forma particular sino en forma general y a varias disciplinas. El desafío de este proyecto multidisciplinario, en el que confluyen la Informática y Educación, es desarrollar un espacio para que los alumnos de nivel primario y nivel medio puedan encontrar trayectorias formativas extra-Áulicas mediadas por el conocimiento curricular y construyendo un lugar de encuentro e intercambio productivo, en este caso, en la red, en una aula virtual y en una experiencia extensionista mediada por la tecnología informática.

Mecanización de semántica de lenguajes de programación: teoría, implementación y desarrollo.

El presente proyecto se enmarca en el área de métodos formales para computación; el objetivo de los métodos formales es asegurar, a través de herramientas lógicas y matemáticas, que sistemas computacionales satisfacen ciertas propiedades. El campo de semántica de lenguajes de programación trata justamente de construir modelos matemáticos que den cuenta de las diferentes características de cada lenguaje (estado mutable, mecanismos de paso de parámetros, órdenes de ejecución, etc.); permitiendo razonar de una manera abstracta, en vez de lidiar con las peculiaridades de implementaciones o las vaguezas de descripciones informales. Como las pruebas formales de corrección son demasiado intrincadas, es muy conveniente realizar estos desarrollos teóricos con la ayuda de asistentes de prueba. Este proceso de formalizar y corrobar aspectos semánticos a través de un asistente se denomina mecanización de semántica. Este proyecto – articulado en tres líneas: semántica de teoría de tipos, implementación de un lenguaje con tipos dependientes y semántica de lenguajes imperativos con alto orden - se propone realizar avances en el estudio semántico de lenguajes de programación, mecanizar dichos resultados, e implementar un lenguaje con tipos dependientes con la intención de que se convierta, en un mediano plazo, en un asistente de pruebas. En la línea de semántica de teoría de tipos los objetivos son: (a) extender el método de normalización por evaluación para construcciones no contempladas aun en la literatura, (b) probar la adecuación de la implementación en Haskell de dicho método de normalización, y (c) construir nuevos modelos categóricos de teoría de tipos. El objetivo de la segunda línea es el diseño e implementación de un lenguaje con tipos dependientes con la intención de que el mismo se convierta en un asistente de pruebas. Una novedad de esta implementación es que el algoritmo de chequeo de tipos es correcto y completo respecto al sistema formal, gracias a resultados ya obtenidos; además la implementación en Haskell del algoritmo de normalización (fundamental para el type-checking) también tendrá su prueba de corrección. El foco de la tercera línea está en el estudio de lenguajes de programación que combinan aspectos imperativos (estado mutable) con características de lenguajes funcionales (procedimientos y funciones). Por un lado se avanzará en la mecanización de pruebas de corrección de compiladores para lenguajes Algollike. El segundo aspecto de esta línea será la definición de semánticas operacional y denotacional del lenguaje de programación Lua y la posterior caracterización del mismo a partir de ellas. Para lograr dichos objetivos hemos dividido las tareas en actividades con metas graduales y que constituyen en sí mismas aportes al estado del arte de cada una de las líneas. La importancia académica de este proyecto radica en los avances teóricos que se propone en la línea de semántica de teoría de tipos, en las contribución para la construcción de pruebas mecanizadas de corrección de compiladores, en el aporte que constituye la definición de una semántica formal para el lenguaje Lua, y en el desarrollo de un lenguaje con tipos dependientes cuyos algoritmos más importantes están respaldados por pruebas de corrección. Además, a nivel local, este proyecto permitirá incorporar cuatro integrantes al grupo de “Semántica de la programación”.

Ideas y propuestas para la renovación del sistema de justicia (con especial referencia al orden penal)

El programa consta de una serie de proyectos vinculados a la necesidad del cambio en materia realizadora (procesal y sustantiva), con especial referencia al orden penal. I- En materia penal, los rasgos sobresalientes de esta “revolución procesal” están puestos en las siguientes notas: a)“Privatización”, en el sentido de un reordenamiento de los roles de los órganos de la función judicial; b)“Desformalización”, interpretada como captación de procedimientos ágiles y menos burocráticos, acortando el puente formal entre la comisión del hecho delictuoso y la sentencia; c) Todo ello en acompañamiento de una “Reformulación del sistema penal constitutivo de fondo”, replanteando la naturaleza de la pretensión penal y la captación de formas de composición diferenciadas de la actual regulación de la pena. 1.1 El cambio que propiciamos reconoce motivaciones fácticas tales como: recarga de la función judicial en lo penal y colapso del sistema judicial; advertencia de la imprescindibilidad de la consecución de la celeridad y economía procesales; replanteo de los fundamentos, fines, eficacia y función del régimen punitivo, básicamente-. La causalidad jurídica, su modificación y superación enmarcan el objeto de estudio de este programa, siempre bajo la premisa del debido enfoque constitucional y el inalterable respeto de la bi-dimensionalidad del principio de defensa. 1.2 Atento a nuestro régimen federal de gobierno, los continentes legislativos de la reforma no pueden limitarse a los códigos de procedimiento, sino que deben ampliarse al ámbito de la denominada legislación de fondo que, en el punto, actúa también a manera de norma realizadora, ya que, por razones de uniformidad e igualdad ante la ley, ciertas disposiciones que hacen a la regulación del procedimiento ameritan su inserción a nivel del Código Penal. Esto es: han de emanar del Congreso de la Nación. 1.3 En el desarrollo analítico de las cuestiones principales involucradas en el proceso de reforma que encaramos, se toma como eje el trípode de poderes de realización que, interactuando entre sí, configuran la trama del proceso: acción penal, jurisdicción y reacción penal. II- Finalmente, en cuanto al sistema judicial extra-penal, se abordan fundamentalmente cuestiones de actualidad en la problemática procedimental. Por ejemplo, lo relativo a la ecología.

Entre la vida y la muerte: posturas de la población frente a las decisiones individuales de interrupción voluntaria de la vida (eutanasia y suicidio)

El presente proyecto se encuadra dentro de una línea de investigación orientada hacia el análisis empírico (es decir no normativo) de la legalidad y moralidad de diversas prácticas sociales (aborto, eutanasia, suicidio, pena de muerte) que son objeto de debates sociales como de políticas públicas más o menos explícitas. Desde un punto de vista teórico se intenta profundizar el estudio del significado social de la muerte y del derecho individual a interrumpirla por razones personales e individuales. Nuestro problema de investigación se centra en el análisis de las propuestas que detenta la población en relación a la eutanasia y al suicidio tanto con fines descriptivos como explicativos. (...) De acuerdo a la literatura consultada y a nuestros hallazgos en análisis previos hipotetizamos que la mayor parte de la población tomaría una posición contraria al derecho individual a disponer de la vida propia por fines personales y privados. Asimismo, hipotetizamos que los factores estructurales (educación, nivel socioeconómico, sexo y edad) tienen menor poder explicativo o al menos una influencia más inestable, que factores culturales como la religiosidad para explicar las variaciones actitudinales y de opinión en relación a los fenómenos estudiados. El objetivo general que se pretende alcanzar en el período por el que se solicita el subsidio consiste en describir y explicar las tendencias de opinión hacia la interrupción voluntaria de la vida en la población de Córdoba. Objetivos específicos: * Describir uniformidades de opinión y la existencia de comunidades morales en torno al debate sobre el derecho individual para interrumpir la vida propia por motivos o intereses personales y privados. * Detectar asociaciones entre las posiciones que los individuos detentan frente a la eutanasia y al suicidio con la que poseen frente a otros dos fenómenos referidos a la interrupción voluntaria de la vida: la pena de muerte (con fines públicos y punitivos) y el aborto (en el que se interrumpe el nacimiento). * Analizar las asociaciones entre las posiciones de los individuos frente a la eutanasia y el suicidio y variables sociodemográficas y culturales. * Explicar las variaciones de opinión de esos fenómenos por variables estructurales y culturales.

Aproximación al manejo de Nemátodos Fitófagos de los genéros nacobbus y meloidogyne en la Provincia de Córdoba: cultivos hortícolas y aromáticos. Approach to the management of phytophagous nematodes of de genera nacobbus and meloidogyne in the province of Córdoba: horticultural and aromatic crops.

El proyecto que se propone es continuación de investigaciones relacionadas con dos géneros de nematodos fitófagos de interés para cultivos hortícolas (Nacobbus y Meloidogyne) y plantas aromáticas (Meloidogyne) en la Provincia de Córdoba. Hasta el momento, los conocimientos sobre estos parásitos son limitados, de allí la justificación del tema propuesto. Se realizarán muestreos de los citados cultivos, desarrollados a campo y bajo cubierta, para identificar poblaciones de esos nematodos perjudiciales. Se caracterizará morfológicamente poblaciones de N. aberrans con el objeto de consolidar criterios que permitan su reconocimiento. Se llevarán a cabo estudios de relaciones nematodo-hospedador poniendo énfasis en aspectos para los cuales no existen antecedentes en el país. Por un lado, se evaluará el grado de susceptibilidad de diferentes cultivares de pimiento a la agresión de poblaciones de N. aberrans de reconocida patogenicidad para el cultivo. Por otro, se estudiará el efecto de la colonización de micorrizas arbusculares en raíces de tomate y pimiento, como agente que brindaría resistencia al ataque de N. aberrans. Cabe hacer notar que con respecto a la interacción del complejo representado por N. aberrans-planta-micorrizas no ha sido publicada información alguna a nivel mundial. La importancia del proyecto reside en la posibilidad de obtener datos originales, transferibles al sector de producción agrícola. Al mismo tiempo, contribuirá a definir estrategias alternativas de manejo de problemas ocasionados por nematodos fitófagos, basadas en aspectos biológicos y no en la utilización sistemática de agroquímicos contaminantes.

Diseño de sistemas de comunicaciones de alta velocidad. Design of high-speed communication systems.

El crecimiento exponencial del tráfico de datos es uno de los mayores desafíos que enfrentan actualmente los sistemas de comunicaciones, debiendo los mismos ser capaces de soportar velocidades de procesamiento de datos cada vez mas altas. En particular, el consumo de potencia se ha transformado en uno de los parámetros de diseño más críticos, generando la necesidad de investigar el uso de nuevas arquitecturas y algoritmos para el procesamiento digital de la información. Por otro lado, el análisis y evaluación de nuevas técnicas de procesamiento presenta dificultades dadas las altas velocidades a las que deben operar, resultando frecuentemente ineficiente el uso de la simulación basada en software como método. En este contexto, el uso de electrónica programable ofrece una oportunidad a bajo costo donde no solo se evaluan nuevas técnicas de diseño de alta velocidad sino también se valida su implementación en desarrollos tecnológicos. El presente proyecto tiene como objetivo principal el estudio y desarrollo de nuevas arquitecturas y algoritmos en electrónica programable para el procesamiento de datos a alta velocidad. El método a utilizar será la programación en dispositivos FPGA (Field-Programmable Gate Array) que ofrecen una buena relación costo-beneficio y gran flexibilidad para integrarse con otros dispositivos de comunicaciones. Para la etapas de diseño, simulación y programación se utilizaran herramientas CAD (Computer-Aided Design) orientadas a sistemas electrónicos digitales. El proyecto beneficiara a estudiantes de grado y postgrado de carreras afines a la informática y las telecomunicaciones, contribuyendo al desarrollo de proyectos finales y tesis doctorales. Los resultados del proyecto serán publicados en conferencias y/o revistas nacionales e internacionales y divulgados a través de charlas de difusión y/o encuentros. El proyecto se enmarca dentro de un área de gran importancia para la Provincia de Córdoba, como lo es la informática y las telecomunicaciones, y promete generar conocimiento de gran valor agregado que pueda ser transferido a empresas tecnológicas de la Provincia de Córdoba a través de consultorias o desarrollos de productos.

Motilidad Orientada de Células Neurales: La comunicación celular a distancia. Oriented neural cell motility: Cell comunication at a distance.

La motilidad celular orientada (o mecanismo quimiotáctico de orientación), es una respuesta celular a señales moleculares de su micro-ambiente necesaria para modular la distribución celular en sitios específicos y con elevada precisión. Nuestra hipótesis establece que la migración orientada de células neurales es regulada por gradientes de concentración de moléculas solubles liberadas por sus regiones "blanco". Este proyecto es continuación del estudio de la quimiotaxis de células de cresta neural (CCN) y de neuronas ventriculares (NV) inducida respectivamente por factores difusibles de la región del futuro ganglio ciliar y del bulbo olfatorio.En el sistema de CCN, hemos caracterizado como moléculas quimiotácticas a la quimioquina Stromal Cell-Derived Factor-1, y los factores tróficos Stem Cell Factor y Neurotrophic Factor-3, habiendo determinado la expresión de sus respectivos receptores CXCR4, TrkC y p75 en la población de CCN mesencefálicas de ambrión de pollo. Actualmente, estamos desarrollando experimentos con el Ciliary Neurotrophic Factor y factores de la familia Bone Morphogenetic Proteins. Además de la estrategia experimental in vitro, hemos determinado en el embrión entero la expresión de las moléculas quimioatractantes mediante hibridación in situ del ARNm y la presencia de las respectivas proteínas mediante inmunocitoquímica. En el sistema de NV, estamos analizando la motilidad celular en relación con moléculas liberadas por el bulbo olfatorio. En los dos sistemas biológicos, estamos analizando elementos de la transducción de señales y cambios en el citoesqueleto, en ambos casos asociados con la respuesta temprana en la orientación quimiotáctica de la célula. Asimismo, en ambos sistemas biológicos, evaluamos los efectos del etanol sobre la migración y distribución celular, en condiciones equivalentes a las que inducen el Sindrome Fetal Alcohólico en mamíferos.En base a resultados ya obtenidos en experimentos in vitro, en la presente etapa intentaremos su caracterización in vivo mediante el bloqueo funcional de las moléculas quimiotácticas (y/o sus receptores) sobre embriones enteros, mediante silenciamiento con ARNsi (o morfolinos específicos) mediante electroporación, y posterior determinación de la distribución celular mediante marcadores específicos anti-CCN (o lipofílicos de tipo DiI).Los resultados permitirán mejorar el conocimiento del mecanismo de la migración celular orientada y aportar al diseño de recursos diagnósticos, terapéuticos o de control de anomalías embrionarias o patologías tumorales por mala distribución celular como las Neurocristopatías, o inducidas por tóxicos exógenos como el Sindrome Fetal Alcohólico.