America’s Newest Citizen - John Q. Corporation

A Montana Public Radio Commentary by Evan Barrett. Published newspaper columns written by Evan Barrett on this topic, which vary somewhat in content from this commentary, appeared in the following publications: Ravali Republic, July 19, 2014 Missoulian, July 11, 2014 Independent Record, July 16, 2014 Flathead Beacon, July 17, 2014

Admissibility in Finitely Generated Quasivarieties

Checking the admissibility of quasiequations in a finitely generated (i.e., generated by a finite set of finite algebras) quasivariety Q amounts to checking validity in a suitable finite free algebra of the quasivariety, and is therefore decidable. However, since free algebras may be large even for small sets of small algebras and very few generators, this naive method for checking admissibility in Q is not computationally feasible. In this paper, algorithms are introduced that generate a minimal (with respect to a multiset well-ordering on their cardinalities) finite set of algebras such that the validity of a quasiequation in this set corresponds to admissibility of the quasiequation in Q. In particular, structural completeness (validity and admissibility coincide) and almost structural completeness (validity and admissibility coincide for quasiequations with unifiable premises) can be checked. The algorithms are illustrated with a selection of well-known finitely generated quasivarieties, and adapted to handle also admissibility of rules in finite-valued logics.

Epidemiology of Brucellosis and Q Fever in Linked Human and Animal Populations in Northern Togo

BACKGROUND: Although brucellosis (Brucella spp.) and Q Fever (Coxiella burnetii) are zoonoses of global importance, very little high quality data are available from West Africa. METHODS/PRINCIPAL FINDINGS: A serosurvey was conducted in Togo's main livestock-raising zone in 2011 in 25 randomly selected villages, including 683 people, 596 cattle, 465 sheep and 221 goats. Additionally, 464 transhumant cattle from Burkina Faso were sampled in 2012. The serological analyses performed were the Rose Bengal Test and ELISA for brucellosis and ELISA and the immunofluorescence assay (IFA) for Q Fever Brucellosis did not appear to pose a major human health problem in the study zone, with only 7 seropositive participants. B. abortus was isolated from 3 bovine hygroma samples, and is likely to be the predominant circulating strain. This may explain the observed seropositivity amongst village cattle (9.2%, 95%CI:4.3-18.6%) and transhumant cattle (7.3%, 95%CI:3.5-14.7%), with an absence of seropositive small ruminants. Exposure of livestock and people to C. burnetii was common, potentially influenced by cultural factors. People of Fulani ethnicity had greater livestock contact and a significantly higher seroprevalence than other ethnic groups (Fulani: 45.5%, 95%CI:37.7-53.6%; non-Fulani: 27.1%, 95%CI:20.6-34.7%). Appropriate diagnostic test cut-off values in endemic settings requires further investigation. Both brucellosis and Q Fever appeared to impact on livestock production. Seropositive cows were more likely to have aborted a foetus during the previous year than seronegative cows, when adjusted for age. This odds was 3.8 times higher (95%CI: 1.2-12.1) for brucellosis and 6.7 times higher (95%CI: 1.3-34.8) for Q Fever. CONCLUSIONS: This is the first epidemiological study of zoonoses in Togo in linked human and animal populations, providing much needed data for West Africa. Exposure to Brucella and C. burnetii is common but further research is needed into the clinical and economic impact.

Validation of targeting the ventrointermediate thalamic nucleus using Q-ball calculation in deep brain stimulation for tremor

