1,291 research outputs found
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 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,
and , ,
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
- …