Representing planar domains by polar parameterizations with parabolic parameter lines

Analysis of Singularity Lines by Transforms with Parabolic Scaling

Using Hart Smith’s, curvelet, and shearlet transforms, we investigate L functions with sufficiently smooth background and present here sufficient and necessary conditions, which include the special case with 1-dimensional singularity line. Specifically, we consider the situation where regularity on a line in a non-parallel direction is much lower than directional regularity along the line in a ...

On Fixed-Parameter Tractable Parameterizations of SAT

We survey and compare parameterizations of the propositional satisfiability problem (SAT) in the framework of Parameterized Complexity (Downey and Fellows, 1999). In particular, we consider (a) parameters based on structural graph decompositions (tree-width, branch-width, and clique-width), (b) a parameter emerging from matching theory (maximum deficiency), and (c) a parameter defined by transl...

Representing Action Domains with Numeric-Valued Fluents

We present a general method to formalize action domains with numericvalued fluents whose values are incremented or decremented by executions of actions, and show how it can be applied to the action description language C+ and to the concurrent situation calculus. This method can handle nonserializable concurrent actions, as well as ramifications on numeric-valued fluents, which are described in...

Event Structures Representing Domains with Coherence

Tracking Planar Structures With Log-Polar Images