Set constraints are inclusion relations between expressions denoting sets of ground terms over a ranked alphabet They are the main ingredient in set based program analysis In this paper we describe a constraint logic programming language clp sc over set constraints in the style of Ja ar and Lassez The language subsumes ordinary logic programs over an Herbrand domain We give an e cient uni catio...

This paper proposes two new approaches to using PSO to cluster data. It is shown how PSO can he used to find the centroids of a user specified number of clusters. The algorithm is then extended to use K-means clustering to seed the initial swarm. This second alga. rithm basically uses PSO to refine the clusters formed by K-means. The new PSO algorithms are evaluated on six data sets, and compar...

AIthough it is generally agreed that bidirectional heuristic search is potentially more efficient than unidirectional heuristic search, so far there have been no algorithms which realize this potential. The basic difficulty is that the two search trees (one rooted at the start, the other at the goal) do not meet in the middle. This results in essentiofly two unidirectional starches and poorer p...

Influence diagrams serve as a powerful tool for modelling symmetric decision problems. When solving an influence diagram we de­ termine a set of strategies for the decisions involved. A strategy for a decision variable is in principle a function over its past. How­ ever, some of the past may be irrelevant for the decision, and for computational reasons it is important not to deal with redundant...

We address the question of convergence in the loopy belief propagation (LBP ) algorithm. Specifically, we relate convergence of LBP to the existence of a weak limit for a sequence of Gibbs measures defined on the LBP 's associ­ ated computation tree. Using tools from the theory of Gibbs measures we develop easily testable sufficient conditions for convergence. The failure of convergence of LBP ...

The article summarizes the latest challenges to management of country's housing stock in context global provoked by military aggression Russian Federation. For this purpose, content category "organizational and economic mechanism" was investigated, part existing scientific approaches consideration its essence were singled out. Also, on basis analysis individual interpretation, author's interpre...

The article is devoted to the methodological approach management of economic security a construction company. It determined that system company based on principles, methods and tools development implementation decisions related protecting interests from inter-nal external threats. revealed dynamics number enterprises in Ukraine for period 2016-2020 has positive dynamic growth. compa-nies city K...

Manual determination of breast cancer takes a lot time sometimes weeks or months and is perilous with high pace morbidity, mortality can involve human error. an early assurance will help the treatment this sickness. So, using machine learning model result in quick identification tumor. This research paper focuses on as benign malignant. dataset, aims to produce better decision-making visualizat...

In this paper we propose a congestion control mechanism for reliable multicast applications that uses a small set of group members or representatives to provide timely and accurate feedback on behalf of congested subtrees of a multicast distribution tree Our algorithm does not need to compute round trip time RTT from all receivers to the source nor does it require knowledge of group membership ...

This chapter proposes an enhancement to currently used algorithms for 7 monitoring daily counts of pre-diagnostic data. Rather than use a single algo8 rithm or apply multiple algorithms simultaneously, our approach is based on 9 ensembles of algorithms. The ensembles lead to better performance in terms 10 of higher true alert rates for a given false alert rate. Combinations can be 11 employed a...