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.

Nonlinear behavior of gelatin networks reveals a hierarchical structure

We investigate the strain hardening behavior of various gelatin networks-namely physical gelatin gel, chemically cross-linked gelatin gel, and a hybrid gel made of a combination of the former two-under large shear deformations using the pre-stress, strain ramp, and large amplitude oscillations shear protocols. Further, the internal structures of physical gelatin gels and chemically cross-linked gelatin gels were characterized by small angle neutron scattering (SANS) to enable their internal structures to be correlated with their nonlinear rheology. The Kratky plots of SANS data demonstrate the presence of small cross-linked aggregates within the chemically cross-linked network whereas, in the physical gelatin gels, a relatively homogeneous structure is observed. Through model fitting to the scattering data, we were able to obtain structural parameters, such as the correlation length (ξ), the cross-sectional polymer chain radius (Rc) and the fractal dimension (df) of the gel networks. The fractal dimension df obtained from the SANS data of the physical and chemically cross-linked gels is 1.31 and 1.53, respectively. These values are in excellent agreement with the ones obtained from a generalized nonlinear elastic theory that has been used to fit the stress-strain curves. The chemical cross-linking that generates coils and aggregates hinders the free stretching of the triple helix bundles in the physical gels.

Preoperative staging of rectal cancer with MRI: correlation with pathologic staging

[INTRODUCTION] An accurate preoperative rectal cancer staging is crucial to the correct management of the disease. Despite great controversy around this issue, pelvic magnetic resonance (RM) is said to be the imagiologic standard modality. This work aimed to evaluate magnetic resonance accuracy in preoperative rectal cancer staging comparing with the anatomopathological results. METHODS We calculated sensibility, specificity, positive (VP positive) and negative (VP negative) predictive values for each T and N. We evaluated the concordance between both methods of staging using the Cohen weighted K (Kw), and through ROC curves, we evaluated magnetic resonance accuracy in rectal cancer staging. RESULTS 41 patients met the inclusion criteria. We achieved an efficacy of 43.9% for T and 61% for N staging. The respective sensibility, specificity, positive and negative predictive values are 33.3%, 94.7%, 33.3% and 94.7% for T1; 62.5%, 32%, 37.0% and 57.1% for T2; 31.8%, 79%, 63.6% and 50% for T3 and 27.8%, 87%, 62.5% and 60.6% for N. We obtained a poor concordance for T and N staging and the anatomopathological results. The ROC curves indicated that magnetic resonance is ineffective in rectal cancer staging. CONCLUSION Magnetic resonance has a moderate efficacy in rectal cancer staging and the major difficulty is in differentiating T2 and T3.

The use of canonical correlation analysis to assess the relationship between executive functioning and verbal memory in older adults

Executive functioning (EF), which is considered to govern complex cognition, and verbal memory (VM) are constructs assumed to be related. However, it is not known the magnitude of the association between EF and VM, and how sociodemographic and psychological factors may affect this relationship, including in normal aging. In this study, we assessed different EF and VM parameters, via a battery of neurocognitive/psychological tests, and performed a Canonical Correlation Analysis (CCA) to explore the connection between these constructs, in a sample of middle- aged and older healthy individuals without cognitive impairment (N = 563, 50+ years of age). The analysis revealed a positive and moderate association between EF and VM independently of gender, age, education, global cognitive performance level, and mood. These results confirm that EF presents a significant association with VM performance.

Cardiac abnormalities in the acquired immunodeficiency syndrome. A prospective study with a clinical-pathological correlation in twenty-one adult patients

OBJECTIVE - To evaluate the cardiac abnormalities and their evolution during the course of the acquired immunodeficiency syndrome, as well as to correlate clinical and pathological data. METHODS - Twenty-one patients, admitted to the hospital with the diagnosis of acquired immunodeficiency syndrome, were prospectively studied and followed until their death. Age ranged from 19 to 42 years (17 males). ECG and echocardiogram were also obtained every six months. After death, macro- and microscopic examinations were also performed. RESULTS - The most frequent causes of referral to the hospital were: diarrhea or repeated pneumonias, tuberculosis, toxoplasmosis or Kaposi sarcoma. The most frequent findings were acute or chronic pericarditis (42%) and dilated cardiomyopathy (19%). Four patients died of cardiac problems: infective endocarditis, pericarditis with pericardial effusion, bacterial myocarditis and infection by Toxoplasma gondii. CONCLUSION - Severe cardiac abnormalities were the cause of death in some patients. In the majority of the patients, a good correlation existed between clinical and anatomical-pathological data. Cardiac evaluation was important to detect early manifestations and treat them accordingly, even in asymptomatic patients.

