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.

Optimization of filling systems for low pressure by Flow 3D

Dissertação de mestrado integrado em Engenharia Mecânica

Comorbidities of mental and behavioral disorders in chemically dependent patients in different periods of abstinence

OBJECTIVE: To assess the frequency of comorbidities of mental and behavioral disorders (CMBD) in psychoactive substance (PAS)-dependent patients with different periods of abstinence cared for at Alcohol and Other Drug Psychosocial Care Centers (CAPS-ad). METHOD: All patients under treatment in the two CAPS-ad of the city of Uberlândia-MG, between April and September 2010, were consecutively assessed. The ICD-10 symptom checklist was used to diagnose CMBD; additional information was obtained from interviews and medical records. The patients were divided according to duration of abstinence: < 1 week (Group 1); 1-4 weeks (Group 2); and > 4 weeks (Group 3). RESULTS: Of all patients assessed, 62.8% were diagnosed with CMBD, which were more frequent (p < 0.05) in Group 1 (72%) than Group 3 (54.2%), and both groups were similar to Group 2 (61%). Depressive and anxiety disorders were more frequent among patients of Group 1. Mood disorders were more frequent (p < 0.05) in women [22/34 (65%) vs. 54/154 (35.1%)], whereas psychotic disorders were more frequent (p = 0.05) in men [16/154 (10.4%) vs. 0]. The presence of CMBD was associated with more severe clinical conditions. CONCLUSIONS: The higher frequency of diagnosis of CMBD in patients of Group 1 may have resulted from the difficulties in distinguishing mental disorders that are due to PAS intoxication or withdrawal from those that are not. However, to make the diagnosis of CMBD, even during detoxification, can increase the likelihood of better response to treatment.

Cognitive-behavioral therapy for anxiety disorders in children and adolescents: a systematic review of follow-up studies

Objective To conduct a systematic review about the long-term response to cognitive-behavioral therapy (CBT) for anxiety disorders (ADs) in children and adolescents. Methods The PubMed and ISI Web of Science databases were consulted. Search in the databases was performed in November 2012 and included cohort studies after CBT for ADs in children and adolescents with a follow-up period over 12 months. Results A total of 10 papers met the inclusion criteria. The follow-up period ranged from 12 months to 13 years and the results generally showed maintenance of the short-term benefits with CBT. However, the studies presented limitations, especially regarding methods, such as lack of a control group and losses to follow-up. Conclusion The long-term benefits of CBT were identified, however it would be interesting to conduct other studies with more frequent assessment periods, in order to minimize losses to follow-up, in addition to evaluating children and adolescents in the various stages of their development.

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.

Infants’ behavioral and physiological profile and mother–infant interaction

This study aims to (a) identify and profile groups of infants according to their behavioral and physiological characteristics, considering their neurobehavioral organization, social withdrawal behavior, and endocrine reactivity to stress, and to (b) analyze group differences in the quality of mother–infant interaction. Ninety seven 8-week-old infants were examined using the Neonatal Behavioral Assessment Scale and the Alarm Distress Baby Scale. Cortisol levels were measured both before and after routine inoculation between 8 and 12 weeks. At 12 to 16 weeks mother–infant interaction was assessed using the Global Rating Scales of Mother–Infant Interaction. Three groups of infants were identified: (a) ‘‘withdrawn’’; (b) ‘‘extroverted’’; (c) ‘‘underaroused.’’ Differences between them were found regarding both infant and mother behaviors in the interaction and the overall quality of mother–infant interaction. The identification of behavioral and physiological profiles in infants is an important step in the study of developmental pathways.

Mother’s depression at childbirth does not contribute to the effects of antenatal depression on neonate’s behavioral development

Background: Maternal depression is a worldwide phenomenon that has been linked to adverse developmental outcomes in neonates. Aims: To study the effect of antenatal depression (during the third trimester of pregnancy) on neonate behavior, preference, and habituation to both the mother and a stranger’s face/voice. To analyze mother’s depression at childbirth as a potential mediator or moderator of the relationship between antenatal depression and neonate behavioral development. Method: A sample of 110 pregnant women was divided in 2 groups according to their scores on the Edinburgh Postnatal Depression Scale during pregnancy (EPDS; ≥10, depressed; <10, non-depressed). In the first 5 days after birth, neonatal performance on the Neonatal Behavioral Assessment Scale (NBAS) and in the ‘Preference and habituation to the mother’s face/voice versus stranger’ paradigm was assessed; each mother filled out an EPDS. Results: Neonates of depressed pregnant women, achieved lower scores on the NBASs (regulation of state, range of state, and habituation); did not show a visual/auditory preference for the mother’s face/voice; required more trials to become habituated to the mother’s face/voice; and showed a higher visual/auditory preference for the stranger’s face/voice after habituation compared to neonates of non-depressed pregnant women. Depression at childbirth does not contribute to the effect of antenatal depression on neonatal behavioral development. Conclusion: Depression even before childbirth compromises the neonatal behavioral development. Depression is a relevant issue and should be addressed as a routine part of prenatal health care.

