Program Representation Size in an Intermediate Language with Intersection and Union Types

The CIL compiler for core Standard ML compiles whole programs using a novel typed intermediate language (TIL) with intersection and union types and flow labels on both terms and types. The CIL term representation duplicates portions of the program where intersection types are introduced and union types are eliminated. This duplication makes it easier to represent type information and to introduce customized data representations. However, duplication incurs compile-time space costs that are potentially much greater than are incurred in TILs employing type-level abstraction or quantification. In this paper, we present empirical data on the compile-time space costs of using CIL as an intermediate language. The data shows that these costs can be made tractable by using sufficiently fine-grained flow analyses together with standard hash-consing techniques. The data also suggests that non-duplicating formulations of intersection (and union) types would not achieve significantly better space complexity.

Fuzzy ART

Adaptive Resonance Theory (ART) models are real-time neural networks for category learning, pattern recognition, and prediction. Unsupervised fuzzy ART and supervised fuzzy ARTMAP synthesize fuzzy logic and ART networks by exploiting the formal similarity between the computations of fuzzy subsethood and the dynamics of ART category choice, search, and learning. Fuzzy ART self-organizes stable recognition categories in response to arbitrary sequences of analog or binary input patterns. It generalizes the binary ART 1 model, replacing the set-theoretic: intersection (∩) with the fuzzy intersection (∧), or component-wise minimum. A normalization procedure called complement coding leads to a symmetric: theory in which the fuzzy inter:>ec:tion and the fuzzy union (∨), or component-wise maximum, play complementary roles. Complement coding preserves individual feature amplitudes while normalizing the input vector, and prevents a potential category proliferation problem. Adaptive weights :otart equal to one and can only decrease in time. A geometric interpretation of fuzzy AHT represents each category as a box that increases in size as weights decrease. A matching criterion controls search, determining how close an input and a learned representation must be for a category to accept the input as a new exemplar. A vigilance parameter (p) sets the matching criterion and determines how finely or coarsely an ART system will partition inputs. High vigilance creates fine categories, represented by small boxes. Learning stops when boxes cover the input space. With fast learning, fixed vigilance, and an arbitrary input set, learning stabilizes after just one presentation of each input. A fast-commit slow-recode option allows rapid learning of rare events yet buffers memories against recoding by noisy inputs. Fuzzy ARTMAP unites two fuzzy ART networks to solve supervised learning and prediction problems. A Minimax Learning Rule controls ARTMAP category structure, conjointly minimizing predictive error and maximizing code compression. Low vigilance maximizes compression but may therefore cause very different inputs to make the same prediction. When this coarse grouping strategy causes a predictive error, an internal match tracking control process increases vigilance just enough to correct the error. ARTMAP automatically constructs a minimal number of recognition categories, or "hidden units," to meet accuracy criteria. An ARTMAP voting strategy improves prediction by training the system several times using different orderings of the input set. Voting assigns confidence estimates to competing predictions given small, noisy, or incomplete training sets. ARPA benchmark simulations illustrate fuzzy ARTMAP dynamics. The chapter also compares fuzzy ARTMAP to Salzberg's Nested Generalized Exemplar (NGE) and to Simpson's Fuzzy Min-Max Classifier (FMMC); and concludes with a summary of ART and ARTMAP applications.

A new world a new American foreign policy: the Carter administration, Nicaragua, and the legacy of the Vietnam War, 1977-1981

The impact of the Vietnam War conditioned the Carter administration’s response to the Nicaraguan revolution in ways that reduced US engagement with both sides of the conflict. It made the countries of Latin America counter the US approach and find their own solution to the crisis, and allowed Cuba to play a greater role in guiding the overthrow of Nicaraguan dictator Anastasio Somoza Debayle. This thesis re-evaluates Carter’s policy through the legacy of the Vietnam War, because US executive anxieties about military intervention, Congress’s increasing influence, and US public concerns about the nation’s global responsibilities, shaped the Carter approach to Nicaragua. Following a background chapter, the Carter administration’s policy towards Nicaragua is evaluated, before and after the fall of Somoza in July 1979. The extent of the Vietnam influence on US-Nicaraguan relations is developed by researching government documents on the formation of US policy, including material from the Jimmy Carter Library, the Library of Congress, the National Security Archive, the National Archives and Records Administration, and other government and media sources from the United Nations Archives, New York University, the New York Public Library, the Hoover Institution Archives, Tulane University and the Organization of American States. The thesis establishes that the Vietnam legacy played a key role in the Carter administration’s approach to Nicaragua. Before the overthrow of Somoza, the Carter administration limited their influence in Nicaragua because they felt there was no immediate threat from communism. The US feared that an active role in Nicaragua, without an established threat from Cuba or the Soviet Union, could jeopardise congressional support for other foreign policy goals deemed more important. The Carter administration, as a result, pursued a policy of non-intervention towards the Central American country. After the fall of Somoza, and the establishment of a new government with a left wing element represented by the Sandinistas, the Carter administration emphasised non-intervention in a military sense, but actively engaged with the new Nicaraguan leadership to contain the potential communist influence that could spread across Central America in the wake of the Nicaraguan revolution.

