QuickXsort: Efficient Sorting with n log n - 1.399n +o(n) Comparisons on Average

In this paper we generalize the idea of QuickHeapsort leading to the notion of QuickXsort. Given some external sorting algorithm X, QuickXsort yields an internal sorting algorithm if X satisfies certain natural conditions. With QuickWeakHeapsort and QuickMergesort we present two examples for the QuickXsort-construction. Both are efficient algorithms that incur approximately n log n - 1.26n +o(n) comparisons on the average. A worst case of n log n + O(n) comparisons can be achieved without significantly affecting the average case. Furthermore, we describe an implementation of MergeInsertion for small n. Taking MergeInsertion as a base case for QuickMergesort, we establish a worst-case efficient sorting algorithm calling for n log n - 1.3999n + o(n) comparisons on average. QuickMergesort with constant size base cases shows the best performance on practical inputs: when sorting integers it is slower by only 15% to STL-Introsort

Nanoelectromechanical coupling in fullerene peapods probed via resonant electrical transport experiments

Fullerene peapods, that is carbon nanotubes encapsulating fullerene molecules, can offer enhanced functionality with respect to empty nanotubes. However, the present incomplete understanding of how a nanotube is affected by entrapped fullerenes is an obstacle for peapods to reach their full potential in nanoscale electronic applications. Here, we investigate the effect of C60 fullerenes on electron transport via peapod quantum dots. Compared to empty nanotubes, we find an abnormal temperature dependence of Coulomb blockade oscillations, indicating the presence of a nanoelectromechanical coupling between electronic states of the nanotube and mechanical vibrations of the fullerenes. This provides a method to detect the C60 presence and to probe the interplay between electrical and mechanical excitations in peapods, which thus emerge as a new class of nanoelectromechanical systems.Comment: 7 pages, 3 figures. Published in Nature Communications. Free online access to the published version until Sept 30th, 2010, see http://www.nature.com/ncomms/journal/v1/n4/abs/ncomms1034.htm

Pauli spin blockade in carbon nanotube double quantum dots

We report Pauli spin blockade in an impurity defined carbon nanotube double quantum dot. We observe a pronounced current suppression for negative source-drain bias voltages which is investigated for both symmetric and asymmetric coupling of the quantum dots to the leads. The measured differential conductance agrees well with a theoretical model of a double quantum dot system in the spin-blockade regime which allows us to estimate the occupation probabilities of the relevant singlet and triplet states. This work shows that effective spin-to-charge conversion in nanotube quantum dots is feasible and opens the possibility of single-spin readout in a material that is not limited by hyperfine interaction with nuclear spins.Comment: 7 pages, 5 figure

Report of IRPA task group on the impact of the eye lens dose limits

In 2012 IRPA established a task group (TG) to identify key issues in the implementation of the revised eye lens dose limit. The TG reported its conclusions in 2013. In January 2015, IRPA asked the TG to review progress with the implementation of the recommendations from the early report and to collate current practitioner experience. This report presents the results of a survey on the view of the IRPA professionals on the new limit to the lens of the eye and on the wider issue of tissue reactions. Recommendations derived from the survey are presented. This report was approved by IRPA Executive Council on 31 January 2017

Changing a semantics: opportunism or courage?

The generalized models for higher-order logics introduced by Leon Henkin, and their multiple offspring over the years, have become a standard tool in many areas of logic. Even so, discussion has persisted about their technical status, and perhaps even their conceptual legitimacy. This paper gives a systematic view of generalized model techniques, discusses what they mean in mathematical and philosophical terms, and presents a few technical themes and results about their role in algebraic representation, calibrating provability, lowering complexity, understanding fixed-point logics, and achieving set-theoretic absoluteness. We also show how thinking about Henkin's approach to semantics of logical systems in this generality can yield new results, dispelling the impression of adhocness. This paper is dedicated to Leon Henkin, a deep logician who has changed the way we all work, while also being an always open, modest, and encouraging colleague and friend.Comment: 27 pages. To appear in: The life and work of Leon Henkin: Essays on his contributions (Studies in Universal Logic) eds: Manzano, M., Sain, I. and Alonso, E., 201

Insights gained from the reverse engineering of gene networks in keloid fibroblasts

