Stochastic local search (SLS) methods like evolutionary algorithms, ant colony optimisation or iterated local search receive an ever increasing attention for the solution of highly application relevant optimisation problems. Despite their noteworthy successes, several issues still hinder their even wider spread. One central issue is the configuration and parameterisation of SLS methods, which i...

Stochastic local search (SLS) has been an active field of research in the last few years, with new techniques and procedures being developed at an astonishing rate. SLS has been traditionally associated with satisfiability solving, that is, finding a solution for a given problem instance, as their intrinsic nature does not address unsatisfiable problems. Unsatisfiable instances were therefore c...

3-D Smoothed Local Symmetries (3-D SLS's) are presented as a representation for three-dimensional shapes. 3-D SLS's make explicit the perceptually salient features of 3-D objects and are especially suited to representing man-made objects. The definition of the 3-D SLS is given as a natural extension of the 2-D Smoothed Local Symmetry (2-D SLS). Analytic descriptions of the 3-D SLS are derived f...

Weighted partial maximum satisfiability (WPMS) is a significant generalization of maximum satisfiability (MAX-SAT), with many important applications. Recently, breakthroughs have been made on stochastic local search (SLS) for weighted MAXSAT and (unweighted) partial MAX-SAT (PMS). However, the performance of SLS for WPMS lags far behind. In this work, we present a new SLS algorithm named CCEHC ...

In Boolean logic, a formula is satisfiable if a variable assignment exists that will make the formula equivalent to true, and the propositional satisfiability problem (SAT) is to determine if a given formula is satisfiable. SAT is one of the most fundamental problems in computer science, and since many relevant combinatorial problems can be encoded into SAT, it is of substantial theoretical and...

Hydrate-based technologies (HBTs) have high potential in many fields. The industrial application of HBTs is limited by the low conversion rate water into hydrate (RWH), and sodium lignin sulfonate (SLS) has to solve above problem. In order make presence SLS applied industry promote advances commercial HBTs, effect on thermodynamic equilibrium formation pressure (Peq) was investigated for first ...

Linkage analysis in two consanguineous pedigrees of Pakistani and English origin and one further Indian family in which affected subjects have Sjögren-Larsson syndrome (SLS) showed linkage to chromosome 17. Linkage of SLS to D17S783 and D17S805 has been reported in Swedish pedigrees, but since those data were generated from a single ethnic group originating from a common ancestor, there remaine...

Redox behavior of midazolam was studied at a glassy carbon electrode in various buffer systems, supporting electrolytes and pH using differential pulse, square-wave and cyclic voltammetry. Based on its reduction behavior, a direct differential pulse voltammetric method has been developed and validated for the determination of midazolam in parenteral dosage. Three well-defined peaks were observe...

Stochastic local search (SLS) algorithms have exhibited great effectiveness in finding models of random instances of the Boolean satisfiability problem (SAT). As one of the most widely known and used SLS algorithm, WalkSAT plays a key role in the evolutions of SLS for SAT, and also hold stateof-the-art performance on random instances. This work proposes a novel implementation for WalkSAT which ...

Sesquiterpene lactones (SLs) are plant-derived compounds often used in traditional medicine against inflammation and cancer. This review focuses on the chemical and biological properties of SLs that lead to enhanced anticancer and anti-inflammatory effects. The chemical properties comprise alkylating center reactivity, lipophilicity, and molecular geometry and electronic features. SLs in clinic...