Inference of protein structure from experimental data is of crucial interest in science, medicine and biotechnology. Low-resolution methods, such as small angle X-ray scattering (SAXS), play a major role in investigating important biological questions regarding the structure of proteins in solution. To infer protein structure from SAXS data, it is necessary to calculate the expected experimenta...

Given a set of spatial points DS, each of which is associated with categorical information, e.g., restaurant, pub, etc., the optimal route query finds the shortest path that starts from the query point (e.g., a home or hotel), and covers a user-specified set of categories (e.g., pub, restaurant, museum). The user may also specify partial order constraints between different categories, e.g., a r...

In this report we present a case study of employing goal-oriented heuristics when proving equational theorems with the (unfailing) Knuth-Bendix completion procedure. The theorems are taken from the domain of lattice ordered groups. It will be demonstrated that goal-oriented (heuristic) criteria for selecting the next critical pair can in many cases significantly reduce the search effort and hen...

Forward Checking is a highly regarded search method used to solve Constraint Satisfaction Problems. This method performs a limited type of lookahead attempting to nd a failure earlier during a backtracking search. In this paper a new search method, Minimal Forward Checking, is introduced which under certain conditions performs the same amount of constraint checking in the worst case as Forward ...

The Forward Search is a powerful general method for detecting anomalies in structured data, whose diagnostic power has been shown in many statistical contexts. However, despite the wealth of empirical evidence in favour of the method, only few theoretical properties have been established regarding the resulting estimators. We show that the Forward Search estimators are strongly consistent at th...

Over time, distribution systems have progressed from small-scale to complex networks, requiring modernization adapt these increasing levels of active loads and devices. It is essential manage the capacity networks support all new technologies. This work, therefore, presents a method for evaluating impact optimal allocation sizing DGs load shedding response demand programs on improve reliability...

In this article we extend and implement the forward search algorithm for identifying atypical subjects/observations in factor analysis models. The forward search has been mainly developed for detecting aberrant observations in regression models ( Atkinson, 1994 ) and in multivariate methods such as cluster and discriminant analysis ( Atkinson, Riani, & Cerioli, 2004 ). Three data sets and a sim...