Michael Kohlhase - PDFSEARCH.IO - Document Search Engine

Michael Kohlhase
Results: 23

#	Item
1	Lebenslauf – Kurzform Persönliche Daten Name Dr. Michael Kohlhase Add to Reading List Source URL: www.kohlhase.de - Date: 2015-09-25 06:45:27
2	OpenDreamKit Work Package 6 The Knowledge-First Strategy for System Integration Add to Reading List Source URL: opendreamkit.org Language: English - Date: 2016-04-03 07:00:36 Software Computing Application software Semantic Web Markup languages Mathematical markup languages Michael Kohlhase OMDoc SageMath Type theory
3	Personal Details Dr Volker Sorge Senior Lecturer (Associate Professor) School of Computer Science The University of Birmingham Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2014-07-17 06:43:07 Science Lecture Notes in Computer Science Computer science Algorithmic Number Theory Symposium Michael Kohlhase Mathematics James H. Davenport Mathematical knowledge management
4	MathWebSearch at NTCIR-11: Keywords, Frontend, & Scalability Radu Hambasan & Michael Kohlhase & Corneliu Prodescu http://kwarc.info/kohlhase Computer Science Jacobs University Bremen, Germany Add to Reading List Source URL: research.nii.ac.jp Language: English - Date: 2014-12-15 20:05:37 Computing Finite model theory Information Michael Kohlhase MathML Information retrieval Searching OpenMath Search engine indexing Information science Markup languages Mathematical markup languages
5	NTCIR-11 Math-2 Task Overview Akiko Aizawa Michael Kohlhase Iadh Ounis NII Tokyo Jacobs University Univ. of Glasgow The NTCIR Math Task is specifically dedicated to information access to mathematical content. Add to Reading List Source URL: research.nii.ac.jp Language: English - Date: 2014-12-14 20:05:48 FO Mathematics Markup languages MathML Computing
6	MathWebSearch: Low-Latency Unification-based Full-Text Search Radu Hambasan, Michael Kohlhase, Corneliu Prodescu http://kwarc.info MathWebSearch is a content-based search engine that focuses on fast query answering for i Add to Reading List Source URL: research.nii.ac.jp Language: English - Date: 2014-12-16 00:12:40 Query expansion Information science Integral calculus MathML
7	Proceedings of the 11th NTCIR Conference, December 9-12, 2014, Tokyo, Japan NTCIR-11 Math-2 Task Overview Akiko Aizawa Michael Kohlhase Add to Reading List Source URL: research.nii.ac.jp Language: English - Date: 2014-11-26 23:45:54 Natural language processing Searching IR evaluation FO MathML IP Query Concept Search Information science Information retrieval Science
8	Proceedings of the 11th NTCIR Conference, December 9-12, 2014, Tokyo, Japan MathWebSearch at NTCIR-11 Radu Hambasan Michael Kohlhase Add to Reading List Source URL: research.nii.ac.jp Language: English - Date: 2014-11-26 23:45:52 Mathematical markup languages Natural language processing Searching MathML Text Retrieval Conference FO OMDoc Full text search Query Information science Information retrieval Markup languages
9	NTCIR-11 Math-2 Task Overview Add to Reading List Source URL: research.nii.ac.jp Language: English - Date: 2014-12-16 01:59:03 Imaginary unit Mathematical analysis Michael Kohlhase Pi
10	Literate Sources for Content Dictionaries Lars Hellstr¨om Department of Mathematics and Mathematical Statistics, Ume˚ a University, Ume˚ a, Sweden; [removed] Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2013-07-06 08:50:41 Technical communication Typesetting OpenMath OMDoc Literate programming TeX MathML XML Michael Kohlhase Computing Markup languages Mathematical markup languages