Declarative Transport: No More Transport Protocols to Design, Only Policies to Specify

Transport protocols are an integral part of the inter-process communication (IPC) service used by application processes to communicate over the network infrastructure. With almost 30 years of research on transport, one would have hoped that we have a good handle on the problem. Unfortunately, that is not true. As the Internet continues to grow, new network technologies and new applications continue to emerge putting transport protocols in a never-ending flux as they are continuously adapted for these new environments. In this work, we propose a clean-slate transport architecture that renders all possible transport solutions as simply combinations of policies instantiated on a single common structure. We identify a minimal set of mechanisms that once instantiated with the appropriate policies allows any transport solution to be realized. Given our proposed architecture, we contend that there are no more transport protocols to design—only policies to specify. We implement our transport architecture in a declarative language, Network Datalog (NDlog), making the specification of different transport policies easy, compact, reusable, dynamically configurable and potentially verifiable. In NDlog, transport state is represented as database relations, state is updated/queried using database operations, and transport policies are specified using declarative rules. We identify limitations with NDlog that could potentially threaten the correctness of our specification. We propose several language extensions to NDlog that would significantly improve the programmability of transport policies.

The mobile cloud - more than a cloud

Nearly one billion smart mobile devices are now used for a growing number of tasks, such as browsing the web and accessing online services. In many communities, such devices are becoming the platform of choice for tasks traditionally carried out on a personal computer. However, despite the advances, these devices are still lacking in resources compared to their traditional desktop counterparts. Mobile cloud computing is seen as a new paradigm that can address the resource shortcomings in these devices with the plentiful computing resources of the cloud. This can enable the mobile device to be used for a large range of new applications hosted in the cloud that are too resource demanding to run locally. Bringing these two technologies together presents various difficulties. In this paper, we examine the advantages of the mobile cloud and the new approaches to applications it enables. We present our own solution to create a positive user experience for such applications and describe how it enables these applications.

Exploring alternatives for milk quality improvement and more efficient dairy production in a smallholder farming context – case study: Mantaro Valley (Peru)

Consumer demand is revolutionizing the way products are being produced, distributed and marketed. In relation to the dairy sector in developing countries, aspects of milk quality are receiving more attention from both society and the government. However, milk quality management needs to be better addressed in dairy production systems to guarantee the access of stakeholders, mainly small-holders, into dairy markets. The present study is focused on an analysis of the interaction of the upstream part of the dairy supply chain (farmers and dairies) in the Mantaro Valley (Peruvian central Andes), in order to understand possible constraints both stakeholders face implementing milk quality controls and practices; and evaluate “ex-ante” how different strategies suggested to improve milk quality could affect farmers and processors’ profits. The analysis is based on three complementary field studies conducted between 2012 and 2013. Our work has shown that the presence of a dual supply chain combining both formal and informal markets has a direct impact on dairy production at the technical and organizational levels, affecting small formal dairy processors’ possibilities to implement contracts, including agreements on milk quality standards. The analysis of milk quality management from farms to dairy plants highlighted the poor hygiene in the study area, even when average values of milk composition were usually high. Some husbandry practices evaluated at farm level demonstrated cost effectiveness and a big impact on hygienic quality; however, regular application of these practices was limited, since small-scale farmers do not receive a bonus for producing hygienic milk. On the basis of these two results, we co-designed with formal small-scale dairy processors a simulation tool to show prospective scenarios, in which they could select their best product portfolio but also design milk payment systems to reward farmers’ with high milk quality performances. This type of approach allowed dairy processors to realize the importance of including milk quality management in their collection and manufacturing processes, especially in a context of high competition for milk supply. We concluded that the improvement of milk quality in a smallholder farming context requires a more coordinated effort among stakeholders. Successful implementation of strategies will depend on the willingness of small-scale dairy processors to reward farmers producing high milk quality; but also on the support from the State to provide incentives to the stakeholders in the formal sector.

Monstrative acts and becoming-monster: on identity, bodies, and the feminine other

