In this paper we propose the use of two resolution-based rules for the Max-SAT encoding of the Maximum Clique Problem. These rules simplify the problem instance in such a way that a lower bound of the optimum becomes explicit. Then, we present a pre-processing procedure that applies such rules. Empirical results show evidence that the lower bound obtained with the preprocessing outperforms prev...

      The pharmacokinetic properties of amoxicillin and clavulanic acid when used alone or in combination may be different and show interaction between these two agents that might decrease the absolute bioavailability of clavulanic acid. In an open, randomized, replicated Latin square under fasting condition, pharmacokinetics of new formulations of amoxicillin/clavulanic acid were compared with...

inthis paper, the main aim is to introduce the class $mathcal{u}_p(lambda,alpha,beta,k_0)$ of $p$-harmonic mappings togetherwith its subclasses $mathcal{u}_p(lambda,alpha,beta,k_0)capmathcal {t}_p$ and $mathcal{u}_p(lambda,alpha,beta,k_0)capmathcal {t}_p^0$, andinvestigate the properties of the mappings in these classes. first,we give a sufficient condition for mappings to be in $mathcal{u}_p(l...

We introduce a new numerical abstract domain able to infer min and max invariants over the program variables, based on max-plus polyhedra. Our abstraction is more precise than octagons, and allows to express non-convex properties without any disjunctive representations. We have defined sound abstract operators, evaluated their complexity, and implemented them in a static analyzer. It is able to...

We define new encodings from Max-CSP into Partial MaxSAT which are obtained by modelling the at-most-one condition with the sequential SAT encoding of the cardinality constraint ≤ 1(x1, . . . , xn). They have fewer clauses than the existing encodings, and the experimental results indicate that they have a better performance profile.

Maximal static inspiratory and expiratory mouth pressures (PI,max and PE,max, respectively) enable the noninvasive measurement of global respiratory muscle strength. The aim of this study was primarily to obtain normal values of PI,max and PE,max for adult Chinese, Malays and Indians and, secondarily, to study their effect on lung volumes in these subjects. Four hundred and fifty two healthy su...