Typed Abstraction of Complex Network Compositions

The heterogeneity and open nature of network systems make analysis of compositions of components quite challenging, making the design and implementation of robust network services largely inaccessible to the average programmer. We propose the development of a novel type system and practical type spaces which reflect simplified representations of the results and conclusions which can be derived from complex compositional theories in more accessible ways, essentially allowing the system architect or programmer to be exposed only to the inputs and output of compositional analysis without having to be familiar with the ins and outs of its internals. Toward this end we present the TRAFFIC (Typed Representation and Analysis of Flows For Interoperability Checks) framework, a simple flow-composition and typing language with corresponding type system. We then discuss and demonstrate the expressive power of a type space for TRAFFIC derived from the network calculus, allowing us to reason about and infer such properties as data arrival, transit, and loss rates in large composite network applications.

The Construction of Arbitrary Stable Dynamics in Non-Linear Neural Networks

In this paper, two methods for constructing systems of ordinary differential equations realizing any fixed finite set of equilibria in any fixed finite dimension are introduced; no spurious equilibria are possible for either method. By using the first method, one can construct a system with the fewest number of equilibria, given a fixed set of attractors. Using a strict Lyapunov function for each of these differential equations, a large class of systems with the same set of equilibria is constructed. A method of fitting these nonlinear systems to trajectories is proposed. In addition, a general method which will produce an arbitrary number of periodic orbits of shapes of arbitrary complexity is also discussed. A more general second method is given to construct a differential equation which converges to a fixed given finite set of equilibria. This technique is much more general in that it allows this set of equilibria to have any of a large class of indices which are consistent with the Morse Inequalities. It is clear that this class is not universal, because there is a large class of additional vector fields with convergent dynamics which cannot be constructed by the above method. The easiest way to see this is to enumerate the set of Morse indices which can be obtained by the above method and compare this class with the class of Morse indices of arbitrary differential equations with convergent dynamics. The former set of indices are a proper subclass of the latter, therefore, the above construction cannot be universal. In general, it is a difficult open problem to construct a specific example of a differential equation with a given fixed set of equilibria, permissible Morse indices, and permissible connections between stable and unstable manifolds. A strict Lyapunov function is given for this second case as well. This strict Lyapunov function as above enables construction of a large class of examples consistent with these more complicated dynamics and indices. The determination of all the basins of attraction in the general case for these systems is also difficult and open.

Techniques for engineering quantum states

In this thesis I theoretically study quantum states of ultracold atoms. The majority of the Chapters focus on engineering specific quantum states of single atoms with high fidelity in experimentally realistic systems. In the sixth Chapter, I investigate the stability and dynamics of new multidimensional solitonic states that can be created in inhomogeneous atomic Bose-Einstein condensates. In Chapter three I present two papers in which I demonstrate how the coherent tunnelling by adiabatic passage (CTAP) process can be implemented in an experimentally realistic atom chip system, to coherently transfer the centre-of-mass of a single atom between two spatially distinct magnetic waveguides. In these works I also utilise GPU (Graphics Processing Unit) computing which offers a significant performance increase in the numerical simulation of the Schrödinger equation. In Chapter four I investigate the CTAP process for a linear arrangement of radio frequency traps where the centre-of-mass of both, single atoms and clouds of interacting atoms, can be coherently controlled. In Chapter five I present a theoretical study of adiabatic radio frequency potentials where I use Floquet theory to more accurately model situations where frequencies are close and/or field amplitudes are large. I also show how one can create highly versatile 2D adiabatic radio frequency potentials using multiple radio frequency fields with arbitrary field orientation and demonstrate their utility by simulating the creation of ring vortex solitons. In the sixth Chapter I discuss the stability and dynamics of a family of multidimensional solitonic states created in harmonically confined Bose-Einstein condensates. I demonstrate that these solitonic states have interesting dynamical instabilities, where a continuous collapse and revival of the initial state occurs. Through Bogoliubov analysis, I determine the modes responsible for the observed instabilities of each solitonic state and also extract information related to the time at which instability can be observed.

Inquiring into perspective transformation in university education

