نتایج جستجو برای: isar
تعداد نتایج: 812 فیلتر نتایج به سال:
Valentin Riedl1,2 and Christopher J. Honey3 1Department of Neurology, Klinikum Rechts der Isar, Technische Universität München, 81675 Munich, Germany, 2Munich Center for Neurosciences-Brain and Mind, Ludwig-Maximilians-Universität München, 82152 Munich, Germany, and 3Department of Psychological and Brain Sciences, Indiana University, Bloomington, Indiana 47405 Review of He et al. (http://www.jn...
We present an approach to mathematical assistants which uses readable, executable proof scripts as the central language for interaction. We examine an implementation that combines the Isar language, the Isabelle theorem prover and the IsaPlanner proof planner. We argue that this synergy provides a flexible environment for the exploration, certification, and presentation of mathematical proof.
a Centre for Complementary Healthcare and Integrated Medicine (CCHIM), Faculty of Health and Human Sciences, Thames Valley University, Brentford, United Kingdom b Institute for General Practice, Johann Wolfgang Goethe University, Frankfurt/M., Germany c Kompetenzzentrum für Komplementärmedizin und Naturheilkunde, Klinikum rechts der Isar, TU München, Germany d Institute of Complementary Medicin...
1 Immunohistochemical pitfalls in the demonstration of insulindegrading enzyme in normal and neoplastic human tissues RAZVAN T. RADULESCU, ANGELIKA JAHN, DANIELA HELLMANN, AND GREGOR WEIRICH Clinical Research Unit, Department of Obstetrics and Gynecology, Klinikum rechts der Isar, Technical University of Munich, Ismaninger Str. 22, 81675 Munich, Germany Institute of Pathology, Technical Univers...
T. Hahn, S. Kozerke, M. Fox, W. Schwizer, A. Steingoetter, M. Fried, and P. Boesiger Institute for Biomedical Engineering, University of Zurich and ETH Zurich, Zurich, Switzerland, Division of Gastroenterology and Hepatology, University Hospital Zurich, Nottingham Digestive Diseases Centre and Biomedical Research Unit Queen's Medical Centre, University Hospital Nottingham, Institute of Radiolog...
INTRODUCTION We have recently seen the introduction of newer generation drug-eluting stents with ultrathin struts that use advanced polymer technologies. However, the efficacy and safety of these newest stents have not yet been fully explored. In addition, there are still controversies over the optimal duration of dual antiplatelet therapy (DAPT) after stent implantation, particularly for ultra...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید