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...

In the following we report on the outcome of the ICWE 2015 Rapid Mashup Challenge (RMC), describe the voting system used, and draw some conclusions regarding the presented works.

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...

the aim of this study was to determine the effect of motivational self-talk as one of the psychological strategies. motivational self-talk is a type of self-talk that appears to improve performance and control arousal level through increased drive and effort and positive motivation in performance. this study tried to investigate the effect of motivational self-talk on performance of simple and ...