In this paper, we attempt to investigate the connection between various types of ideals (for examples $(m, n)$-ideal, bi-ideal, interior ideal, quasi ideal, prime ideal and maximal ideal) of an ordered semigroup $(S,cdot ,leq)$ and the correspond hyperideals of its EL-hyperstructure $(S,*)$ (if exists). Moreover, we construct the class of EL-$Gamma$-semihypergroup associated to a partially orde...

Algebraic hyperstructures have many applications in various sciences. The main purpose of this paper is to provide a new application of weak hyperstructures in Chemistry. More precisely, we present three different examples of hyperstructures associated to electrochemical cells. In which we prove that our hyperstructures are Hv-semigroups and we present some interesting results.

A functional ansatz is developed which gives certain elliptic solutions of the Witten-Dijkgraaf-Verlinde-Verlinde (or WDVV) equation. This is based on the elliptic trilogarithm function introduced by Beilinson and Levin. For this to be a solution results in a number of purely algebraic conditions on the set of vectors that appear in the ansatz, this providing an elliptic version of the idea, in...

This paper presents the preliminary stages of the design of MapQFTool, a software tool that will provide support to the understanding and comparability of the National Qualifications Frameworks (NQFs) of the various European countries. The paper starts by providing background information on the Bologna Process and the Qualifications Frameworks. It then addresses the limitations of trying to map...

In the past five years, we have designed and evolved an interlingua for sharing explanations generated by various automated systems such as hybrid web-based question answering systems, text analytics, theorem proving, task processing, web services execution, rule engines, and machine learning components. In this paper, we present our recent major updates including: (i) splitting the interlingua...

We consider existential problems over the reals. Extended quantifier elimination generalizes the concept of regular quantifier elimination by providing in addition answers, which are descriptions of possible assignments for the quantified variables. Implementations of extended quantifier elimination via virtual substitution have been successfully applied to various problems in science and engin...

The spectral representation of the effective complex permittivity of a two-component composite medium is used to develop an approach to coupling of various effective properties of a random mixture. The spectral function contains all information about the microstructure, hence providing a coupling link between the various effective properties of the same composite material. It is demonstrated th...

We present an overview of recent investigations of photopolymerizable nanocomposite photonic materials in which, thanks to their high degree of material selectivity, recorded volume gratings possess high refractive index modulation amplitude and high mechanical/thermal stability at the same time, providing versatile applications in light and neutron optics. We discuss the mechanism of grating f...

Software Metrics have been proposed for procedural and object oriented paradigms to measure various attributes like complexity, cohesion, software quality, and productivity. Among all of these, “Complexity” and “Cohesion” are considered to be the most important attributes. As object oriented analysis and design appears to be at the forefront of software engineering technologies, many different ...

This paper proposes a novel control scheme for provision of frequency support among asynchronous AC areas through HVDC grids. It is based on local controllers, each acting on a voltage source converter, using local measurements only, and supporting frequency of the adjacent AC area after a significant disturbance. The new discrete control is combined with the existing DC voltage droop technique...