Bounded Arithmetic in Free Logic

One of the central open questions in bounded arithmetic is whether Buss' hierarchy of theories of bounded arithmetic collapses or not. In this paper, we reformulate Buss' theories using free logic and conjecture that such theories are easier to handle. To show this, we first prove that Buss' theories prove consistencies of induction-free fragments of our theories whose formulae have bounded complexity. Next, we prove that although our theories are based on an apparently weaker logic, we can interpret theories in Buss' hierarchy by our theories using a simple translation. Finally, we investigate finitistic G\"odel sentences in our systems in the hope of proving that a theory in a lower level of Buss' hierarchy cannot prove consistency of induction-free fragments of our theories whose formulae have higher complexity

Quantum Monte Carlo calculations of the one-body density matrix and excitation energies of silicon

Quantum Monte Carlo (QMC) techniques are used to calculate the one-body density matrix and excitation energies for the valence electrons of bulk silicon. The one-body density matrix and energies are obtained from a Slater-Jastrow wave function with a determinant of local density approximation (LDA) orbitals. The QMC density matrix evaluated in a basis of LDA orbitals is strongly diagonally dominant. The natural orbitals obtained by diagonalizing the QMC density matrix resemble the LDA orbitals very closely. Replacing the determinant of LDA orbitals in the wave function by a determinant of natural orbitals makes no significant difference to the quality of the wave function's nodal surface, leaving the diffusion Monte Carlo energy unchanged. The Extended Koopmans' Theorem for correlated wave functions is used to calculate excitation energies for silicon, which are in reasonable agreement with the available experimental data. A diagonal approximation to the theorem, evaluated in the basis of LDA orbitals, works quite well for both the quasihole and quasielectron states. We have found that this approximation has an advantageous scaling with system size, allowing more efficient studies of larger systems.Comment: 13 pages, 4 figures. To appear in Phys. Rev.

Riemann-Cartan Space-times of G\"odel Type

A class of Riemann-Cartan G\"odel-type space-times are examined in the light of the equivalence problem techniques. The conditions for local space-time homogeneity are derived, generalizing previous works on Riemannian G\"odel-type space-times. The equivalence of Riemann-Cartan G\"odel-type space-times of this class is studied. It is shown that they admit a five-dimensional group of affine-isometries and are characterized by three essential parameters $\ell, m^2, \omega$: identical triads ($\ell, m^2, \omega$) correspond to locally equivalent manifolds. The algebraic types of the irreducible parts of the curvature and torsion tensors are also presented.Comment: 24 pages, LaTeX fil

Activity profiles of elite wheelchair rugby players during competition

To quantify the activity profiles of elite wheelchair rugby and establish classification-specific arbitrary speed zones. Additionally, indicators of fatigue during full matches were explored. Methods: Seventy-five elite wheelchair rugby players from eleven national teams were monitored using a radio-frequency based, indoor tracking system across two international tournaments. Players who participated in complete quarters (n = 75) and full matches (n = 25) were included and grouped by their International Wheelchair Rugby Federation functional classification: group I (0-0.5), II (1.0-1.5), III (2.0-2.5) and IV (3.0-3.5). Results: During a typical quarter, significant increases in total distance (m), relative distance (m·minˉ¹), and mean speed (m·sˉ¹) were associated with an increase in classification group (P < 0.001), with the exception of group III and IV. However, group IV players achieved significantly higher peak speeds (3.82 ± 0.31 m·sˉ¹) than groups I (2.99 ± 0.28 m·sˉ¹), II (3.44 ± 0.26 m·sˉ¹) and III (3.67 ± 0.32 m·sˉ¹). Groups I and II differed significantly in match intensity during very low/low speed zones and the number of high-intensity activities in comparison with groups III and IV (P < 0.001). Full match analysis revealed that activity profiles did not differ significantly between quarters. Conclusions: Notable differences in the volume of activity were displayed across the functional classification groups. However, the specific on-court requirements of defensive (I and II) and offensive (III and IV) match roles appeared to influence the intensity of match activities and consequently training prescription should be structured accordingly

Preferences and skills of Indian public sector teachers

With a sample of 700 future public sector primary teachers in India, a Discrete Choice Experiment is used to measure job preferences, particularly regarding location. General skills are also tested. Urban origin teachers and women are more averse to remote locations than rural origin teachers and men respectively. Women would require a 26-73 percent increase in salary for moving to a remote location. The results suggest that existing caste and gender quotas can be detrimental for hiring skilled teachers willing to work in remote locations. The most preferred location is home, which supports decentralised hiring, although this could compromise skills

Two novel C-terminal frameshift mutations in the β-globin gene lead to rapid mRNA decay

