We consider the constraint satisfaction problem (CSP), where the values must be assigned
to variables which are subject to a set of constraints. This problem is naturally formulated as …

The Theory of Graphs is a wonderful, practical discipline. Informatics has played a big part in
its development, and these two fields are strongly interconnected. This can, perhaps, mainly …

E-Commerce systems are suffering more and more security issues. Vulnerabilities of
authentication systems are revealed when various attacks and malicious abuses are …

Opinion classifications from Twitter are still in demand among research works on related
opinions or feelings expressed on various issues. One of the concerns expressed in Twitter …

The advantages of traditional integrated GIS (Geographic Information System) are integrate
each component of GIS and form independent complete system, for example ArcGIS and …

In this study, a method for modeling trees with rugged surfaces by simulating tree growth is
proposed. The phenomena of cell division is considered for simulating tree growth. There …

Disclosed are methods of modelling a subsurface region. One method comprises defining a
plurality of variables for describing said subsurface region, each variable having a …

This paper focuses on benchmarking, which is the main experimental approach to the
design method and EDA-tool analysis, characterization and evaluation. We discuss the …

A nonlinear model is proposed for balancing the steel productive resources. In the model,
the sharing and the competition between products and resources are presented, and four …

Anomaly detection of executable program is a security detection solution that examines
whether security violation issues exist in programs. The paper presents a novel anomaly …