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

Introduction Nephropathic cystinosis is a rare autosomal recessive disorder caused by a mutation in the CTNS gene, which encodes for cystinosin. It is characterized by the lysosomal accumulation of cystine, which leads to the formation of cystine crystals within various organs, including kidneys, brain, cornea, intestine and bone marrow. The exact role of intralysosomal cystine crystals accumul...

Nominalizations are expressions that are particularly challenging philosophically in that they help form singular terms that seem to refer to abstract or derived objects often considered controversial. The three standard views about the semantics of nominalizations are [1] that they map mere meanings onto objects, [2] that they refer to implicit arguments, and [3] that they introduce new object...

In January 2015, the European Food Safety Authority (EFSA) published a new opinion on the assessment of the health risks associated with Bisphenol A (BPA) in foods and from other, non-dietary sources. In this opinion, the EFSA experts conclude that based on the current scientific evidence and given the current levels of consumer exposure, BPA does not pose a health risk for any age group. This ...

The development of marine insurance has been imperative for the expansion of longdistance maritime trade. Without marine insurance, the Dutch Republic would not have been able to enlarge its trade networks and in all likelihood would not have prospered as it did in the early modern era. The emergence and early development of marine insurance in the Netherlands has been fairly well documented. T...

Objectives. To investigate whether lifestyle-only intervention in obese children who maintain or lose a modest amount of weight redistributes parameters of body composition and reverses metabolic abnormalities. Study Design. Clinical, anthropometric, and metabolic parameters were assessed in 111 overweight or obese children (CA of 11.3 ± 2.8 years; 63 females and 48 males), during 8 months of l...