Seventy-five years in the Madura Mission : a history of the mission in South India under the American Board of Commissioners for Foreign Missions, Boston, Massachusetts, U.S.A. / by John S. Chandler.

http://www.archive.org/details/75yearsmadurami00chanuoft

Systematic Verification of Safety Properties of Arbitrary Network Protocol Compositions Using CHAIN

Formal correctness of complex multi-party network protocols can be difficult to verify. While models of specific fixed compositions of agents can be checked against design constraints, protocols which lend themselves to arbitrarily many compositions of agents-such as the chaining of proxies or the peering of routers-are more difficult to verify because they represent potentially infinite state spaces and may exhibit emergent behaviors which may not materialize under particular fixed compositions. We address this challenge by developing an algebraic approach that enables us to reduce arbitrary compositions of network agents into a behaviorally-equivalent (with respect to some correctness property) compact, canonical representation, which is amenable to mechanical verification. Our approach consists of an algebra and a set of property-preserving rewrite rules for the Canonical Homomorphic Abstraction of Infinite Network protocol compositions (CHAIN). Using CHAIN, an expression over our algebra (i.e., a set of configurations of network protocol agents) can be reduced to another behaviorally-equivalent expression (i.e., a smaller set of configurations). Repeated applications of such rewrite rules produces a canonical expression which can be checked mechanically. We demonstrate our approach by characterizing deadlock-prone configurations of HTTP agents, as well as establishing useful properties of an overlay protocol for scheduling MPEG frames, and of a protocol for Web intra-cache consistency.

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.

Challengers to provisional republicanism: the official republican movement, people’s democracy and the Irish republican socialist party, 1968–98

The Provisional IRA and its political wing Sinn Féin have attracted by far the greatest scholarly interest of all the players in the Northern Irish conflict. This emphasis is perfectly legitimate, given the centrality of the Provos to so many turning-points in the conflict, from the collapse of Stormont in the early 1970s to the hunger strikes of the following decade and the ceasefires which were followed by the Belfast Agreement. My project, however, looks at political groups that at one time or another challenged the Provos for leadership of the militant, anti-state constituency in Northern Ireland (chiefly based in the Catholic working class). Although never as large or influential as the Provisional republicans, groups such as the Official IRA and the Irish Republican Socialist Party sometimes had a discernible impact on the course of events which is overlooked by most studies, and often pioneered ideas and tactics that were later adopted by the Provos themselves. The idea that republicans should embrace political action and work in broad campaigning alliances was promoted by the IRSP and socialist groups such as People’s Democracy before it was taken up by Gerry Adams and his allies, while the Official IRA supported the principle of a settlement based on democratization of the Northern Irish state, which was later accepted by Sinn Féin in the form of the Belfast Agreement. The goal of my research is to provide a novel perspective on the conflict in Northern Ireland, while engaging with theoretical debates about its character.

Multi-party actions as a route to collective redress for mass arm, having particular regard to environmental mass harm

Accepted Version

Stoicyzm u Sartre' a i Deleuze’a

Varsovie

Jacques Colette, L’Existentialisme, collection Que sais-je, P.U.F, 1994, 127 p.

Paris

Convergent Surface Water Distributions in U.S. Cities

Earth's surface is rapidly urbanizing, resulting in dramatic changes in the abundance, distribution and character of surface water features in urban landscapes. However, the scope and consequences of surface water redistribution at broad spatial scales are not well understood. We hypothesized that urbanization would lead to convergent surface water abundance and distribution: in other words, cities will gain or lose water such that they become more similar to each other than are their surrounding natural landscapes. Using a database of more than 1 million water bodies and 1 million km of streams, we compared the surface water of 100 US cities with their surrounding undeveloped land. We evaluated differences in areal (A WB) and numeric densities (N WB) of water bodies (lakes, wetlands, and so on), the morphological characteristics of water bodies (size), and the density (D C) of surface flow channels (that is, streams and rivers). The variance of urban A WB, N WB, and D C across the 100 MSAs decreased, by 89, 25, and 71%, respectively, compared to undeveloped land. These data show that many cities are surface water poor relative to undeveloped land; however, in drier landscapes urbanization increases the occurrence of surface water. This convergence pattern strengthened with development intensity, such that high intensity urban development had an areal water body density 98% less than undeveloped lands. Urbanization appears to drive the convergence of hydrological features across the US, such that surface water distributions of cities are more similar to each other than to their surrounding landscapes. © 2014 The Author(s).