Brazelton Neonatal Behavioral Assessment Scale: a psychometric study in a Portuguese sample

Background: The Neonatal Behavioral Assessment Scale (NBAS, Brazelton & Nugent, 1995) is an instrument conceived to observe the neonatal neurobehavior. Data analysis is usually performed by organizing items into groups. The most widely used data reduction for the NBAS was developed by Lester, Als, and Brazelton (1982). Objective: Examine the psychometric properties of the NBAS items in a sample of 213 Portuguese infants. Method: The NBAS was performed in the first week of infant life (3 days±2) and in the seventh week of life (52 days±5). Results: Principal component analyses yielded a solution of four components explaining 55.13% of total variance. Construct validity was supported by better neurobehavioral performance of 7-week-old infants compared with 1-week-old infants. Conclusion: Changes in the NBAS structure for the Portuguese sample are suggested compared to Lester factors in order to reach better internal consistency of the scale.

Emotional and behavioral problems in preschoolers: risk factors and assessment Issues

Tese de Doutoramento em Psicologia Aplicada.

Exposición prenatal al alcohol y síndrome de hiperactividad con déficit de la atención: un abordaje conductual, farmacológico y bioquímico. Alcohol prenatal exposure and attention deficit with hyperactivity disorder: behavioral, pharmacological and biochemical approaches.

El Trastorno por Déficit de Atención con Hiperactividad (ADHD) es un síndrome conductual de origen orgánico, que se manifiesta principalmente en niños. Está caracterizado por distracción moderada a severa, períodos de atención breve, hiperactividad, inestabilidad emocional e impulsividad. Los tratamientos se basan "paradójicamente" en psicoestimulantes. Las sustancias mas empleadas son metilfenidato y anfetamina. La sintomatología indica un mal funcionamiento en los circuitos dopaminérgicos que sería el resultado de factores genéticos como ambientales, ya que es común encontrar ADHD en niños expuestos prenatalmente al alcohol. Los modelos animales son importantes para estudiar patologías de etiología desconocida, en este sentido, estudios de nuestro laboratorio indican que ratones deficientes en p35 son hiperactivos y responden paradojalmente a psicoestimulantes. Cdk5/p35 participa en el desarrollo neuronal, liberación de vesículas, señales dopaminérgicas, etc. Además resultados preliminares indican que la experiencia prenatal con una dosis etílica moderada durante la gestación tardía, es suficiente para incrementar los patrones de actividad locomotora, semejantes a los descriptos en los modelos animales de ADHD. De acuerdo a estas consideraciones hipotetizamos que la exposición etílica prenatal a dosis moderadas y durante un periodo acotado de la gestación tardía, resulta en un patrón conductual similar al descripto en modelos de ADHD. Asimismo, drogas psicoestimulantes pueden revertir dichos efectos. Por otra parte, proponemos que estas alteraciones son consecuencia de los efectos ocasionados por el insulto etílico sobre el equilibrio en el funcionamiento del sistema de neurotransmisión dopaminérgio mesolímbico/cortical. Teniendo en cuenta que la etiología del ADHD aun no se conoce, el desarrollo de modelos animales, que recapitulen características clínicas de este trastorno, constituye una herramienta muy poderosa para el estudio de los mecanismos celulares y moleculares que subyacen a este síndrome, por lo tanto, en este proyecto nos proponemos obtener evidencias acerca de las alteraciones originadas a partir de efectos deletéreos de la exposición etílica prenatal, que recapitulan el desarrollo de fenotipos conductuales y bioquímicos descriptos en modelos para ADHD. Específicamente nos proponemos determinar, por medio de experimentos conductuales, si la exposición a distintas dosis moderadas de alcohol durante un periodo acotado de la gestación tardía, son suficientes para generar alteraciones conductuales características de ADHD y establecer si metilfenidato y anfetamina, son capaces de revertirlas. Evaluar, mediante métodos bioquímicos, si este modelo involucra cambios en algunos de los componentes claves de la neurotransmisión dopaminérgica, tales como niveles de dopamina y sus metabolitos, niveles de expresión de tirosina-hidroxilasa, de receptores y transportador de dopamina, del complejo cdk5/p35, entre otros. Esperamos recapitular características análogas a las observadas en sujetos diagnosticados con ADHD y que el tratamiento con psicoestimulantes re-establezca los niveles de conducta normales. Mediante ensayos bioquímicos, esperamos encontrar mayores niveles de dopamina en tejido estriatal, acompañados con un aumento en los niveles de sus metabolitos y mediante western blot y ensayos de actividad esperamos encontrar mayor nivel de expresión en D1, menor de DAT y alteraciones en la normal actividad y expresión de cdk5/p35, que podrían explicar los resultados comportamentales esperados. Dada la alta prevalencia de ADHD y que estos jóvenes pacientes son medicados con psicoestimulantes, junto con la poca información sobre las respuestas neuroadaptativas del cerebro inmaduro, es importante investigar los mecanismos que subyacen las alteraciones neurofisiológicas de este trastorno. Estos abordajes experimentales resultan centrales para el desarrollo de terapias mas eficientes para el tratamiento de este síndrome.

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