In this paper, we define topological hyperrings and study their basic concepts which supported by illustrative examples. We show some differences between topological rings and topological hyperrings. Also, by the fundamental relation $\Gamma^{*}$, we indicate the role of complete parts (saturated subsets) and complete hyperrings in topological hyperrings and specially we show that if every (clo...

We give a new framework for safety verification of nonlinear hybrid systems, based on deltadecidability of first-order logic formulas over the real numbers. We use expressive logic formulas (which can contain nonlinear ODEs with no analytic solutions) to encode bounded model checking and invariant-based reasoning. Based on the encoding, we solve bounded reachability and invariant validation pro...

In part 1 of this three-article series, we reviewed the core concepts of the Complete Clinical Orthodontics (CCO) system, how we integrated the straightwire appliance (SWA) with self-ligation to improve control and efficiency, and the rationale for the recently developed CCO prescription, as well as the three stages of treatment mechanics. Specifically, we reviewed the goals and objectives of e...

In this paper, by considering the notion of $Sigma$-hyperalgebras for an arbitrary signature $Sigma$, we study the notions of regular and strongly regular relations on a $Sigma$-hyperalgebra, $mathfrak{A}$. We show that each regular relation which contains a strongly regular relation is a strongly regular relation. Then we concentrate on the connection between the fundamental relation of $mathf...

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.