Inhaltsverzeichnis - Mathematisches Institut der Universität zu Köln

More documents

Recommendations

Info

$Dr. Kai Zehmisch SS 2013 Dipl.-Math. Hella Timmermann 3 ...$

$Prof. Dr. W. Wefelmeyer WS 2004/05 Dipl.-Math. K. Tang Übungen ...$

DMV Tagung 2011 - Köln, 19. - 22. September Michael Kohlhase Jacobs University Bremen Formelretrieval in mathematischen Publikationen – on the road Die Suche nach und in mathematischen Publikationen beschränkt sich bis heute auf den Text. Einen wesentlichen Teil des Inhalts mathematischer Publikationen machen aber Formeln aus, die bisher aber maschinell noch nicht analysiert werden. Mit der Entwicklung von XML und der entsprechenden Spezifikationen für die Mathematik, hier seien etwa MathML, OpenMATH und OMDOC genannt, sind neue Sprachen entwickelt worden, um mathematische Formeln im Web darzustellen und zu verarbeiten. In dem Vortrag werden Ansätze und Konzepte für die semantische Analyse und Suche von mathematischen Formeln vorgestellt. Mathematiker erstellen heute ihre Manuskripte am Computer und benutzen dafür das T E X-Format. Dieses Format ist für die Autoren einfach handhabbar, flexibel und nahezu perfekt für den Druck der Publikation. Semantische Informationen sind aber im T E X-Code nur bedingt enthalten. Für die Formelsuche wird der T E X-Code in XML-Code transformiert (dafür stehen mittlerweile im Web leistungsfähige Programme zur Verfügung) und die mathematischen Symbole und Formeln werden aus der Publikation extrahiert. Die eigentliche Herausforderung besteht darin, die Formeln semantisch zu analysieren. In der Mathematik ist es wie in der natürlichen Sprache, Symbole und Formeln, im Folgenden als Formel zusammengefasst, sind nicht eindeutig. In verschiedenen Zusammenhängen werden sie in unterschiedlicher Bedeutung verwendet, und es gibt in der Regel mehr als eine Formel, um einen bestimmten mathematischen Zusammenhang auszudrücken. Man muss für die Analyse den Kontext der Formel (Text und Formeln der Publikation oder das Umfeld der Publikation) untersuchen, um semantische Annotationen über die Formel machen zu können. Die Analyse wird häufig nicht zu einer eindeutigen semantischen Interpretation der Formel führen, man wird stattdessen eine Menge möglicher Interpretationen erhalten. Erste Erfahrungen mit prototypischen Suchmaschinen für mathematische Formeln zeigen, dass die Suche in mathematischen Publikationen wesentlich verbessert werden kann. Judith Plümer Universität Osnabrück Repositories und ihre Einbindung in die wissenschaftliche Infrastruktur Open Access ist in den letzten Jahren zu einem festen Bestandteil des wissenschaftlichen Publikationswesens geworden. Die Veröffentlichung wissenschaftlicher OA-Publikationen geschieht in der Regel in Repositories, die von Institutionen oder von der Community betrieben werden. Über Portale oder Suchmaschinen werden die dort gespeicherten Publikationen dann zugänglich gemacht. Klassische Informationsdienste, wie etwa die bibliographische Datenbank ZBMATH erfassen im Wesentlichen nur die Veröffentlichungen der traditionellen wissenschaftlichen Publikationswelt. Wer nach relevanter Literatur für die Lösung eines Problems sucht, findet einen heterogenen Datenraum vor. Er muss in der Regel unterschiedlich erschlossene Informationsquellen benutzen. Ob Klassifikationen, Metadaten oder Volltexte zur Erschließung genutzt wurden, bleibt dem Nutzer oft verborgen. Mit einer parallelen Suche in den OA Repositories und den bibliografischen Fachdatenbanken ist es nicht getan. Es bedarf einer semantischen Verknüpfung und Harmonisierung der inhaltlichen Erschließung von OA Publikationen und bibliografischen Datenbanken, um den Nutzern einen wirklichen Mehrwert zu bieten. Der Vortrag stellt die Probleme sowie erste Konzepte und Ansätze für die Verknüpfung beider Publikationswelten vor. 148
DMV Tagung 2011 - Köln, 19. - 22. September Wolfram Sperber, Bernd Wegner Zentralblatt für Mathematik / FIZ Karlsruhe MSC, Keywords und automatische Texterschließung Klassifikation ist auch heute noch von zentraler Bedeutung für die wissenschaftliche Forschung und die Suche nach Informationen. In der Mathematik ist die Mathematical Subject Classification (MSC) heute das am meisten verbreitete Klassifikationsschema für mathematische Publikationen. Die Klassifizierung der gesamten mathematischen Literatur mittels MSC ist eine der wesentlichen Facetten der inhaltlichen Erschließung in den weltweit führenden bibliographischen Datenbanken ZBMATH und MathSciNet. Im Zeitalter der elektronischen Information haben sich auch die Anforderungen an die MSC und deren Nutzung wesentlich geändert. Basis sind die Ansätze und Werkzeuge des Semantic Web: Resource Description Framework (RDF), RDF Schema, Ontology Web Language (OWL) und insbesondere Simple Knowledge Organization System (SKOS). Diese Techniken gestatten es, die MSC in einer maschinenauswertbaren Form bereitzustellen, die MSC mit weiteren Informationen anzureichern, z.B. die Klassen durch relevante Schlagwörter zu beschreiben, und Werkzeuge für das automatische Klassifizieren zu entwickeln. In einem ersten Schritt wurde eine SKOS-Implementierung für die MSC entwickelt, die die Klassen der MSC und die Relationen zwischen den Klassen auf der Basis des SKOS-Vokabulars präsentiert. Im Vortrag wird dieser Ansatz vorgestellt und die weitere Vorgehensweise diskutiert. Olaf Teschke Zentralblatt für Mathematik / FIZ Karlsruhe Profildienste und Rankingangebote bei Referenzdatenbanken II: Implementierung in ZBMATH Aus wissenschaftlichen Datenbanken können abgeleitete Informationen wie Autorenprofile, Zeitschriftenprofile oder Zitierungsanalysen generiert werden, die einen erheblichen Mehrwert an Information darstellen - wenn sie mit einem nötigen Maß an Sorgfalt erzeugt und genutzt werden. Erst der Blick auf die Details verrät, welche Daten oder Reihenfolgen man sinnvoll ableiten kann und welche genuin mit einer hohen Ungenauigkeit behaftet sind. Wir veranschaulichen dies anhand der in ZBMATH implementierten Autorenprofile und geben einige Fallbeispiele zu abgeleiteten Daten aus Zitierungsanalysen in Referaten und Zeitschriften. Bernd Wegner Zentralblatt für Mathematik / FIZ Karlsruhe Profildienste und Rankingangebote bei Referenzdatenbanken I: Grundsätzliche Erwägungen Referenzdatenbanken wie ZBMATH werden mehr und mehr dafür konzipiert, sekundäre Dienste wie Autorenprofile, Kooperationsstatistiken, Impact-Informationen etc. anzubieten. Dabei entstehen Probleme im Inputbereich, in der Auswertung der Daten, bei den Anforderungen an solche Angebote seitens der Nutzer und bei den Erwartungen, die solche Angebote prinzipiell erfüllen können. Der Vortrag soll die wichtigsten Probleme in diesen Bereichen ansprechen und ein differenziertes Verständnis dafür erwecken, was von solchen Angeboten in der Regel erwartet werden kann. 149
Page 1 and 2:
Inhaltsverzeichnis DMV Tagung 2011
Page 3 and 4:
DMV Tagung 2011 - Köln, 19. - 22.
Page 5 and 6:
DMV Tagung 2011 - Köln, 19. - 22.
Page 7 and 8:
Ken Ono Emroy University, Atlanta A
Page 9 and 10:
DMV Tagung 2011 - Köln, 19. - 22.
Page 11 and 12:
DMV Tagung 2011 - Köln, 19. - 22.
Page 13 and 14:
DMV Tagung 2011 - Köln, 19. - 22.
Page 15 and 16:
Markus Linckelmann University of Ab
Page 17 and 18:
DMV Tagung 2011 - Köln, 19. - 22.
Page 19 and 20:
Sektion 2 DMV Tagung 2011 - Köln,
Page 21 and 22:
DMV Tagung 2011 - Köln, 19. - 22.
Page 23 and 24:
Frank Kutzschebauch Universität Be
Page 25 and 26:
DMV Tagung 2011 - Köln, 19. - 22.
Page 27 and 28:
Sektion 3 Arithmetische Geometrie u
Page 29 and 30:
DMV Tagung 2011 - Köln, 19. - 22.
Page 31 and 32:
Ulrich Derenthal Ludwig-Maximilians
Page 33 and 34:
DMV Tagung 2011 - Köln, 19. - 22.
Page 35 and 36:
DMV Tagung 2011 - Köln, 19. - 22.
Page 37 and 38:
Myriam-Sonja Hantke Universität zu
Page 39 and 40:
Sektion 5 Differentialgleichungen D
Page 41 and 42:
DMV Tagung 2011 - Köln, 19. - 22.
Page 43 and 44:
DMV Tagung 2011 - Köln, 19. - 22.
Page 45 and 46:
DMV Tagung 2011 - Köln, 19. - 22.
Page 47 and 48:
Anna Dall’Acqua Otto-von-Guericke
Page 49 and 50:
André Fischer Center of Smart Inte
Page 51 and 52:
Juliette Hell Freie Universität Be
Page 53 and 54:
DMV Tagung 2011 - Köln, 19. - 22.
Page 55 and 56:
DMV Tagung 2011 - Köln, 19. - 22.
Page 57 and 58:
DMV Tagung 2011 - Köln, 19. - 22.
Page 59 and 60:
DMV Tagung 2011 - Köln, 19. - 22.
Page 61 and 62:
Felix Schulze Freie Universität Be
Page 63 and 64:
Eleutherius Symeonidis Katholische
Page 65 and 66:
DMV Tagung 2011 - Köln, 19. - 22.
Page 67 and 68:
DMV Tagung 2011 - Köln, 19. - 22.
Page 69 and 70:
DMV Tagung 2011 - Köln, 19. - 22.
Page 71 and 72:
DMV Tagung 2011 - Köln, 19. - 22.
Page 73 and 74:
DMV Tagung 2011 - Köln, 19. - 22.
Page 75 and 76:
DMV Tagung 2011 - Köln, 19. - 22.
Page 77 and 78:
Sektion 8 Numerik DMV Tagung 2011 -
Page 79 and 80:
DMV Tagung 2011 - Köln, 19. - 22.
Page 81 and 82:
DMV Tagung 2011 - Köln, 19. - 22.
Page 83 and 84:
DMV Tagung 2011 - Köln, 19. - 22.
Page 85 and 86:
DMV Tagung 2011 - Köln, 19. - 22.
Page 87 and 88:
DMV Tagung 2011 - Köln, 19. - 22.
Page 89 and 90:
DMV Tagung 2011 - Köln, 19. - 22.
Page 91 and 92:
Sektion 10 Geometrie und Topologie
Page 93 and 94:
DMV Tagung 2011 - Köln, 19. - 22.
Page 95 and 96:
DMV Tagung 2011 - Köln, 19. - 22.
Page 97 and 98: Felix Schlenk Universität Neuchât
Page 99 and 100: DMV Tagung 2011 - Köln, 19. - 22.
Page 105 and 106: Minisymposium 2 DMV Tagung 2011 - K
Page 109 and 110: Markus Richter Karlsruher Institut
Page 119 and 120: Minisymposium 4 DMV Tagung 2011 - K
Page 123 and 124: Edgar Brunner Universität Götting
Page 131 and 132: Minisymposium 5 Darstellungstheorie
Page 143 and 144: Jonathan Spreer Universität Stuttg
Page 147: DMV Tagung 2011 - Köln, 19. - 22.
Page 155 and 156: Christian Gerhards TU Kaiserslauter
Page 177 and 178: Minisymposium 12 Numerische Finanzm
Page 181 and 182: Minisymposium 13 Operatortheorie DM
Page 191 and 192: Minisymposium 14 DMV Tagung 2011 -
Page 197 and 198: Minisymposium 15 Übergang Schule -
Page 199 and 200:
DMV Tagung 2011 - Köln, 19. - 22.
Page 201 and 202:
DMV Tagung 2011 - Köln, 19. - 22.
Page 203 and 204:
DMV Tagung 2011 - Köln, 19. - 22.
Page 205 and 206:
DMV Tagung 2011 - Köln, 19. - 22.
Page 207 and 208:
DMV Tagung 2011 - Köln, 19. - 22.
Page 209 and 210:
DMV Tagung 2011 - Köln, 19. - 22.
Page 211 and 212:
DMV Tagung 2011 - Köln, 19. - 22.
Page 213 and 214:
DMV Tagung 2011 - Köln, 19. - 22.
Page 215 and 216:
Autorenverzeichnis Abels, Helmut, 1
Page 217 and 218:
Martino, Maurizio, 15 Maruhn, Jan H
show all

Inhaltsverzeichnis - Mathematisches Institut der Universität zu Köln

Create successful ePaper yourself

Delete template?

Save as template?