361 research outputs found

    T1 and ECV Mapping in Myocardial Disease

    Get PDF
    T1 mapping using cardiovascular magnetic resonance (CMR) introduces novel techniques for myocardial tissue characterization to detect and quantify disease processes occurring at the microscopic level. Even though T1 mapping has limited spatial resolution, cellular and molecular changes occurring within each voxel can affect the aggregate T1 signal rendering them quantifiable. The estimated T1-based parameters quantified on a “map” demonstrate the spatial localization of these changes whereby each pixel expresses the quantitative value of that parameter. This quantification permits detection of diffuse disease even if it is not directly visible. Rather than relying on nonspecific functional measures, T1 mapping focuses on intrinsic changes of myocardial composition that advances understanding about specific disease pathways. These changes in myocardial tissue composition inform diagnosis and prognosis. T1 mapping encompasses two key parameters: native (i.e., precontrast) T1 and extracellular volume fraction (ECV) derived from additional postcontrast T1 and blood T1 measurements. These advances introduce new tools to detect focal and diffuse myocardial derangements occurring in cardiac disease that can be otherwise difficult to detect. T1 and ECV mapping foster precision medicine and personalized care, promising to improve patient outcomes through targeted therapy. Capitalizing on the opportunities introduced by T1 mapping and ECV requires further investigation

    LILO: Learning Interpretable Libraries by Compressing and Documenting Code

    Full text link
    While large language models (LLMs) now excel at code generation, a key aspect of software development is the art of refactoring: consolidating code into libraries of reusable and readable programs. In this paper, we introduce LILO, a neurosymbolic framework that iteratively synthesizes, compresses, and documents code to build libraries tailored to particular problem domains. LILO combines LLM-guided program synthesis with recent algorithmic advances in automated refactoring from Stitch: a symbolic compression system that efficiently identifies optimal lambda abstractions across large code corpora. To make these abstractions interpretable, we introduce an auto-documentation (AutoDoc) procedure that infers natural language names and docstrings based on contextual examples of usage. In addition to improving human readability, we find that AutoDoc boosts performance by helping LILO's synthesizer to interpret and deploy learned abstractions. We evaluate LILO on three inductive program synthesis benchmarks for string editing, scene reasoning, and graphics composition. Compared to existing neural and symbolic methods - including the state-of-the-art library learning algorithm DreamCoder - LILO solves more complex tasks and learns richer libraries that are grounded in linguistic knowledge

    LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers

    Full text link
    Logical reasoning, i.e., deductively inferring the truth value of a conclusion from a set of premises, is an important task for artificial intelligence with wide potential impacts on science, mathematics, and society. While many prompting-based strategies have been proposed to enable Large Language Models (LLMs) to do such reasoning more effectively, they still appear unsatisfactory, often failing in subtle and unpredictable ways. In this work, we investigate the validity of instead reformulating such tasks as modular neurosymbolic programming, which we call LINC: Logical Inference via Neurosymbolic Computation. In LINC, the LLM acts as a semantic parser, translating premises and conclusions from natural language to expressions in first-order logic. These expressions are then offloaded to an external theorem prover, which symbolically performs deductive inference. Leveraging this approach, we observe significant performance gains on FOLIO and a balanced subset of ProofWriter for three different models in nearly all experimental conditions we evaluate. On ProofWriter, augmenting the comparatively small open-source StarCoder+ (15.5B parameters) with LINC even outperforms GPT-3.5 and GPT-4 with Chain-of-Thought (CoT) prompting by an absolute 38% and 10%, respectively. When used with GPT-4, LINC scores 26% higher than CoT on ProofWriter while performing comparatively on FOLIO. Further analysis reveals that although both methods on average succeed roughly equally often on this dataset, they exhibit distinct and complementary failure modes. We thus provide promising evidence for how logical reasoning over natural language can be tackled through jointly leveraging LLMs alongside symbolic provers. All corresponding code is publicly available at https://github.com/benlipkin/lin

    C-tactile afferent stimulating touch carries a positive affective value

    Get PDF
    The rewarding sensation of touch in affiliative interactions is hypothesized to be underpinned by a specialized system of nerve fibers called C-Tactile afferents (CTs), which respond optimally to slowly moving, gentle touch, typical of a caress. However, empirical evidence to support the theory that CTs encode socially relevant, rewarding tactile information in humans is currently limited. While in healthy participants, touch applied at CT optimal velocities (1-10cm/sec) is reliably rated as subjectively pleasant, neuronopathy patients lacking large myelinated afferents, but with intact C-fibres, report that the conscious sensation elicited by stimulation of CTs is rather vague. Given this weak perceptual impact the value of self-report measures for assessing the specific affective value of CT activating touch appears limited. Therefore, we combined subjective ratings of touch pleasantness with implicit measures of affective state (facial electromyography) and autonomic arousal (heart rate) to determine whether CT activation carries a positive affective value. We recorded the activity of two key emotion-relevant facial muscle sites (zygomaticus major—smile muscle, positive affect & corrugator supercilii—frown muscle, negative affect) while participants evaluated the pleasantness of experimenter administered stroking touch, delivered using a soft brush, at two velocities (CT optimal 3cm/sec & CT non-optimal 30cm/sec), on two skin sites (CT innervated forearm & non-CT innervated palm). On both sites, 3cm/sec stroking touch was rated as more pleasant and produced greater heart rate deceleration than 30cm/sec stimulation. However, neither self-report ratings nor heart rate responses discriminated stimulation on the CT innervated arm from stroking of the non-CT innervated palm. In contrast, significantly greater activation of the zygomaticus major (smiling muscle) was seen specifically to CT optimal, 3cm/sec, stroking on the forearm in comparison to all other stimuli. These results offer the first empirical evidence in humans that tactile stimulation that optimally activates CTs carries a positive affective valence that can be measured implicitly

    Pituitary Gonadotropin Gene Expression During Induced Onset of Postsmolt Maturation in Male Atlantic Salmon: In Vivo and Tissue Culture Studies

    Get PDF
    Precocious male maturation causes reduced welfare and increased production costs in Atlantic salmon (Salmo salar) aquaculture. The pituitary produces and releases follicle-stimulating hormone (Fsh), the gonadotropin triggering puberty in male salmonids. However, little is known about how Fsh production is regulated in Atlantic salmon. We examined, in vivo and ex vivo, transcriptional changes of gonadotropin-related genes accompanying the initial steps of testis maturation, in pituitaries of males exposed to photoperiod and temperature conditions promoting maturation (constant light and 16°C). Pituitary fshb, lhb and gnrhr2bba transcripts increased in vivo in maturing males (gonado-somatic index > 0.1%). RNA sequencing (RNAseq) analysis using pituitaries from genetically similar males carrying the same genetic predisposition to mature, but differing by responding or not responding to stimulatory environmental conditions, revealed 144 differentially expressed genes, ~2/3rds being up-regulated in responders, including fshb and other pituitary hormones, steroid-related and other puberty-associated transcripts. Functional enrichment analyses confirmed gene involvement in hormone/steroid production and gonad development. In ex vivo studies, whole pituitaries were exposed to a selection of hormones and growth factors. Gonadotropin-releasing hormone (Gnrh), 17β-estradiol (E2) and 11-ketotestosterone (11-KT) up-regulated gnrhr2bba and lhb, while fshb was up-regulated by Gnrh but down-regulated by 11-KT in pituitaries from immature males. Also pituitaries from maturing males responded to Gnrh and sex steroids by increased gnrhr2bba and lhb transcript levels, but fshb expression remained unchanged. Growth factors (inhibin A, activin A and insulin-like growth factor 1) did not change gnrhr2bba, lhb or fshb transcript levels in pituitaries either from immature or maturing males. Additional pituitary ex vivo studies on candidates identified by RNAseq showed that these transcripts were preferentially regulated by Gnrh and sex steroids, but not by growth factors, and that Gnrh/sex steroids were less effective when incubating pituitaries from maturing males. Our results suggest that a yet to be characterized mechanism up-regulating fshb expression in the salmon pituitary is activated in response to stimulatory environmental conditions prior to morphological signs of testis maturation, and that the transcriptional program associated with this mechanism becomes unresponsive or less responsive to most stimulators ex vivo once males had entered pubertal developmental in vivo.publishedVersio

    The cellular and synaptic architecture of the mechanosensory dorsal horn

    Get PDF
    The deep dorsal horn is a poorly characterized spinal cord region implicated in processing low-threshold mechanoreceptor (LTMR) information. We report an array of mouse genetic tools for defining neuronal components and functions of the dorsal horn LTMR-recipient zone (LTMR-RZ), a role for LTMR-RZ processing in tactile perception, and the basic logic of LTMR-RZ organization. We found an unexpectedly high degree of neuronal diversity in the LTMR-RZ: seven excitatory and four inhibitory subtypes of interneurons exhibiting unique morphological, physiological, and synaptic properties. Remarkably, LTMRs form synapses on between four and 11 LTMR-RZ interneuron subtypes, while each LTMR-RZ interneuron subtype samples inputs from at least one to three LTMR classes, as well as spinal cord interneurons and corticospinal neurons. Thus, the LTMR-RZ is a somatosensory processing region endowed with a neuronal complexity that rivals the retina and functions to pattern the activity of ascending touch pathways that underlie tactile perception

    Preterm birth and reduced birthweight in first and second teenage pregnancies: a register-based cohort study

    Get PDF
    <p>Abstract</p> <p>Background</p> <p>Higher risks of preterm birth and small for gestational age babies have been reported in teenagers. The aim of this study was to investigate the relationship between first and second teenage pregnancies and preterm birth, birthweight and small for gestational age (SGA).</p> <p>Methods</p> <p>All women aged 14 to 29 yrs who gave birth to live singletons in the North Western Region of England between January 1st 2004 and December 31st 2006 were identified. Women were classified in three groups; 14-17 yrs, 18-19 yrs and 20-29 yrs (reference group). The outcome measures were preterm birth, very preterm birth, birthweight, SGA (< 5<sup>th </sup>percentile), very SGA (VSGA< 3<sup>rd </sup>percentile). We compared these outcome measures in teenagers' first and second pregnancies with those of mothers aged 20 to 29 yrs.</p> <p>Results</p> <p>The risk of preterm birth was increased in first (OR = 1.21, [95% CI: 1.01-1.45]) and second (OR = 1.93, [95% CI: 1.38-2.69]) time mothers aged 14-17 yrs compared to the reference group. Birthweight was reduced in the first (mean difference = -24 g; [95% CI: -40, -7]) and second (mean difference = -80 g; [95% CI: -115, -46]) time mothers aged 14-17 yrs compared to the reference group. There was some evidence of a protective effect against VSGA in 14-17 yr old first time mothers (OR = 0.79, [95% CI: 0.63-0.99]).</p> <p>Conclusions</p> <p>Teenage mothers are at increased risk of preterm birth compared to adult mothers and this risk is further increased in second time teen pregnancies. This study highlights the importance of ensuring pregnant teenagers have appropriate antenatal care. A first pregnancy may be the first and only time a pregnant teenager interacts with health services and this opportunity for health education and the promotion of contraception should not be overlooked.</p

    Inhomogeneous Point-Processes to Instantaneously Assess Affective Haptic Perception through Heartbeat Dynamics Information

    Get PDF
    This study proposes the application of a comprehensive signal processing framework, based on inhomogeneous point-process models of heartbeat dynamics, to instantaneously assess affective haptic perception using electrocardiogram-derived information exclusively. The framework relies on inverse-Gaussian point-processes with Laguerre expansion of the nonlinear Wiener-Volterra kernels, accounting for the long-term information given by the past heartbeat events. Up to cubic-order nonlinearities allow for an instantaneous estimation of the dynamic spectrum and bispectrum of the considered cardiovascular dynamics, as well as for instantaneous measures of complexity, through Lyapunov exponents and entropy. Short-term caress-like stimuli were administered for 4.3?25?seconds on the forearms of 32 healthy volunteers (16 females) through a wearable haptic device, by selectively superimposing two levels of force, 2?N and 6?N, and two levels of velocity, 9.4?mm/s and 65?mm/s. Results demonstrated that our instantaneous linear and nonlinear features were able to finely characterize the affective haptic perception, with a recognition accuracy of 69.79% along the force dimension, and 81.25% along the velocity dimension
    • …
    corecore