Distributed Synthesis in Continuous Time

We introduce a formalism modelling communication of distributed agents strictly in continuous-time. Within this framework, we study the problem of synthesising local strategies for individual agents such that a specified set of goal states is reached, or reached with at least a given probability. The flow of time is modelled explicitly based on continuous-time randomness, with two natural implications: First, the non-determinism stemming from interleaving disappears. Second, when we restrict to a subclass of non-urgent models, the quantitative value problem for two players can be solved in EXPTIME. Indeed, the explicit continuous time enables players to communicate their states by delaying synchronisation (which is unrestricted for non-urgent models). In general, the problems are undecidable already for two players in the quantitative case and three players in the qualitative case. The qualitative undecidability is shown by a reduction to decentralized POMDPs for which we provide the strongest (and rather surprising) undecidability result so far

Influence of apical oxygen on the extent of in-plane exchange interaction in cuprate superconductors

In high Tc superconductors the magnetic and electronic properties are determined by the probability that valence electrons virtually jump from site to site in the CuO2 planes, a mechanism opposed by on-site Coulomb repulsion and favored by hopping integrals. The spatial extent of the latter is related to transport properties, including superconductivity, and to the dispersion relation of spin excitations (magnons). Here, for three antiferromagnetic parent compounds (single-layer Bi2Sr0.99La1.1CuO6+delta, double-layer Nd1.2Ba1.8Cu3O6 and infinite-layer CaCuO2) differing by the number of apical atoms, we compare the magnetic spectra measured by resonant inelastic x-ray scattering over a significant portion of the reciprocal space and with unprecedented accuracy. We observe that the absence of apical oxygens increases the in-plane hopping range and, in CaCuO2, it leads to a genuine 3D exchange-bond network. These results establish a corresponding relation between the exchange interactions and the crystal structure, and provide fresh insight into the materials dependence of the superconducting transition temperature.Comment: 9 pages, 4 figures, 1 Table, 42 reference

Designing Building Skins with Biomaterials

This chapter presents several successful examples of biomaterial facade design. It discusses facade function from aesthetical, functional, and safety perspectives. Special focus is directed on novel concepts for adaptation and special functionalities of facades. Analysis of the structure morphologies and aesthetic impressions related to the bio-based building facades is supported with photographs collected by authors in various locations. Finally, particular adaptations and special functionalities of bio-based facades going beyond traditional building envelope concept are supported by selected case studies

The Connectome Visualization Utility: Software for Visualization of Human Brain Networks

In analysis of the human connectome, the connectivity of the human brain is collected from multiple imaging modalities and analyzed using graph theoretical techniques. The dimensionality of human connectivity data is high, and making sense of the complex networks in connectomics requires sophisticated visualization and analysis software. The current availability of software packages to analyze the human connectome is limited. The Connectome Visualization Utility (CVU) is a new software package designed for the visualization and network analysis of human brain networks. CVU complements existing software packages by offering expanded interactive analysis and advanced visualization features, including the automated visualization of networks in three different complementary styles and features the special visualization of scalar graph theoretical properties and modular structure. By decoupling the process of network creation from network visualization and analysis, we ensure that CVU can visualize networks from any imaging modality. CVU offers a graphical user interface, interactive scripting, and represents data uses transparent neuroimaging and matrix-based file types rather than opaque application-specific file formats

Depth-Sensing Indentation on REBa2Cu3O(7-\delta) Single Crystals obtained from Xenotime Mineral

A natural mixture of heavy rare earths oxides extracted from xenotime mineral have been used to prepare large single crystals of high-temperature REBa2Cu3O(7-\delta) superconductor grown using the CuO-BaO self-flux method. Its mechanical properties along the ab-plane were characterized using instrumented indentation. Hardness and elastic modulus were obtained by the Oliver and Pharr method and corresponds to 7.4 \pm 0.2 GPa and in range 135-175 GPa at small depths, respectively. Increasing the load promotes the nucleation of lateral cracks that causes a decrease in hardness and the measured elastic modulus by instrumented indentation at higher loads. The indentation fracture toughness was estimated by measuring the radial crack length from cube-corner indentations at various loads and was 0.8 \pm 0.2 MPa.m1/2. The observed slip systems of REBa2Cu3O(7-\delta) single crystals were [100](001) and [010](001), the same as for YBa2Cu3O(7-\delta) single crystals. The initial stages of deformation and fracture in the indentation process were investigated. The hardness and elastic modulus were not strongly modified by the crystallographic orientation in the ab-plane. This was interpreted in terms of the resolved shear stresses in the active slip systems. Evidence of cracking along the {100} and {110} planes on the ab-plane was observed. As a conclusion, the mechanical properties of REBa2Cu3O(7-\delta) single crystals prepared from xenotime are equivalent to those of YBa2Cu3O(7-\delta) single crystals produced by conventional rare earths oxides.Comment: The paper will appear in Volume 42 (2012) of the Brazilian Journal of Physic

Cataloguing functionally relevant polymorphisms in gene DNA ligase I: a computational approach

