A WARM-UP INCLUDING A 5RM SQUAT PROTOCOL INCREASED BLOOD LACTATE, WITHOUT ALTERING THE SUBSEQUENT JUMP PERFORMANCE

The execution of an acute resistance exercise has shown to enhance a subsequent explosive movement; this enhancement is termed Post Activation Potentiation (PAP). PAP exists in conjunction with both acute metabolic and neuromuscular fatigue mechanisms which still are not fully understood. This study aimed to identify the effect of a five repetition maximum (5RM) back squat on vertical jump performance and blood lactate

The impact of inocula carryover and inoculum dilution on the methane yields in batch methane potential tests

Batch studies are used to benchmark biohydrogen potential (BHP) and biomethane potential (BMP) yields from feed substrates, digestates residues and different process configurations. This study shows that BMP yields using cellulose can be biased positively by not diluting the initial sewage sludge inoculum and the bias is independent of starting inoculum volatile solids (VS) concentration. The carryover of BHP inoculum also increased the BMP yields when using cellulose as a substrate by up to 18.8%. Furthermore it was also observed that the dilution of BMP inoculum with deionised H2O reduced methane yields from cellulose by up to 132 ± 26 N mL-CH4 g-VS−1. Therefore it is proposed that inoculum and standard substrate controls (as used in this study) should be included in methane batch methodologies, particularly when using a pre-fermentation stage such as dark fermentation

Specifying and Verifying Concurrent Algorithms with Histories and Subjectivity

We present a lightweight approach to Hoare-style specifications for fine-grained concurrency, based on a notion of time-stamped histories that abstractly capture atomic changes in the program state. Our key observation is that histories form a partial commutative monoid, a structure fundamental for representation of concurrent resources. This insight provides us with a unifying mechanism that allows us to treat histories just like heaps in separation logic. For example, both are subject to the same assertion logic and inference rules (e.g., the frame rule). Moreover, the notion of ownership transfer, which usually applies to heaps, has an equivalent in histories. It can be used to formally represent helping---an important design pattern for concurrent algorithms whereby one thread can execute code on behalf of another. Specifications in terms of histories naturally abstract granularity, in the sense that sophisticated fine-grained algorithms can be given the same specifications as their simplified coarse-grained counterparts, making them equally convenient for client-side reasoning. We illustrate our approach on a number of examples and validate all of them in Coq.Comment: 17 page

Formalized Verification of Snapshotable Trees: Separation and Sharing

Abstract. We use separation logic to specify and verify a Java program that implements snapshotable search trees, fully formalizing the specification and verification in the Coq proof assistant. We achieve local and modular reasoning about a tree and its snapshots and their iterators, although the implementation involves shared mutable heap data structures with no separation or ownership relation between the various data. The paper also introduces a series of four increasingly sophisticated implementations and verifies the first one. The others are included as future work and as a set of challenge problems for full functional specification and verification, whether by separation logic or by other formalisms.

Short-range order and precipitation in Fe-rich Fe-Cr alloys: Atomistic off-lattice Monte Carlo simulations

Short-range order (SRO) in Fe-rich Fe-Cr alloys is investigated by means of atomistic off-lattice Monte Carlo simulations in the semi-grand canonical ensemble using classical interatomic potentials. The SRO parameter defined by Cowley [Phys. Rev. B 77, 669 (1950)] is used to quantify the degree of ordering. In agreement with experiments a strong ordering tendency in the Cr distribution at low Cr concentrations (~< 5%) is observed, as manifested in negative values of the SRO parameters. For intermediate Cr concentrations (5% ~< c_Cr ~< 15%) the SRO parameter for the alpha-phase goes through a minimum, but at the solubility limit the alpha-phase still displays a rather strong SRO. In thermodynamic equilibrium for concentrations within the two-phase region the SRO parameter measured over the entire sample therefore comprises the contributions from both the alpha and alpha-prime phases. If both of these contributions are taken into account, it is possible to quantitatively reproduce the experimental results and interpret their physical implications. It is thereby shown that the inversion of the SRO observed experimentally is due to the formation of stable (supercritical) alpha-prime precipitates. It is not related to the loss of SRO in the alpha-phase or to the presence of unstable (subcritical) Cr precipitates in the alpha-phase.Comment: 9 pages, 8 figure

Hyperspectral and Physiological Analyses of Coral-Algal Interactions