Congestive heart failure. Correlation between functional class and systolic and diastolic functions assessed by Doppler echocardiography

OBJECTIVE: To evaluate the influence of systolic or diastolic dysfunction, or both on congestive heart failure functional class. METHODS: Thirty-six consecutive patients with a clinical diagnosis of congestive heart failure with sinus rhythm, who were seen between September and November of 1998 answered an adapted questionnaire about tolerance to physical activity for the determination of NYHA functional class. The patients were studied with transthoracic Doppler echocardiography. Two groups were compared: group 1 (19 patients in functional classes I and II) and group 2 (17 patients in functional classes III and IV). RESULTS: The average ejection fraction was significantly higher in group 1 (44.84%±8.04% vs. 32.59%±11.48% with p=0.0007). The mean ratio of the initial/final maximum diastolic filling velocity (E/A) of the left ventricle was significantly smaller in group 1 (1.07±0.72 vs. 1.98±1.49 with p=0.03). The average maximum systolic pulmonary venous velocity (S) was significantly higher in group 1 (53.53cm/s ± 12.02cm/s vs. 43.41cm/s ± 13.55cm/s with p=0.02). The mean ratio of maximum systolic/diastolic pulmonary venous velocity was significantly higher in group 1 (1.52±0.48 vs. 1.08±0.48 with p=0.01). A predominance of pseudo-normal and restrictive diastolic patterns existed in group 2 (58.83% in group 2 vs. 21.06% in group 1 with p=0.03). CONCLUSION: Both the systolic dysfunction index and the patterns of diastolic dysfunction evaluated by Doppler echocardiography worsened with the evolution of congestive heart failure.

Correlation between turbidimetric and nephelometric methods of measuring C-reactive protein in patients with unstable angina or non-ST elevation acute myocardial infarction

OBJECTIVE: To evaluate the performance of the turbidimetric method of C-reactive protein (CRP) as a measure of low-grade inflammation in patients admitted with non-ST elevation acute coronary syndromes (ACS). METHODS: Serum samples obtained at hospital arrival from 68 patients (66±11 years, 40 men), admitted with unstable angina or non-ST elevation acute myocardial infarction were used to measure CRP by the methods of nephelometry and turbidimetry. RESULTS: The medians of C-reactive protein by the turbidimetric and nephelometric methods were 0.5 mg/dL and 0.47 mg/dL, respectively. A strong linear association existed between the 2 methods, according to the regression coefficient (b=0.75; 95% C.I.=0.70-0.80) and correlation coefficient (r=0.96; P<0.001). The mean difference between the nephelometric and turbidimetric CRP was 0.02 ± 0.91 mg/dL, and 100% agreement between the methods in the detection of high CRP was observed. CONCLUSION: In patients with non-ST elevation ACS, CRP values obtained by turbidimetry show a strong linear association with the method of nephelometry and perfect agreement in the detection of high CRP.

Behavior of inflammatory markers of myocardial injury in cardiac surgery: laboratory correlation with the clinical picture of postpericardiotomy syndrome

OBJECTIVE: To verify the association of serum markers of myocardial injury, such as troponin I, creatinine kinase, and creatinine kinase isoenzyme MB, and inflammatory markers, such as tumor necrosis factor alpha (TNF-alpha), C-reactive protein, and the erythrocyte sedimentation rate in the perioperative period of cardiac surgery, with the occurrence of possible postpericardiotomy syndrome. METHODS: This was a cohort study with 96 patients undergoing cardiac surgery assessed at the following 4 different time periods: the day before surgery (D0); the 3rd postoperative day (D3); between the 7th and 10th postoperative days (D7-10); and the 30th postoperative day (D30). During each period, we evaluated demographic variables (sex and age), surgical variables (type and duration , extracorporeal circulation), and serum dosages of the markers of myocardial injury and inflammatory response. RESULTS: Of all patients, 12 (12.5%) met the clinical criteria for a diagnosis of postpericardiotomy syndrome, and their mean age was 10.3 years lower than the age of the others (P=0.02). The results of the serum markers for tissue injury and inflammatory response were not significantly different between the 2 assessed groups. No significant difference existed regarding either surgery duration or extracorporeal circulation. CONCLUSION: The patients who met the clinical criteria for postpericardiotomy syndrome were significantly younger than the others were. Serum markers for tissue injury and inflammatory response were not different in the clinically affected group, and did not correlate with the different types and duration of surgery or with extracorporeal circulation.

Motivação na administração pública: um estudo de caso nos serviços municipalizados de água e saneamento de Almada

Dissertação de Mestrado em Administração Pública (MPA)

O crescimento do sector bancário e a concessão de crédito às empresas : o caso de Angola

Mestrado em Ciências Empresariais

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