We consider Pareto analysis of reachable states of multi-priced timed automata (MPTA): timed automata equipped with multiple observers that keep track of costs (to be minimised) and rewards (to be maximised) along a computation. Each observer has a constant non-negative derivative which may depend on the location of the MPTA. We study the Pareto Domination Problem, which asks whether it is poss...

In the current study, a rigorous modeling approach was used to develop mathematical model for non-isothermal absorption process of CO2 in hollow fiber membrane contactors (HFMC). Four amino acid-based ionic liquids (ILs) namely, tetramethylammonium glycinate [N1111][Gly], 1-ethyl-3-methylimidazolium [C2mim][Gly], 1-butyl-3-methylimidazolium [C4mim][Gly] and 1-hexyl-3-methylimidazolium [C?mim][G...

CO2 capture, use, and storage have been identified as significant strategies for reducing greenhouse gas emissions induced by the usage of fossil fuels. The current review focuses on concepts post-combustion capture technologies based absorption mechanisms. Among all other developed technologies, researchers proposed most mature carbon technology industrial-scale application. Absorption-based c...