The category of the title is called $mathcal{W}$. This has all free objects $F(I)$ ($I$ a set). For an object class $mathcal{A}$, $Hmathcal{A}$ consists of all homomorphic images of $mathcal{A}$-objects. This note continues the study of the $H$-closed monoreflections $(mathcal{R}, r)$ (meaning $Hmathcal{R} = mathcal{R}$), about which we show ({em inter alia}): $A in mathcal{A}$ if and  only if...

This paper proposes a new MINLP model for heat exchanger network synthesis that includes streams with phase change. The model considers every possible combination of process streams that may arise within a chemical process: streams with sensible heat, streams with latent heat, and streams with both latent and sensible heat. As part of the optimization strategy, the superstructure is modeled wit...

We study here $T_{0}$-$Q$-bitopological spaces and sober $Q$-bitopological spaces and their relationship with two particular Sierpinski objects in the category of $Q$-bitopological spaces. The epireflective hulls of both these Sierpinski objects in the category of $Q$-bitopological spaces turn out to be the category of $T_0$-$Q$-bitopological spaces. We show that only one of these Sierpinski ob...

IVe present a. coiiiputatioiial niodel of liuiiian testure segiiieiit+ tioii ancl asgne for its utility in niachine vision. Major tlieories due to dnlesz and Beck attribute preattent,ive texture segmentation to differences in first-order statistics of stininlus features such as oriciitat.ion, size and briglitliess of constituent eleiiients. An dternat,ive ayproa.ch seeks to esploi t psycliopliy...

in this paper, a novel multi-objective bus stop location model is proposed, which considers not only the coverage of demand and minimization of access time but also the necessities of suitable stops for transit network design phase. three objective functions are considered including minimizing (i) sum of the total access distance (time), (ii) the weighted combination of stops, and (iii) the num...

We develop a formal theory of mereology that includes relations that change over time. We show how this theory formalizes reasoning over domains of material objects, which include not only integral objects (my computer, your liver) but also portions of stuff (the water in your glass, the blood in a vial). In particular, we use different mereological summation relations to distinguish between th...