Proof internalization in generalized Frege systems for classical logic

We present a general method for inserting proofs in Frege systems for classical logic that produces systems that can internalize their own proofs.

Censors for Boolean Description Logic

Protecting different kinds of information has become an important area of research. One aspect is to provide effective means to avoid that secrets can be deduced from the answers of legitimate queries. In the context of atomic propositional databases several methods have been developed to achieve this goal. However, in those databases it is not possible to formalize structural information. Also they are quite restrictive with respect to the specification of secrets. In this paper we extend those methods to match the much greater expressive power of Boolean description logics. In addition to the formal framework, we provide a discussion of various kinds of censors and establish different levels of security they can provide.

The association between implicit alcohol attitudes and drinking behavior is moderated by baseline activation in the lateral prefrontal cortex

OBJECTIVE Intense alcohol consumption is a risk factor for a number of health problems. Dual-process models assume that self-regulatory behavior such as drinking alcohol is guided by both reflective and impulsive processes. Evidence suggests that (a) impulsive processes such as implicit attitudes are more strongly associated with behavior when executive functioning abilities are low, and (b) higher neural baseline activation in the lateral prefrontal cortex (PFC) is associated with better inhibitory control. The present study integrates these 2 strands of research to investigate how individual differences in neural baseline activation in the lateral PFC moderate the association between implicit alcohol attitudes and drinking behavior. METHOD Baseline cortical activation was measured with resting electroencephalography (EEG) in 89 moderate drinkers. In a subsequent behavioral testing session they completed measures of implicit alcohol attitudes and self-reported drinking behavior. RESULTS Implicit alcohol attitudes were related to self-reported alcohol consumption. Most centrally, implicit alcohol attitudes were more strongly associated with drinking behavior in individuals with low as compared with high baseline activation in the right lateral PFC. CONCLUSIONS These findings are in line with predictions made on the basis of dual-process models. They provide further evidence that individual differences in neural baseline activation in the right lateral PFC may contribute to executive functioning abilities such as inhibitory control. Moreover, individuals with strongly positive implicit alcohol attitudes coupled with a low baseline activation in the right lateral PFC may be at greater risk of developing unhealthy drinking patterns than others.

Genetic Engineering of Induced Pluripotent Stem Cells and Reprogramming to Motor Neurons to Elucidate Selective Motor Neuron Death in Amyotrophic Lateral Sclerosis

Amyotrophic lateral sclerosis (ALS) is a progressive motor neuron disease, fatal within 1 to 5 years after onset of symptoms. About 3 out of 100’000 persons are diagnosed with ALS and there is still no cure available [1, 2]. 95% of all cases occur sporadically and the aetiology remains largely unknown [3]. However, up to now 16 genes were identified to play a role in the development of familial ALS. One of these genes is FUS that encodes for the protein fused in sarcoma (FUS). Mutations in this gene are responsible for some cases of sporadic as well as of inherited ALS [4]. FUS belongs to the family of heterogeneous nuclear ribonucleoproteins and is predicted to be involved in several cellular functions like transcription regulation, RNA splicing, mRNA transport in neurons and microRNA processing [5] Aberrant accumulation of mutated FUS has been found in the cytoplasm of motor neurons from ALS patients [6]. The mislocalization of FUS is based on a mutation in the nuclear localization signal of FUS [7]. However, it is still unclear if the cytoplasmic localization of FUS leads to a toxic gain of cytoplasmic function and/or a loss of nuclear function that might be crucial in the course of ALS. The goal of this project is to characterize the impact of ALS-associated FUS mutations on in vitro differentiated motor neurons. To this end, we edit the genome of induced pluripotent stem cells (iPSC) using transcription activator-like effector nucleases (TALENs) [8,9] to create three isogenic cell lines, each carrying an ALS-associated FUS mutation (G156E, R244C and P525L). These iPSC’s will then be differentiated to motor neurons according to a recently established protocol [10] and serve to study alterations in the transcriptome, proteome and metabolome upon the expression of ALS-associated FUS. With this approach, we hope to unravel the molecular mechanism leading to FUS-associated ALS and to provide new insight into the emerging connection between misregulation of RNA metabolism and neurodegeneration, a connection that is currently implied in a variety of additional neurological diseases, including spinocerebellar ataxia 2 (SCA-2), spinal muscular atrophy (SMA), fragile X syndrome, and myotonic dystrophy. [1] Cleveland, D.W. et al. (2001) Nat Rev Neurosci 2(11): 806-819 [2] Sathasivam, S. (2010) Singapore Med J 51(5): 367-372 [3] Schymick, J.C. et al. (2007) Hum Mol Genet Vol 16: 233-242 [4] Pratt, A.J. et al. (2012). Degener Neurol Neuromuscul Dis 2012(2): 1-14 [5] Lagier-Tourenne, C. Hum Mol Genet, 2010. 19(R1): p. R46-64 [6] Mochizuki, Y. et al. (2012) J Neurol Sci 323(1-2): 85-92 [7] Dormann, D. et al. (2010) EMBO J 29(16): 2841-2857 [8] Hockemeyer, D. et al. (2011) Nat Biotech 29(8): 731-734 [9] Joung, J.K. and J.D. Sander (2013) Nat Rev Mol Cell Biol 14(1): 49-55 [10]Amoroso, M.W. et al. (2013) J Neurosci 33(2): 574-586.

