Type Systems for a Network Specification Language With Multiple-Choice Let

When analysing the behavior of complex networked systems, it is often the case that some components within that network are only known to the extent that they belong to one of a set of possible "implementations" – e.g., versions of a specific protocol, class of schedulers, etc. In this report we augment the specification language considered in BUCSTR-2004-021, BUCS-TR-2005-014, BUCS-TR-2005-015, and BUCS-TR-2005-033, to include a non-deterministic multiple-choice let-binding, which allows us to consider compositions of networking subsystems that allow for looser component specifications.

Fuzzy ART Choice Functions

Adaptive Resonance Theory (ART) models are real-time neural networks for category learning, pattern recognition, and prediction. Unsupervised fuzzy ART and supervised fuzzy ARTMAP networks synthesize fuzzy logic and ART by exploiting the formal similarity between tile 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 intersection and the fuzzy union (∨), or component-wise maximum, play complementary roles. A geometric interpretation of fuzzy ART represents each category as a box that increases in size as weights decrease. This paper analyzes fuzzy ART models that employ various choice functions for category selection. One such function minimizes total weight change during learning. Benchmark simulations compare peformance of fuzzy ARTMAP systems that use different choice functions.

Composition portfolio and commentaries

In an attempt to provide an analytical entry point into my compositional practice, I have identified eight themes which are significantly recurrent: reduction – the selection of a small number of elements; imperfection – a damaged or warped characteristic of sound; hierarchy – a concern with the roles of instruments with regard to their relative prominence; motion – apparently static sound masses consist of fine internal movement; listener perception – expectations for change influence the experience of affect; translation – the transitioning of electronic sounds to the acoustic realm, and vice versa; immersion – the creation of an accommodating soundscape; blurring – smearing and overlapping sounds or genres. Each of these eight factors is associated with relevant precedents in the history and theory of music that have been influential on my work. These include the minimalist compositions of Steve Reich and Arvo Pärt; the lo-fi aesthetic of Boards of Canada and My Bloody Valentine; concerns with political hierarchy in the work of Louis Andriessen; the variations of dynamics and microtonal shifts of Giacinto Scelsi; Leonard B. Meyer's account of expectation in music; cross-fertilisation of the acoustic and electronic in pieces by Gérard Grisey and Gyorgy Ligeti; the immersive technique of Brian Eno's ambient music; and the overlapping sounds of Aphex Twin. These eight factors are variously applicable to the eleven submitted pieces, which are individually analysed with reference to the most significant of the categories. Together they form a musical language that sustains the interaction of a variety of techniques, concepts and genres.

Planning a portfolio of controls for software development

A growing number of software development projects successfully exhibit a mix of agile and traditional software development methodologies. Many of these mixed methodologies are organization specific and tailored to a specific project. Our objective in this research-in-progress paper is to develop an artifact that can guide the development of such a mixed methodology. Using control theory, we design a process model that provides theoretical guidance to build a portfolio of controls that can support the development of a mixed methodology for software development. Controls, embedded in methods, provide a generalizable and adaptable framework for project managers to develop their mixed methodology specific to the demands of the project. A research methodology is proposed to test the model. Finally, future directions and contributions are discussed.

Career choice in medicine

Background: Career Choice in Medicine is an important and problematic topic. Medical education has been framed as professional identity development, yet career choice has not been viewed as a matter of identity. My primary aim was to offer new insights by exploring career choice using Figured Worlds theory, a socio-cultural theory of identity. Graduate retention is a challenge for many countries, including Ireland. My secondary aim was to address a gap in the data on postgraduate trainees in Ireland and to use the Irish case to illustrate points transferable to other contexts. Methodology & Methods: This was a predominantly qualitative Mixed Methods programme of research. My qualitative studies were oriented towards social constructionism. I collated existing data from the Royal College of Physicians of Ireland (RCPI) and HSE-MET to describe trainees and their career paths. I surveyed Basic Specialist Training trainees (n=333) about their career plans. I surveyed new trainees (n=527) about their expectations of training and all RCPI trainees about their experiences of training (n=1246). I conducted semi-structured interviews with 18 medical students and doctors. A subgroup (n=6) provided longitudinal data. Figured Worlds theory and Gee’s discourse tools were used for analysis. Results: I have used the case of medical training and career choice in Ireland to explain how social, political and cultural context, and day to day experiences in the cultural world of medicine, shaped doctors’ career choices. My qualitative findings described a unifying model of career choice, consisting of priming, exposure, positioning and open-endedness, which can guide the design of interventions to shape and support career choice. Conclusion: My original contribution has been to demonstrate the fruitfulness of framing career choice in terms of identity development. This represents a turn in the conversation about career choice, which brings new starting points and moves the dialogue forward.

