XML for Model Specification in Neuroscience

One of the main roles of the Neural Open Markup Language, NeuroML, is to facilitate cooperation in building, simulating, testing and publishing models of channels, neurons and networks of neurons. MorphML, which was developed as a common format for exchange of neural morphology data, is distributed as part of NeuroML but can be used as a stand-alone application. In this collection of tutorials and workshop summary, we provide an overview of these XML schemas and provide examples of their use in down-stream applications. We also summarize plans for the further development of XML specifications for modeling channels, channel distributions, and network connectivity.

Fulfilled and missed requirements for online reservation systems: an empirical investigation of Austrian and Swiss hotels

Temporal data are a core element of a reservation. In this paper we formulate 10 requirements and 14 sub-requirements for handling temporal data in online hotel reservation systems (OHRS) from a usability viewpoint. We test the fulfillment of these requirements for city and resort hotels in Austria and Switzerland. Some of the requirements are widely met; however, many requirements are fulfilled only by a surprisingly small number of hotels. In particular, numerous systems offer options for selecting data which lead to error messages in the next step. A few screenshots illustrate flaws of the systems. We also draw conclusions on the state of applying software engineering principles in the development of Web pages.

Neuroretina specification in mouse embryos requires Six3-mediated suppression of Wnt8b in the anterior neural plate.

Retinal degeneration causes vision impairment and blindness in humans. If one day we are to harness the potential of stem cell-based cell replacement therapies to treat these conditions, it is imperative that we better understand normal retina development. Currently, the genes and mechanisms that regulate the specification of the neuroretina during vertebrate eye development remain unknown. Here, we identify sine oculis-related homeobox 3 (Six3) as a crucial player in this process in mice. In Six3 conditional-mutant mouse embryos, specification of the neuroretina was abrogated, but that of the retinal pigmented epithelium was normal. Conditional deletion of Six3 did not affect the initial development of the optic vesicle but did arrest subsequent neuroretina specification. Ectopic rostral expansion of Wnt8b expression was the major response to Six3 deletion and the leading cause for the specific lack of neuroretina, as ectopic Wnt8b expression in transgenic embryos was sufficient to suppress neuroretina specification. Using chromatin immunoprecipitation assays, we identified Six3-responsive elements in the Wnt8b locus and demonstrated that Six3 directly repressed Wnt8b expression in vivo. Our findings provide a molecular framework to the program leading to neuroretina differentiation and may be relevant for the development of novel strategies aimed at characterizing and eventually treating different abnormalities in eye formation.

Differentiative requirements for human CD8$\sp+$ suppressor lymphocytes

The aim of this research was to characterize the differentiative requirements of human CD8$\sp{+}$ suppressor lymphocytes. We investigated the role of monocytes in cellular interactions required for generation of T suppressor cells (Ts) in pokeweed mitogen (PWM) stimulated peripheral blood mononuclear cells (PBMC). We observed that the functional activity of CD8$\sp{+}$ T cells was dependent on the concentration of monocytes in the inductive cultures; at concentrations normally present in peripheral blood, PWM stimulation induced potent suppressor activity, whereas under conditions of moderate monocyte depletion the same phenotypic subset of CD8$\sp{+}$ cells enhanced responses. We also demonstrated that differentiation of CD8$\sp{+}$CD28$\sp{-}$ suppressor cells could be mediated by soluble products elaborated by monocytes and CD4$\sp{+}$ cells, identified as PGE$\sb2$ and IFN$\gamma$ respectively. These two signals were required sequentially to cause Ts induction. That is PGE$\sb2$ was required initially, followed by an IFN$\gamma$-dependent differentiative step. We also explored the possibility that PGE$\sb2$ caused modulation of the IFN$\gamma$ receptor number and/or affinity on CD8$\sp{+}$ cells, which might render these cells responsive to the differentiative effect of the IFN$\gamma$-signal. Using radiolabelled $\sp{125}$I-IFN$\gamma$, direct binding assays demonstrated that 10$\sp{-8}$M PGE$\sb2$ selectively increased the number of receptors on the CD8$\sp{+}$ cells. In contrast CD4$\sp{+}$ cells treated similarly exhibited no significant change in their number of IFN$\gamma$ receptors. These results, thus, suggest a relationship between PGE$\sb2$ induced expression of IFN$\gamma$ receptor and the initial requirement for PGE$\sb2$ in IFN$\gamma$-dependent differentiation of Ts cells. Together, our results suggest a crucial role for PGE$\sb2$ and IFN$\gamma$ in regulation of the immune response. Furthermore, such detailed definition of the differentiative requirements for CD8$\sp{+}$ suppressor cells should provide new insight into fundamental mechanisms of immunoregulation. ^

{\it Hox\/} genes and specification of regional identity in the axial skeleton: Analysis of the individual and combined mutant phenotypes of the paralogous group 4 murine {\it Hox\/} genes; {\it hoxa\/}-4, {\it hoxb\/}-4 and {\it hoxd\/}-4

