We introduce an explicit diagrammatic syntax for PROs and PROPs, which are used in the theory of operads. By means of diagram rewriting, we obtain presentations of PROs by generators and relations, and in some cases, we even get convergent rewrite systems. This diagrammatic syntax is useful for practical computations, but also for theoretical results. Moreover, rewriting is strongly related to ...

Separation of a racemic mixture of ibuprofen at a low concentration level by supercritical fluid chromatography in a simulated moving bed (SFC-SMB) is investigated by simulation. The feasibility of ibuprofen enantiomers separation has been experimentally examined in the literature. Our simulation results show that separation of ibuprofen enantiomers is feasible by this method, and R-ibuprofen a...

Experimental determination of solubility and ternary phase diagram of chiral compound are of tedious and time consuming tasks, and in many cases, there is not enough experimental data for different enantiomeric compositions to access the experimental ternary phase diagram. Using thermodynamic models with predictive capability, having less dependency on experimental data, affords a great advanta...

Forming limit curves are used as a parameter in finite element analysis to control the material's level of formability. In this research, forming limit diagram (FLD) of SS304L sheet was obtained by ABAQUSfinite element software. In practice, the experimental determination of a forming limit curve is a very time-consuming procedure which requires special and expensive equipment. Forming limit di...

In this paper, we continue our study of the class of diagram groups. Simply speaking, a diagram is a labelled plane graph bounded by a pair of paths (the top path and the bottom path). To multiply two diagrams, one simply identifies the top path of one diagram with the bottom path of the other diagram, and removes pairs of “reducible” cells. Each diagram group is determined by an alphabet X, co...

We study the Hausdorff Voronoi diagram of a set S of polygonal objects in the plane, a generalization of Voronoi diagrams based on the maximum distance of a point from a polygon, and show that it is equivalent to the Voronoi diagram of S under the Hausdorff distance function. We investigate the structural and combinatorial properties of the Hausdorff Voronoi diagram and give a divide and conque...

Given a point set the Voronoi diagram associates to each point all the locations in a plane that are closer to it . This diagram is often used in spatial analysis to divide an area among points. In the ordinary Voronoi diagram the points are treated as equals and the division is done in a purely geometrical way. A weighted Voronoi diagram is defined as an extension of the original diagram. The ...

This paper presents one proposal for teaching the foundations of object oriented programming using the Unified Modeling Language (UML) as one modeling language and Java as one object oriented programming language. Unlike other approaches where only two types of UML diagrams are used with the intention of transferring them to a codification (class diagram and sequence diagram, or class diagram a...

Bankwitz characterized an alternating diagram representing the trivial knot. A non-alternating diagram is called almost alternating if one crossing change makes the diagram alternating. We characterize an almost alternaing diagram representing the trivial knot. As a corollary we determine an unknotting number one alternating knot with a property that the unknotting operation can be done on its ...

We propose a construction of a global phase diagram for the quantum Hall effect. This global phase diagram is based on our previous constructions of visibility diagrams in the context of the Quantum Hall Effect. The topology of the phase diagram we obtain is in good agreement with experimental observations (when the spin effect can be neglected). This phase diagram does not show floating.