EF+EX Forest Algebras

We examine languages of unranked forests definable using the temporal operators EF and EX. We characterize the languages definable in this logic, and various fragments thereof, using the syntactic forest algebras introduced by Bojanczyk and Walukiewicz. Our algebraic characterizations yield efficient algorithms for deciding when a given language of forests is definable in this logic. The proofs are based on understanding the wreath product closures of a few small algebras, for which we introduce a general ideal theory for forest algebras. This combines ideas from the work of Bojanczyk and Walukiewicz for the analogous logics on binary trees and from early work of Stiffler on wreath product of finite semigroups

Effective Hamiltonians in quantum optics: a systematic approach

We discuss a general and systematic method for obtaining effective Hamiltonians that describe different nonlinear optical processes. The method exploits the existence of a nonlinear deformation of the usual su(2) algebra that arises as the dynamical symmetry of the original model. When some physical parameter, dictated by the process under consideration, becomes small, we immediately get a diagonal effective Hamiltonian that correctly represents the dynamics for arbitrary states and long times. We extend the technique to su(3) and su(N), finding the corresponding effective Hamiltonians when some resonance conditions are fulfilled.Comment: 13 Pages, no figures, submitted for publicatio

Health research improves healthcare: now we have the evidence and the chance to help the WHO spread such benefits globally

There has been a dramatic increase in the body of evidence demonstrating the benefits that come from health research. In 2014, the funding bodies for higher education in the UK conducted an assessment of research using an approach termed the Research Excellence Framework (REF). As one element of the REF, universities and medical schools in the UK submitted 1,621 case studies claiming to show the impact of their health and other life sciences research conducted over the last 20 years. The recently published results show many case studies were judged positively as providing examples of the wide range and extensive nature of the benefits from such research, including the development of new treatments and screening programmes that resulted in considerable reductions in mortality and morbidity. Analysis of specific case studies yet again illustrates the international dimension of progress in health research; however, as has also long been argued, not all populations fully share the benefits. In recognition of this, in May 2013 the World Health Assembly requested the World Health Organization (WHO) to establish a Global Observatory on Health Research and Development (R&D) as part of a strategic work-plan to promote innovation, build capacity, improve access, and mobilise resources to address diseases that disproportionately affect the world’s poorest countries. As editors of Health Research Policy and Systems (HARPS), we are delighted that our journal has been invited to help inform the establishment of the WHO Global Observatory through a Call for Papers covering a range of topics relevant to the Observatory, including topics on which HARPS has published articles over the last few months, such as approaches to assessing research results, measuring expenditure data with a focus on R&D, and landscape analyses of platforms for implementing R&D. Topics related to research capacity building may also be considered. The task of establishing a Global Observatory on Health R&D to achieve the specified objectives will not be easy; nevertheless, this Call for Papers is well timed – it comes just at the point where the evidence of the benefits from health research has been considerably strengthened

Evolutionary ecology in-silico:evolving foodwebs, migrating population and speciation

We have generalized our ``unified'' model of evolutionary ecology by taking into account the possible movements of the organisms from one ``patch'' to another within the same eco-system. We model the spatial extension of the eco-system (i.e., the geography) by a square lattice where each site corresponds to a distinct ``patch''. A self-organizing hierarchical food web describes the prey-predator relations in the eco-system. The same species at different patches have identical food habits but differ from each other in their reproductive characteristic features. By carrying out computer simulations up to $10^9$ time steps, we found that, depending on the values of the set of parameters, the distribution of the lifetimes of the species can be either exponential or a combination of power laws. Some of the other features of our ``unified'' model turn out to be robust against migration of the organisms.Comment: 12 pages of PS file, including LATEX text and 9 EPS figure

An Axiomatic Approach to Support in Argumentation

International audienceIn the context of bipolar argumentation (argumentation with two kinds of interaction, attacks and supports), we present an axiomatic approach for taking into account a special interpretation of the support relation, the necessary support. We propose constraints that should be imposed to a bipolar argumentation system using this interpretation. Some of these constraints concern the new attack relations, others concern acceptability. We extend basic Dung’s framework in different ways in order to propose frameworks suitable for encoding these constraints. By the way, we propose a formal study of properties of necessary support

Risk Factors for Cervical Precancer and Cancer in HIV-Infected, HPV-Positive Rwandan Women

Although cervical cancer is an AIDS-defining condition, infection with human immunodeficiency virus (HIV) may only modestly increase the risk of cervical cancer. There is a paucity of information regarding factors that influence the natural history of human papillomavirus (HPV) in HIV-infected women. We examined factors associated with cervical intraepithelial neoplasia grade 3 or cancer (CIN3+) in Rwandan women infected with both HIV and HPV (HIV+/HPV+).In 2005, 710 HIV+ Rwandan women ≥25 years enrolled in an observational cohort study; 476 (67%) tested HPV+. Each woman provided sociodemographic data, CD4 count, a cervical cytology specimen and cervicovaginal lavage (CVL), which was tested for >40 HPV genotypes by MY09/MY11 PCR assay. Logistic regression models calculated odds ratios (OR) and 95% confidence intervals (CI) of associations of potential risk factors for CIN3+ among HIV+/HPV+ women.Of the 476 HIV+/HPV+ women 42 (8.8%) were diagnosed with CIN3+. Factors associated with CIN3+ included ≥7 (vs. 0-2) pregnancies, malarial infection in the previous six months (vs. never), and ≥7 (vs. 0-2) lifetime sexual partners. Compared to women infected by non-HPV16 carcinogenic HPV genotypes, HPV16 infection was positively associated and non-carcinogenic HPV infection was inversely associated with CIN3+. CD4 count was significantly associated with CIN3+ only in analyses of women with non-HPV16 carcinogenic HPV (OR = 0.62 per 100 cells/mm(3), CI = 0.40-0.97).In this HIV+/HPV+ population, lower CD4 was significantly associated with CIN3+ only in women infected with carcinogenic non-HPV16. We found a trend for higher risk of CIN3+ in HIV+ women reporting recent malarial infection; this association should be investigated in a larger group of HIV+/HPV+ women