Safe Composition of Web Communication Protocols for Extensible Edge Services

As new multi-party edge services are deployed on the Internet, application-layer protocols with complex communication models and event dependencies are increasingly being specified and adopted. To ensure that such protocols (and compositions thereof with existing protocols) do not result in undesirable behaviors (e.g., livelocks) there needs to be a methodology for the automated checking of the "safety" of these protocols. In this paper, we present ingredients of such a methodology. Specifically, we show how SPIN, a tool from the formal systems verification community, can be used to quickly identify problematic behaviors of application-layer protocols with non-trivial communication models—such as HTTP with the addition of the "100 Continue" mechanism. As a case study, we examine several versions of the specification for the Continue mechanism; our experiments mechanically uncovered multi-version interoperability problems, including some which motivated revisions of HTTP/1.1 and some which persist even with the current version of the protocol. One such problem resembles a classic degradation-of-service attack, but can arise between well-meaning peers. We also discuss how the methods we employ can be used to make explicit the requirements for hardening a protocol's implementation against potentially malicious peers, and for verifying an implementation's interoperability with the full range of allowable peer behaviors.

The political and economic context of Keynes’s 1933 Finlay lecture: transforming a business practitioner’s ways of knowing

This thesis is structured in the format of a three part Portfolio of Exploration to facilitate transformation in my ways of knowing to enhance an experienced business practitioner’s capabilities and effectiveness. A key factor in my ways of knowing, as opposed to what I know, is my exploration of context and assumptions. By interacting with my cultural, intellectual, economic, and social history, I seek to become critically aware of the biographical, historical, and cultural context of my beliefs and feelings about myself. This Portfolio is not exclusively for historians of economics or historians of ideas but also for those interested in becoming more aware of how these culturally assimilated frames of reference and bundles of assumptions that influence the way they perceive, think, decide, feel and interpret their experiences in order to operate more effectively in their professional and organisational lives. In the first part of my Portfolio, I outline and reflect upon my Portfolio’s overarching theory of adult development; the writings of Harvard’s Robert Kegan and Columbia University’s Jack Mezirow. The second part delves further into how meaning-making, the activity of how one organises and makes sense of the world and how meaning-making evolves to different levels of complexity. I explore how past experience and our interpretations of history influences our understandings since all perception is inevitably tinged with bias and entrenched ‘theory-laden’ assumptions. In my third part, I explore the 1933 inaugural University College Dublin Finlay Lecture delivered by economist John Maynard Keynes. My findings provide a new perspective and understanding of Keynes’s 1933 lecture by not solely reading or relying upon the text of the three contextualised essay versions of his lecture. The purpose and context of Keynes’s original longer lecture version was quite different to the three shorter essay versions published for the American, British and German audiences.

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.

Facet-embedded thin-film III-V edge-emitting lasers integrated with SU-8 waveguides on silicon.

A thin-film InGaAs/GaAs edge-emitting single-quantum-well laser has been integrated with a tapered multimode SU-8 waveguide onto an Si substrate. The SU-8 waveguide is passively aligned to the laser using mask-based photolithography, mimicking electrical interconnection in Si complementary metal-oxide semiconductor, and overlaps one facet of the thin-film laser for coupling power from the laser to the waveguide. Injected threshold current densities of 260A/cm(2) are measured with the reduced reflectivity of the embedded laser facet while improving single mode coupling efficiency, which is theoretically simulated to be 77%.

Cutting edge: distinct glycolytic and lipid oxidative metabolic programs are essential for effector and regulatory CD4+ T cell subsets.

Stimulated CD4(+) T lymphocytes can differentiate into effector T cell (Teff) or inducible regulatory T cell (Treg) subsets with specific immunological roles. We show that Teff and Treg require distinct metabolic programs to support these functions. Th1, Th2, and Th17 cells expressed high surface levels of the glucose transporter Glut1 and were highly glycolytic. Treg, in contrast, expressed low levels of Glut1 and had high lipid oxidation rates. Consistent with glycolysis and lipid oxidation promoting Teff and Treg, respectively, Teff were selectively increased in Glut1 transgenic mice and reliant on glucose metabolism, whereas Treg had activated AMP-activated protein kinase and were dependent on lipid oxidation. Importantly, AMP-activated protein kinase stimulation was sufficient to decrease Glut1 and increase Treg generation in an asthma model. These data demonstrate that CD4(+) T cell subsets require distinct metabolic programs that can be manipulated in vivo to control Treg and Teff development in inflammatory diseases.

ERM transactivation is up-regulated by the repression of DNA binding after the PKA phosphorylation of a consensus site at the edge of the ETS domain

The final step of the transduction pathway is the activation of gene transcription, which is driven by kinase cascades leading to changes in the activity of many transcription factors. Among these latter, PEA3/E1AF, ER81/ETV1, and ERM, members of the well conserved PEA3 group from the Ets family are involved in these processes. We show here that protein kinase A (PKA) increases the transcriptional activity of human ERM and human ETV1, through a Ser residue situated at the edge of the ETS DNA-binding domain. PKA phosphorylation does not directly affect the ERM transactivation domains but does affect DNA binding activity. Unphosphorylated wild-type ERM bound DNA avidly, whereas after PKA phosphorylation it did so very weakly. Interestingly, S367A mutation significantly reduced the ERM-mediated transcription in the presence of the kinase, and the DNA binding of this mutant, although similar to that of unphosphorylated wild-type protein, was insensitive to PKA treatment. Mutations, which may mimic a phosphorylated serine, converted ERM from an efficient DNA-binding protein to a poor DNA binding one, with inefficiency of PKA phosphorylation. The present data clearly demonstrate a close correlation between the capacity of PKA to increase the transactivation of ERM and the drastic down-regulation of the binding of the ETS domain to the targeted DNA. What we thus demonstrate here is a relatively rare transcription activation mechanism through a decrease in DNA binding, probably by the shift of a non-active form of an Ets protein to a PKA-phosphorylated active one, which should be in a conformation permitting a transactivation domain to be active.

Phase-accuracy comparisons and improved far-field estimates for 3-D edge elements on tetrahedral meshes

Edge-element methods have proved very effective for 3-D electromagnetic computations and are widely used on unstructured meshes. However, the accuracy of standard edge elements can be criticised because of their low order. This paper analyses discrete dispersion relations together with numerical propagation accuracy to determine the effect of tetrahedral shape on the phase accuracy of standard 3-D edgeelement approximations in comparison to other methods. Scattering computations for the sphere obtained with edge elements are compared with results obtained with vertex elements, and a new formulation of the far-field integral approximations for use with edge elements is shown to give improved cross sections over conventional formulations.