Tecnologías de la Información y Comunicación aplicadas a la Educación Matemática (TICEM)

Los objetivos de la Red TICEM en el curso académico 2014-2015 han sido (i) diseñar, implementar y evaluar metodologías docentes que proporcionen una formación eficaz en competencias en relación a la enseñanza de las matemáticas y (ii) elaborar y revisar materiales curriculares. Para ello se han caracterizado los procesos a través de los cuales los estudiantes para maestro y estudiantes para profesor de matemáticas identifican e interpretan aspectos relevantes de las situaciones de enseñanza y aprendizaje como fundamento de la competencia “mirar profesionalmente la enseñanza-aprendizaje de las matemáticas”. Metodológicamente se ha seguido una aproximación basada en experimentos de enseñanza. Esta metodología ha sido usada y validada por el grupo TICEM en otras convocatorias del proyecto REDES. Este método sigue tres fases: (i) elaboración de materiales, (ii) implementación, y (iii) análisis.

Guía para la implementación de BPM en la producción de carne de cerdo y derivados tendientes a eliminar el riesgo de presencia de Trichinella Spiralis.

En el marco de nuestra investigación: “Evaluación cuantitativa de riesgo para la salud pública por trichinelosis debido al consumo de productos elaborados con carne porcina en la provincia de Santa Fe y Córdoba”, financiada por la Universidad Católica de Córdoba, que se encuentra en su último año de ejecución; hemos observando que los establecimientos productores no cuentan con un correcto sistema de Buenas prácticas de manufacturas, diseñado e implementado para prevenir la presencia del parásito Trichinella spiralis. Por ello, surgió la inquietud de realizar un guía con los contenidos apropiados obligatorios por la Legislación Vigente (Ley 18.284, Código Alimentario Argentino, y el Decreto 4238/68, Ley Federal de Carnes), sumado a la experiencia propia de los integrantes en cuanto a la temática y a la idea de transmitir dicha experiencia en forma de contenidos sencillos, didácticos y gráficos, de fácil aplicación, prácticos y accesibles a todos los sectores de la cadena de producción y comercialización (tanto a grandes como a pequeños productores, incluidos los productores familiares) y a la comunidad en general. La enfermedad es endémica en la provincia de Córdoba y el último año se han presentado numerosos casos que alertan sobre su presentación, ya que la misma tiene impacto en salud pública y en la economía de la provincia ya que se trata de un producto con fuerte desarrollo en regiones bien definidas y sensible al turismo.

Diferenciación de los productos de hierbas aromáticas mediante la aplicación de trazabilidad y tecnologías innovadoras

Desde el año 2008 en la Universidad Tecnológica Nacional - Facultad Regional Córdoba (UTN-FRC), se están desarrollando proyectos de investigación sobre Hierbas Aromáticas y Medicinales. El presente trabajo tiene como objeto conocer la situación real de la producción de Hierbas Aromáticas y Especias de la provincia de Córdoba, los avances o retrocesos que se dieron a lo largo de los últimos años según el CNA 2002. Se utilizó el método de investigación exploratorio con relevamiento de datos (15 productores). En esta primera etapa se evaluó la situación del Departamento de San Javier – Zona Traslasierra - en la que se encuentran concentradas gran parte de las producciones de orégano y menta de la Provincia de Córdoba. Del análisis de las encuestas realizadas, se determinó lo siguiente • Los cultivos más explotados son Orégano, en sus variedades “Chileno” y “Criollo“ y Menta, en sus variedades “Hedionda” y “Piperita”, teniendo un área de producción que va de 1 a 10 ha aproximadamente. • Los productores utilizan mano de obra no calificada y habitualmente se encuentra la mayoría de la familia trabajando en la misma. • La poca eficiencia y el reducido valor agregado que hace sustentable la producción, se deben a problemas en la comercialización, baja calidad del producto y la falta de inversión en maquinarias. Todo lo expuesto no favorece a una mejor inserción en el mercado nacional e internacional. Con el fin de asesorar a los integrantes de la región, se organizaron reuniones con los directivos de las instituciones involucradas y esto permitió a la comunidad educativa conocer parte de nuestro trabajo de investigación y acercarse a solicitar al grupo de proyecto la capacitación para alumnos y docentes. Es necesario generar consciencia del verdadero impacto que provoca un producto de excelente calidad; no sólo desde la profundización de conocimientos y contenidos conceptuales, sino también de la disponibilidad de medios materiales en cuanto a innovaciones tecnológicas, métodos y procesos. Ante la propuesta presentada por el Ministerio de Ciencia y Tecnología de la Provincia de Córdoba desde el Programa de Transferencia de Resultados de la Investigación (PROTRI), se realizaron varios contactos con instituciones de enseñanza media, acordando participar de manera conjunta con el fin de acercar a sus estudiantes y docentes el desarrollo de los conocimientos surgidos de la investigación desde el ámbito universitario en el área de Biología y Ambiente, Desarrollo y Sociedad. La demanda para esta difusión parte de instituciones educativas de enseñanza media con características muy similares, cuyos docentes interesados pertenecen también al área de ciencias naturales y tecnología, que consideran de suma importancia la implementación de las herramientas disponibles a partir de la aplicación del conocimiento científico, como es el caso de los Sistemas de Trazabilidad y la aplicación de las normas existentes. Con la divulgación y difusión de contenidos concretos relacionados, es nuestra intención favorecer la continuidad en el desarrollo de la región y suavizar las necesidades técnicas y sociales del entorno, sustentado en la capacitación en toda la cadena de valor, que se considera, comienza por la escuela, a fin de aportar los conocimientos básicos en los adolescentes que representan el futuro de la sociedad e incentivar una mejora en su calidad de vida y el aumento de oportunidades.

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”.

