Domain-Specific Program Checking

Lint-like program checkers are popular tools that ensure code quality by verifying compliance with best practices for a particular programming language. The proliferation of internal domain-specific languages and models, however, poses new challenges for such tools. Traditional program checkers produce many false positives and fail to accurately check constraints, best practices, common errors, possible optimizations and portability issues particular to domain-specific languages. We advocate the use of dedicated rules to check domain-specific practices. We demonstrate the implementation of domain-specific rules, the automatic fixing of violations, and their application to two case-studies: (1) Seaside defines several internal DSLs through a creative use of the syntax of the host language; and (2) Magritte adds meta-descriptions to existing code by means of special methods. Our empirical validation demonstrates that domain-specific program checking significantly improves code quality when compared with general purpose program checking.

SAP97 and dystrophin macromolecular complexes determine two pools of cardiac sodium channels Nav1.5 in cardiomyocytes

The cardiac sodium channel Na(v)1.5 plays a key role in excitability and conduction. The 3 last residues of Na(v)1.5 (Ser-Ile-Val) constitute a PDZ-domain binding motif that interacts with the syntrophin-dystrophin complex. As dystrophin is absent at the intercalated discs, Na(v)1.5 could potentially interact with other, yet unknown, proteins at this site.

Plectin interacts with the rod domain of type III intermediate filament proteins desmin and vimentin

Plectin is a versatile cytolinker protein critically involved in the organization of the cytoskeletal filamentous system. The muscle-specific intermediate filament (IF) protein desmin, which progressively replaces vimentin during differentiation of myoblasts, is one of the important binding partners of plectin in mature muscle. Defects of either plectin or desmin cause muscular dystrophies. By cell transfection studies, yeast two-hybrid, overlay and pull-down assays for binding analysis, we have characterized the functionally important sequences for the interaction of plectin with desmin and vimentin. The association of plectin with both desmin and vimentin predominantly depended on its fifth plakin repeat domain and downstream linker region. Conversely, the interaction of desmin and vimentin with plectin required sequences contained within the segments 1A-2A of their central coiled-coil rod domain. This study furthers our knowledge of the interaction between plectin and IF proteins important for maintenance of cytoarchitecture in skeletal muscle. Moreover, binding of plectin to the conserved rod domain of IF proteins could well explain its broad interaction with most types of IFs.

Purification, cDNA structure and biological significance of a single insulin-like growth factor-binding domain protein (SIBD-1) identified in the hemocytes of the spider Cupiennius salei

Cupiennius salei single insulin-like growth factor-binding domain protein (SIBD-1), which exhibits an IGFBP N-terminal domain-like profile, was identified in the hemocytes of the spider C. salei. SIBD-1 was purified by RP-HPLC and the sequence determined by a combination of Edman degradation and 5'-3'- RACE PCR. The peptide (8676.08 Da) is composed of 78 amino acids, contains six intrachain disulphide bridges and carries a modified Thr residue at position 2. SIBD-1 mRNA expression was detected by quantitative real-time PCR mainly in hemocytes, but also in the subesophageal nerve mass and muscle. After infection, the SIBD-1 content in the hemocytes decreases and, simultaneously, the temporal SIBD-1 expression seems to be down-regulated. Two further peptides, SIBD-2 and IGFBP-rP1, also exhibiting IGFBP N-terminal domain variants with unknown functions, were identified on cDNA level in spider hemocytes and venom glands. We conclude that SIBD-1 may play an important role in the immune system of spiders.

Fluids and barriers of the CNS establish immune privilege by confining immune surveillance to a two-walled castle moat surrounding the CNS castle

