Inference and Declaration of Independence in Task-Parallel Programs

The inherent difficulty of thread-based shared-memory programming has recently motivated research in high-level, task-parallel programming models. Recent advances of Task-Parallel models add implicit synchronization, where the system automatically detects and satisfies data dependencies among spawned tasks. However, dynamic dependence analysis incurs significant runtime overheads, because the runtime must track task resources and use this information to schedule tasks while avoiding conflicts and races.
We present SCOOP, a compiler that effectively integrates static and dynamic analysis in code generation. SCOOP combines context-sensitive points-to, control-flow, escape, and effect analyses to remove redundant dependence checks at runtime. Our static analysis can work in combination with existing dynamic analyses and task-parallel runtimes that use annotations to specify tasks and their memory footprints. We use our static dependence analysis to detect non-conflicting tasks and an existing dynamic analysis to handle the remaining dependencies. We evaluate the resulting hybrid dependence analysis on a set of task-parallel programs.

Power and the Construction of Independence in ICTD Organizations

How do powerful vested interests continue to influence ICT for development (ICTD) projects? In this paper, instead of adopting a macro-level analysis, I take an in-depth, ethnographic approach to focus on work practices at one NGO involved in producing information and communication technologies for use in developing countries. Staff decisions at this NGO were influenced by particular powerful organizations, and I draw on theoretical insights from organization studies in order to understand this. The approach yields surprising results. Staff members appeared able to "stand back" from the pressures coming from donors and other influential parties, and to critically reflect upon these. Paradoxically, rather than fueling resistance, this sense of independence appeared to reinforce dependency on these powerful organizations. Moreover, the fact that this NGO was engaged in ICTD work further heightened these effects. This study extends existing understandings of how power operates within ICTD organizations, by highlighting the ways in which a sense of independence can paradoxically exacerbate donor influence over work activities.

Il Piano della Performance nei Comuni medi. La proposta di una nuova configurazione per superare l’inadeguatezza delle prime applicazioni

Il D.Lgs. 150/09 ha inteso dar vita ad una “riforma organica” della PA italiana, improntandone il funzionamento a logiche di programmazione e controllo delle performance. Attorno a tale concetto la riforma ha costruito un Sistema teso a programmare, misurare, controllare, valutare e comunicare la performance degli enti. Il lavoro si focalizza sulla programmazione, e in particolare sullo strumento cardine introdotto dal D.Lgs. 150/09: il Piano della Performance (PdP). Il contributo, basato su una metodologia deduttivo-induttiva, si concentra sui comuni medi italiani, scelti in quanto statisticamente rappresentativi del livello medio di complessità degli enti locali. Sono stati oggetto di indagine i PdP pubblicati sui siti istituzionali degli enti considerati, al fine di verificarne sia il livello di aderenza alle Linee Guida (LG) emanate dalla Commissione Indipendente per la Valutazione, la Trasparenza e l’Integrità delle amministrazioni pubbliche (CIVIT) e dalla Associazione Nazionale Comuni Italiani (ANCI), sia il loro livello di adeguatezza economico-aziendale. Preliminarmente si indagherà il tema della programmazione, sotto il profilo normativo-dottrinale, concentrandosi su soggetti, processi e strumenti. Poi si sposterà il focus sul PdP: dopo aver definito obiettivi, quesiti e metodologia della ricerca, verranno esplicitate le configurazioni di PdP emergenti dalle LG CIVIT e ANCI. Verranno poi illustrati i risultati della ricerca empirica, mettendo in luce il livello di allineamento dei PdP dei comuni medi alle LG, nonché il livello di adeguatezza economico-aziendale degli stessi. Si tratteggeranno quindi alcune brevi conclusioni.

Scotland, Renewable Energy and the Independence Debate: Will Head or Heart Rule the Roost?

Political support for renewable energy development, especially offshore renewables, is particularly conspicuous in Scotland and is a centrepiece of SNP policy. However, this is built on something of a paradox because, put simply, without the subsidies paid by electricity consumers in the rest of the UK, the Scottish Government's ambitious targets for renewable energy would be politically unachievable. We argue in this paper that if Scotland does move towards independence, then there could be little reason for the UK to continue paying (much) of the subsidies since the resulting renewable generation would no longer contribute towards UK renewable energy targets. We suggest that the potential scenarios, and their implications, needs to be far better considered in the arguments around the Scottish constitutional position and the broader aims of UK energy policy.

Optimisation of Environment-friendly SCFRC mixes use in precast Concrete Industry

The concept of green concrete has been progressively introduced in concrete technology. At the same time, new generations of superplasticisers have become widely available and self-compacting concrete is being increasingly implemented. The aim of this research is to study the impact that different sustainable materials have on both fresh and hardened properties of Self-Compacting Fibre Reinforced Concrete (SCFRC) in order to implement their use in a precast concrete company. Different combinations of cement, mineral additions (active and inert), polypropylene fibres, superplasticisers, and aggregates have been considered. Fresh state performance has been assessed by means of: slump flow test, V-funnel, and J-ring. Concrete compressive strength values at different ages have been retained as representative of the material's performance in its hardened state. All these properties have been correlated with SCFRC proportioning parameters. The importance of interactions between mineral additions and between these and superplasticiser is emphasised, as well as the different consequences of using powders as cement replacement or as mineral additions.

