Knuth-Bendix algorithm and the conjugacy problems in monoids

We present an algorithmic approach to the conjugacy problems in monoids, using rewriting systems. We extend the classical theory of rewriting developed by Knuth and Bendix to a rewriting that takes into account the cyclic conjugates.Comment: This is a new version of the paper 'The conjugacy problems in monoids and semigroups'. This version will appear in the journal 'Semigroup forum

Desenvolvimento, Produtividade E Atributos Qualitativos De Cultivares De Cana-de-açúcar Fertirrigadas Por Gotejamento Subsuperficial

The present study aimed to evaluate the development, yield and quality of four sugarcane cultivars fertigated by subsurface drip system. The experiment was carried out in Campinas-SP, Brazil, from January 2012 to November 2013, with the cultivars SP79-1011, IACSP94-2101, IACSP94-2094 and IACSP95-5000 subjected to daily irrigations. The irrigations depths were applied to bring soil moisture to field capacity. Soil moisture was monitored using soil moisture probes. Samples were collected along the crop cycle in order to evaluate crop development and yield, at the end of the first and second ratoons. Stalk height showed good correlation for the estimation of crop yield, with R2 equal to or higher than 0.96. The cultivar IACSP95-5000 showed the highest yield in the first ratoon. In the second ratoon the highest yield was observed in IACSP94-2101, followed by IACSP95-5000 and SP79-1011. Considering the yield results associated with the technological analysis, such as soluble solids content and apparent sucrose, the cultivar IACSP95-5000 excelled the others in the cultivation under subsurface drip irrigation. © 2016, Departamento de Engenharia Agricola - UFCG/Cnpq. All rights reserved.20652553

Pareto's Law of Income Distribution: Evidence for Germany, the United Kingdom, and the United States

We analyze three sets of income data: the US Panel Study of Income Dynamics PSID), the British Household Panel Survey (BHPS), and the German Socio-Economic Panel (GSOEP). It is shown that the empirical income distribution is consistent with a two-parameter lognormal function for the low-middle income group (97%-99% of the population), and with a Pareto or power law function for the high income group (1%-3% of the population). This mixture of two qualitatively different analytical distributions seems stable over the years covered by our data sets, although their parameters significantly change in time. It is also found that the probability density of income growth rates almost has the form of an exponential function.Comment: Latex2e v1.6; 16 pages with 5 figure

Are biological species and higher-ranking categories real? Fish folk taxonomy on Brazil’s Atlantic Forest coast and in the Amazon

Analysis of Brazilian fishers' classifications of 24 marine (Atlantic coast) and 24 freshwater (Amazon) fish species reveals that fishers from the Atlantic coast identify fish mainly through generic names (primary lexemes), while riverine Amazonian fishers typically identify them through binomials. The similarity of Amazonian fish species seems to contribute to the detailed folk taxonomy used by riverine fishers. High-ranking groups called "relatives" or "cousins" are sorted by fishers in terms of similarities of habitat, diet, and morphology and, secondarily, behavior. The general correspondence between the folk and scientific taxonomies reinforces the reality of both the supracategories used by these fishers and the biological groups as discontinuities in nature. Given the urgency of biological inventories and the lack of knowledge of high-biodiversity environments such as the Atlantic Forest and the Amazon, these results suggest that fisher knowledge and experience could contribute to scientific research.49229130

Bone Characteristics Of Broiler Chickens Fed Diets Supplemented With Solanum Glaucophyllum

The aim of this study was to assess the characteristics of the tibiotarsus of male broilers at 21 and 35 days of age. The percentages of collagenous proteins (CP), non-collagenous proteins (NCP), ash, and minerals (calcium, phosphorus, potassium and sodium), as well as weight of dried and defatted tibiotarsus in natura were determined. A total of 648 Cobb® male broilers were used in a random block design study with 6 treatments, 6 replicates, and 18 birds per experimental unit. The treatments consisted of diet supplementation with 0.0, 0.5, 1.0, 1.5, 2.0, and 2.5 μg of active Vitamin D3 per kg of feed. The birds were weighed at 21 and 35 days of age and one bird per repetition with the mean weight of the experimental unit was slaughtered to collect the tibiotarsus. The organic and mineral composition of the bone was affected by the addition of active Vitamin D3 to the feed. Our results indicate that a dose of up to 1.50 μg of 1,25(OH)2D3/kg of feed is ideal for male broilers between 8 and 35 days of age.37138139

