An overview of the ciao multiparadigm language and program development environment and its design philosophy

We describe some of the novel aspects and motivations behind the design and implementation of the Ciao multiparadigm programming system. An important aspect of Ciao is that it provides the programmer with a large number of useful features from different programming paradigms and styles, and that the use of each of these features can be turned on and off at will for each program module. Thus, a given module may be using e.g. higher order functions and constraints, while another module may be using objects, predicates, and concurrency. Furthermore, the language is designed to be extensible in a simple and modular way. Another important aspect of Ciao is its programming environment, which provides a powerful preprocessor (with an associated assertion language) capable of statically finding non-trivial bugs, verifying that programs comply with specifications, and performing many types of program optimizations. Such optimizations produce code that is highly competitive with other dynamic languages or, when the highest levéis of optimization are used, even that of static languages, all while retaining the interactive development environment of a dynamic language. The environment also includes a powerful auto-documenter. The paper provides an informal overview of the language and program development environment. It aims at illustrating the design philosophy rather than at being exhaustive, which would be impossible in the format of a paper, pointing instead to the existing literature on the system

Cytoplasmic dynein nomenclature

A variety of names has been used in the literature for the subunits of cytoplasmic dynein complexes. Thus, there is a strong need for a more definitive consensus statement on nomenclature. This is especially important for mammalian cytoplasmic dyneins, many subunits of which are encoded by multiple genes. We propose names for the mammalian cytoplasmic dynein subunit genes and proteins that reflect the phylogenetic relationships of the genes and the published studies clarifying the functions of the polypeptides. This nomenclature recognizes the two distinct cytoplasmic dynein complexes and has the flexibility to accommodate the discovery of new subunits and isoforms

A motor neuron disease–associated mutation in p150Glued perturbs dynactin function and induces protein aggregation

The microtubule motor cytoplasmic dynein and its activator dynactin drive vesicular transport and mitotic spindle organization. Dynactin is ubiquitously expressed in eukaryotes, but a G59S mutation in the p150Glued subunit of dynactin results in the specific degeneration of motor neurons. This mutation in the conserved cytoskeleton-associated protein, glycine-rich (CAP-Gly) domain lowers the affinity of p150Glued for microtubules and EB1. Cell lines from patients are morphologically normal but show delayed recovery after nocodazole treatment, consistent with a subtle disruption of dynein/dynactin function. The G59S mutation disrupts the folding of the CAP-Gly domain, resulting in aggregation of the p150Glued protein both in vitro and in vivo, which is accompanied by an increase in cell death in a motor neuron cell line. Overexpression of the chaperone Hsp70 inhibits aggregate formation and prevents cell death. These data support a model in which a point mutation in p150Glued causes both loss of dynein/dynactin function and gain of toxic function, which together lead to motor neuron cell death

Ultrasound evaluation in combination with finger extension force measurements of the forearm musculus extensor digitorum communis in healthy subjects

<p>Abstract</p> <p>Background</p> <p>The aim of this study was to evaluate the usefulness of an ultrasound-based method of examining extensor muscle architecture, especially the parameters important for force development. This paper presents the combination of two non-invasive methods for studying the extensor muscle architecture using ultrasound simultaneously with finger extension force measurements.</p> <p>Methods</p> <p>M. extensor digitorum communis (EDC) was examined in 40 healthy subjects, 20 women and 20 men, aged 35–73 years. Ultrasound measurements were made in a relaxed position of the hand as well as in full contraction. Muscle cross-sectional area (CSA), pennation angle and contraction patterns were measured with ultrasound, and muscle volume and fascicle length were also estimated. Finger extension force was measured using a newly developed finger force measurement device.</p> <p>Results</p> <p>The following muscle parameters were determined: CSA, circumference, thickness, pennation angles and changes in shape of the muscle CSA. The mean EDC volume in men was 28.3 cm³and in women 16.6 cm³. The mean CSA was 2.54 cm²for men and 1.84 cm²for women. The mean pennation angle for men was 6.5° and for women 5.5°. The mean muscle thickness for men was 1.2 cm and for women 0.76 cm. The mean fascicle length for men was 7.3 cm and for women 5.0 cm. Significant differences were found between men and women regarding EDC volume (p < 0.001), CSA (p < 0.001), pennation angle (p < 0.05), muscle thickness (p < 0.001), fascicle length (p < 0.001) and finger force (p < 0.001). Changes in the shape of muscle architecture during contraction were more pronounced in men than women (p < 0.01). The mean finger extension force for men was 96.7 N and for women 39.6 N. Muscle parameters related to the extension force differed between men and women. For men the muscle volume and muscle CSA were related to extension force, while for women muscle thickness was related to the extension force.</p> <p>Conclusion</p> <p>Ultrasound is a useful tool for studying muscle architectures in EDC. Muscle parameters of importance for force development were identified. Knowledge concerning the correlation between muscle dynamics and force is of importance for the development of new hand training programmes and rehabilitation after surgery.</p

Strategic directions in constraint programming

An abstract is not available

Transcription Factor NF-κB Is Transported to the Nucleus via Cytoplasmic Dynein/Dynactin Motor Complex in Hippocampal Neurons

