Pseudofermion dynamical theory for the spin dynamical correlation functions of the half-filled 1D Hubbard model

A modified version of the metallic-phase pseudofermion dynamical theory (PDT) of the 1D Hubbard model is introduced for the spin dynamical correlation functions of the half-filled 1D Hubbard model Mott– Hubbard phase. The Mott–Hubbard insulator phase PDT is applied to the study of the model longitudinal and transverse spin dynamical structure factors at finite magnetic field h, focusing in particular on the sin- gularities at excitation energies in the vicinity of the lower thresholds. The relation of our theoretical results to both condensed-matter and ultra-cold atom systems is discussed.

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.

Desenvolvimento de um filtro ativo paralelo com CSI e controlo de corrente no barramento CC

Dissertação de mestrado integrado em Engenharia Eletrónica Industrial e Computadores

Vector of coordinates, velocities and accelerations

This chapter describes the how the vector of coordinates are defined in the formulation of spatial multibody systems. For this purpose, the translational motion is described in terms of Cartesian coordinates, while rotational motion is specified using the technique of Euler parameters. This approach avoids the computational difficulties associated with the singularities in the case of using Euler angles or Bryant angles. Moreover, the formulation of the velocities vector and accelerations vector is presented and analyzed here. These two sets of vectors are defined in terms of translational and rotational coordinates.

QRS Voltage-Duration Product in the Identification of Left Ventricular Hypertrophy in Spontaneously Hypertensive Rats

OBJECTIVE - Evaluation of the performance of the QRS voltage-duration product (VDP) for detection of left ventricular hypertrophy (LVH) in spontaneously hypertensive rats (SHR). METHODS - Orthogonal electrocardiograms (ECG) were recorded in male SHR at the age of 12 and 20 weeks, when systolic blood pressure (sBP) reached the average values of 165±3 mmHg and 195±12 mmHg, respectively. Age- and sex- matched normotensive Wistar Kyoto (WKY) rats were used as controls. VDP was calculated as a product of maximum QRS spatial vector magnitude and QRS duration. Left ventricular mass (LVM) was weighed after rats were sacrificed. RESULTS - LVM in SHR at 12 and 20 weeks of age (0.86±0.05 g and 1.05±0.07 g, respectively) was significantly higher as compared with that in WKY (0.65±0.07 g and 0.70±0.02 g). The increase in LVM closely correlated with the sBP increase. VDP did not reflect the increase in LVM in SHR. VDP was lower in SHR as compared with that in WKY, and the difference was significant at the age of 20 weeks (18.2mVms compared with 10.7mVms, p<0.01). On the contrary, a significant increase in the VDP was observed in the control WKY at the age of 20 weeks without changes in LVM. The changes in VDP were influenced mainly by the changes in QRSmax. CONCLUSION - LVM was not the major determinant of QRS voltage changes and consequently of the VDP. These data point to the importance of the nonspatial determinants of the recorded QRS voltage in terms of the solid angle theory.

Vector electrocardiographic alterations after percutaneous septal ablation in obstructive hypertrophic cardiomyopathy: possible anatomic causes

OBJECTIVE: Analyze the dromotropic disturbances (vector-electrocardiographic), and the possible anatomic causes, provoked by selective alcohol injection in the septal branch, for percutaneous treatment, of obstructive hypertrophic cardiomyopathy. METHODS: Ten patients with a mean age of 52.7 years underwent percutaneous septal ablation (PTSA) from october 1998; all in functional class III/IV). Twelve-lead electrocardiogram was performed prior to and during PTSA, and later electrocardiogram and vectorcardiogram according to Frank's method. The patients were followed up for 32 months. RESULTS: On electrocardiogram (ECG) prior to PTSA all patients had sinus rhythm and left atrial enlargement, 8 left ventricular hypertrophy of systolic pattern. On ECG immediately after PTSA, 8 had complete right bundle-branch block; 1 transient total atrioventricular block; 1 alternating transient bundle-branch block either right or hemiblock. On late ECG 8 had complete right bundle-branch block confirmed by vectorcardiogram, type 1 or Grishman. CONCLUSION: Septal fibrosis following alcohol injection caused a predominance of complete right bundle-branch block, different from surgery of myotomy/myectomy.

Evaluación de la interacción virus-hospedante-vector- endosimbiontes y su influencia en la transmisión del Mal de Río Cuarto en infecciones simples y mixtas con el Cereal Rhabdovirus.

El “Mal de Río Cuarto” es la enfermedad más importante del maíz en la Argentina. El agente causal es un fijivirus denominado Mal de Río Cuarto virus (MRCV). Se transmite únicamente a través de delfácidos (Hemiptera-Delphacidae) de forma persistente propagativa. Se han descripto diversas especies con demostrada capacidad vectora, entre ellos Delphacodes kuscheli Fennah y Toya propinqua Fieber. La primera es de gran importancia tanto por su abundancia en las zonas maiceras de nuestro país como por su eficiencia de transmisión mientras que T. propinqua es una especie cosmopolita que se encuentra ampliamente distribuida en toda el área productiva. Ambas especies poseen una demostrada capacidad de transmisión a cereales de grano fino, importantes epidemiológicamente por su rol como reservorios del virus y el vector en época invernal. Un aspecto que requiere especial atención es la aparición de una nueva virosis, un Cytorhabdovirus, en infecciones mixtas con MRCV en cereales de invierno en el sur de la provincia de Córdoba (región endémica del Mal de Río Cuarto). Al igual que este último el rhabdovirus se transmite por insectos delfácidos, por lo que sería relevante estudiar las posibles interacciones entre la coinfección por ambos patógenos y sus consecuencias en la transmisión del MRCV. La capacidad vectora puede estar afectada por diversos aspectos biológicos, entre los que se pueden mencionar el estadío del insecto al momento de la adquisición del virus, los niveles de concentración viral alcanzados en el organismo del vector, la existencia de barreras morfofisiológicas (como las membranas basales del intestino medio y glándulas salivales, y mecanismos de inmunidad innata) y la presencia de endosimbiontes. Se conoce que existen diferencias en la transmisión según el MRCV se adquiera como ninfa de primer o tercer estadío, por lo que se propone realizar estudios comparativos entre ambos grupos. Se plantea además evaluar el efecto de diferencias de concentración del MRCV en el organismo del insecto en la transmisión mediante RT-qPCR, en infecciones simples y mixtas. Se analizará la posible existencia de barreras morfofisiológicas observando el tropismo de las partículas virales en los tejidos del vector a través de inmunomicroscopía confocal y la activación diferencial de genes de inmunidad innata con RT-qPCR. Dado que existen antecedentes de la presencia de endosimbiontes, como Wolbachia pipientis en este grupo de insectos, se propone además estudiar la prevalencia de esta bacteria y analizar las cepas existentes en poblaciones de delfácidos del área maicera. Este objetivo es importante por dos razones. En primer lugar, W pipientis es ampliamente estudiada como potencial biocontrolador de vectores debido al fenómeno de incompatibilidad citoplasmática que expresa en sus hospedantes. En segundo lugar, esta bacteria influye en la eficiencia de transmisión de enfermedades ya que se conoce que los endosimbiontes producen proteínas denominadas simbioninas que protegen las partículas virales de la degradación enzimática durante su circulación por la hemolinfa. De este modo, la presencia de Wolbachia podría condicionar la replicación, estabilidad y persistencia de las partículas virales en insectos vectores, fenómenos comprobados para otros patosistemas. Este proyecto tiene como objetivo final profundizar los conocimientos acerca del fenómeno de la transmisión viral y establecer bases para el manejo integrado del vector y la enfermedad.

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.