Efecto del tratamiento de altas presiones hidrostáticas y del almacenamiento sobre la seguridad y la calidad nutricional, sensorial y funcional de smoothies como alternativa a las bebidas mixtas comerciales

El consumidor actual, cada vez más concienciado de la estrecha relación entre la alimentación y la salud, busca alimentos mínimamente procesados, apetecibles, de fácil consumo y con propiedades funcionales. En este sentido, las bebidas refrescantes mixtas y los smoothies suponen una opción para satisfacer estas necesidades. Además, la aplicación de tecnologías de conservación alternativas a la pasteurización tradicional, entre las que destacan las altas presiones hidrostáticas, constituye una revolución en la industria alimentaria, al obtenerse productos seguros que conservan las características funcionales, nutricionales y sensoriales de los alimentos frescos. El objetivo principal de esta Tesis Doctoral consiste en la evaluación del efecto de las altas presiones hidrostáticas aplicadas a smoothies elaborados con leche de vaca y leche de soja así como su modificación durante la vida comercial, bajo la premisa de tratarse de una tecnología más idónea que la tradicional pasteurización con que se procesan los zumos y las bebidas refrescantes mixtas. El fin último es alcanzar un mayor grado de conocimiento en relación a estos nuevos productos y procesos con objeto de establecer futuras guías de normalización, ya que en la actualidad el reconocimiento legal no es claro ni preciso. Previamente se lleva a cabo un estudio de mercado y caracterización de veinticuatro bebidas refrescantes mixtas comerciales a base de fruta y leche o soja como base sobre la que desarrollar las formulaciones de smoothies. Para evaluar el efecto de las altas presiones se desarrollaron dos prototipos de smoothies mixtos con productos vegetales (naranja, papaya, melón y zanahoria) por su aporte de compuestos bioactivos con elevado potencial saludable, a los que se les añadió leche de vaca o leche de soja. Las bebidas elaboradas con leche de vaca fueron sometidas a dos intensidades de presión: 450 y 600 MPa, y las formuladas con leche de soja a 550 y 650 MPa. En todos los casos el tiempo y temperatura se mantuvieron constantes: 3 minutos y 20 ºC. Para comparar el impacto del tratamiento y del almacenamiento sobre las características evaluadas, los smoothies se sometieron paralelamente a un proceso convencional de pasteurización térmica a 80 ºC durante 3 minutos. También se ha considerado el efecto del almacenamiento en refrigeración a 4 ºC a lo largo de 45 días...

Fundamentos de las Bases de Datos. 2011C1 Exámenes finales (curso 2012-2013)

En ese curso, este examen se hizo en la última sesión de teoría por lo que se prepararon varias versiones ligeramente diferentes para cada grupo de teoría.

Fundamentos de las Bases de Datos. 2011C2 Exámenes finales (curso 2012-2013)

El examen consta de 3 partes: Test de teoría, problemas de teoría y SQL. Hay dos versiones, una para informática y otra para multimedia.

Fundamentos de las Bases de Datos. 2012C1 Examen final (curso 2012-2013)

En el curso 2011-12 este examen de problemas de aplicación de la teoría se realizó en la fecha asignada por la Universidad de Alicante y en aulas comunes para Informática y Multimedia.

Fundamentos de las Bases de Datos. 2012C2 Examen (curso 2012-2013)

Examen de segunda convocatoria del curso 2011-12. Consta de 3 partes: test y problemas de teoría, y SQL.

Fundamentos de las Bases de Datos. Presentaciones Teoría1 (curso 2012-2013)

Presentaciones de la primera hora de las sesiones de teoría (TEORÍA1).

Análisis y Evaluación de Programas Universitarios para Mayores. Informe Final Proyecto Investigación AEPUMA 116/0

Análisis y Evaluación de Programas Universitarios para Mayores. MINISTERIO DE TRABAJO Y ASUNTOS SOCIALES, Informe Final del proyecto AEPUM (Cod. proyecto 116/2005). Convocatoria I+D+I de la Subdirección general de planificación, ordenación y evaluación del IMSERSO. Pag. 782.

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.

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

El movimiento estudiantil de la Universidad Nacional de La Plata ante la "Revolución Libertadora" : actores, transformaciones y conflictos entre septiembre de 1955 y mayo de 1956