Space limitation leads to competition between benthic, sessile organisms on coral reefs. As a primary example, reef-building corals are in direct contact with each other and many different species and functional groups of algae. Here we characterize interactions between three coral genera and three algal functional groups using a combination of hyperspectral imaging and oxygen microprofiling. We also performed in situ interaction transects to quantify the relative occurrence of these interaction on coral reefs. These studies were conducted in the Southern Line Islands, home to some of the most remote and near-pristine reefs in the world. Our goal was to determine if different types of coral-coral and coral-algal interactions were characterized by unique fine-scale physiological signatures. This is the first report using hyperspectral imaging for characterization of marine benthic organisms at the micron scale and proved to be a valuable tool for discriminating among different photosynthetic organisms. Consistent patterns emerged in physiology across different types of competitive interactions. In cases where corals were in direct contact with turf or macroalgae, there was a zone of hypoxia and altered pigmentation on the coral. In contrast, interaction zones between corals and crustose coralline algae (CCA) were not hypoxic and the coral tissue was consistent across the colony. Our results suggest that at least two main characteristic coral interaction phenotypes exist: 1) hypoxia and coral tissue disruption, seen with interactions between corals and some species of CCA. Hyperspectral imaging in combination with oxygen profiling provided useful information on competitive interactions between benthic reef organisms, and demonstrated that some turf and fleshy macroalgae can be constant source of stress for corals, while CCA are not

Utilizing grass for the biological production of polyhydroxyalkanoates (PHAs) via green biorefining: Material and energy flows

The meat and dairy industry across Europe is dependent on the production of grass. However, faced with competing pressures to reduce the environmental impact of agriculture, a potential future reduction of meat and dairy consumption in western diets, and pressure to minimize food production costs, grass could be used to produce alternative products. The biological production of polyhydroxyalkanoates (PHA) by using grass as the primary carbon source in a novel mixed culture process has been studied. A total of 30,000 t of fresh grass would yield approximately 403.65 t of dried biopolymer granules. On the basis of this early stage, non-optimized process, the cumulative energy demand (CED) of PHA produced from waste grass and cultivated grass was found to be 248.4 MJ/kg and 271.8&nbsp;MJ/kg, respectively, which is the same order of magnitude as fossil-carbon-based polymers. Improvements in volatile fatty acid yields, reduction in chemical and water inputs, and using residues to make other products will reduce the CED. Given the future requirement to produce polymers with little or no fossil-carbon feedstock, an optimized version of the process could provide a viable future production option that also contributes to the long-term sustainability of agricultural communities

Identification and evaluation of suitable reference genes for gene expression studies in the whitefly Bemisia tabaci (Asia I) by reverse transcription quantitative realtime PCR

This study presents a reliable method for performing reverse transcription quantitative realtime PCR (RT-qPCR) to measure gene expression in the whitefly Bemisia tabaci (Asia I) (Gennadius) (Hemiptera: Aleyrodidae), utilising suitable reference genes for data normalisation. We identified orthologs of commonly used reference genes (actin (ACT), cyclophilin 1 (CYP1), elongation factor 1α (EF1A), glyceraldehyde 3-phosphate dehydrogenase (GAPDH), ribosomal protein L13a (RPL13A), and α-tubulin (TUB1A)), measured the levels of their transcripts by RT-qPCR during development and in response to thermal stress, and evaluated their suitability as endogenous controls using geNorm, BestKeeper, and NormFinder programs. Overall, TUB1A, RPL13A, and CYP1 were the most stable reference genes during B. tabaci development, and TUB1A, GAPDH, and RPL13A were the most stable reference genes in the context of thermal stress. An analysis of the effects of reference gene choice on the transcript profile of a developmentally-regulated gene encoding vitellogenin demonstrated the importance of selecting the correct endogenous controls for RT-qPCR studies. We propose the use of TUB1A, RPL13A, and CYP1 as endogenous controls for transcript profiling studies of B. tabaci development, whereas the combination of TUB1A, GAPDH, and RPL13A should be employed for studies into thermal stress. The data pre- sented here will assist future transcript profiling studies in whiteflies

First-principles study of ternary fcc solution phases from special quasirandom structures

In the present work, ternary Special Quasirandom Structures (SQSs) for a fcc solid solution phase are generated at different compositions, $x_A=x_B=x_C=\tfrac{1}{3}$ and $x_A=\tfrac{1}{2}$, $x_B=x_C=\tfrac{1}{4}$, whose correlation functions are satisfactorily close to those of a random fcc solution. The generated SQSs are used to calculate the mixing enthalpy of the fcc phase in the Ca-Sr-Yb system. It is observed that first-principles calculations of all the binary and ternary SQSs in the Ca-Sr-Yb system exhibit very small local relaxation. It is concluded that the fcc ternary SQSs can provide valuable information about the mixing behavior of the fcc ternary solid solution phase. The SQSs presented in this work can be widely used to study the behavior of ternary fcc solid solutions.Comment: 20 pages, 7 figure