Neuronal activity within the central nervous system (CNS) strictly depends on homeostasis and therefore does not tolerate uncontrolled entry of blood components. It has been generally believed that under normal conditions, the endothelial blood-brain barrier (BBB) and the epithelial blood-cerebrospinal fluid barrier (BCSFB) prevent immune cell entry into the CNS. This view has recently changed when it was realized that activated T cells are able to breach the BBB and the BCSFB to perform immune surveillance of the CNS. Here we propose that the immune privilege of the CNS is established by the specific morphological architecture of its borders resembling that of a medieval castle. The BBB and the BCSFB serve as the outer walls of the castle, which can be breached by activated immune cells serving as messengers for outside dangers. Having crossed the BBB or the BCSFB they reach the castle moat, namely the cerebrospinal fluid (CSF)-drained leptomeningeal and perivascular spaces of the CNS. Next to the CNS parenchyma, the castle moat is bordered by a second wall, the glia limitans, composed of astrocytic foot processes and a parenchymal basement membrane. Inside the castle, that is the CNS parenchyma proper, the royal family of sensitive neurons resides with their servants, the glial cells. Within the CSF-drained castle moat, macrophages serve as guards collecting all the information from within the castle, which they can present to the immune-surveying T cells. If in their communication with the castle moat macrophages, T cells recognize their specific antigen and see that the royal family is in danger, they will become activated and by opening doors in the outer wall of the castle allow the entry of additional immune cells into the castle moat. From there, immune cells may breach the inner castle wall with the aim to defend the castle inhabitants by eliminating the invading enemy. If the immune response by unknown mechanisms turns against self, that is the castle inhabitants, this may allow for continuous entry of immune cells into the castle and lead to the death of the castle inhabitants, and finally members of the royal family, the neurons. This review will summarize the molecular traffic signals known to allow immune cells to breach the outer and inner walls of the CNS castle moat and will highlight the importance of the CSF-drained castle moat in maintaining immune surveillance and in mounting immune responses in the CNS.

Fic domain-catalyzed adenylylation: insight provided by the structural analysis of the type IV secretion system effector BepA

Numerous bacterial pathogens subvert cellular functions of eukaryotic host cells by the injection of effector proteins via dedicated secretion systems. The type IV secretion system (T4SS) effector protein BepA from Bartonella henselae is composed of an N-terminal Fic domain and a C-terminal Bartonella intracellular delivery domain, the latter being responsible for T4SS-mediated translocation into host cells. A proteolysis resistant fragment (residues 10-302) that includes the Fic domain shows autoadenylylation activity and adenylyl transfer onto Hela cell extract proteins as demonstrated by autoradiography on incubation with α-[(32)P]-ATP. Its crystal structure, determined to 2.9-Å resolution by the SeMet-SAD method, exhibits the canonical Fic fold including the HPFxxGNGRxxR signature motif with several elaborations in loop regions and an additional β-rich domain at the C-terminus. On crystal soaking with ATP/Mg(2+), additional electron density indicated the presence of a PP(i) /Mg(2+) moiety, the side product of the adenylylation reaction, in the anion binding nest of the signature motif. On the basis of this information and that of the recent structure of IbpA(Fic2) in complex with the eukaryotic target protein Cdc42, we present a detailed model for the ternary complex of Fic with the two substrates, ATP/Mg(2+) and target tyrosine. The model is consistent with an in-line nucleophilic attack of the deprotonated side-chain hydroxyl group onto the α-phosphorus of the nucleotide to accomplish AMP transfer. Furthermore, a general, sequence-independent mechanism of target positioning through antiparallel β-strand interactions between enzyme and target is suggested.

Two domains of the V protein of virulent canine distemper virus selectively inhibit STAT1 and STAT2 nuclear import