Using two examples of literary monsters, the Creature in Mary Shelley’s Frankenstein (1818), and Grendel’s Mother in Beowulf, this thesis demonstrates the bearing fictional identities have on “real” bodies, through an examination of two further literary texts, David Henry Hwang’s play, M. Butterfly (1986) and J. M. Coetzee’s novel, Disgrace (1999). Western definitions of Being have historically divided body and mind, favouring the mind as formative of subjective experience and denigrating the body as secondary and impure. This thesis demonstrates that this mind/body binary is symptomatic of the masculine ontological imperative to disown the body and its effects on Being, simultaneously ridding itself of the feminine it believes is its irrational opposite. Using recent feminist reviews of the canon, which emphasise the body’s importance to ontology and demonstrate the conceptual association between the feminine and the corporeal, this thesis links performative identity practices to theories of monstrosity, explaining how fictional qualities adhere to monstrous bodies by proposing a new theoretical category, the “monstrative.” The monstrative is a performative force that makes the Other into a living sign of Otherness; however, unlike earlier theories of Othering, the monstrative accounts for the Other’s being other to herself. This thesis also attempts to read the misrepresented body of the Other as a possible site for more empowered identity performances, where the monstrous “I” is interpreted as a potentially positive model for identity practice, through the conceptualisation of identity as a process of Becoming rather than Being. The transferal from a noun to a verb not only emphasises the performativity of identity, but also suggests fluidity and multiplicity in identity practice, which always already indicates a monstrosity at work. Thus, while monstrative acts constitute bodies as monstrous, Becoming-monster is an empathetic response to the Other’s monstrosity.

Reading Lydgate's Troy Book: patronage, politics, and history in Lancastrian England

This thesis, Reading Lydgate's Troy Book: Patronage, Politics and History in Lancastrian England, discusses the relationship between John Lydgate as a court poet to his patron Henry V. I contend that the Troy Book is explored as a vehicle to propagate the idea that the House of Lancaster is the legitimate successor to King Richard II in order to smooth over the usurpation of 1399. Paul Strohm's England's Empty Throne was a key influence to the approach of this thesis' topic. I examine that although Chaucer had a definitive impact on Lydgate's writing, Lydgate is able to manipulate this influence for his own ambitions. In order to enhance his own fame, Lydgate works to promote Chaucer's canon so that as Chaucer's successor, he will inherit more prestige. The Trojan war is seen in context with the Hundred Years War, and can be applied contextually to political events. Lydgate presents characters that are vulnerable to human failings, and their assorted, complicated relationships. Lydgate modernises the Troy Book to reflect and enhance his Lancastrian society, and the thesis gives a contextual view of Lydgate's writing of the Troy Book. Lydgate writes for a more varied target audience than his thirteenth-century source, Guido delle Colonne, and there is a deliberation on the female characters of the Troy Book which promulgates the theory that Lydgate takes a proactive and empathetic interest in women's roles in society. Furthermore Lydgate has never really been accepted as a humanist, and I look at Lydgate's work from a different angle; he is a self-germinating humanist. Lydgate revives antiquity to educate his fifteenth-century audience, and his ambition is to create a memorial for his patron in the vernacular, and enhance his own fame as a poet separate from Chaucer's shadow.

Boosting high-intensity focused ultrasound-induced anti-tumor immunity using a sparse-scan strategy that can more effectively promote dendritic cell maturation.

