71 research outputs found

    Fine-Grain Iterative Compilation for WCET Estimation

    Get PDF
    Compiler optimizations, although reducing the execution times of programs, raise issues in static WCET estimation techniques and tools. Flow facts, such as loop bounds, may not be automatically found by static WCET analysis tools after aggressive code optimizations. In this paper, we explore the use of iterative compilation (WCET-directed program optimization to explore the optimization space), with the objective to (i) allow flow facts to be automatically found and (ii) select optimizations that result in the lowest WCET estimates. We also explore to which extent code outlining helps, by allowing the selection of different optimization options for different code snippets of the application

    System for Removing Pollutants from Incinerator Exhaust

    Get PDF
    A system for removing pollutants -- primarily sulfur dioxide and mixed oxides of nitrogen (NOx) -- from incinerator exhaust has been demonstrated. The system is also designed secondarily to remove particles, hydrocarbons, and CO. The system is intended for use in an enclosed environment, for which a prior NOx-and-SO2-removal system designed for industrial settings would not be suitable

    Translational molecular imaging and drug development in Parkinson's disease

    Full text link
    Parkinson's disease (PD) is a progressive neurodegenerative disorder that primarily affects elderly people and constitutes a major source of disability worldwide. Notably, the neuropathological hallmarks of PD include nigrostriatal loss and the formation of intracellular inclusion bodies containing misfolded α-synuclein protein aggregates. Cardinal motor symptoms, which include tremor, rigidity and bradykinesia, can effectively be managed with dopaminergic therapy for years following symptom onset. Nonetheless, patients ultimately develop symptoms that no longer fully respond to dopaminergic treatment. Attempts to discover disease-modifying agents have increasingly been supported by translational molecular imaging concepts, targeting the most prominent pathological hallmark of PD, α-synuclein accumulation, as well as other molecular pathways that contribute to the pathophysiology of PD. Indeed, molecular imaging modalities such as positron emission tomography (PET) and single-photon emission computed tomography (SPECT) can be leveraged to study parkinsonism not only in animal models but also in living patients. For instance, mitochondrial dysfunction can be assessed with probes that target the mitochondrial complex I (MC-I), while nigrostriatal degeneration is typically evaluated with probes designed to non-invasively quantify dopaminergic nerve loss. In addition to dopaminergic imaging, serotonin transporter and N-methyl-D-aspartate (NMDA) receptor probes are increasingly used as research tools to better understand the complexity of neurotransmitter dysregulation in PD. Non-invasive quantification of neuroinflammatory processes is mainly conducted by targeting the translocator protein 18 kDa (TSPO) on activated microglia using established imaging agents. Despite the overwhelming involvement of the brain and brainstem, the pathophysiology of PD is not restricted to the central nervous system (CNS). In fact, PD also affects various peripheral organs such as the heart and gastrointestinal tract - primarily via autonomic dysfunction. As such, research into peripheral biomarkers has taken advantage of cardiac autonomic denervation in PD, allowing the differential diagnosis between PD and multiple system atrophy with probes that visualize sympathetic nerve terminals in the myocardium. Further, α-synuclein has recently gained attention as a potential peripheral biomarker in PD. This review discusses breakthrough discoveries that have led to the contemporary molecular concepts of PD pathophysiology and how they can be harnessed to develop effective imaging probes and therapeutic agents. Further, we will shed light on potential future trends, thereby focusing on potential novel diagnostic tracers and disease-modifying therapeutic interventions

    Strongly Correlated Electrons on a Silicon Surface: Theory of a Mott Insulator

    Full text link
    We demonstrate theoretically that the electronic ground state of the potassium-covered Si(111)-B surface is a Mott insulator, explicitly contradicting band theory but in good agreement with recent experiments. We determine the physical structure by standard density-functional methods, and obtain the electronic ground state by exact diagonalization of a many-body Hamiltonian. The many-body conductivity reveals a Brinkman-Rice metal-insulator transition at a critical interaction strength; the calculated interaction strength is well above this critical value.Comment: 4 pages; 4 figures included in text; Revte

    Decomposition of methanol into synthesis gas over supported palladium catalysts

    No full text
    Includes bibliographical references (pages 87-92)
    • …
    corecore