Internal Languages of Finitely Complete (∞,1)(\infty, 1)-categories

We prove that the homotopy theory of Joyal's tribes is equivalent to that of fibration categories. As a consequence, we deduce a variant of the conjecture asserting that Martin-L\"of Type Theory with dependent sums and intensional identity types is the internal language of $(\infty, 1)$-categories with finite limits.Comment: 41 pages, minor revision

The structure-specific endonuclease Ercc1-Xpf is required to resolve DNA insterstrand cross-link-induced double-strand breaks

Interstrand cross-links (ICLs) are an extremely toxic class of DNA damage incurred during normal metabolism or cancer chemotherapy. ICLs covalently tether both strands of duplex DNA, preventing the strand unwinding that is essential for polymerase access. The mechanism of ICL repair in mammalian cells is poorly understood. However, genetic data implicate the Ercc1-Xpf endonuclease and proteins required for homologous recombination-mediated double-strand break (DSB) repair. To examine the role of Ercc1-Xpf in ICL repair, we monitored the phosphorylation of histone variant H2AX (gamma-H2AX). The phosphoprotein accumulates at DSBs, forming foci that can be detected by immunostaining. Treatment of wild-type cells with mitomycin C (MMC) induced gamma-H2AX foci and increased the amount of DSBs detected by pulsed-field gel electrophoresis. Surprisingly, gamma-H2AX foci were also induced in Ercc1(-/-) cells by MMC treatment. Thus, DSBs occur after cross-link damage via an Ercc1-independent mechanism. Instead, ICL-induced DSB formation required cell cycle progression into S phase, suggesting that DSBs are an intermediate of ICL repair that form during DNA replication. In Ercc1(-/-) cells, MMC-induced gamma-H2AX foci persisted at least 48 h longer than in wild-type cells, demonstrating that Ercc1 is required for the resolution of cross-link-induced DSBs. MMC triggered sister chromatid exchanges in wild-type cells but chromatid fusions in Ercc1(-/-) and Xpf mutant cells, indicating that in their absence, repair of DSBs is prevented. Collectively, these data support a role for Ercc1-Xpf in processing ICL-induced DSBs so that these cytotoxic intermediates can be repaired by homologous recombination

Correction: Effect of Broccoli Sprouts on Nasal Response to Live Attenuated Influenza Virus in Smokers: A Randomized, Double-Blind Study

BackgroundSmokers have increased susceptibility and altered innate host defense responses to influenza virus infection. Broccoli sprouts are a source of the Nrf2 activating agentsulforaphane, and short term ingestion of broccoli sprout homogenates (BSH) has been shown to reduce nasal inflammatory responses to oxidant pollutants.ObjectivesAssess the effects of BSH on nasal cytokines, virus replication, and Nrf2-dependent enzyme expression in smokers and nonsmokers.MethodsWe conducted a randomized, double-blind, placebo-controlled trial comparing the effects of BSH on serially sampled nasal lavage fluid (NLF) cytokines, viral sequence quantity, and Nrf2-dependent enzyme expression in NLF cells and biopsied epithelium. Healthy young adult smokers and nonsmokers ingested BSH or placebo (alfalfa sprout homogenate) for 4 days, designated Days -1, 0, 1, 2. On Day 0 they received standard vaccine dose of live attenuated influenza virus (LAIV) intranasally. Nasal lavage fluids and nasal biopsies were collected serially to assess response to LAIV.ResultsIn area under curve analyses, post-LAIV IL-6 responses (P = 0.03) and influenza sequences (P = 0.01) were significantly reduced in NLF from BSH-treated smokers, whileNAD(P)H: quinoneoxidoreductasein NLF cells was significantly increased. In nonsmokers, a similar trend for reduction in virus quantity with BSH did not reach statistical significance.ConclusionsIn smokers, short term ingestion of broccoli sprout homogenates appears to significantly reduce some virus-induced markers of inflammation, as well as reducing virus quantity. Nutritional antioxidant interventions have promise as a safe, low-cost strategy for reducing influenza risk among smokers and other at risk populations.Trial RegistrationClinicalTrials.gov NCT0126972

Assessment of joystick and wrist control in hand-held articulated laparoscopic prototypes