Policy-induced technology adoption: Evidence from the U.S. lead phasedown

Theory suggests that economic instruments, such as pollution taxes or tradable permits, can provide more efficient technology adoption incentives than conventional regulatory standards. We explore this issue for an important industry undergoing dramatic decreases in allowed pollution - the U.S. petroleum industry's phasedown of lead in gasoline. Using a duration model applied to a panel of refineries from 1971-1995, we find that the pattern of technology adoption is consistent with an economic response to market incentives, plant characteristics, and alternative policies. Importantly, evidence suggests that the tradable permit system used during the phasedown provided incentives for more efficient technology adoption decisions.

Allopregnanolone Levels Are Inversely Associated with Self-Reported Pain Symptoms in U.S. Iraq and Afghanistan-Era Veterans: Implications for Biomarkers and Therapeutics.

BACKGROUND AND OBJECTIVES: Pain symptoms are common among Iraq/Afghanistan-era veterans, many of whom continue to experience persistent pain symptoms despite multiple pharmacological interventions. Preclinical data suggest that neurosteroids such as allopregnanolone demonstrate pronounced analgesic properties, and thus represent logical biomarker candidates and therapeutic targets for pain. Allopregnanolone is also a positive GABAA receptor modulator with anxiolytic, anticonvulsant, and neuroprotective actions in rodent models. We previously reported inverse associations between serum allopregnanolone levels and self-reported pain symptom severity in a pilot study of 82 male veterans. METHODS: The current study investigates allopregnanolone levels in a larger cohort of 485 male Iraq/Afghanistan-era veterans to attempt to replicate these initial findings. Pain symptoms were assessed by items from the Symptom Checklist-90-R (SCL-90-R) querying headache, chest pain, muscle soreness, and low back pain over the past 7 days. Allopregnanolone levels were quantified by gas chromatography/mass spectrometry. RESULTS: Associations between pain ratings and allopregnanolone levels were examined with Poisson regression analyses, controlling for age and smoking. Bivariate nonparametric Mann–Whitney analyses examining allopregnanolone levels across high and low levels of pain were also conducted. Allopregnanolone levels were inversely associated with muscle soreness [P = 0.0028], chest pain [P = 0.032], and aggregate total pain (sum of all four pain items) [P = 0.0001]. In the bivariate analyses, allopregnanolone levels were lower in the group reporting high levels of muscle soreness [P = 0.001]. CONCLUSIONS: These findings are generally consistent with our prior pilot study and suggest that allopregnanolone may function as an endogenous analgesic. Thus, exogenous supplementation with allopregnanolone could have therapeutic potential. The characterization of neurosteroid profiles may also have biomarker utility.

Effect of cytochalasin B on 3-O-[(14)C]-methyl-D-glucose or D-[U-(14)C]glucose handling by BRIN-BD11 cells.

The present study aimed to investigate the effects of cytochalasin B (20 μM) on the uptake of 3-O-[(14)C]-methyl-D-glucose or D-[U-(14)C]glucose (8.3 mM each) by BRIN-BD11 cells. Taking into account the distribution space of tritiated water ((3)HOH), which was unexpectedly increased shortly after exposure of the cells to cytochalasin B and then progressively returned to its control values, and that of L-[1-(14)C]glucose, used as an extracellular marker, it was demonstrated that cytochalasin B caused a modest, but significant inhibition of the uptake of D-glucose and its non-metabolized analog by the BRIN-BD11 cells. These findings resemble those observed in acinar or ductal cells of the rat submaxillary gland and displayed a relative magnitude comparable to that found for the inhibition of D-glucose metabolism by cytochalasin B in purified pancreatic islet B cells. These findings reinforce the view that the primary site of action of cytochalasin B is located at the level of the plasma membrane.

Parliamentary party loyalty and party family: the missing link?

info:eu-repo/semantics/inPress

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.