A system WF of subintuitionistic logic is introduced, weaker than Corsi’s basic subintuitionistic system F. A derivation system with and without hypotheses is given in line with the authors’ derivation system for F. A neighborhood semantics is introduced with a somewhat more complex definition than the neighborhood semantics for non-normal modal logics. Completeness is proved for WF with respec...
Journal:
:Electronic Notes in Discrete Mathematics2012
Angelo SifalerasDragan UrosevicNenad Mladenovic
We are presenting in this volume selected, peer-reviewed, short papers that were presented at the EURO Mini Conference XXVIII on Variable Neighborhood Search (MEC XXVIII VNS) which was held during October 4-7, 2012, in Herceg Novi, Montenegro.
The NP-hard capacitated clustering problem (CCP) is a general model with a number of relevant applications. This paper proposes a highly effective iterated variable neighborhood search (IVNS) algorithm for solving the problem. IVNS combines an extended variable neighborhood descent method and a randomized shake procedure to explore effectively the search space. The computational results obtaine...
Digital soil mapping techniques which incorporate the digital auxiliary environmental data to field observation data using software are more reliable and efficient compared to conventional surveys. Therefore, this study has been conducted to use k- Nearest Neighbors (k-NN) and artificial neural network (ANN) to predict spatial variability of soil salinity in Ardekan district in an area of 700 k...
man has always been curious about his natural environmental, and has always been trying to know it more. to do this, he has employed many different ways and has used different information. in the meantime, he has examined nature phenomena indirectly and using remote sensing. today, expert and groups of experts are using remote sensing documents and this has caused them to believe that remote se...
Let $L$ be an integral and commutative quantale. In this paper, by fuzzifying the notion of generalized neighborhood systems, the notion of $L$-fuzzy generalized neighborhoodsystem is introduced and then a pair of lower and upperapproximation operators based on it are defined and discussed. It is proved that these approximation operators include generalized neighborhood system...
Participation of people in their cities and neighborhoods has always been emphasized by researchers and experts in order to improve the quality of citizens’ life and having efficient urban management. However, it seems that providing participation contexts at local level by citizens needs preparations and substrates that facilitate participation. In the meantime, establishing a neighborhood man...
For two graphs $mathrm{G}$ and $mathrm{H}$ with $n$ and $m$ vertices, the corona $mathrm{G}circmathrm{H}$ of $mathrm{G}$ and $mathrm{H}$ is the graph obtained by taking one copy of $mathrm{G}$ and $n$ copies of $mathrm{H}$ and then joining the $i^{th}$ vertex of $mathrm{G}$ to every vertex in the $i^{th}$ copy of $mathrm{H}$. The neighborhood corona $mathrm{G}starmathrm{H}$ of $mathrm{G}$ and $...