BACKGROUND: The thalassemia syndromes are classified according to the globin chain or chains whose production is affected. β-thalassemias are caused by point mutations or, more rarely, deletions or insertions of a few nucleotides in the β-globin gene or its immediate flanking sequences. These mutations interfere with the gene function either at the transcriptional, translational or posttranslational level. METHODS: Two cases of Polish patients with hereditary hemolytic anemia suspected of thalassemia were studied. DNA sequencing and mRNA quantification were performed. Stable human cell lines which express wild-type HBB and mutated versions were used to verify that detected mutation are responsible for mRNA degradation. RESULTS: We identified two different frameshift mutations positioned in the third exon of HBB. Both patients harboring these mutations present the clinical phenotype of thalassemia intermedia and showed dominant pattern of inheritance. In both cases the mutations do not generate premature stop codon. Instead, slightly longer protein with unnatural C-terminus could be produced. Interestingly, although detected mutations are not expected to induce NMD, the mutant version of mRNA is not detectable. Restoring of the open reading frame brought back the RNA to that of the wild-type level. CONCLUSION: Our results show that a lack of natural stop codon due to the frameshift in exon 3 of β-globin gene causes rapid degradation of its mRNA and indicate existence of novel surveillance pathway

Using stated preference methods to assess environmental impacts of forest biomass power plants in Portugal

As a renewable energy source, the use of forest biomass for electricity generation is advantageous in comparison with fossil fuels, however the activity of forest biomass power plants causes adverse impacts, affecting particularly neighbouring communities. The main objective of this study is to estimate the effects of the activity of forest biomass power plants on the welfare of two groups of stakeholders, namely local residents and the general population and we apply two stated preference methods: contingent valuation and discrete choice experiments, respectively. The former method was applied to estimate the minimum compensation residents of neighbouring communities of two forest biomass power plants in Portugal would be willing to accept. The latter method was applied among the general population to estimate their willingness to pay to avoid specific environmental impacts. The results show that the presence of the selected facilities affects individuals’ well-being. On the other hand, in the discrete choice experiments conducted among the general population all impacts considered were significant determinants of respondents’ welfare levels. The results of this study stress the importance of performing an equity analysis of the welfare effects on different groups of stakeholders from the installation of forest biomass power plants, as their effects on welfare are location and impact specific. Policy makers should take into account the views of all stakeholders either directly or indirectly involved when deciding crucial issues regarding the sitting of new forest biomass power plants, in order to achieve an efficient and equitable outcome

Gaussians for Electronic and Rovibrational Quantum Dynamics

The assumptions underpinning the adiabatic Born-Oppenheimer (BO) approximation are broken for molecules interacting with attosecond laser pulses, which generate complicated coupled electronic-nuclear wavepackets that generally will have components of electronic and dissociation continua as well as bound-state contributions. The conceptually most straightforward way to overcome this challenge is to treat the electronic and nuclear degrees of freedom on equal quantum-mechanical footing by not invoking the BO approximation at all. Explicitly correlated Gaussian (ECG) basis functions have proved successful for non-BO calculations of stationary molecular states and energies, reproducing rovibrational absorption spectra with very high accuracy. In this paper, we present a proof-of-principle study of the ability of fully flexible ECGs (FFECGs) to capture the intricate electronic and rovibrational dynamics generated by short, high-intensity laser pulses. By fitting linear combinations of FFECGs to accurate wave function histories obtained on a large real-space grid for a regularized 2D model of the hydrogen atom and for the 2D Morse potential we demonstrate that FFECGs provide a very compact description of laser-driven electronic and rovibrational dynamics

Re-visiting Meltsner: Policy Advice Systems and the Multi-Dimensional Nature of Professional Policy Analysis

10.2139/ssrn.15462511-2

3-CMC, 4-CMC, and 4-BMC Human Metabolic Profiling: New Major Pathways to Document Consumption of Methcathinone Analogues?

Abstract Synthetic cathinones represent one of the largest and most abused new psychoactive substance classes, and have been involved in numerous intoxications and fatalities worldwide. Methcathinone analogues like 3-methylmethcathinone (3-MMC), 3-chloromethcathinone (3-CMC), and 4-CMC currently constitute most of synthetic cathinone seizures in Europe. Documenting their consumption in clinical/forensic casework is therefore essential to tackle this trend. Targeting metabolite markers is a go-to to document consumption in analytical toxicology, and metabolite profling is crucial to support investigations. We sought to identify 3-CMC, 4-CMC, and 4-bromomethcathinone (4-BMC) human metabolites. The substances were incubated with human hepatocytes; incubates were screened by liquid chromatography-high-resolution tandem mass spectrometry and data were mined with Compound Discoverer (Themo Scientifc). 3-CMC-positive blood, urine, and oral fuid and 4-CMCpositive urine and saliva from clinical/forensic casework were analyzed. Analyses were supported by metabolite predictions with GLORYx freeware. Twelve, ten, and ten metabolites were identifed for 3-CMC, 4-CMC, and 4-BMC, respectively, with similar transformations occurring for the three cathinones. Major reactions included ketoreduction and N-demethylation. Surprisingly, predominant metabolites were produced by combination of N-demethylation and ω-carboxylation (main metabolite in 3-CMC-positive urine), and combination of β-ketoreduction, oxidative deamination, and O-glucuronidation (main metabolite in 4-CMC-positive urine). These latter metabolites were detected in negative-ionization mode only and their non-conjugated form was not detected after glucuronide hydrolysis; this metabolic pathway was never reported for any methcathinone analogue susceptible to undergo the same transformations. These results support the need for comprehensive screening strategies in metabolite identifcation studies, to avoid overlooking signifcant metabolites and major markers of consumptio