We study the decidability and complexity of verification problems for infinite-state systems. A fundamental question in formal verification is if the behaviour of one process is reproducible by another. This inclusion problem can be studied for various models of computation and behavioural preorders. It is generally intractable or even undecidable already for very limited computational models. ...

objectives: this paper reviews the current literature on acquired brain injury (abi) with a focus on abi burden, importance of community integration, and community integration definitions suggested by the literature. methods: literature review results: acquired brain injury (abi) is referred to a diverse range of disabilities resulted of injury in different parts of the brain. people with abi a...

this study presents the influence of hydroxypropyl-β-cyclodextrin (hpbcd) on the aqueous solubility of acyl esters of cyproterone. first, a number of esters of cyproterone were synthesized. then the phase solubility analysis of the compounds in the presence of hpbcd was investigated in phosphate buffer solution at a ph of 7.4. to gain a better understanding of the complexation mechanism, the sy...

diosmin, a vascular-protecting agent, is practically insoluble in water, and its oral absorption is limited by its extremely low dissolution rate. in this study, β-cyclodextrin (βcd) and 2-hydroxypropyl-β-cyclodextrin (hpβcd) were obtained to improve the solubility and dissolution rate of diosmin. phase solubility studies of diosmin with βcd and hpβcd in distilled water were conducted to charac...

it is well known that a microperiodic function mapping a topological group into reals, which is continuous at some point is constant. we introduce the notion of a microperiodic multifunction, defined on a topological group with values in a metric space, and study regularity conditions implying an analogous result. we deal with vietoris and hausdorff continuity concepts.stability of microperiodi...

one of the methods to enhance bio-accessibility of drugs like acridone and its oxime is toform inclusion complexes with β-cyclodextrin. the formation of such complexes has beenconfirmed by changes in spectral characteristics and melting point data. the aqueous phasesolubility studies reveal 1:1 stoichiometry between the compound and, β-cyclodextrin. the studyof thermodynamic parameters like δg,...

Background Physical activity in students in addition to positively affecting their different health aspects is also effective in academic progress and reducing absence from school. Physical activity in students is affected by several factors. The aim of this systematic ...

In this paper, we prove that the Strong Novikov Conjecture for a residually finite group is essentially equivalent to the Coarse Geometric Novikov Conjecture for a certain metric space associated to the group. As an application, we obtain the Coarse Geometric Novikov Conjecture for a large class of sequences of expanders.