Pseudo-finite hard instances for a student-teacher game with a Nisan-Wigderson generator

For an NP intersect coNP function g of the Nisan-Wigderson type and a string b outside its range we consider a two player game on a common input a to the function. One player, a computationally limited Student, tries to find a bit of g(a) that differs from the corresponding bit of b. He can query a computationally unlimited Teacher for the witnesses of the values of constantly many bits of g(a). The Student computes the queries from a and from Teacher's answers to his previous queries. It was proved by Krajicek (2011) that if g is based on a hard bit of a one-way permutation then no Student computed by a polynomial size circuit can succeed on all a. In this paper we give a lower bound on the number of inputs a any such Student must fail on. Using that we show that there is a pseudo-finite set of hard instances on which all uniform students must fail. The hard-core set is defined in a non-standard model of true arithmetic and has applications in a forcing construction relevant to proof complexity

Diffraction behaviour of three-component fibonacci Ta/Al multilayer films

A class of quasiperiodic structure three-component Fibonacci (3CF) Ta/Al multilayer films is fabricated by dual-target magnetron sputtering. The microstructure of this film is investigated by transmission electron microscopy and electron and X-ray diffraction. Cross-section transmission electron microscopy demonstrates a well formed layer structure of 3CF Ta/Al superlattices. The electron-diffraction satellite spots, which can be indexed by three integers, correspond to the X-ray diffraction peaks in both position and intensity. The scattering vectors observed in electron and X-ray diffraction are in good agreement with the analytical treatment from the projection method

The influence of defined ante-mortem stressors on the early post-mortem biochemical processes in the abdominal muscle of the Norway lobster, Nephrops norvegicus (Linnaeus, 1758)

The effects of four different ante-mortem stressors (exercise, emersion, starvation and a patent infection with the parasite Hematodinium sp.) on post-mortem processes have been investigated in the abdominal muscle of Norway lobster Nephrops norvegicus by measuring changes in the pH, the levels of glycogen, l-lactate, arginine phosphate, ATP, ADP, AMP, IMP, HxR, Hx and the adenylate energy charge (AEC) over a time course of 24 h with samples being taken at 0, 3, 6, 12 and 24 h. The acute stresses of intense exercise and 2 h emersion resulted in a premature onset of anaerobic glycolysis, leading both to an enhanced glycogen depletion rate and an early accumulation of l-lactate. The chronic stressors, starvation and parasite infection, resulted in a complete ante-mortem depletion of muscle glycogen and consequently the failure of post-mortem glycolytic fermentation. Post-mortem pH and ATP inter-conversion were significantly altered in chronically stressed animals. Ante-mortem, a rapid, almost complete depletion of arginine phosphate was observed in all stress groups. The AEC was altered significantly by all stresses, indicating a strong energy demand. The findings suggest that ante-mortem stressors strongly influence the post-mortem biochemical processes. The laboratory-based results are compared to 'field' data and effects on post-harvest product quality are discussed

Probabilities from Entanglement, Born's Rule from Envariance

