We develop diagram techniques for proving connuence in abstract reductions systems. The underlying theory gives a systematic and uniform framework in which a number of known results, widely scattered throughout the literature, can be understood. These results include Newman's

Taking both perceptual organization and aesthetic criteria into account is the key to high-quality diagram layout, but makes for a more di cult problem than pure aesthetic layout. Computing the layout of a network diagram that exhibits a speci ed perceptual organization can be phrased as a constraint-satisfaction problem. Some constraints are derived from the perceptual-organization speci catio...

Euler Diagrams are a well-known visualisation of set-based relationships, used in many application areas and at the basis of more complex notations. We propose a static code for concrete Euler Diagrams, which enables efficient storage (vs. storage of concrete diagrams), and transformations preserving concrete-level structure, hence the viewer’s mental map. We provide the theoretical underpinnin...

Perhaps the simplest Colpitts oscillator to construct and get running. Because there is no load on the inductor a high "Q" circuit results with a high L/C. Colpitts Oscillator Tutorial and the theory behind the design of the Colpitts Oscillator which uses a LC Oscillator tank circuit to generate sine waves. The Colpitts Oscillator Circuit Characterised By Tapping The Midpoint Of The Capacitive ...

A generalization of the Kauffman tangle algebra is given for Coxeter type Dn. The tangles involve a pole of order 2. The algebra is shown to be isomorphic to the Birman-Murakami-Wenzl algebra of the same type. This result extends the isomorphism between the two algebras in the classical case, which, in our set-up, occurs when the Coxeter type is An−1. The proof involves a diagrammatic version o...

We conclude the discussion of additivity, Baire number, uniformity and covering for measure and category by constructing the remaining 5 models. Thus we complete the analysis of Cicho´n's diagram.

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...