Canine distemper virus (CDV) causes in dogs a severe systemic infection, with a high frequency of demyelinating encephalitis. Among the six genes transcribed by CDV, the P gene encodes the polymerase cofactor protein (P) as well as two additional nonstructural proteins, C and V; of these V was shown to act as a virulence factor. We investigated the molecular mechanisms by which the P gene products of the neurovirulent CDV A75/17 strain disrupt type I interferon (IFN-alpha/beta)-induced signaling that results in the establishment of the antiviral state. Using recombinant knockout A75/17 viruses, the V protein was identified as the main antagonist of IFN-alpha/beta-mediated signaling. Importantly, immunofluorescence analysis illustrated that the inhibition of IFN-alpha/beta-mediated signaling correlated with impaired STAT1/STAT2 nuclear import, whereas the phosphorylation state of these proteins was not affected. Coimmunoprecipitation assays identified the N-terminal region of V (VNT) responsible for STAT1 targeting, which correlated with its ability to inhibit the activity of the IFN-alpha/beta-mediated antiviral state. Conversely, while the C-terminal domain of V (VCT) could not function autonomously, when fused to VNT it optimally interacted with STAT2 and subsequently efficiently suppressed the IFN-alpha/beta-mediated signaling pathway. The latter result was further supported by a single mutation at position 110 within the VNT domain of CDV V protein, resulting in a mutant that lost STAT1 binding while retaining a partial STAT2 association. Taken together, our results identified the CDV VNT and VCT as two essential modules that complement each other to interfere with the antiviral state induced by IFN-alpha/beta-mediated signaling. Hence, our experiments reveal a novel mechanism of IFN-alpha/beta evasion among the morbilliviruses.

Geophysical Investigation of Subsurface Three-Dimensional Architecture of Icy Debris Fans With Ground Penetrating Radar in the Wrangell Mountains, Alaska

Icy debris fans have are newly-described landforms (Kochel and Trop, 2008 and 2012) as landforms developed immediately after deglaciation on Earth and similar features have been observed on Mars. Subsurface characteristics of Icy debris fans have not been previously investigated. Ground penetrating radar (GPR) was used to non-invasively investigate the subsurface characteristics of icy debris fans near McCarthy, Alaska, USA. The three fans investigated in Alaska are the East, West, and Middle fans (Kochel and Trop, 2008 and 2012) which below the Nabesna ice cap and on top of the McCarthy Creek Glacier. Icy debris fans in general are a largely unexplored suite of paraglacial landforms and processes in alpine regions. Recent field studies focused on direct observations and depositional processes. Their results showed that the fan's composition is primarily influenced by the type and frequency of depositional processes that supply the fan. Photographic studies show that the East Fan receives far more ice and snow avalanches whereas the Middle and West Fans receive fewer mass wasting events but more clastic debris is deposited on the Middle and West fan from rock falls and icy debris flows. GPR profiles and Wide-angle reflection and refraction (WARR) surveys consisting of both, common mid-point (CMP), and common shot-point (CSP) surveys investigated the subsurface geometry of the fans and the McCarthy Creek Glacier. All GPR surveys were collected in July of 2013 with 100MHz bi-static antennas. Four axial profiles and three cross-fan profiles were done on the West and Middle fans as well as the McCarthy Creek Glacier in order to investigate the relationship between the three features. GPR profiles yielded reflectors that were continuous for 10+ m and hyperbolic reflections in the subsurface. The depth to these reflections in the subsurface requires knowledge of the velocity of the subsurface. To find the velocity of the subsurface eight WARR surveys collected on the fans and on the McCarthy Creek glacier to provide information on variability of subsurface velocities. The profiles of the Middle and West fan have more reflections in their profiles compared to profiles done on the McCarthy Creek Glacier. Based on the WARR surveys, we interpret the lower energy return in the glacier to be caused by two reasons. 1) The increased attenuation due to wet ice versus drier ice and on the fan with GPR velocities >0.15m/ns. 2) Lack of interfaces in the glacier compared to those in the fans which are inferred to be produced by the alternating layers of stratified ice and lithic-rich layers. The GPR profiles on the West and Middle Fans show the shallow subsurface being dominated by lenticular reflections interpreted to be consistent with the shape of surficial deposits. The West Fan is distinguished from the Middle Fan by the nature of its reflections patterns and thicknesses of reflection packages that clearly shows the Middle fan with a greater thickness. The changes in subsurface reflections between the Middle and West Fans as well as the McCarthy Creek Glacier are thought to reflect the type and frequency of depositional processes and surrounding bedrock and talus slopes.

Host-microbe interactions have shaped the genetic architecture of inflammatory bowel disease

