—A critical step in creating accurate Internet topology maps from traceroute data is mapping IP addresses to routers, a process known as alias resolution. Recent work in alias resolution inferred aliases based on similarities in IP ID time series produced by different IP addresses. We design, implement, and experiment with a new tool that builds on these insights to scale to Internet-scale topo...

We investigate how belief change operations can be eeec-tively constructed. To that end we suppose given a set of laws (alias integrity constraints) together with a relation of dependence between formulas.

Dissertation der Fakultät für Informations-und Kognitionswissenschaften der Eberhard-Karls-Universität Tübingen zur Erlangung des Grades eines Doktors der Naturwissenschaften Modellierungssoftware Alias Maya weiter entwickelt, umüber eine effiziente und komfortable Test-und Visualisierungsumgebung zu verfügen.

ÐWe introduce a new concept for alias-free voxelization of geometric objects based on a Voxelization model (V-model). The V-model of an object is its representation in three-dimensional continuous space by a trivariate density function. This function is sampled during the voxelization and the resulting values are stored in a volume buffer. This concept enables us to study general issues of samp...

Interleukin-8 (IL-8) gene polymorphisms have been considered as susceptibility factors in periodontal disease. However, the functional roles of IL-8 gene haplotypes have not been investigated. Here, we demonstrate for the first time the use of the CRISPR/Cas9 system to engineer the IL-8 gene, and tested the functionality of different haplotypes. Two sgRNAs vectors targeting the IL-8 gene and th...

Introduction Parallel image reconstruction using local sensitivities (PILS)[1] accelerate MR scan time by using multiple receiver coil in parallel scan time. We propose a novel imaging technique which is based on the PILS, but uses only a single set of signals. The signal obtained in the phase-scrambling Fourier Transform imaging (PSFT)[2] can be transformed into the signal described by the Fre...

In this paper we focus on the development of a toolbox for the verification of programs in the context of SCOOP – an elegant concurrency model, recently formalized based on Rewriting Logic (RL) and Maude. SCOOP is implemented in Eiffel and its applicability is demonstrated also from a practical perspective, in the area of robotics programming. Our contribution consists in devising and integrati...

We have identified a novel subtype of estrogen receptor (ER)-positive breast cancers with improved outcome after tamoxifen treatment and characterized by overexpression of the gene BEX2. BEX2 and its homologue BEX1 have highly correlated expression and are part of a cluster enriched for ER response and apoptosis genes. BEX2 expression is induced after estradiol (E2) treatment with a peak at 3 h...

In this paper, an implementation of a demand-driven alias analysis [7] in Open64 is presented. In the algorithm, a program expression graph is constructed based on all the expressions and assignments in the program, and the memory alias problem is formulated as a CFL-reachability problem. To deal with field accesses of structs which are common in multi-media applications, a field-sensitive exte...

The mammalian RNA-specific adenosine deaminases DRADA/dsRAD (alias ADAR) and RED1 (alias ADARB1) have been implicated in the site-selective editing of brain-expressed pre-mRNAs for glutamate receptor subunits and of antigenomic RNA of hepatitis delta virus. These enzymes are expressed in many if not all tissues, predicting an as yet unappreciated significance for adenosine deamination-mediated ...