Learn More
In program debugging, finding a failing run is only the first step; what about correcting the fault? Can we automate the second task as well as the first? The AutoFix-E tool automatically generates and validates fixes for software faults. The key insights behind AutoFix-E are to rely on contracts present in the software to ensure that the proposed fixes are(More)
Service-oriented computing and cloud computing have a reciprocal relationship - one provides computing of services and the other provides services of computing. Although service-oriented computing in cloud computing environments presents a new set of research challenges, the authors believe the combination also provides potentially transformative(More)
Skeletal muscle size is regulated by anabolic (hypertrophic) and catabolic (atrophic) processes. We first characterized molecular markers of both hypertrophy and atrophy and identified a small subset of genes that are inversely regulated in these two settings (e.g. up-regulated by an inducer of hypertrophy, insulin-like growth factor-1 (IGF-1), and(More)
Modern programming frameworks come with large libraries, with diverse applications such as for matching regular expressions, parsing XML files and sending email. Programmers often use search engines such as Google and Bing to learn about existing APIs. In this paper, we describe SWIM, a tool which suggests code snippets given API-related natural language(More)
Phosphorylation of histone H3 at serine 10 occurs during mitosis in diverse eukaryotes and correlates closely with mitotic and meiotic chromosome condensation. To better understand the function of H3 phosphorylation in vivo, we created strains of Tetrahymena in which a mutant H3 gene (S10A) was the only gene encoding the major H3 protein. Although both(More)
PURPOSE To assess focal cerebral perfusion in patients with refractory depressive disorder (RDD), patients with nonrefractory depressive disorder (NDD), and healthy control subjects by using arterial spin-labeling (ASL) magnetic resonance (MR) imaging. MATERIALS AND METHODS This study was approved by the local ethical committee, and written informed(More)
The vasculature of the CNS is structurally and functionally distinct from that of other organ systems and is particularly prone to developmental abnormalities and hemorrhage. Although other embryonic tissues undergo primary vascularization, the developing nervous system is unique in that it is secondarily vascularized by sprouting angiogenesis from a(More)
PURPOSE To determine the levels of 8 important cytokines and 1 chemokine in tears of patients with dry eye disease. METHODS Tear samples were collected from 7 patients with dry eye disease and 7 healthy volunteers, and impression cytology samples were collected from 3 of the dry eye patients and 3 of the normal controls. Tears were analyzed for the(More)
Programmed cell death (PCD) during tapetum degeneration in postmeiotic anthers is critical for the proper development of male gametophytes in flowering plants. Although several genes involved in this process have been identified recently, the molecular mechanism is still poorly understood. Here, we show that knockout of rice (Oryza sativa) APOPTOSIS(More)
In extreme alkaliphiles, Na(+)/H(+) antiporters play a central role in the Na(+) cycle that supports pH homeostasis, Na(+) resistance, solute uptake, and motility. Properties of individual antiporters have only been examined in extremely alkaliphilic soil Bacillus spp., whereas the most alkaline natural habitats usually couple high pH with high salinity.(More)