I show how probabilities arise in quantum physics by exploring implications of {\it environment - assisted invariance} or {\it envariance}, a recently discovered symmetry exhibited by entangled quantum systems. Envariance of perfectly entangled ``Bell-like'' states can be used to rigorously justify complete ignorance of the observer about the outcome of any measurement on either of the members of the entangled pair. For more general states, envariance leads to Born's rule, $p_k \propto |\psi_k|^2$ for the outcomes associated with Schmidt states. Probabilities derived in this manner are an objective reflection of the underlying state of the system -- they represent experimentally verifiable symmetries, and not just a subjective ``state of knowledge'' of the observer. Envariance - based approach is compared with and found superior to pre-quantum definitions of probability including the {\it standard definition} based on the `principle of indifference' due to Laplace, and the {\it relative frequency approach} advocated by von Mises. Implications of envariance for the interpretation of quantum theory go beyond the derivation of Born's rule: Envariance is enough to establish dynamical independence of preferred branches of the evolving state vector of the composite system, and, thus, to arrive at the {\it environment - induced superselection (einselection) of pointer states}, that was usually derived by an appeal to decoherence. Envariant origin of Born's rule for probabilities sheds a new light on the relation between ignorance (and hence, information) and the nature of quantum states.Comment: Figure and an appendix (Born's rule for continuous spectra) added. Presentation improved. (Comments still welcome...

Subluxation: dogma or science?

Subluxation syndrome is a legitimate, potentially testable, theoretical construct for which there is little experimental evidence. Acceptable as hypothesis, the widespread assertion of the clinical meaningfulness of this notion brings ridicule from the scientific and health care communities and confusion within the chiropractic profession. We believe that an evidence-orientation among chiropractors requires that we distinguish between subluxation dogma vs. subluxation as the potential focus of clinical research. We lament efforts to generate unity within the profession through consensus statements concerning subluxation dogma, and believe that cultural authority will continue to elude us so long as we assert dogma as though it were validated clinical theory

A 3D computed tomography based tool for orthopedic surgery planning

Series : Lecture notes in computational vision and biomechanics, vol. 19The preparation of a plan is essential for a surgery to take place in the best way possible and also for shortening patient’s recovery times. In the orthopedic case, planning has an accentuated significance due to the close relation between the degree of success of the surgery and the patient recovering time. It is important that surgeons are provided with tools that help them in the planning task, in order to make it more reliable and less time consuming. In this paper, we present a 3D Computed Tomography based solution and its implementation as an OsiriX plugin for orthopedic surgery planning. With the developed plugin, the surgeon is able to manipulate a three-dimensional isosurface rendered from the selected imaging study (a CT scan). It is possible to add digital representations of physical implants (surgical templates), in order to evaluate the feasibility of a plan. These templates are STL files generated from CAD models. There is also the feature to extract new isosurfaces of different voxel values and slice the final 3D model according to a predefined plane, enabling a 2D analysis of the planned solution. Finally, we discuss how the proposed application assists the surgeon in the planning process in an alternative way, where it is possible to three-dimensionally analyze the impact of a surgical intervention on the patient.(undefined

Podoconiosis in East and West Gojam Zones, Northern Ethiopia

Background: Podoconiosis is a neglected tropical disease (NTD) that is prevalent in red clay soil-covered highlands of tropical Africa, Central and South America, and northern India. It is estimated that up to one million cases exist in Ethiopia. This study aimed to estimate the prevalence of podoconiosis in East and West Gojam Zones of Amhara Region in northern Ethiopia. Methodology/Principal Findings: A cross-sectional household survey was conducted in Debre Eliyas and Dembecha woredas (districts) in East and West Gojam Zones, respectively. The survey covered all 17,553 households in 20 kebeles (administrative subunits) randomly selected from the two woredas. A detailed structured interview was conducted on 1,704 cases of podoconiosis identified in the survey. Results: The prevalence of podoconiosis in the population aged 15 years and above was found to be 3.3% (95% CI, 3.2% to 3.6%). 87% of cases were in the economically active age group (15–64 years). On average, patients sought treatment five years after the start of the leg swelling. Most subjects had second (42.7%) or third (36.1%) clinical stage disease, 97.9% had mossy lesions, and 53% had open wounds. On average, patients had five episodes of acute adenolymphangitis (ALA) per year and spent a total of 90 days per year with ALA. The median age of first use of shoes and socks were 22 and 23 years, respectively. More men than women owned more than one pair of shoes (61.1% vs. 50.5%; x2 = 11.6 p = 0.001). At the time of interview, 23.6% of the respondents were barefoot, of whom about two-thirds were women. Conclusions: This study showed high prevalence of podoconiosis and associated morbidities such as ALA, mossy lesions and open wounds in northern Ethiopia. Predominance of cases at early clinical stage of podoconiosis indicates the potential for reversing the swelling and calls for disease prevention interventions