Soil sulfur fractions dynamics and distribution in a tropical grass pasture amended with nitrogen and sulfur fertilizers

Soil sulfur (S) partitioning among the various pools and changes in tropical pasture ecosystems remain poorly understood. Our study aimed to investigate the dynamics and distribution of soil S fractions in an 8-year-old signal grass (Brachiaria decumbens Stapf.) pasture fertilized with nitrogen (N) and S. A factorial combination of two N rates (0 and 600?kg N ha1 y1, as NH4NO3) and two S rates (0 and 60?kg S ha1 y1, as gypsum) were applied to signal grass pastures during 2 y. Cattle grazing was controlled during the experimental period. Organic S was the major S pool found in the tropical pasture soil, and represented 97% to 99% of total S content. Among the organic S fractions, residual S was the most abundant (42% to 67% of total S), followed by ester-bonded S (19% to 42%), and C-bonded S (11% to 19%). Plant-available inorganic SO4-S concentrations were very low, even for the treatments receiving S fertilizers. Low inorganic SO4-S stocks suggest that S losses may play a major role in S dynamics of sandy tropical soils. Nitrogen and S additions affected forage yield, S plant uptake, and organic S fractions in the soil. Among the various soil fractions, residual S showed the greatest changes in response to N and S fertilization. Soil organic S increased in plots fertilized with S following the residual S fraction increment (16.6% to 34.8%). Soils cultivated without N and S fertilization showed a decrease in all soil organic S fractions.

Hormone-regulated expression and distribution of versican in mouse uterine tissues

Abstract Background Remodeling of the extracellular matrix is one of the most striking features observed in the uterus during the estrous cycle and after hormone replacement. Versican (VER) is a hyaluronan-binding proteoglycan that undergoes RNA alternative splicing, generating four distinct isoforms. This study analyzed the synthesis and distribution of VER in mouse uterine tissues during the estrous cycle, in ovariectomized (OVX) animals and after 17beta-estradiol (E2) and medroxyprogesterone (MPA) treatments, either alone or in combination. Methods Uteri from mice in all phases of the estrous cycle, and animals subjected to ovariectomy and hormone replacement were collected for immunoperoxidase staining for versican, as well as PCR and quantitative Real Time PCR. Results In diestrus and proestrus, VER was exclusively expressed in the endometrial stroma. In estrus and metaestrus, VER was present in both endometrial stroma and myometrium. In OVX mice, VER immunoreaction was abolished in all uterine tissues. VER expression was restored by E2, MPA and E2+MPA treatments. Real Time PCR analysis showed that VER expression increases considerably in the MPA-treated group. Analysis of mRNA identified isoforms V0, V1 and V3 in the mouse uterus. Conclusion These results show that the expression of versican in uterine tissues is modulated by ovarian steroid hormones, in a tissue-specific manner. VER is induced in the myometrium exclusively by E2, whereas MPA induces VER deposition only in the endometrial stroma.

Cradoscrupocellaria, a new bryozoan genus for Scrupocellaria bertholletii (Audouin) and related species (Cheilostomata, Candidae): taxonomy, biodiversity and distribution

A new genus, Cradoscrupocellaria n. gen., is erected for Scrupocellaria bertholletii Audouin, 1826), reported as widespread in tropical and subtropical waters. Here we select a neotype of this species in order to establish its identity and distinguish it from morphologically similar species. We include redescriptions and figures of additional species now assigned to this new genus: Cradoscrupocellaria curacaoensis (Fransen, 1986) n. comb., Cradoscrupocellaria hirsuta (Jullien & Calvet, 1903) n. comb., and Cradoscrupocellaria macrorhyncha (Gautier, 1962) n. comb. Five additional species are assigned to the genus: Cradoscrupocellaria ellisi (Vieira & Spencer Jones, 2012) n. comb., Cradoscrupocellaria nanshaensis (Liu, 1991) n. comb., Cradoscrupocellaria reptans (Linnaeus, 1758) n. comb., Cradoscrupocellaria serrata (Waters, 1909) n. comb., and Cradoscrupocellaria tenuirostris (Osburn, 1950) n. comb. Eighteen new species are described: Cradoscrupocellaria aegyptiana n. sp., Cradoscrupocellaria arisaigensis n. sp., Cradoscrupocellaria atlantica n. sp., Cradoscrupocellaria calypso n. sp., Cradoscrupocellaria floridana n. sp., Cradoscrupocellaria galapagensis n. sp., Cradoscrupocellaria gautieri n. sp., Cradoscrupocellaria gorgonensis n. sp., Cradoscrupocellaria hastingsae n. sp., Cradoscrupocellaria insularis n. sp., Cradoscrupocellaria jamaicensis n. sp., Cradoscrupocellaria lagaaiji n. sp., Cradoscrupocellaria macrorhynchoides n. sp., Cradoscrupocellaria makua n. sp., Cradoscrupocellaria marcusorum n. sp., Cradoscrupocellaria normani n. sp., Cradoscrupocellaria odonoghuei n. sp., and Cradoscrupocellaria osburni n. sp.