My Portfolio of Exploration tackles the difficult question as to whether adult mental development can be accelerated and if so how. Rooted in constructive-developmental ideas, adult mental development is explained as an evolutionary unfolding of human capability. Going beyond this I look at the possibility of advancing development as transformational growth in adulthood in the belief that a broader perspective leads to increased effectiveness in professional life. Initially I explored my own meaning making, to make sense of my experiences, knowledge, relationships and my own motivations. This exploration has provided me with a ‘developmental bridge’ between my current way of knowing and a new more enlightened way. I have come to view my way of making meaning in the world as an evolving and progressive sequence of emotional and cognitive development. Through the formation of new stretching experiences, increased self - awareness and reflection my previous perspective has been overtaken by a more complex form of being aware of myself, others and the world. I refer to this process of growth as transformation. As part of my own transformational work I have conducted an inquiry into transformational growth and learning in the early academic life of university undergraduates. The result shows how accelerated adult mental development can be achieved in an academic environment ably preparing students for the workplace. This new model of education is part of a truly unique and exciting model signalling ground-breaking change for the undergraduate experience. The overhaul of a traditional BA degree in Economics into a world-class transformational programme is discussed through-out my Portfolio. Central to my broadening awareness is the challenge and nurturing required to awaken the student’s ‘internal authority’ . This involves stimulating students to take ownership for their own thinking, steering them away from the passivity and complacency of thinking through the minds of others. In doing so, the ultimate aim of renewing the BA is to narrow the developmental ‘mismatch’ which exists for m any college students between them and the world of work, by encouraging and inviting them to take on the challenge of thinking independently. Mindfulness, awareness, and personal authority are treated with reverence throughout the exploration as I consider them core parts of the students engaging with development. Engagement is construed as an active and open-minded process of awareness involving planning and reviewing one’s own goals and performance, engaging in constructive feedback, reflection and new action. I conclude with a view that the journey of adult mental development is relentless and that undergraduate education represents a crucial beginning. The value and relevance of transformational education rooted in developmental principles provides a significant opportunity in advancing development and perspectives at the start of adult life.

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.

Lactic acidosis triggers starvation response with paradoxical induction of TXNIP through MondoA.

Although lactic acidosis is a prominent feature of solid tumors, we still have limited understanding of the mechanisms by which lactic acidosis influences metabolic phenotypes of cancer cells. We compared global transcriptional responses of breast cancer cells in response to three distinct tumor microenvironmental stresses: lactic acidosis, glucose deprivation, and hypoxia. We found that lactic acidosis and glucose deprivation trigger highly similar transcriptional responses, each inducing features of starvation response. In contrast to their comparable effects on gene expression, lactic acidosis and glucose deprivation have opposing effects on glucose uptake. This divergence of metabolic responses in the context of highly similar transcriptional responses allows the identification of a small subset of genes that are regulated in opposite directions by these two conditions. Among these selected genes, TXNIP and its paralogue ARRDC4 are both induced under lactic acidosis and repressed with glucose deprivation. This induction of TXNIP under lactic acidosis is caused by the activation of the glucose-sensing helix-loop-helix transcriptional complex MondoA:Mlx, which is usually triggered upon glucose exposure. Therefore, the upregulation of TXNIP significantly contributes to inhibition of tumor glycolytic phenotypes under lactic acidosis. Expression levels of TXNIP and ARRDC4 in human cancers are also highly correlated with predicted lactic acidosis pathway activities and associated with favorable clinical outcomes. Lactic acidosis triggers features of starvation response while activating the glucose-sensing MondoA-TXNIP pathways and contributing to the "anti-Warburg" metabolic effects and anti-tumor properties of cancer cells. These results stem from integrative analysis of transcriptome and metabolic response data under various tumor microenvironmental stresses and open new paths to explore how these stresses influence phenotypic and metabolic adaptations in human cancers.

Activity in descending dopaminergic neurons represents but is not required for leg movements in the fruit fly Drosophila.

Modulatory descending neurons (DNs) that link the brain to body motor circuits, including dopaminergic DNs (DA-DNs), are thought to contribute to the flexible control of behavior. Dopamine elicits locomotor-like outputs and influences neuronal excitability in isolated body motor circuits over tens of seconds to minutes, but it remains unknown how and over what time scale DA-DN activity relates to movement in behaving animals. To address this question, we identified DA-DNs in the Drosophila brain and developed an electrophysiological preparation to record and manipulate the activity of these cells during behavior. We find that DA-DN spike rates are rapidly modulated during a subset of leg movements and scale with the total speed of ongoing leg movements, whether occurring spontaneously or in response to stimuli. However, activating DA-DNs does not elicit leg movements in intact flies, nor do acute bidirectional manipulations of DA-DN activity affect the probability or speed of leg movements over a time scale of seconds to minutes. Our findings indicate that in the context of intact descending control, changes in DA-DN activity are not sufficient to influence ongoing leg movements and open the door to studies investigating how these cells interact with other descending and local neuromodulatory inputs to influence body motor output.

