A new genus and new species of fan worms (Polychaeta: Sabellidae) from Atlantic and Pacific Oceans-the formal treatment of taxon names as explanatory hypotheses

Members of Parasabella minuta Treadwell, 1941, subsequently moved to Perkinsiana, were collected during a survey of rocky intertidal polychaetes along the state of Sao Paulo, Brazil. Additional specimens, which are referred to two new species, were also found in similar habitats from the Bocas del Toro Archipelago, Caribbean Panama, and Oahu Island, Hawaii. A phylogenetic analysis of Sabellinae, including members of P. minuta and the two new species, provided justification for establishing a new generic hypothesis, Sabellomma gen. nov., for these individuals. Formal definitions are also provided for Sabellomma minuta gen. nov., comb. nov., S. collinae gen. nov., spec. nov., and S. harrisae gen. nov., spec. nov., along with descriptions of individuals to which these hypotheses apply. The generic name Aracia nom. nov., is provided to replace Kirkia Nogueira, Lopez and Rossi, 2004, pre-occupied by a mollusk.

Formal validation of automated policy refinement in the management of network security systems

Policy hierarchies and automated policy refinement are powerful approaches to simplify administration of security services in complex network environments. A crucial issue for the practical use of these approaches is to ensure the validity of the policy hierarchy, i.e. since the policy sets for the lower levels are automatically derived from the abstract policies (defined by the modeller), we must be sure that the derived policies uphold the high-level ones. This paper builds upon previous work on Model-based Management, particularly on the Diagram of Abstract Subsystems approach, and goes further to propose a formal validation approach for the policy hierarchies yielded by the automated policy refinement process. We establish general validation conditions for a multi-layered policy model, i.e. necessary and sufficient conditions that a policy hierarchy must satisfy so that the lower-level policy sets are valid refinements of the higher-level policies according to the criteria of consistency and completeness. Relying upon the validation conditions and upon axioms about the model representativeness, two theorems are proved to ensure compliance between the resulting system behaviour and the abstract policies that are modelled.

Modelling the line variations from the wind-wind shock emissions of WR 30a

The study of Wolf-Rayet stars plays an important role in evolutionary theories of massive stars. Among these objects, similar to 20 per cent are known to be in binary systems and can therefore be used for the mass determination of these stars. Most of these systems are not spatially resolved and spectral lines can be used to constrain the orbital parameters. However, part of the emission may originate in the interaction zone between the stellar winds, modifying the line profiles and thus challenging us to use different models to interpret them. In this work, we analysed the He II lambda 4686 angstrom + C IV lambda 4658 angstrom blended lines of WR 30a (WO4+O5) assuming that part of the emission originate in the wind-wind interaction zone. In fact, this line presents a quiescent base profile, attributed to the WO wind, and a superposed excess, which varies with the orbital phase along the 4.6-d period. Under these assumptions, we were able to fit the excess spectral line profile and central velocity for all phases, except for the longest wavelengths, where a spectral line with constant velocity seems to be present. The fit parameters provide the eccentricity and inclination of the binary orbit, from which it is possible to constrain the stellar masses.

Trophallaxis in Dehydrated Leaf Cutting Colonies of Atta sexdens rubropilosa (Hymenoptera: Formicidae)

Trophallaxis, the transfer of liquid among individuals by oral regurgitation or anal deposition, occurs in many insect groups including ants. The first indication that trophallaxis could occur in leaf cutting ants (Atta sexdens rubropilosa) was made by Autuori in 1942. He reported water collection by this ant species, and highlighted what in those days was an undescribed behavior for this species. In 2005, Da-Silva and Ribeiro presented preliminary results suggesting the existence of trophallaxis in A. sexdens rubropilosa. Here we report on a formal test of the hypothesis of trophallaxis in that species. Our approach was to test ant pairs in which only one individual (Group I) had access to blue-dyed water and the other individual (Group II), a nest-mate, came from a colony dehydrated by offering dry crushed corn for fungal growth. Positive results for trophallaxis were obtained in ants from four colonies and accounted for 33%-46% of all tests in which ants from Group I drank dyed water. These results indicate that trophallaxis occurs in this species.

