Learn with SAT to Minimize Büchi Automata

af Stephan Barth, Martin Hofmann
Udgivet 2012-10-01

Labeling of Anti-MUC-1 Binding Single Chain Fv Fragments to Surface Modified Upconversion Nanoparticles for an Initial in Vivo Molecular Imaging Proof of Principle Approach

af Markus Haase, Jens Waldeck, Christoph Bremer, Karen Köhler, Diana Dimova-Landen, Werner Hoheisel, Stephan Barth, Helga Hummel, Theo Thepen, Michael Huhn, Claudia Walter, Volker Weiler, Anja Hischemöller
Udgivet 2012-03-01