Nested diets: a novel pattern of individual-level resource use

Many generalist populations may actually be composed of relatively specialist individuals. This `individual specialization` may have important ecological and evolutionary implications. Although this phenomenon has been documented in more than one hundred taxa, it is still unclear how individuals within a population actually partition resources. Here we applied several methods based on network theory to investigate the intrapopulation patterns of resource use in the gracile mouse opossum Gracilinanus microtarsus. We found evidence of significant individual specialization in this species and that the diets of specialists are nested within the diets of generalists. This novel pattern is consistent with a recently proposed model of optimal foraging and implies strong asymmetry in the interactions among individuals of a population.

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.

Modeling connectivity in terms of network activity

A new complex network model is proposed which is founded on growth, with new connections being established proportionally to the current dynamical activity of each node, which can be understood as a generalization of the Barabasi-Albert static model. By using several topological measurements, as well as optimal multivariate methods (canonical analysis and maximum likelihood decision), we show that this new model provides, among several other theoretical kinds of networks including Watts-Strogatz small-world networks, the greatest compatibility with three real-world cortical networks.

Structural parameters of polyacrylamide hydrogels obtained by the Equilibrium Swelling Theory

In this paper, the synthesis and structural characterization of a series of polyacrylamide hydrogels with different degrees of reticulation are reported. Although the Equilibrium Swelling Theory was recognized as a simple and reliable tool for the determination of structural hydrogels network parameters like equilibrium degree of swelling, cross-link ratio and mesh size, this is the first application of this methodology for polyacrylamide hydrogels. By changing the total monomer content in the synthesis solution (%T) from 5 to 30%, at a fixed value of cross-linker content in the total monomer amount (%C) of 5%, the final parameter obtained, the mesh size, can be tuned from 2 to 0.3 nm. It was also possible to change the mesh size (0.19-0.35) by varying %C from 5 to 12% (at %T = 20%). Scanning Electron Microscopy images for the most different formulations are shown and corroborate data obtained from the theory. (c) 2008 Elsevier Ltd. All rights reserved.