Coleccion eclesiástica española : comprensiva de los breves de S.S. y notas del M.R. Nuncio, representaciones de los Obispos a las Cortes, Pastorales, Edictos, etc. ; con otros documentos relativos a las innovaciones hechas por los constitucionales en materias eclesiásticas desde el 7 de Marzo de 1820.

Los 14 vol. en 7 tomos.

Colección eclesiástica española : comprensiva de los breves de S.S., notas del R. Nuncio, representaciones de los S. S. obispos á las cortes, pastorales, edictos, &c. con otros documentos relativos á las innovaciones hechas por los constitucionales en materias eclesiásticas desde el 7 de marzo de 1820.

Mode of access: Internet.

Manual de formación regional para la implementación de la resolución 1325 (2000) del Consejo de Seguridad de las Naciones Unidas relativa a las mujeres, la paz y la seguridad

La Resolución 1325 del Consejo de Seguridad de las Naciones Unidas marca un hito en los derechos humanos de las mujeres, la paz y la seguridad al constituir el primer instrumento de dicho Consejo que exige a las partes en conflicto que los derechos de las mujeres sean respetados. La resolución reconoce el impacto diferenciado y desproporcionado que los conflictos armados y situaciones de inseguridad tienen sobre las mujeres, especialmente la violencia de género, subrayando la importancia de la contribución de las mujeres en los procesos de resolución y prevención de conflictos, así como en la consecución de la paz y el desarrollo sostenible en contextos democráticos. Este programa de formación promueve un mayor conocimiento de la Resolución 1325 y otras resoluciones conexas en América Latina y el Caribe, de modo que la incorporación de la perspectiva de género en la paz y la seguridad sea un compromiso y una tarea crecientemente asumida por los gobiernos de la región. El objetivo es capacitar a personas de diferentes sectores: público, academia y sociedad civil, a la vez que promover el diálogo y el fortalecimiento de capacidades para el trabajo intersectorial que requieren las políticas para la igualdad. La metodología y el contenido del programa, que se estructura en módulos temáticos, fueron desarrollados en la División de Asuntos de Género de la Comisión Económica para América Latina y el Caribe (CEPAL), con apoyo del UNFPA, y responden a la realidad y las necesidades específicas de formación en esta materia que tiene América Latina.

Resoluciones. Segunda Reunión de la Conferencia Regional sobre Población y Desarrollo de América Latina y el Caribe: Las dinámicas de población como eje del desarrollo sostenible: la implementación del Consenso de Montevideo para la superación de las desigualdades en el marco de los derechos humanos

Resolución 1(II) [Reafirma los compromisos adquiridos en el Consenso de Montevideo sobre Población y Desarrollo y destaca su contribución al seguimiento del Programa de Acción de la Conferencia Internacional sobre la Población y el Desarrollo después de 2014 y a la implementación de la Agenda 2030 para el Desarrollo Sostenible - Creación de un Grupo de Trabajo] .-- Resolución 2(II) [Solicita a la CEPAL que, a través del Centro Latinoamericano y Caribeño de Demografía (CELADE)-División de Población de la CEPAL, siga facilitando el proceso de examen y evaluación de la aplicación del Plan de Acción Internacional de Madrid y de la Carta de San José sobre los Derechos de las Personas Mayores de América Latina y el Caribe - Acoge con beneplácito la generosa propuesta del Paraguay de ser anfitrión de la Cuarta Conferencia Regional Intergubernamental sobre Envejecimiento en América Latina y el Caribe, a celebrarse en 2017]

Implementación del Proyecto Centros Integradores Comunitarios en el Municipio de Berisso (2004-2007)

Fil: López, Silvina Lucrecia. Universidad Nacional de La Plata. Facultad de Humanidades y Ciencias de la Educación; Argentina.