Crohn's disease and ulcerative colitis, the two common forms of inflammatory bowel disease (IBD), affect over 2.5 million people of European ancestry, with rising prevalence in other populations. Genome-wide association studies and subsequent meta-analyses of these two diseases as separate phenotypes have implicated previously unsuspected mechanisms, such as autophagy, in their pathogenesis and showed that some IBD loci are shared with other inflammatory diseases. Here we expand on the knowledge of relevant pathways by undertaking a meta-analysis of Crohn's disease and ulcerative colitis genome-wide association scans, followed by extensive validation of significant findings, with a combined total of more than 75,000 cases and controls. We identify 71 new associations, for a total of 163 IBD loci, that meet genome-wide significance thresholds. Most loci contribute to both phenotypes, and both directional (consistently favouring one allele over the course of human history) and balancing (favouring the retention of both alleles within populations) selection effects are evident. Many IBD loci are also implicated in other immune-mediated disorders, most notably with ankylosing spondylitis and psoriasis. We also observe considerable overlap between susceptibility loci for IBD and mycobacterial infection. Gene co-expression network analysis emphasizes this relationship, with pathways shared between host responses to mycobacteria and those predisposing to IBD.

Colour Symbolism, Colour Preference in Hungarian Folklore and Folk Architecture"

The Hungarian way of decoration has certain characteristics which are rooted in the deep symbolism of ancient Hungarian mythical thinking. The ancient heritage of the Hungarians' former homeland somewhere in the Urals included eastern elements. During their migrations, the Hungarian tribes met other eastern peoples and their culture of decoration became mixed with elements drawn from these new contacts. These diverse influences mean that the Hungarian way of thinking, building and ornamentation show a certain dualism of Puritanism and rationalism in the creation of space and manufacturing, and rich fantasy in decoration and ornamentation. The Hungarians use coloured ornamentation to emphasise the symbolic importance of details. The colouring system of the built environment shows the same dualism: the main colour of the facades and inner walls is white, while the furniture, textiles, gates and windows, and sometimes the gable and fireplace are richly decorated. In Hungarian symbolism, the house and settlement are a model of the universe, so their different parts also have a transcendent meaning. The traditional meanings of the different colours reflect this transcendence. Each colour has ambivalent meanings: RED - the colour of blood - means violence and love. YELLOW - means sickness, death and ripeness (golden yellow). BLUE - means innocence, eternity (light blue) and old age, death (dark blue). BLACK - can be both ceremonial and mourning. WHILE - can have sacred meaning (bright white), while yellowish white fabric is the most common garb of both men and women in village society. GREEN - the only colour without a dual meaning, symbolises the beginning of life. Until the late 18th and early 19th centuries Hungarian folk art used one or two-coloured decoration (red, black, blue, red-blue or red-black), and from the early 19th century it moved to multi-coloured decoration. Colours are characteristically used in complementary contrast, with bright colours on a plain ground and an avoidance of subtle shadings.

Post-translational signal peptide cleavage controls differential epitope recognition in the QP-rich domain of recombinant Theileria parva PIM

The presence of the schizont stage of the obligate intracellular parasites Theileria parva or T. annulata in the cytoplasm of an infected leukocyte results in host cell transformation via a mechanism that has not yet been elucidated. Proteins, secreted by the schizont, or expressed on its surface, are of interest as they can interact with host cell molecules that regulate host cell proliferation and/or survival. The major schizont surface protein is the polymorphic immunodominant molecule, PIM, which contains a large glutamine- and proline-rich domain (QP-rd) that protrudes into the host cell cytoplasm. Analyzing QP-rd generated by in vitro transcription/translation, we found that the signal peptide was efficiently cleaved post-translationally upon addition of T cell lysate or canine pancreatic microsomes, whereas signal peptide cleavage of a control protein only occurred cotranslationally and in the presence of microsomal membranes. The QP-rd of PIM migrated anomalously in SDS-PAGE and removal of the 19 amino acids corresponding to the predicted signal peptide caused a decrease in apparent molecular mass of 24kDa. The molecule was analyzed using monoclonal antibodies that recognize a set of previously defined PIM epitopes. Depending on the presence or the absence of the signal peptide, two conformational states could be demonstrated that are differentially recognized, with N-terminal epitopes becoming readily accessible upon signal peptide removal, and C-terminal epitopes becoming masked. Similar observations were made when the QP-rd of PIM was expressed in bacteria. Our observations could also be of relevance to other schizont proteins. A recent analysis of the proteomes of T. parva and T. annulata revealed the presence of a large family of potentially secreted proteins, characterized by the presence of large stretches of amino acids that are also particularly rich in QP-residues.