BACKGROUND: The conventional treatment protocol in high-intensity focused ultrasound (HIFU) therapy utilizes a dense-scan strategy to produce closely packed thermal lesions aiming at eradicating as much tumor mass as possible. However, this strategy is not most effective in terms of inducing a systemic anti-tumor immunity so that it cannot provide efficient micro-metastatic control and long-term tumor resistance. We have previously provided evidence that HIFU may enhance systemic anti-tumor immunity by in situ activation of dendritic cells (DCs) inside HIFU-treated tumor tissue. The present study was conducted to test the feasibility of a sparse-scan strategy to boost HIFU-induced anti-tumor immune response by more effectively promoting DC maturation. METHODS: An experimental HIFU system was set up to perform tumor ablation experiments in subcutaneous implanted MC-38 and B16 tumor with dense- or sparse-scan strategy to produce closely-packed or separated thermal lesions. DCs infiltration into HIFU-treated tumor tissues was detected by immunohistochemistry and flow cytometry. DCs maturation was evaluated by IL-12/IL-10 production and CD80/CD86 expression after co-culture with tumor cells treated with different HIFU. HIFU-induced anti-tumor immune response was evaluated by detecting growth-retarding effects on distant re-challenged tumor and tumor-specific IFN-gamma-secreting cells in HIFU-treated mice. RESULTS: HIFU exposure raised temperature up to 80 degrees centigrade at beam focus within 4 s in experimental tumors and led to formation of a well-defined thermal lesion. The infiltrated DCs were recruited to the periphery of lesion, where the peak temperature was only 55 degrees centigrade during HIFU exposure. Tumor cells heated to 55 degrees centigrade in 4-s HIFU exposure were more effective to stimulate co-cultured DCs to mature. Sparse-scan HIFU, which can reserve 55 degrees-heated tumor cells surrounding the separated lesions, elicited an enhanced anti-tumor immune response than dense-scan HIFU, while their suppressive effects on the treated primary tumor were maintained at the same level. Flow cytometry analysis showed that sparse-scan HIFU was more effective than dense-scan HIFU in enhancing DC infiltration into tumor tissues and promoting their maturation in situ. CONCLUSION: Optimizing scan strategy is a feasible way to boost HIFU-induced anti-tumor immunity by more effectively promoting DC maturation.

The effect of correctional facility programming on nonviolent beliefs

Gemstone Team Peace in Prisons

Sexually coercive male chimpanzees sire more offspring.

In sexually reproducing animals, male and female reproductive strategies often conflict. In some species, males use aggression to overcome female choice, but debate persists over the extent to which this strategy is successful. Previous studies of male aggression toward females among wild chimpanzees have yielded contradictory results about the relationship between aggression and mating behavior. Critically, however, copulation frequency in primates is not always predictive of reproductive success. We analyzed a 17-year sample of behavioral and genetic data from the Kasekela chimpanzee (Pan troglodytes schweinfurthii) community in Gombe National Park, Tanzania, to test the hypothesis that male aggression toward females increases male reproductive success. We examined the effect of male aggression toward females during ovarian cycling, including periods when the females were sexually receptive (swollen) and periods when they were not. We found that, after controlling for confounding factors, male aggression during a female's swollen periods was positively correlated with copulation frequency. However, aggression toward swollen females was not predictive of paternity. Instead, aggression by high-ranking males toward females during their nonswollen periods was positively associated with likelihood of paternity. This indicates that long-term patterns of intimidation allow high-ranking males to increase their reproductive success, supporting the sexual coercion hypothesis. To our knowledge, this is the first study to present genetic evidence of sexual coercion as an adaptive strategy in a social mammal.

Early social exposure in wild chimpanzees: mothers with sons are more gregarious than mothers with daughters.

In many mammals, early social experience is critical to developing species-appropriate adult behaviors. Although mother-infant interactions play an undeniably significant role in social development, other individuals in the social milieu may also influence infant outcomes. Additionally, the social skills necessary for adult success may differ between the sexes. In chimpanzees (Pan troglodytes), adult males are more gregarious than females and rely on a suite of competitive and cooperative relationships to obtain access to females. In fission-fusion species, including humans and chimpanzees, subgroup composition is labile and individuals can vary the number of individuals with whom they associate. Thus, mothers in these species have a variety of social options. In this study, we investigated whether wild chimpanzee maternal subgrouping patterns differed based on infant sex. Our results show that mothers of sons were more gregarious than mothers of daughters; differences were especially pronounced during the first 6 mo of life, when infant behavior is unlikely to influence maternal subgrouping. Furthermore, mothers with sons spent significantly more time in parties containing males during the first 6 mo. These early differences foreshadow the well-documented sex differences in adult social behavior, and maternal gregariousness may provide sons with important observational learning experiences and social exposure early in life. The presence of these patterns in chimpanzees raises questions concerning the evolutionary history of differential social exposure and its role in shaping sex-typical behavior in humans.

