To send content items to your account,
please confirm that you agree to abide by our usage policies.
If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account.
Find out more about sending content to .
To send content items to your Kindle, first ensure firstname.lastname@example.org
is added to your Approved Personal Document E-mail List under your Personal Document Settings
on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part
of your Kindle email address below.
Find out more about sending to your Kindle.
Note you can select to send to either the @free.kindle.com or @kindle.com variations.
‘@free.kindle.com’ emails are free but can only be sent to your device when it is connected to wi-fi.
‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.
Traditional designs for functional languages (such as Haskell or ML) have separate sorts of syntax for terms and types. In contrast, many dependently typed languages use a unified syntax that accounts for both terms and types. Unified syntax has some interesting advantages over separate syntax, including less duplication of concepts, and added expressiveness. However, integrating unrestricted general recursion in calculi with unified syntax is challenging when some level of type-level computation is present, since properties such as decidable type-checking are easily lost. This paper presents a family of calculi called pure iso-type systems (PITSs), which employs unified syntax, supports general recursion and preserves decidable type-checking. PITS is comparable in simplicity to pure type systems (PTSs), and is useful to serve as a foundation for functional languages that stand in-between traditional ML-like languages and fully blown dependently typed languages. In PITS, recursion and recursive types are completely unrestricted and type equality is simply based on alpha-equality, just like traditional ML-style languages. However, like most dependently typed languages, PITS uses unified syntax, naturally supporting many advanced type system features. Instead of implicit type conversion, PITS provides a generalization of iso-recursive types called iso-types. Iso-types replace the conversion rule typically used in dependently typed calculus and make every type-level computation explicit via cast operators. Iso-types avoid the complexity of explicit equality proofs employed in other approaches with casts. We study three variants of PITS that differ on the reduction strategy employed by the cast operators: call-by-name, call-by-value and parallel reduction. One key finding is that while using call-by-value or call-by-name reduction in casts loses some expressive power, it allows those variants of PITS to have simple and direct operational semantics and proofs. In contrast, the variant of PITS with parallel reduction retains the expressive power of PTS conversion, at the cost of a more complex metatheory.
Femoral vein access is the first choice for percutaneous atrial septal defect closure, and when it cannot be used due to anatomic reasons, the alternative sites should be considered, frequently increasing the complexity of the procedure. Here we report the case of a 3-year-old boy, with situs inversus and dextrocardia, electively referred for percutaneous closure of an ostium secundum atrial septal defect. During the procedure, agenesis of the infra-hepatic segment of the inferior caval vein was diagnosed, and no double inferior caval vein or right superior caval vein were identified by ultrasound or angiography. Therefore, we opted to perform the procedure through the left internal jugular vein, with fluoroscopy and transesophageal echocardiographic guidance. Catheters were navigated through a hydrophilic guidewire, and a Stiff guidewire was positioned in the left ventricle for better support. An Amplatzer septa occluder 19 was successfully deployed without major difficulties and the patient was discharged after 24 hours in good clinical condition. Percutaneous atrial septal defect closure through alternative access sites, especially in the presence of situs inversus, may pose significant challenges to the interventional team. In this case, the left internal jugular vein has shown to be a feasible option, allowing the navigation and manipulation of devices without complications. Provided the expertise of the interventional team, and awareness of the risks involved, alternative access sites can be successfully used for paediatric structural interventions.
The COllaborative project of Development of Anthropometrical measures in Twins (CODATwins) project is a large international collaborative effort to analyze individual-level phenotype data from twins in multiple cohorts from different environments. The main objective is to study factors that modify genetic and environmental variation of height, body mass index (BMI, kg/m2) and size at birth, and additionally to address other research questions such as long-term consequences of birth size. The project started in 2013 and is open to all twin projects in the world having height and weight measures on twins with information on zygosity. Thus far, 54 twin projects from 24 countries have provided individual-level data. The CODATwins database includes 489,981 twin individuals (228,635 complete twin pairs). Since many twin cohorts have collected longitudinal data, there is a total of 1,049,785 height and weight observations. For many cohorts, we also have information on birth weight and length, own smoking behavior and own or parental education. We found that the heritability estimates of height and BMI systematically changed from infancy to old age. Remarkably, only minor differences in the heritability estimates were found across cultural–geographic regions, measurement time and birth cohort for height and BMI. In addition to genetic epidemiological studies, we looked at associations of height and BMI with education, birth weight and smoking status. Within-family analyses examined differences within same-sex and opposite-sex dizygotic twins in birth size and later development. The CODATwins project demonstrates the feasibility and value of international collaboration to address gene-by-exposure interactions that require large sample sizes and address the effects of different exposures across time, geographical regions and socioeconomic status.
The dietary inclusion of feed additives to improve the carcass characteristics of the final product is of great importance for the pork production chain. The aim of our study was to evaluate the effects of the association of ractopamine (RAC) and conjugated linoleic acid (CLA) on the performance traits of finishing pigs during the last 26 days prior to slaughter. In total, 810 commercial hybrid barrows were used. Animals were distributed among treatments according to a randomised block design in a 3 × 3 factorial arrangement, with three RAC levels (0, 5 or 10 ppm) and three CLA levels (0, 0.3 or 0.6%). Pigs fed the diet with 5 ppm RAC had higher average daily feed intake (ADFI) (2.83 kg; P < 0.05) when compared with those fed 10 ppm RAC and the control diet (2.75 and 2.74 kg, respectively). Lower ADFI values (P < 0.01) were observed with the diets containing CLA compared with the control diet with no CLA (2.73 and 2.75 v. 2.85 kg/day, respectively). The average daily weight gain of pigs fed 5 and 10 ppm RAC was +148 and +173 g/dayhigher (P < 0.001), respectively, than those fed the control diet. Dietary RAC levels influenced (P < 0.001) feed conversion ratio (FCR), which was reduced as RAC levels increased, with the pigs fed 10, 5 and 0 ppm RAC presenting FCR values of 2.57, 2.71 and 3.05, respectively. FCR also improved (P < 0.05) with the inclusion of 0.6% CLA relative to the control diet (2.70 v. 2.84, respectively). There was a significant interaction between CLA × RAC levels (P < 0.01) for final BW, loin eye area (LEA) (P < 0.05) and backfat thickness (BT) (P < 0.05). The treatments containing 10 ppm RAC + 0.6% or 0.3% CLA increased LEA and reduced BT. In conclusion, the level of 10 ppm inclusion of RAC increased the overall performance parameters of pigs and therefore improved production efficiency. The combined use of RAC and CLA promoted a lower feed conversion ratio as well as better quantitative carcass traits, as demonstrated by the higher LEA and lower BT. The dietary inclusion of CLA at 0.3% improved feed efficiency, however, without affecting LEA or BT yields.
Over recent decades, biomass gains in remaining old-growth Amazonia forests have declined due to environmental change. Amazonia’s huge size and complexity makes understanding these changes, drivers, and consequences very challenging. Here, using a network of permanent monitoring plots at the Amazon–Cerrado transition, we quantify recent biomass carbon changes and explore their environmental drivers. Our study area covers 30 plots of upland and riparian forests sampled at least twice between 1996 and 2016 and subject to various levels of fire and drought. Using these plots, we aimed to: (1) estimate the long-term biomass change rate; (2) determine the extent to which forest changes are influenced by forest type; and (3) assess the threat to forests from ongoing environmental change. Overall, there was no net change in biomass, but there was clear variation among different forest types. Burning occurred at least once in 8 of the 12 riparian forests, while only 1 of the 18 upland forests burned, resulting in losses of carbon in burned riparian forests. Net biomass gains prevailed among other riparian and upland forests throughout Amazonia. Our results reveal an unanticipated vulnerability of riparian forests to fire, likely aggravated by drought, and threatening ecosystem conservation at the Amazon southern margins.
By using methods of subordinacy theory, we study packing continuity properties of spectral measures of discrete one-dimensional Schrödinger operators acting on the whole line. Then we apply these methods to Sturmian operators with rotation numbers of quasibounded density to show that they have purely
-packing continuous spectrum. A dimensional stability result is also mentioned.
Laser–solid interactions are highly suited as a potential source of high energy X-rays for nondestructive imaging. A bright, energetic X-ray pulse can be driven from a small source, making it ideal for high resolution X-ray radiography. By limiting the lateral dimensions of the target we are able to confine the region over which X-rays are produced, enabling imaging with enhanced resolution and contrast. Using constrained targets we demonstrate experimentally a
X-ray source, improving the image quality compared to unconstrained foil targets. Modelling demonstrates that a larger sheath field envelope around the perimeter of the constrained targets increases the proportion of electron current that recirculates through the target, driving a brighter source of X-rays.
Widespread and repeated use of glyphosate resulted in an increase in glyphosate-resistant (GR) weeds. This led to an urgent need for diversification of weed control programs and use of PRE herbicides with alternative sites of action. Field experiments were conducted over a 4-yr period (2015 to 2018) across three locations in Nebraska to evaluate the effects of PRE-applied herbicides on critical time for weed removal (CTWR) in GR soybean. The studies were laid out in a split-plot arrangement with herbicide regime as the main plot and weed removal timing as the subplot. The herbicide regimes used were either no PRE or premix of either sulfentrazone plus imazethapyr (350 + 70 g ai ha−1) or saflufenacil plus imazethapyr plus pyroxasulfone (26 + 70 + 120 g ai ha−1). The weed removal timings were at V1, V3, V6, R2, and R5 soybean stages, with weed-free and weedy season-long checks. Weeds were removed by application of glyphosate (1,400 g ae ha−1) or by hoeing. The results across all years and locations suggested that the use of PRE herbicides delayed CTWR in soybean. In particular, the CTWR without PRE herbicides was determined to be around the V1 to V2 (14 to 21 d after emergence [DAE]) growth stage, depending on the location and weed pressure. The use of PRE-applied herbicides delayed CTWR from about the V4 (28 DAE) stage up to the R5 (66 DAE) stage. These results suggest that the use of PRE herbicides in GR soybean could delay the need for POST application of glyphosate by 2 to 5 wk, thereby reducing the need for multiple applications of glyphosate during the growing season. Additionally, the use of PRE herbicides could provide additional modes of action needed to manage GR weeds in GR soybean.
Perinatal maternal high-fat diet (HFD) increases susceptibility to obesity and fatty liver diseases in adult offspring, which can be attenuated by the potent hypolipidaemic action of fish oil (FO), an n-3 PUFA source, during adult life. Previously, we described that adolescent HFD offspring showed resistance to FO hypolipidaemic effects, although FO promoted hepatic molecular changes suggestive of reduced lipid accumulation. Here, we investigated whether this FO intervention only during the adolescence period could affect offspring metabolism in adulthood. Then, female Wistar rats received isoenergetic, standard (STD: 9 % fat) or high-fat (HFD: 28·6 % fat) diet before mating, and throughout pregnancy and lactation. After weaning, male offspring received the standard diet; and from 25 to 45 d old they received oral administration of soyabean oil or FO. At 150 d old, serum and hepatic metabolic parameters were evaluated. Maternal HFD adult offspring showed increased body weight, visceral adiposity, hyperleptinaemia and decreased hepatic pSTAT3/STAT3 ratio, suggestive of hepatic leptin resistance. FO intake only during the adolescence period reduced visceral adiposity and serum leptin, regardless of maternal diet. Maternal HFD promoted dyslipidaemia and hepatic TAG accumulation, which was correlated with reduced hepatic carnitine palmitoyl transferase-1a content, suggesting lipid oxidation impairment. FO intake did not change serum lipids; however, it restored hepatic TAG content and hepatic markers of lipid oxidation to STD offspring levels. Therefore, we concluded that FO intake exclusively during adolescence programmed STD offspring and reprogrammed HFD offspring male rats to a healthier metabolic phenotype in adult life, reducing visceral adiposity, serum leptin and hepatic TAG content in offspring adulthood.
Graded exercises tests are performed in adult populations; nonetheless, the use of this type of assessment is greatly understudied in overweight and obese adolescents.
To investigate heart rate autonomic responses to submaximal aerobic exercise in obese and overweight adolescents.
We recruited 40 adolescents divided into two groups: (1) overweight group comprising 10 boys and 10 girls between Z-score +1 and +2 and (2) obese group comprising 10 boys and 10 girls above Z-score >+2. Heart rate variability was analysed before (T1) and after exercise (T2–T4) on treadmill at a slope of 0%, with 70% of the maximal estimated heart rate (220 – age) for 20 minutes.
Heart rate in the overweight group was: 93.2±10.52 bpm versus 120.8±13.49 bpm versus 94.6±11.65 bpm versus 93.0±9.23 bpm, and in the obese group was: 92.0±15.41 bpm versus 117.6±16.31 bpm versus 92.1±12.9 bpm versus 91.8±14.33 bpm. High frequency in the overweight group was: 640±633.1 ms2 versus 84±174.66 ms2 versus 603.5±655.31 ms2 versus 762.6±807.21 ms2, and in the obese group was: 628.4±779.81 ms2 versus 65.4±119.34 ms2 versus 506.2±482.70 ms2 versus 677.9±939.05 ms2; and root mean square of successive differences in the overweight group was: 37.9±18.81 ms versus 10.9±8.41 ms versus 32.8±24.07 ms versus 36.7±21.86 ms, and in the obese group was: 38.7±23.17 ms versus 11.5±8.62 ms versus 32.3±16.74 ms versus 37.3±24.21 ms. These values significantly changed during exercise compared with resting values in overweight and obese groups. Moreover, we also reported no significant difference of resting parasympathetic control of heart rate between obese and overweight adolescents.
There was no significant difference of autonomic responses elicited by submaximal aerobic exercise between overweight and obese adolescents.
Aircraft refuelling is a major cause of flight delays because it is a slow process. Further, if it does not begin as soon as the aircraft is available for ground handlers, there is an increasing risk of it being terminated after the final passenger has boarded. Usually, the process only begins after information regarding the required quantity of fuel is passed through the flight dispatcher, and this information typically requires a certain time to reach the ground handlers. Therefore, it is intended to test a new scenario: to begin refuelling with a minimum level and, if necessary, fill up the remainder with the final fuel figures when received. The aim of this paper is to analyse the application of Six Sigma in this process through Student’s t-test and statistical process control. The collected data in this case study include the amount of fuel supplied and flight delays (which are mainly caused by refuelling). The results demonstrate that the new process is favourable, and that the average length of flight delays is reduced from 14 to 6 min, which is an improvement of 57%. It is concluded that the application of Six Sigma in the aircraft refuelling process saves time and improves on-time performance levels, which is relevant to the scientific literature, thereby aiding in mitigating the risk of fines and penalties.
The effects of growing pinto peanut mixed with elephant grass-based pastures are still little known. The aim of the current research was to evaluate the performance of herbage yield, nutritive value of forage and animal responses to levels of pinto peanut forage mass mixed with elephant grass in low-input systems. Three grazing systems were evaluated: (i) elephant grass-based (control); (ii) pinto peanut, low-density forage yield (63 g/kg of dry matter – DM) + elephant grass; and (iii) pinto peanut, high-density dry matter forage yield (206 g/kg DM) + elephant grass. The experimental design was completely randomized with the three treatments (grazing systems) and three replicates (paddocks) in split-plot grazing cycles. Forage samples were collected to evaluate the pasture and animal responses. Leaf blades of elephant grass and the other companion grasses of pinto peanut were collected to analyse the crude protein, in vitro digestible organic matter and total digestible nutrients. The pinto peanut, high-density dry matter forage yield + elephant grass treatment was found to give the best results in terms of herbage yield, forage intake and stocking rate, as well as having higher crude protein contents for both elephant grass and the other grasses, followed by pinto peanut with low-density forage yield + elephant grass and finally elephant grass alone. Better results were found with the grass–legume system for pasture and animal responses.
Non-decorticated sunflower meal (SFM) is a potential protein source for dairy cows with high-fibre content but high ruminal degradability. The effect of replacement of soybean meal (SBM) and wheat middlings (WM) with SFM on the intake, digestibility, microbial protein synthesis, nitrogen utilization and milk production of dairy cows was evaluated. Twelve Holstein cows were blocked by days in milk and distributed in three 4 × 4 Latin squares. Diets were formulated to be isonitrogenous and contained 550 g maize silage/kg dry matter (DM). Treatment diets were no SFM (CON) or 70, 140 and 210 g/kg DM of SFM replacing fixed mixture of SBM and WM (536 and 464 g/kg of the mixture, respectively). The inclusion of SFM in diet did not affect DM intake, but intake of rumen degradable protein increased linearly. Inclusion of SFM reduced or tended to reduce total-tract digestibility of non-fibre carbohydrate, total digestible nutrients and excretion of purine derivatives. Milk production, milk protein content and efficiency of nitrogen use for lactation were reduced with increasing levels of SFM in the diet. The use of non-decorticated SFM as a replacement for SBM–WM mixture in diet reduces performance and efficiency of nutrient use in lactating dairy cows. The outcome of the current study is attributed to reduced fibre digestibility in SFM hulls. Therefore, future studies should evaluate the use of decorticated SFM.
Differences in forage nutritive value between morning and afternoon are related to patterns of dehydration and carbohydrate accumulation throughout the day. In this way, management strategies that maximize grazing time during the afternoon could increase forage nutritive value and consequently nutrient intake. The aim of the current experiment was to evaluate the effect of the time of day (06.00 h [designated AM] or 15.00 h [PM]) that cattle are moved to a new paddock on forage nutritive value, grazing behaviour and animal performance of beef cattle on rotationally stocked Marandu palisadegrass (Brachiaria brizantha cv. Marandu Syn. Urochloa brizantha cv. Marandu) pastures. A spring and summer study was conducted in Pirassununga, SP, Brazil from October 2012 to March 2013 (182 days). Treatments were distributed in a randomized complete block design with three replications. Herbage mass, morphological composition, herbage allowance and stocking rates were similar between treatments during spring and summer. Moving animals to a new paddock, regardless of the time of day – 06.00 h (AM) or 15.00 h (PM) – stimulated grazing, modifying the distribution of meals throughout the day. However, compensatory mechanisms among grazing time, bite rate and forage nutritive value throughout the day operated in order to generate similar performance between animals offered a new paddock in the morning or in the afternoon.
In 2017, dicamba-resistant (DR) soybean was commercially available to farmers in the United States. In August and September of 2017, a survey of 312 farmers from 60 Nebraska soybean-producing counties was conducted during extension field days or online. The objective of this survey was to understand farmers’ adoption and perceptions regarding DR soybean technology in Nebraska. The survey contained 16 questions and was divided in three parts: (1) demographics, (2) dicamba application in DR soybean, and (3) dicamba off-target injury to sensitive soybean cultivars. According to the results, 20% of soybean hectares represented by the survey were planted to DR soybean in 2017, and this number would probably double in 2018. Sixty-five percent of survey respondents own a sprayer and apply their own herbicide programs. More than 90% of respondents who adopted DR soybean technology reported significant improvement in weed control. Nearly 60% of respondents used dicamba alone or glyphosate plus dicamba for POST weed control in DR soybean; the remaining 40% added an additional herbicide with an alternative site of action (SOA) to the POST application. All survey respondents used one of the approved dicamba formulations for application in DR soybean. Survey results indicated that late POST dicamba applications (after late June) were more likely to result in injury to non-DR soybean compared to early POST applications (e.g., May and early June) in 2017. According to respondents, off-target dicamba movement resulted both from applications in DR soybean and dicamba-based herbicides applied in corn. Although 51% of respondents noted dicamba injury on non-DR soybean, 7% of those who noted injury filed an official complaint with the Nebraska Department of Agriculture. Although DR soybean technology allowed farmers to achieve better weed control during 2017 than previous growing seasons, it is apparent that off-target movement and resistance management must be addressed to maintain the viability and effectiveness of the technology in the future.
Highly porous alumina-based oxides, γ-Al2O3, SiO2–Al2O3, and TiO2–Al2O3 were synthesized by a modified sol–gel method. Polivinylpyrrolidone was used as the pore expanding agent, whereas cetyltrimethylammonium bromide was used as the template in the presence of alkoxide inorganic precursors. Both as-synthesized and calcined solids were used as catalysts for esterification of glycerol with acetic acid (EG). The XRD and SEM-EDS measurements demonstrated that the Si-containing solids are amorphous while those containing Ti are semicrystalline with the latter composed of TiO2 rutile, TiO2 anatase, and γ-Al2O3 phases. All solids possessed ordered porous structures comprising of micro- and mesoporosity, with interconnectivity between these pores of different length scales. The high acidity of γ-Al2O3 and TiO2–Al2O3 materials resulted in good catalytic performances in the EG. Porosity of the solids plays a secondary role in determining the catalytic activity. Under the same conditions, the as-synthesized solids exhibited slightly lower catalytic performances compared to that of the calcined ones.
Mullets inhabit a wide range of habitats from tropical to temperate regions and play a critical role in their ecosystems. This commercially important fish group constitutes a significant source of food in several geographic regions, and the production of some species for consumption is an increasing trend. About 64 myxosporean species have been reported in mullets, some of which are cryptic, as is the case of Myxobolus exiguus, and M. muelleri. This paper provides, for the first time, a detailed and critical revision of the data available for myxobolids reported in mullets, determining the species that have bona fide mugiliform fish hosts, in accordance with the original species descriptions, the available molecular data and the currently accepted taxonomic and phylogenetic criteria. Phylogenetic analyses using Bayesian inference and maximum-likelihood methodologies suggest that the evolutionary history of myxobolids with bona fide mugiliform fish hosts reflects that of its vertebrate hosts, while reinforcing known evolutionary factors and old systematic issues of the clade of myxobolids. A comprehensive morphological, ultrastructural and molecular redescription is also provided for the cryptic species M. exiguus, from infections in the visceral peritoneum of the thinlip-grey mullet Chelon ramada in the River Minho, Portugal.
An experiment was conducted to evaluate whether dietary reduction and sex class affect nutrient intake, digestibility, purine derivative (PD) excretion and heat tolerance coefficient in lambs. Thirty-five hair lambs (14.5 ± 0.89 kg initial body weight (BW), 2 months old) were used in a completely randomized study with a 3 × 3 factorial arrangement, three sex classes (11 intact males, 12 castrated males and 12 females) and three levels of feeding (ad libitum, 300 and 600 g/kg/dry matter (DM) feed restriction) for 120 days. Intact and castrated males showed higher intakes of DM and neutral detergent fibre corrected for ash and protein (NDFap) than females. At 300 g/kg/DM feed restriction, NDFap digestibility was lower in intact males than in other classes; however, no differences were found between classes when subjected to ad libitum feeding or 600 g/kg/DM. The basal endogenous nitrogen and endogenous urinary losses were highest in intact males. Allantoin, uric acid and PD excretion, as well as PD absorption and microbial protein production were lowest in the animals subjected to 600 g/kg/DM feed restriction. Microbial protein synthesis (MPS) was highest in animals subjected to 600 g/kg/DM feed restriction. The lowest temperatures were observed in animals subjected to 600 g/kg/DM feed restriction. The heat tolerance coefficient was highest in animals subjected to 600 g/kg/DM feed restriction. In conclusion, feed restriction reduced the time spent on feeding and rumination but increased the digestibility of DM. The restriction level of 600 g/kg/DM maximized MPS and infrared thermography indicated an elevated heat tolerance coefficient.