1,646 research outputs found

    A Mixed Real and Floating-Point Solver

    Get PDF
    Reasoning about mixed real and floating-point constraints is essential for developing accurate analysis tools for floating-point pro- grams. This paper presents FPRoCK, a prototype tool for solving mixed real and floating-point formulas. FPRoCK transforms a mixed formula into an equisatisfiable one over the reals. This formula is then solved using an off-the-shelf SMT solver. FPRoCK is also integrated with the PRECiSA static analyzer, which computes a sound estimation of the round-off error of a floating-point program. It is used to detect infeasible computational paths, thereby improving the accuracy of PRECiSA

    Mixed Land Use as an Intrinsic Feature of Sprawl: A Short-Term Analysis of Settlement Growth and Population Distribution Using European Urban Atlas

    Get PDF
    This study investigates the land-use/population mix over time as the base to derive an indicator of urban sprawl. Land-use individual patches (provided by Urban Atlas, hereafter UA, with a detailed spatial geometry at 1:10,000 scale) were associated with the total (resident) population based on official statistics (census enumeration districts and other public data sources), providing a comprehensive mapping of the spatial distribution of population density by land-use class in a representative case study for the Mediterranean region (metropolitan Athens, Greece). Data analysis adopted a mix of statistical techniques, such as descriptive statistics, non-parametric curve interpolation (smoothing splines), and exploratory multivariate statistics, namely hierarchical clustering, non-metric multi-dimensional scaling and confirmative factor analysis. The results of this study indicate a non-linear gradient of density decline from downtown (dominated by compact settlements) to peripheral locations (dominated by natural land). Population density in agricultural land was locally high and increasing over time; this result suggests how mixed land use may be the base of intense sprawl in large metropolitan regions. The methodology implemented in this study can be generalized over the whole sample of European cities included in Urban Atlas, providing a semi-automatic assessment of exurban development and population re-distribution over larger metropolitan regions

    Appropriate end points for the characterization of behavioral changes in developmental toxicology.

    Get PDF
    The present paper is devoted to second- and higher-tier test methods for the characterization of behavioral changes produced in rodents by exposure to noxious agents during development. The paper analyzes a series of end points that are informative about specific processes and underlying regulatory mechanisms but require greater technical sophistication and larger investments than first-tier end points. This applies to ultrasonic emissions in successive postnatal periods; to mother-pup interactions, including appropriate cross-fostering controls; to social (including sexual) interaction tests from the infantile to the young adult stage; and to a variety of conditioning and learning tests using both positive and negative reinforcement

    Plasma levels of conjugated bile acids in newborns after a short period of parenteral nutrition.

    Get PDF
    Background: Patients receiving parenteral nutrition (PN) frequently exhibit liver dysfunction. The authors previously reported that plant sterols of lipid emulsions added to the nutritional solution of newborns receiving PN accumulate in plasma and cell membranes and may contribute to the development of cholestasis. Conjugated bile acids (BA) have been shown to be useful markers of cholestasis. Plasma levels of several BA in newborns were quantified after administration of PN for less than 2 weeks. Methods: Plasma samples from 15 healthy control infants (CN), 22 patients who had received PN for 3-15 days (T1), and 9 patients scheduled to receive PN (T0) were analyzed. After a simple extraction procedure, plasma BA were analyzed by liquid chromatography-tandem mass spectrometry using a quantitative isotope dilution method. Results: The concentrations of BA did not differ significantly between controls and patients before PN (CN vs T0), with the exception of glycocholic acid (GCA; 2.30 ± 2.60 ??M vs 7.29 ± 5.39 ??M, respectively). There was a significant difference in several BA between controls and patients after PN (2.30 ± 2.60 ??M vs 7.61 ± 6.46 ??M for GCA, respectively; 4.02 ± 3.49 ??M vs 11.88 ± 11.05 ??M for taurocholic acid [TCA], respectively; and 4.81 ± 3.49 ??M vs 13.58 ± 12.22 ??M for taurochenodeoxycholic + taurodeoxycholic + tauroursodeoxycholic acids [TCDCA+TDCA+TUDCA], respectively). Conclusions: In newborns receiving PN, a short period of PN is associated with an early increase of some conjugated BA. These results suggest that GCA, TCA, and TCDCA+TDCA+TUDCA levels could be used as early markers of PN-related cholestasis

    Lipids from hermetia illucens, an innovative and sustainable source

    Get PDF
    The exponential increase of global demand for proteins and lipids can no longer be satisfied by classical sources. High amounts of CO2 produced by intensive livestock breeding and its effects on the environment are the main factors that prevent the use of animals as primary sources for proteins and lipids, calling for the use of new sustainable sources, such as insects. The massive breeding of bioconverter insects as a feed source has been a major topic in recent years, with both economic and scientific aspects related to rearing and subsequent processing optimization. The larvae of Hermetia illucens (Diptera: Stratiomyidae) (also known as Black Soldier Fly) can be used for the eco-sustainable production of proteins and lipids with high biological and economic value. Lipids can be obtained from BSF bioconversion processes and are present in high quantities in the last instar larvae and prepupae. Fats obtained from BSF are used as animal feed ingredients, in the formulation of several products for personal care, and in biodiesel production. To enable the use of insect-derived lipids, it is important to understand how to optimize their extraction. Here, we summarize the published information on the composition, the extraction methods, and the possible applications of the BSF lipid component

    Insect antimicrobial peptides: potential weapons to counteract the antibiotic resistance

    Get PDF
    Misuse and overuse of antibiotics have contributed in the last decades to a phenomenon known as antibiotic resistance which is currently considered one of the principal threats to global public health by the World Health Organization. The aim to find alternative drugs has been demonstrated as a real challenge. Thanks to their biodiversity, insects represent the largest class of organisms in the animal kingdom. The humoral immune response includes the production of antimicrobial peptides (AMPs) that are released into the insect hemolymph after microbial infection. In this review, we have focused on insect immune responses, particularly on AMP characteristics, their mechanism of action and applications, especially in the biomedical field. Furthermore, we discuss the Toll, Imd, and JAK-STAT pathways that activate genes encoding for the expression of AMPs. Moreover, we focused on strategies to improve insect peptides stability against proteolytic susceptibility such as D-amino acid substitutions, N-terminus modification, cyclization and dimerization

    Insect antimicrobial peptides: potential weapons to counteract the antibiotic resistance

    Get PDF
    Misuse and overuse of antibiotics have contributed in the last decades to a phenomenon known as antibiotic resistance which is currently considered one of the principal threats to global public health by the World Health Organization. The aim to find alternative drugs has been demonstrated as a real challenge. Thanks to their biodiversity, insects represent the largest class of organisms in the animal kingdom. The humoral immune response includes the production of antimicrobial peptides (AMPs) that are released into the insect hemolymph after microbial infection. In this review, we have focused on insect immune responses, particularly on AMP characteristics, their mechanism of action and applications, especially in the biomedical field. Furthermore, we discuss the Toll, Imd, and JAK-STAT pathways that activate genes encoding for the expression of AMPs. Moreover, we focused on strategies to improve insect peptides stability against proteolytic susceptibility such as D-amino acid substitutions, N-terminus modification, cyclization and dimerization

    Identification and Functional Characterization of Toxoneuron nigriceps Ovarian Proteins Involved in the Early Suppression of Host Immune Response

    Get PDF
    The endophagous parasitoid Toxoneuron nigriceps (Viereck) (Hymenoptera, Braconidae) of the larval stages of the tobacco budworm Heliothis virescens (Fabricius) (Lepidoptera, Noctuidae) injects the egg, the venom, the calyx fluid, which includes a Polydnavirus (T. nigriceps BracoVirus: TnBV) and the Ovarian Proteins (OPs) into the host body during oviposition. The host metabolism and immune system are disrupted prematurely shortly after parasitization by the combined action of the TnBV, venom, and OPs. OPs are involved in the early suppression of host immune response, before TnBV infects and expresses its genes in the host tissues. In this work, we evaluated the effect of HPLC fractions deriving from in toto OPs. Two fractions caused a reduction in hemocyte viability and were subsequently tested to detect changes in hemocyte morphology and functionality. The two fractions provoked severe oxidative stress and actin cytoskeleton disruption, which might explain the high rate of hemocyte mortality, loss of hemocyte functioning, and hence the host\u2019s reduced hemocyte encapsulation ability. Moreover, through a transcriptome and proteomic approach we identify the proteins of the two fractions: eight proteins were identified that might be involved in the observed host hemocyte changes. Our findings will contribute to a better understanding of the secreted ovarian components and their role in parasitoid wasp strategy for evading host immune responses

    Loss of coherency at interphase ?/? boundary in Ti-6Al-4V alloys during deformation at 800°C

    Get PDF
    Ti-6Al-4V is one of the major titanium-based alloy especially for creep purposes. The alloy is generallysubjected to high temperature deformation and it is generally used at warm/high temperatures. The alloy(?+???)-transus temperature is 995°C, that is, for temperatures within 995°C a mixed ?+? phasesmicrostructure characterizes the alloy mechanical behavior. The mutual relationship between the two phases,?????HCP and?????BBC, is such to have: {0001}? || {110}? ; {11-20}? || {111}?, which in literature are known asBurgers orientation relationship. The coherency of the two phases is controlled by this crystallographic mutualrelationship. Phases semi-coherency and non-coherency come from a non parallelism between the twoboundary crystallographic planes. The present work focuses on the microstructure evolution of the ?HCP/?BBCinterface coherency character with hot compression at 800°C and a strain rate of 10-3s-1 to an average truestrain of ? = 0.29 and 0.69. Loss of coherency was determined to occur at a strain ? = 0.40. The present studywas carried out by TEM inspections and SAEDP analyses
    • …
    corecore