In this paper we present an e ective prover for mbC, a minimal inconsistency logic. The mbC logic is a paraconsistent logic of the family of logics of formal inconsistency. Paraconsistent logics have several philosophical motivations as well as many…

The preferred temperature (PT) of Poecilia sphenops (Pisces, Poeciliidae) (n = 240, 1.13 +/- 0.06 g wet weight, 3.26 +/- 0.88 cm standard length) from Presa Piedra Azul, Oaxaca, Mexico, was measured at acclimation temperature of 20 degreesC, 23 degreesC,…

Commercial product irradiation using ionizing radiation has provided a method to safely treat products in a variety of ways. Temperature is a very important factor when determining the absorbed dose of the product. However, most irradiation complexes apply dosimetric knowledge…

There are three kinds of uncertainty in the process of fish-disease diagnosis, such as randomicity, fuzzy and imperfection, which affect the veracity of fish-disease diagnostic conclusion. So, it is important to construct a fish-disease diagnostic model to effectively deal with…

Associating the pattern in text data with the pattern with time series data is a novel task. In this paper, an approach that utilizes the features of the time series data and domain knowledge is proposed and used to identify…

dentification of groups that are similar in their floristic composition and structure (habitat types) is essential for conservation and forest managers to allocate high priority areas and to designate areas for reserves, refuges, and other protected areas. In this study,…

This paper proposes an original generic hierarchical framework in order to facilitate the modeling stage of complex autonomous robotics mission planning problems with action uncertainties. Such stochastic planning problems can be modeled as Markov Decision Processes [5]. This work is…

In the past, numerous approaches have been formulated either for approximating Pareto-optimal alternatives or supporting the decision making process with an interactive multi criteria decision aiding methodology. The article on the other hand presents an integrated system for the resolution…

Traditional mycological knowledge of most Mexican ethnic groups has proven to be extensive and profound, consuming nearly 300 species of wild mushrooms. In this paper, we identified the mushrooms used by Zapotecs of Ixtlan, Oaxaca, compiled their traditional knowledge and…

The main goal of this study is to document the biogeographical patterns, current status and conservation of 24 species of vascular plants in Mexico, all of them recorded in some risk category in the Mexican official publication named 'Norma Oficial…