Towards a Proof Theory of G\"odel Modal Logics

Analytic proof calculi are introduced for box and diamond fragments of basic modal fuzzy logics that combine the Kripke semantics of modal logic K with the many-valued semantics of G\"odel logic. The calculi are used to establish completeness and complexity results for these fragments

Suspension of the fiber mode-cleaner launcher and measurement of the high extinction-ratio (10^{-9}) ellipsometer for the Q & A experiment

The Q & A experiment, first proposed and started in 1994, provides a feasible way of exploring the quantum vacuum through the detection of vacuum birefringence effect generated by QED loop diagram and the detection of the polarization rotation effect generated by photon-interacting (pseudo-)scalar particles. Three main parts of the experiment are: (1) Optics System (including associated Electronic System) based on a suspended 3.5-m high finesse Fabry-Perot cavity, (2) Ellipsometer using ultra-high extinction-ratio polarizer and analyzer, and (3) Magnetic Field Modulation System for generating the birefringence and the polarization rotation effect. In 2002, the Q & A experiment achieved the Phase I sensitivity goal. During Phase II, we set (i) to improve the control system of the cavity mirrors for suppressing the relative motion noise, (ii) to enhance the birefringence signal by setting-up a 60-cm long 2.3 T transverse permanent magnet rotatable to 10 rev/s, (iii) to reduce geometrical noise by inserting a polarization-maintaining optical fiber (PM fiber) as a mode cleaner, and (iv) to use ultra-high extinction-ratio (10^{-9}) polarizer and analyzer for ellipsometry. Here we report on (iii) & (iv); specifically, we present the properties of the PM-fiber mode-cleaner, the transfer function of its suspension system, and the result of our measurement of high extinction-ratio polarizer and analyzer.Comment: 8 pages, 6 figures, presented in the 6th Edoardo Amaldi Conference on Gravitational Waves, Okinawa, Japan, June 2005, and accepted by "Journal of Physics: Conference Series". Modifications from version 2 were made based on the referees' comments on figures. Ref. [31] were update

Search for WW and WZ production in lepton plus jets final state at CDF

We present a search for WW and WZ production in final states that contain a charged lepton (electron or muon) and at least two jets, produced in sqrt(s) = 1.96 TeV ppbar collisions at the Fermilab Tevatron, using data corresponding to 1.2 fb-1 of integrated luminosity collected with the CDF II detector. Diboson production in this decay channel has yet to be observed at hadron colliders due to the large single W plus jets background. An artificial neural network has been developed to increase signal sensitivity, as compared with an event selection based on conventional cuts. We set a 95% confidence level upper limit of sigma_{WW}* BR(W->lnu,W->jets)+ sigma_{WZ}*BR(W->lnu,Z->jets)We present a search for WW and WZ production in final states that contain a charged lepton (electron or muon) and at least two jets, produced in √s=1.96  TeV pp̅ collisions at the Fermilab Tevatron, using data corresponding to 1.2  fb-1 of integrated luminosity collected with the CDF II detector. Diboson production in this decay channel has yet to be observed at hadron colliders due to the large single W plus jets background. An artificial neural network has been developed to increase signal sensitivity, as compared with an event selection based on conventional cuts. We set a 95% confidence level upper limit of σWW×BR(W→ℓνℓ,W→jets)+σWZ×BR(W→ℓνℓ,Z→jets)<2.88  pb, which is consistent with the standard model next-to-leading-order cross section calculation for this decay channel of 2.09±0.12  pb.Peer reviewe

Classical phase space and statistical mechanics of identical particles

Starting from the quantum theory of identical particles, we show how to define a classical mechanics that retains information about the quantum statistics. We consider two examples of relevance for the quantum Hall effect: identical particles in the lowest Landau level, and vortices in the Chern-Simons Ginzburg-Landau model. In both cases the resulting {\em classical} statistical mechanics is shown to be a nontrivial classical limit of Haldane's exclusion statistics.Comment: 40 pages, Late

Work-Related Mental Health and Job Performance: Can Mindfulness Help?

