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

An unsteady two-dimensional finite-volume solver was developed based on Van Leer’s flux splitting algorithm in conjunction with “Monotonic Upstream Scheme for Conservation Laws (MUSCL)” limiters to improve the order of accuracy and the two-layer Baldwin-Lomax turbulence model was also implemented. Two test cases were prepared to validate the solver. The computed results were compared with the e...

Figure 2: Phantom images and separated fat-only and water-only images for (a) FTED, (b) nulling at RF, (c) nulling at the echo center. Flow-artifacts are effectively reduced in (b) and (c). Note that water tube in (a) and (b) was incorrectly separated into the fat-only image because the existing region growing algorithm cannot handle disconnected objects. (c) (b) (a) Flow Compensation in Freque...

The classical Helmholtz problem is applied for modelling the axisymmetric inviscid cusp-ended separated flow around a sphere. Two coordinate systems are employed: polar for initial calculations and parabolic the latter being more suitable for investigation of infinitely long stagnation zones. Scaled coordinates are introduced and difference schemes for the free-stream equation and the Bernoulli...

In this first part of a two-part study, experiments were performed to investigate condensation of FC-72 along parallel, square micro-channels with a hydraulic diameter of 1 mm and a length of 29.9 cm, which were formed in the top surface of a solid copper plate. The condensation was achieved by rejecting heat to a counter flow of water through channels brazed to the underside of the copper plat...

The classical Helmholtz problem is applied for modelling and numerical investigation of inviscid cusp-ended separated flow around circular cylinder. Two coordinate systems are used: polar for initial calculations and parabolic as topologically most suited for infinite stagnation zone. Scaling by the shape of the unknown free line renders the problem to computational domain with fixed boundaries...

arsenic trioxide (ato) has been reported to induce apoptosis in leukemic cells of acute promyelo-cytic leukemia (apl) patients through different pathways. however, the exact mechanism of ato-induced apoptosis is not yet clear. co stimulation of death receptors cd30 and tumor necrosis factor receptor type one (tnfr-i) is one of the postulated mechanisms.in the present study we aimed to evaluate ...