A computational approach for identifying functionally relevant SNPs in gene LIG1 has been proposed. LIG1 is a crucial gene which is involved in excision repair pathways and mutations in this gene may lead to increase sensitivity towards DNA damaging agents. A total of 792 SNPs were reported to be associated with gene LIG1 in dbSNP. Different web server namely SIFT, PolyPhen, CUPSAT, FASTSNP, MAPPER and dbSMR were used to identify potentially functional SNPs in gene LIG1. SIFT, PolyPhen and CUPSAT servers predicted eleven nsSNPs to be intolerant, thirteen nsSNP to be damaging and two nsSNPs have the potential to destabilize protein structure. The nsSNP rs11666150 was predicted to be damaging by all three servers and its mutant structure showed significant increase in overall energy. FASTSNP predicted twenty SNPs to be present in splicing modifier binding sites while rSNP module from MAPPER server predicted nine SNPs to influence the binding of transcription factors. The results from the study may provide vital clues in establishing affect of polymorphism on phenotype and in elucidating drug response

Metabolomic Profiling of Drug Responses in Acute Myeloid Leukaemia Cell Lines

Combined bezafibrate (BEZ) and medroxyprogesterone acetate (MPA) exert unexpected antileukaemic activities against acute myeloid leukaemia (AML) and these activities are associated with the generation of reactive oxygen species (ROS) within the tumor cells. Although the generation of ROS by these drugs is supported by preceding studies including our own, the interrelationship between the cellular effects of the drugs and ROS generation is not well understood. Here we report the use of NMR metabolomic profiling to further study the effect of BEZ and MPA on three AML cell lines and to shed light on the underlying mechanism of action. For this we focused on drug effects induced during the initial 24 hours of treatment prior to the onset of overt cellular responses and examined these in the context of basal differences in metabolic profiles between the cell lines. Despite their ultimately profound cellular effects, the early changes in metabolic profiles engendered by these drugs were less pronounced than the constitutive metabolic differences between cell types. Nonetheless, drug treatments engendered common metabolic changes, most markedly in the response to the combination of BEZ and MPA. These responses included changes to TCA cycle intermediates consistent with recently identified chemical actions of ROS. Notable amongst these was the conversion of α-ketoglutarate to succinate which was recapitulated by the treatment of cell extracts with exogenous hydrogen peroxide. These findings indicate that the actions of combined BEZ and MPA against AML cells are indeed mediated downstream of the generation of ROS rather than some hitherto unsuspected mechanism. Moreover, our findings demonstrate that metabolite profiles represent highly sensitive markers for genomic differences between cells and their responses to external stimuli. This opens new perspectives to use metabolic profiling as a tool to study the rational redeployment of drugs in new disease settings

Asteroseismology and Interferometry

Asteroseismology provides us with a unique opportunity to improve our understanding of stellar structure and evolution. Recent developments, including the first systematic studies of solar-like pulsators, have boosted the impact of this field of research within Astrophysics and have led to a significant increase in the size of the research community. In the present paper we start by reviewing the basic observational and theoretical properties of classical and solar-like pulsators and present results from some of the most recent and outstanding studies of these stars. We centre our review on those classes of pulsators for which interferometric studies are expected to provide a significant input. We discuss current limitations to asteroseismic studies, including difficulties in mode identification and in the accurate determination of global parameters of pulsating stars, and, after a brief review of those aspects of interferometry that are most relevant in this context, anticipate how interferometric observations may contribute to overcome these limitations. Moreover, we present results of recent pilot studies of pulsating stars involving both asteroseismic and interferometric constraints and look into the future, summarizing ongoing efforts concerning the development of future instruments and satellite missions which are expected to have an impact in this field of research.Comment: Version as published in The Astronomy and Astrophysics Review, Volume 14, Issue 3-4, pp. 217-36

Retinoblastoma Loss Modulates DNA Damage Response Favoring Tumor Progression

Senescence is one of the main barriers against tumor progression. Oncogenic signals in primary cells result in oncogene-induced senescence (OIS), crucial for protection against cancer development. It has been described in premalignant lesions that OIS requires DNA damage response (DDR) activation, safeguard of the integrity of the genome. Here we demonstrate how the cellular mechanisms involved in oncogenic transformation in a model of glioma uncouple OIS and DDR. We use this tumor type as a paradigm of oncogenic transformation. In human gliomas most of the genetic alterations that have been previously identified result in abnormal activation of cell growth signaling pathways and deregulation of cell cycle, features recapitulated in our model by oncogenic Ras expression and retinoblastoma (Rb) inactivation respectively. In this scenario, the absence of pRb confers a proliferative advantage and activates DDR to a greater extent in a DNA lesion-independent fashion than cells that express only HRasV12. Moreover, Rb loss inactivates the stress kinase DDR-associated p38MAPK by specific Wip1-dependent dephosphorylation. Thus, Rb loss acts as a switch mediating the transition between premalignant lesions and cancer through DDR modulation. These findings may have important implications for the understanding the biology of gliomas and anticipate a new target, Wip1 phosphatase, for novel therapeutic strategies