This special issue comprises six papers devoted to SAT solving and three papers devoted to MAXSAT solving. With two exception, the papers contain detailed information about some of the best solvers from the 5th SAT solver competition and from the 2nd MAX-SAT solver competition, which took place as side event of the 10th International Conference on Theory and Applications of Satisfiability Testi...

Recent European guidelines have emphasized the association of vegetation size with embolic risk in endocarditis (1). On these grounds, left-sided vegetations >1 cm, and right-sided vegetations >2 cm are considered to be an indication for surgery. In this issue of iJACC, investigators from the MEDIC (Multicenter Electrophysiologic Device Cohort) registry report the importance of vegetation size ...

This book seeks to determine whether the idea of memes might provide the foundation for a progressive line of research on cultural diversification and evolution. In this, the concluding chapter, I don’t intend to make the definitive statement concerning the future of memetics. Rather, I attempt to make sense of what has gone before, and to find where there might be grounds for coming down on on...

quṭb al-dīn al-shīrāzī (634h/1236ce-710h/1311ce) wrote four major works on astronomy: nihāyat al‐idrāk fī dirāyat al‐aflāk (“the utmost attainment in comprehending the orbs), in arabic, first edition completed mid-shaʿbān 680/november 1281); the ikhtiyārāt‐i muẓaffarī (“selections for muẓaffar al-dīn arslan” [a minor ruler in qasṭamūnī (modern kastamonu, turkey)], in persian, completed sometime...

abstract background and objective: diabetes mellitus is associated with cardiomyopathic changes, can be mediated by an oxidative stress. we aimed to study the effects of regular aerobic training and arbutin supplementation on total oxidant status (tos) and total antioxidant (tas) status in the cardiac tissue of diabetic rats. material and methods: fourty-two male wistar rats with an average wei...

background: about 80% of deaths in 350 million cases of diabetes in the world occur in low and middle income countries. the aim of this study was to determine the status of diabetes socioeconomic inequality and the share of determinants of inequalities in kurdistan province, west of iran, using two surveys in 2005 and 2009.   methods: data were collected from non-communicable disease surveillan...