Contribuciones al estudio analítico del movimiento de rotación de una Tierra deformable

Esta memoria para optar al grado de doctor por la Universidad de Alicante, en el área de Matemática Aplicada, se divide en ocho capítulos. En los cuatro primeros se lleva a cabo una revisión del problema de la rotación de la Tierra rígida y elástica, en formalismo hamiltoniano, y se introducen algunas alternativas originales a la construcción de ciertos elementos de la teoría. En los otros cuatro se presentan nuevas contribuciones al estudio analítico de los movimientos de precesión y nutación de la Tierra deformable. Estas se pueden agrupar en dos categorías: la obtención de fórmulas que describen el movimiento de rotación del eje de figura, que completan las existentes hasta la fecha, y la extensión del formalismo para hacerlo compatible con modelos reológicos de la Tierra más generales.

100 Años de desarrollo de la teoría financiera : situación actual y previsible evolución tras la crisis : resumen de la ponencia

"Las Finanzas, como disciplina académica, nacen a caballo entre los siglos XIX y XX. Sin duda el importante desarrollo industrial de la época y la necesidad de empresas de mayores dimensiones llevaron a un creciente interés por las concentraciones empresariales como fusiones y adquisiciones. También aumentó el interés por los mercados donde se financiaban estas empresas cada vez mayores. Y esto, aunque sucedía en diversas partes del mundo, estaba ocurriendo de forma especial en Estados Unidos, de manera que allí fue donde nacieron las finanzas, y donde se han seguido desarrollando. De esta manera, desde un comienzo, las finanzas tienen un claro sello anglosajón." [introdução]

Aplicaciones de la teoría de PDE a la relatividad general

Este plan de trabajo contempla diversas aplicaciones de la teoría de las Ecuaciones en Derivadas Parciales en el contexto de la Relatividad General. (...) Estas aplicaciones tiene como una de las intenciones últimas la de ser empleadas en simulaciones numéricas. Entre ellas destacamos las siguientes: * Fluidos viscosos relativistas y sus límites parabólicos. * Modelado numérico de las ecuaciones del primer punto. * Existencia global de sistemas disipativos. * Teoremas no-hair cosmológicos. * Límite Newtoniano de la relatividad general, resultados rigurosos. * Condiciones de contorno para las ecuaciones de Einstein.

La teoría de la mente desde una perspectiva interdisciplinaria: el problema de la conciencia

Diversas disciplinas científicas tales como la Psicología, las neurociencias, la psicología evolutiva, la inteligencia artificial, la lingüística, etc., abordan el estudio de los fenómenos mentales desde diferentes ángulos y con presupuestos y metodologías particulares. Por otra parte, en el marco disciplinario de la filosofía de la mente, especialmente en los últimos años, se han encarado investigaciones en torno a distintos tópicos especiales (representación, causación mental, intencionalidad, procesamiento de información, fenómenos cualitativos, subjetividad, auto-conocimiento, etc.) que han sido discutidos en diferentes niveles de análisis: ontológico, epistemológico, metodológico, semántico. Esta situación trae como consecuencia el desarrollo de investigaciones paralelas cuyas vinculaciones sólo excepcionalmente son advertidas, e incluso en el caso de algunas disciplinas aplicadas, ni siquiera se consideran los resultados de las indagaciones teóricas, lo que las lleva a incurrir tanto en errores conceptuales como la interpretación. (...) En la anterior etapa de investigación hemos logrado realizar un relevamiento general, en algunas de las disciplinas mencionadas, de los distintos marcos conceptuales y explicativos empleados en teorías de la intencionalidad. En esta nueva etapa nos proponemos analizar y evaluar las principales dificultades y discusiones epistemológicas implicadas en el intento de construir una única teoría global acerca de lo mental, vinculando diferentes disciplinas. (...) En esta primera etapa prevemos abordar el problema planteado abocándonos al estudio de una temática especial, presente en los desarrollos teóricos de las distintas disciplinas e ineludible para la construcción de una teoría transdisciplinaria acerca de los fenómenos mentales: el problema de la conciencia. (...) Objetivos específicos: 1. Examinar las teorías alternativas de la conciencia (empíricas y filosóficas) discriminando en especial sus presupuestos epistemológicos. 2. Comparar los marcos teóricos globales que se desprenden de las teorías de la conciencia con las interpretaciones que de ella se postulan en los distintos contextos disciplinarios (psicología, lingüística, etc.). 3. Evaluar la viabilidad de una teoría unitaria de la conciencia, atendiendo a las condiciones de adecuación epistemológica de acuerdo con un enfoque interdisciplinario.

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.

Maimónides y la teoría política del sur de Europa

