Recently, stage and cf2 semantics for abstract argumentation attracted specific attention. By distancing from the notion of defense, they are capable to select arguments out of odd-length cycles. In case of cf2 semantics, the SCC-recursive schema guarantees that important evaluation criteria for argumentation semantics, like directionality, weakand CF -reinstatement, are fulfilled. Beside sever...

This paper describes a compiler framework that enhances the detection of parallelism in loops with complex irregular computations. The framework is based on the static analysis of the Gated Single Assignment (GSA) program representation. A taxonomy of the strongly connected components (SCCs) that appear in GSA dependence graphs is presented as the basis of our framework. Furthermore, an algorit...

This paper reports the work on a novel wavelet-based multi-scale filtering application used to generate very smooth subset of profiles known as Class-A curves. The multi-scale representation, based on B-spline wavelets, allows to split a spline curves in terms of a coarser least-square approximation and details coefficients. It raises that non-Class-A curves are determined by geometric imperfec...

The cycle space of a strongly connected graph has a basis consisting of directed circuits. The concept of relevant circuits is introduced as a generalization of the relevant cycles in undirected graphs. A polynomial time algorithm for the computation of a minimum weight directed circuit basis is outlined.

We show how the Hindley/Milner polymorphic type system can be extended to incorporate overloading and subtyping. Our approach is to attach constraints to quantified types in order to restrict the allowed instantiations of type variables. We present an algorithm for inferring principal types and prove its soundness and completeness. We find that it is necessary in practice to simplify the inferr...

Network structures, consisting of nodes and edges, have applications in almost all subjects. The sets of nodes strongly connected internally are called communities. Industries (including cell phone carriers and online social media companies) need community structures to allocate network resources and provide proper customer services. However, all community detection methods are motivated by sol...

This paper investigates the synchronization of directed networks whose coupling matrices are reducible and asymmetrical by pinning-controlled schemes. A strong sufficient condition is obtained to guarantee that the synchronization of the kind of networks can be achieved. For the weakly connected network, a method is presented in detail to solve two challenging fundamental problems arising in pi...

Let $A$ be a nite dimensional $k-$algebra and $R$ be a locally bounded category such that $R rightarrow R/G = A$ is a Galois covering dened by the action of a torsion-free group of automorphisms of $R$. Following [30], we provide criteria on the convex subcategories of a strongly simply connected category R in order to be a cycle- nite category and describe the module category of $A$. We p...