Evolutionary approaches to molecular docking typically use a realvalue encoding with standard genetic operators. Mutation is usually based on Gaussian and Cauchy distributions whereas for crossover no special considerations are made. The choice of operators is important for an efficient algorithm for this problem. We investigate their effect by performing a locality, heritability and heuristic ...

We propose a variable ordering heuristic for SAT, which is based on a structural analysis of the SAT problem. We show that when the heuristic is used by a Davis-Putnam SAT solver that employs conflict-directed backtracking, it produces a divide-and-conquer behavior in which the SAT problem is recursively decomposed into smaller problems that are solved independently. We discuss the implications...

This technical note presents a behavior-based navigation method for a mobile service robot with a three-wheeled omnidirectional mobile platform. A heuristic fuzzy Kohonen clustering network (FKCN) is presented to obtain laser area weights and desired robot motion heading for all types of indoor environments. An efficient behavior-based navigation structure is then proposed to merge the heuristi...

This paper experimentally investigates the dynamical behavior of a search process in a local heuristic search system for a combinatorial optimization problem. Or-opt heuristic algorithm is chosen as the study subject, and the well-known traveling salesman problem (TSP) serves as a problem testbed. This study constructs the search trajectory by using the time-delay method, evaluates the dynamics...

Focusing on multi-machine distributed computing security problems in cloud computing, the paper has proposed a grid distributed parallel authentication model based on trusted computing, which can realize simultaneous verification of grid authentication and grid behavior on upper layer of SSL and TLS protocols. Adaptive grid authentication method is established applying adaptive stream cipher fr...

Suspicious behavior detection becomes increasingly more challenging when agents are observed over a longer period of time. The detection system has to identify suspicious subjects from a collection of individual’s events, where no single event is enough to decide whether his/her behavior is suspicious, but the combination of multiple events enables reasoning. We establish a probabilistic Bayesi...

Model checking is an automatic technique for software verification through which all reachable states are generated from an initial state to finding errors and desirable patterns. In the model checking approach, the behavior and structure of system should be modeled. Graph transformation system is a graphical formal modeling language to specify and model the system. However, modeling of large s...

We use many strategies to efficiently navigate through our environment, such as selecting routes based on a minimization of number of turns, number of landmarks, and angular deviation from a goal destination. Additionally, recent research indicates a southern preference in route planning, which may derive from a spatial heuristic that links cardinal north with higher elevations (the north-is-up...

A major activity of many sciences is to search for patterned behavior within complex phenomena. The fields of Biology and Psychology are just two examples, in which the discovery of patterns is an impetus for building explanatory models that could account for the patterns. This paper reports the invention of a powerful machineoriented heuristic for finding complex patterned behavior in empirica...