Dietary xylanase and live yeast supplementation influence intestinal bacterial populations and growth performance of piglets fed a sorghum-based diet

This study was to evaluate the effect of xylanase supplementation and the addition of live yeast, Saccharomyces cerevisiae, on growth performance and intestinal microbiota in piglets. One hundred and eighty commercial crossbred 23-d-old piglets (PIC 417) were sorted by initial BW and allocated to 3 treatments: control (CTR) diet, CTR diet supplemented with xylanase at 16,000 birch xylan units/kg (XYL) and XYL diet supplemented with live yeast (2 × 10 10 CFU/g) at 1 kg/t (XYL + LY). Each treatment had 10 replicates, with 6 animals each. A sorghum-based diet and water were available ad libitum for 42 d of the study. Average daily gain (ADG) and average daily feed intake (ADFI) were measured from 0 to 42 d (23- to 65-d-old) and feed conversion ratio (FCR) calculated. At the end of the study, bacterial identification through 16S rRNA (V3 to V4) sequencing of the ileal and caecal digesta from one piglet per replicate was performed. No treatment effects were observed on ADFI. Pigs offered the live yeast in addition to the xylanase had increased ADG compared with those supplemented with xylanase alone (XYL + LY vs. XYL; P = 0.655). FCR was improved with XYL and XYL + LY compared with CTR (P = 0.018). Clostridiaceae counts in the ileum tended to reduce by 10% with XYL and 14% with XYL + LY compared to CTR (P = 0.07). XYL and XYL + LY increased the counts of Lactobacillaceae in the caecum compared with CTR (P < 0.0001). Dietary supplementation of live yeast combined with xylanase improved growth performance and microbial balance of piglets during the nursery phase

Generating a checking sequence with a minimum number of reset transitions

Given a finite state machine M, a checking sequence is an input sequence that is guaranteed to lead to a failure if the implementation under test is faulty and has no more states than M. There has been much interest in the automated generation of a short checking sequence from a finite state machine. However, such sequences can contain reset transitions whose use can adversely affect both the cost of applying the checking sequence and the effectiveness of the checking sequence. Thus, we sometimes want a checking sequence with a minimum number of reset transitions rather than a shortest checking sequence. This paper describes a new algorithm for generating a checking sequence, based on a distinguishing sequence, that minimises the number of reset transitions used.This work was supported in part by Leverhulme Trust grant number F/00275/D, Testing State Based Systems, Natural Sciences and Engineering Research Council (NSERC) of Canada grant number RGPIN 976, and Engineering and Physical Sciences Research Council grant number GR/R43150, Formal Methods and Testing (FORTEST)

Sexual dimorphism in extracellular matrix composition and viscoelasticity of the healthy and inflamed mouse brain

Magnetic resonance elastography (MRE) has revealed sexual dimorphism in brain stiffness in healthy individuals and multiple sclerosis (MS) patients. In an animal model of MS, named experimental autoimmune encephalomyelitis (EAE), we have previously shown that inflammation-induced brain softening was associated with alterations of the extracellular matrix (ECM). However, it remained unclear whether the brain ECM presents sex-specific properties that can be visualized by MRE. Therefore, here we aimed at quantifying sexual dimorphism in brain viscoelasticity in association with ECM changes in healthy and inflamed brains. Multifrequency MRE was applied to the midbrain of healthy and EAE mice of both sexes to quantitatively map regional stiffness. To define differences in brain ECM composition, the gene expression of the key basement membrane components laminin (Lama4, Lama5), collagen (Col4a1, Col1a1), and fibronectin (Fn1) were investigated by RT-qPCR. We showed that the healthy male cortex expressed less Lama4, Lama5, and Col4a1, but more Fn1 (all p < 0.05) than the healthy female cortex, which was associated with 9% softer properties (p = 0.044) in that region. At peak EAE cortical softening was similar in both sexes compared to healthy tissue, with an 8% difference remaining between males and females (p = 0.006). Cortical Lama4, Lama5 and Col4a1 expression increased 2 to 3-fold in EAE in both sexes while Fn1 decreased only in males (all p < 0.05). No significant sex differences in stiffness were detected in other brain regions. In conclusion, sexual dimorphism in the ECM composition of cortical tissue in the mouse brain is reflected by in vivo stiffness measured with MRE and should be considered in future studies by sex-specific reference values