The Tyranny of the Vital Few: The Pareto Principle in Language Design

Modern high-level programming languages often contain constructs whose semantics are non-trivial. In practice how- ever, software developers generally restrict the use of such constructs to settings in which their semantics is simple (programmers use language constructs in ways they understand and can reason about). As a result, when developing tools for analyzing and manipulating software, a disproportionate amount of effort ends up being spent developing capabilities needed to analyze constructs in settings that are infrequently used. This paper takes the position that such distinctions between theory and practice are an important measure o f the analyzability of a language

Programming errors in traversal programs over structured data

Traversal strategies \'a la Stratego (also \'a la Strafunski and 'Scrap Your Boilerplate') provide an exceptionally versatile and uniform means of querying and transforming deeply nested and heterogeneously structured data including terms in functional programming and rewriting, objects in OO programming, and XML documents in XML programming. However, the resulting traversal programs are prone to programming errors. We are specifically concerned with errors that go beyond conservative type errors; examples we examine include divergent traversals, prematurely terminated traversals, and traversals with dead code. Based on an inventory of possible programming errors we explore options of static typing and static analysis so that some categories of errors can be avoided. This exploration generates suggestions for improvements to strategy libraries as well as their underlying programming languages. Haskell is used for illustrations and specifications with sufficient explanations to make the presentation comprehensible to the non-specialist. The overall ideas are language-agnostic and they are summarized accordingly

Sustainable development, poverty eradication and reducing inequalities

This chapter takes sustainable development as the starting point and focus for analysis. It considers the broad and multifaceted bi-directional interplay between sustainable development, including its focus on eradicating poverty and reducing inequality in their multidimensional aspects, and climate actions in a 1.5°C warmer world. These fundamental connections are embedded in the Sustainable Development Goals (SDGs). The chapter also examines synergies and trade-offs of adaptation and mitigation options with sustainable development and the SDGs and offers insights into possible pathways, especially climate-resilient development pathways towards a 1.5°C warmer world

Seventh Annual Workshop on Space Operations Applications and Research (SOAR 1993), volume 1

This document contains papers presented at the Space Operations, Applications and Research Symposium (SOAR) Symposium hosted by NASA/Johnson Space Center (JSC) on August 3-5, 1993, and held at JSC Gilruth Recreation Center. SOAR included NASA and USAF programmatic overview, plenary session, panel discussions, panel sessions, and exhibits. It invited technical papers in support of U.S. Army, U.S. Navy, Department of Energy, NASA, and USAF programs in the following areas: robotics and telepresence, automation and intelligent systems, human factors, life support, and space maintenance and servicing. SOAR was concerned with Government-sponsored research and development relevant to aerospace operations. More than 100 technical papers, 17 exhibits, a plenary session, several panel discussions, and several keynote speeches were included in SOAR '93

Policing in partnership. Are organic police partnerships more effective than mandated police partnerships?

This thesis adopts a broad qualitative standpoint. It examines police involvement in partnerships before and after the implementation of the Crime and Disorder Act, 1998, legislation which mandated the police to work in partnership. A case-study of Staffordshire Police explores experiences of officers working in partnerships pre and post 1998. The research is used to provide insights into the complexity that is partnership, which has wider applicability beyond policing. The thesis examines also the concept and specific mechanisms of policing in partnership that have, in the main, been championed by successive government administrations since New Labour in the late 1990s and are now largely assumed as being an 'effective and efficient' way of working. The thesis identifies an important hitherto strangely underexplored fact, namely: that the foundational policy document, which framed the Crime and Disorder Act mandating police-partnerships, the Morgan Report (1991), produced zero-evidence as to the efficacy of the partnership approach it advocates. Despite being unevidenced, the Morgan Report set in motion a national framework, bureaucratization and professionalization of partnerships. Consequently, there now exists a complex web of professional clustering’s around pre-defined problems. Significantly, the research identifies, that the formality of partnership has encouraged the police to withdraw from elements of their pre-Morgan service and care functions. Equally, partnership has little or no connection to current policing strategy. More recently Police and Crime Commissioners provide a new dynamic to partnership governance and their increasing 'influence' is being felt. However, government fiscal austerity has shifted contemporary partnership discourse with evidence presented of organizations withdrawing support and re-entrenching core activity. The thesis concludes by framing a new conceptualization for assessing partnership effectiveness

Special Report on Global warming of 1.5°C (SR15) - Chapter 5:Sustainable Development, Poverty Eradication and Reducing Inequalities

The Special Report on 1.5°C assesses three main themes: • What would be required to limit warming to 1.5°C (mitigation pathways) • The impacts of 1.5°C of warming, compared to 2ºC and higher • Strengthening the global response to climate change; mitigation and adaptation options The connections between climate change and sustainable development and efforts to eradicate poverty are discussed throughout the report. This chapter takes sustainable development as the starting point and focus for analysis. It considers the broad and multifaceted bi-directional interplay between sustainable development, including its focus on eradicating poverty and reducing inequality in their multidimensional aspects, and climate actions in a 1.5°C warmer world. These fundamental connections are embedded in the Sustainable Development Goals (SDGs). The chapter also examines synergies and trade-offs of adaptation and mitigation options with sustainable development and the SDGs and offers insights into possible pathways, especially climate-resilient development pathways towards a 1.5°C warmer world

Manipulation of Online Reviews: Analysis of Negative Reviews for Healthcare Providers

There is a growing reliance on online reviews in today’s digital world. As the influence of online reviews amplified in the competitive marketplace, so did the manipulation of reviews and evolution of fake reviews on these platforms. Like other consumer-oriented businesses, the healthcare industry has also succumbed to this phenomenon. However, health issues are much more personal, sensitive, complicated in nature requiring knowledge of medical terminologies and often coupled with myriad of interdependencies. In this study, we collated the literature on manipulation of online reviews, identified the gaps and proposed an approach, including validation of negative reviews of the 500 doctors from three different states: New York and Arizona in USA and New South Wales in Australia from the RateMDs website. The reviews of doctors was collected, which includes both numerical star ratings (1-low to 5-high) and textual feedback/comments. Compared to other existing research, this study will analyse the textual feedback which corresponds to the clinical quality of doctors (helpfulness and knowledge criteria) rather than process quality experiences. Our study will explore pathways to validate the negative reviews for platform provider and rank the doctors accordingly to minimise the risks in healthcare