Mit Namen gezeichnete Artikel geben die persönliche Meinung des Verfassers wieder. Nachdruck aller Beiträge nur nach Rücksprache mit der Redaktion Der Gründungsausschuß für die Universität Oldenburg, das Konzil und der Senat der Universität Oldenburg haben einstimmig beschlossen, daß die Universität Oldenburg den Namen Carl-von-Ossietzky-Universität führt. Die Universität bedauert, daß ihr die ...

A class of uni-directional Cayley graphs based on alternating groups is proposed in this paper. It is shown that this class of graphs is strongly connected and recursively scalable. The analysis of the shortest distance between any pair of nodes in a graph of this class is also given. Based on the analysis, we develop a polynomial time routing algorithm which yields a path distance at most one ...

1 Laboratorio de Propiedades Físicas (LPF)-TAGRALIA, Technical University of Madrid, Madrid 28040, Spain; [email protected] 2 Institute of Agricultural Engineering, University of Hohenheim, Garbenstr. 9, Stuttgart D-70599, Germany; [email protected] (D.S.P.); [email protected] (D.R.); [email protected] (M.V.A.); [email protected] (H.W.G.) * ...

Uni cation or two way pattern matching is the process of solving an equation involving two rst order terms with variables Uni cation is used in type inference in many pro gramming languages and in the execution of logic programs This means that uni cation algorithms have to be written over and over again for di erent term types Many other functions also make sense for a large class of datatypes...

Felix Koepcke ([email protected]) Benjamin Trinczek ([email protected]) Raphael W Majeed ([email protected]) Björn Schreiweis ([email protected]) Joachim Wenk ([email protected]) Thomas Leusch ([email protected]) Thomas Ganslandt ([email protected]) Christian Ohmann (ch...

Georg Rehm ([email protected]) Tübingen University Andreas Witt ([email protected]) Tübingen University Erhard Hinrichs ([email protected]) Tübingen University Timm Lehmberg ([email protected]) Hamburg University Christian Chiarcos ([email protected]) Potsdam University Felix Zimmermann ([email protected]) Institute for Legal Informatics ...

This paper constitutes a re nement of the fuzzy uni cation algorithm based on fuzzy compatibility relations, which we have developed with the aim of including the data type fuzzy set in a logic programming environment which supports a family of in nitely-valued logics. To be precise, we treat the problem of fuzzy uni cation by focusing on the distinction between general and speci c knowledge. F...

Originalarbeiten Binder T, Assayag P, Baer FM, Flachskampf F, Kamp O, Nienaber C, Nihoyannopoulos, P, Pierard L, Steg G, Vanoverschelde JL, van der Wouw P, Meland N, Marelli C, Lindvall K NC100100, a new echo contrast agent for the assessment of myocardial perfusion safety and comparison with technetium-99m sestamibi single-photon emission computed tomography in a randomized multicenter study C...

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . doi:10.1093/ejechocard/jer027 Online publish-ahead-...