Axiom-Pinpointing bestimmt die für eine Konsequenz verantwortlichen Axiome einer Ontologie und unterstützt dadurch die Suche und Behebung von Fehlern. In der Arbeit [Peñ09b], deren Resultate hier zusammengefasst werden, wurde untersucht, unter welchen Bedingungen sich tableau-artige und auf automaten-basierte Schlußfolgerungsverfahren für Beschreibungslogiken stets zu Pinpointing-Verfahren erwe...

This article will be a continuation of our research into self-justifying systems. It will introduce several new theorems and their applications. (One of these results will transform our previous infinite-sized self-verifying formalisms into tighter systems, with only a finite number of axioms.) It will explain how self-justification is useful, even when the Incompleteness Theorem limits its rea...

Interval temporal logics are quite expressive temporal logics, which turn out to be difficult to deal with in many respects. Even finite satisfiability of simple interval temporal logics presents non-trivial technical issues when it comes to the implementation of efficient tableaubased decision procedures. We focus our attention on the logic of Allen’s relation meets, a.k.a. Right Propositional...

We study the problem of finding a point of maximal electrostatic potential inside an arbitrary triangle with homogeneous surface charge distribution. In this article we derive several synthetic and analytic relations for its location in the plane. Moreover, this point satisfies the definition of a triangle center, different from any of previously discovered centers in Clark Kimberling’s encyclo...

Vibrato is an important factor that affects the naturalness level of a synthetic singing voice. Therefore, the analysis and modeling of vibrato parameters are studied in this paper. The vibrato parameters of those syllables segmented from recorded songs are analyzed by using short-time Fourier transform and the method of analytic signal. After the vibrato parameter values for all training sylla...

The continuous wavelet transform has been used with much success in the analysis of non-stationary time series. It has been used much less frequently in the interpretation of magnetic or gravity data, although several approaches have been tried. A simple method of obtaining location and depth estimates of gravity and magnetic field sources is suggested here. For gravity data the method uses wav...

The second Visual Analytics Science and Technology (VAST) contest’s data consisted of a heterogeneous synthetic collection of news articles with additional supporting files and contained a scenario with embedded threats that provided ground truth. Using visual analytic tools, participants sought evidence of illegal and terrorist activities. We describe the contest and the evaluation methodology...

in the present paper, we prove subordination, superordination and sandwich-type properties of a certain integral operators for univalent functions on open unit disc, moreover the special behavior of this class is investigated.