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.

Amalgamation and interpolation in ordered algebras

The first part of this paper provides a comprehensive and self-contained account of the interrelationships between algebraic properties of varieties and properties of their free algebras and equational consequence relations. In particular, proofs are given of known equivalences between the amalgamation property and the Robinson property, the congruence extension property and the extension property, and the flat amalgamation property and the deductive interpolation property, as well as various dependencies between these properties. These relationships are then exploited in the second part of the paper in order to provide new proofs of amalgamation and deductive interpolation for the varieties of lattice-ordered abelian groups and MV-algebras, and to determine important subvarieties of residuated lattices where these properties hold or fail. In particular, a full description is given of all subvarieties of commutative GMV-algebras possessing the amalgamation property.

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.

Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality

We study representations of MV-algebras -- equivalently, unital lattice-ordered abelian groups -- through the lens of Stone-Priestley duality, using canonical extensions as an essential tool. Specifically, the theory of canonical extensions implies that the (Stone-Priestley) dual spaces of MV-algebras carry the structure of topological partial commutative ordered semigroups. We use this structure to obtain two different decompositions of such spaces, one indexed over the prime MV-spectrum, the other over the maximal MV-spectrum. These decompositions yield sheaf representations of MV-algebras, using a new and purely duality-theoretic result that relates certain sheaf representations of distributive lattices to decompositions of their dual spaces. Importantly, the proofs of the MV-algebraic representation theorems that we obtain in this way are distinguished from the existing work on this topic by the following features: (1) we use only basic algebraic facts about MV-algebras; (2) we show that the two aforementioned sheaf representations are special cases of a common result, with potential for generalizations; and (3) we show that these results are strongly related to the structure of the Stone-Priestley duals of MV-algebras. In addition, using our analysis of these decompositions, we prove that MV-algebras with isomorphic underlying lattices have homeomorphic maximal MV-spectra. This result is an MV-algebraic generalization of a classical theorem by Kaplansky stating that two compact Hausdorff spaces are homeomorphic if, and only if, the lattices of continuous [0, 1]-valued functions on the spaces are isomorphic.

Q fever outbreak in the terraced vineyards of Lavaux, Switzerland

Coxiella burnetii infection (Q fever) is a widespread zoonosis with low endemicity in Switzerland, therefore no mandatory public report was required. A cluster of initially ten human cases of acute Q fever infections characterized by prolonged fever, asthenia and mild hepatitis occurred in 2012 in the terraced vineyard of Lavaux. Epidemiological investigations based on patients' interviews and veterinary investigations included environmental sampling as well as Coxiella-specific serological assay and molecular examinations (real-time PCR in vaginal secretions) of suspected sheep. These investigations demonstrated that 43% of sheep carried the bacteria whereas 30% exhibited anti-Coxiella antibodies. Mitigation measures, including limiting human contacts with the flock, hygiene measures, flock vaccination and a public official alert, have permitted the detection of four additional human cases and the avoidance of a much larger outbreak. Since November 2012, mandatory reporting of Q fever to Swiss public health authorities has been reintroduced. A close follow up of human cases will be necessary to identify chronic Q fever.

Blind intubation of anaesthetised children with supraglottic airway devices AmbuAura-i and Air-Q cannot be recommended: A randomised controlled trial.

BACKGROUND Paediatric supraglottic airway devices AmbuAura-i and Air-Q were designed as conduits for tracheal intubation. Although fibreoptic-guided intubation has proved successful, blind intubation as a rescue technique has never been evaluated. OBJECTIVE Evaluation of blind intubation through AmbuAura-i and Air-Q. On the basis of fibreoptic view data, we hypothesised that the success rate with the AmbuAura-i would be higher than with the Air-Q. DESIGN A prospective, randomised controlled trial with institutional review board (IRB) approval and written informed consent. SETTING University Childrens' Hospital; September 2012 to July 2014. PATIENTS Eighty children, American Society of Anesthesiologists (ASA) class I to III, weight 5 to 50 kg. INTERVENTIONS Tracheal intubation was performed through the randomised device with the tip of a fibrescope placed inside and proximal to the tip of the tracheal tube. This permitted sight of tube advancement, but without fibreoptic guidance (visualised blind intubation). MAIN OUTCOME MEASURES Primary outcome was successfully visualised blind intubation; secondary outcomes included supraglottic airway device success, insertion times, airway leak pressure, fibreoptic view and adverse events. RESULTS Personal data did not differ between groups. In contrast to our hypothesis, blind intubation was possible in 15% with the Air-Q and in 3% with the AmbuAura-i [95% confidence interval (95% CI) 6 to 31 vs. 0 to 13%; P = 0.057]. First attempt supraglottic airway device insertion success rates were 95% (Air-Q) and 100% (AmbuAura-i; 95% CI 83 to 99 vs. 91 to 100; P = 0.49). Median leak pressures were 18 cmH2O (Air-Q) and 17 cmH2O [AmbuAura-i; interquartile range (IQR) 14 to 18 vs. 14 to 19 cmH2O; P = 0.66]. Air-Q insertion was slower (27 vs. 19 s, P < 0.001). There was no difference in fibreoptic view, or adverse events (P > 0.05). In one child (Air-Q size 1.5, tube size 3.5), the tube dislocated during device removal. CONCLUSION Ventilation with both devices is reliable, but success of blind intubation is unacceptably low and cannot be recommended for elective or rescue purposes. If intubation through a paediatric supraglottic airway device is desired, we suggest that fibreoptic guidance is used. TRIAL REGISTRATION Clinicaltrials.gov identifier: NCT01692522.