We study the time complexity of (d, k)-CSP, the problem of deciding satisfiability of a constraint system C with n variables, domain size d, and at most k variables per constraint. We are interested in the question how the domain size d influences the complexity of deciding satisfiability. We show, assuming the Exponential Time Hypothesis, that two special cases, namely (d, 2)-CSP with bounded ...

This paper introduces a new framework for the extraction of frequent sequences satisfying a given regular expression (RE) constraint. Contrary to previous work (SPIRIT algorithms), we represent REs by tree structures and our algorithm can choose dynamically an extraction method according to the local selectivity of the sub-REs. Interestingly, pruning can rely not only on the anti-monotonic mini...

In this study, a static method which makes best load shedding scheme to reach a maximum voltage security margin, prevent voltage instability and emendation of power system frequency during generation unit outage is developed. Minimization of total load interruption cost with considering frequency emendation constraint, Voltage security margin, and alleviating transmission line over loadings hav...

The increase in spin frequency as the burning atmospheres of Type I X-ray bursts cool provides a strong constraint on the radius of the underlying neutron star. If the change in spin frequency is due to a change in the thickness of the atmosphere, the radius of the star must exceed 3GM/c for any equation of state and approximately 3.5GM/c for most physically reasonable equations of state. This ...

The locations of active brain areas can be estimated from the surface recordings. We describe the localization of the sources of the brain electrical activity via spatial filtering. This method incorporates the time-frequency characteristics of the neural sources for its location. The estimation of the location of active brain area is done in non-parametric fashion. The spatial filters are impl...

The channel assignment problem is important in mobile telephone communication. Since the usable range of the frequency spectrum is limited, the optimal channel assignment problem has become increasingly important. In this paper, a new channel assignment algorithm using a modiied Hoppeld neural network is proposed. The channel assignment problem is formulated as an energy minimization problem th...

With more and renewable energy connected to the power system, system gradually presents characteristics of low inertia risk frequency instability becomes prominent. Therefore, nadir has become one limiting factors carrying capacity. In this paper, firstly, based on swing equation, dynamic response after loss was analysed. Secondly, quantitative analysis time with resources carried out, higher p...

the changing of round and back vowel /u/ to unround and front vowel [i] occurs in lori dialects as well as some other persian dialects. this vowel change includes both unrounding and fronting. this paper aimed at coming up with an inclusive ranking of constraints to explain occurrence and nonoccurrence of this vowel change in various phonological environments in silahkori dialect within optimal...