The Irish credit union movement: member participation and organisational effectiveness

This thesis explores the relationship between organisational effectiveness and member participation in Irish credit unions. It is hypothesised that a positive relationship exists between both variables. Co-operative literature suggests that co-operatives require the involvement of the members in identifying and meeting their own needs in order to be effective organisations. Previous research studies into the issue across a variety of organisational types have shown mixed results. Related research into credit unions is sparse. The primary research undertaken is both quantitative and qualitative in approach. Organisational effectiveness is examined in both quantitative and qualitative terms. Member participation, being an organisational process, is examined in qualitative terms. Indicators of organisational effectiveness, specific to credit unions, are drawn up and form a framework through which effectiveness is examined. A typology and indicators of member participation are also developed and form a framework through which member participation is examined. The case study method is used primarily, to examine organisational effectiveness and member participation in Irish credit unions. A case study of a theoretical credit union, which is based on a composite of good practice in credit unions in Ireland and internationally, is also drawn up to develop the analysis further. The case studies allow an analysis of both organisational effectiveness and member participation, as well as an exploration of the relationship between the two. The findings support the hypothesis that there is a direct relationship between the two variables. In order to be effective, credit unions must involve their members in identifying their needs and in designing services to meet these needs. At present, they do not do this to any large extent. In order to continue to meet the needs of their members and to compete in the financial services sector, credit unions will need to find ways of involving members, drawing on good practice in other co-operatives. This will be critical to their continued success.

Politically motivated former prisoner groups: community activism and conflict transformation

Aims and objectives: This study represents the first sustained quantitative and qualitative attempt to involve both Republicans and Loyalists in an investigation of the impact of imprisonment and the role of politically motivated former prisoners in the process of conflict transformation in Northern Ireland. The overall aim of the project is to examine the ways in which groups of former prisoners are involved in peace-building and conflict transformation work and to evaluate the constraints and impediments placed upon their activities by the effects of the imprisonment process, politically motivated release and residual criminalisation. In pursuing the evaluation of the role of politically motivated former prisoners working within and without their own communities, the research has six specific objectives: To trace the evolution and development of former prisoner groups; To evaluate the impacts of imprisonment and release on the personal lives of former prisoners; To assess the constraints imposed on former prisoners as agents of change by the residual criminalisation arising from their status; To determine the potential of the former prisoner community in challenging intra-community tensions and evaluate their potential and actual contribution to conflict transformation at the inter-community level; To compare and contrast the effectiveness of Loyalist and Republican former prisoners as agents of change within their own communities; To explore the notion of former prisoners as agents of social and communal transformation within broader political processes through grounding the knowledge and practical experience of the former prisoner community within the broader conceptual context of conflict transformation.

Inter-ELM evolution of the edge current density profile on the ASDEX upgrade tokamak

