In this paper, we propose a new dispatching rule and a set of local search algorithms based on the ®ltered beam search, GRASP and simulated annealing methodologies to construct short-term observation schedules of space mission projects, mainly for NASA's Hubble Space Telescope (HST). The main features of generating short-term observations of HST are state dependent set up times, user speci®ed d...

Recently, the interest in data-driven approaches to the modeling of nonlinear processes has increased. Techniques based on fuzzy sets and rule-based systems have proven suitable mainly because of their potential to yield transparent models that are at the same time reasonably accurate. Many of the data-driven fuzzy modeling algorithms, however, aim primarily at good numerical approximation, whi...

In this article, two learning classifier system based classification techniques are described to classify remote sensing images. Usually, these images contain voluminous, complex, and sometimes erroneous and noisy data. The first approach implements ICU, an evolutionary rule discovery system, generating simple and robust rules. The second approach applies the real-valued accuracy-based classifi...

The Internet and the ubiquitous presence of computing devices anywhere is generating a continuously growing amount of information. However, the information entropy is not uniform. It allows the use of data compression algorithms to reduce the demand for more powerful processors and larger data storage equipment. This paper presents an adaptive rule-driven device the adaptive automata as the dev...

In this paper, two methods named distance and triangle methods are extended to evaluate the quality of approximation of the Pareto set from solving bi-objective problems. In order to use evaluation methods, a bi-objective problem is needed to define. It is considered the problem of scheduling jobs in a hybrid flow shop environment with sequence-dependent setup times and the objectives of minimi...

Partial order (PO) reduction methods are widely employed to combat state explosion during model-checking. We develop a partial order reduction algorithm for rule-based languages such as Murphi [4] based on the observation that for finite-state systems, independence conditions used for PO reduction can be encoded as boolean propositions and checked using SAT methods. Comparisons against static-a...

Background: Ankle injuries are one of the most common complaints of patients presenting to emergency departments (ED). The Ottawa ankle rules (OAR) was introduced to help physicians to decide who may require x-ray for blunt injuries. The present study aimed at validating the four steps weight-bearing rule of OAR as a sole criterion.    Methods: This prospective observational study wa...