Evaluating the impact of AND/OR search on 0-1 integer linear programming

AND/OR search spaces accommodate advanced algorithmic schemes for graphical models which can exploit the structure of the model. We extend and evaluate the depth-first and best-first AND/OR search algorithms to solving 0-1 Integer Linear Programs (0-1 ILP) within this framework. We also include a class of dynamic variable ordering heuristics while exploring an AND/OR search tree for 0-1 ILPs. We demonstrate the effectiveness of these search algorithms on a variety of benchmarks, including real-world combinatorial auctions, random uncapacitated warehouse location problems and MAX-SAT instances.     

Dynamic content-page identification for media-rich websites

Knowledge of the information goal of users is critical in website design, analyzing the efficacy of such designs, and in ensuring effective user-access to desired information. Determining the information goal is complex due to the subjective and latent nature of user information needs. This challenge is further exacerbated in media-rich websites since the semantics of media-based information is context-based and emergent. A critical step in determining information goals lies in the identification of content pages. These are the pages which contain the information the user seeks. We propose a method to automatically determine the content pages by taking into account the organization of the web site, the media-based information content, as well as the influence of a specific user browsing pattern. Given a specific browsing pattern, in our method, putative content pages are identified as the pages corresponding to the local minima of page-content entropy values. For an (unknown) user information goal this intuitively corresponds to modeling the progressive transition of the user from pages with generic information to those with specific information. Experimental investigations on media rich sites demonstrate the effectiveness of the technique and underline its potential in modeling user information needs and actions in a media-rich web.     

Spatial sensitivity analysis of multi-criteria weights in GIS-based land suitability evaluation

With growing interest in extending GIS to support multi-criteria decision-making (MCDM) methods, enhancing GIS-based MCDM with sensitivity analysis (SA) procedures is crucial to understand the model behavior and its limitations. This paper presents a novel approach of examining multi-criteria weight sensitivity of a GIS-based MCDM model. It explores the dependency of model output on the weights of input parameters, identifying criteria that are especially sensitive to weight changes and to show the impacts of changing criteria weights on the model outcomes in spatial dimension. A methodology was developed to perform simulations where the weights associated with all criteria used for suitability modelling were varied one-at-a-time (OAT) to investigate their relative impacts on the final evaluation results. A tool which incorporates the OAT method with the Analytical Hierarchy Process (AHP) within the ArcGIS environment was implemented. It permits a range of user defined simulations to be performed to quantitatively evaluate model dynamic changes, measures the stability of results with respect to the variation of different parameter weights, and displays spatial change dynamics. A case study of irrigated cropland suitability assessment addressing the application of the new GIS-based AHP-SA tool is described. It demonstrates that the tool is spatial, simple and flexible.     

Fuzzy grey relational analysis for software effort estimation

