Modelling and Administration of Contract-Based Systems

Mirroring the paper versions exchanged between businesses today, electronic contracts offer the possibility of dynamic, automatic creation and enforcement of restrictions and compulsions on agent behaviour that are designed to ensure business objectives are met. However, where there are many contracts within a particular application, it can be difficult to determine whether the system can reliably fulfil them all; computer-parsable electronic contracts may allow such verification to be automated. In this paper, we describe a conceptual framework and architecture specification in which normative business contracts can be electronically represented, verified, established, renewed, etc. In particular, we aim to allow systems containing multiple contracts to be checked for conflicts and violations of business objectives. We illustrate the framework and architecture with an aerospace example.

Xylella fastidiosa: An in vivo system to study possible survival strategies within citrus xylem vessels based on global gene expression analysis

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Invasion of epithelial mammalian cells by Paracoccidioides brasiliensis leads to cytoskeletal rearrangement and apoptosis of the host cell

Paracoccidioides brasiliensis (Pb) yeast cells can enter mammalian cells and probably manipulate the host cell environment to favor their own growth and survival. We studied the uptake of strain Pb 18 into A549 lung and Vero epithelial cells, with an emphasis on the repercussions in the cytoskeleton and the apoptosis of host cells. Cytoskeleton components of the host cells, such as actin and tubulin, were involved in the P. brasiliensis invasion process. Cytochalasin D and colchicine treatment substantially reduced invasion, indicating the functional participation of microfilaments (MFs) and microtubules (MTs) in this mechanism. Cytokeratin could also play a role in the P. brasiliensis interaction with the host. Gp43 was recognized by anti-actin and anti-cytokeratin antibodies, but not by anti-tubulin. The apoptosis induced by this fungus in infected epithelial cells was demonstrated by various techniques: TUNEL, DNA fragmentation and Bak and Bcl-2 immunocytochemical expression. DNA fragmentation was observed in infected cells but not in uninfected ones, by both TUNEL and gel electrophoresis methods. Moreover, Bcl-2 and Bak did not show any differences until 24 h after infection of cells, suggesting a competitive mechanism that allows persistence of infection. Overexpression of Bak was observed after 48 h, indicating the loss of competition between death and survival signals. In conclusion, the mechanisms of invasion of host cells, persistence within them, and the subsequent induction of apoptosis of such cells may explain the efficient dissemination of P. brasiliensis. (C) 2004 Published by Elsevier SAS.

Modelling post-release survival of reintroduced Red-billed Curassows Crax blumenbachii

Modelling post-release survival probabilities of reintroduced birds can help inform 'soft-release' strategies for avian reintroductions that use captive-bred individuals. We used post-release radiotelemetry data to estimate the survival probabilities of reintroduced captive-bred Red-billed Curassow Crax blumenbachii, a globally threatened Cracid endemic to the Brazilian Atlantic Rainforest. Between August 2006 and December 2008, 46 radiotagged Curassows from the Crax Brazil breeding centre were reintroduced to the Guapiacu Ecological Reserve (REGUA), Rio de Janeiro state, Brazil, in seven different cohorts. Reintroduced birds were most vulnerable during the first 12 months post-release from natural predation, domestic dogs and hunting. Annual post-release survival probability was high (75%) compared with published estimates for other Galliform species. However, when considering survival in all birds transported to REGUA (some birds died before release or were retained in captivity) and not only post-release survival, phi in this study was closer to estimates for other species (60%). The duration of the pre-release acclimatization period within the soft-release enclosure and the size of the released cohorts both positively influenced post-release survival of reintroduced Curassows. Our results are relevant to future Cracid reintroductions and highlight the importance of utilizing post-release monitoring data for evidence-based improvements to soft-release strategies that can significantly enhance the post-release survival of captive-bred birds.

Coat protein and RNAs of Cole latent virus are not present within chloroplasts of Chenopodium quinoa-infected cells

