mpa-ifw.tu-darmstadt.de Austenitic stainless steel of type X6CrNiNb18-10 (1.4550) is a widely used material in piping and components of nuclear power plants. The fatigue behavior of these components is often operationally determined by thermomechanical strains and corresponding stresses. Welded

This paper introduces a subcalculus for general set functions and uses this framework to study the core of TU games. After stating a linearity theorem, we establish several theorems that characterize measure games having Þnite-dimensional cores. This is a very tractable class of games relevant

located in images. The use of a joint-kernel framework allows us to formulate the training procedure as a generalization of an SVM, which can be solved efficiently. We further improve computational efficiency by using a branch-and-bound strategy for localization during both training and testing

In this paper, we describe the ICSI/TU Delft video location estimation system presented at the MediaEval 2014 Plac-ing Task. We describe two text-based approaches based on spatial variance and graphical model framework, a visual-content-based geo-visual ranking approach, and a multi-modal approach

This article introduces the Tuple Graph (TuG) synopses, a new class of data summaries that enable accurate approximate answers for complex relational queries. The proposed summarization framework adopts a “semi-structured” view of the relational database, modeling a relational data set as a graph

This report presents a survey of the academic and industry research and the standardization efforts in the area of business-to-business econtracting. The report is divided into two parts. The first part briefly presents an e-contracting framework and the e-contracting paradigms. In addition

within a uniform conceptual framework, representing workflow rules as coordination laws, embodying them at run-time in coordination media. In this paper we show how a coordination model [9] like TuCSoN [19] and the corresponding infrastructure The remainder of this paper is organised as follows

application in many verification scenarios. By using an encoding inspired by approaches to encode planning problems in artificial intelligence, we obtain a compact representation of the reachability problem in propositional logic. We present the formal framework for our encoding and a prototype implementation

general framework parameterized on the underlying logical institution extended by an instantiation mechanism for formulae. It is shown that hierarchical defaults have intended models if the extended institution is compact. As an example for a non-standard logic, we give the semantics of defaults

A novel mechanism to realize the triplet-doublet splitting in supersymmetric SU(5) grand unified theories is proposed in the framework of higher dimensional theories where chiral multiplets are localized due to kink configuration of a SU(5) singlet. An adjoint Higgs field which spontaneously breaks