Probabilistic choice: A simple invariance.

When subjects must choose repeatedly between two or more alternatives, each of which dispenses reward on a probabilistic basis (two-armed bandit ), their behavior is guided by the two possible outcomes, reward and nonreward. The simplest stochastic choice rule is that the probability of choosing an alternative increases following a reward and decreases following a nonreward (reward following ). We show experimentally and theoretically that animal subjects behave as if the absolute magnitudes of the changes in choice probability caused by reward and nonreward do not depend on the response which produced the reward or nonreward (source independence ), and that the effects of reward and nonreward are in constant ratio under fixed conditions (effect-ratio invariance )--properties that fit the definition of satisficing . Our experimental results are either not predicted by, or are inconsistent with, other theories of free-operant choice such as Bush-Mosteller, molar maximization, momentary maximizing, and melioration (matching).

Coevolution of capitalism and political representation: The choice of electoral systems

Protocorporatist West European countries in which economic interests were collectively organized adopted PR in the first quarter of the twentieth century, whereas liberal countries in which economic interests were not collectively organized did not. Political parties, as Marcus Kreuzer points out, choose electoral systems. So how do economic interests translate into party political incentives to adopt electoral reform? We argue that parties in protocorporatist countries were representative of and closely linked to economic interests. As electoral competition in single member districts increased sharply up to World War I, great difficulties resulted for the representative parties whose leaders were seen as interest committed. They could not credibly compete for votes outside their interest without leadership changes or reductions in interest influence. Proportional representation offered an obvious solution, allowing parties to target their own voters and their organized interest to continue effective influence in the legislature. In each respect, the opposite was true of liberal countries. Data on party preferences strongly confirm this model. (Kreuzer's historical criticisms are largely incorrect, as shown in detail in the online supplementary Appendix.). © 2010 American Political Science Association.

Same-sex gaze attraction influences mate-choice copying in humans.

Mate-choice copying occurs when animals rely on the mating choices of others to inform their own mating decisions. The proximate mechanisms underlying mate-choice copying remain unknown. To address this question, we tracked the gaze of men and women as they viewed a series of photographs in which a potential mate was pictured beside an opposite-sex partner; the participants then indicated their willingness to engage in a long-term relationship with each potential mate. We found that both men and women expressed more interest in engaging in a relationship with a potential mate if that mate was paired with an attractive partner. Men and women's attention to partners varied with partner attractiveness and this gaze attraction influenced their subsequent mate choices. These results highlight the prevalence of non-independent mate choice in humans and implicate social attention and reward circuitry in these decisions.

Carbon mitigation costs for the commercial building sector: Discrete-continuous choice analysis of multifuel energy demand

We estimate a carbon mitigation cost curve for the U.S. commercial sector based on econometric estimation of the responsiveness of fuel demand and equipment choices to energy price changes. The model econometrically estimates fuel demand conditional on fuel choice, which is characterized by a multinomial logit model. Separate estimation of end uses (e.g., heating, cooking) using the U.S. Commercial Buildings Energy Consumption Survey allows for exceptionally detailed estimation of price responsiveness disaggregated by end use and fuel type. We then construct aggregate long-run elasticities, by fuel type, through a series of simulations; own-price elasticities range from -0.9 for district heat services to -2.9 for fuel oil. The simulations form the basis of a marginal cost curve for carbon mitigation, which suggests that a price of $20 per ton of carbon would result in an 8% reduction in commercial carbon emissions, and a price of $100 per ton would result in a 28% reduction. © 2008 Elsevier B.V. All rights reserved.

Collective action and individual choice: rethinking how we regulate narcotics and antibiotics.

Governments across the globe have squandered treasure and imprisoned millions of their own citizens by criminalising the use and sale of recreational drugs. But use of these drugs has remained relatively constant, and the primary victims are the users themselves. Meanwhile, antimicrobial drugs that once had the power to cure infections are losing their ability to do so, compromising the health of people around the world. The thesis of this essay is that policymakers should stop wasting resources trying to fight an unwinnable and morally dubious war against recreational drug users, and start shifting their attention to the serious threat posed by our collective misuse of antibiotics.

A price worth paying?: Women and work – choice, constraint or satisficing

Purpose – Are women held back or holding back? Do women choose their jobs/careers or are they structurally or normatively constrained? The purpose of this paper is to shed fresh light on these questions and contribute to an on-going debate that has essentially focused on the extent to which part-time work is women’s choice, the role of structural and organisational constraints and the role of men in excluding women. Design/methodology/approach – The paper uses data from interviews with 80 working women – both full-time and part-time – performing diverse work roles in a range of organisations in the south east of England. Findings – It was found that many women do not make strategic job choices, rather they often ‘‘fall into’’ jobs that happen to be available to them. Some would not have aspired to their present jobs without male encouragement; many report incidents of male exclusion; and virtually all either know or suspect that they are paid less than comparable men. Those working reduced hours enjoy that facility, yet they are aware that reduced hours and senior roles are seen as incompatible. In short, they recognise both the positive and negative aspects of their jobs, whether they work full or part-time, whether they work in male-dominated or female-dominated occupations, and whatever their position in the organisational hierarchy. Accordingly, the paper argues that the concept of ‘‘satisficing’’, i.e. a decision which is good enough but not optimal, is a more appropriate way to view women’s working lives than are either choice or constraint theories. Originality/value – There is an ongoing, and often polarised, debate between those who maintain that women choose whether to give preference to work or home/family and others who maintain that women, far from being self-determining actors, are constrained structurally and normatively. Rather than supporting these choice or constraint theories, this paper argues that ‘‘satisficing’’ is a more appropriate and nuanced concept to explain women’s working lives.

Recovery or decline of the Northwestern Black Sea: A societal choice revealed by socio-ecological modelling

During recent decades anthropogenic activities have dramatically impacted the Black Sea ecosystem. High levels of riverine nutrient input during the 1970s and 1980s caused eutrophic conditions including intense algal blooms resulting in hypoxia and the subsequent collapse of benthic habitats on the northwestern shelf. Intense fishing pressure also depleted stocks of many apex predators, contributing to an increase in planktivorous fish that are now the focus of fishing efforts. Additionally, the Black Sea's ecosystem changed even further with the introduction of exotic species. Economic collapse of the surrounding socialist republics in the early 1990s resulted in decreased nutrient loading which has allowed the Black Sea ecosystem to start to recover, but under rapidly changing economic and political conditions, future recovery is uncertain. In this study we use a multidisciplinary approach to integrate information from socio-economic and ecological systems to model the effects of future development scenarios on the marine environment of the northwestern Black Sea shelf. The Driver–Pressure–State-Impact-Response framework was used to construct conceptual models, explicitly mapping impacts of socio-economic Drivers on the marine ecosystem. Bayesian belief networks (BBNs), a stochastic modelling technique, were used to quantify these causal relationships, operationalise models and assess the effects of alternative development paths on the Black Sea ecosystem. BBNs use probabilistic dependencies as a common metric, allowing the integration of quantitative and qualitative information. Under the Baseline Scenario, recovery of the Black Sea appears tenuous as the exploitation of environmental resources (agriculture, fishing and shipping) increases with continued economic development of post-Soviet countries. This results in the loss of wetlands through drainage and reclamation. Water transparency decreases as phytoplankton bloom and this deterioration in water quality leads to the degradation of coastal plant communities (Cystoseira, seagrass) and also Phyllophora habitat on the shelf. Decomposition of benthic plants results in hypoxia killing flora and fauna associated with these habitats. Ecological pressure from these factors along with constant levels of fishing activity results in target stocks remaining depleted. Of the four Alternative Scenarios, two show improvements on the Baseline ecosystem condition, with improved waste water treatment and reduced fishing pressure, while the other two show a worsening, due to increased natural resource exploitation leading to rapid reversal of any recent ecosystem recovery. From this we conclude that variations in economic policy have significant consequences for the health of the Black Sea, and ecosystem recovery is directly linked to social–economic choices.