Learn More
This manual describes the use of PETSc for the numerical solution of partial differential equations and related problems on high-performance computers. The Portable, Extensible Toolkit for Scientific Computation (PETSc) is a suite of data structures and routines that provide the building blocks for the implementation of large-scale application codes on(More)
The neuronal ubiquitin/proteasomal pathway has been implicated in the pathogenesis of Alzheimer's disease (AD). We now show that a component of the pathway, ubiquitin C-terminal hydrolase L1 (Uch-L1), is required for normal synaptic and cognitive function. Transduction of Uch-L1 protein fused to the transduction domain of HIV-transactivator protein (TAT)(More)
—The paradigm of cloud computing has spontaneously prompted a wide interest in market-based resource allocation mechanisms by which a cloud provider aims at efficiently allocating cloud resources among potential users. Among these mechanisms, auction-style pricing policies, as they can effectively reflect the underlying trends in demand and supply for the(More)
Multiple types of indirect evidence have been used to support theories of altered cortical connectivity in autism spectrum disorders (ASD). In other developmental disorders reduced spine expression is commonly found, while conditions such as fragile X syndrome show increased spine densities. Despite its relevance to theories of altered cortical(More)
Cyclophilin D (CypD, encoded by Ppif) is an integral part of the mitochondrial permeability transition pore, whose opening leads to cell death. Here we show that interaction of CypD with mitochondrial amyloid-beta protein (Abeta) potentiates mitochondrial, neuronal and synaptic stress. The CypD-deficient cortical mitochondria are resistant to Abeta- and(More)
Epigenetic mechanisms such as post-translational histone modifications are increasingly recognized for their contribution to gene activation and silencing in the brain. Histone acetylation in particular has been shown to be important both in hippocampal long-term potentiation (LTP) and memory formation in mice. The involvement of the epigenetic modulation(More)
In this paper, we examine the problem of controlling multiple behaviour-based autonomous robots. Based on observations made from the study of social insects, we propose ve simple mechanisms used to invoke group behaviour in simple sensor-based mobile robots. The proposed mechanisms allow populations of behaviour-based robots to perform tasks without(More)
Sema3A, a prototypical semaphorin, acts as a chemorepellent or a chemoattractant for axons by activating a receptor complex comprising neuropilin-1 as the ligand-binding subunit and plexin-A1 as the signal-transducing subunit. How the signals downstream of plexin-A1 are triggered upon Sema3A stimulation, however, is unknown. Here we show that, in the(More)
BACKGROUND Although the Centers for Disease Control and Prevention (CDC) recommend routine HIV counseling, testing, and referral (HIVCTR) in settings with at least a 1 percent prevalence of HIV, roughly 280,000 Americans are unaware of their human immunodeficiency virus (HIV) infection. The effect of expanded screening for HIV is unknown in the era of(More)