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.

A determinação dos números de indivíduos mínimos necessários na experimentação genética

The main object of the present paper consists in giving formulas and methods which enable us to determine the minimum number of repetitions or of individuals necessary to garantee some extent the success of an experiment. The theoretical basis of all processes consists essentially in the following. Knowing the frequency of the desired p and of the non desired ovents q we may calculate the frequency of all possi- ble combinations, to be expected in n repetitions, by expanding the binomium (p-+q)n. Determining which of these combinations we want to avoid we calculate their total frequency, selecting the value of the exponent n of the binomium in such a way that this total frequency is equal or smaller than the accepted limit of precision n/pª{ 1/n1 (q/p)n + 1/(n-1)| (q/p)n-1 + 1/ 2!(n-2)| (q/p)n-2 + 1/3(n-3) (q/p)n-3... < Plim - -(1b) There does not exist an absolute limit of precision since its value depends not only upon psychological factors in our judgement, but is at the same sime a function of the number of repetitions For this reasen y have proposed (1,56) two relative values, one equal to 1-5n as the lowest value of probability and the other equal to 1-10n as the highest value of improbability, leaving between them what may be called the "region of doubt However these formulas cannot be applied in our case since this number n is just the unknown quantity. Thus we have to use, instead of the more exact values of these two formulas, the conventional limits of P.lim equal to 0,05 (Precision 5%), equal to 0,01 (Precision 1%, and to 0,001 (Precision P, 1%). The binominal formula as explained above (cf. formula 1, pg. 85), however is of rather limited applicability owing to the excessive calculus necessary, and we have thus to procure approximations as substitutes. We may use, without loss of precision, the following approximations: a) The normal or Gaussean distribution when the expected frequency p has any value between 0,1 and 0,9, and when n is at least superior to ten. b) The Poisson distribution when the expected frequecy p is smaller than 0,1. Tables V to VII show for some special cases that these approximations are very satisfactory. The praticai solution of the following problems, stated in the introduction can now be given: A) What is the minimum number of repititions necessary in order to avoid that any one of a treatments, varieties etc. may be accidentally always the best, on the best and second best, or the first, second, and third best or finally one of the n beat treatments, varieties etc. Using the first term of the binomium, we have the following equation for n: n = log Riim / log (m:) = log Riim / log.m - log a --------------(5) B) What is the minimun number of individuals necessary in 01der that a ceratin type, expected with the frequency p, may appaer at least in one, two, three or a=m+1 individuals. 1) For p between 0,1 and 0,9 and using the Gaussean approximation we have: on - ó. p (1-p) n - a -1.m b= δ. 1-p /p e c = m/p } -------------------(7) n = b + b² + 4 c/ 2 n´ = 1/p n cor = n + n' ---------- (8) We have to use the correction n' when p has a value between 0,25 and 0,75. The greek letters delta represents in the present esse the unilateral limits of the Gaussean distribution for the three conventional limits of precision : 1,64; 2,33; and 3,09 respectively. h we are only interested in having at least one individual, and m becomes equal to zero, the formula reduces to : c= m/p o para a = 1 a = { b + b²}² = b² = δ2 1- p /p }-----------------(9) n = 1/p n (cor) = n + n´ 2) If p is smaller than 0,1 we may use table 1 in order to find the mean m of a Poisson distribution and determine. n = m: p C) Which is the minimun number of individuals necessary for distinguishing two frequencies p1 and p2? 1) When pl and p2 are values between 0,1 and 0,9 we have: n = { δ p1 ( 1-pi) + p2) / p2 (1 - p2) n= 1/p1-p2 }------------ (13) n (cor) We have again to use the unilateral limits of the Gaussean distribution. The correction n' should be used if at least one of the valors pl or p2 has a value between 0,25 and 0,75. A more complicated formula may be used in cases where whe want to increase the precision : n (p1 - p2) δ { p1 (1- p2 ) / n= m δ = δ p1 ( 1 - p1) + p2 ( 1 - p2) c= m / p1 - p2 n = { b2 + 4 4 c }2 }--------- (14) n = 1/ p1 - p2 2) When both pl and p2 are smaller than 0,1 we determine the quocient (pl-r-p2) and procure the corresponding number m2 of a Poisson distribution in table 2. The value n is found by the equation : n = mg /p2 ------------- (15) D) What is the minimun number necessary for distinguishing three or more frequencies, p2 p1 p3. If the frequecies pl p2 p3 are values between 0,1 e 0,9 we have to solve the individual equations and sue the higest value of n thus determined : n 1.2 = {δ p1 (1 - p1) / p1 - p2 }² = Fiim n 1.2 = { δ p1 ( 1 - p1) + p1 ( 1 - p1) }² } -- (16) Delta represents now the bilateral limits of the : Gaussean distrioution : 1,96-2,58-3,29. 2) No table was prepared for the relatively rare cases of a comparison of threes or more frequencies below 0,1 and in such cases extremely high numbers would be required. E) A process is given which serves to solve two problemr of informatory nature : a) if a special type appears in n individuals with a frequency p(obs), what may be the corresponding ideal value of p(esp), or; b) if we study samples of n in diviuals and expect a certain type with a frequency p(esp) what may be the extreme limits of p(obs) in individual farmlies ? I.) If we are dealing with values between 0,1 and 0,9 we may use table 3. To solve the first question we select the respective horizontal line for p(obs) and determine which column corresponds to our value of n and find the respective value of p(esp) by interpolating between columns. In order to solve the second problem we start with the respective column for p(esp) and find the horizontal line for the given value of n either diretly or by approximation and by interpolation. 2) For frequencies smaller than 0,1 we have to use table 4 and transform the fractions p(esp) and p(obs) in numbers of Poisson series by multiplication with n. Tn order to solve the first broblem, we verify in which line the lower Poisson limit is equal to m(obs) and transform the corresponding value of m into frequecy p(esp) by dividing through n. The observed frequency may thus be a chance deviate of any value between 0,0... and the values given by dividing the value of m in the table by n. In the second case we transform first the expectation p(esp) into a value of m and procure in the horizontal line, corresponding to m(esp) the extreme values om m which than must be transformed, by dividing through n into values of p(obs). F) Partial and progressive tests may be recomended in all cases where there is lack of material or where the loss of time is less importent than the cost of large scale experiments since in many cases the minimun number necessary to garantee the results within the limits of precision is rather large. One should not forget that the minimun number really represents at the same time a maximun number, necessary only if one takes into consideration essentially the disfavorable variations, but smaller numbers may frequently already satisfactory results. For instance, by definition, we know that a frequecy of p means that we expect one individual in every total o(f1-p). If there were no chance variations, this number (1- p) will be suficient. and if there were favorable variations a smaller number still may yield one individual of the desired type. r.nus trusting to luck, one may start the experiment with numbers, smaller than the minimun calculated according to the formulas given above, and increase the total untill the desired result is obtained and this may well b ebefore the "minimum number" is reached. Some concrete examples of this partial or progressive procedure are given from our genetical experiments with maize.

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.

La teoría de Morales-Ramis y el algoritmo de Kovacic

La teor\'\ı a de Morales–Ramis es la teor\'\ı a de Galois en el contextode los sistemas din\'amicos y relaciona dos tipos diferentes de integrabilidad:integrabilidad en el sentido de Liouville de un sistema hamiltonianoe integrabilidad en el sentido de la teor\'\ı a de Galois diferencial deuna ecuaci\'on diferencial. En este art\'\i culo se presentan algunas aplicacionesde la teor\'\i a de Morales–Ramis en problemas de no integrabilidadde sistemas hamiltonianos cuya ecuaci\'on variacional normal a lo largode una curva integral particular es una ecuaci\'on diferencial lineal desegundo orden con coeficientes funciones racionales. La integrabilidadde la ecuaci\'on variacional normal es analizada mediante el algoritmode Kovacic.