( en | de | ru )

 

Disambiguierung von "Schumann, Johann"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Generating Data Analysis Programs from Statistical Models.

, , und . SAIG, Volume 1924 von Lecture Notes in Computer Science, Seite 212-229. Springer, (2000)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Johann Ph Schumann

Edgar Schumann

Horst Schumann

Gerhard Schumann

Siegfried Schumann

 

Weitere Publikationen von Autoren mit dem selben Namen

AutoBayes: a system for generating data analysis programs from statistical models., und . J. Funct. Program., 13 (3): 483-508 (2003)SETHEO Goes Software Engineering: Application of ATP to Software Reuse., und . CADE, Volume 1249 von Lecture Notes in Computer Science, Seite 65-68. Springer, (1997)SiCoTHEO: Simple Competitive Parallel Theorem Provers.. CADE, Volume 1104 von Lecture Notes in Computer Science, Seite 240-244. Springer, (1996)PIL/SETHEO: A Tool for the Automatic Analysis of Authentication Protocols.. CAV, Volume 1633 von Lecture Notes in Computer Science, Seite 500-504. Springer, (1999)Using the Theorem Prover SETHEO for Verifying the Development of a Communication Protocol in FOCUS: A Case Study.. TABLEAUX, Volume 918 von Lecture Notes in Computer Science, Seite 338-352. Springer, (1995)An ensemble approach to building Mercer Kernels with prior information., , und . SMC, Seite 2352-2359. IEEE, (2005)Software health management: a necessity for safety critical systems., und . Innov. Syst. Softw. Eng., 9 (4): 219-233 (2013)Generation of Formal Requirements from Structured Natural Language., , , und . REFSQ, Volume 12045 von Lecture Notes in Computer Science, Seite 19-35. Springer, (2020)Automating the implementation of Kalman filter algorithms., und . ACM Trans. Math. Softw., 30 (4): 434-453 (2004)Runway Sign Classifier: A DAL C Certifiable Machine Learning System., , , , und . CoRR, (2023)