Mikenberg I, Widera D, Kaus A, Kaltschmidt B, Kaltschmidt C. Transcription Factor NF-kappa B Is Transported to the Nucleus via Cytoplasmic Dynein/Dynactin Motor Complex in Hippocampal Neurons. PLOS ONE. 2007;2(7):e589.Background. Long-term changes in synaptic plasticity require gene transcription, indicating that signals generated at the synapse must be transported to the nucleus. Synaptic activation of hippocampal neurons is known to trigger retrograde transport of transcription factor NF-kappa B. Transcription factors of the NF-kappa B family are widely expressed in the nervous system and regulate expression of several genes involved in neuroplasticity, cell survival, learning and memory. Principal Findings. In this study, we examine the role of the dynein/dynactin motor complex in the cellular mechanism targeting and transporting activated NF-kappa B to the nucleus in response to synaptic stimulation. We demonstrate that overexpression of dynamitin, which is known to dissociate dynein from microtubules, and treatment with microtubule-disrupting drugs inhibits nuclear accumulation of NF-kappa B p65 and reduces NF-kappa B-dependent transcription activity. In this line, we show that p65 is associated with components of the dynein/dynactin complex in vivo and in vitro and that the nuclear localization sequence (NLS) within NF-kappa B p65 is essential for this binding. Conclusion. This study shows the molecular mechanism for the retrograde transport of activated NF-kappa B from distant synaptic sites towards the nucleus

MAP1B Regulates Axonal Development by Modulating Rho-GTPase Rac1 Activity

This article shows a novel function for the MAP1B protein, related to the control of actin dynamics through interaction with Tiam1

Activin signaling as an emerging target for therapeutic interventions

After the initial discovery of activins as important regulators of reproduction, novel and diverse roles have been unraveled for them. Activins are expressed in various tissues and have a broad range of activities including the regulation of gonadal function, hormonal homeostasis, growth and differentiation of musculoskeletal tissues, regulation of growth and metastasis of cancer cells, proliferation and differentiation of embryonic stem cells, and even higher brain functions. Activins signal through a combination of type I and II transmembrane serine/threonine kinase receptors. Activin receptors are shared by multiple transforming growth factor-β (TGF-β) ligands such as myostatin, growth and differentiation factor-11 and nodal. Thus, although the activity of each ligand is distinct, they are also redundant, both physiologically and pathologically in vivo. Activin receptors activated by ligands phosphorylate the receptor-regulated Smads for TGF-β, Smad2 and 3. The Smad proteins then undergo multimerization with the co-mediator Smad4, and translocate into the nucleus to regulate the transcription of target genes in cooperation with nuclear cofactors. Signaling through receptors and Smads is controlled by multiple mechanisms including phosphorylation and other posttranslational modifications such as sumoylation, which affect potein localization, stability and transcriptional activity. Non-Smad signaling also plays an important role in activin signaling. Extracellularly, follistatin and related proteins bind to activins and related TGF-β ligands, and control the signaling and availability of ligands

Drosophila Dynein Intermediate Chain Gene, Dic61B, Is Required for Spermatogenesis

This study reports the identification and characterization of a novel gene, Dic61B, required for male fertility in Drosophila. Complementation mapping of a novel male sterile mutation, ms21, isolated in our lab revealed it to be allelic to CG7051 at 61B1 cytogenetic region, since two piggyBac insertion alleles, CG7051c05439 and CG7051f07138 failed to complement. CG7051 putatively encodes a Dynein intermediate chain. All three mutants, ms21, CG7051c05439 and CG7051f07138, exhibited absolute recessive male sterility with abnormally coiled sperm axonemes causing faulty sperm individualization as revealed by Phalloidin staining in Don Juan-GFP background. Sequencing of PCR amplicons uncovered two point mutations in ms21 allele and confirmed the piggyBac insertions in CG7051c05439 and CG7051f07138 alleles to be in 5′UTR and 4th exon of CG7051 respectively, excision of which reverted the male sterility. In situ hybridization to polytene chromosomes demonstrated CG7051 to be a single copy gene. RT-PCR of testis RNA revealed defective splicing of the CG7051 transcripts in mutants. Interestingly, expression of cytoplasmic dynein intermediate chain, α, β, γ tubulins and α-spectrin was normal in mutants while ultra structural studies revealed defects in the assembly of sperm axonemes. Bioinformatics further highlighted the homology of CG7051 to axonemal dynein intermediate chain of various organisms, including DNAI1 of humans, mutations in which lead to male sterility due to immotile sperms. Based on these observations we conclude that CG7051 encodes a novel axonemal dynein intermediate chain essential for male fertility in Drosophila and rename it as Dic61B. This is the first axonemal Dic gene of Drosophila to be characterized at molecular level and shown to be required for spermatogenesis

A reference human induced pluripotent stem cell line for large-scale collaborative studies

Human induced pluripotent stem cell (iPSC) lines are a powerful tool for studying development and disease, but the considerable phenotypic variation between lines makes it challenging to replicate key findings and integrate data across research groups. To address this issue, we sub-cloned candidate human iPSC lines and deeply characterized their genetic properties using whole genome sequencing, their genomic stability upon CRISPR-Cas9-based gene editing, and their phenotypic properties including differentiation to commonly used cell types. These studies identified KOLF2.1J as an all-around well-performing iPSC line. We then shared KOLF2.1J with groups around the world who tested its performance in head-to-head comparisons with their own preferred iPSC lines across a diverse range of differentiation protocols and functional assays. On the strength of these findings, we have made KOLF2.1J and its gene-edited derivative clones readily accessible to promote the standardization required for large-scale collaborative science in the stem cell field