Radiation and magnetic field effects on new semiconductor power devices for HL-LHC experiments

The radiation hardness of commercial Silicon Carbide and Gallium Nitride power MOSFETs is presented in this paper, for Total Ionizing Dose effects and Single Event Effects, under gamma, neutrons, protons and heavy ions. Similar tests are discussed for commercial DC-DC converters, also tested in operation under magnetic field

Tree Compression with Top Trees Revisited

We revisit tree compression with top trees (Bille et al, ICALP'13) and present several improvements to the compressor and its analysis. By significantly reducing the amount of information stored and guiding the compression step using a RePair-inspired heuristic, we obtain a fast compressor achieving good compression ratios, addressing an open problem posed by Bille et al. We show how, with relatively small overhead, the compressed file can be converted into an in-memory representation that supports basic navigation operations in worst-case logarithmic time without decompression. We also show a much improved worst-case bound on the size of the output of top-tree compression (answering an open question posed in a talk on this algorithm by Weimann in 2012).Comment: SEA 201

Voxel-based investigations of regional cerebral blood flow abnormalities in Alzheimer's disease using a single-detector SPECT system

PURPOSE: To evaluate the feasibility of using the Statistical Parametric Mapping (SPM) program for an automated, voxel-by-voxel assessment of regional cerebral blood flow (rCBF) deficits in Alzheimer's disease (AD) subjects relative to age-matched controls studied with a conventional, single-detector SPECT system. METHODS: We used a databank of 99mTc-HMPAO images of 19 patients with a diagnosis of probable AD and 15 elderly healthy volunteers; data were acquired using an Orbiter-Siemens single-detector SPECT system. Using SPM, images were transformed spatially, smoothed (12mm), and the data were compared on a voxel-by-voxel basis with t-tests. RESULTS: There were significant rCBF reductions in AD patients relative to controls involving regions predicted a priori to be affected in AD, namely the left temporal and parietal neocortices, and the right posterior cingulate gyrus (pOBJETIVO: Avaliar a viabilidade de emprego do programa Statistical Parametric Mapping (SPM) para investigar de forma automatizada, voxel-a-voxel, a presença de déficits de fluxo sanguíneo cerebral regional (FSCr) em pacientes com doença de Alzheimer (DA) comparados a sujeitos-controle pareados para idade, usando imagens de SPECT adquiridas com um equipamento convencional de detector único. MÉTODOS: Foi utilizado um banco de imagens adquiridas após injeção de 99mTc-HMPAO em 19 pacientes com diagnóstico provável de DA e 15 voluntários idosos saudáveis, usando um equipamento de SPECT Orbiter-Siemens de detector único. Empregando o programa SPM, as imagens foram transformadas espacialmente, suavizadas (12mm FWHM), e comparadas estatisticamente voxel-a-voxel entre os dois grupos, usando o teste de T. RESULTADOS: Foram identificadas reduções significativas de FSCr nos pacientes com DA comparados aos controles em regiões previstas a priori como afetadas por esta forma de demência, quais sejam os neocórtices temporal e parietal em hemisfério esquerdo e o cíngulo posterior direito (p<0,05, corrigido para comparações múltiplas). DISCUSSÃO: A localização dos focos de redução de FSCr em pacientes com DA no nosso estudo é, de forma geral, consistente com os achados de déficits cerebrais detectados em estudos anteriores de neuroimagem funcional na DA realizados com equipamentos de resolução espacial mais alta. Isto sugere o potencial de utilidade do programa SPM para a análise de dados de SPECT adquiridos com equipamentos de detector único, apesar da sensibilidade e resolução espacial limitadas de tais aparelhos

Voxel-based investigations of regional cerebral blood flow abnormalities in Alzheimer's disease using a single-detector SPECT system

PURPOSE: To evaluate the feasibility of using the Statistical Parametric Mapping (SPM) program for an automated, voxel-by-voxel assessment of regional cerebral blood flow (rCBF) deficits in Alzheimer's disease (AD) subjects relative to age-matched controls studied with a conventional, single-detector SPECT system. METHODS: We used a databank of 99mTc-HMPAO images of 19 patients with a diagnosis of probable AD and 15 elderly healthy volunteers; data were acquired using an Orbiter-Siemens single-detector SPECT system. Using SPM, images were transformed spatially, smoothed (12mm), and the data were compared on a voxel-by-voxel basis with t-tests. RESULTS: There were significant rCBF reductions in AD patients relative to controls involving regions predicted a priori to be affected in AD, namely the left temporal and parietal neocortices, and the right posterior cingulate gyrus (pOBJETIVO: Avaliar a viabilidade de emprego do programa Statistical Parametric Mapping (SPM) para investigar de forma automatizada, voxel-a-voxel, a presença de déficits de fluxo sanguíneo cerebral regional (FSCr) em pacientes com doença de Alzheimer (DA) comparados a sujeitos-controle pareados para idade, usando imagens de SPECT adquiridas com um equipamento convencional de detector único. MÉTODOS: Foi utilizado um banco de imagens adquiridas após injeção de 99mTc-HMPAO em 19 pacientes com diagnóstico provável de DA e 15 voluntários idosos saudáveis, usando um equipamento de SPECT Orbiter-Siemens de detector único. Empregando o programa SPM, as imagens foram transformadas espacialmente, suavizadas (12mm FWHM), e comparadas estatisticamente voxel-a-voxel entre os dois grupos, usando o teste de T. RESULTADOS: Foram identificadas reduções significativas de FSCr nos pacientes com DA comparados aos controles em regiões previstas a priori como afetadas por esta forma de demência, quais sejam os neocórtices temporal e parietal em hemisfério esquerdo e o cíngulo posterior direito (

Resource-Bound Quantification for Graph Transformation

Graph transformation has been used to model concurrent systems in software engineering, as well as in biochemistry and life sciences. The application of a transformation rule can be characterised algebraically as construction of a double-pushout (DPO) diagram in the category of graphs. We show how intuitionistic linear logic can be extended with resource-bound quantification, allowing for an implicit handling of the DPO conditions, and how resource logic can be used to reason about graph transformation systems

Neuroimaging in cannabis use: a systematic review of the literature

Background We conducted a systematic review to assess the evidence for specific effects of cannabis on brain structure and function. The review focuses on the cognitive changes associated with acute and chronic use of the drug. Method We reviewed literature reporting neuroimaging studies of chronic or acute cannabis use published up until January 2009. The search was conducted using Medline, EMBASE, LILACS and PsycLIT indexing services using the following key words: cannabis, marijuana, delta-9-tetrahydrocannabinol, THC, cannabidiol, CBD, neuroimaging, brain imaging, computerized tomography, CT, magnetic resonance, MRI, single photon emission tomography, SPECT, functional magnetic resonance, fMRI, positron emission tomography, PET, diffusion tensor MRI, DTI-MRI, MRS and spectroscopy. Results Sixty-six studies were identified, of which 41 met the inclusion criteria. Thirty-three were functional (SPECT/PET/fMRI) and eight structural (volumetric/DTI) imaging studies. The high degree of heterogeneity across studies precluded a meta-analysis. The functional studies suggest that resting global and prefrontal blood flow are lower in cannabis users than in controls. The results from the activation studies using a cognitive task are inconsistent because of the heterogeneity of the methods used. Studies of acute administration of THC or marijuana report increased resting activity and activation of the frontal and anterior cingulate cortex during cognitive tasks. Only three of the structural imaging studies found differences between users and controls. Conclusions Functional neuroimaging studies suggest a modulation of global and prefrontal metabolism both during the resting state and after the administration of THC/marijuana cigarettes. Minimal evidence of major effects of cannabis on brain structure has been reporte

Nanoanalytical analysis of bisphosphonate-driven alterations of microcalcifications using a 3D hydrogel system and in vivo mouse model

Vascular calcification predicts atherosclerotic plaque rupture and cardiovascular events. Retrospective studies of women taking bisphosphonates (BiPs), a proposed therapy for vascular calcification, showed that BiPs paradoxically increased morbidity in patients with prior acute cardiovascular events but decreased mortality in event-free patients. Calcifying extracellular vesicles (EVs), released by cells within atherosclerotic plaques, aggregate and nucleate calcification. We hypothesized that BiPs block EV aggregation and modify existing mineral growth, potentially altering microcalcification morphology and the risk of plaque rupture. Three-dimensional (3D) collagen hydrogels incubated with calcifying EVs were used to mimic fibrous cap calcification in vitro, while an ApoE-/- mouse was used as a model of atherosclerosis in vivo. EV aggregation and formation of stress-inducing microcalcifications was imaged via scanning electron microscopy (SEM) and atomic force microscopy (AFM). In both models, BiP (ibandronate) treatment resulted in time-dependent changes in microcalcification size and mineral morphology, dependent on whether BiP treatment was initiated before or after the expected onset of microcalcification formation. Following BiP treatment at any time, microcalcifications formed in vitro were predicted to have an associated threefold decrease in fibrous cap tensile stress compared to untreated controls, estimated using finite element analysis (FEA). These findings support our hypothesis that BiPs alter EV-driven calcification. The study also confirmed that our 3D hydrogel is a viable platform to study EV-mediated mineral nucleation and evaluate potential therapies for cardiovascular calcification