The sudden decrease of plasma stored energy and subsequent power deposition on the first wall of a tokamak due to edge localised modes (ELMs) is potentially detrimental to the success of a future fusion reactor. Understanding and control of ELMs is critical for the longevity of these devices and also to maximise their performance. The commonly accepted picture of ELMs posits a critical pressure gradient and current density in the plasma edge, above which coupled magnetohy drodynamic peeling-ballooning modes become unstable. Much analysis has been presented in recent years on the spatial and temporal evolution of the edge pressure gradient. However, the edge current density has typically been overlooked due to the difficulties in measuring this quantity. In this thesis, a novel method of current density recovery is presented, using the equilibrium solver CLISTE to reconstruct a high resolution equilibrium utilising both external magnetic and internal edge kinetic data measured on the ASDEX Upgrade tokamak. The evolution of the edge current density relative to an ELM crash is presented, showing that a resistive delay in the buildup of the current density is unlikely. An uncertainty analysis shows that the edge current density can be determined with an accuracy consistent with that of the kinetic data used. A comparison with neoclassical theory demonstrates excellent agreement be- tween the current density determined by CLISTE and the calculated profiles. Three ELM mitigation regimes are investigated: Type-II ELMs, ELMs sup- pressed by external magnetic perturbations, and Nitrogen seeded ELMs. In the first two cases, the current density is found to decrease as mitigation on- sets, indicating a more ballooning-like plasma behaviour. In the latter case, the flux surface averaged current density can decrease while the local current density increases, providing a mechanism to suppress both the peeling and ballooning modes.

The emerging strategic partnership between the European Union and the African Union

Many among the emerging generation of political elites in Africa see the role the European Union (EU) plays in the maintenance of an unprecedented period of peace in Western Europe as an inspirational example of the manner in which the African Union (AU) can contribute to peace and stability in Africa. This doctoral thesis examines security cooperation between the EU and the AU, with a particular focus on the nature and substance of that cooperation. It suggests that despite the establishment of various EU–AU institutions and ties with a role in security policy and cooperation, such security cooperation is limited in substance. This study argues that EU–AU security cooperation is especially constrained by the emergence of alternative partners, most notably China, and by failures of implementation and follow-through. Two case studies, the first dealing with EU–AU cooperation in peacekeeping, and the second addressing the silent water crisis along with the link between water and security, have been analysed in detail to determine the effectiveness and sustainability of the EU–AU partnership. A number of important lessons for regionalism, interregionalism and multilateralism are drawn from the bond between the EU and the AU. This doctoral thesis will prove that, despite an emphasis on the problematic term ‘strategic’ by both EU and AU policymakers, EU–AU cooperation is limited and somewhat lacking in strategic direction. The cooperation between the EU and the AU focuses mainly on EU financial support for AU peacekeeping and specific projects in Africa (e.g. in the water sector), as well as on a limited political dialogue. Nonetheless, the EU–AU link represents the most comprehensive partnership the AU has with any non-African actor. This study will furthermore demonstrate that the United Nations (UN) is an indispensable third-party to their relationship and it is therefore more appropriate to speak of the AU–EU–UN nexus. This doctoral thesis concludes that the AU–EU–UN nexus is an important example of interregionalism in a global context and that such interregionalism is an important emerging part of global governance.

Surrealism in Belgium during the inter-war period

info:eu-repo/semantics/published

Inter-annual variability of precipitation constrains the production response of boreal Pinus sylvestris to nitrogen fertilization

© 2015 Published by Elsevier B.V.Tree growth resources and the efficiency of resource-use for biomass production determine the productivity of forest ecosystems. In nutrient-limited forests, nitrogen (N)-fertilization increases foliage [N], which may increase photosynthetic rates, leaf area index (L), and thus light interception (IC). The product of such changes is a higher gross primary production and higher net primary production (NPP). However, fertilization may also alter carbohydrate partitioning from below- to aboveground, increasing aboveground NPP (ANPP). We analyzed effects of long-term N-fertilization on NPP, and that of long-term carbon storing organs (NPPS) in a Pinus sylvestris forest on sandy soil, a wide-ranging forest type in the boreal region. We based our analyses on a combination of destructive harvesting, consecutive mensuration, and optical measurements of canopy openness. After eight-year fertilization with a total of 70gNm^-2, ANPP was 27±7% higher in the fertilized (F) relative to the reference (R) stand, but although L increased relative to its pre-fertilization values, IC was not greater than in R. On the seventh year after the treatment initiation, the increase of ANPP was matched by the decrease of belowground NPP (78 vs. 92gCm^-2yr^-1; ~17% of NPP) and, given the similarity of IC, suggests that the main effect of N-fertilization was changed carbon partitioning rather than increased canopy photosynthesis. Annual NPPS increased linearly with growing season temperature (T) in both treatments, with an upward shift of 70.2gCm^-2yr^-1 by fertilization, which also caused greater amount of unexplained variation (r²=0.53 in R, 0.21 in F). Residuals of the NPPS-T relationship of F were related to growing season precipitation (P, r²=0.48), indicating that T constrains productivity at this site regardless of fertility, while P is important in determining productivity where N-limitation is alleviated. We estimated that, in a growing season average T (11.5±1.0°C; 33-year-mean), NPPS response to N-fertilization will be nullified with P 31mm less than the mean (325±85mm), and would double with P 109mm greater than the mean. These results suggest that inter-annual variation in climate, particularly in P, may help explaining the reported large variability in growth responses to fertilization of pine stands on sandy soils. Furthermore, forest management of long-rotation systems, such as those of boreal and northern temperate forests, must consider the efficiency of fertilization in terms of wood production in the context of changes in climate predicted for the region.