El presente trabajo se propone abordar los sucesos que marcaron la dinámica institucional y política de la Universidad de La Plata en los meses que van entre septiembre de 1955 y mayo de 1956, con énfasis en un actor en particular: el movimiento estudiantil. Mediante el trabajo con fuentes documentales escritas de diversa índole vamos a reconstruir los primeros meses de la UNLP posperonista, atendiendo a tres aspectos del proceso abierto: en primer lugar, el proceso de reconstrucción y desperonización de las estructuras universitarias y del cuerpo docente y administrativo. Segundo, vamos a preguntarnos cuál fue el rol del movimiento estudiantil: qué acciones llevó a cabo, cuáles eran sus diferencias internas y sus principales debates. Como es conocido, el proceso de normalización universitaria atravesó un momento disruptivo comenzando 1956: la sanción del Decreto-Ley 6.403, y en particular su artículo n°28, va a provocar masivas movilizaciones (tanto a su favor como en contra), numerosas tomas e incluso fuertes incidentes en las calles platenses. Las últimas líneas del trabajo estarán dedicadas a este tercer aspecto del período señalado.

La cirugía estética como práctica sociocultural distintiva : Un lacerante encuentro entre corporeidad e imaginario social

La noción de "habitus"-"historia hecha cuerpo" (Bourdieu)-converge hoy con la de un paradigma tecnocientífico "fáustico" (Sibilia), cuya aspiración sería la maleabilidad ilimitada de la Naturaleza. A este paradigma no son ajenos ciertos avances en la ciencia y la tecnología médicas. Bajo la "mirada clínica objetivante", el cuerpo tiende a verse como un "borrador a rectificar" (Le Breton). Esta mirada nos interpelaría con fuerza creciente desde la "pantalla total" (Baudrillard) de la "cultura de consumo" (Featherstone). No comprenderemos profundamente el auge y la normalización de las cirugías estéticas, sin atender al encuentro entre el dispositivo médico y el mediático, de cuya interrelación dialéctica se constituiría un imaginario con efectos de "violencia simbólica"-literalmente-encarnizados. Considerando sus precios, las cirugías estéticas se nos sugieren como un consumo "distintivo", pero también, dado el riesgo y el dolor que implican, como un "trabajo corporal" (Wäcquant)-una acumulación de "capital físico" (Shilling) cuyas estrategias de reconversión aún están por ser estudiadas. Y esto resulta relevante en un estadio del capitalismo caracterizado por la "instrumentalización de aquello que nos hace humanos" (Boltanski): las emociones-la "bisagra" (Elias) entre lo social y lo biológico, donde se concreta la corporeidad en cuanto modo de "ser-en-el mundo" (Merleau-Ponty)

Estudio de la enfermedad renal y la respuesta al tratamiento (antimoniales "versus" miltefosina) en perros con infección natural por "Leishmania infantum"

La leishmaniosis canina (Lcan) es una zoonosis en toda la Cuenca Mediterránea y está producida por un protozoo intracelular, Leishmania infantum, transmitido por especies del género Phlebotomus. La enfermedad se caracteriza por una presentación clínica heterogénea en la cual la lesión renal es, con frecuencia, la causa principal de mortalidad. La nefropatía asociada a Lcan se atribuye fundamentalmente al depósito intraglomerular de inmunocomplejos circulantes. La combinación de antimoniato de n-meglumina (antimoniales) con alopurinol se considera el tratamiento de primera línea en esta enfermedad, aunque algunos estudios han demostrado que la combinación de miltefosina y alopurinol tiene una eficacia similar. A pesar de ser considerado el tratamiento más eficaz, el uso de antimoniato se asocia a efectos adversos sobre la funcionalidad renal lo cual puede ocasionar complicaciones importantes en el manejo de estos pacientes. A ello se suma la escasa sensibilidad de las pruebas diagnósticas disponibles hasta ahora en la clínica veterinaria para poder establecer un diagnóstico precoz de lesión renal. Es decir, el propio tratamiento podría agravar una posible alteración en la funcionalidad renal en pacientes que ya la tuvieran alterada debido a la leishmaniosis. Los perros infectados y tratados, en la mayoría de los casos, no alcanzan la curación parasitológica y sufren recidivas después del tratamiento. Las técnicas habituales para valorar la respuesta al tratamiento son la evolución de la tasa de anticuerpos y la electroforesis de proteínas plasmáticas. La normalización de las proteínas plasmáticas ocurre en paralelo con la mejoría clínica, pudiéndose emplear como marcadores de respuesta al tratamiento; sin embargo, la serología parece menos útil, a corto plazo, porque el descenso del título de anticuerpos es más lento. Se ha postulado que otros parámetros laboratoriales, como las proteínas de fase aguda, pueden ser una buena opción como marcadores precoces de la enfermedad y también para la monitorización del tratamiento...

Altamira: hegemonía de élite y valor social en conflicto

