Leveraging Applications of Formal Methods, Verification, and Validation
International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers
Page
%P
-
Article
Open AccessControl of neuronal excitation–inhibition balance by BMP–SMAD1 signalling
Throughout life, neuronal networks in the mammalian neocortex maintain a balance of excitation and inhibition, which is essential for neuronal computation1,2. Deviations from a balanced state have been linked to ...
-
Article
Author Correction: Specification of CNS macrophage subsets occurs postnatally in defined niches
-
Article
Specification of CNS macrophage subsets occurs postnatally in defined niches
All tissue-resident macrophages of the central nervous system (CNS)—including parenchymal microglia, as well as CNS-associated macrophages (CAMs1) such as meningeal and perivascular macrophages2–7—are part of the...
-
Protocol
Quantitative Detection of Protein Splice Variants by Selected Reaction Monitoring (SRM) Mass Spectrometry
Molecular diversification of the cellular proteome through alternative splicing has emerged as an important biological principle. However, the lack of tools to specifically detect and quantify proteoforms (Smi...
-
Article
Rescue of oxytocin response and social behaviour in a mouse model of autism
A fundamental challenge in develo** treatments for autism spectrum disorders is the heterogeneity of the condition. More than one hundred genetic mutations confer high risk for autism, with each individual m...
-
Article
AAV2/DJ-mediated alpha-synuclein overexpression in the rat substantia nigra as early stage model of Parkinson’s disease
Parkinson’s disease (PD) is pathologically characterized by the progressive loss of dopaminergic (DA) neurons in the substantia nigra pars compacta (SNpc) and alpha-synucleinopathy. We mimic the disease pathol...
-
Article
Open AccessPresynaptic spinophilin tunes neurexin signalling to control active zone architecture and function
Assembly and maturation of synapses at the Drosophila neuromuscular junction (NMJ) depend on trans-synaptic neurexin/neuroligin signalling, which is promoted by the scaffolding protein Syd-1 binding to neurexin. ...
-
Article
Comparison of type-based and alias-based component recognition for embedded systems software
Component-based software engineering has found broad acceptance within the embedded systems community over the last years. However, to fully exploit its potential in terms of reusability and cost-efficiency, e...
-
Article
Practical experiences of applying source-level WCET flow analysis to industrial code
Code-level timing analysis, such as worst-case execution time (WCET) analysis, usually takes place at the binary level. However, many program properties that are important for the analysis, such as constraints...
-
Book and Conference Proceedings
-
Chapter and Conference Paper
Building iRIS: A Robotic Immune System
Progress in robotics has led to complex autonomous and even collaborating robotic systems, fulfilling mission critical tasks in safety critical environments. An increase in capabilities and thus complexity con...
-
Chapter and Conference Paper
Software Aspects of Robotic Systems
The development of autonomous robotic systems has experienced a remarkable boost within the last years. Away from stationary manufacturing units, current robots have grown up into autonomous, mobile systems th...
-
Chapter and Conference Paper
Practical Experiences of Applying Source-Level WCET Flow Analysis on Industrial Code
Code-level timing analysis, such as Worst-Case Execution Time (WCET) analysis, takes place at the binary level. However, much information that is important for the analysis, such as constraints on possible pro...
-
Chapter
The Cadherin Superfamily in Synapse Formation and Function
The cadherin superfamily of adhesion molecules encompasses over 100 members, which can be subdivided into classical cadherins, desmosomal cadherins, and protocadherins. Many classical cadherins and protocadher...
-
Article
Expression of PTPIP51 during mouse eye development
The expression pattern of the novel tyrosine phosphatase interacting protein 51 (PTPIP51) was studied during the organogenesis of mouse eye on a transcriptional (RT-PCR and in situ hybridization) and translati...
-
Article
Expression of the novel protein PTPIP51 in rat liver: an immunohistochemical study
Expression of the novel protein tyrosine phosphatase interacting protein 51 (PTPIP51) was investigated on mRNA and protein level in the liver of adult Wistar rats. The presence of PTPIP51 mRNA was detected by ...
-
Article
Open AccessENA/VASP and Homer scaffolding proteins compete for the EVH1 binding site of the hFat1 cadherin
-
Article
Open AccessThe human cadherin family protein hFat1 interacts with postsynaptic density PDZ domain-containing proteins
-
Article
Open AccessTwo-step proteolytic cleavage of the human protocadherin Fat1 and translocation of the intracellular domain to the nucleus
-
Chapter and Conference Paper
Synthesizing Communication Middleware from Explicit Connectors in Component Based Distributed Architectures
In component based software engineering, an application is build by composing trusted and reusable units of execution, the components. A composition is formed by connecting the components’ related interfaces. ...