Objective: Identification of the ventrointermediate thalamic nucleus (Vim) in modern 3T high-field MRI for image-based targeting in deep brain stimulation (DBS) is still challenging. To evaluate the usefulness and reliability of analyzing the connectivity with the cerebellum using Q-ball-calculation we performed a retrospective analysis. Method: 5 patients who underwent bilateral implantation of electrodes in the Vim for treatment of Essential Tremor between 2011 and 2012 received additional preoperative Q-ball imaging. Targeting was performed according to atlas coordinates and standard MRI. Additionally we performed a retrospective identification of the Vim by analyzing the connectivity of the thalamus with the dentate nucleus. The exact position of the active stimulation contact in the postoperative CT was correlated with the Vim as it was identified by Q-ball calculation. Results: Localization of the Vim by analysis of the connectivity between thalamus and cerebellum was successful in all 5 patients on both sides. The average position of the active contacts was 14.6 mm (SD 1.24) lateral, 5.37 mm (SD 0.094 posterior and 2.21 mm (SD 0.69) cranial of MC. The cranial portion of the dentato-rubro-thalamic tract was localized an average of 3.38 mm (SD 1.57) lateral and 1.5 mm (SD 1.22) posterior of the active contact. Conclusions: Connectivity analysis by Q-ball calculation provided direct visualization of the Vim in all cases. Our preliminary results suggest, that the target determined by connectivity analysis is valid and could possibly be used in addition to or even instead of atlas based targeting. Larger prospective calculations are needed to determine the robustness of this method in providing refined information useful for neurosurgical treatment of tremor.

Harmonic Oscillator in a 1D or 2D Cavity with General Perfectly Reflecting Walls

We investigate the simple harmonic oscillator in a 1-d box, and the 2-d isotropic harmonic oscillator problem in a circular cavity with perfectly reflecting boundary conditions. The energy spectrum has been calculated as a function of the self-adjoint extension parameter. For sufficiently negative values of the self-adjoint extension parameter, there are bound states localized at the wall of the box or the cavity that resonate with the standard bound states of the simple harmonic oscillator or the isotropic oscillator. A free particle in a circular cavity has been studied for the sake of comparison. This work represents an application of the recent generalization of the Heisenberg uncertainty relation related to the theory of self-adjoint extensions in a finite volume.

A reduced model clarifies the role of feedback loops and time delays in the Drosophila circadian oscillator.

Although several detailed models of molecular processes essential for circadian oscillations have been developed, their complexity makes intuitive understanding of the oscillation mechanism difficult. The goal of the present study was to reduce a previously developed, detailed model to a minimal representation of the transcriptional regulation essential for circadian rhythmicity in Drosophila. The reduced model contains only two differential equations, each with time delays. A negative feedback loop is included, in which PER protein represses per transcription by binding the dCLOCK transcription factor. A positive feedback loop is also included, in which dCLOCK indirectly enhances its own formation. The model simulated circadian oscillations, light entrainment, and a phase-response curve with qualitative similarities to experiment. Time delays were found to be essential for simulation of circadian oscillations with this model. To examine the robustness of the simplified model to fluctuations in molecule numbers, a stochastic variant was constructed. Robust circadian oscillations and entrainment to light pulses were simulated with fewer than 80 molecules of each gene product present on average. Circadian oscillations persisted when the positive feedback loop was removed. Moreover, elimination of positive feedback did not decrease the robustness of oscillations to stochastic fluctuations or to variations in parameter values. Such reduced models can aid understanding of the oscillation mechanisms in Drosophila and in other organisms in which feedback regulation of transcription may play an important role.

A feasible theory of truth over combinatory algebra

We define an applicative theory of truth TPT which proves totality exactly for the polynomial time computable functions. TPT has natural and simple axioms since nearly all its truth axioms are standard for truth theories over an applicative framework. The only exception is the axiom dealing with the word predicate. The truth predicate can only reflect elementhood in the words for terms that have smaller length than a given word. This makes it possible to achieve the very low proof-theoretic strength. Truth induction can be allowed without any constraints. For these reasons the system TPT has the high expressive power one expects from truth theories. It allows embeddings of feasible systems of explicit mathematics and bounded arithmetic. The proof that the theory TPT is feasible is not easy. It is not possible to apply a standard realisation approach. For this reason we develop a new realisation approach whose realisation functions work on directed acyclic graphs. In this way, we can express and manipulate realisation information more efficiently.