M. F. Schneider

Learn More
Adenosine deaminases that act on RNA (ADAR) are a class of enzymes that catalyze the conversion of adenosine to inosine in RNA. Since inosine is read as guanosine ADAR activity formally introduces A-to-G point mutations. Re-addressing ADAR activity toward new targets in an RNA-dependent manner is a highly rational, programmable approach for the manipulation(More)
Since 2004, the increases in processing power enabled by Moore's law have been primarily achieved by means of multi-core processor architectures. To make effective use of modern hardware when solving hard computational problems, it is therefore necessary to employ parallel solution strategies. In this work, we demonstrate how effective parallel solvers for(More)
Artificial Intelligence (AI) researchers have for decades worked on building game-playing agents capable of matching wits with the strongest humans in the world, resulting in several success stories for games like chess and checkers. The success of such systems has been partly due to years of relentless knowledge-engineering effort on behalf of the program(More)
Answer set programming (ASP) is a declarative programming formalism that allows a practitioner to specify a problem without describing an algorithm for solving it. In ASP, the tools for processing problem specifications are called answer set solvers. These systems often require significant computational effort to succeed. Furthermore, they offer different(More)
  • 1