My research is focused on the development and integration of algorithms for community detection, ranking and recommendations into collaborative tagging systems. Further topics of interest include citation and link analysis, entity matching and resolution, and social network analysis.
Furthermore, I am leading the development of our own system, BibSonomy, which is used as test-bed for our methods and results.
ARD.de ist der zentrale Einstieg in die gesamte Internet-Welt der ARD - zu allen Sendern und Sendungen, zu allen Radio-, Fernseh- und Online-Angeboten.
My research is focused on the development and integration of algorithms for community detection, ranking and recommendations into collaborative tagging systems. Further topics of interest include citation and link analysis, entity matching and resolution, and social network analysis.
Furthermore, I am leading the development of our own system, BibSonomy, which is used as test-bed for our methods and results.
Research Interests Programming Languages, Logic and Type Theory, Logical Frameworks, Automated Deduction, Trustworthy Computing (see also Publications, Students & Co-authors) Projects Logosphere A Formal Digital Library Triple Type Refinement in Programming Languages ConCert Language Technology for Trustless Software Dissemination Twelf Logical and Meta-Logical Frameworks SeLF Distributed System Security via Logical Frameworks Manifest Security Logics and Languages for Manifestly Secure Systems Prospero Integrating Types and Specifications
Official university site with information on undergraduate and postgraduate courses, research, teaching, study and departments. Located in Bristol, in the South West of England.
Die zwölf ostdeutschen Studentenwerke informieren in einer neuen Broschüre „Studieren mit Kind“ über ihre Angebote für Studierende mit Kind. Das Heft richtet sich als „Mutmacher“ an studierende Eltern und legt anschaulich dar, welche Hilfestellungen es für Studierende mit Kind in den neuen Bundesländern gibt. So betreiben die zwölf ostdeutschen Studentenwerke beispielsweise 20 Kitas in eigener Trägerschaft mit etwa 1.200 Plätzen.
Das international agierende designerinnen forum steht Gestalterinnen aller Berufssparten als Kommunikations- und Aktionsplattform offen und bietet eine Vielzahl öffentlicher Kontakt- und Präsentationsmöglichkeiten. Seit seiner Gründung 1992 hat sich das Forum als wichtiger Impulsgeber in der Designlandschaft etabliert. Es fördert Kooperationen zwischen Designerinnen, Industrie, Wissenschaft und kulturellen Institutionen. Das Netzwerk steht für das intensive Gespräch und den Diskurs, um Konzepte und Projekte von Frauen in den Blickpunkt des gesellschaftlichen Interesses zu rücken.
Mit unserem online-coaching wenden wir uns an alle Frauen, die ihren beruflichen Wiedereinstieg nach der Familienzeit/Elternzeit planen oder sich aufgrund von langer Familienzeit oder Arbeitslosigkeit mit 45+ beruflich neu- oder umorientieren wollen.
Darüber hinaus coachen wir Sie gerne individuell, wenn Sie Ihre Karriere planen wollen oder Unterstützung bei der beruflichen Perspektivenentwicklung suchen.
Seit über 20 Jahren setzt sich der deutsche ingenieurinnenbund für Frauen in technischen Berufen ein. Das bundesweit aktive Netzwerk besteht aus derzeit 19 Regionalgruppen.
Konkrete Hilfestellung und Erfahrungsaustausch bietet Ihnen unser fib-Netzwerk. Frauen soll es möglich sein, in allen Lebensphasen als Ingenieurin die technische Entwicklung mit zu steuern, ohne ihre Karriere vernachlässigen zu müssen. Wichtig ist es, Vorurteile weiter abzubauen, veraltete Lebensmodelle zu ersetzen und mehr Vorbilder zu schaffen. Wir suchen den Dialog mit anderen Verbänden und zu unseren Partnern aus Wirtschaft, Wissenschaft und Politik.
Hier finden Sie aktuelle Informationen zu staatlichen Leistungen für Familien - Familien-Wegweiser des Bundesministeriums für Familie, Senioren, Frauen und Jugend
Magdeburg, die Landeshauptstadt Sachsen-Anhalts, stellt sich vor. Ein Service der Stadtverwaltung Magdeburg. Auf diesen Seiten finden Sie Informationen zum Leistungsangebot der Stadtverwaltung, zum Leben in der Stadt an der Elbe, zur Geschichte Magdeburgs.
Organisatoren
François Bry (LMU München, DE)
Clemens Cap (Universität Rostock, DE)
Ingo Dahm (Microsoft Deutschland GmbH - Unterschleissheim, DE)
Julia Maintz (Microsoft Deutschland GmbH - Köln, DE)
Sebastian Schaffert (Salzburg Research Forschungsgesellschaft m.b.H., AT)
M. Stubbemann, and G. Stumme. Machine Learning and Knowledge Discovery in Databases: Research Track - European Conference, ECML PKDD 2023, Turin, Italy, September 18-22, 2023, Proceedings, Part III, volume 14171 of Lecture Notes in Computer Science, page 177--192. Springer, (2023)
M. Stubbemann, T. Hanika, and G. Stumme. Advances in Intelligent Data Analysis XVIII - 18th International Symposium on Intelligent Data Analysis, IDA 2020, Konstanz, Germany, April 27-29, 2020, Proceedings, volume 12080 of Lecture Notes in Computer Science, page 496--508. Springer, (2020)
M. Stubbemann, and G. Stumme. Machine Learning and Knowledge Discovery in Databases: Research Track - European Conference, ECML PKDD 2023, Turin, Italy, September 18-22, 2023, Proceedings, Part III, volume 14171 of Lecture Notes in Computer Science, page 177--192. Springer, (2023)
M. Stubbemann, and G. Stumme. European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, ECML-PKDD 2023, volume 14171 of Lecture Notes in Computer Science, page 177--192. Springer, (2023)
M. Stubbemann, T. Hanika, and G. Stumme. Advances in Intelligent Data Analysis XVIII - 18th International Symposium on Intelligent Data Analysis, IDA 2020, Konstanz, Germany, April 27-29, 2020, Proceedings, volume 12080 of Lecture Notes in Computer Science, page 496--508. Springer, (2020)
S. Doerfel, D. Zoller, P. Singer, T. Niebler, A. Hotho, and M. Strohmaier. Proceedings of the Companion Publication of the 23rd International Conference on World Wide Web Companion, page 251-252. Republic and Canton of Geneva, Switzerland, International World Wide Web Conferences Steering Committee, (2014)