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.

Role of Syk in B-cell development and antigen-receptor signaling

Antigen receptors (BCRs) on developing B lymphocytes play two opposing roles—promoting survival of cells that may later bind a foreign antigen and inhibiting survival of cells that bind too strongly to self-antigens. It is not known how these opposing outcomes are signaled by BCRs on immature B cells. Here we analyze the effect of a null mutation in the Syk tyrosine kinase on maturing B cells displaying a transgene-encoded BCR that binds hen egg lysozyme (HEL). In the absence of HEL antigen, HEL-specific BCRs are expressed normally on the surface of Syk-deficient immature B-lineage cells, but this fails to promote maturation beyond the earliest stages of B-lineage commitment. Binding of HEL antigen, nevertheless, triggers phosphorylation of CD79α/β BCR subunits and modulation of receptors from the surface in Syk-deficient cells, but it cannot induce an intracellular calcium response. Continuous binding of low- or high-avidity forms of HEL, expressed as self-antigens, fails to restore the signal needed for maturation. Compared with the effects in the same system of null mutations in other BCR signaling elements, such as CD45 and Lyn kinase, these results indicate that Syk is essential for transmitting a signal that initiates the program of B-lymphocyte maturation.

Development and evaluation of a community based, multiagency course for medical students: descriptive survey

Objective: To develop and evaluate an effective, community based, multiagency course (involving doctors, nurses, non-health statutory workers, and voluntary organisations) for all Leicester medical students, in response to the General Medical Council’s recommendation of preparing the doctors of tomorrow to handle society’s medical problems.

Psychometric behaviour of the strengths and difficulties questionnaire (SDQ) in the Spanish national health survey 2006

Background: The Strengths and Difficulties Questionnaire (SDQ) is a tool to measure the risk for mental disorders in children. The aim of this study is to describe the diagnostic efficiency and internal structure of the SDQ in the sample of children studied in the Spanish National Health Survey 2006. Methods: A representative sample of 6,773 children aged 4 to 15 years was studied. The data were obtained using the Minors Questionnaire in the Spanish National Health Survey 2006. The ROC curve was constructed and calculations made of the area under the curve, sensitivity, specificity and the Youden J indices. The factorial structure was studied using models of exploratory factorial analysis (EFA) and confirmatory factorial analysis (CFA). Results: The prevalence of behavioural disorders varied between 0.47% and 1.18% according to the requisites of the diagnostic definition. The area under the ROC curve varied from 0.84 to 0.91 according to the diagnosis. Factor models were cross-validated by means of two different random subsamples for EFA and CFA. An EFA suggested a three correlated factor model. CFA confirmed this model. A five-factor model according to EFA and the theoretical five-factor model described in the bibliography were also confirmed. The reliabilities of the factors of the different models were acceptable (>0.70, except for one factor with reliability 0.62). Conclusions: The diagnostic behaviour of the SDQ in the Spanish population is within the working limits described in other countries. According to the results obtained in this study, the diagnostic efficiency of the questionnaire is adequate to identify probable cases of psychiatric disorders in low prevalence populations. Regarding the factorial structure we found that both the five and the three factor models fit the data with acceptable goodness of fit indexes, the latter including an externalization and internalization dimension and perhaps a meaningful positive social dimension. Accordingly, we recommend studying whether these differences depend on sociocultural factors or are, in fact, due to methodological questions.

Illustration of manganese nodules and crust collected from the Suiko Seamount, Northwestern Pacific Ocean

An initial investigation has been undertaken on the chemical composition of the manganese nodules. The results of chemical analyses on each layer of single nodules reveal the periodic patterns of distribution for Mn, Fe, Cu, Pb, Zn, Ni and Co contents. The variations strongly suggest that those of the elements in nodules from this region are, at least, climatically controlled.