167 research outputs found

    1-3 Piezocomposite design optimised for high frequency kerfless transducer arrays

    Get PDF
    Piezocomposites that can operate at frequencies above 30 MHz without spurious modes are required in order to develop sufficiently sensitive high frequency arrays for high resolution imaging. However, scaling down of conventional piezocomposite fabrication techniques becomes increasingly difficult as dimensions decrease with increasing frequency. The approach presented here is to use micro-moulded 1-3 piezocomposites and a distribution of piezoelectric segment size and separation. Innovative approaches to composite pattern design, based on a randomized spatial distribution, are presented. Micro-moulding techniques are shown to be suitable for fabricating composites with dimensions required for high frequency composites. Randomized piezocomposite patterns are modeled and are shown to suppress spurious modes

    Testing data types implementations from algebraic specifications

    Full text link
    Algebraic specifications of data types provide a natural basis for testing data types implementations. In this framework, the conformance relation is based on the satisfaction of axioms. This makes it possible to formally state the fundamental concepts of testing: exhaustive test set, testability hypotheses, oracle. Various criteria for selecting finite test sets have been proposed. They depend on the form of the axioms, and on the possibilities of observation of the implementation under test. This last point is related to the well-known oracle problem. As the main interest of algebraic specifications is data type abstraction, testing a concrete implementation raises the issue of the gap between the abstract description and the concrete representation. The observational semantics of algebraic specifications bring solutions on the basis of the so-called observable contexts. After a description of testing methods based on algebraic specifications, the chapter gives a brief presentation of some tools and case studies, and presents some applications to other formal methods involving datatypes

    Advancing brain barriers RNA sequencing: guidelines from experimental design to publication

    Get PDF
    Background: RNA sequencing (RNA-Seq) in its varied forms has become an indispensable tool for analyzing differential gene expression and thus characterization of specific tissues. Aiming to understand the brain barriers genetic signature, RNA seq has also been introduced in brain barriers research. This has led to availability of both, bulk and single-cell RNA-Seq datasets over the last few years. If appropriately performed, the RNA-Seq studies provide powerful datasets that allow for significant deepening of knowledge on the molecular mechanisms that establish the brain barriers. However, RNA-Seq studies comprise complex workflows that require to consider many options and variables before, during and after the proper sequencing process.Main body: In the current manuscript, we build on the interdisciplinary experience of the European PhD Training Network BtRAIN (https://www.btrain-2020.eu/) where bioinformaticians and brain barriers researchers collaborated to analyze and establish RNA-Seq datasets on vertebrate brain barriers. The obstacles BtRAIN has identified in this process have been integrated into the present manuscript. It provides guidelines along the entire workflow of brain barriers RNA-Seq studies starting from the overall experimental design to interpretation of results. Focusing on the vertebrate endothelial blood–brain barrier (BBB) and epithelial blood-cerebrospinal-fluid barrier (BCSFB) of the choroid plexus, we provide a step-by-step description of the workflow, highlighting the decisions to be made at each step of the workflow and explaining the strengths and weaknesses of individual choices made. Finally, we propose recommendations for accurate data interpretation and on the information to be included into a publication to ensure appropriate accessibility of the data and reproducibility of the observations by the scientific community.Conclusion: Next generation transcriptomic profiling of the brain barriers provides a novel resource for understanding the development, function and pathology of these barrier cells, which is essential for understanding CNS homeostasis and disease. Continuous advancement and sophistication of RNA-Seq will require interdisciplinary approaches between brain barrier researchers and bioinformaticians as successfully performed in BtRAIN. The present guidelines are built on the BtRAIN interdisciplinary experience and aim to facilitate collaboration of brain barriers researchers with bioinformaticians to advance RNA-Seq study design in the brain barriers community

    Gender differences in the use of cardiovascular interventions in HIV-positive persons; the D:A:D Study

    Get PDF
    Peer reviewe

    Molecular biology of the blood-brain and the blood-cerebrospinal fluid barriers: similarities and differences

    Get PDF
    Efficient processing of information by the central nervous system (CNS) represents an important evolutionary advantage. Thus, homeostatic mechanisms have developed that provide appropriate circumstances for neuronal signaling, including a highly controlled and stable microenvironment. To provide such a milieu for neurons, extracellular fluids of the CNS are separated from the changeable environment of blood at three major interfaces: at the brain capillaries by the blood-brain barrier (BBB), which is localized at the level of the endothelial cells and separates brain interstitial fluid (ISF) from blood; at the epithelial layer of four choroid plexuses, the blood-cerebrospinal fluid (CSF) barrier (BCSFB), which separates CSF from the CP ISF, and at the arachnoid barrier. The two barriers that represent the largest interface between blood and brain extracellular fluids, the BBB and the BCSFB, prevent the free paracellular diffusion of polar molecules by complex morphological features, including tight junctions (TJs) that interconnect the endothelial and epithelial cells, respectively. The first part of this review focuses on the molecular biology of TJs and adherens junctions in the brain capillary endothelial cells and in the CP epithelial cells. However, normal function of the CNS depends on a constant supply of essential molecules, like glucose and amino acids from the blood, exchange of electrolytes between brain extracellular fluids and blood, as well as on efficient removal of metabolic waste products and excess neurotransmitters from the brain ISF. Therefore, a number of specific transport proteins are expressed in brain capillary endothelial cells and CP epithelial cells that provide transport of nutrients and ions into the CNS and removal of waste products and ions from the CSF. The second part of this review concentrates on the molecular biology of various solute carrier (SLC) transport proteins at those two barriers and underlines differences in their expression between the two barriers. Also, many blood-borne molecules and xenobiotics can diffuse into brain ISF and then into neuronal membranes due to their physicochemical properties. Entry of these compounds could be detrimental for neural transmission and signalling. Thus, BBB and BCSFB express transport proteins that actively restrict entry of lipophilic and amphipathic substances from blood and/or remove those molecules from the brain extracellular fluids. The third part of this review concentrates on the molecular biology of ATP-binding cassette (ABC)-transporters and those SLC transporters that are involved in efflux transport of xenobiotics, their expression at the BBB and BCSFB and differences in expression in the two major blood-brain interfaces. In addition, transport and diffusion of ions by the BBB and CP epithelium are involved in the formation of fluid, the ISF and CSF, respectively, so the last part of this review discusses molecular biology of ion transporters/exchangers and ion channels in the brain endothelial and CP epithelial cells

    Non-AIDS defining cancers in the D:A:D Study-time trends and predictors of survival : a cohort study

    Get PDF
    BACKGROUND:Non-AIDS defining cancers (NADC) are an important cause of morbidity and mortality in HIV-positive individuals. Using data from a large international cohort of HIV-positive individuals, we described the incidence of NADC from 2004-2010, and described subsequent mortality and predictors of these.METHODS:Individuals were followed from 1st January 2004/enrolment in study, until the earliest of a new NADC, 1st February 2010, death or six months after the patient's last visit. Incidence rates were estimated for each year of follow-up, overall and stratified by gender, age and mode of HIV acquisition. Cumulative risk of mortality following NADC diagnosis was summarised using Kaplan-Meier methods, with follow-up for these analyses from the date of NADC diagnosis until the patient's death, 1st February 2010 or 6 months after the patient's last visit. Factors associated with mortality following NADC diagnosis were identified using multivariable Cox proportional hazards regression.RESULTS:Over 176,775 person-years (PY), 880 (2.1%) patients developed a new NADC (incidence: 4.98/1000PY [95% confidence interval 4.65, 5.31]). Over a third of these patients (327, 37.2%) had died by 1st February 2010. Time trends for lung cancer, anal cancer and Hodgkin's lymphoma were broadly consistent. Kaplan-Meier cumulative mortality estimates at 1, 3 and 5 years after NADC diagnosis were 28.2% [95% CI 25.1-31.2], 42.0% [38.2-45.8] and 47.3% [42.4-52.2], respectively. Significant predictors of poorer survival after diagnosis of NADC were lung cancer (compared to other cancer types), male gender, non-white ethnicity, and smoking status. Later year of diagnosis and higher CD4 count at NADC diagnosis were associated with improved survival. The incidence of NADC remained stable over the period 2004-2010 in this large observational cohort.CONCLUSIONS:The prognosis after diagnosis of NADC, in particular lung cancer and disseminated cancer, is poor but has improved somewhat over time. Modifiable risk factors, such as smoking and low CD4 counts, were associated with mortality following a diagnosis of NADC
    corecore