IntelliGraphs: Datasets for Benchmarking Knowledge Graph Generation

Knowledge Graph Embedding (KGE) models are used to learn continuous representations of entities and relations. A key task in the literature is predicting missing links between entities. However, Knowledge Graphs are not just sets of links but also have semantics underlying their structure. Semantics is crucial in several downstream tasks, such as query answering or reasoning. We introduce the subgraph inference task, where a model has to generate likely and semantically valid subgraphs. We propose IntelliGraphs, a set of five new Knowledge Graph datasets. The IntelliGraphs datasets contain subgraphs with semantics expressed in logical rules for evaluating subgraph inference. We also present the dataset generator that produced the synthetic datasets. We designed four novel baseline models, which include three models based on traditional KGEs. We evaluate their expressiveness and show that these models cannot capture the semantics. We believe this benchmark will encourage the development of machine learning models that emphasize semantic understanding

Progress in HPV vaccination in low- and lower-middle-income countries.

The past 10 years have seen remarkable progress in the global scale-up of human papillomavirus (HPV) vaccinations. Forty-three low- and lower-middle-income countries (LLMICs) have gained experience in delivering this vaccine to young adolescent girls through pilot programs, demonstration programs, and national introductions and most of these have occurred in the last 4 years. The experience of Senegal is summarized as an illustrative country case study. Publication of numerous delivery experiences and lessons learned has demonstrated the acceptability and feasibility of HPV vaccinations in LLMICs. Four areas require dedicated action to overcome remaining challenges to national scaling-up: maintaining momentum politically, planning successfully, securing financing, and fostering sustainability. Advances in policy, programming, and science may help accelerate reaching 30 million girls in LLMICs with HPV vaccine by 2020

Forest Fragments as Barriers to Fruit Fly Dispersal: \u3ci\u3eAnastrepha\u3c/i\u3e (Diptera: Tephritidae) Populations in Orchards and Adjacent Forest Fragments in Puerto Rico

McPhail-type traps baited with ammonium acetate and putrescine were used to monitor populations of Anastrepha obliqua (Macquart) and Anastrepha suspensa(Loew) in two orchards with hosts of these flies (mango, Mangifera indica L., and carambola, Averrhoa carambola L.), as well as in forest fragments bordering these orchards. Contour maps were constructed to measure population distributions in and around orchards. Our results indicate that Anastrephapopulations are focused around host fruit in both space and time, that traps do not draw fruit flies away from hosts, even when placed within 15 m of the host, and that lures continue to function for 6 mo in the field. The contour mapping analyses reveal that populations of fruit flies are focused around ovipositional hosts. Although the trapping system does not have a very long effective sampling range, it is ideal, when used in combination with contour analyses, for assessing fine-scale (on the order of meters) population distributions, including identifying resources around which fly populations are focused or, conversely, assessing the effectiveness of management tools. The results are discussed as they pertain to monitoring and detecting Anastrepha spp. with the McPhail-type trap and ammonium acetate and putrescine baiting system and the dispersal of these flies within Puerto Rico

LNCS

Systems ought to behave reasonably even in circumstances that are not anticipated in their specifications. We propose a definition of robustness for liveness specifications which prescribes, for any number of environment assumptions that are violated, a minimal number of system guarantees that must still be fulfilled. This notion of robustness can be formulated and realized using a Generalized Reactivity formula. We present an algorithm for synthesizing robust systems from such formulas. For the important special case of Generalized Reactivity formulas of rank 1, our algorithm improves the complexity of [PPS06] for large specifications with a small number of assumptions and guarantees

Feasibility and acceptability of delivering adolescent health interventions alongside HPV vaccination in Tanzania.