The island-scale internal wave climate of Moorea, French Polynesia

Analysis of five-year records of temperatures and currents collected at Moorea reveal strong internal wave activity at predominantly semi-diurnal frequencies impacting reef slopes at depths 30m around the entire island. Temperature changes of 1.5C to 3C are accompanied by surges of upward and onshore flow and vertical shear in onshore currents. Superimposed on annual temperature changes of approximately 3C, internal wave activity is high from Oct-May and markedly lower from Jun-Sep. The offshore pycnocline is broadly distributed with continuous stratification to at least 500m depth, and a subsurface fluorescence maximum above the strong nutricline at approximately 200m. Minimum buoyancy periods range from 4.8 to 6min, with the maximum density gradient occurring at 50 to 60m depth in summer and deepening to approximately 150 to 200m in winter. The bottom slope angle around all of Moorea is super-critical relative to the vertical stratification angle suggesting that energy propagating into shallow water is only a portion of total incident internal wave energy. Vertical gradient Richardson numbers indicate dominance by density stability relative to current shear with relatively limited diapycnal mixing. Coherence and lagged cross-correlation of semi-diurnal temperature variation indicate complex patterns of inter-site arrival of internal waves and no clear coherence or lagged correlation relationships among island sides. Semi-diurnal and high frequency internal wave packets likely arrive on Moorea from a combination of local and distant sources and may have important impacts for nutrient and particle fluxes in deep reef environments. © 2012 American Geophysical Union. All Rights Reserved.

Parliamentary party loyalty and party family: the missing link?

info:eu-repo/semantics/inPress

La réforme des systèmes d'approvisionnement et d'assainissement dans l'Union européenne

Ce chapitre s’intéresse à plusieurs pays de l’UE et souligne les principaux aspects de leur cadre institutionnel respectif concernant les activités d’appro-visionnement en eau et d’assainissement. Il fournit également des exemples de cas où la participation du secteur privé dans le domaine de l’eau a posé un pro-blème, et d’autres où le secteur public est en charge du réseau de distribution. Le choix des pays évoqués vise à présenter diverses expériences et divers contextes géopolitiques, de l’Europe méditerranéenne à l’Europe du Nord en passant par les pays d’Europe centrale et orientale. En outre, les pays choisis comptent à la fois d’anciens membres de l’Europe des 15 et des membres plus récents. La dernière partie du chapitre traite de l’infuence de la législation européenne sur la gestion et la fourniture de services de distribution en eau. [Introductory paragraph to paper - see Additional Information].

Developing global trade union "space"

International unions and international solidarity strategies have been changing partly as a response to changes in the global economy. Global union federations have played an important role in expanding communication and developing alliances with other social movements. One of the issues facing trade unions wanting to be effective at an international level is to what extent national concerns can inform and even be transcended by international perspectives. Proposals for studying the global labor force "horizontally", that is, according to different categories and forms of work rather than on a nation-by-nation basis, demonstrates a recognition of global- national dimensions (Harrod and O'Brien 2002:49). This paper will discuss the development of a global trade union "space", which enables national and global unions to work together effectively, using a series of case studies drawn from the experience of global and European public service unions.

[Reviews] Turkey and the European Union: prospects for a difficult encounter

Book review of 'Turkey and the European Union: Prospects for a Difficult Encounter', edited by Esra Lagro and Knud Erik Jorgensen, Basingstoke and New York: Palgrave Macmillan, 2007 Pp. xii þ 240; 1 table; 1 figure; index; ISBN 9780230019553; £47.00 (hb).