We propose a portfolio-based solving approach to Answer Set Programming (ASP). Our approach is homogeneous in considering several configurations of the ASP solver clasp. The selection among the configurations is realized via Support Vector Regression. The resulting portfolio-based solver claspfolio regularly outperforms clasp’s default configuration as well as manual tuning.

Integrin aIIbb3 is a member of the integrin family of transmembrane proteins present on the plasma membrane of platelets. Integrin aIIbb3 is widely known to regulate the process of thrombosis via activation at its cytoplasmic side by talin and interaction with the soluble fibrinogen. It is also reported that three groups of interactions restrain integrin family members in the inactive state, in...

We describe a new authentication paradigm that seeks to achieve both a desirable user experience and a high level of security. We describe a potential implementation of an identity manager in the guise of a smart bracelet. This bracelet would be equipped with a low-power processor, a Bluetooth LE transmitter, an accelerometer, and a clasp that is constructed so that opening and closing it would...

STATEMENT OF PROBLEM The use of metal clasps on anterior teeth may cause esthetic problems. Recently, acetal resins have been used as an alternative tooth-colored denture clasp material to improve esthetics. However, there are few studies to support acetal resin use. PURPOSE The purpose of this in vitro study was to compare the retentive force and deformation of acetal resin and cobalt-chromi...

Segments of dog carotid artery were held at in-situ length and studied in vitro after excitation of the muscle with norepinephrine and after poisoning of the muscle with potassium cyanide. In-situ length corresponded to a longitudinal strain of .57 ± .02 relative to the unstretched length. The longitudinal elastic modulus was about 4.1 X 10 dyn/cm at in-situ length and zero transmural pressure....