Accurate and credible software effort estimation is a challenge for academic research and software industry. From many software effort estimation models in existence, Estimation by Analogy (EA) is still one of the preferred techniques by software engineering practitioners because it mimics the human problem solving approach. Accuracy of such a model depends on the characteristics of the dataset, which is subject to considerable uncertainty. The inherent uncertainty in software attribute measurement has significant impact on estimation accuracy because these attributes are measured based on human judgment and are often vague and imprecise. To overcome this challenge we propose a new formal EA model based on the integration of Fuzzy set theory with Grey Relational Analysis (GRA). Fuzzy set theory is employed to reduce uncertainty in distance measure between two tuples at the k ^th continuous feature ( | ( x_o(k) - x_i(k) | ) \left( {\left| {\left( {{x_o}(k) - {x_i}(k)} \right.} \right|} \right) .GRA is a problem solving method that is used to assess the similarity between two tuples with M features. Since some of these features are not necessary to be continuous and may have nominal and ordinal scale type, aggregating different forms of similarity measures will increase uncertainty in the similarity degree. Thus the GRA is mainly used to reduce uncertainty in the distance measure between two software projects for both continuous and categorical features. Both techniques are suitable when relationship between effort and other effort drivers is complex. Experimental results showed that using integration of GRA with FL produced credible estimates when compared with the results obtained using Case-Based Reasoning, Multiple Linear Regression and Artificial Neural Networks methods.     

Globally Exponential Stability for Delayed Neural Networks Under Impulsive Control

In this paper, the dynamic behaviors of a class of neural networks with time-varying delays are investigated. Some less weak sufficient conditions based on p-norm and ∞-norm are obtained to guarantee the existence, uniqueness of the equilibrium point for the addressed neural networks without impulsive control by applying homeomorphism theory. And then, by utilizing inequality technique, Lyapunov functional method and the analysis method, some new and useful criteria of the globally exponential stability with respect to the equilibrium point under impulsive control we assumed are derived based on p-norm and ∞-norm, respectively. Finally, an example with simulation is given to show the effectiveness of the obtained results.     

Video analysis based on volumetric event detection

During the past decade, feature extraction and knowledge acquisition based on video analysis have been extensively researched and tested on many applications such as closed-circuit television(CCTV)data analysis, large-scale public event control, and other daily security monitoring and surveillance operations with various degrees of success. However, since the actual video process is a multi-phased one and encompasses extensive theories and techniques ranging from fundamental image processing, computational geometry and graphics, and machine vision, to advanced artificial intelligence, pattern analysis, and even cognitive science, there are still many important problems to resolve before it can be widely applied. Among them, video event identification and detection are two prominent ones. Comparing with the most popular frame-to-frame processing mode of most of today's approaches and systems, this project reorganizes video data as a 3D volume structure that provides the hybrid spatial and temporal information in a unified space. This paper reports an innovative technique to transform original video frames to 3D volume structures denoted by spatial and temporal features. It then highlights the volume array structure in a so-called "pre-suspicion" mechanism for a later process. The focus of this report is the development of an effective and efficient voxel-based segmentation technique suitable to the volumetric nature of video events and ready for deployment in 3D clustering operations. The paper is concluded with a performance evaluation of the devised technique and discussion on the future work for accelerating the pre-processing of the original video data.     

Analysis of pressure-driven electrokinetic flows in hydrophobic microchannels with slip-dependent zeta potential

The present study is an analysis of pressure-driven electrokinetic flows in hydrophobic microchannels with emphasis on the slip effects under coupling of interfacial electric and fluid slippage phenomena. Commonly used linear model with slip-independent zeta potential and the nonlinear model at limiting (high-K) condition with slip-dependent zeta potential are solved analytically. Then, numerical solutions of the electrokinetic flow model with zeta potential varying with slip length are analyzed. Different from the general notion of “the more hydrophobic the channel wall, the higher the flowrate,” the results with slip-independent and slip-dependent zeta potentials both disclose that flowrate becomes insensitive to the wall hydrophobicity or fluid slippage at sufficiently large slip lengths. Boundary slip not only assists fluid motion but also enhances counter-ions transport in EDL and, thus, results in strong streaming potential as well as electrokinetic retardation. With slip-dependent zeta potential considered, flowrate varies non-monotonically with increasing slip length due to competition of the favorable and adverse effects with more complicated interactions. The influence of the slip on the electrokinetic flow is eventually nullified at large slip lengths for balance of the counter effects, and the flowrate becomes insensitive to further hydrophobicity of the microchannel. The occurrence of maximum, minimum, and insensitivity on the flowrate-slip curves can be premature at a higher zeta potential and/or larger electrokinetic separation distance.     

The UK Cleanfeed system — Lessons for the German debate?

As readers of this journal will of course know, the Zugangserschwerungsgesetz has caused considerable and often very profound debate in Germany about the limits of legal and technological interference with the freedom of access to information, culminating in the temporary refusal of the President to sign the law into action. In the UK by contrast, a core aspect of this law, the technical prevention of access to sites hosting illegal content by ISPs, was introduced through the so called “Cleanfeed system” as early as 1996, with little or no public debate, and bypassing by and large all parliamentary procedure and scrutiny. This article has a threefold aim: First, it gives a brief account of the history and implementation of the UK Cleanfeed system1; second, it explains some of its more unusual aspects by putting them into the historical and constitutional context of policing in the UK, and third, it highlights those experiences made with the system that are of direct relevance for the German discussion.     

Fundamental dynamics of flow through carbon nanotube membranes

The flow of a model non-polar liquid through small carbon nanotubes is studied using non-equilibrium molecular dynamics simulation. We explain how a membrane of small-diameter nanotubes can transport this liquid faster than a membrane consisting of larger-diameter nanotubes. This effect is shown to be back-pressure dependent, and the reasons for this are explored. The flow through the very smallest nanotubes is shown to depend strongly on the depth of the potential inside, suggesting atomic separation can be based on carbon interaction strength as well as physical size. Finally, we demonstrate how increasing the back-pressure can counter-intuitively result in lower exit velocities from a nanotube. Such studies are crucial for optimisation of nanotube membranes.