Is the lateral extension of the acromion related to the outcome of shoulder injections?

OBJECTIVE To assess patients' outcomes after subacromial or glenohumeral injections based on the degree of lateral extension of the acromion. METHODS 307 patients were prospectively included after therapeutic fluoroscopy-guided subacromial (n = 148) or glenohumeral (n = 159) injections with anaesthetic and long-acting corticosteroids. Pre- and post-injection outcomes at 1 week and 1 month were obtained using the 11-point numerical rating scale (NRS) for pain. Lateral extension of the acromion was quantified and categorized by the critical shoulder angle (CSA) and the acromion index (AI) on anteroposterior conventional radiographs. RESULTS Patients' outcomes at 1 week and 1 month were significantly improved (p < 0.001) compared to baseline for subacromial and glenohumeral injection patients. Patients with a CSA <35° showed significantly higher pain reduction 1 month after subacromial injection compared to patients with a CSA >35° (4.2 ± 2.6 vs. 3.2 ± 3.0, p = 0.04). A significant difference in the 1-month NRS change in pain scores is noted for smaller AIs after subacromial injection (4.3 ± 2.8 vs. 2.6 ± 2.9; p = 0.01). No significant association was noted between clinical outcome and the lateral extension of the acromion after glenohumeral joint injections. CONCLUSIONS A short lateral extension of the acromion was associated with better clinical outcomes in subacromial injection patients but not in glenohumeral injection patients. KEY POINTS • Patients' outcomes at 1 month improved significantly compared to baseline for subacromial injections. • Patients' outcomes at 1 month improved significantly compared to baseline for glenohumeral injections. • Short acromial lateralization was associated with better clinical outcome after subacromial injection. • The acromial lateralization was not associated with clinical outcome after glenohumeral injection.

Reconstruction of 3D Vertebral Models from a Single 2D Lateral Fluoroscopic Image

Accurate three-dimensional (3D) models of lumbar vertebrae are required for image-based 3D kinematics analysis. MRI or CT datasets are frequently used to derive 3D models but have the disadvantages that they are expensive, time-consuming or involving ionizing radiation (e.g., CT acquisition). In this chapter, we present an alternative technique that can reconstruct a scaled 3D lumbar vertebral model from a single two-dimensional (2D) lateral fluoroscopic image and a statistical shape model. Cadaveric studies are conducted to verify the reconstruction accuracy by comparing the surface models reconstructed from a single lateral fluoroscopic image to the ground truth data from 3D CT segmentation. A mean reconstruction error between 0.7 and 1.4 mm was found.

Neurotized lateral gastrocnemius muscle transfer for persistent traumatic peroneal nerve palsy: Surgical technique

INTRODUCTION Persistent traumatic peroneal nerve palsy, following nerve surgery failure, is usually treated by tendon transfer or more recently by tibial nerve transfer. However, when there is destruction of the tibial anterior muscle, an isolated nerve transfer is not possible. In this article, we present the key steps and surgical tips for the Ninkovic procedure including transposition of the neurotized lateral gastrocnemius muscle with the aim of restoring active voluntary dorsiflexion. SURGICAL TECHNIQUE The transposition of the lateral head of the gastrocnemius muscle to the tendons of the anterior tibial muscle group, with simultaneous transposition of the intact proximal end of the deep peroneal nerve to the tibial nerve of the gastrocnemius muscle by microsurgical neurorrhaphy is performed in one stage. It includes 10 key steps which are described in this article. Since 1994, three clinical series have highlighted the advantages of this technique. Functional and subjective results are discussed. We review the indications and limitations of the technique. CONCLUSION Early clinical results after neurotized lateral gastrocnemius muscle transfer appear excellent; however, they still need to be compared with conventional tendon transfer procedures. Clinical studies are likely to be conducted in this area largely due to the frequency of persistant peroneal nerve palsy and the limitations of functional options in cases of longstanding peripheral nerve palsy, anterior tibial muscle atrophy or destruction.

First steps towards probabilistic justification logic

In this article, we introduce the probabilistic justification logic PJ, a logic in which we can reason about the probability of justification statements. We present its syntax and semantics, and establish a strong completeness theorem. Moreover, we investigate the relationship between PJ and the logic of uncertain justifications.

Searching the hearts of graphene-like molecules for simplicity, sensitivity and logic

If quantum interference patterns in the hearts of polycyclic aromatic hydrocarbons (PAHs) could be isolated and manipulated, then a significant step towards realizing the potential of single-molecule electronics would be achieved. Here we demonstrate experimentally and theoretically that a simple, parameter-free, analytic theory of interference patterns evaluated at the mid-point of the HOMO-LUMO gap (referred to as M-functions) correctly predicts conductance ratios of molecules with pyrene, naphthalene, anthracene, anthanthrene or azulene hearts. M-functions provide new design strategies for identifying molecules with phase-coherent logic functions and enhancing the sensitivity of molecular-scale interferometers.