Various steerable instruments with flexible distal tip have been developed for laparoscopic surgery. The problem of steering such instruments, however, remains a challenge, because no study investigated which control method is the most suitable. This study was designed to examine whether thumb (joystick) or wrist control method is designated for prototypes of steerable instruments by means of motion analysis. Methods: Five experts and 12 novices participated. Each participant performed a needle-driving task in three directions with two prototypes (wrist and thumb) and a conventional instrument. Novices performed the tasks in three sessions, whereas experts performed one session only. The order of performing the tasks was determined by Latin squares design. Assessment of performance was done by means of five motion analysis parameters, a newly developed matrix for assigning penalty points, and a questionnaire. Results: The thumb-controlled prototype outperformed the wrist-controlled prototype. Comparison of the results obtained in each task showed that regarding penalty points, the up ? down task was the most difficult to perform. Conclusions: The thumb control is more suitable for steerable instruments than the wrist control. To avoid uncontrolled movements and difficulties with applying forces to the tissue while keeping the tip of the instrument at the constant angle, adding a ‘‘locking’’ feature is necessary. It is advisable not to perform the needle driving task in the up down directionBiomechanical EngineeringMechanical, Maritime and Materials Engineerin

Mitochondrial physiology

As the knowledge base and importance of mitochondrial physiology to evolution, health and disease expands, the necessity for harmonizing the terminology concerning mitochondrial respiratory states and rates has become increasingly apparent. The chemiosmotic theory establishes the mechanism of energy transformation and coupling in oxidative phosphorylation. The unifying concept of the protonmotive force provides the framework for developing a consistent theoretical foundation of mitochondrial physiology and bioenergetics. We follow the latest SI guidelines and those of the International Union of Pure and Applied Chemistry (IUPAC) on terminology in physical chemistry, extended by considerations of open systems and thermodynamics of irreversible processes. The concept-driven constructive terminology incorporates the meaning of each quantity and aligns concepts and symbols with the nomenclature of classical bioenergetics. We endeavour to provide a balanced view of mitochondrial respiratory control and a critical discussion on reporting data of mitochondrial respiration in terms of metabolic flows and fluxes. Uniform standards for evaluation of respiratory states and rates will ultimately contribute to reproducibility between laboratories and thus support the development of data repositories of mitochondrial respiratory function in species, tissues, and cells. Clarity of concept and consistency of nomenclature facilitate effective transdisciplinary communication, education, and ultimately further discovery

Mitochondrial physiology

As the knowledge base and importance of mitochondrial physiology to evolution, health and disease expands, the necessity for harmonizing the terminology concerning mitochondrial respiratory states and rates has become increasingly apparent. The chemiosmotic theory establishes the mechanism of energy transformation and coupling in oxidative phosphorylation. The unifying concept of the protonmotive force provides the framework for developing a consistent theoretical foundation of mitochondrial physiology and bioenergetics. We follow the latest SI guidelines and those of the International Union of Pure and Applied Chemistry (IUPAC) on terminology in physical chemistry, extended by considerations of open systems and thermodynamics of irreversible processes. The concept-driven constructive terminology incorporates the meaning of each quantity and aligns concepts and symbols with the nomenclature of classical bioenergetics. We endeavour to provide a balanced view of mitochondrial respiratory control and a critical discussion on reporting data of mitochondrial respiration in terms of metabolic flows and fluxes. Uniform standards for evaluation of respiratory states and rates will ultimately contribute to reproducibility between laboratories and thus support the development of data repositories of mitochondrial respiratory function in species, tissues, and cells. Clarity of concept and consistency of nomenclature facilitate effective transdisciplinary communication, education, and ultimately further discovery

BRIDGING THE GAP BETWEEN NEUROSCIENCE AND CLINICAL RESEARCH IN UNILATERAL CEREBRAL PALSY