O vírus latente da couve (Cole latent virus, CoLV), gênero Carlavirus, foi estudado, por microscopia eletrônica de transmissão e técnicas bioquímicas, em relação à ultra-estrutura das células infetadas de Chenopodium quinoa, e de sua associação com os cloroplastos. O CoLV foi observado como partículas dispersas pelo citoplasma entremeadas com vesículas membranosas e ribossomos e/ou como densas massas de partículas. Estes partículas reagiram por imunomarcação com anti-soro policlonal para o CoLV. Morfologicamente, cloroplastos, mitocôndrias e núcleos mostraram-se inalterados e partículas virais não foram encontradas dentro dessas organelas. Entretanto, agregados de partículas virais foram freqüentemente vistos em associação com a membrana externa dos cloroplastos e ocasionalmente com peroxissomos. Cloroplastos foram purificados em gradiente de Percoll e as proteínas e os RNA foram extraídos e analisados, respectivamente, por Western blot e Northern blot. Proteína capsidial e RNA associados ao CoLV não foram detectados nessa organela. Os resultados aqui obtidos indicam que a associação CoLV/cloroplastos, observada nos estudos de microscopia eletrônica, é possivelmente um evento casual dentro da célula hospedeira e que o vírus não se multiplica dentro dessa organela.

Structural modelling of Eu3+-based siloxane-poly( oxyethylene) nanohybrids

The modelling of the local structure of sol-gel derived Eu3+-based organic/inorganic hybrids is reported, based on Small-Angle X-ray Scattering (SAXS), photoluminescence and mid-infrared spectroscopy. The hybrid matrix of these organically modified silicates, classed as di-ureasils and termed U(2000) and U(600), is formed by poly( oxyethylene) (POE) chains of variable length grafted to siloxane domains by means of urea cross-linkages. Europium triflate, Eu(CF3SO3)(3), was incorporated in the two di-ureasil matrices with compositions 400 greater than or equal ton greater than or equal to 10, n is the molar ratio of ether oxygens per Eu3+. The SAXS data for undoped hybrids (n=infinity) show the presence of a well-defined peak attributed to the existence of a liquid-like spatial correlation of siloxane rich domains embedded in the polymer matrix and located at the ends of the organic segments. The obtained siloxane particle gyration radius Rg(1) is around 5 Angstrom (error within 10%), whereas the interparticle distance d is 25 +/-2 Angstrom and 40 +/-2 Angstrom, for U(600) and U(2000), respectively. For the Eu3+-based nanocomposites the formation of a two-level hierarchical local structure is discerned. The primary level is constituted by strongly spatially correlated siloxane particles of gyration radius Rg(1) (4-6 and 3-8 Angstrom, errors within 5%, for U(600())n Eu(CF3SO3)(3), 200 greater than or equal ton greater than or equal to 40, and U(2000)(n)Eu(CF3SO3)(3), 400 greater than or equal ton greater than or equal to 40, respectively) forming large clusters of gyration radius Rg(2) (approximate to 75 +/- 10 Angstrom). The local coordination of Eu3+ in both di-ureasil series is described combining the SAXS, photoluminescence and mid-infrared results. In the di-ureasils containing long polymer chains, U(2000)(n)Eu(CF3SO3)(3), the cations interact exclusively with the carbonyl oxygens atoms of the urea bridges at the siloxane-POE interface. In the hybrids containing shorter chains, U(600)(n)Eu(CF3SO3)(3) with n ranging from 200 to 60, the Eu3+ ions interact solely with the ether-type oxygens of the polymer chains. Nevertheless, in this latter family of hybrids a distinct Eu3+ local site environment involving the urea cross-linkages is detected when the europium content is increased up to n=40.

Oviposition pattern and within-season spatial and temporal variation of pre-dispersal seed predation in a population of Mimosa bimucronata trees

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Nicotiana tabacum as an experimental host for the study of plant-Xylella fastidiosa interactions

Xylella fastidiosa causes citrus variegated chlorosis (CVC). Information generated from the X. fastidiosa genome project is being used to study the underlying mechanisms responsible for pathogenicity. However, the lack of an experimental host other than citrus to study plant-X. fastidiosa interaction has been an obstacle to accelerated progress in this area. We present here results of three experiments that demonstrated that tobacco could be an important experimental host for X. fastidiosa. All tobacco plants inoculated with a citrus strain of X. fastidiosa expressed unequivocal symptoms, consisting of orange leaf lesions, approximately 2 months after injection of the pathogen. CVC symptoms were observed in citrus 3 to 6 months after inoculation. The pathogen was readily detected in symptomatic tobacco plants by polymerase chain reaction (PCR) and phase contrast microscopy. In addition, X. fastidiosa was reisolated on agar plates in 4 of 10 plants. Scanning electron microscopy analysis of cross sections of stems and petioles revealed the presence of rod shaped bacteria restricted to the xylem of inoculated plants. The cell size was within the limit typical of X. fastidiosa.