Work-related mental health issues such as work-related stress and addiction to work impose a significant health and economic burden to the employee, the employing organization, and the country of work more generally. Interventions that can be empirically shown to improve levels of work-related mental health – especially those with the potential to concurrently improve employee levels of work performance – are of particular interest to occupational stakeholders. One such broad-application interventional approach currently of interest to occupational stakeholders in this respect is mindfulness-based interventions (MBIs). Following a brief explication of the mindfulness construct, this paper critically discusses current research directions in the utilization of mindfulness in workplace settings and assesses its suitability for operationalization as an organization-level work-related mental health intervention. By effecting a perceptual-shift in the mode of responding and relating to sensory and cognitive-affective stimuli, employees that undergo mindfulness training may be able to transfer the locus of control for stress from external work conditions to internal metacognitive and attentional resources. Therefore, MBIs may constitute cost-effective organization-level interventions due to not actually requiring any modifications to human resource management systems and practises. Based on preliminary empirical findings and on the outcomes of MBI studies with clinical populations, it is concluded that MBIs appear to be viable interventional options for organizations wishing to improve the mental health of their employees

Repartnering: the relevance of parenthood and gender to cohabitation and remarriage among the formerly married

This paper is an exploratory analysis of the impact of current and anticipated parenthood on cohabitation and remarriage among those formerly living in marriage-type relationships. The focus on children is embedded within a broader analysis of repartnering which takes account of other factors, including gender. Quantitative and qualitative analyses are used, with a multivariate analysis of repartnering patterns, using data from the General Household Survey, being complementedby in-depth interview data examining the attitudes of the formerly married to future relationships. The paper demonstrates that parenthood has a statistically significant effect on the likelihood of formerly married women repartnering, with a higher number of children being associated with a lower probability of repartnering. The presence of children can work against repartnering in a variety of ways. Children place demands on their parents and can deter or object to potential partners. Parents may see their parental role as more important than, and a barrier to, new relationships. However, mothers are typically looking for partners for themselves rather than fathers for their children. Among formerly married people without children, the desire to become a parent encourages repartnering. The paper concludes that parenthood should be a key consideration in analyses of repartnering

The QCD phase diagram at nonzero quark density

We determine the phase diagram of QCD on the \mu-T plane for small to moderate chemical potentials. Two transition lines are defined with two quantities, the chiral condensate and the strange quark number susceptibility. The calculations are carried out on N_t =6,8 and 10 lattices generated with a Symanzik improved gauge and stout-link improved 2+1 flavor staggered fermion action using physical quark masses. After carrying out the continuum extrapolation we find that both quantities result in a similar curvature of the transition line. Furthermore, our results indicate that in leading order the width of the transition region remains essentially the same as the chemical potential is increased.Comment: 12 pages, 6 figure

Electronic properties of a quantum wire with arbitrary bending angle

The electron transmission and bound state properties of a quantum wire with a sharp bend at arbitrary angle are studied, extending results on the right angle sharp bend (the L¿shaped wire). These new results are compared to those of a similar structure, the circular bend wire. The possibility of using a bent wire to perform transistor action is also discussed

Mean Interplanetary Magnetic Field Measurement Using the ARGO-YBJ Experiment

The sun blocks cosmic ray particles from outside the solar system, forming a detectable shadow in the sky map of cosmic rays detected by the ARGO-YBJ experiment in Tibet. Because the cosmic ray particles are positive charged, the magnetic field between the sun and the earth deflects them from straight trajectories and results in a shift of the shadow from the true location of the sun. Here we show that the shift measures the intensity of the field which is transported by the solar wind from the sun to the earth.Comment: 6 papges,3 figure

Regional innovation and spillover effects of foreign direct investment in China: a threshold approach

Using a data set on twenty-nine Chinese provinces for the period 1985–2008, this paper establishes a threshold model to analyse the relationship between spillover effects of foreign direct investment (FDI) and regional innovation in China. There is clear evidence of double-threshold effects of regional innovation on productivity spillovers from FDI. Specifically, only when the level of regional innovation reaches the minimum innovation threshold will FDI in the region begin to produce positive productivity spillovers. Furthermore, positive productivity spillovers from FDI will be substantial only when the level of regional innovation attains a higher threshold. The double threshold divides Chinese provinces into three super-regions in terms of innovation, with most provinces positioned within the middle-level innovation super-region. Policy implications are discussed