The structural architecture of adult mammalian articular cartilage evolves by a synchronized process of tissue resorption and neoformation during postnatal development

OBJECTIVE: During postnatal development, mammalian articular cartilage acts as a surface growth plate for the underlying epiphyseal bone. Concomitantly, it undergoes a fundamental process of structural reorganization from an immature isotropic to a mature (adult) anisotropic architecture. However, the mechanism underlying this structural transformation is unknown. It could involve either an internal remodelling process, or complete resorption followed by tissue neoformation. The aim of this study was to establish which of these two alternative tissue reorganization mechanisms is physiologically operative. We also wished to pinpoint the articular cartilage source of the stem cells for clonal expansion and the zonal location of the chondrocyte pool with high proliferative activity. METHODS: The New Zealand white rabbit served as our animal model. The analysis was confined to the high-weight-bearing (central) areas of the medial and lateral femoral condyles. After birth, the articular cartilage layer was evaluated morphologically at monthly intervals from the first to the eighth postnatal month, when this species attains skeletal maturity. The overall height of the articular cartilage layer at each juncture was measured. The growth performance of the articular cartilage layer was assessed by calcein labelling, which permitted an estimation of the daily growth rate of the epiphyseal bone and its monthly length-gain. The slowly proliferating stem-cell pool was identified immunohistochemically (after labelling with bromodeoxyuridine), and the rapidly proliferating chondrocyte population by autoradiography (after labelling with (3)H-thymidine). RESULTS: The growth activity of the articular cartilage layer was highest 1 month after birth. It declined precipitously between the first and third months, and ceased between the third and fourth months, when the animal enters puberty. The structural maturation of the articular cartilage layer followed a corresponding temporal trend. During the first 3 months, when the articular cartilage layer is undergoing structural reorganization, the net length-gain in the epiphyseal bone exceeded the height of the articular cartilage layer. This finding indicates that the postnatal reorganization of articular cartilage from an immature isotropic to a mature anisotropic structure is not achieved by a process of internal remodelling, but by the resorption and neoformation of all zones except the most superficial (stem-cell) one. The superficial zone was found to consist of slowly dividing stem cells with bidirectional mitotic activity. In the horizontal direction, this zone furnishes new stem cells that replenish the pool and effect a lateral expansion of the articular cartilage layer. In the vertical direction, the superficial zone supplies the rapidly dividing, transit-amplifying daughter-cell pool that feeds the transitional and upper radial zones during the postnatal growth phase of the articular cartilage layer. CONCLUSIONS: During postnatal development, mammalian articular cartilage fulfils a dual function, viz., it acts not only as an articulating layer but also as a surface growth plate. In the lapine model, this growth activity ceases at puberty (3-4 months of age), whereas that of the true (metaphyseal) growth plate continues until the time of skeletal maturity (8 months). Hence, the two structures are regulated independently. The structural maturation of the articular cartilage layer coincides temporally with the cessation of its growth activity - for the radial expansion and remodelling of the epiphyseal bone - and with sexual maturation. That articular cartilage is physiologically reorganized by a process of tissue resorption and neoformation, rather than by one of internal remodelling, has important implications for the functional engineering and repair of articular cartilage tissue.

Neuropsychological problems after paediatric stroke: two year follow-up of Swiss children