Population structure and distribution of UCA ( Brachyura: Ocypodidae) influenced by abiotic factors in a tropical estuary

Uca populations have an important functional and structural role in many estuarine ecosystems. These crabs exhibit distinct physiological tolerance to salinity gradients, which may partially explain their heterogeneous distribution. In order to investigate the population structure and distribution of Uca spp. in a tropical estuary, we sampled Uca crabs in replicated 0.75 m2 quadrats at six muddy plain areas during monthly intervals between July and November 2012 in spring tidal conditions. Environmental factors including water temperature, salinity, sediment total organic matter, chlorophyll-a, and granulometry were analyzed. We sampled a total of 2919 individuals distributed in three Uca species (U. uruguayensis, U. thayeri and U. maracoani), from which U. uruguayensis was dominant. The density and biomass of individuals were spatially and temporally heterogeneous. During October and November we found higher Uca spp. densities (71.3 ± 47.3 to 77.6 ± 44,5 ind. 0.75 m-²) and biomass (1.8 ± 1.1 to 2.1 ± 1.0 g 0.75 m-2 AFDW) if compared to the previous months, density (July 55,5± 44,1 August 52,5± 34,9 and September 47,7 ± 25,6 ind. 0,75m-²) and biomass in others months (July 1,0± 0,94 August 1,1 ± 0,72 and September 1,3±0,93 g 0.75 m-2 AFDW ). The same pattern was found for other variables, such as salinity (32 and 34), organic matter (30 and 67%) and chlorophyll-a (89 and 46 μg g-1). In two study areas we found this pattern which suggests that higher Uca productivity and food availability are related. A principal component analysis (PCA) suggests that salinity and granulometry (silt) can influence (60% correspondence) the distribution of U. maracoani. For U. uruguayensis and U. thayeri the PCA suggests chlorophyll-a was important, which is a good indicator for labile organic matter. Our study suggests that the population structure and distribution of Uca species may be regulated by food availability, supporting their utility as biological models for ecosystem monitoring.

MYC, FBXW7 and TP53 copy number variation and expression in gastric cancer

BACKGROUND: MYC deregulation is a common event in gastric carcinogenesis, usually as a consequence of gene amplification, chromosomal translocations, or posttranslational mechanisms. FBXW7 is a p53-controlled tumor-suppressor that plays a role in the regulation of cell cycle exit and reentry via MYC degradation. METHODS: We evaluated MYC, FBXW7, and TP53 copy number, mRNA levels, and protein expression in gastric cancer and paired non-neoplastic specimens from 33 patients and also in gastric adenocarcinoma cell lines. We also determined the invasion potential of the gastric cancer cell lines. RESULTS: MYC amplification was observed in 51.5% of gastric tumor samples. Deletion of one copy of FBXW7 and TP53 was observed in 45.5% and 21.2% of gastric tumors, respectively. MYC mRNA expression was significantly higher in tumors than in non-neoplastic samples. FBXW7 and TP53 mRNA expression was markedly lower in tumors than in paired non-neoplastic specimens. Moreover, deregulated MYC and FBXW7 mRNA expression was associated with the presence of lymph node metastasis and tumor stage III-IV. Additionally, MYC immunostaining was more frequently observed in intestinal-type than diffuse-type gastric cancers and was associated with MYC mRNA expression. In vitro studies showed that increased MYC and reduced FBXW7 expression is associated with a more invasive phenotype in gastric cancer cell lines. This result encouraged us to investigate the activity of the gelatinases MMP-2 and MMP-9 in both cell lines. Both gelatinases are synthesized predominantly by stromal cells rather than cancer cells, and it has been proposed that both contribute to cancer progression. We observed a significant increase in MMP-9 activity in ACP02 compared with ACP03 cells. These results confirmed that ACP02 cells have greater invasion capability than ACP03 cells. CONCLUSION: In conclusion, FBXW7 and MYC mRNA may play a role in aggressive biologic behavior of gastric cancer cells and may be a useful indicator of poor prognosis. Furthermore, MYC is a candidate target for new therapies against gastric cancer.

Interactive theorem provers: issues faced as a user and tackled as a developer

