We present some connections between the max-min general fuzzy automaton theory and the hyper structure theory. First, we introduce a hyper BCK-algebra induced by a max-min general fuzzy automaton. Then, we study the properties of this hyper BCK-algebra. Particularly, some theorems and results for hyper BCK-algebra are proved. For example, it is shown that this structure consists of different ty...

We proposed a scheme in which normal Raman scattering is coupled with hyper-Raman scattering for generating a strong anti-Stokes hyper-Raman scattering in nanomaterials by using femtosecond laser pulses. The proposal was experimentally demonstrated by using a single-layer MoS2 on a SiO2/Si substrate, a 17 nm-thick MoS2 on an Au/SiO2 substrate and a 9 nm-thick MoS2 on a SiO2-SnO2/Ag/SiO2 substra...

In this paper, we present a novel rst order theorem proving strategy { ordered semantic hyper linking. Ordered semantic hyper linking (OSHL) is an instance-based refutational theorem proving strategy. It is sound and complete. OSHL has an eecient propositional decision procedure. It solves rst order problems by reducing them to propositional problems. It uses natural semantics of an input probl...

Original scientific paper This paper introduces a proposal of design of Ant Colony Optimization algorithm paradigm using Hyper-Cube framework to solve the Software Project Scheduling Problem. This NP-hard problem consists in assigning tasks to employees in order to minimize the project duration and its overall cost. This assignment must satisfy the problem constraints and precedence between tas...

Several chemotherapy regimens have been developed for the treatment of acute lymphoblastic leukemia (ALL), but relapse still presents the most common obstacles to attaining long-term survival. The hyper-CVAD (hyperfractionated cyclophosphamide, vincristine, doxorubicin, and prednisolone)/HD MTX and Ara-C (high-dose methotrexate and cytarabine) chemotherapy regimen was first started in the MD An...

Hyper-heuristics are methodologies used to choose from a set of heuristics and decide which one to apply given some properties of the current instance. When solving a Constraint Satisfaction Problem, the order in which the variables are selected to be instantiated has implications in the complexity of the search. We propose a neural network hyper-heuristic approach for variable ordering within ...

In a recent Letter to the Editor it was suggested that desmoplakin (DP) regulates desmosome hyper-adhesion (Hobbs and Green, 2011). The term hyper-adhesion refers to the strong, calcium-independent adhesive state adopted by desmosomes in tissues, including the epidermis (Garrod et al., 2005; Wallis et al., 2000). This contrasts with a weaker adhesive state adopted by desmosomes on initial forma...

As the Internet continues to experience exponential rates of growth, attention is shifting away from mainstream network services such as electronic mail and le transfer to more interactive information services. Current network information systems, whilst extremely successful, run into problems of fragmentation, consistency, scalability, and loss of orientation. The development of \second genera...

Several syntactic methods have been constructed to automate theorem proving in first-order logic. The positive (negative) hyper-resolution and the clause tableaux were combined in a single calculus called hyper tableaux in [1]. In this paper we propose a new calculus called hyperS tableaux which overcomes substantial drawbacks of hyper tableaux. Contrast to hyper tableaux, hyperS tableaux are e...