Schema-driven construction of future autobiographical traumatic events: the future is much more troubling than the past.

Research on future episodic thought has produced compelling theories and results in cognitive psychology, cognitive neuroscience, and clinical psychology. In experiments aimed to integrate these with basic concepts and methods from autobiographical memory research, 76 undergraduates remembered past and imagined future positive and negative events that had or would have a major impact on them. Correlations of the online ratings of visual and auditory imagery, emotion, and other measures demonstrated that individuals used the same processes to the same extent to remember past and construct future events. These measures predicted the theoretically important metacognitive judgment of past reliving and future "preliving" in similar ways. On standardized tests of reactions to traumatic events, scores for future negative events were much higher than scores for past negative events. The scores for future negative events were in the range that would qualify for a diagnosis of posttraumatic stress disorder (PTSD); the test was replicated (n = 52) to check for order effects. Consistent with earlier work, future events had less sensory vividness. Thus, the imagined symptoms of future events were unlikely to be caused by sensory vividness. In a second experiment, to confirm this, 63 undergraduates produced numerous added details between 2 constructions of the same negative future events; deficits in rated vividness were removed with no increase in the standardized tests of reactions to traumatic events. Neuroticism predicted individuals' reactions to negative past events but did not predict imagined reactions to future events. This set of novel methods and findings is interpreted in the contexts of the literatures of episodic future thought, autobiographical memory, PTSD, and classic schema theory.

THE ART OF TRANSCRIBING FOR HARPSICHORD

A relatively unexplored area of the harpsichord repertoire is the group of transcriptions made by J.S. Bach (1685-1750), Jean Henry d'Anglebert (1629-1691), and Jean-Baptiste Forqueray (1699-1782). These transcriptions are valuable and worth exploring and performing. Studying them provides unique insights into their composer‘s musical thinking. By comparing transcriptions with their original sources, the transcriber's decisions and priorities can be observed. The performance component of this dissertation comprises three recitals. The first features works of Johann Sebastian Bach: two transcriptions of violin concerti by Antonio Vivaldi (1678-1741), and two transcriptions of trio sonatas by Johann Adam Reinken (1643-1722). The most salient feature of Bach‘s transcriptions is his addition of musical material: ornamenting slow movements, adding diminutions and idiomatic keyboard figurations throughout, and recomposing and expanding fugal movements. The second recital features works of Jean Henry d'Anglebert and Jean-Baptiste Forqueray, two French composer/performers. From d'Anglebert‘s many transcriptions, I assembled two key-related suites: the first comprised of lute pieces by Ennemond Gaultier (c. 1575-1651), and the second comprised of movements from operas by Jean-Baptiste Lully (1632-1687). Forqueray's transcriptions are of suites for viola da gamba and continuo, composed by his father, Antoine Forqueray (1671-1745). Creative and varied ornamentation, along with the style brisé of arpeggiated chords, are the most important features of d‘Anglebert‘s transcriptions. Forqueray‘s transcriptions are highly virtuosic and often feature the tenor and bass range of the harpsichord. The third recital features my own transcriptions: the first suite for solo cello by J.S. Bach, excerpts from the opera La Descente d’Orphée aux Enfers by Marc-Antoine Charpentier (1643-1704), and two violin pieces by Nicola Matteis (fl. c. 1670-c. 1698). In these transcriptions, I demonstrate what I have learned from studying and performing the works in the first two recitals. These recitals were performed in the Leah Smith Hall at the University of Maryland on May 4, 2010; May 11, 2010; and October 7, 2010. They were recorded on compact discs and are archived within the Digital Repository at the University of Maryland (DRUM).

BAROQUE MUSIC FOR TRUMPET: A STUDY OF SOLO AND CHAMBER REPERTOIRE

