Safe Compositional Specification of Networking Systems: A Compositional Analysis Approach

We present a type inference algorithm, in the style of compositional analysis, for the language TRAFFIC—a specification language for flow composition applications proposed in [2]—and prove that this algorithm is correct: the typings it infers are principal typings, and the typings agree with syntax-directed type checking on closed flow specifications. This algorithm is capable of verifying partial flow specifications, which is a significant improvement over syntax-directed type checking algorithm presented in [3]. We also show that this algorithm runs efficiently, i.e., in low-degree polynomial time.

Safe Compositional Specification of Network Systems With Polymorphic, Constrained Types

In the framework of iBench research project, our previous work created a domain specific language TRAFFIC [6] that facilitates specification, programming, and maintenance of distributed applications over a network. It allows safety property to be formalized in terms of types and subtyping relations. Extending upon our previous work, we add Hindley-Milner style polymorphism [8] with constraints [9] to the type system of TRAFFIC. This allows a programmer to use for-all quantifier to describe types of network components, escalating power and expressiveness of types to a new level that was not possible before with propositional subtyping relations. Furthermore, we design our type system with a pluggable constraint system, so it can adapt to different application needs while maintaining soundness. In this paper, we show the soundness of the type system, which is not syntax-directed but is easier to do typing derivation. We show that there is an equivalent syntax-directed type system, which is what a type checker program would implement to verify the safety of a network flow. This is followed by discussion on several constraint systems: polymorphism with subtyping constraints, Linear Programming, and Constraint Handling Rules (CHR) [3]. Finally, we provide some examples to illustrate workings of these constraint systems.

Subterfuge-safe trust management for delegation of permissions in open environments

Open environments involve distributed entities interacting with each other in an open manner. Many distributed entities are unknown to each other but need to collaborate and share resources in a secure fashion. Usually resource owners alone decide who is trusted to access their resources. Since resource owners in open environments do not have a complete picture of all trusted entities, trust management frameworks are used to ensure that only authorized entities will access requested resources. Every trust management system has limitations, and the limitations can be exploited by malicious entities. One vulnerability is due to the lack of globally unique interpretation for permission specifications. This limitation means that a malicious entity which receives a permission in one domain may misuse the permission in another domain via some deceptive but apparently authorized route; this malicious behaviour is called subterfuge. This thesis develops a secure approach, Subterfuge Safe Trust Management (SSTM), that prevents subterfuge by malicious entities. SSTM employs the Subterfuge Safe Authorization Language (SSAL) which uses the idea of a local permission with a globally unique interpretation (localPermission) to resolve the misinterpretation of permissions. We model and implement SSAL with an ontology-based approach, SSALO, which provides a generic representation for knowledge related to the SSAL-based security policy. SSALO enables integration of heterogeneous security policies which is useful for secure cooperation among principals in open environments where each principal may have a different security policy with different implementation. The other advantage of an ontology-based approach is the Open World Assumption, whereby reasoning over an existing security policy is easily extended to include further security policies that might be discovered in an open distributed environment. We add two extra SSAL rules to support dynamic coalition formation and secure cooperation among coalitions. Secure federation of cloud computing platforms and secure federation of XMPP servers are presented as case studies of SSTM. The results show that SSTM provides robust accountability for the use of permissions in federation. It is also shown that SSAL is a suitable policy language to express the subterfuge-safe policy statements due to its well-defined semantics, ease of use, and integrability.

Doxorubicin-paclitaxel: a safe regimen in terms of cardiac toxicity in metastatic breast carcinoma patients. Results from a European Organization for Research and Treatment of Cancer multicenter trial.

