Abstract. Interval analysis is a powerful tool which allows to design branch-and-bound algorithms able to solve many global optimization problems. In this paper we present new adap...
We prove that the properties of reachability, joinability and confluence are undecidable for flat TRSs. Here, a TRS is flat if the heights of the left and right-hand sides of each ...
Background: Phylogenetic analysis is emerging as one of the most informative computational methods for the annotation of genes and identification of evolutionary modules of functi...
Fuzzy integrals, in general, and Sugeno integrals, in particular, are well known aggregation operators. They can be used in a great variety of decision making applications. Nevert...
: Communities of autonomous units are devices to model the interaction of independent processes in a rule-based and graphical way. In this paper, the framework is proposed to descr...