Maimónides aporta una explicación de lo público, procedente del siglo doce, con novedades que hoy son relevantes. La ciencia política comienza con el estudio del gobierno de cada uno. Esta idea, de origen aristotélico, se funde con la tradición judía del halakha para aportar una filosofía nueva. La ciudad es para Rambam un conjunto de patios y callejuelas y, en su entendimiento de la política, no se puede identificar conocimiento con poder. Su obra propugna un método pedagógico que establece la enseñanza de uno en uno para la trasmisión de conocimientos trascendentales, tal y como era acostumbrado en la tradición sefardí. Su reflexión sobre el poder y la ciudad le llevan a resaltar el buen juicio cotidiano. Proteger el buen juicio es la manera de que la filosofía pública atienda tanto la inherencia como la contingencia

Notas para una comparación de la teoría del imperialismo con la teoría del comercio internacional

La lectura de una serie de textos relativamente mal conocidos, tanto en la tradición neoclásica como en la teoria del imperialismo permite reconstruir la trayectoria seguida por esos autores para explicar la situación europea de 1840 en adelante. Un eslabón fundamental en la cadena de razonamientos resulta ser en último término el papel de la agricultura (y después de la mineria) y los limites que su lento desarrollo impone a la expansión del sistema en conjunto. En el esquema ricardiano, que es el punto de partida común de las dos teorias consideradas, la escasez de tierras de calidad es el parárnetro más relevante. En la versión neoclásica posterior, influida por la dotación de factores que se da en los paises colonizados por Inglaterra, la renta de escasez se generaliza potencialmente a todos los factores, privando de base a la teoría objetiva del valor-trabajo. En el desarrollo marxista de la teoria juegan un rol más importante los vestigios feudales que siguen presentes en la agricultura capitalista europea y la incapacidad de ésta para alimentar a costes bajos a una poblaci6n creciente.

¿Cómo practicar la etnografía? Hacia una teoría pragmática y política de la descripción

El artículo establece, en primer lugar, las bases de una antropología pragmática - principalmente el interés por la pregunta "¿cómo hace la gente?" - que deben orientar la investigación etnográfica. Posteriormente, describe por medio de un extracto etnográfico, diferentes prácticas en la fiesta de San Juan/Inti Raymi en Otavalo (Andes ecuatorianos). Éste, es una construcción textual elaborada a partir de una perspectiva pragmática. Por último, se desarrollan cuatro puntos que apoyan la descripción pragmática y minuciosa: la acción en situación, la superación del intelectualismo, las relaciones situacionales de poder y la co-experiencia de los lectores.

La Teoría de la Organización aplicada a la acción tutorial del Prácticum: la mejora de la calidad en la formación inicial del profesorado en el marco del EEES

El proyecto de investigación La Teoría de la Organización aplicada a la acción tutorial del Prácticum, tiene como principal objetivo describir la importancia que la acción tutorial y el modelo de organización adquieren sobre la formación académica, personal y profesional de los estudiantes de Magisterio de la Facultad de Educación de la Universitat Internacional de Catalunya, todo ello considerando el nuevo Espacio Europeo de Educación Superior (EEES). Nuestra hipótesis de trabajo supone que la relación tutorial organizada y definida en términos institucionales, se adapta mejor al Prácticum de los nuevos estudios de grado de Magisterio, puesto que supone considerar la función tutorial de manera interinstitucional y requiere del trabajo en equipo de distintos profesionales tanto de manera presencial como en red. La presentación del proyecto hace patente la necesidad de profundizar en el estado de la cuestión y los antecedentes que constituirán los diferentes marcos teóricos. Por ello, aparte de recoger la experiencia vivida desde la coordinación y la tutorización del Prácticum, se analizan en primer lugar la teoría de la organización, en segundo lugar los referentes legislativos que preceden los cambios en el sistema educativo universitario y especialmente los vinculantes al Prácticum de los estudios de Grado de Magisterio, en tercer lugar se describe la importancia de la asignatura del prácticum y su tutorización en el proceso de formación de los futuros docentes y finalmente se hace referencia a los modelos de relación existentes entre las universidades y los centros educativos, para considerar nuevas estrategias que optimicen el proceso de formación que supone el Prácticum. El aprendizaje servicio APS, se presenta al final como modelo y estrategia de colaboración, y como metodología de enseñanza y aprendizaje que se adapta al modelo organizativo propuesto integrando el servicio a la comunidad con el aprendizaje.

La gripe A desde la teoría de la elección racional: propuestas para la toma de decisiones de políticas preventivas

This article is a reflection on the social uncertainty caused by Influenza A and on the consequences that it can have on decision making in health promotion policies. We use concepts and metaphors of the Rational Choice Theory, among them, the “ingratitude effect” or the “distrust effect”, as we analyse how these can become obstacles for the efficiency of prevention policies. Then, we focus on the information asymmetry of the principal-agent relationship, and we propose measures to diminish the “moral risk” that they cause. We finish by advancing some proposals for designing lines and strategies of action in health promotion policies.