On the temperature dependence of the absorption cross section for black holes in string theory

We study the low frequency absorption cross section of spherically symmetric nonextremal d-dimensional black holes. In the presence of α′ corrections, this quantity must have an explicit dependence on the Hawking temperature of the form 1/TH. This property of the low frequency absorption cross section is shared by the D1-D5 system from type IIB superstring theory already at the classical level, without α′ corrections. We apply our formula to the simplest example, the classical d-dimensional Reissner-Nordstr¨om solution, checking that the obtained formula for the cross section has a smooth extremal limit. We also apply it for a d-dimensional Tangherlini-like solution with α′3 corrections.

Absorption of scalars by nonextremal charged black holes in string theory

We analyze the low frequency absorption cross section of minimally coupled massless scalar fields by different kinds of charged static black holes in string theory, namely the D1–D5 system in d=5 and a four dimensional dyonic four-charged black hole. In each case we show that this cross section always has the form of some parameter of the solution divided by the black hole Hawking temperature. We also verify in each case that, despite its explicit temperature dependence, such quotient is finite in the extremal limit, giving a well defined cross section. We show that this precise explicit temperature dependence also arises in the same cross section for black holes with string \alpha' corrections: it is actually induced by them.

Media(ted) discourse and society: rethinking the framework of critical discourse analysis

The analysis of journalistic discourse and its social embeddedness has known significant advances in the last two decades, especially due to the emergence and development of Critical Discourse Analysis. However, three important aspects remain under-researched: the time plane in discourse analysis, the discursive strategies of social actors, and the extra- and supra-textual effects of mediated discourse. Firstly, understanding the biography of public matters requires a longitudinal examination of mediated texts and their social contexts but most forms of analysis of journalistic discourse do not account for the time sequence of texts and its implications. Secondly, as the media representation of social issues is, to a large extent, a function of the discursive construction of events, problems and positions by social actors, the discursive strategies that they employ in a variety of arenas and channels ‘‘before’’ and ‘‘after’’ journalistic texts need to be examined. Thirdly, the fact that many of the modes of operation of discourse are extra- or supra-textual calls for a consideration of various social processes ‘‘outside’’ the text. This paper aims to produce a theoretical and methodological contribution to the integration of these issues in discourse analysis by proposing a framework that combines a textual dimension with a contextual one

Iglesia argentina y memoria de las víctimas de la última dictadura militar. Revisión del discurso y de la praxis eclesial de reconciliación, a partir de determinados aportes de la Escuela de Frankfurt y de la Nueva Teología Política. Argentine Church and Memory of the Victims of the Military Dictatorship. Review of the Ecclesiastic Discourse and Praxis of Reconciliation.

En el marco de la recuperación de la memoria en relación con los hechos de la última dictadura militar es importante determinar los motivos ideológico-teológicos y prácticos que dificultaron una oposición significativa por parte de la jerarquía de la iglesia a la violación de los derechos humanos, e individualizar los argumentos que impulsaron un discurso y una praxis de reconciliación que privilegió el olvido de las víctimas y apoyó acríticamente los «proyectos de olvido», como la ley de punto final, entre otros. Para analizar dichos discursos y praxis se recurre principalmente a Johann Metz, quien, vinculado a la Escuela de Frankfurt, propone una razón anamnética del sufrimiento ajeno. La originalidad del proyecto es doble, por su contenido y por su enfoque: la confrontación del «servicio de reconciliación» eclesial con la «memoria de las víctimas». Hipótesis de trabajo: el discurso y la praxis eclesial en relación al «servicio de reconciliación» realizado por el Episcopado argentino a partir de 1981, pone de manifiesto: primero, que siguieron vinculados a la idea de "nación católica" (Zanatta 1996, Dri 1997, Esquivel 2004), lo que dificultó, junto a otros factores, la visibilización de las víctimas; segundo, a su vez, analizados a la luz de los aportes filosófico-teológicos mencionados, muestran una notable carencia en la valoración de la memoria de las víctimas, esperable en una reconciliación. Objetivo general: realizar un análisis crítico de los discursos y prácticas institucionales oficiales de la Iglesia católica en Argentina en relación con la memoria de las víctimas de la última dictadura militar. Objetivos específicos: confrontar las experiencias eclesiales argentinas recientes, y sus conceptualizaciones y tipos de argumentación, con una tradición de pensamiento que en relación al acontecimiento del Holocausto sitúa en el centro de la reflexión temas como el de la memoria, el sufrimiento de las víctimas, y un modo peculiar de tratamiento de los hechos históricos; además, individualizar y analizar los argumentos que dificultaron la búsqueda de la justicia y la memoria de las víctimas. Metodología y etapas. 1° Etapa: analizar y sistematizar algunos aspectos de las teorías del conocimiento histórico y de la razón comunicativa en determinadas obras de Benjamin, Bloch y Habermas; posteriormente, precisar la apropiación conceptual de las categorías histórico-filosóficas de dichas corrientes llevada a cabo por Metz para elaborar su «memoria de las víctimas». 2° Etapa: revisar el discurso y la praxis eclesial a partir de 1981 a la luz del marco teórico ya estudiado. Será necesario, por una parte, detenerse en las declaraciones eclesiales oficiales referidas al retorno de la democracia, a las leyes de punto final y obediencia debida, como así también, en el reconocimiento y pedido de perdón por las culpas del pasado.

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.

Darwin and after Darwin. An exposition of the Darwinian theory and a discussion of post-Darwinian questions, by George John Romanes ...

3

Darwin and after Darwin. An exposition of the Darwinian theory and a discussion of post-Darwinian questions, by George John Romanes ...

2

Darwin and after Darwin. An exposition of the Darwinian theory and a discussion of post-Darwinian questions, by George John Romanes ...

1

A critique of the theory of evolution, by Thomas Hunt Morgan ... Lectures delivered at Princeton University, February 24, March 1, 8, 15, 1916.

1916:Feb.-Mar.