A square matrix of distinct numbers in which every row, column and both diagonals has the same total is referred to as a magic square. Constructing a magic square of a given order is considered as a difficult computational problem, particularly when additional constraints are imposed. Hyper-heuristics are emerging high level search methodologies that explore the space of heuristics for solving ...

.............................................................................................. I Acknowledgements ............................................................................ II ركشو ءادهآ .............................................................................................. IV List of Figures .................................................................................

Let S be a bipartite semigraph with |NXa(y)| ≥ 1 for every y ∈ Y . A vertex x ∈ X hyper dominates y ∈ Y if y ∈ Na(x) or y ∈ Na(NY a(x)). A subsetD ⊆ X is a hyper dominating set of S if every y ∈ Y is hyper dominated by a vertex ofD. A subsetD ⊆ X is called a minimal hyper dominating set of S if no proper subset of D is a hyper dominating set of S. The minimum cardinality of a minimal hyper domi...

One of the annual issues that has to be addressed in English football is producing a fixture schedule for the holiday periods that reduces the travel distance for the fans and players. This problem can be seen as a minimisation problem which must abide to the constraints set by the Football Association. In this study, the performance of selection hyper-heuristics is investigated as a solution m...

Static and frequency-dependent electronic (hyper)polarizabilities of the dimethylnaphthalene (DMN) isomers were computed in vacuum using the Coulomb-attenuating Density Functional Theory method. The nonlinear optical Second Harmonic Generation (SHG) and Electro-Optical Pockels Effect (EOPE) were investigated at the characteristic Nd:YAG laser wavelength of 1064 nm. The response electric propert...

The E-KRHyper system is a model generator and theorem prover for first-order logic with equality. It implements the new E-hyper tableau calculus, which integrates a superposition-based handling of equality into the hyper tableau calculus. E-KRHyper extends our previous KRHyper system, which has been used in a number of applications in the field of knowledge representation. In contrast to most f...

Electronic and vibrational contributions to the static and dynamic (hyper)polarizability tensors of ice XI and model structures of ordinary hexagonal ice have been theoretically investigated. Calculations were carried out by the finite field nuclear relaxation method for periodic systems (FF-NR) recently implemented in the CRYSTAL code, using the coupled-perturbed Kohn-Sham approach (CPKS) for ...

We consider the fuzzification of the notion of fuzzy multiply positive implicative hyper BCK-ideals of BCK-algebras and then some related results are obtained. Using the concept of level subsets, we give a characterization of a fuzzy multiply positive implicative hyper BCK-ideal. We state a relation between a fuzzy hyper BCK-ideal and a fuzzymultiply positive implicative hyper BCK-ideal. Moreov...