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.

Acetylated bacterial cellulose coated with urinary bladder matrix as a substrate for retinal pigment epithelium

This work evaluated the effect of acetylated bacterial cellulose (ABC) substrates coated with urinary bladder matrix (UBM) on the behavior of Retinal Pigment Epithelium (RPE), as assessed by cell adhesion, proliferation and development of cell polarity exhibiting transepithelial resistance and polygonal shaped-cells with microvilli. Acetylation of bacterial cellulose (BC) generated a moderate hydrophobic surface (around 65°) while the adsorption of UBM onto these acetylated substrates did not affect significantly the surface hydrophobicity. The ABS substrates coated with UBM enabled the development of a cell phenotype closer to that of native RPE cells. These cells were able to express proteins essential for their cytoskeletal organization and metabolic function (ZO-1 and RPE65), while showing a polygonal shaped morphology with microvilli and a monolayer configuration. The coated ABC substrates were also characterized, exhibiting low swelling effect (between 1.52.0 swelling/mm3), high mechanical strength (2048 MPa) and non-pyrogenicity (2.12 EU/L). Therefore, the ABC substrates coated with UBM exhibit interesting features as potential cell carriers in RPE transplantation that ought to be further explored.

Nanocomposites: the contribution of multiscale modelling to improve the dispersion levels

Tese de Doutoramento em Ciência e Engenharia de Polímeros e Compósitos

A linear algebra approach to OLAP

Inspired by the relational algebra of data processing, this paper addresses the foundations of data analytical processing from a linear algebra perspective. The paper investigates, in particular, how aggregation operations such as cross tabulations and data cubes essential to quantitative analysis of data can be expressed solely in terms of matrix multiplication, transposition and the Khatri–Rao variant of the Kronecker product. The approach offers a basis for deriving an algebraic theory of data consolidation, handling the quantitative as well as qualitative sides of data science in a natural, elegant and typed way. It also shows potential for parallel analytical processing, as the parallelization theory of such matrix operations is well acknowledged.

Investigating a galactomannan gel obtained from Cassia grandis seeds as immobilizing matrix for Cramoll lectin

Characterization, with emphasis on the rheological properties, of Cassia grandis seeds galactomannan gel containing immobilized Cramoll 1,4 is presented. The gels, with and without immobilized Cramoll 1,4, were evaluated along time by rheometry, pH, color, microbial contamination and lectin hemagglutinating activity (HA). Rheological determinations confirmed the gels to be very stable up to 30 days with variations occurring after this period. Rheological data also showed that the gel/Cramoll 1,4 immobilizing matrix loses its elastic modulus substantially after 60 days. Both gels presented no microbial contamination as well as a pH close to neutral. Colorimetric parameters demonstrated the gels transparency with occasional yellowness. The opacity of the galactomannan gel did not change significantly along the study; the same did not occur for the gel with immobilized Cramoll 1,4 as a statistically significant reduction of its opacity was observed. In what concerns immobilized Cramoll 1,4HA, up to 90% of its initial HA was maintained after 20 days, with a decrease to 60% after 60 days. These results combined with the thickening and stabilizing characteristics of the galactomannan gel make this gel a promising immobilizing matrix for Cramoll 1,4 that can be further exploited for clinical and cosmetic applications.

Random walk forecast of urban water in Iran under uncertainty

There are two significant reasons for the uncertainties of water demand. On one hand, an evolving technological world is plagued with accelerated change in lifestyles and consumption patterns; and on the other hand, intensifying climate change. Therefore, with an uncertain future, what enables policymakers to define the state of water resources, which are affected by withdrawals and demands? Through a case study based on thirteen years of observation data in the Zayandeh Rud River basin in Isfahan province located in Iran, this paper forecasts a wide range of urban water demand possibilities in order to create a portfolio of plans which could be utilized by different water managers. A comparison and contrast of two existing methods are discussed, demonstrating the Random Walk Methodology, which will be referred to as the â On uncertainty pathâ , because it takes the uncertainties into account and can be recommended to managers. This On Uncertainty Path is composed of both dynamic forecasting method and system simulation. The outcomes show the advantage of such methods particularly for places that climate change will aggravate their water scarcity, such as Iran.

Enalapril alters the formation of the collagen matrix in spontaneously hypertensive rats

OBJECTIVE: To assess the effect of the inhibition of the angiotensin-converting enzyme on the collagen matrix (CM) of the heart of newborn spontaneously hypertensive rats (SHR) during embryonic development. METHODS: The study comprised the 2 following groups of SHR (n=5 each): treated group - rats conceived from SHR females treated with enalapril maleate (15 mg. kg-1.day-1) during gestation; and nontreated group - offspring of nontreated females. The newborns were euthanized within the first 24 hours after birth and their hearts were removed and processed for histological study. Three fields per animal were considered for computer-assisted digital analysis and determination of the volume densities (Vv) of the nuclei and CM. The images were segmented with the aid of Image Pro Plus® 4.5.029 software (Media Cybernetics). RESULTS: No difference was observed between the treated and nontreated groups in regard to body mass, cardiac mass, and the relation between cardiac and body mass. A significant reduction in the Vv[matrix] and a concomitant increase in the Vv[nuclei] were observed in the treated group as compared with those in the nontreated group. CONCLUSION: The treatment with enalapril of hypertensive rats during pregnancy alters the collagen content and structure of the myocardium of newborns.

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.