A structural analysis of the A5/1 state transition graph

We describe efficient algorithms to analyze the cycle structure of the graph induced by the state transition function of the A5/1 stream cipher used in GSM mobile phones and report on the results of the implementation. The analysis is performed in five steps utilizing HPC clusters, GPGPU and external memory computation. A great reduction of this huge state transition graph of 2^64 nodes is achieved by focusing on special nodes in the first step and removing leaf nodes that can be detected with limited effort in the second step. This step does not break the overall structure of the graph and keeps at least one node on every cycle. In the third step the nodes of the reduced graph are connected by weighted edges. Since the number of nodes is still huge an efficient bitslice approach is presented that is implemented with NVIDIA's CUDA framework and executed on several GPUs concurrently. An external memory algorithm based on the STXXL library and its parallel pipelining feature further reduces the graph in the fourth step. The result is a graph containing only cycles that can be further analyzed in internal memory to count the number and size of the cycles. This full analysis which previously would take months can now be completed within a few days and allows to present structural results for the full graph for the first time. The structure of the A5/1 graph deviates notably from the theoretical results for random mappings.Comment: In Proceedings GRAPHITE 2012, arXiv:1210.611

Childhood intelligence predicts premature mortality : Results from a 40-year population-based longitudinal study

Acknowledgements This study was supported by a grant from the Luxembourg Fonds National de la Recherche (VIVRE FNR/06/09/18) and a PhD scholarship awarded to the first author by the Fonds National de la Recherche.Peer reviewedPostprin

Sensitive superoxide detection in vascular cells by the new chemiluminescence dye L-012

The detection superoxide production in vascular cells is usually limited by a low sensitivity of available assays, We tested the applicability of the luminol derivate L-012 {[}8-amino-5-chloro-7-phenylpyridol{[}3,4-d]pyridazine-l,4(2H,3H)dione] to measure superoxide production in cultured endothelial cells (human umbilical vein endothelial cells) and rat aortic segments. Following stimulation with the protein kinase stimulator phorbol 12-myristate 13-acetate (PMA, 1 mu M) there was an 2,8-fold increase of L-012 chemiluminescence, whereas incubation with angiotensin II (100 nM) did not result in a measurable increase. Addition of vanadate (100 mu M) considerably increased the chemiluminescence (up to 17-fold) after PMA and made possible the detection of an enhanced superoxide production after stimulation with angiotensin II (by 1.7-fold). This was due to a similar to 9-fold increase in signal intensity of L-012 in the presence of vanadate, Prolonged incubation with vanadate also led to a tyrosine phosphorylation-dependent increase in superoxide formation which was predominantly produced by an NAD(P)H oxidase. Short-Term vanadate-enhanced L-012 chemiluminescence represents a highly sensitive assay making it possible to detect small changes of superoxide formation in intact vascular cells. Copyright(C) 1999 S. Karger AG. Basel

Interfacial exchange interactions and magnetism of Ni2MnAl/Fe bilayers

Based on a multi-scale calculations, combining ab-initio methods with spin dynamics simulations, we perform a detailed study of the magnetic behavior of Ni2MnAl/Fe bilayers. Our simulations show that such a bilayer exhibits a small exchange bias effect when the Ni2MnAl Heusler alloy is in a disordered B2 phase. Additionally, we present an effective way to control the magnetic structure of the Ni2MnAl antiferromagnet, in the pseudo-ordered B2-I as well as the disordered B2 phases, via a spin-flop coupling to the Fe layer.Comment: 7 pages, 6 figure

Flow Equations and BRS Invariance for Yang-Mills Theories

Flow equations describe the evolution of the effective action $\Gamma_k$ in the process of varying an infrared cutoff $k$. The presence of the infrared cutoff explicitly breaks gauge and hence BRS invariance. We derive modified Slavnov-Taylor identities, which are valid for nonvanishing $k$. They guarantee the BRS invariance of $\Gamma_k$ for $k\to0$, and hence allow the study of non-abelian gauge theories by integrating the flow equations. Within a perturbative expansion of $\Gamma_k$, we derive an equation for a $k$ dependent mass term for the gauge fields implied by the modified Slavnov-Taylor identities.Comment: 10 pages, HD-THEP-94-02 (References and example added; version to appear in Phys. Lett. B

CLIPPER: an add-on to the Trans-Proteomic Pipeline for the automated analysis of TAILS N-terminomics data

Data analysis in proteomics is complex and with the extra challenges involved in the interpretation of data from N-terminomics experiments, this can be daunting. Therefore, we have devised a rational pipeline of steps to approach N-terminomics data analysis in a statistically-based and valid manner. We have automated these steps in CLIPPER, an add-on to the Trans-Proteomic Pipeline (TPP). Applying CLIPPER to the analysis of N-terminomics data generated by terminal amine isotopic labeling of substrates (TAILS) enables high confidence peptide to protein assignment, protein N-terminal characterization and annotation, and for protease analysis readily allows protease substrate discovery with high confidenc

Wound degradomics - current status and future perspectives

Proteases are pivotal modulators of extracellular matrix components and bioactive proteins at all phases of cutaneous wound healing and thereby essentially contribute to the successful reestablishment of skin integrity upon injury. As a consequence, disturbance of proteolytic activity at the wound site is a major factor in the pathology of chronic wounds. A large body of data acquired in many years of research provide a good understanding of how individual proteases may influence the repair process. The next challenge will be to integrate these findings and to elucidate the complex interactions of proteolytic enzymes, their inhibitors and substrates on a system-wide level. Here, we present novel approaches that might help to achieve this ambitious goal in cutaneous wound healing researc