Purpose: To bridge the gap between neuroscience and clinical research in unilateral CP and discuss the added value of understanding the reorganisation of the brain in these children, based on mirror movements and neuroimaging, and how this knowledge can contribute to treatment optimisation. Target Audience: occupational therapists, physiotherapists, paediatric neurologists Course Summary: Children with unilateral cerebral palsy (CP) are characterised by a large heterogeneity in upper limb function and treatment response. Due to the early nature of the brain lesion, these children present with a unique “re-wiring” of the sensorimotor system, i.e. the corticospinal tract (CST). Structural reorganisation of the CST has been proposed to play a crucial role in the clinical heterogeneity and might offer a valuable therapeutic target. However, the CST-wiring pattern is not immediately apparent from the child’s clinical presentation. During this course, we will provide a concise overview of the role of mirror movements in typically developing children and unilateral CP (Prof. Dr. K. Klingels). Next, we will discuss various ways to probe the motor system and identify the CST-wiring pattern in these children, based on transcranial magnetic stimulation, a quantitative mirror movement assessment, and different neuroimaging techniques including diffusion imaging and resting state fMRI (Dr. E. Jaspers, MSc C. Simon-Martinez). Finally, most recent work will be presented on the added value of non-invasive brain stimulation to improve upper limb function in children with unilateral CP (Prof. Dr. med. A. Kirton). Learning Objectives: 1. Understand the role of mirror movements in typically developing children and unilateral cerebral palsy 2. Describe different ways of probing the motor system, based on behavioral, neurophysiological and neuroimaging assessments 3. Understand how the different behavioral, neurophysiological and neuroimaging assessments can be implemented in clinical practice 4. Understand the added value of non-invasive brain stimulation in upper limb rehabilitationstatus: publishe

The Corticospinal Tract: A Biomarker to Categorize Upper Limb Functional Potential in Unilateral Cerebral Palsy

Children with unilateral cerebral palsy (CP) typically present with largely divergent upper limb sensorimotor deficits and individual differences in response to upper limb rehabilitation. This review summarizes how early brain damage can cause dramatic deviations from the normal anatomy of sensory and motor tracts, resulting in unique "wiring patterns" of the sensorimotor system in CP. Based on the existing literature, we suggest that corticospinal tract (CST) anatomy and integrity constrains sensorimotor function of the upper limb and potentially also the response to treatment. However, it is not possible to infer CST (re)organization from clinical presentation alone and conventional biomarkers, such as time of insult, location, and lesion extent seem to have limited clinical utility. Here, we propose a theoretical framework based on a detailed examination of the motor system using behavioral, neurophysiological, and magnetic resonance imaging measures, akin to those used to predict potential for upper limb recovery of adults after stroke. This theoretical framework might prove useful because it provides testable hypotheses for future research with the goal to develop and validate a clinical assessment flowchart to categorize children with unilateral CP.status: publishe

Interhemispheric sensorimotor integration; an upper limb phenomenon?

Somatosensory information from the limbs reaches the contralateral Primary Sensory Cortex (S1) with a delay of 23 ms for finger, and 40 ms for leg (somatosensory N20/N40). Upon arrival of this input in the cortex, motor evoked potentials (MEPs) elicited by Transcranial Magnetic Stimulation (TMS) are momentarily inhibited. This phenomenon is called ‘short latency afferent inhibition (SAI)’ and can be used as a tool for investigating sensorimotor interactions in the brain. We used SAI to investigate the process of sensorimotor integration in the hemisphere ipsilateral to the stimulated limb. We hypothesized that ipsilateral SAI would occur with a delay following the onset of contralateral SAI, to allow for transcallosal conduction of the signal. We electrically stimulated the limb either contralateral or ipsilateral to the hemisphere receiving TMS, using a range of different interstimulus intervals (ISI). We tested the First Dorsal Interosseous (FDI) muscle in the hand, and Tibialis Anterior (TA) in the lower leg, in three separate experiments. Ipsilateral SAI was elicited in the upper limb (FDI) at all ISIs that were greater than N20+18 ms (all p < .05) but never at any earlier timepoint. No ipsilateral SAI was detected in the lower limb (TA) at any of the tested ISIs. The delayed onset timing of ipsilateral SAI suggests that transcallosal communication mediates this inhibitory process for the upper limb. The complete absence of ipsilateral SAI in the lower limb warrants consideration of the potential limb-specific differences in demands for bilateral sensorimotor integration.ISSN:0306-4522ISSN:1873-754