1,720,960 research outputs found
Proof-search and countermodel generation for non-normal modal logics: The theorem prover PRONOM
No full textIn this work we present PRONOM, a theorem prover and countermodel generator for non-normal modal logics. PRONOM implements some labelled sequent calculi recently introduced for the basic system E and its extensions with axioms M, N, and C based on bi-neighbourhood semantics. PRONOM is inspired by the methodology of leanT(A)P and is implemented in Prolog. When a modal formula is valid, then PRONOM computes a proof (a closed tree) in the labelled calculi having a sequent with an empty left-hand side and containing only that formula on the right-hand side as a root, otherwise PRONOM is able to extract a model falsifying it from an open, saturated branch. The paper shows some experimental results, witnessing that the performances of PRONOM are promising
Effects of Exercise on Urinary Parameters and Proteins in Well-Trained Canicross Dogs: A Preliminary Study
No full textThe aim of the present study was to investigate the effects of exercise during canicross competition on urinary biochemical parameters and urinary proteins. Our results showed that, among the parameters analysed in routine urinalysis, pH was affected by exercise and albuminuria also showed changes immediately after physical exercise with a return to baseline within 2 h after the physical activity. In particular, SDS-PAGE electrophoresis allowed the separation of the urinary proteins on the basis of their molecular mass allowing a qualitative evaluation of the urinary proteome and a quantitative analysis of urine albumin and uromodulin, with a significant increase in urinary albumin and a decrease in uromodulin after exercise. In this study, urine was collected by spontaneous voiding and the use of this non-invasive sampling method proved useful in obtaining information on the health of the animals in the immediate moments before and after the competition without increasing the stress of the animals involved in the competition by any visits or invasive manipulations by veterinarians
Going Beyond Counting First Authors in Author Co-citation Analysis
Full text linkThe present study examines one of the fundamental aspects of author co-citation analysis (ACA) - the way co-citation
counts are defined. Co-citation counting provides the data on which all subsequent statistical analyses and mappings
are based, and we compare ACA results based on two different types of co-citation counting - the traditional type that
only counts the first one among a cited work's authors on the one hand and a non-traditional type that takes into
account the first 5 authors of a cited work on the other hand. Results indicate that the picture produced through this non-traditional author co-citation counting contains more coherent author groups and is therefore considerably clearer. However, this picture represents fewer specialties in the research field being studied than that produced through the traditional first-author co-citation counting when the same number of top-ranked authors is selected and analyzed. Reasons for these effects are discussed
Variations on the Author
Full text link“Variations on the Author” discusses two of Eduardo Coutinho’s recent films (Um Dia na Vida, from 2010, and Últimas Conversas, posthumously released in 2015) and their contribution to the general question of documentary authorship. The director’s filmography is characterized by a consistent yet self-effacing form of authorial self-inscription: Coutinho often features as an interviewer that rather than express opinions propels discourses; an interviewer that is good at listening. This mode of self-inscription characterizes him as an author who is not expressive but who is nonetheless markedly present on the screen. In Um Dia na Vida, however, Coutinho is completely absent form the image, while Últimas Conversas, on the contrary, includes a confessional prologue that moves the director from the margins to the center of his films. This article examines the ways in which these works stand out in the filmography of a director who offers new insights into the notion of cinematic authorship
Field application of an innovative approach to assess honeybee health and nutritional status
Full text linkEnvironment, forage quality, management practices, pathogens, and pesticides influence honeybee responses to stressors. This study proposes an innovative approach to assess colony health and performance using molecular diagnostic tools by correlating hemolymph proteins with common measures of colony strength, prevalent honeybee pathogens (Varroa destructor and Nosema spp.), and essential trace elements (iron, zinc and copper). Colonies were selected from four apiaries located in different environmental and foraging conditions in the province of Bologna (Italy). Hemolymph samples were taken from June to October 2019. The Varroa infestation of the colonies was estimated by assessing the natural mortality of the mites, while the bees were tested for Nosema spp. spores using a microscopic method. Hemolymph proteins were quantified and separated using SDS-PAGE, and colony performance was assessed by determining adult bees, total brood, honey, and pollen reserves. The biomarkers measured proved to be useful for monitoring changes in performance and trophic conditions during summer and early autumn. Significant correlations were found between hemolymph proteins and colony performance measures. A positive correlation between pollen reserves, vitellogenin, and hexamerin 70a highlights the importance of these proteins for successful overwintering. In October, Varroa infestation was negatively correlated with total proteins, vitellogenin, apolipophorin II, transferrin, and hexamerin 70a, with negative implications for overwintering; furthermore, Varroa infestation was also negatively correlated with iron content, potentially affecting iron homeostasis
Appropriate Similarity Measures for Author Cocitation Analysis
Full text linkWe provide a number of new insights into the methodological discussion about author cocitation analysis. We first argue that the use of the Pearson correlation for measuring the similarity between authors’ cocitation profiles is not very satisfactory. We then discuss what kind of similarity measures may be used as an alternative to the Pearson correlation. We consider three similarity measures in particular. One is the well-known cosine. The other two similarity measures have not been used before in the bibliometric literature. Finally, we show by means of an example that our findings have a high practical relevance.information science;Pearson correlation;cosine;similarity measure;author cocitation analysis
Supplementation of Boswellia serrata and Salix alba Extracts during the Early Laying Phase: Effects on Serum and Albumen Proteins, Trace Elements, and Yolk Cholesterol
Full text linkAbstract: Extracts from Boswellia serrata (Bs) and Salix alba (Sa) are used as supplement in poultry feed. The aims of this research were to study possible effects of a dietary supplementation with Bs and Sa on serum and albumen proteins, zinc and iron, and yolk cholesterol content in Leg-horn hens during the critical phase of the onset of laying. A total of 120 pullets, 17 weeks of age, were assigned to 2 groups (Control (C) and Treated (T), n = 60 each). The T group received a diet supplemented with 0.3% of dry extracts of Bs (5%) and Sa (5%) for 12 weeks. The study lasted 19 weeks. Serum proteins were fractionated using agarose gel electrophoresis (AGE) and SDS-polyacrylamide gel electrophoresis (SDS-PAGE). Trace elements were determined in serum using atomic absorption spectrometry and yolk cholesterol was determined using a colorimetric test. No significant differences were observed between control and supplemented hens for ana-lyzed biochemical indices. Moreover, the supplementation with phytoextracts did not negative-ly affect the physiological variations of serum proteins therefore it can be safely used as a treatment to prevent inflammatory states at onset and during the early laying phase
Iron Bioaccessibility and Speciation in Microalgae Used as a Dog Nutrition Supplement
No full textChlorella vulgaris, Arthrospira platensis, Haematoccocus pluvialis, and Phaeodactylum tricornutum are species of interest for commercial purposes due to their valuable nutritional profile. The aim of this study was to investigate the iron content in these four microalgae, with emphasis on their iron bioaccessibility assessed using an in vitro digestion system to simulate the process which takes place in the stomach and small intestine of dogs, followed by iron quantification using atomic absorption spectrometry. Furthermore, the extraction of soluble proteins was carried out and size exclusion chromatography was applied to investigate iron speciation. Significant differences (p < 0.004) in iron content were found between C. vulgaris, which had the highest (1347 ± 93 μg g−1), and H. pluvialis, which had the lowest (216 ± 59 μg g−1) iron content. C. vulgaris, A. platensis, and H. pluvialis showed an iron bioaccessibility of 30, 31, and 30%, respectively, while P. tricornutum showed the lowest bioaccessibility (11%). The four species analysed presented soluble iron mainly bound to proteins with high molecular mass ranging from >75 to 40 kDa. C. vulgaris showed the highest iron content associated with good bioaccessibility; therefore, it could be considered to be an interesting natural source of organic iron in dog nutrition
Characterization and Valorization of the Microalgal Co-Product Spirugrass®: Protein Profile, Iron Speciation, and Potential Use as a Supplement for Honeybees
Full text linkMicroalgae are used as dietary supplements for humans and animals, due to their excellent nutritional profile. This research aims to characterize Spirugrass®, a co-product obtained after the extraction of phycocyanin from Limnospira platensis, and to evaluate whether a stabilization treatment involving high-pressure processing (HPP) affects its proteomic profile. The research also aims to evaluate the possible use of Spirugrass® as feed integration for honeybee health. Proteins were extracted and fractionated using size exclusion chromatography (SEC) and sodium dodecyl sulfate polyacrylamide gel electrophoresis (SDS-PAGE). The iron content was measured using atomic absorption spectrometry (AAS). Samples of Spirugrass® were subjected to HPP at 600 MPa for five minutes and the effect on the integrity of the protein profile was analyzed. Finally, nine groups of 30 newly emerged honeybees were supplemented with Spirugrass® in a controlled laboratory experiment. SDS-PAGE and SEC enabled the assessment of the quality and integrity of the Spirugrass® proteome, which contains 80% of the proteins found in the algal biomass, including phycocyanin. The phycocyanin purity indices were 2.07 ± 0.14 and 0.72 ± 0.13 for the L. platensis and Spirugrass® extracts, respectively. Spirugrass® maintains a consistent iron content of 261 ± 15 μg/g dry weight, equivalent to 74% of the iron present in the algal biomass. In both L. platensis and Spirugrass®, iron was predominantly bound to high-molecular-mass proteins, including phycocyanin. Following HPP treatment, differences in the protein profiles were observed, which suggests partial protein degradation. Preliminary data obtained with honeybees are encouraging, as no mortality or adverse effects were observed and Spirugrass® can be considered a promising candidate as feed supplement. Overall, the presence of consistent levels of soluble proteins, as well as protein-bound iron, suggests that Spirugrass® could be used in animal nutrition
- …
