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.

Assessment of the effects of the expansion of the city of Estarreja on the rational land use

The management of urban environment, together with the preservation of the natural environment and the creation of a sustainable built environment, is a complex challenge for contemporary societies. In the name of progress, cities are contributing for the degradation of all surrounding ecosystems. Therefore there is an arising demand for developing new strategies and a new urban development paradigm settled in the search for the equilibrium between natural and built environments and efficient use of resources. The objective of this paper is to analyse how the urban expansion of the city of Estarreja took place in relation to the land use, based on the land capability classification maps of the area. Based in the results some sustainable development strategies that might be applied to the city are discussed. The obtained results demonstrate that the city has been growing faster then its population, consuming vast portions of land, since its growth as been occurring in a linear form. Despite this fact, results show that most of this expansion took place towards a territory of lower agricultural potential, when comparing to the location of its original settlement.

Percutaneous handling of coronary lesions >20mm through stents. Is there a first choice strategy?

OBJECTIVE - This study compared the early and late results of the use of one single stent with those of the use of multiple stents in patients with lesions longer than 20mm. METHODS - Prospective assessment of patients electively treated with stents, with optimal stent deployment and followed-up for more than 3 months. From February '94 to January '98, 215 patients with lesions >20mm were treated. These patients were divided into 2 groups as follows: Group A - 105 patients (49%) with one stent implanted; Group B - 110 patients (51%) with multiple stents implanted. RESULTS - The mean length of the lesions was 26mm in group A (21-48mm) versus 29mm in group B (21-52mm) (p=0.01). Major complications occurred in one patient (0.9%) in group A (subacute thrombosis, myocardial infarctionand death) and in 2 patients (1.8%) in group B (one emergency surgery and one myocardial infarction) (p=NS). The results of the late follow-up period (>6 months) were similar for both groups (group A = 82% vs group B = 76%; p=NS), and we observed an event-free survical in 89% of the patients in group A and in 91% of the patients in group B (p=NS). Angina (group A = 11% vs group B = 7%) and lesion revascularization (group A = 5% vs group B = 6%; p=NS) also occurred in a similar percentage. No infarction or death was observed in the late follow-up period; restenosis was identified in 33% and 29% of the patients in groups A and B, respectively (p=NS). CONCLUSION - The results obtained using one stent and using multiple stents were similar; the greater cost-effectiveness of one stent implantation, however, seems to make this strategy the first choice.

“Safety and health” as a criterion in the choice of tunneling method

Risk management is of paramount importance in the success of tunnelling works and is linked to the tunnelling method and to the constraints of the works. Sequencial Excavation Method (SEM) and Tun-nel Boring Machine (TBM) method have been competing for years. This article, part of a wider study on the influence of the â Safety and Healthâ criterion in the choice of method, reviews the existing literature about the criteria usually employed to choose the tunnelling method and on the criterion â Safety and Healthâ . This crite-rion is particularly important, due to the financial impacts of work accidents and occupational diseases. This article is especially useful to the scientific and technical community, since it synthesizes the relevance of each one of the choice criteria used and it shows why â Safety and Healthâ must be a criterion in the decision mak-ing process to choose the tunnelling method.

Terapéutica racional, mediante indicadores de eficacia antimicrobiana, de la mastitis caprina utilizando marbofloxacina y cefquinoma. Rational therapeutics, indicators of antimicrobial efficiency in the mastitis goats using marbofloxacine and cefquinome

La producción de leche de cabra es considerada en nuestro país, y en la provincia de Córdoba, una alternativa productiva para el desarrollo sustentable y socio – económico de la población. Por otra parte, existe una mayor demanda del mercado nacional e internacional de esta leche, por lo que los productores deben garantizar la seguridad y calidad de la misma de acuerdo a las normas vigentes. Es por ello que el control y tratamiento de las diferentes enfermedades es de vital importancia tanto para maximizar la producción del hato como para cumplir con los cánones de seguridad exigidos. En este contexto la mastitis caprina es una de las enfermedades que afecta la productividad del sector, y para controlarla una de las medidas a emplear es la terapéutica con antimicrobianos. Se trabajará en este proyecto con marbofloxacina y cefquinoma, estableciendo pautas racionales (eficaces y seguras) para su empleo en la afección a nivel regional. Los indicadores de eficacia estarán fijados de acuerdo a los parámetros integrados de farmacocinética (FC) y farmacodinamia (FD). Estos últimos (FD) serán calculados a través de la determinación concentraciones inhibitorias mínimas de cepas bacterianas aisladas de mastitis caprinas en Córdoba. Se establecerán los parámetros farmacocinéticos a dosis únicas y múltiples para la marbofloxacina (5 mg/kg IV, IM) y cefquinoma (2 mg/kg IV, IM e IMM) a partir de muestras de suero y leche de cabras Anglo Nubian (n = 6 por antimicrobiano; diseño cruzado en función de la ruta de administración). Se determinarán sus concentraciones en dichos fluidos, por cromatografía líquida de alta precisión. Los resultados FC/FD para ambos medicamentos se compararán con parámetros recomendados por expertos para cada tipo de antimicrobiano y se utilizarán como medida para recomendar una terapéutica racional, fundamental para optimizar la posología, garantizar la eficacia clínica, y reducir al mínimo la selección y propagación de cepas resistentes de agentes patógenos. The production of milk of goat is considered the province of Cordoba, a productive alternative for the sustainable development and partner - economically of the population. There is a major demand of the domestic and international market of this milk, for what the producers must guarantee the safety and quality of the same one of agreement to the in force procedure. It is for it that the control and treatment of the different diseases performs vital importance so much to maximize the production of the herd as to expire with the safety demanded. In this context the mastitis goat is one of the diseases that affect the productivity of the sector, and to control her one of the measures to using is the therapeutics with antimicrobial. One will be employed at this project with marbofloxacine and cefquinome, establishing rational guidelines (effective and sure) for his employment in the affection to regional level. The indicators of efficiency will be fixed in agreement to the integrated parameters of pharmacokinetics (PK) and pharmacodinamics (PD). The latter (PK) will be calculated across the determination inhibitory minimal concentrations of bacterial strains isolated of mastitis goat in Córdoba. The parameters will be established pharmacokinetics to the only and multiple doses for the marbofloxacine (5 mg/kg the IV, IM) and cefquinome (2 mg/kg the IVth, IM and IMM), From samples of whey and milk of goats Anglo Nubian (n = 6 for antimicrobial; design crossed depending on the route of administration). Its concentrations will decide in the above mentioned fluids, for liquid chromatography of high precision. The results PK/PD for both antimicrobial will be compared with parameters recommended by experts for every type of antimicrobial and will be in use as measure for recommending a rational, fundamental therapeutics for optimizing the dosage, for guaranteeing the clinical efficiency, and to reduce to the minimum the selection and spread of resistant of pathogenic agents.

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.