Fine-grained visualization pipelines and lazy functional languages

The pipeline model in visualization has evolved from a conceptual model of data processing into a widely used architecture for implementing visualization systems. In the process, a number of capabilities have been introduced, including streaming of data in chunks, distributed pipelines, and demand-driven processing. Visualization systems have invariably built on stateful programming technologies, and these capabilities have had to be implemented explicitly within the lower layers of a complex hierarchy of services. The good news for developers is that applications built on top of this hierarchy can access these capabilities without concern for how they are implemented. The bad news is that by freezing capabilities into low-level services expressive power and flexibility is lost. In this paper we express visualization systems in a programming language that more naturally supports this kind of processing model. Lazy functional languages support fine-grained demand-driven processing, a natural form of streaming, and pipeline-like function composition for assembling applications. The technology thus appears well suited to visualization applications. Using surface extraction algorithms as illustrative examples, and the lazy functional language Haskell, we argue the benefits of clear and concise expression combined with fine-grained, demand-driven computation. Just as visualization provides insight into data, functional abstraction provides new insight into visualization

On the relation between income inequality and happiness: Do fairness perceptions matter?

In this paper, we revisit the association between happiness and inequality. We argue that the perceived fairness of the income generation process affects this association. Building on a two-period model of individual life-time utility maximization, we predict that persons with higher perceived fairness will experience higher levels of life-time utility and are less in favor of income redistribution. In societies with a high level of actual social mobility, income inequality is perceived more positively with increased expected fairness. The opposite is expected for countries with low actual social mobility, due to an increasing relevance of a disappointment effect resulting from unsuccessful individual investments. Using the World Values Survey data and a broad set of fairness measures, we find strong support for the negative (positive) association between fairness perceptions and the demand for more equal incomes (subjective well-being). We also find strong empirical support for the disappointment effect in low social mobility countries. In contrast, the results for high-mobility countries turn out to be ambiguous.Happiness; life satisfaction; subjective well-being; inequality; income distribution; redistribution; political ideology; justice; fairness; World Values Survey

On the relation between income inequality and happiness: Do fairness perceptions matter?

In this paper, we revisit the association between happiness and inequality. We argue that the perceived fairness of the income generation process affects this association. Building on a two-period model of individual life-time utility maximization, we predict that persons with higher perceived fairness will experience higher levels of life-time utility and are less in favor of income redistribution. In societies with a high level of actual social mobility, income inequality is perceived more positively with increased expected fairness. The opposite is expected for countries with low actual social mobility, due to an increasing relevance of a disappointment effect resulting from unsuccessful individual investments. Using the World Values Survey data and a broad set of fairness measures, we find strong support for the negative (positive) association between fairness perceptions and the demand for more equal incomes (subjective well-being). We also find strong empirical support for the disappointment effect in low social mobility countries. In contrast, the results for high-mobility countries turn out to be ambiguous.Happiness; life satisfaction; subjective well-being; inequality; income distribution; redistribution; political ideology; justice; fairness; World Values Survey

A theorem-proving approach to deciding properties of finite control agents

The report presents a decision procedure for assertions in an extension of the mu-calculus about finite-control pi-calculus agents. The procedure is based on the classical cut-free sequent calculus and associated techniques of automatic theorem proving

A Data Transformation System for Biological Data Sources

Scientific data of importance to biologists in the Human Genome Project resides not only in conventional databases, but in structured files maintained in a number of different formats (e.g. ASN.1 and ACE) as well a.s sequence analysis packages (e.g. BLAST and FASTA). These formats and packages contain a number of data types not found in conventional databases, such as lists and variants, and may be deeply nested. We present in this paper techniques for querying and transforming such data, and illustrate their use in a prototype system developed in conjunction with the Human Genome Center for Chromosome 22. We also describe optimizations performed by the system, a crucial issue for bulk data

What about lay counselors' experiences of task-shifting mental health interventions? Example from a family-based intervention in Kenya.

Background:A key focus of health systems strengthening in low- and middle-income countries is increasing reach and access through task-shifting. As such models become more common, it is critical to understand the experiences of lay providers because they are on the forefront for delivering care services. A greater understanding would improve lay provider support and help them provide high-quality care. This is especially the case for those providing mental health services, as providing psychological care may pose unique stressors. We sought to understand experiences of lay counselors, focusing on identity, motivation, self-efficacy, stress, and burnout. The goal was to understand how taking on a new provider role influences their lives beyond simply assuming a new task, which would in turn help identify actionable steps to improve interventions with task-shifting components. Methods:Semi-structured interviews (n = 20) and focus group discussions (n = 3) were conducted with three lay counselor groups with varying levels of experience delivering a community-based family therapy intervention in Eldoret, Kenya. Thematic analysis was conducted, including intercoder reliability checks. A Stress Map was created to visualize stress profiles using free-listing and pile-sorting data collected during interviews and focus group discussions. Results:Counselors described high intrinsic motivation to become counselors and high self-efficacy after training. They reported positive experiences in the counselor role, with new skills improving their counseling and personal lives. As challenges arose, including client engagement difficulties and balancing many responsibilities, stress and burnout increased, dampening motivation and self-efficacy. In response, counselors described coping strategies, including seeking peer and supervisor support, that restored their motivation to persevere. At case completion, they again experienced high self-efficacy and a desire to continue. Conclusions:Findings informed suggestions for ways to incorporate support for lay providers into task-shifting interventions at initiation, during training, and throughout implementation. These include acknowledging and preparing counselors for challenges during training, increasing explicit attention to counselor stress in supervision, fostering peer support among lay providers, and ensuring a fair balance between workload and compensation. Improving and building an evidence base around practices for supporting lay providers will improve the effectiveness and sustainability of lay provider-delivered interventions

Culture, beliefs and economic performance

Beliefs are one component of culture. Data from the World Values Survey is available on a subset of beliefs concerning (broadly) meritocracy and poverty that appear relevant for economics. We document how they vary as well as their distribution across countries. We then correlate these measures of beliefs with economic growth and compare them with institutional and geographical determinants of income. A strong negative relationship is found between leftist economic beliefs and growth but little evidence is found of a relationship with respect to non-economic beliefs. Finally, we briefly discuss some causal effects on beliefs. The evidence suggests that higher country risk and more dependence on natural resources shifts nations to a more leftist set of economic beliefs. Overall the evidence supports the view that cultural specificities may explain why certain institutions cannot be transplanted between nations with different cultural histories and underlines the limit to policy activism