Sexual System, Sex Ratio, and Group Living in the Shrimp Thor amboinensis (De Man): Relevance to Resource-Monopolization and Sex-Allocation Theories

The sexual system of the symbiotic shrimp Thor amboinensis is described, along with observations on sex ratio and host-use pattern of different populations. We used a comprehensive approach to elucidate the previously unknown sexual system of this shrimp. Dissections, scanning electron microscopy, size-frequency distribution analysis, and laboratory observations demonstrated that T amboinensis is a protandric hermaphrodite: shrimp first mature as males and change into females later in life. Thor amboinensis inhabited the large and structurally heterogeneous sea anemone Stichoclactyla helianthus in large groups (up to 11 individuals) more frequently than expected by chance alone. Groups exhibited no particularly complex social structure and showed male-biased sex ratios more frequently than expected by chance alone. The adult sex ratio was male-biased in the four separate populations studied, one of them being thousands of kilometers apart from the others. This study supports predictions central to theories of resource monopolization and sex allocation. Dissections demonstrated that unusually large males were parasitized by an undescribed species of isopod (family Entoniscidae). Infestation rates were similarly low in both sexes (approximate to 11%-12%). The available information suggests that T. amboinensis uses pure search promiscuity as a mating system. This hypothesis needs to be formally tested with mating behavior observations and field measurements on the movement pattern of both sexes of the species. Further detailed studies on the lifestyle and sexual system of all the species within this genus and the development of a molecular phylogeny are necessary to elucidate the evolutionary history of gender expression in the genus Thor.

Renormalization of the S parameter in holographic models of electroweak symmetry breaking

We show that the S parameter is not finite in theories of electroweak symmetry breaking in a slice of anti-de Sitter five-dimensional space, with the light fermions localized in the ultraviolet. We compute the one-loop contributions to S from the Higgs sector and show that they are logarithmically dependent on the cutoff of the theory. We discuss the renormalization of S, as well as the implications for bounds from electroweak precision measurements on these models. We argue that, although in principle the choice of renormalization condition could eliminate the S parameter constraint, a more consistent condition would still result in a large and positive S. On the other hand, we show that the dependence on the Higgs mass in S can be entirely eliminated by the renormalization procedure, making it impossible in these theories to extract a Higgs mass bound from electroweak precision constraints.

Formalization of an architectural model for exception handling coordination based on CA action concepts

Architectures based on Coordinated Atomic action (CA action) concepts have been used to build concurrent fault-tolerant systems. This conceptual model combines concurrent exception handling with action nesting to provide a general mechanism for both enclosing interactions among system components and coordinating forward error recovery measures. This article presents an architectural model to guide the formal specification of concurrent fault-tolerant systems. This architecture provides built-in Communicating Sequential Processes (CSPs) and predefined channels to coordinate exception handling of the user-defined components. Hence some safety properties concerning action scoping and concurrent exception handling can be proved by using the FDR (Failure Divergence Refinement) verification tool. As a result, a formal and general architecture supporting software fault tolerance is ready to be used and proved as users define components with normal and exceptional behaviors. (C) 2010 Elsevier B.V. All rights reserved.

On spectra of abelian group rings

In this paper we study the spectrum of integral group rings of finitely generated abelian groups G from the scheme-theoretic viewpoint. We prove that the (closed) singular points of Spec Z[G], the (closed) intersection points of the irreducible components of Spec Z[G] and the (closed) points over the prime divisors of vertical bar t(G)vertical bar coincide. We also determine the formal completion of Spec Z[G] at a singular point.

A Character Formula for the Category (O)over-tilde of Modules for Affine sl(2)

One may construct, for any function on the integers, an irreducible module of level zero for affine sl(2) using the values of the function as structure constants. The modules constructed using exponential-polynomial functions realize the irreducible modules with finite-dimensional weight spaces in the category (O) over tilde of Chari. In this work, an expression for the formal character of such a module is derived using the highest weight theory of truncations of the loop algebra.