BAK is a pro-apoptotic BCL-2 protein that forms toxic mitochondrial pores in response to cellular stress. A membrane-embedded protein historically refractory to recombinant expression in full-length form, BAK plays it close to the vest. We recently produced monomeric, full-length BAK (FL-BAK) for the first time, 1 providing new opportunities to interrogate its activation mechanism as compared w...

We consider two-player games over graphs and give tight bounds on the memory size of strategies ensuring safety conditions. More specifically, we show that the minimal number of memory states of a strategy ensuring a safety condition is given by the size of the maximal antichain of left quotients with respect to language inclusion. This result holds for all safety conditions without any regular...

The game of Hex is a two-player game with simple rules, a deep underlying mathematical beauty, and a strategic complexity comparable to that of Chess and Go. The massive game-tree search techniques developed mostly for Chess, and successfully used for Checkers, Othello, and a number of other games, become less useful for games with large branching factors like Go and Hex. We offer a new approac...