962 research outputs found

    Dimension Spectra of Lines

    Full text link
    This paper investigates the algorithmic dimension spectra of lines in the Euclidean plane. Given any line L with slope a and vertical intercept b, the dimension spectrum sp(L) is the set of all effective Hausdorff dimensions of individual points on L. We draw on Kolmogorov complexity and geometrical arguments to show that if the effective Hausdorff dimension dim(a, b) is equal to the effective packing dimension Dim(a, b), then sp(L) contains a unit interval. We also show that, if the dimension dim(a, b) is at least one, then sp(L) is infinite. Together with previous work, this implies that the dimension spectrum of any line is infinite

    Formalization of Transform Methods using HOL Light

    Full text link
    Transform methods, like Laplace and Fourier, are frequently used for analyzing the dynamical behaviour of engineering and physical systems, based on their transfer function, and frequency response or the solutions of their corresponding differential equations. In this paper, we present an ongoing project, which focuses on the higher-order logic formalization of transform methods using HOL Light theorem prover. In particular, we present the motivation of the formalization, which is followed by the related work. Next, we present the task completed so far while highlighting some of the challenges faced during the formalization. Finally, we present a roadmap to achieve our objectives, the current status and the future goals for this project.Comment: 15 Pages, CICM 201

    Non-thermal emission processes in massive binaries

    Full text link
    In this paper, I present a general discussion of several astrophysical processes likely to play a role in the production of non-thermal emission in massive stars, with emphasis on massive binaries. Even though the discussion will start in the radio domain where the non-thermal emission was first detected, the census of physical processes involved in the non-thermal emission from massive stars shows that many spectral domains are concerned, from the radio to the very high energies. First, the theoretical aspects of the non-thermal emission from early-type stars will be addressed. The main topics that will be discussed are respectively the physics of individual stellar winds and their interaction in binary systems, the acceleration of relativistic electrons, the magnetic field of massive stars, and finally the non-thermal emission processes relevant to the case of massive stars. Second, this general qualitative discussion will be followed by a more quantitative one, devoted to the most probable scenario where non-thermal radio emitters are massive binaries. I will show how several stellar, wind and orbital parameters can be combined in order to make some semi-quantitative predictions on the high-energy counterpart to the non-thermal emission detected in the radio domain. These theoretical considerations will be followed by a census of results obtained so far, and related to this topic... (see paper for full abstract)Comment: 47 pages, 5 postscript figures, accepted for publication in Astronomy and Astrophysics Review. Astronomy and Astrophysics Review, in pres

    An Anti-Human ICAM-1 Antibody Inhibits Rhinovirus-Induced Exacerbations of Lung Inflammation

    Get PDF
    Human rhinoviruses (HRV) cause the majority of common colds and acute exacerbations of asthma and chronic obstructive pulmonary disease (COPD). Effective therapies are urgently needed, but no licensed treatments or vaccines currently exist. Of the 100 identified serotypes, ∼90% bind domain 1 of human intercellular adhesion molecule-1 (ICAM-1) as their cellular receptor, making this an attractive target for development of therapies; however, ICAM-1 domain 1 is also required for host defence and regulation of cell trafficking, principally via its major ligand LFA-1. Using a mouse anti-human ICAM-1 antibody (14C11) that specifically binds domain 1 of human ICAM-1, we show that 14C11 administered topically or systemically prevented entry of two major groups of rhinoviruses, HRV16 and HRV14, and reduced cellular inflammation, pro-inflammatory cytokine induction and virus load in vivo. 14C11 also reduced cellular inflammation and Th2 cytokine/chemokine production in a model of major group HRV-induced asthma exacerbation. Interestingly, 14C11 did not prevent cell adhesion via human ICAM-1/LFA-1 interactions in vitro, suggesting the epitope targeted by 14C11 was specific for viral entry. Thus a human ICAM-1 domain-1-specific antibody can prevent major group HRV entry and induction of airway inflammation in vivo

    Application of the Phenomenex EZ:faast™ amino acid analysis kit for rapid gas-chromatographic determination of concentrations of plasma tryptophan and its brain uptake competitors

    Get PDF
    The Phenomenex EZ:faast™ amino acid analysis kit is available for gas (GC) or liquid (LC) chromatographic analysis of amino acids (AA) using mass spectrometry (MS) and other GC detectors. We used it for rapid GC determination of plasma tryptophan, its brain uptake competitors (Val, Leu, Ile, Phe and Tyr) and many other amino acids. Based on solid-phase extraction, this fast method enables one person to process two plasma samples in 8–10 min and six samples in ∼15 min up to GC injection and a 7-min GC run per plasma sample. Using a Perkin-Elmer Clarus 500 GC, a Total Chrome software, a flame-ionisation detector (FID) and norvaline as internal standard, we used this method to analyse ∼1,000 plasma samples from normal subjects undergoing acute tryptophan depletion and loading tests. The limit of detection for most amino acids is 1 nmol/ml (1 μM) and in many cases less. With manual injection, coefficients of variation for the above six amino acids were 1.5–6.2% (intra-assay) and 3.8–9.7% (inter-assay). This simple, rapid and elegant method will be valuable to the amino acid analyst and researcher, as it can save much manpower time and meet urgent emergency requests and the demands of a high-throughput laboratory

    Lipidomics Reveals Early Metabolic Changes in Subjects with Schizophrenia: Effects of Atypical Antipsychotics

    Get PDF
    There is a critical need for mapping early metabolic changes in schizophrenia to capture failures in regulation of biochemical pathways and networks. This information could provide valuable insights about disease mechanisms, trajectory of disease progression, and diagnostic biomarkers. We used a lipidomics platform to measure individual lipid species in 20 drug-naïve patients with a first episode of schizophrenia (FE group), 20 patients with chronic schizophrenia that had not adhered to prescribed medications (RE group), and 29 race-matched control subjects without schizophrenia. Lipid metabolic profiles were evaluated and compared between study groups and within groups before and after treatment with atypical antipsychotics, risperidone and aripiprazole. Finally, we mapped lipid profiles to n3 and n6 fatty acid synthesis pathways to elucidate which enzymes might be affected by disease and treatment. Compared to controls, the FE group showed significant down-regulation of several n3 polyunsaturated fatty acids (PUFAs), including 20:5n3, 22:5n3, and 22:6n3 within the phosphatidylcholine and phosphatidylethanolamine lipid classes. Differences between FE and controls were only observed in the n3 class PUFAs; no differences where noted in n6 class PUFAs. The RE group was not significantly different from controls, although some compositional differences within PUFAs were noted. Drug treatment was able to correct the aberrant PUFA levels noted in FE patients, but changes in re patients were not corrective. Treatment caused increases in both n3 and n6 class lipids. These results supported the hypothesis that phospholipid n3 fatty acid deficits are present early in the course of schizophrenia and tend not to persist throughout its course. These changes in lipid metabolism could indicate a metabolic vulnerability in patients with schizophrenia that occurs early in development of the disease. © 2013 McEvoy et al

    Science that "knows" and science that "asks"

    Get PDF
    Clinician-researchers and experimental scientists do not speak the same language; they have different professional environments and different end-points in their research. This creates considerable problems of comprehension and communication, which constitute a major drawback in multidisciplinary work such as translational medicine. A stereotypic representation of both these worlds is presented as a starting point to encourage debate on this issue

    The Surgical Infection Society revised guidelines on the management of intra-abdominal infection

    Get PDF
    Background: Previous evidence-based guidelines on the management of intra-abdominal infection (IAI) were published by the Surgical Infection Society (SIS) in 1992, 2002, and 2010. At the time the most recent guideline was released, the plan was to update the guideline every five years to ensure the timeliness and appropriateness of the recommendations. Methods: Based on the previous guidelines, the task force outlined a number of topics related to the treatment of patients with IAI and then developed key questions on these various topics. All questions were approached using general and specific literature searches, focusing on articles and other information published since 2008. These publications and additional materials published before 2008 were reviewed by the task force as a whole or by individual subgroups as to relevance to individual questions. Recommendations were developed by a process of iterative consensus, with all task force members voting to accept or reject each recommendation. Grading was based on the GRADE (Grades of Recommendation Assessment, Development, and Evaluation) system; the quality of the evidence was graded as high, moderate, or weak, and the strength of the recommendation was graded as strong or weak. Review of the document was performed by members of the SIS who were not on the task force. After responses were made to all critiques, the document was approved as an official guideline of the SIS by the Executive Council. Results: This guideline summarizes the current recommendations developed by the task force on the treatment of patients who have IAI. Evidence-based recommendations have been made regarding risk assessment in individual patients; source control; the timing, selection, and duration of antimicrobial therapy; and suggested approaches to patients who fail initial therapy. Additional recommendations related to the treatment of pediatric patients with IAI have been included. Summary: The current recommendations of the SIS regarding the treatment of patients with IAI are provided in this guideline

    Alcohol affects neuronal substrates of response inhibition but not of perceptual processing of stimuli signalling a stop response

    Get PDF
    Alcohol impairs inhibitory control, including the ability to terminate an initiated action. While there is increasing knowledge about neural mechanisms involved in response inhibition, the level at which alcohol impairs such mechanisms remains poorly understood. Thirty-nine healthy social drinkers received either 0.4g/kg or 0.8g/kg of alcohol, or placebo, and performed two variants of a Visual Stop-signal task during acquisition of functional magnetic resonance imaging (fMRI) data. The two task variants differed only in their instructions: in the classic variant (VSST), participants inhibited their response to a “Go-stimulus” when it was followed by a “Stop-stimulus”. In the control variant (VSST_C), participants responded to the “Go-stimulus” even if it was followed by a “Stop-stimulus”. Comparison of successful Stop-trials (Sstop)>Go, and unsuccessful Stop-trials (Ustop)>Sstop between the three beverage groups enabled the identification of alcohol effects on functional neural circuits supporting inhibitory behaviour and error processing. Alcohol impaired inhibitory control as measured by the Stop-signal reaction time, but did not affect other aspects of VSST performance, nor performance on the VSST_C. The low alcohol dose evoked changes in neural activity within prefrontal, temporal, occipital and motor cortices. The high alcohol dose evoked changes in activity in areas affected by the low dose but importantly induced changes in activity within subcortical centres including the globus pallidus and thalamus. Alcohol did not affect neural correlates of perceptual processing of infrequent cues, as revealed by conjunction analyses of VSST and VSST_C tasks. Alcohol ingestion compromises the inhibitory control of action by modulating cortical regions supporting attentional, sensorimotor and action-planning processes. At higher doses the impact of alcohol also extends to affect subcortical nodes of fronto-basal ganglia- thalamo-cortical motor circuits. In contrast, alcohol appears to have little impact on the early visual processing of infrequent perceptual cues. These observations clarify clinically-important effects of alcohol on behaviour
    corecore