Partial functions can be easily represented in set theory as certain sets of ordered pairs. However, classical set theory provides no special machinery for reasoning about partial functions. For instance, there is no direct way of handling the application of a function to an argument outside its domain as in partial logic. There is also no utilization of lambda-notation and sorts or types as in...

In order to obtain the set of codewords of minimal support of codes defined over Zq we must compute a Graver basis of the ideal associated to such codes, see [9]. The main aim of this article is to reduce the complexity of the previous algorithm taking advantage of the powerful decomposition theory for linear codes provided by the decomposition theory of representable matroids over finite field...

A novel method is introduced to force a geometric-based snake be more tolerant towards weak edges and noise in images. The method integrates gradient flow forces with region constraints obtained from diffused region segmentation forces. The diffusion is obtained from the region map vector flow field. This extra region force gives the snake a global view of the boundary information within the im...

Rough sets have been applied to many areas where multiattribute data is needed to be analyzed to acquire knowledge for decision making. Web-based Support Systems (WSS) are a new research area that aims to support human activities and extend human physical limitations of information processing with Web technologies. The applications of rough set analysis for WSS is looked at in this article. In ...

Description logics is a group of logics for knowledge modeling, which are derived from semantic networks. They are to be understood essentially as accessible fragments of predicate logic of first order, to allow strong expressions to be expressed through a complexity class with restrictions. Other description logics provide such strong expressions in polynomial complexity. For description logic...

Mortgage credit granting has to be supported by task-oriented instruments (highly interactive support tools that enable cooperative problem solving) because of increasing competition and unfriendly economic circumstances. MOCCA (mortgage controlling and consulting assistant) provides instruments for decision support, customer consultancy, and management. Most of the underlying models in MOCCA a...

In sensitivity analysis one wants to know how the problem and the optimal solutions change under the variation of the input data. We consider the case when variation happens in the right hand side of the constraints and/or in the linear term of the objective function. We are interested to find the range of the parameter variation in Convex Quadratic Optimization (CQO) problems where the support...

In simultaneous analyses of multiple data partitions, the trees relevant when measuring support for a clade are the optimal tree, and the best tree lacking the clade (i.e., the most reasonable alternative). The parsimony-based method of partitioned branch support (PBS) "forces" each data set to arbitrate between the two relevant trees. This value is the amount each data set contributes to clade...

This paper proposes a novel technique, called instruction set limitation, to strengthen the resilience of software diversification against collusion attacks. Such attacks require a tool to match corresponding program fragments in different, diversified program versions. The proposed technique limits the types of instructions occurring in a program to the most frequently occurring types, by repl...