Interactive theorem provers (ITP for short) are tools whose final aim is to certify proofs written by human beings. To reach that objective they have to fill the gap between the high level language used by humans for communicating and reasoning about mathematics and the lower level language that a machine is able to “understand” and process. The user perceives this gap in terms of missing features or inefficiencies. The developer tries to accommodate the user requests without increasing the already high complexity of these applications. We believe that satisfactory solutions can only come from a strong synergy between users and developers. We devoted most part of our PHD designing and developing the Matita interactive theorem prover. The software was born in the computer science department of the University of Bologna as the result of composing together all the technologies developed by the HELM team (to which we belong) for the MoWGLI project. The MoWGLI project aimed at giving accessibility through the web to the libraries of formalised mathematics of various interactive theorem provers, taking Coq as the main test case. The motivations for giving life to a new ITP are: • study the architecture of these tools, with the aim of understanding the source of their complexity • exploit such a knowledge to experiment new solutions that, for backward compatibility reasons, would be hard (if not impossible) to test on a widely used system like Coq. Matita is based on the Curry-Howard isomorphism, adopting the Calculus of Inductive Constructions (CIC) as its logical foundation. Proof objects are thus, at some extent, compatible with the ones produced with the Coq ITP, that is itself able to import and process the ones generated using Matita. Although the systems have a lot in common, they share no code at all, and even most of the algorithmic solutions are different. The thesis is composed of two parts where we respectively describe our experience as a user and a developer of interactive provers. In particular, the first part is based on two different formalisation experiences: • our internship in the Mathematical Components team (INRIA), that is formalising the finite group theory required to attack the Feit Thompson Theorem. To tackle this result, giving an effective classification of finite groups of odd order, the team adopts the SSReflect Coq extension, developed by Georges Gonthier for the proof of the four colours theorem. • our collaboration at the D.A.M.A. Project, whose goal is the formalisation of abstract measure theory in Matita leading to a constructive proof of Lebesgue’s Dominated Convergence Theorem. The most notable issues we faced, analysed in this part of the thesis, are the following: the difficulties arising when using “black box” automation in large formalisations; the impossibility for a user (especially a newcomer) to master the context of a library of already formalised results; the uncomfortable big step execution of proof commands historically adopted in ITPs; the difficult encoding of mathematical structures with a notion of inheritance in a type theory without subtyping like CIC. In the second part of the manuscript many of these issues will be analysed with the looking glasses of an ITP developer, describing the solutions we adopted in the implementation of Matita to solve these problems: integrated searching facilities to assist the user in handling large libraries of formalised results; a small step execution semantic for proof commands; a flexible implementation of coercive subtyping allowing multiple inheritance with shared substructures; automatic tactics, integrated with the searching facilities, that generates proof commands (and not only proof objects, usually kept hidden to the user) one of which specifically designed to be user driven.

Reasoning with incomplete and imprecise preferences

Preferences are present in many real life situations but it is often difficult to quantify them giving a precise value. Sometimes preference values may be missing because of privacy reasons or because they are expensive to obtain or to produce. In some other situations the user of an automated system may have a vague idea of whats he wants. In this thesis we considered the general formalism of soft constraints, where preferences play a crucial role and we extended such a framework to handle both incomplete and imprecise preferences. In particular we provided new theoretical frameworks to handle such kinds of preferences. By admitting missing or imprecise preferences, solving a soft constraint problem becomes a different task. In fact, the new goal is to find solutions which are the best ones independently of the precise value the each preference may have. With this in mind we defined two notions of optimality: the possibly optimal solutions and the necessary optimal solutions, which are optimal no matter we assign a precise value to a missing or imprecise preference. We provided several algorithms, bases on both systematic and local search approaches, to find such kind of solutions. Moreover, we also studied the impact of our techniques also in a specific class of problems (the stable marriage problems) where imprecision and incompleteness have a specific meaning and up to now have been tackled with different techniques. In the context of the classical stable marriage problem we developed a fair method to randomly generate stable marriages of a given problem instance. Furthermore, we adapted our techniques to solve stable marriage problems with ties and incomplete lists, which are known to be NP-hard, obtaining good results both in terms of size of the returned marriage and in terms of steps need to find a solution.

Novel tools for conservation genetics in marine fish: population structure and evolution of the European hake (Merluccius merluccius) inferred by SNP variation and applications to traceability