BACKGROUND: Human papillomavirus (HPV) vaccination offers an opportunity to strengthen provision of adolescent health interventions (AHI). We explored the feasibility of integrating other AHI with HPV vaccination in Tanzania. METHODS: A desk review of 39 policy documents was preceded by a stakeholder meeting with 38 policy makers and partners. Eighteen key informant interviews (KIIs) with health and education policy makers and district officials were conducted to further explore perceptions of current programs, priorities and AHI that might be suitable for integration with HPV vaccination. RESULTS: Fourteen school health interventions (SHI) or AHI are currently being implemented by the Government of Tanzania. Most are delivered as vertical programmes. Coverage of current programs is not universal, and is limited by financial, human resource and logistic constraints. Limited community engagement, rumours, and lack of strategic advocacy has affected uptake of some interventions, e.g. tetanus toxoid (TT) immunization. Stakeholder and KI perceptions and opinions were limited by a lack of experience with integrated delivery and AHI that were outside an individual's area of expertise and experience. Deworming and educational sessions including reproductive health education were the most frequently mentioned interventions that respondents considered suitable for integrated delivery with HPV vaccine. CONCLUSIONS: Given programme constraints, limited experience with integrated delivery and concern about real or perceived side-effects being attributed to the vaccine, it will be very important to pilot-test integration of AHI/SHI with HPV vaccination. Selected interventions will need to be simple and quick to deliver since health workers are likely to face significant logistic and time constraints during vaccination visits

A Consensus Set of Outcomes for Parkinson's Disease from the International Consortium for Health Outcomes Measurement

Background: Parkinson's disease (PD) is a progressive neurodegenerative condition that is expected to double in prevalence due to demographic shifts. Value-based healthcare is a proposed strategy to improve outcomes and decrease costs. To move towards an actual value-based health care system, condition-specific outcomes that are meaningful to patients are essential. Objective: Propose a global consensus standard set of outcome measures for PD. Methods: Established methods for outcome measure development were applied, as outlined and used previously by the International Consortium for Health Outcomes Measurement (ICHOM). An international group, representing both patients and experts from the fields of neurology, psychiatry, nursing, and existing outcome measurement efforts, was convened. The group participated in six teleconferences over a six-month period, reviewed existing data and practices, and ultimately proposed a standard set of measures by which patients should be tracked, and how often data should be collected. Results: The standard set applies to all cases of idiopathic PD, and includes assessments of motor and non-motor symptoms, ability to work, PD-related health status, and hospital admissions. Baseline demographic and clinical variables are included to enable case mix adjustment. Conclusions: The Standard Set is now ready for use and pilot testing in the clinical setting. Ultimately, we believe that using the set of outcomes proposed here will allow clinicians and scientists across the world to document, report, and compare PD-related outcomes in a standardized fashion. Such international benchmarks will improve our understanding of the disease course and allow for identification of 'best practices', ultimately leading to better informed treatment decisions.This project was funded by the International Consortium for Health Outcome Measurement.S

HPV vaccination introduction worldwide and WHO and UNICEF estimates of national HPV immunization coverage 2010–2019

WHO/UNICEF estimates for HPV vaccination coverage from 2010 to 2019 are analyzed against the backdrop of the 90% coverage target for HPV vaccination by 2030 set in the recently approved global strategy for cervical cancer elimination as a public health problem. As of June 2020, 107 (55%) of the 194 WHO Member States have introduced HPV vaccination. The Americas and Europe are by far the WHO regions with the most introductions, 85% and 77% of their countries having already introduced respectively. A record number of introductions was observed in 2019, most of which in low- and middle- income countries (LMIC) where access has been limited. Programs had an average performance coverage of around 67% for the first dose and 53% for the final dose of HPV. LMICs performed on average better than high- income countries for the first dose, but worse for the last dose due to higher dropout. Only 5 (6%) countries achieved coverages with the final dose of more than 90%, 22 countries (21%) achieved coverages of 75% or higher while 35 (40%) had a final dose coverage of 50% or less. When expressed as world population coverage (i.e., weighted by population size), global coverage of the final HPV dose for 2019 is estimated at 15%. There is a long way to go to meet the 2030 elimination target of 90%. In the post-COVID era attention should be paid to maintain the pace of introductions, specially ensuring the most populous countries introduce, and further improving program performance globally

Standardizing and Scaling up Quality Adolescent Friendly Health Services in Tanzania.

