Background The linkage of routine data collections are valuable for population-based evaluation of smoking cessation pharmacotherapy in pregnancy where little is known about the utilisation or safety of these pharmacotherapies antenatally. The use of ...

Liquid dominated reservoirs are a common type of hydrothermal reservoirs. They consist of fractured rock and reservoir fluid which may obey Darcy’s law. Steam can form in such reservoirs either through heat input which causes temperature increase or ...

The nominal transition systems (NTSs) of Parrow et al. describe the operational semantics of nominal process calculi. We study NTSs in terms of the nominal residual transition systems (NRTSs) that we introduce. We provide rule formats for the specifications ...