The research presented in my PhD thesis is part of a wider European project, FishPopTrace, focused on traceability of fish populations and products. My work was aimed at developing and analyzing novel genetic tools for a widely distributed marine fish species, the European hake (Merluccius merluccius), in order to investigate population genetic structure and explore potential applications to traceability scenarios. A total of 395 SNPs (Single Nucleotide Polymorphisms) were discovered from a massive collection of Expressed Sequence Tags, obtained by high-throughput sequencing, and validated on 19 geographic samples from Atlantic and Mediterranean. Genome-scan approaches were applied to identify polymorphisms on genes potentially under divergent selection (outlier SNPs), showing higher genetic differentiation among populations respect to the average observed across loci. Comparative analysis on population structure were carried out on putative neutral and outlier loci at wide (Atlantic and Mediterranean samples) and regional (samples within each basin) spatial scales, to disentangle the effects of demographic and adaptive evolutionary forces on European hake populations genetic structure. Results demonstrated the potential of outlier loci to unveil fine scale genetic structure, possibly identifying locally adapted populations, despite the weak signal showed from putative neutral SNPs. The application of outlier SNPs within the framework of fishery resources management was also explored. A minimum panel of SNP markers showing maximum discriminatory power was selected and applied to a traceability scenario aiming at identifying the basin (and hence the stock) of origin, Atlantic or Mediterranean, of individual fish. This case study illustrates how molecular analytical technologies have operational potential in real-world contexts, and more specifically, potential to support fisheries control and enforcement and fish and fish product traceability.

Genetic and morphological variation and differentiation of Raja clavata populations in the European seas: marker development and preliminary data

In this study the population structure and connectivity of the Mediterranean and Atlantic Raja clavata (L., 1758) were investigated by analyzing the genetic variation of six population samples (N = 144) at seven nuclear microsatellite loci. The genetic dataset was generated by selecting population samples available in the tissue databases of the GenoDREAM laboratory (University of Bologna) and of the Department of Life Sciences and Environment (University of Cagliari), all collected during past scientific surveys (MEDITS, GRUND) from different geographical locations in the Mediterranean basin and North-east Atlantic sea, as North Sea, Sardinian coasts, Tuscany coasts and Cyprus Island. This thesis deals with to estimate the genetic diversity and differentiation among 6 geographical samples, in particular, to assess the presence of any barrier (geographic, hydrogeological or biological) to gene flow evaluating both the genetic diversity (nucleotide diversity, observed and expected heterozygosity, Hardy- Weinberg equilibrium analysis) and population differentiation (Fst estimates, population structure analysis). In addition to molecular analysis, quantitative representation and statistical analysis of morphological individuals shape are performed using geometric morphometrics methods and statistical tests. Geometric coordinates call landmarks are fixed in 158 individuals belonging to two population samples of Raja clavata and in population samples of closely related species, Raja straeleni (cryptic sibling) and Raja asterias, to assess significant morphological differences at multiple taxonomic levels. The results obtained from the analysis of the microsatellite dataset suggested a geographic and genetic separation between populations from Central-Western and Eastern Mediterranean basins. Furthermore, the analysis also showed that there was no separation between geographic samples from North Atlantic Ocean and central-Western Mediterranean, grouping them to a panmictic population. The Landmark-based geometric morphometry method results showed significant differences of body shape able to discriminate taxa at tested levels (from species to populations).

Land use change to perennial energy crops in Northern Italy: Effects on soil organic carbon sequestration and distribution, soil enzyme activities and microbial communities.

Studies on soil organic carbon (SOC) sequestration in perennial energy crops are available for North-Central Europe, while there is insufficient information for Southern Europe. This research was conducted in the Po Valley, a Mediterranean-temperate zone characterised by low SOC levels, due to intensive management. The aim was to assess the factors influencing SOC sequestration and its distribution through depth and within soil fractions, after a 9-year old conversion from two annual systems to Miscanthus (Miscanthus × giganteus) and giant reed (Arundo donax). The 13C natural abundance was used to evaluate the amount of SOC in annual and perennial species, and determine the percentage of carbon derived from perennial crops. SOC was significantly higher under perennial species, especially in the topsoil (0-0.15 m). After 9 years, the amount of C derived from Miscanthus was 18.7 Mg ha-1, mostly stored at 0-0.15 m, whereas the amount of C derived from giant reed was 34.7 Mg ha-1, evenly distributed through layers. Physical soil fractionation was combined with 13C abundance analysis. C derived from perennial crops was mainly found in macroaggregates. Under giant reed, more newly derived-carbon was stored in microaggregates and mineral fraction than under Miscanthus. A molecular approach based on denaturing gradient gel electrophoresis (DGGE) allowed to evaluate changes on microbial community, after the introduction of perennial crops. Functional aspects were investigated by determining relevant soil enzymes (β-glucosidase, urease, alkaline phosphatase). Perennial crops positively stimulated these enzymes, especially in the topsoil. DGGE profiles revealed that community richness was higher in perennial crops; Shannon index of diversity was influenced only by depth. In conclusion, Miscanthus and giant reed represent a sustainable choice for the recovery of soils exhausted by intensive management, also in Mediterranean conditions and this is relevant mainly because this geographical area is notoriously characterised by a rapid turnover of SOC.