BACKGROUND: The potential cardiotoxicity of the doxorubicin-paclitaxel regimen, when paclitaxel is given shortly after the end of the anthracycline infusion, is an issue of concern, as suggested by small single institution Phase II studies. METHODS: In a large multicenter Phase III trial, 275 anthracycline naive metastatic breast carcinoma patients were randomized to receive either doxorubicin (60 mg/m(2)) followed 30 minutes later by paclitaxel (175 mg/m(2) 3-hour infusion; AT) or a standard doxorubicin-cyclophosphamide regimen (AC; 60/600 mg/m(2)). Both treatments were given once every 3 weeks for a maximum of six cycles. Close cardiac monitoring was implemented in the study design. RESULTS: Congestive heart failure (CHF) occurred in three patients in the AT arm and in one patient in the AC arm (P = 0.62). Decreases in left ventricular ejection fraction to below the limit of normal were documented in 33% AT and 19% AC patients and were not predictive of CHF development. CONCLUSIONS: AT is devoid of excessive cardiac risk among metastatic breast carcinoma patients, when the maximum planned cumulative dose of doxorubicin does not exceed 360 mg/m(2).

Nutrient enrichment effects on mangrove sediments from differing tree height zones in Bocas del Toro, Panama

Red mangrove (Rhizophora mangle L.) forests have distinct tree-height zones, with tall trees fringing the ocean and shorter trees in interior stands. A long-term nitrogen (N) and phosphorus (P) fertilization experiment in Almirante Bay, Bocas del Toro Province, Panama has shown that tree-height zonation is primarily related to nutrient limitation. This experiment was used to test the effects of in-situ nutrient additions and tree zonation on mangrove sediments. The sediments underlying the experimental R. mangle trees were sampled and N₂ fixation, ¹⁵N, chlorophyll a, percent N and P, and percent organic biomass were quantified. Both N and P additions significantly affected almost every parameter measured in both zones within this experiment. These results are likely to have implications for management since N and P inputs are predicted to increase throughout the tropics and subtropics worldwide.

Percutaneous Revision of a Testicular Prosthesis is Safe, Cost-effective, and Provides Good Patient Satisfaction.

Office-based percutaneous revision of a testicular prosthesis has never been reported. A patient received a testicular prosthesis but was dissatisfied with the firmness of the implant. In an office setting, the prosthesis was inflated with additional fluid via a percutaneous approach. Evaluated outcomes included patient satisfaction, prosthesis size, recovery time, and cost savings. The patient was satisfied, with no infection, leak, or complication after more than 1 year of follow-up, at significantly less cost than revision surgery. Percutaneous adjustment of testicular prosthesis fill-volume can be safe, inexpensive, and result in good patient satisfaction.

Définition en discours de l'idéal-type eurorégional. Consensus et zones d'ombre autour d'une politique expérimentale

