Abonnieren Sie diese Sammlung, um täglich per E-Mail über Neuerscheinungen informiert zu werden.

Erscheinungsjahr	Titel	VerfasserIn	OpenAccess
2020	From Verification to Explanation (Track Introduction)	Baier, Christel; Hermanns, Holger
2020	PRODeep: a platform for robustness verification of deep neural networks	Li, Renjue; Li, Jianlin; Huang, Cheng-Chao, u.a.
2020	From condition-specific interactions towards the differential complexome of proteins	Will, Thorsten
2020	A New Approach to Plan-Space Explanation: Analyzing Plan-Property Dependencies in Oversubscription Planning	Eifler, Rebecca; Cashmore, Michael; Hoffmann, Jörg, u.a.
2020	Beliefs We Can Believe in: Replacing Assumptions with Data in Real-Time Search	Fickert, Maximilian; Gu, Tianyi; Staut, Leonhard, u.a.
2020	Neural Network Heuristics for Classical Planning: A Study of Hyperparameter Space	Ferber, Patrick; Helmert, Malte; Hoffmann, Jörg
2020	Plan-Space Explanation via Plan-Property Dependencies: Faster Algorithms & More Powerful Properties	Eifler, Rebecca; Steinmetz, Marcel; Torralba, Álvaro, u.a.
2020	Planen	Hoffmann, Jörg; Helmert, Malte; Gnad, Daniel, u.a.
2020	Tracking the Race Between Deep Reinforcement Learning and Imitation Learning	Gros, Timo P.; Höller, Daniel; Hoffmann, Jörg, u.a.
2019	Fluoridation of hydroxyapatite : a physicochemical view on caries prophylaxis via fluoride application	Faidt, Thomas
2019	Perquinolines A-C: Unprecedented Bacterial Tetrahydroisoquinolines Involving an Intriguing Biosynthesis	Rebets, Yuriy; Nadmid, Suvd; Paulus, Constanze, u.a.
2019	How Thermal Fluctuations Affect Hard-Wall Repulsion and Thereby Hertzian Contact Mechanics	Zhou, Yunong; Wang, Anle; Müser, Martin H.
2019	Are There Limits to Superlubricity of Graphene in Hard, Rough Contacts?	Müser, Martin H.
2019	Ist Empathie eine Lüge? Zur Frage der sozialen Erwünschtheit in der Empathiemessung	Paulus, Christoph
2019	Multi-platform discovery of haplotype-resolved structural variation in human genomes	Chaisson, Mark J. P.; Sanders, Ashley D.; Zhao, Xuefang, u.a.
2019	Die Beweisführung mit digitalen Spuren und das Unmittelbarkeitsprinzip	Brodowski, Dominik
2019	Follow-up of accelerated-crosslinking non-invasively and label-free using multiphoton tomography	Goncalves Batista, Ana Maria; Breunig, Hans Georg; Hager, Tobias, u.a.
2019	Cybercrime, human rights and digital politics	Brodowski, Dominik
2019	Contemporary scientometric analyses using a novel web application: the science performance evaluation (SciPE) approach	Scholz, Sean S.; Dillmann, Markus; Flohr, Alexander, u.a.
2019	What's the target: understanding two decades of in silico microRNA-target prediction	Kern, Fabian; Backes, Christina; Hirsch, Pascal, u.a.