We show that considering labelled transition systems as relational presheaves captures several recently studied examples in a general setting. This approach takes into account possible algebraic structure on labels. We show that left (2-)adjoints to change-of-base functors between categories of relational presheaves with relational morphisms always exist and, as an application, that weak closur...

Evaporation and condensation phenomena play a significant role in many of the nuclear, biochemical, thermal processes industrial applications. It is complicated phenomenon as it undergoes ...

The effect of external forces on axial arterial wall mechanics has conventionally been regarded as secondary to hemodynamic influences. However, arteries are similar to muscles in terms of the manner in which they traverse joints, and their three-dimensional geometrical requirements for joint motion. This study considers axial arterial shortening and elongation due to motion of the lower extrem...

Integration of phase change materials (PCMs) into building fabrics is considered to be one of the potential and effective ways of minimizing energy consumption and CO2 emissions in the building sector. In order to assess the thermal effectiveness of this concept, composite PCM drywall samples (i.e. randomly-mixed and laminated PCM drywalls) have been evaluated in a model passive solar building....