The Hox gene products are transcription factors involved in specifying regional identity along the anteroposterior body axis. In Drosophila, where these genes are known as HOM-C (Homeotic-complex) genes and where they have been most extensively studied, they are expressed in restricted domains along the anteroposterior axis with different anterior limits. Genetic analysis of a large number of gain- and loss-of-function alleles of these genes has revealed that these genes are important in specifying segmental identity at their anterior limits of expression. Furthermore, there is a functional dominance of posterior genes over anterior genes, such that posterior genes can dominantly specify their developmental programs in spite of the expression of more anterior genes in the same segment. In the mouse, there are four clusters of HOM-C genes, called Hox genes. Thus, there may be up to four genes, called paralogs, that are more highly homologous to each other and to their Drosophila homolog than they are to the other mouse Hox genes. The single mutants for two paralogous genes, hoxa-4 and hoxd-4, presented in this dissertation, are similar to several other mouse Hox mutants in that they show partial, incompletely penetrant homeotic transformations of vertebrae at their anterior limit of expression. These mutants were then bred with hoxb-4 mutants (Ramirez-Solis, et al. 1993) to generate the three possible double mutant combinations as well as the triple mutant. The skeletal phenotypes of these group 4 Hox compound mutants displayed clear alterations in regional identity, such that a nearly complete transformation towards the morphology of the first cervical vertebra occurs. These results suggest a certain degree of functional redundancy among paralogous genes in specifying regional identity. Furthermore, there was a remarkable dose-dependent increase in the number of vertebrae transformed to a first cervical vertebra identity, including the second through the fifth cervical vertebrae in the triple mutant. Thus, these genes are required in a larger anteroposterior domain than is revealed by the single mutant phenotypes alone, such that multiple mutations in these genes result in transformations of vertebrae that are not at their anterior limit of expression. ^

Establishing occupational and environmental health design requirements for Lunar and Mars settlements

In a study of Lunar and Mars settlement concepts, an analysis was made of fundamental design assumptions in five technical areas against a model list of occupational and environmental health concerns. The technical areas included the proposed science projects to be supported, habitat and construction issues, closed ecosystem issues, the "MMM" issues--mining, material-processing, and manufacturing, and the human elements of physiology, behavior and mission approach. Four major lessons were learned. First it is possible to relate public health concerns to complex technological development in a proactive design mode, which has the potential for long-term cost savings. Second, it became very apparent that prior to committing any nation or international group to spending the billions to start and complete a lunar settlement, over the next century, that a significantly different approach must be taken from those previously proposed, to solve the closed ecosystem and "MMM" problems. Third, it also appears that the health concerns and technology issues to be addressed for human exploration into space are fundamentally those to be solved for human habitation of the earth (as a closed ecosystem) in the 21st century. Finally, it is proposed that ecosystem design modeling must develop new tools, based on probabilistic models as a step up from closed circuit models. ^

Relationship between genome and epigenome - challenges and requirements for future research

Understanding the links between genetic, epigenetic and non-genetic factors throughout the lifespan and across generations and their role in disease susceptibility and disease progression offer entirely new avenues and solutions to major problems in our society. To overcome the numerous challenges, we have come up with nine major conclusions to set the vision for future policies and research agendas at the European level.

The relationship between competencies acquired through Swiss academic sports science courses and the job requirements

In view of the changes in and growing variety of sports-related occupations, it is highly relevant for educational institutions 10 to know how well the educational contents of their sport science courses meet the professional requirements. This study analyses the relationship between the competencies acquired through academic sports science courses and the requirements of the relevant jobs in Switzerland. The data for this empirical analysis were drawn from a sample of n = 1054 graduates of different academic sport science programmes at all eight Swiss universities. The results show that academic sport science courses primarily communicate sports-specific expertise and practical sports skills. On the other hand, most graduates consider that the acquisition of interdisciplinary competencies plays a comparatively minor role in sport science education, even though these competencies are felt to be an important requirement in a variety of work-related environments and challenges.

How Do Software Architects Specify and Validate Quality Requirements?

Software architecture is the result of a design effort aimed at ensuring a certain set of quality attributes. As we show, quality requirements are commonly specified in practice but are rarely validated using automated techniques. In this paper we analyze and classify commonly specified quality requirements after interviewing professionals and running a survey. We report on tools used to validate those requirements and comment on the obstacles encountered by practitioners when performing such activity (e.g., insufficient tool-support; poor understanding of users needs). Finally we discuss opportunities for increasing the adoption of automated tools based on the information we collected during our study (e.g., using a business-readable notation for expressing quality requirements; increasing awareness by monitoring non-functional aspects of a system).

Dicto: A Unified DSL for Testing Architectural Rules

Software architecture consists of a set of design choices that can be partially expressed in form of rules that the implementation must conform to. Architectural rules are intended to ensure properties that fulfill fundamental non-functional requirements. Verifying architectural rules is often a non- trivial activity: available tools are often not very usable and support only a narrow subset of the rules that are commonly specified by practitioners. In this paper we present a new highly-readable declarative language for specifying architectural rules. With our approach, users can specify a wide variety of rules using a single uniform notation. Rules can get tested by third-party tools by conforming to pre-defined specification templates. Practitioners can take advantage of the capabilities of a growing number of testing tools without dealing with them directly.