Integrating Safety Guarantees into the Learning Classifier System XCS von Hansmeier, Tim, Platzner, Marco

Volltext

An Accelerator for Resolution Proof Checking based on FPGA and Hybrid Memory Cube Technology von Hansmeier, Tim, Platzner, Marco, Pantho, Md Jubaer Hossain, Andrews, David

Volltext

An FPGA/HMC-Based Accelerator for Resolution Proof Checking von Hansmeier, Tim, Platzner, Marco, Andrews, David

Volltext

Three-Dimensional Histological Characterization of the Placental Vasculature Using Light Sheet Microscopy von Freise, Lennart, Behncke, Rose Yinghan, Allerkamp, Hanna Helene, Sandermann, Tim Henrik, Chu, Ngoc Hai, Funk, Eva Maria, Hondrich, Lukas Jonathan, Riedel, Alina, Witzel, Christian, Hansmeier, Nils Rouven, Danyel, Magdalena, Gellhaus, Alexandra, Dechend, Ralf, Hägerling, René

Volltext

Cold-induced expression of a truncated adenylyl cyclase 3 acts as rheostat to brown fat function von Khani, Sajjad, Topel, Hande, Kardinal, Ronja, Tavanez, Ana Rita, Josephrajan, Ajeetha, Larsen, Bjørk Ditlev Marcher, Gaudry, Michael James, Leyendecker, Philipp, Egedal, Nadia Meincke, Güller, Aylin Seren, Stanic, Natasa, Ruppert, Phillip M. M., Gaziano, Isabella, Hansmeier, Nils Rouven, Schmidt, Elena, Klemm, Paul, Vagliano, Lara-Marie, Stahl, Rainer, Duthie, Fraser, Krause, Jens-Henning, Bici, Ana, Engelhard, Christoph Andreas, Gohlke, Sabrina, Frommolt, Peter, Gnad, Thorsten, Rada-Iglesias, Alvaro, Pradas-Juni, Marta, Schulz, Tim Julius, Wunderlich, Frank Thomas, Pfeifer, Alexander, Bartelt, Alexander, Jastroch, Martin, Wachten, Dagmar, Kornfeld, Jan-Wilhelm

Volltext