Given a real number t > 1, a geometric t-spanner is a geometric graph for a point set in R with straight lines between vertices such that the ratio of the shortest-path distance between every pair of vertices in the graph (with Euclidean edge lengths) to their actual Euclidean distance is at most t. An imprecise point set is modeled by a set R of regions in R. If one chooses a point in each reg...

The monoid $Cb$ of name substitutions and the notion of finitely supported $Cb$-sets introduced by Pitts as a generalization of nominal sets. A simple finitely supported $Cb$-set is a one point extension of a cyclic nominal set. The support map of a simple finitely supported $Cb$-set is an injective map. Also, for every two distinct elements of a simple finitely supported $Cb$-set, there exists...

This paper demonstrates the redundancies concerning the increasing popular ``soft set" approaches to general topologies. It is shown that there is a complement preserving isomorphism (preserving arbitrary $widetilde{bigcup}$ and arbitrary $widetilde{bigcap}$) between the lattice ($mathcal{ST}_E(X,E),widetilde{subset}$) of all soft sets on $X$ with the whole parameter set $E$ as domains and the ...

Dielectric barrier discharge, originally called silent is the electrical discharge between two electrodes separated by an insulating dielectric barrier. A high-voltage alternating current required to generate process. There are major principles of operation implement a generator: resonant mode and forced mode. While operating in mode, working frequency user using internal electronic devices. On...

Multilevel inverters have been developed due to limitations of the conventional two-level voltage source inverters (VSIs). Most of the topologies of multilevel inverters that have been presented in the literature are based on the sharing of the rated voltage between the switches so that the switches with lower voltage ratings can be used. In these topologies, the current rating of all of the sw...