7,117 research outputs found

    Uncovering Bugs in Distributed Storage Systems during Testing (not in Production!)

    Get PDF
    Testing distributed systems is challenging due to multiple sources of nondeterminism. Conventional testing techniques, such as unit, integration and stress testing, are ineffective in preventing serious but subtle bugs from reaching production. Formal techniques, such as TLA+, can only verify high-level specifications of systems at the level of logic-based models, and fall short of checking the actual executable code. In this paper, we present a new methodology for testing distributed systems. Our approach applies advanced systematic testing techniques to thoroughly check that the executable code adheres to its high-level specifications, which significantly improves coverage of important system behaviors. Our methodology has been applied to three distributed storage systems in the Microsoft Azure cloud computing platform. In the process, numerous bugs were identified, reproduced, confirmed and fixed. These bugs required a subtle combination of concurrency and failures, making them extremely difficult to find with conventional testing techniques. An important advantage of our approach is that a bug is uncovered in a small setting and witnessed by a full system trace, which dramatically increases the productivity of debugging

    Mathematical Modelling of Optical Coherence Tomography

    Full text link
    In this chapter a general mathematical model of Optical Coherence Tomography (OCT) is presented on the basis of the electromagnetic theory. OCT produces high resolution images of the inner structure of biological tissues. Images are obtained by measuring the time delay and the intensity of the backscattered light from the sample considering also the coherence properties of light. The scattering problem is considered for a weakly scattering medium located far enough from the detector. The inverse problem is to reconstruct the susceptibility of the medium given the measurements for different positions of the mirror. Different approaches are addressed depending on the different assumptions made about the optical properties of the sample. This procedure is applied to a full field OCT system and an extension to standard (time and frequency domain) OCT is briefly presented.Comment: 28 pages, 5 figures, book chapte

    Dose-response model of murine typhus (Rickettsia typhi): time post inoculation and host age dependency analysis

    Get PDF
    <p>Abstract</p> <p>Background</p> <p><it>Rickettsia typhi (R. mooseri) </it>is the causative agent of murine typhus. It is one of the most widely distributed flea-borne diseases with a relatively mild febrile initial illness with six to 14 days of incubation period. The bacterium is gram negative and an obligate intracellular pathogen. The disease is transmitted to humans and vertebrate host through fleabites or via contact with infected feces. This paper develops dose-response models of different routes of exposure for typhus in rodents.</p> <p>Methods</p> <p>Data from published articles were analyzed using parametric dose-response relationship models. Dose-response relationships were fit to data using the method of maximum likelihood estimation (MLE).</p> <p>Results</p> <p>Dose-response models quantifying the effects of different ages of rats and time post inoculation in BALB/c mice were analyzed in the study. Both the adult rats (inoculated intradermally) and newborn rats (inoculated subcutaneously) were best fit by exponential models and both distributions could be described by a single dose-response relationship. The BALB/C mice inoculated subcutaneously were best fit by Beta-Poisson models. The time post inoculation analysis showed that there was a definite time and response relationship existed in this case.</p> <p>Conclusions</p> <p>Intradermally or subcutaneously inoculated rats (adult and newborn) models suggest that less than 1 plaque-forming unit (PFU) (1.33 to 0.38 in 95% confidence limits) of the pathogen is enough to seroconvert 50% of the exposed population on average. For the BALB/c mouse time post inoculation model, an average dose of 0.28 plaque-forming units (PFU) (0.75 to 0.11 in 95% confidence limits) will seroconvert 50% of the exposed mice.</p

    Uptake and transport of novel amphiphilic polyelectrolyte-insulin nanocomplexes by caco-2 cells - towards oral insulin

    Get PDF
    “The original publication is available at www.springerlink.com”. Copyright SpringerPurpose: The influence of polymer architecture on cellular uptake and transport across Caco-2 cells of novel amphiphilic polyelectrolyte-insulin nanocomplexes was investigated. Method: Polyallylamine (PAA) (15 kDa) was grafted with palmitoyl chains (Pa) and subsequently modified with quaternary ammonium moieties (QPa). These two amphiphilic polyelectrolytes (APs) were tagged with rhodamine and their uptake by Caco-2 cells or their polyelectrolyte complexes (PECs) with fluorescein isothiocyanate-insulin (FITC-insulin) uptake were investigated using fluorescence microscopy. The integrity of the monolayer was determined by measurement of transepithelial electrical resistance (TEER). Insulin transport through Caco-2 monolayers was determined during TEER experiments. Result: Pa and insulin were co-localised in the cell membranes while QPa complexes were found within the cytoplasm. QPa complex uptake was not affected by calcium, cytochalasin D or nocodazole. Uptake was reduced by co-incubation with sodium azide, an active transport inhibitor. Both polymers opened tight junctions reversibly where the TEER values fell by up to 35 % within 30 minutes incubation with Caco-2 cells. Insulin transport through monolayers increased when QPa was used (0.27 ngmL-1 of insulin in basal compartment) compared to Pa (0.14 ngmL-1 of insulin in basal compartment) after 2 hours. Conclusion: These APs have been shown to be taken up by Caco-2 cells and reversibly open tight cell junctions. Further work is required to optimise these formulations with a view to maximising their potential to facilitate oral delivery of insulin.Peer reviewe

    Simultaneous super-resolution and cross-modality synthesis of 3D medical images using weakly-supervised joint convolutional sparse coding

    Get PDF
    Magnetic Resonance Imaging (MRI) offers high-resolution in vivo imaging and rich functional and anatomical multimodality tissue contrast. In practice, however, there are challenges associated with considerations of scanning costs, patient comfort, and scanning time that constrain how much data can be acquired in clinical or research studies. In this paper, we explore the possibility of generating high-resolution and multimodal images from low-resolution single-modality imagery. We propose the weakly-supervised joint convolutional sparse coding to simultaneously solve the problems of super-resolution (SR) and cross-modality image synthesis. The learning process requires only a few registered multimodal image pairs as the training set. Additionally, the quality of the joint dictionary learning can be improved using a larger set of unpaired images1. To combine unpaired data from different image resolutions/modalities, a hetero-domain image alignment term is proposed. Local image neighborhoods are naturally preserved by operating on the whole image domain (as opposed to image patches) and using joint convolutional sparse coding. The paired images are enhanced in the joint learning process with unpaired data and an additional maximum mean discrepancy term, which minimizes the dissimilarity between their feature distributions. Experiments show that the proposed method outperforms state-of-the-art techniques on both SR reconstruction and simultaneous SR and cross-modality synthesis

    Cross-Modality Image Synthesis via Weakly Coupled and Geometry Co-Regularized Joint Dictionary Learning

    Get PDF
    Multi-modality medical imaging is increasingly used for comprehensive assessment of complex diseases in either diagnostic examinations or as part of medical research trials. Different imaging modalities provide complementary information about living tissues. However, multi-modal examinations are not always possible due to adversary factors, such as patient discomfort, increased cost, prolonged scanning time, and scanner unavailability. In additionally, in large imaging studies, incomplete records are not uncommon owing to image artifacts, data corruption or data loss, which compromise the potential of multi-modal acquisitions. In this paper, we propose a weakly coupled and geometry co-regularized joint dictionary learning method to address the problem of cross-modality synthesis while considering the fact that collecting the large amounts of training data is often impractical. Our learning stage requires only a few registered multi-modality image pairs as training data. To employ both paired images and a large set of unpaired data, a cross-modality image matching criterion is proposed. Then, we propose a unified model by integrating such a criterion into the joint dictionary learning and the observed common feature space for associating cross-modality data for the purpose of synthesis. Furthermore, two regularization terms are added to construct robust sparse representations. Our experimental results demonstrate superior performance of the proposed model over state-of-the-art methods

    Heavy-to-light baryonic form factors at large recoil

    Full text link
    We analyze heavy-to-light baryonic form factors at large recoil and derive the scaling behavior of these form factors in the heavy quark limit. It is shown that only one universal form factor is needed to parameterize Lambda_b to p and Lambda_b to Lambda matrix elements in the large recoil limit of light baryons, while hadronic matrix elements of Lambda_b to Sigma transition vanish in the large energy limit of Sigma baryon due to the space-time parity symmetry. The scaling law of the soft form factor eta(P^{\prime} \cdot v), P^{\prime} and v being the momentum of nucleon and the velocity of Lambda_b baryon, responsible for Lambda_b to p transitions is also derived using the nucleon distribution amplitudes in leading conformal spin. In particular, we verify that this scaling behavior is in full agreement with that from light-cone sum rule approach in the heavy-quark limit. With these form factors, we further investigate the Lambda baryon polarization asymmetry alpha in Lambda_b to Lambda gamma and the forward-backward asymmetry A_{FB} in Lambda_b to Lambda l^{+} l^{-}. Both two observables (alpha and A_{FB}) are independent of hadronic form factors in leading power of 1/m_b and in leading order of alpha_s. We also extend the analysis of hadronic matrix elements for Omega_b to Omega transitions to rare Omega_b to Omega gamma and Omega_b to Omega l^{+} l^{-} decays and find that radiative Omega_b to Omega gamma decay is probably the most promising FCNC b to s radiative baryonic decay channel. In addition, it is interesting to notice that the zero-point of forward-backward asymmetry of Omega_b to Omega l^{+} l^{-} is the same as the one for Lambda_b to Lambda l^{+} l^{-} to leading order accuracy provided that the form factors \bar{\zeta}_i (i=3, 4, 5) are numerically as small as indicated from the quark model.Comment: 19 page

    Record linkage research and informed consent: who consents?

    Get PDF
    BACKGROUND: Linking computerized health insurance records with routinely collected survey data is becoming increasingly popular in health services research. However, if consent is not universal, the requirement of written informed consent may introduce a number of research biases. The participants of a national health survey in Taiwan were asked to have their questionnaire results linked to their national health insurance records. This study compares those who consented with those who refused. METHODS: A national representative sample (n = 14,611 adults) of the general adult population aged 20 years or older who participated in the Taiwan National Health Interview Survey (NHIS) and who provided complete survey information were used in this study. At the end of the survey, the respondents were asked if they would give permission to access their National Health Insurance records. Information given by the interviewees in the survey was used to analyze who was more likely to consent to linkage and who wasn't. RESULTS: Of the 14,611 NHIS participants, 12,911 (88%) gave consent, and 1,700 (12%) denied consent. The elderly, the illiterate, those with a lower income, and the suburban area residents were significantly more likely to deny consent. The aborigines were significantly less likely to refuse. No discrepancy in gender and self-reported health was found between individuals who consented and those who refused. CONCLUSION: This study is the first population-based study in assessing the consent pattern in a general Asian population. Consistent with people in Western societies, in Taiwan, a typical Asian society, a high percentage of adults gave consent for their health insurance records and questionnaire results to be linked. Consenters differed significantly from non-consenters in important aspects such as age, ethnicity, and educational background. Consequently, having a high consent rate (88%) may not fully eliminate the possibility of selection bias. Researchers should take this source of bias into consideration in their study design and investigate any potential impact of this source of bias on their results
    corecore