Estimates of covariance functions for growth of Nelore cattle applying a parametric correlation structure to model within-animal correlations

A total of 20,065 weights recorded on 3016 Nelore animals were used to estimate covariance functions for growth from birth to 630 days of age, assuming a parametric correlation structure to model within-animal correlations. The model of analysis included fixed effects of contemporary groups and age of dam as quadratic covariable. Mean trends were taken into account by a cubic regression on orthogonal polynomials of animal age. Genetic effects of the animal and its dam and maternal permanent environmental effects were modelled by random regressions on Legendre polynomials of age at recording. Changes in direct permanent environmental effect variances were modelled by a polynomial variance function, together with a parametric correlation function to account for correlations between ages. Stationary and nonstationary models were used to model within-animal correlations between different ages. Residual variances were considered homogeneous or heterogeneous, with changes modelled by a step or polynomial function of age at recording. Based on Bayesian information criterion, a model with a cubic variance function combined with a nonstationary correlation function for permanent environmental effects, with 49 parameters to be estimated, fitted best. Modelling within-animal correlations through a parametric correlation structure can describe the variation pattern adequately. Moreover, the number of parameters to be estimated can be decreased substantially compared to a model fitting random regression on Legendre polynomial of age. © 2004 Elsevier B.V. All rights reserved.

Reinforcing and expanding the predictions of the disturbance vicariance hypothesis in Amazonian harlequin frogs: A molecular phylogenetic and climate envelope modelling approach

The disturbance vicariance hypothesis (DV) has been proposed to explain speciation in Amazonia, especially its edge regions, e. g. in eastern Guiana Shield harlequin frogs (Atelopus) which are suggested to have derived from a cool-adapted Andean ancestor. In concordance with DV predictions we studied that (i) these amphibians display a natural distribution gap in central Amazonia; (ii) east of this gap they constitute a monophyletic lineage which is nested within a pre-Andean/western clade; (iii) climate envelopes of Atelopus west and east of the distribution gap show some macroclimatic divergence due to a regional climate envelope shift; (iv) geographic distributions of climate envelopes of western and eastern Atelopus range into central Amazonia but with limited spatial overlap. We tested if presence and apparent absence data points of Atelopus were homogenously distributed with Ripley's K function. A molecular phylogeny (mitochondrial 16S rRNA gene) was reconstructed using Maximum Likelihood and Bayesian Inference to study if Guianan Atelopus constitute a clade nested within a larger genus phylogeny. We focused on climate envelope divergence and geographic distribution by computing climatic envelope models with MaxEnt based on macroscale bioclimatic parameters and testing them by using Schoener's index and modified Hellinger distance. We corroborated existing DV predictions and, for the first time, formulated new DV predictions aiming on species' climate envelope change. Our results suggest that cool-adapted Andean Atelopus ancestors had dispersed into the Amazon basin and further onto the eastern Guiana Shield where, under warm conditions, they were forced to change climate envelopes. © 2010 The Author(s).

Alternate treatments of jacobian singularities in polar coordinates within finite-difference schemes

Jacobian singularities of differential operators in curvilinear coordinates occur when the Jacobian determinant of the curvilinear-to-Cartesian mapping vanishes, thus leading to unbounded coefficients in partial differential equations. Within a finite-difference scheme, we treat the singularity at the pole of polar coordinates by setting up complementary equations. Such equations are obtained by either integral or smoothness conditions. They are assessed by application to analytically solvable steady-state heat-conduction problems.

Modelling fungus dispersal scenarios using cellular automata

This study focused on representing spatio-temporal patterns of fungal dispersal using cellular automata. Square lattices were used, with each site representing a host for a hypothetical fungus population. Four possible host states were allowed: resistant, permissive, latent or infectious. In this model, the probability of infection for each of the healthy states (permissive or resistant) in a time step was determined as a function of the host's susceptibility, seasonality, and the number of infectious sites and the distance between them. It was also assumed that infected sites become infectious after a pre-specified latency period, and that recovery is not possible. Several scenarios were simulated to understand the contribution of the model's parameters and the spatial structure on the dynamic behaviour of the modelling system. The model showed good capability for representing the spatio-temporal pattern of fungus dispersal over planar surfaces. With a specific problem in mind, the model can be easily modified and used to describe field behaviour, which can contribute to the conservation and development of management strategies for both natural and agricultural systems. © 2012 Elsevier B.V.