AIM: The aim of this study was to obtain information about neurological and cognitive outcome for a population-based group of children after paediatric ischaemic stroke. METHODS: Data from the Swiss neuropaediatric stroke registry (SNPSR), from 1.1.2000 to 1.7.2002, including children (AIS 1) and neonates (AIS 2). At 18-24 months after a stroke, a follow-up examination was performed including a history, neurological and neuropsychological assessment. RESULTS: 33/48 children (22 AIS 1, 11 AIS 2) participated in the study. Neurological outcome was good in 16/33. After childhood stroke mean IQ levels were normal (94), but 6 children had IQ < 85 (50-82) and neuropsychological problems were present in 75%. Performance IQ (93) was reduced compared to verbal IQ (101, p = 0.121) due to problems in the domain of processing speed (89.5); auditory short-term memory was especially affected. Effects on school career were common. Outcome was worse in children after right-sided infarction. Children suffering from stroke in mid-childhood had the best prognosis. There was no clear relationship between outcome and localisation of the lesion. After neonatal stroke 7/11 children showed normal development and epilepsy indicated a worse prognosis in the remaining 4. CONCLUSION: After paediatric stroke neuropsychological problems are present in about 75% of children. Younger age at stroke as well as an emergence of epilepsy were predictors for worse prognosis.

Crystal structure of the platelet glycoprotein Ib(alpha) N-terminal domain reveals an unmasking mechanism for receptor activation

Glycoprotein Ib (GPIb) is a platelet receptor with a critical role in mediating the arrest of platelets at sites of vascular damage. GPIb binds to the A1 domain of von Willebrand factor (vWF-A1) at high blood shear, initiating platelet adhesion and contributing to the formation of a thrombus. To investigate the molecular basis of GPIb regulation and ligand binding, we have determined the structure of the N-terminal domain of the GPIb(alpha) chain (residues 1-279). This structure is the first determined from the cell adhesion/signaling class of leucine-rich repeat (LRR) proteins and reveals the topology of the characteristic disulfide-bonded flanking regions. The fold consists of an N-terminal beta-hairpin, eight leucine-rich repeats, a disulfide-bonded loop, and a C-terminal anionic region. The structure also demonstrates a novel LRR motif in the form of an M-shaped arrangement of three tandem beta-turns. Negatively charged binding surfaces on the LRR concave face and anionic region indicate two-step binding kinetics to vWF-A1, which can be regulated by an unmasking mechanism involving conformational change of a key loop. Using molecular docking of the GPIb and vWF-A1 crystal structures, we were also able to model the GPIb.vWF-A1 complex.

Rosette-forming glioneuronal tumor of the fourth ventricle: Report of two cases with a differential diagnostic overview

We report on clinicopathological findings in two cases of rosette-forming glioneuronal tumor of the fourth ventricle (RGNT) occurring in females aged 16 years (Case 1) and 30 years (Case 2). Symptoms included vertigo, nausea, cerebellar ataxia, as well as headaches, and had been present for 4-months and 1 week, respectively. Magnetic resonance imaging (MRI) indicated a cerebellar-based tumor of 1.8cm (Case 1) and 5cm (Case 2) diameter each, bulging into the fourth ventricle. Case 2 involved a cyst-mural-nodule configuration. In both instances, the solid component appeared isointense on T(1) sequences, hyperintense in the T(2) mode, and enhanced moderately. Gross total resection was achieved via suboccipital craniotomy. However, functional recovery was disappointing in Case 1. On microscopy, both tumors comprised an admixture of low-grade astrocytoma interspersed with circular aggregates of synaptophysin-expressing round cells harboring oligodendrocyte-like nuclei. The astrocytic moiety in Case 1 was nondescript, and overtly pilocytic in Case 2. The architecture of neuronal elements variously consisted of neurocytic rosettes, of pseudorosettes centered on a capillary core, as well as of concentric ribbons along irregular lumina. Gangliocytic maturation, especially "floating neurons", or a corresponding immunoreactivity for neurofilament protein was absent. Neither of these populations exhibited atypia, mitotic activity, or a significant labeling for MIB-1. Cerebellar parenchyma included in the surgical specimen did not reveal any preexisting malformative anomaly. Despite sharing some overlapping histologic traits with dysembryoplastic neuroepithelial tumor (DNT), the presentation of RGNT with respect to both patient age and location is consistent enough for this lesion to be singled out as an autonomous entity.