A Semantic Web for bioinformatics: goals, tools, systems, applications

The quantity of biological information is increasing at an impressive rate. An integrated access to this huge amount of information requires complex search and retrieval software and automation of analysis processes. Automation of integration procedures mainly concerns how to link data, how to select and extract information and how to pipe retrieval and analysis steps. This automated approach to data analysis requires the adoption of new technologies and tools in the bioinformatics domain

On CSP and the Algebraic Theory of Effects

We consider CSP from the point of view of the algebraic theory of effects, which classifies operations as effect constructors or effect deconstructors; it also provides a link with functional programming, being a refinement of Moggi's seminal monadic point of view. There is a natural algebraic theory of the constructors whose free algebra functor is Moggi's monad; we illustrate this by characterising free and initial algebras in terms of two versions of the stable failures model of CSP, one more general than the other. Deconstructors are dealt with as homomorphisms to (possibly non-free) algebras. One can view CSP's action and choice operators as constructors and the rest, such as concealment and concurrency, as deconstructors. Carrying this programme out results in taking deterministic external choice as constructor rather than general external choice. However, binary deconstructors, such as the CSP concurrency operator, provide unresolved difficulties. We conclude by presenting a combination of CSP with Moggi's computational {\lambda}-calculus, in which the operators, including concurrency, are polymorphic. While the paper mainly concerns CSP, it ought to be possible to carry over similar ideas to other process calculi

Если человечество не изменит концепцию своего развития, оно погибнет

Сложная современная политическая, социально-экономическая, межнациональная, религиозная и пр. ситуация в мире требует от интеллектуальной элиты и особенно от политиков, ученых обществоведов, экономистов сформировать и предложить новую концепцию развития мира.Складна сучасна політична, соціально-економічна, міжнаціональна, релігійна та ін. ситуація в суспільстві вимагає від інтелектуальної еліти і особливо від політиків, вчених суспільствознавців, економістів сформувати та запропонувати нову концепцію розвитку суспільства.Complicated modern political, socio-economic, international, religious and other situations in the world call on all the brainpower and especially policy-makers, scholars, social scientists, economists to elaborate and offer a new concept of the world development

The S11−NS_{11}- N(1535) and −N-N(1650) Resonances in Meson-Baryon Unitarized Coupled Channel Chiral Perturbation Theory

The $s-$wave meson-baryon scattering is analyzed for the strangeness S=0 sector in a Bethe-Salpeter coupled channel formalism incorporating Chiral Symmetry. Four channels have been considered: $\pi N$, $\eta N$, $K \Lambda$, $K \Sigma$. The needed two particle irreducible matrix amplitude is taken from lowest order Chiral Perturbation Theory in a relativistic formalism and low energy constants are fitted to the elastic $\pi N$ phase-shifts and the $\pi^- p \to \eta n$ and $\pi^- p \to K^0 \Lambda$ cross section data. The position of the complex poles in the second Riemann sheet of the scattering amplitude determine masses and widths of the $S_{11}-$ $N$(1535) and $-N$(1650) resonances, in reasonable agreement with experiment. A good overall description of data, from $\pi N$ threshold up to 2 GeV, is achieved keeping in mind that the two pion production channel has not been included.Comment: 35 pages, LaTeX + 7 ps-figure files. Some minor mistakes have been corrected for and a new appendix discussing the matching to HBChPT has been also adde

Chiral unitary approach to S-wave meson baryon scattering in the strangeness S=0 sector

We study the S-wave interaction of mesons with baryons in the strangeness S=0 sector in a coupled channel unitary approach. The basic dynamics is drawn from the lowest order meson baryon chiral Lagrangians. Small modifications inspired by models with explicit vector meson exchange in the t-channel are also considered. In addition the pi pi N channel is included and shown to have an important repercussion in the results, particularly in the isospin 3/2 sector.Comment: 23 pages, LaTeX, 21 figure

A spectral atlas of post-main-sequence stars in omega Centauri: kinematics, evolution, enrichment and interstellar medium

