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