Utility of a molecular prescreening program in advanced colorectal cancer for enrollment on biomarker-selected clinical trials.

BACKGROUND: Incorporation of multiple enrichment biomarkers into prospective clinical trials is an active area of investigation, but the factors that determine clinical trial enrollment following a molecular prescreening program have not been assessed. PATIENTS AND METHODS: Patients with 5-fluorouracil-refractory metastatic colorectal cancer at the MD Anderson Cancer Center were offered screening in the Assessment of Targeted Therapies Against Colorectal Cancer (ATTACC) program to identify eligibility for companion phase I or II clinical trials with a therapy targeted to an aberration detected in the patient, based on testing by immunohistochemistry, targeted gene sequencing panels, and CpG island methylation phenotype assays. RESULTS: Between August 2010 and December 2013, 484 patients were enrolled, 458 (95%) had a biomarker result, and 157 (32%) were enrolled on a clinical trial (92 on biomarker-selected and 65 on nonbiomarker selected). Of the 458 patients with a biomarker result, enrollment on biomarker-selected clinical trials was ninefold higher for predefined ATTACC-companion clinical trials as opposed to nonpredefined biomarker-selected clinical trials, 17.9% versus 2%, P < 0.001. Factors that correlated positively with trial enrollment in multivariate analysis were higher performance status, older age, lack of standard of care therapy, established patient at MD Anderson, and the presence of an eligible biomarker for an ATTACC-companion study. Early molecular screening did result in a higher rate of patients with remaining standard of care therapy enrolling on ATTACC-companion clinical trials, 45.1%, in contrast to nonpredefined clinical trials, 22.7%; odds ratio 3.1, P = 0.002. CONCLUSIONS: Though early molecular prescreening for predefined clinical trials resulted in an increase rate of trial enrollment of nonrefractory patients, the majority of patients enrolled on clinical trials were refractory to standard of care therapy. Within molecular prescreening programs, tailoring screening for preidentified and open clinical trials, temporally linking screening to treatment and optimizing both patient and physician engagement are efforts likely to improve enrollment on biomarker-selected clinical trials. CLINICAL TRIALS NUMBER: The study NCT number is NCT01196130.

Representing the dividing instant

The so-called dividing instant (DI) problem is an ancient historical puzzle encountered when attempting to represent what happens at the boundary instant which divides two successive states. The specification of such a problem requires a thorough exploration of the primitives of the temporal ontology and the corresponding time structure, as well as the conditions that the resulting temporal models must satisfy. The problem is closely related to the question of how to characterize the relationship between time periods with positive duration and time instants with no duration. It involves the characterization of the ‘closed’ and ‘open’ nature of time intervals, i.e. whether time intervals include their ending points or not. In the domain of artificial intelligence, the DI problem may be treated as an issue of how to represent different assumptions (or hypotheses) about the DI in a consistent way. In this paper, we shall examine various temporal models including those based solely on points, those based solely on intervals and those based on both points and intervals, and point out the corresponding DI problem with regard to each of these temporal models. We shall propose a classification of assumptions about the DI and provide a solution to the corresponding problem.

Two-Machine Shop Scheduling with an Uncapacitated Interstage Transporter

In this paper we study the two-machine flow shop and open shop problems to minimize the makespan with a single interstage transporter that may carry any number of jobs between the machines at a time. For each of these problems we present a best possible approximation algorithm within a class of schedules with at most two shipments. As a by-product of this research, for the problem of minimizing the makespan on parallel identical machines we analyze the ratio of the makespan for a non-preemptive schedule over the makespan of a preemptive schedule.

Grid effects

