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

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

Multiple-node models of asynchronous wind turbines in wind farm for load flow analysis

Considering load flow analysis of power system integrated with multiple wind generators (WGs), the Multiple-Node Models of an asynchronous generator are proposed in this paper. It is more convenient to use the Multiple-Node Models for load flow problem, because the models can be directly applied to conventional load flow programs, and the iteration process of the rotor slip is no longer needed. In addition, a kind of aggregation methodology is presented to aggregate a wind farm into multiple WGs in this paper. The case study is carried out on the basis of the modified IEEE-30 test system, and the detailed comparisons are given. The results show the effective performance of the proposed methods.National Natural Science Foundation of China (51277141) and National High Technology Research and Development Program of China (863 Program, No. 2011AA05A103

Mathematical Modelling of Optical Coherence Tomography

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

Heavy-to-light baryonic form factors at large recoil

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

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

“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

Structure of the TPR Domain of AIP: Lack of Client Protein Interaction with the C-Terminal alpha-7 Helix of the TPR Domain of AIP Is Sufficient for Pituitary Adenoma Predisposition

PMCID: PMC3534021This is an open-access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited

Gain control network conditions in early sensory coding

Gain control is essential for the proper function of any sensory system. However, the precise mechanisms for achieving effective gain control in the brain are unknown. Based on our understanding of the existence and strength of connections in the insect olfactory system, we analyze the conditions that lead to controlled gain in a randomly connected network of excitatory and inhibitory neurons. We consider two scenarios for the variation of input into the system. In the first case, the intensity of the sensory input controls the input currents to a fixed proportion of neurons of the excitatory and inhibitory populations. In the second case, increasing intensity of the sensory stimulus will both, recruit an increasing number of neurons that receive input and change the input current that they receive. Using a mean field approximation for the network activity we derive relationships between the parameters of the network that ensure that the overall level of activity of the excitatory population remains unchanged for increasing intensity of the external stimulation. We find that, first, the main parameters that regulate network gain are the probabilities of connections from the inhibitory population to the excitatory population and of the connections within the inhibitory population. Second, we show that strict gain control is not achievable in a random network in the second case, when the input recruits an increasing number of neurons. Finally, we confirm that the gain control conditions derived from the mean field approximation are valid in simulations of firing rate models and Hodgkin-Huxley conductance based models

Spectral compression of single photons

Photons are critical to quantum technologies since they can be used for virtually all quantum information tasks: in quantum metrology, as the information carrier in photonic quantum computation, as a mediator in hybrid systems, and to establish long distance networks. The physical characteristics of photons in these applications differ drastically; spectral bandwidths span 12 orders of magnitude from 50 THz for quantum-optical coherence tomography to 50 Hz for certain quantum memories. Combining these technologies requires coherent interfaces that reversibly map centre frequencies and bandwidths of photons to avoid excessive loss. Here we demonstrate bandwidth compression of single photons by a factor 40 and tunability over a range 70 times that bandwidth via sum-frequency generation with chirped laser pulses. This constitutes a time-to-frequency interface for light capable of converting time-bin to colour entanglement and enables ultrafast timing measurements. It is a step toward arbitrary waveform generation for single and entangled photons.Comment: 6 pages (4 figures) + 6 pages (3 figures

Candida albicans repetitive elements display epigenetic diversity and plasticity

Transcriptionally silent heterochromatin is associated with repetitive DNA. It is poorly understood whether and how heterochromatin differs between different organisms and whether its structure can be remodelled in response to environmental signals. Here, we address this question by analysing the chromatin state associated with DNA repeats in the human fungal pathogen Candida albicans. Our analyses indicate that, contrary to model systems, each type of repetitive element is assembled into a distinct chromatin state. Classical Sir2-dependent hypoacetylated and hypomethylated chromatin is associated with the rDNA locus while telomeric regions are assembled into a weak heterochromatin that is only mildly hypoacetylated and hypomethylated. Major Repeat Sequences, a class of tandem repeats, are assembled into an intermediate chromatin state bearing features of both euchromatin and heterochromatin. Marker gene silencing assays and genome-wide RNA sequencing reveals that C. albicans heterochromatin represses expression of repeat-associated coding and non-coding RNAs. We find that telomeric heterochromatin is dynamic and remodelled upon an environmental change. Weak heterochromatin is associated with telomeres at 30?°C, while robust heterochromatin is assembled over these regions at 39?°C, a temperature mimicking moderate fever in the host. Thus in C. albicans, differential chromatin states controls gene expression and epigenetic plasticity is linked to adaptation

Mechanisms of Psychological Distress following War in the Former Yugoslavia: The Role of Interpersonal Sensitivity

This is an open-access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited.This study was funded by a grant from the European Commission, contract number INCO-CT-2004-509176. AN was supported by a Clinical Early Career Research Fellowship (113295) and a Project Grant (104288