Beowulf und die kleineren Denkmäler der altenglischen Heldensage Waldere und Finnsburg. Mit Text und Übersetzung, Einleitung und Kommentar sowie einem Konkordanz-Glossar. In drei Teilen herausgegeben. 1. Teil Text, Übersetzung, Namenverzeichnis und Stammtafeln; 2. Teil Einleitung, Kommentar, Sachregister und Literaturverzeichnis Gerhard Nickel J. Klegraf W. Kühlwein D. Nehls R. Zimmermann

Autor: PHEIFER, J. D.

Publikováno v: Medium Ævum, 1981 Jan 01. 50(1), 118-120.

Externí odkaz: https://www.jstor.org/stable/43632078

Decoding pediatric spinal tumors: a single-center retrospective case series on etiology, presentation, therapeutic strategies, and outcomes.

Autor: Lenga P; Department of Neurosurgery, Heidelberg University Hospital, Heidelberg, Germany. pavlina.lenga@med.uni-heidelberg.de.; Department of Neurosurgery, University of Heidelberg, Im Neuenheimer Feld 400, 69120, Heidelberg, Germany. pavlina.lenga@med.uni-heidelberg.de., Kühlwein D; Department of Neurosurgery, Heidelberg University Hospital, Heidelberg, Germany., Grutza M; Department of Neurosurgery, Heidelberg University Hospital, Heidelberg, Germany., Issa M; Department of Neurosurgery, Heidelberg University Hospital, Heidelberg, Germany., Hinz F; Department of Neuropathology, Institute of Pathology, Heidelberg University Hospital, Heidelberg, Germany., Sahm F; Department of Neuropathology, Institute of Pathology, Heidelberg University Hospital, Heidelberg, Germany., Selt F; Hopp Children's Cancer Center Heidelberg (KiTZ), Heidelberg, Germany.; Clinical Cooperation Unit Pediatric Oncology, German Cancer Research Center (DKFZ) and German Consortium for Translational Cancer Research (DKTK), Heidelberg, Germany.; National Center for Tumor Diseases (NCT), Heidelberg, Germany.; Department of Pediatric Hematology and Oncology, Heidelberg University Hospital, Heidelberg, Germany., Milde T; Hopp Children's Cancer Center Heidelberg (KiTZ), Heidelberg, Germany.; Clinical Cooperation Unit Pediatric Oncology, German Cancer Research Center (DKFZ) and German Consortium for Translational Cancer Research (DKTK), Heidelberg, Germany.; National Center for Tumor Diseases (NCT), Heidelberg, Germany.; Department of Pediatric Hematology and Oncology, Heidelberg University Hospital, Heidelberg, Germany.; Department of Pediatrics and Adolescent Medicine, University Hospital Jena, Friedrich Schiller University, Jena, Germany., Günther P; Department of General, Visceral and Transplantation Surgery, Division of Pediatric Surgery, Heidelberg University Hospital, Heidelberg, Germany., Unterberg AW; Department of Neurosurgery, Heidelberg University Hospital, Heidelberg, Germany., Krieg SM; Department of Neurosurgery, Heidelberg University Hospital, Heidelberg, Germany., Damaty AE; Department of Neurosurgery, Heidelberg University Hospital, Heidelberg, Germany.

Publikováno v: Neurosurgical review [Neurosurg Rev] 2024 Sep 06; Vol. 47 (1), pp. 557. Date of Electronic Publication: 2024 Sep 06.

Machine Learning for Automated Reasoning

Autor: Kühlwein, D.

Contains fulltext : 135136.pdf (Publisher’s version ) (Open Access) Radboud Universiteit Nijmegen, 14 april 2014 Promotores : Heskes, T.M., Geuvers, J.H. Co-promotor : Urban, J. 129 p.

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::80d60568f039ca5edc5442229434e31a
http://hdl.handle.net/2066/135136

MaSh: Machine Learning for Sledgehammer

Autor: Kühlwein, D., Blanchette, J., Kaliszyk, C., Urban, J., Blazy, S., Paulin-Mohring, C., Pichardie, D.

Publikováno v: Interactive Theorem Proving ISBN: 9783642396335
ITP
Lecture Notes in Computer Science ; 7998, 35-50. Berlin : Springer
STARTPAGE=35;ENDPAGE=50;TITLE=Lecture Notes in Computer Science ; 7998
Blazy, S.; Paulin-Mohring, C.; Pichardie, D. (ed.), Interactive Theorem Proving, pp. 35-50

Sledgehammer integrates automatic theorem provers in the proof assistant Isabelle/HOL. A key component, the relevance filter, heuristically ranks the thousands of facts available and selects a subset, based on syntactic similarity to the current goal

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0f3b115741cf1fbf0622c7bf9eef5838
https://doi.org/10.1007/978-3-642-39634-2_6

Overview and Evaluation of Premise Selection Techniques for Large Theory Mathematics

Autor: Kühlwein, D., Laarhoven, T.M. van, Tsivtsivadze, E., Urban, J., Heskes, T., Gramlich, B., Miller, D., Sattler, U.

Publikováno v: Lecture Notes in Computer Science ; 7364, 378-392. Berlin : Springer
STARTPAGE=378;ENDPAGE=392;TITLE=Lecture Notes in Computer Science ; 7364
Gramlich, B.; Miller, D.; Sattler, U. (ed.), Automated Reasoning, pp. 378-392
Automated Reasoning ISBN: 9783642313646
IJCAR

In this paper, an overview of state-of-the-art techniques for premise selection in large theory mathematics is provided, and new premise selection techniques are introduced. Several evaluation metrics are introduced, compared and their appropriatenes

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9f948fec80491c3e02335cb3c6a45ef1
http://hdl.handle.net/2066/103601