Systems Biology (former group) (Excellence Cluster on Multimodal Computing and Interaction) Dr. Marcel Schulz Algorithms for Computational Genomics (former group) (Center of Bioinformatics, Saarland University)
the Max Planck Institute for Informatics . The equational theorem prover E , developed by Stephan Schulz The Vampire theorem prover, developed by Andrei Voronkov The extension SPASS+T developed by Uwe Waldmann
PuRe BibTeX publisher version 2018 5 Article D2 BIO D5 A. Horňáková, M. List, J. Vreeken, and M. H. Schulz “JAMI: Fast Computation of Conditional Mutual Information for ceRNA Network Analysis,” Bioinformatics [...] Network Analysis}, AUTHOR = {Hor{\v n}{\'a}kov{\'a}, Andrea and List, Markus and Vreeken, Jilles and Schulz, Marcel H.}, LANGUAGE = {eng}, ISSN = {1367-4803}, DOI = {10.1093/bioinformatics/bty221}, PUBLISHER [...] Endnote %0 Journal Article %A Horňáková, Andrea %A List, Markus %A Vreeken, Jilles %A Schulz, Marcel H. %+ Computer Vision and Multimodal Computing, MPI for Informatics, Max Planck Society
Soshi Shimada* Mike Sips Hartmut Schirmacher Robert Schneider Volker Scholz Jeffrey Schoner Christian Schulz Michael Schwarz Thomas Schultz Ulrich Schwanecke Ana Serrano Kuangyu Shi Kaleigh Smith Cyril Soler
3.02.24.529835 %D 2024 DOI PuRe BibTeX pre-print version 2023 6 Article BIO J. Fischer and M. H. Schulz “Efficiently quantifying DNA methylation for bulk- and single-cell bisulfite data,” Bioinformatics [...] quantifying {DNA} methylation for bulk- and single-cell bisulfite data}, AUTHOR = {Fischer, Jonas and Schulz, Marcel Holger}, LANGUAGE = {eng}, ISSN = {1367-4803}, DOI = {10.1093/bioinformatics/btad386}, PUBLISHER [...] VOLUME = {39}, NUMBER = {6}, EID = {btad386}, } Endnote %0 Journal Article %A Fischer, Jonas %A Schulz, Marcel Holger %+ Computational Biology and Applied Algorithmics, MPI for Informatics, Max Planck
34 Process size 1876000 Search time [s] 0.2 Finally there is a third program, created by Stephan Schulz , used to produce a human readable proof. General Overview In outline, the task Waldmeister deals [...] r fails in calling it, this directory should be added to the path variable of the shell. Stephan Schulz has written a tool named "lemma" with many possibilities to control the processing of the proof.
Automation: A Report on the Ongoing Matryoshka Project , Jasmin Blanchette, Pascal Fontaine, Stephan Schulz, Sophie Tourre, and Uwe Waldmann, ARCADE, 2019 ( pdf , slides ) SLD-Resolution Reduction of Second-Order
solches neues Software-Werkzeug beschreibt die Publikation von Schmidt et al., aus der Gruppe um Marcel Schulz (Universität des Saarlandes und MPI für Informatik, Saarbrücken) erschienen in der Zeitschrift Nucleic
SURF - A Real-time implementation for SURF keypoint detection, description and matching (code) Andre Schulz, Florian Jung, Sebastian Hartte, Daniel Trick, Christian Wojek, Konrad Schindler, Jens Ackermann