We present a spectral atlas of the post-main-sequence population of the most massive Galactic globular cluster, omega Centauri. Spectra were obtained of more than 1500 stars selected as uniformly as possible from across the (B, B-V) colour-magnitude diagram of the proper motion cluster member candidates of van Leeuwen et al. (2000). The spectra were obtained with the 2dF multi-fibre spectrograph at the Anglo Australian Telescope, and cover the approximate range lambda~3840-4940 Angstroem. We measure the radial velocities, effective temperatures, metallicities and surface gravities by fitting ATLAS9 stellar atmosphere models. We analyse the cluster membership and stellar kinematics, interstellar absorption in the Ca II K line at 3933 Angstroem, the RR Lyrae instability strip and the extreme horizontal branch, the metallicity spread and bimodal CN abundance distribution of red giants, nitrogen and s-process enrichment, carbon stars, pulsation-induced Balmer line emission on the asymptotic giant branch (AGB), and the nature of the post-AGB and UV-bright stars. Membership is confirmed for the vast majority of stars, and the radial velocities clearly show the rotation of the cluster core. We identify long-period RR Lyrae-type variables with low gravity, and low-amplitude variables coinciding with warm RR Lyrae stars. A barium enhancement in the coolest red giants indicates that 3rd dredge-up operates in AGB stars in omega Cen. This is distinguished from the pre-enrichment by more massive AGB stars, which is also seen in our data. The properties of the AGB, post-AGB and UV-bright stars suggest that RGB mass loss may be less efficient at very low metallicity, [Fe/H]<<-1, increasing the importance of mass loss on the AGB. The catalogue and spectra are made available via CDS.Comment: accepted for publication in MNRA

Single-cell approaches identify the molecular network driving malignant hematopoietic stem cell self-renewal.

Recent advances in single-cell technologies have permitted the investigation of heterogeneous cell populations at previously unattainable resolution. Here we apply such approaches to resolve the molecular mechanisms driving disease in mouse hematopoietic stem cells (HSCs), using JAK2V617F mutant myeloproliferative neoplasms (MPNs) as a model. Single-cell gene expression and functional assays identified a subset of JAK2V617F mutant HSCs that display defective self-renewal. This defect is rescued at the single HSC level by crossing JAK2V617F mice with mice lacking TET2, the most commonly comutated gene in patients with MPN. Single-cell gene expression profiling of JAK2V617F-mutant HSCs revealed a loss of specific regulator genes, some of which were restored to normal levels in single TET2/JAK2 mutant HSCs. Of these, Bmi1 and, to a lesser extent, Pbx1 and Meis1 overexpression in JAK2-mutant HSCs could drive a disease phenotype and retain durable stem cell self-renewal in functional assays. Together, these single-cell approaches refine the molecules involved in clonal expansion of MPNs and have broad implications for deconstructing the molecular network of normal and malignant stem cells.MS is the recipient of a BBSRC Industrial CASE PhD Studentship, and CAO and JF are recipients of Wellcome Trust PhD Studentships. Work in the Kent lab is supported by a Bloodwise Bennett Fellowship (15008), a European Hematology Association Non-Clinical Advanced Research Fellowship, and an ERC Starting Grant (ERC-2016-STG–715371). Work in the Green Lab is supported by the Wellcome Trust, Bloodwise, Cancer Research UK, the Kay Kendall Leukaemia Fund, and the Leukemia and Lymphoma Society of America. Dr. Kent, Professor Göttgens, and Professor Green are all supported by a core support grant from the Wellcome Trust and MRC to the Wellcome Trust – Medical Research Council Cambridge Stem Cell Institute the National Institute for Health Research Cambridge Biomedical Research Centre, the Cambridge Experimental Cancer Medicine Centre

Introduction: building the history of language learning and teaching (HoLLT)

The papers presented in this issue are the result of a workshop held at the University of Nottingham in December 2012 as part of an Arts and Humanities Research Council research network Towards a History of Modern Foreign Language Teaching and Learning (2012–14) intended to stimulate historical research into language teaching and learning. This, the first workshop in the programme, focused on exchanging information on the history of language learning and teaching (HoLLT) across the different language traditions, for it had become clear to us that scholars working within their own language disciplines were often relatively unaware of work outside these. We hope that this special issue — with overview articles on the history of English, French, German, and Spanish as second/foreign languages — will help overcome that lack of awareness and facilitate further research collaboration. Charting the history of language teaching and learning will, in turn, make us all better informed in facing challenges and changes to policy and practice now and in the future. It is instructive in the current climate, for example, to realize that grave doubts were held about whether second foreign languages could survive alongside French in British schools in the early twentieth century (McLelland, forthcoming), or to look back at earlier attempts to establish foreign languages in primary schools (Bayley, 1989; Burstall et al., 1974; Hoy, 1977). As we write, language learning in England is undergoing yet more radical change. Language teaching for all children from the age of seven is being made compulsory in primary schools from 2014, while at Key Stage 3 (up to age 16), where a foreign language has not been compulsory since 2002, the most recent programme of study for England has virtually abandoned the recent focus on intercultural competence and now requires learners to ‘read great literature in the original language’,1 a radical change in emphasis compared to the previous half-century, which seems to reflect a very different view of what language learning is for. We seem to be little closer in 2014 than we were at the dawn of the twentieth century to answering with any certainty the questions that lie at the very foundations of language teaching: who should learn a foreign language, why learners learn, what they need to learn, and what we want to teach them — answers that we need before we can consider how we want to teach. The research programme begun under our research network is intended to help us to take ‘the long view’ on such questions