Logic programming originated in the field of artificial intelligence * It was artificial intelligence that provided both the theorem-proving research for its backward-reasoning execution strategy [42,47,68] and its first intended applications in natural language question-answering [14]-It also provided the controversy (see e.g« [32,81]). between the relative merita of procedural versus declarat...

Most existing person re-identification methods focus on finding similarities between persons between pairs of cameras (camera pairwise re-identification) without explicitly maintaining consistency of the results across the network. This may lead to infeasible associations when results from different camera pairs are combined. In this paper, we propose a network consistent re-identification (NCR...

the aim of this paper is to investigate a novel approach for output feedback damping controller design ofstatcom in order to enhance the damping of power system low frequency oscillations (lfo). the design ofoutput feedback controller is considered as an optimization problem according with the time domain-basedobjective function which is solved by a honey bee mating optimization algorithm (hbmo...

in this paper the optimal design of a dissipator made of aluminium and steel and principallysubjected to shear forces and the preliminary results of the characterization tests are described.the device has been designed on the basis of an optimization procedure with the objective tomaximize the energy dissipated in the device. the response of a 3d frame equipped with thedevice and subjected to 7...

the main objective of this article is to optimize the walking pattern of a 2d humanoid robot with heel-off and toe-off motions in order to minimize the energy consumption and maximize the stability margin. to this end, at first, a gait planning method is introduced based on the ankle and hip joint position trajectories. then, using these trajectories and the inverse kinematics, the position tra...

The dramatic change in computer architecture due to the manycore paradigm shift, made the development of numerical routines that are optimal extremely challenging. In this work, we target the development of numerical algorithms and implementations for Xeon Phi coprocessor architecture designs. In particular, we examine and optimize the general and symmetric matrix-vector multiplication routines...

This paper presents a novel mixed integer linear programing (MILP) formulation for finding the optimal layout of a fixed number of identical turbines that maximizes wind farm power generation. Previous MILP formulations with power maximizing objectives discretize the feasible space by using a grid of possible turbine locations. The proposed MILP formulation takes a different approach by allowin...

abstract— peer-to-peer ( p2p ) systems have been the center of attention in recent years due to their advantage . since each node in such networks can act both as a service provider and as a client , they are subject to different attacks . therefore it is vital to manage confidence for these vulnerable environments in order to eliminate unsafe peers . this paper investigates the use of genetic ...