<p>Abstract</p> <p>Background</p> <p>Keloids are protrusive claw-like scars that have a propensity to recur even after surgery, and its molecular etiology remains elusive. The goal of reverse engineering is to infer gene networks from observational data, thus providing insight into the inner workings of a cell. However, most attempts at modeling biological networks have been done using simulated data. This study aims to highlight some of the issues involved in working with experimental data, and at the same time gain some insights into the transcriptional regulatory mechanism present in keloid fibroblasts.</p> <p>Methods</p> <p>Microarray data from our previous study was combined with microarray data obtained from the literature as well as new microarray data generated by our group. For the physical approach, we used the fREDUCE algorithm for correlating expression values to binding motifs. For the influence approach, we compared the Bayesian algorithm BANJO with the information theoretic method ARACNE in terms of performance in recovering known influence networks obtained from the KEGG database. In addition, we also compared the performance of different normalization methods as well as different types of gene networks.</p> <p>Results</p> <p>Using the physical approach, we found consensus sequences that were active in the keloid condition, as well as some sequences that were responsive to steroids, a commonly used treatment for keloids. From the influence approach, we found that BANJO was better at recovering the gene networks compared to ARACNE and that transcriptional networks were better suited for network recovery compared to cytokine-receptor interaction networks and intracellular signaling networks. We also found that the NFKB transcriptional network that was inferred from normal fibroblast data was more accurate compared to that inferred from keloid data, suggesting a more robust network in the keloid condition.</p> <p>Conclusions</p> <p>Consensus sequences that were found from this study are possible transcription factor binding sites and could be explored for developing future keloid treatments or for improving the efficacy of current steroid treatments. We also found that the combination of the Bayesian algorithm, RMA normalization and transcriptional networks gave the best reconstruction results and this could serve as a guide for future influence approaches dealing with experimental data.</p

Defending the genome from the enemy within:mechanisms of retrotransposon suppression in the mouse germline

The viability of any species requires that the genome is kept stable as it is transmitted from generation to generation by the germ cells. One of the challenges to transgenerational genome stability is the potential mutagenic activity of transposable genetic elements, particularly retrotransposons. There are many different types of retrotransposon in mammalian genomes, and these target different points in germline development to amplify and integrate into new genomic locations. Germ cells, and their pluripotent developmental precursors, have evolved a variety of genome defence mechanisms that suppress retrotransposon activity and maintain genome stability across the generations. Here, we review recent advances in understanding how retrotransposon activity is suppressed in the mammalian germline, how genes involved in germline genome defence mechanisms are regulated, and the consequences of mutating these genome defence genes for the developing germline

External Control of the GAL Network in S. cerevisiae: A View from Control Theory

While there is a vast literature on the control systems that cells utilize to regulate their own state, there is little published work on the formal application of control theory to the external regulation of cellular functions. This paper chooses the GAL network in S. cerevisiae as a well understood benchmark example to demonstrate how control theory can be employed to regulate intracellular mRNA levels via extracellular galactose. Based on a mathematical model reduced from the GAL network, we have demonstrated that a galactose dose necessary to drive and maintain the desired GAL genes' mRNA levels can be calculated in an analytic form. And thus, a proportional feedback control can be designed to precisely regulate the level of mRNA. The benefits of the proposed feedback control are extensively investigated in terms of stability and parameter sensitivity. This paper demonstrates that feedback control can both significantly accelerate the process to precisely regulate mRNA levels and enhance the robustness of the overall cellular control system

Performance of the Superconducting Corrector Magnet Circuits during the Commissioning of the LHC

The LHC is a complex machine requiring more than 7400 superconducting corrector magnets distributed along a circumference of 26.7 km. These magnets are powered in 1446 different electrical circuits at currents ranging from 60 A up to 600 A. Among the corrector circuits the 600 A corrector magnets form the most diverse and differentiated group. All together, about 60000 high current connections had to be made. A fault in a circuit or one of the superconducting connections would have severe consequences for the accelerator operation. All magnets are wound from various types of Nb-Ti superconducting strands, and many contain parallel protection resistors to by-pass the current still flowing in the other magnets of the same circuit when they quench. In this paper the performance of these magnet circuits is presented, focussing on the quench behaviour of the magnets. Quench detection and the performance of the electrical interconnects will be dealt with. The results as measured on the entire circuits are compared to the test results obtained at the reception of the individual magnets