Impaired decision-making and brain shrinkage in alcoholism

Alcohol-dependent individuals usually favor instant gratification of alcohol use and ignore its long-term negative consequences, reflecting impaired decision-making. According to the somatic marker hypothesis, decision-making abilities are subtended by an extended brain network. As chronic alcohol consumption is known to be associated with brain shrinkage in this network, the present study investigated relationships between brain shrinkage and decision-making impairments in alcohol-dependent individuals early in abstinence using voxel-based morphometry. Thirty patients performed the Iowa Gambling Task and underwent a magnetic resonance imaging investigation (1.5T). Decision-making performances and brain data were compared with those of age-matched healthy controls. In the alcoholic group, a multiple regression analysis was conducted with two predictors (gray matter [GM] volume and decision-making measure) and two covariates (number of withdrawals and duration of alcoholism). Compared with controls, alcoholics had impaired decision-making and widespread reduced gray matter volume, especially in regions involved in decision-making. The regression analysis revealed links between high GM volume in the ventromedial prefrontal cortex, dorsal anterior cingulate cortex and right hippocampal formation, and high decision-making scores (P<0.001, uncorrected). Decision-making deficits in alcoholism may result from impairment of both emotional and cognitive networks

Symbolic Decision Procedures for QBF

Much recent work has gone into adapting techniques that were originally developed for SAT solving to QBF solving. In particular, QBF solvers are often based on SAT solvers. Most competitive QBF solvers are search-based. In this work we explore an alternative approach to QBF solving, based on symbolic quantifier elimination. We extend some recent symbolic approaches for SAT solving to symbolic QBF solving, using various decision-diagram formalisms such as OBDDs and ZDDs. In both approaches, QBF formulas are solved by eliminating all their quantifiers. Our first solver, QMRES, maintains a set of clauses represented by a ZDD and eliminates quantifiers via multi-resolution. Our second solver, QBDD, maintains a set of OBDDs, and eliminate quantifier by applying them to the underlying OBDDs. We compare our symbolic solvers to several competitive search-based solvers. We show that QBDD is not competitive, but QMRES compares favorably with search-based solvers on various benchmarks consisting of non-random formulas

Characteristics, management, and outcomes of patients with left‐sided infective endocarditis complicated by heart failure: a substudy of the ESC‐EORP EURO‐ENDO (European infective endocarditis) registry

International audienc