Optimisation of Environment-friendly SCFRC mixes use in precast Concrete Industry (PDF Download Available). Available from: http://www.researchgate.net/publication/263304799_Optimisation_of_Environment-friendly_SCFRC_mixes_use_in_precast_Concrete_Industry [accessed Jun 5, 2015].

'"These schemes will win for themselves the confidence of the people": Irish independence, poor law reform and hospital provision'

This article examines hospital provision in Ireland during the early twentieth century. It examines attempts by the newly independent Irish Free State to reform and de-stigmatise medical relief in former workhouse infirmaries. Such reforms were designed to move away from nineteenth century welfare regimes which were underpinned by principles of deterrence. The reform initiated in independent Ireland - the first attempted break-up of the New Poor Law in Great Britain or Ireland - was partly successful. Many of the newly named County and District Hospitals provided solely for medical cases and managed to dissociate such health care provision from the relief of poverty. However, some hospitals continued to act as multifunctional institutions and provided for various categories including the sick, the aged and infirm, 'unmarried mothers' and 'harmless lunatics'. Such institutions often remained associated with the relief of poverty. This article also examines patient fee-payment and outlines how fresh terms of entitlement and means-testing were established. Such developments were even more pronounced in voluntary hospitals where the majority of patients made a financial contribution to their treatment. The article argues that the ability to pay at times determined the type of provision, either voluntary or rate-aided, available to the sick. However, it concludes that the clinical condition of patients often determined whether they entered a more prestigious voluntary hospital or the former workhouse. Although this article concentrates on two Irish case studies, County Kerry and Cork City; it is conceptualised within wider developments with particular reference to the British context.

"...and they won land among the Picts by friendly treaty or the sword": How a re-examination of early historical sources and an analysis of early medieval settlement in north Co. Antrim confirms the validity of traditional accounts of Dál Riatic migration to Scotland from Ulster

Much recent scholarship has been critical of the concept of a Dál Riatic migration to, or colonisation of, Argyll. Scepticism of the accuracy of the early medieval accounts of this population movement, arguing that these are late amendments to early sources, coupled with an apparent lack of archaeological evidence for such a migration have led to its rejection. It is argued here, however, that this rejection has been based on too narrow a reading of historical sources and that there are several early accounts which, while differing in detail, agree on one point of substance, that the origin of Scottish Dál Riata lies in Ireland. Also, the use of archaeological evidence to suggest no migration to Argyll by the Dál Riata is flawed, misunderstanding the nature of early migrations and how they might be archaeologically identified, and it's proposed that there is actually quite a lot of evidence for migration to Argyll by the Dál Riata, in the form of settlement and artefactural evidence, but that it is to be found in Ireland through the mechanism of counterstream migration, rather than in Scotland.

Kuznetsov independence for interval-valued expectations and sets of probability distributions: Properties and algorithms

Kuznetsov independence of variables X and Y means that, for any pair of bounded functions f(X) and g(Y), E[f(X)g(Y)]=E[f(X)] *times* E[g(Y)], where E[.] denotes interval-valued expectation and *times* denotes interval multiplication. We present properties of Kuznetsov independence for several variables, and connect it with other concepts of independence in the literature; in particular we show that strong extensions are always included in sets of probability distributions whose lower and upper expectations satisfy Kuznetsov independence. We introduce an algorithm that computes lower expectations subject to judgments of Kuznetsov independence by mixing column generation techniques with nonlinear programming. Finally, we define a concept of conditional Kuznetsov independence, and study its graphoid properties.

Assembling a consistent set of sentences in relational probabilistic logic with stochastic independence

We examine the representation of judgements of stochastic independence in probabilistic logics. We focus on a relational logic where (i) judgements of stochastic independence are encoded by directed acyclic graphs, and (ii) probabilistic assessments are flexible in the sense that they are not required to specify a single probability measure. We discuss issues of knowledge representation and inference that arise from our particular combination of graphs, stochastic independence, logical formulas and probabilistic assessments.

Probabilistic logic with independence

This paper investigates probabilistic logics endowed with independence relations. We review propositional probabilistic languages without and with independence. We then consider graph-theoretic representations for propositional probabilistic logic with independence; complexity is analyzed, algorithms are derived, and examples are discussed. Finally, we examine a restricted first-order probabilistic logic that generalizes relational Bayesian networks.

Computing lower and upper expectations under epistemic independence

This paper investigates the computation of lower/upper expectations that must cohere with a collection of probabilistic assessments and a collection of judgements of epistemic independence. New algorithms, based on multilinear programming, are presented, both for independence among events and among random variables. Separation properties of graphical models are also investigated.