Numerous studies have confirmed beneficial effects of polyglucose dialysis solution (PG-DS), an amino acid dialysis solution (AA-DS), and bicarbonate (bic) or bicarbonate/lactate (bic/lac) buffered solutions on selected components of peritoneal bioavailability or clinical parameters of peritoneal dialysis (PD) patients. Few adverse effects have also been described. A question arises whether the...

We study the model checking complexity of Alternating-time temporal logic with imperfect information and imperfect recall (atlir). Contrary to what we have stated in [11], the problem turns out to be∆2 -complete, thus con rming the initial intuition of Schobbens [18]. We prove ∆2 -hardness through a reduction of the SNSAT problem, while the membership in∆ P 2 stems from the algorithm presented ...

The rapid diffusion of online social networks has shifted a large proportion of human interaction away from traditional means of communication. The purpose of this work is to assess concerns regarding the quality of the relationships supported through online social networks. Properties of interaction are assumed to be a reasonable benchmark for the quality of relationships among people. Therefo...