Adolescents in Tanzania require health services that respond to their sexual and reproductive health - and other - needs and are delivered in a friendly and nonjudgemental manner. Systematizing and expanding the reach of quality adolescent friendly health service provision is part of the Tanzanian Ministry of Health and Social Welfare's (MOHSW) multi-component strategy to promote and safeguard the health of adolescents. We set out to identify the progress made by the MOHSW in achieving the objective it had set in its National Adolescent Health and Development Strategy: 2002-2006, to systematize and extend the reach of Adolescent Friendly Health Services (AFHS) in the country. We reviewed plans and reports from the MOHSW and journal articles on AFHS. This was supplemented with several of the authors' experiences of working to make health services in Tanzania adolescent friendly. The MOHSW identified four key problems with what was being done to make health services adolescent friendly in the country - firstly, it was not fully aware of the various efforts under way; secondly, there was no standardized definition of AFHS; thirdly, it had received reports that the quality of the AFHS being provided by some organizations was poor; and fourthly, only small numbers of adolescents were being reached by the efforts that were under way. The MOHSW responded to these problems by mapping existing services, developing a standardized definition of AFHS, charting out what needed to be done to improve their quality and expand their coverage, and integrating AFHS within wider policy and strategy documents and programmatic measurement instruments. It has also taken important preparatory steps to stimulate and support implementation. The MOHSW is aware that the focus of the effort must now shift from the national to the regional, council and local levels. The onus is on regional and council health management teams as well as health facility managers to take the steps needed to ensure that all adolescents in the country obtain the sexual and reproductive health (SRH) services they need, delivered in a friendly and non-judgemental manner. But they cannot do this without substantial and ongoing support

Experimental Aspects of Synthesis

We discuss the problem of experimentally evaluating linear-time temporal logic (LTL) synthesis tools for reactive systems. We first survey previous such work for the currently publicly available synthesis tools, and then draw conclusions by deriving useful schemes for future such evaluations. In particular, we explain why previous tools have incompatible scopes and semantics and provide a framework that reduces the impact of this problem for future experimental comparisons of such tools. Furthermore, we discuss which difficulties the complex workflows that begin to appear in modern synthesis tools induce on experimental evaluations and give answers to the question how convincing such evaluations can still be performed in such a setting.Comment: In Proceedings iWIGP 2011, arXiv:1102.374

Efficacy of MRI in primary care for patients with knee complaints due to trauma: Protocol of a randomised controlled non-inferiority trial (TACKLE trial)

Background: Patients with traumatic knee complaints regularly consult their general practitioner (GP). MRI might be a valuable diagnostic tool to assist GPs in making appropriate treatment decisions and reducing costs. Therefore, this study will assess the cost-effectiveness of referral to MRI by GPs compared with usual care, in patients with persistent traumatic knee complaints. Design and methods. This is a multi-centre, open-labelled randomised controlled non-inferiority trial in combination with a concurrent observational cohort study. Eligible patients (aged 18-45 years) have knee complaints due to trauma (or sudden onset) occurring in the preceding 6 months and consulting their GP. Participants are randomised to: 1) an MRI group, i.e. GP referral to MRI, or 2) a usual care group, i.e. no MRI. Primary outcomes are knee-related daily function, medical costs (healthcare use and productivity loss), and quality of life. Secondary outcomes are disability due to knee complaints, severity of knee pain, and patients' perceived recovery and satisfaction. Outcomes are measured at baseline and at 1.5, 3, 6, 9 and 12 months follow-up. Also collected are data on patient demographics, GPs' initial working diagnosis, GPs' preferred management at baseline, and MRI findings. Discussion. In the Netherlands, the additional diagnostic value and cost-effectiveness of direct access to knee MRI for patients presenting with traumatic knee complaints in general practice is unknown. Although GPs increasingly refer patients to MRI, the Dutch clinical guideline 'Traumatic knee complaints' for GPs does not recommend referral to MRI, mainly because the cost-effectiveness is still unknown. Trial registration. Dutch Trial Registration: NTR3689