L'article examine comment s'affirme l'idéal-type émergent des eurorégions en Europe. En analysant les discours produits par des institutions, des acteurs économiques et des médias, nous reconstituons la définition du projet eurorégional à partir des diverses positions énonciatives et indépendamment des langues ou de la localisation géographique des eurorégions. D'un côté, les résultats mettent en évidence des métaphores caractéristiques du discours politique européen (la construction, l'expérimentation, le corps) qui contribuent à instaurer l'imaginaire d'un continuum territorial en Europe. D'un autre côté, les résultats dévoilent des zones d'ombre (dissensions, approximations, dispersions, concurrence) qui rendent la définition du projet eurorégional floue et difficile à appréhender pour le citoyen. L'analyse s'appuie sur un corpus authentique et multilingue en vue de déceler des régularités relatives au discours eurorégional. Elle mobilise des résultats textométriques simples mais vérifiables qui servent de repères à l'analyse qualitative.

Covering Partial Cubes with Zones

http://www.combinatorics.org/ojs/index.php/eljc/article/view/v22i3p31

Is intracytoplasmic sperm injection (ICSI) a safe procedure: What do we learn first trimester data in ICSI pregnancies ?

info:eu-repo/semantics/nonPublished

Safe spaces and sense of identity: views and experiences of lesbian, gay and bisexual young people

Empirical data on the life experiences of contemporary school-age lesbian, gay and bisexual (LGB) young people in Britain remains somewhat sparse. This paper reports the preliminary findings of a study conducted at a recently-initiated LGB youth Summer School. To further an appreciation of issues of concern to today's LGB teenagers, in-depth interviews were conducted with 10 Summer School participants (five female and five male, aged 15-18 years). The aim was to elicit their views and experiences relating to their need for support such as that offered by the Summer School. Themes drawn from participants' interviews are presented. Key issues included: being positioned as different by their majority heterosexual peers; feelings of isolation and loneliness in their peer groups and families; difficulties in finding others like themselves for companionship; and the importance of meeting more LGB people of their own age.

On the Front Line: frontal zones as priority at-sea conservation areas for mobile marine vertebrates

1.Identifying priority areas for marine vertebrate conservation is complex because species of conservation concern are highly mobile, inhabit dynamic habitats and are difficult to monitor. 2.Many marine vertebrates are known to associate with oceanographic fronts – physical interfaces at the transition between water masses – for foraging and migration, making them important candidate sites for conservation. Here, we review associations between marine vertebrates and fronts and how they vary with scale, regional oceanography and foraging ecology. 3.Accessibility, spatiotemporal predictability and relative productivity of front-associated foraging habitats are key aspects of their ecological importance. Predictable mesoscale (10s–100s km) regions of persistent frontal activity (‘frontal zones’) are particularly significant. 4.Frontal zones are hotspots of overlap between critical habitat and spatially explicit anthropogenic threats, such as the concentration of fisheries activity. As such, they represent tractable conservation units, in which to target measures for threat mitigation. 5.Front mapping via Earth observation (EO) remote sensing facilitates identification and monitoring of these hotspots of vulnerability. Seasonal or climatological products can locate biophysical hotspots, while near-real-time front mapping augments the suite of tools supporting spatially dynamic ocean management. 6.Synthesis and applications. Frontal zones are ecologically important for mobile marine vertebrates. We surmise that relative accessibility, predictability and productivity are key biophysical characteristics of ecologically significant frontal zones in contrasting oceanographic regions. Persistent frontal zones are potential priority conservation areas for multiple marine vertebrate taxa and are easily identifiable through front mapping via EO remote sensing. These insights are useful for marine spatial planning and marine biodiversity conservation, both within Exclusive Economic Zones and in the open oceans.

Comparison of new and primary production models using SeaWiFS data in contrasting hydrographic zones of the northern North Atlantic.

The accuracy of two satellite models of marine primary (PP) and new production (NP) were assessed against 14C and 15N uptake measurements taken during six research cruises in the northern North Atlantic. The wavelength resolving model (WRM) was more accurate than the Vertical General Production Model (VGPM) for computation of both PP and NP. Mean monthly satellite maps of PP and NP for both models were generated from 1997 to 2010 using SeaWiFS data for the Irminger basin and North Atlantic. Intra- and inter-annual variability of the two models was compared in six hydrographic zones. Both models exhibited similar spatio-temporal patterns: PP and NP increased from April to June and decreased by August. Higher values were associated with the East Greenland Current (EGC), Iceland Basin (ICB) and the Reykjanes Ridge (RKR) and lower values occurred in the Central Irminger Current (CIC), North Irminger Current (NIC) and Southern Irminger Current (SIC). The annual PP and NP over the SeaWiFS record was 258 and 82 gC m-2 yr-1 respectively for the VGPM and 190 and 41 gC m-2 yr-1 for the WRM. Average annual cumulative sum in the anomalies of NP for the VGPM were positively correlated with the North Atlantic Oscillation (NAO) in the EGC, CIC and SIC and negatively correlated with the multivariate ENSO index (MEI) in the ICB. By contrast, cumulative sum of the anomalies of NP for the WRM were significantly correlated with NAO only in the EGC and CIC. NP from both VGPM and WRM exhibited significant negative correlations with Arctic Oscillation (AO) in all hydrographic zones. The differences in estimates of PP and NP in these hydrographic zones arise principally from the parameterisation of the euphotic depth and the SST dependence of photo-physiological term in the VGPM, which has a greater sensitivity to variations in temperature than the WRM. In waters of 0 to 5C PP using the VGPM was 43% higher than WRM, from 5 to 10C the VGPM was 29% higher and from 10 to 15C the VGPM was 27% higher.