Water availability determines the richness and density of fig trees within Brazilian semideciduous forest landscapes

The success of fig trees in tropical ecosystems is evidenced by the great diversity (+750 species) and wide geographic distribution of the genus. We assessed the contribution of environmental variables on the species richness and density of fig trees in fragments of seasonal semideciduous forest (SSF) in Brazil. We assessed 20 forest fragments in three regions in Sao Paulo State, Brazil. Fig tree richness and density was estimated in rectangular plots, comprising 31.4 ha sampled. Both richness and fig tree density were linearly modeled as function of variables representing (1) fragment metrics, (2) forest structure, and (3) landscape metrics expressing water drainage in the fragments. Model selection was performed by comparing the AIC values (Akaike Information Criterion) and the relative weight of each model (wAIC). Both species richness and fig tree density were better explained by the water availability in the fragment (meter of streams/ha): wAICrichness = 0.45, wAICdensity = 0.96. The remaining variables related to anthropic perturbation and forest structure were of little weight in the models. The rainfall seasonality in SSF seems to select for both establishment strategies and morphological adaptations in the hemiepiphytic fig tree species. In the studied SSF, hemiepiphytes established at lower heights in their host trees than reported for fig trees in evergreen rainforests. Some hemiepiphytic fig species evolved superficial roots extending up to 100 m from their trunks, resulting in hectare-scale root zones that allow them to efficiently forage water and soil nutrients. The community of fig trees was robust to variation in forest structure and conservation level of SSF fragments, making this group of plants an important element for the functioning of seasonal tropical forests. © 2013 Elsevier Masson SAS. All rights reserved.

Analysing green supply chain management practices in Brazil's electrical/electronics industry using interpretive structural modelling

Industries need to adopt the environmental management concepts in the traditional supply chain management. The green supply chain management (GSCM) is an established concept to ensure environment-friendly activities in industry. This paper identifies the relationship of driving and dependence that exists between GSCM practices with regard to their adoption within Brazilian electrical/electronic industry with the help of interpretive structural modelling (ISM). From the results, we infer that cooperation with customers for eco-design practice is driving other practices, and this practice acts as a vital role among other practices. Commitment to GSCM from senior managers and cooperation with customers for cleaner production occupy the highest level. © 2013 Copyright Taylor and Francis Group, LLC.

Next-generation sequencing reveals large connected networks of intra-host HCV variants

Background: Next-generation sequencing (NGS) allows for sampling numerous viral variants from infected patients. This provides a novel opportunity to represent and study the mutational landscape of Hepatitis C Virus (HCV) within a single host.Results: Intra-host variants of the HCV E1/E2 region were extensively sampled from 58 chronically infected patients. After NGS error correction, the average number of reads and variants obtained from each sample were 3202 and 464, respectively. The distance between each pair of variants was calculated and networks were created for each patient, where each node is a variant and two nodes are connected by a link if the nucleotide distance between them is 1. The work focused on large components having > 5% of all reads, which in average account for 93.7% of all reads found in a patient. The distance between any two variants calculated over the component correlated strongly with nucleotide distances (r = 0.9499; p = 0.0001), a better correlation than the one obtained with Neighbour-Joining trees (r = 0.7624; p = 0.0001). In each patient, components were well separated, with the average distance between (6.53%) being 10 times greater than within each component (0.68%). The ratio of nonsynonymous to synonymous changes was calculated and some patients (6.9%) showed a mixture of networks under strong negative and positive selection. All components were robust to in silico stochastic sampling; even after randomly removing 85% of all reads, the largest connected component in the new subsample still involved 82.4% of remaining nodes. In vitro sampling showed that 93.02% of components present in the original sample were also found in experimental replicas, with 81.6% of reads found in both. When syringe-sharing transmission events were simulated, 91.2% of all simulated transmission events seeded all components present in the source.Conclusions: Most intra-host variants are organized into distinct single-mutation components that are: well separated from each other, represent genetic distances between viral variants, robust to sampling, reproducible and likely seeded during transmission events. Facilitated by NGS, large components offer a novel evolutionary framework for genetic analysis of intra-host viral populations and understanding transmission, immune escape and drug resistance.