The trumpet experienced important changes in terms of its musical use during the middle and late Baroque period. Prior to the Baroque, and even in to the first half of the 17th century, the trumpet had historically been used for rather "non-musical" purposes, sometimes as an instrument for battle or as a tool to be used in the town square to announce the arrival of a dignitary. On the whole, the trumpet was most certainly not used as an instrument of melody -that was typically reserved for violins, flutes, and oboes. However, in the late 1600's, composers such as Allesandro Stradella and Henry Purcell began to treat the trumpet differently. They saw the melodic potential in the trumpet and began to feature the trumpet more as an instrument of melody, as opposed to relegating it to only outlining triads and emphasizing harmony. Of course, keyboard, string, and woodwind instruments had long established a significant catalogue of works by the late 17th century. Additionally, even after the trumpet had been established as an instrument of melody, prominent composers of the time still wrote significantly more solo music for these other instrument families than for the trumpet. Consequently, the overall Baroque repertoire for the solo trumpet pales in comparison to that of the other families of instruments. But, much of this Baroque literature not originally written for trumpet can be presented effectively in the form of a transcription, thereby adding greatly to the repertoire of the Baroque solo trumpet. The goal of these three dissertation recitals is twofold: 1) to perform literature that offers music from a variety of countries of origin that span the entire Baroque era and 2) to feature music that has remained relatively unknown in the trumpet world, yet is musically strong. I will also introduce viable "new" music to the trumpet repertoire through Baroque transcriptions originally written for other instruments or voice. The majority of the transcriptions I will be performing have originated from my own listening and study of Baroque music, and I have selected music that I felt would translate well for the trumpet.

Less wiring, more firing: low-performing older adults compensate for impaired white matter with greater neural activity.

The reliable neuroimaging finding that older adults often show greater activity (over-recruitment) than younger adults is typically attributed to compensation. Yet, the neural mechanisms of over-recruitment in older adults (OAs) are largely unknown. Rodent electrophysiology studies have shown that as number of afferent fibers within a circuit decreases with age, the fibers that remain show higher synaptic field potentials (less wiring, more firing). Extrapolating to system-level measures in humans, we proposed and tested the hypothesis that greater activity in OAs compensates for impaired white-matter connectivity. Using a neuropsychological test battery, we measured individual differences in executive functions associated with the prefrontal cortex (PFC) and memory functions associated with the medial temporal lobes (MTLs). Using event-related functional magnetic resonance imaging, we compared activity for successful versus unsuccessful trials during a source memory task. Finally, we measured white-matter integrity using diffusion tensor imaging. The study yielded 3 main findings. First, low-executive OAs showed greater success-related activity in the PFC, whereas low-memory OAs showed greater success-related activity in the MTLs. Second, low-executive OAs displayed white-matter deficits in the PFC, whereas low-memory OAs displayed white-matter deficits in the MTLs. Finally, in both prefrontal and MTL regions, white-matter decline and success-related activations occurred in close proximity and were negatively correlated. This finding supports the less-wiring-more-firing hypothesis, which provides a testable account of compensatory over-recruitment in OAs.

Percent body fat more associated with perioperative risks after total joint arthroplasty than body mass index

Copyright © 2014 Elsevier Inc. All rights reserved.Understanding the impact of obesity on elective total joint arthroplasty (TJA) remains critical. Perioperative outcomes were reviewed in 316 patients undergoing primary TJA. Higher percent body fat (PBF) was associated with postoperative blood transfusion, increased hospital length of stay (LOS) >3 days, and discharge to an extended care facility while no significant differences existed for BMI. Additionally, PBF of 43.5 was associated with a 2.4× greater likelihood of blood transfusion, PBF of 36.5 with a 1.9× greater likelihood for LOS >3 days, and PBF of 36.0 with a 1.4× greater likelihood for discharge to an extended care facility. PBF may be a more effective measure than BMI to use in screening for perioperative risks and acute outcomes associated with obese total joint patients.