El conflicto puede generarse cuando el equilibrio de poder entre las partes interesadas se desplaza, empoderando a unos y desempoderando a otros (McKercher et al. 2005). El Patrimonio, entendido como una valoración social incorporada a la realidad (Barreiro en prensa)1, forma un entramado ideal para convertirse en un inductor de conflictos, pues incluye la percepción de diferentes grupos, o individuos, con diferentes posiciones de poder en torno a los procesos de su gestión y su impacto. En 2012 y tras diez años de cierre preventivo de la Cueva de Altamira, se aprobó el Programa de Investigación para la Conservación Preventiva y Régimen de Acceso de la Cueva de Altamira, generando un activo debate en torno a la dicotomía cierreapertura. Con el objeto de profundizar en la caracterización de Altamira como enclave patrimonial, el Programa incorporó un estudio de Valor Social, cuyos resultados deberían servir, como los de los restantes proyectos del Programa, para optimizar las condiciones de gestión del sitio. Como parte del equipo de trabajo, a través de la presente comunicación, pretendemos analizar Altamira como espacio de conflicto durante el proceso de ejecución del Programa, convirtiéndonos a su vez en actores integrantes de dicho conflicto. Con la pretensión de obtener una idea global e integrada de Altamira, implementamos diferentes técnicas cualitativas y cuantitativas de investigación, a través de una aproximación interdisciplinar. Desde técnicas antropológicas y sociológicas, identificamos una variedad significativa de actores sociales(comunidad local, visitantes, personal del museo, especialistas en conservación, actores políticos, investigadores, empresarios, etc.) de diversos ámbitos territoriales (municipal, autonómico y estatal) que encarnaban las aristas de un conflicto poliédrico. Nuestro fin era analizar las distintas posiciones de poder desde las que los actores conformaban sus valoraciones sobre Altamira. Entre los múltiples resultados del estudio destacamos una normalización de la importancia del “valor” de Altamira en relación a otros espacios patrimoniales; una instrumentalización de dicho espacio desde la política para potenciar el valor económico de la zona; y una idealización del papel de los expertos en Patrimonio para decidir sobre la apertura-cierre de Altamira.

Identidad, memoria y fotografía con la educación: nuevos contextos mediáticos, cultura prosumidora, hacia un nuevo amateurismo

Con el cambio de milenio se han producido dos hitos significativos que determinan un giro sin precedentes en la práctica fotográfica. Uno de ellos es la implantación definitiva de los procesos digitales. Estos procesos implican dos cuestiones fundamentales, por un lado en lo cuantitativo la popularización de los sistemas de captura, donde la cámara ligera del siglo XX queda transfigurada en teléfonos, tabletas, ordenadores, cámaras ultraligeras y todo tipo de dispositivos y, por otro lado, en lo cualitativo, la toma de conciencia e irrupción del ciudadano en la práctica de los procesos de postcaptura o interpretación de la imagen registrada en los ámbitos no profesionales. Tales cambios tecnológicos afectan de forma notoria a los operadores del nuevo sistema produciéndose una crisis excepcional en la historia de la fotografía que diluye las fronteras entre operadores profesionales y amateurs. Se configura y determina así la aparición de un nuevo amateur sui géneris. También se producen giros excepcionales en lo tecnológico que afectan a los nuevos operadores de la fotografía y a su propia función y naturaleza: el desarrollo de las comunicaciones en Internet y en particular con la normalización del uso de las redes sociales. Este nuevo contexto mediático convierte al usuario de las redes ya no sólo en un mero consumidor sino también en un productor de contenidos. Esta mutación del ciudadano en prosumidor (productor y consumidor) despierta su necesidad de aprendizaje práctico y operativo y de la alfabetización en los códigos icónicos...

Los discursos de la gimnasia en la formación de profesores

Este artículo es la continuación de textos anteriores surgidos del proyecto de investigación "El discurso de la prácticas corporales" en el cual se analizaron críticamente los discursos que circulan en la formación de profesores de Educación Física en cuanto a la enseñanza de las diferentes prácticas corporales. Para ello se estudiaron los programas de las diferentes asignaturas de diversas instituciones formadoras del país, indagando sobre los saberes que se intentan transmitir sobre cada una de ellas. Luego de haber analizado los programas relacionados con la gimnasia como práctica corporal y encontrado gran cantidad de saberes provenientes de los deportes tales como la gimnasia artística, podemos decir que se reduce a la gimnasia a su versión deportiva olvidándose de los saberes corporales que son necesarios para la enseñanza de un uso inteligente del cuerpo en la vida cotidiana. Trataremos de vislumbrar qué concepciones de sujeto, de enseñanza, de cuerpo y de práctica corporal sostienen los discursos de estas instituciones formadoras