Zaha Hadid's Kartal Pendik Masterplan (2006) for a new city centre on the east bank of Istanbul proposes the redevelopment of an abandoned industrial site located in a crucial infrastructural node between Europe and Asia as a connecting system between the neighbouring areas of Kartal in the west and Pendik in the east. The project is organised on what its architects call a soft grid, a flexible and adaptable grid that allows it to articulate connections and differences of form, density and use within the same spatial structure [1]. Its final overall design constitutes only one of the many possible configurations that the project may take in response to the demands of the different areas included in the masterplan, and is produced from a script that is able to generate both built volumes and open spaces, skyscrapers as well as parks. The soft grid in fact produces a ‘becoming’ rather than a finite and definitive form: its surface space does not look like a grid, but is derived from a grid operation which is best explained by the project presentation in video animation. The grid here is a process of ‘gridding’, enacted according to ancient choreographed linear movements of measuring, defining, adjusting, reconnecting spaces through an articulated surface rather than superimposed on an ignored given like an indifferent colonising carpet.

Hoe ontwerpt u een effectieve MOOC? Voorbeelden uit de praktijk

Wat is kenmerkend voor het design van Massive Open Online Courses (MOOCs)? Wat maakt ontwerpen van MOOCs bijzonder uitdagend maar ook bijzonder interessant? In de workshop over MOOC Ontwerp gaat u actief op zoek naar antwoorden aan de hand van ervaringen met het ontwerpen en uitleveren van MOOCs in twee Europese projecten: EMMA en ECO.

Occurrence Of Mytilicola-Intestinalis Steuer An Intestinal Copepod Parasite Of Mytilus In Southwest Of England

The occurrence of Mytilicola intestinalis in populations of mussels in south-west England is recorded and compared with previous data. Since 1955 there have been two main changes in the distribution of Mytilicola: (a) it has invaded all the major estuarine mussel populations on the Bristol Channel coast, and (b) many previously uninfested open-coast populations all round the peninsula are now lightly infested. It is suggested that differences in infestation levels between estuarine and open-coast populations of mussels are due primarily to differences in the degree of exposure to wave action although factors such as size, population density and location of the hosts also influence infestation. The chance of the establishment of breeding pairs of Mytilicola depends on the parasite population size and its distribution through the host population.

Classical Romantic: Identity in the Latin Poetry of Vincent Bourne

This monograph examines a selection of Vincent Bourne's Latin verse in its classical, neo-Latin and vernacular contexts, with particular attention to the theme of identity (and differing forms of identity). Its aim is to initiate the resurrection from silence of an author whose self-fashioning is achieved by investigating the identity of the self in relation to the other and by foregrounding multiple attempts to fashion other selves.

From Back Cover of published book:

Through close and perceptive analysis of Bourne's negotiation of poetic identity, Haan argues in new ways for the blend of classicism and Romanticism informing his marginalized status. As such, the book promises to revive scholarship on Bourne, and to be of use to students and scholars of Latin as well as vernacular verse.
Carla Mazzio, Professor of English, University of Chicago.


Estelle Haan is the UK's most eminent neo-Latinist. Her books with the APS on Milton (From Academia to Amicitia, Transactions 88, part 6) and Addison (Vergilius Redivivus, Transactions 95, part 2) are both important contributions to our knowledge of those authors, and their scholarship is presented in a way that accommodates the growing number of specialists who do not read Latin. Much of the content of this study is entirely new, and it is written in a way that will make it accessible to non-Latinists. The connections with English-language poets that Professor Haan adduces page after page will be a very considerable resource for students of vernacular poetry.
Gordon Campbell, Professor of Renaissance Literature, University of Leicester.


I have long thought that a modern study of Vincent Bourne was very much needed, and am greatly pleased that one has now been written. Estelle Haan offers a thoughtful and sensitive study that has remarkable depth. She capitalizes on the familiarity with other eighteenth-century English poets about whom she has previously written (Cowper, Gray, and most recently Addison) and she makes use of contempoary literary theory without becoming dependent on any single approach or disfiguring her writing with critical jargon. This work will, one hopes, provoke further research into Bourne and his poetry.
Dana F. Sutton, Professor Emeritus of Classics, The University of California, Irvine.

Higher order statistics for lognormal small-scale fading in mobile radio channels

This letter reports the statistical characterization and modeling of the indoor radio channel for a mobile wireless personal area network operating at 868 MHz. Line of sight (LOS) and non-LOS conditions were considered for three environments: anechoic chamber, open office area and hallway. Overall, the Nakagami-m cdf best described fading for bodyworn operation in 60% of all measured channels in anechoic chamber and open office area environments. The Nakagami distribution was also found to provide a good description of Rician distributed channels which predominated in the hallway. Multipath played an important role in channel statistics with the mean recorded m value being reduced from 7.8 in the anechoic chamber to 1.3 in both the open office area and hallway.