The SEPP (Software Engineering for Parallel Processing) project aims to develop a graphical language based integrated software engineering environment for parallel programs. This needs a compiler to create the executable code from the source code (which is in this case a graphical description). To ensure portability, the code generation is divided into two phases. In the rst phase, a suitable c...

This paper considers the design of secure electronic credit card based payment schemes for Internet and reveals some of the issues that have not been adequately addressed in the proposed protocols todate. It proposes additional mechanisms that need to be incorporated as part of the design phase of the scheme to deal eeciently with the disputes that can arise. The design methods described in thi...

Given an undirected graph G = (V,E) and an integer ` ≥ 1, the NPhard 2-Club problem asks for a vertex set S ⊆ V of size at least ` such that the subgraph induced by S has diameter at most two. In this work, we extend previous parameterized complexity studies for 2-Club. On the positive side, we give polynomial-size problem kernels for the parameters feedback edge set size of G and size of a clu...

Interpretation, VMCAI’12, pages 267–282, 2012. [65] J. Kinder, F. Zuleger, and H. Veith. An abstract interpretation-based framework forcontrol flow reconstruction from binaries. In Proceedings of the 10th InternationalConference on Verification, Model Checking, and Abstract Interpretation, VMCAI’09, pages 214–228, 2009. [66] J. Kranz, A. Sepp, and A. Simon. Gdsl: A universal toolkit...

1. Related work. A general linear self-exciting process is identified by the conditional intensity function λ(t) = µ + k 0 t k <t g(t − t k) where µ is the baseline hazard rate. The Hawkes Process (Hawkes, 1971a,b) is a particularly tractable self-exciting point process with an exponential kernel, developed for earthquake modeling. Historically, a lot of effort has gone into modeling earthquake...

Activation of component C3 is central to the pathways of complement and leads directly to neutralization of pathogens and stimulation of adaptive immune responses. The convertases that catalyze this reaction assemble from fragments of complement components via multistep reactions. In the lectin pathway, mannose-binding lectin (MBL) and ficolins bind to pathogens and activate MBL-associated seri...

406–415. 33. Cai J, Hatsukami TS, Ferguson MS, Kerwin WS, Saam T, Chu B, Takaya N, Polissar NL, Yuan C. In vivo quantitative measurement of intact fibrous cap and lipid-rich necrotic core size in atherosclerotic carotid plaque: comparison of highresolution, contrast-enhanced magnetic resonance imaging and histology. Circulation 2005;112:3437–3444. 34. Sluimer JC, Kolodgie FD, Bijnens AP, Maxfie...

with Application to Gene-Expression Analysis Sepp Hochreiter [email protected] Klaus Obermayer Fakultät für Elektrotechnik und Informatik Technische Universität Berlin Franklinstr. 28/29, 10587 Berlin, Germany [email protected] We consider the classification task for datasets which are described by matrices. Rows and columns of these matrices correspond to objects where row and column ...

predominance of g.70A>G mutation in Finnish patients can result in milder presentations. Consistent with previous reports, measured laboratory values correlated poorly with any assessed symptoms and despite clearly abnormal laboratory indices, few patients developed serious complications. Worldwide, of the 30 subjects with CHH and hematopoietic stem cell transplantation (HSCT) whose genotype ha...