Catalin David
Jacobs University Bremen
Network
Latest external collaboration on country level. Dive into details by clicking on the dots.
Publication
Featured researches published by Catalin David.
international semantic web conference | 2010
Catalin David; Michael Kohlhase; Christoph Lange; Florian Rabe; Nikita Zhiltsov; Vyacheslav Zholudev
We mark up a corpus of
international conference on conceptual structures | 2011
Michael Kohlhase; Joseph Corneli; Catalin David; Deyan Ginev; Constantin Jucovschi; Andrea Kohlhase; Christoph Lange; Bogdan Matican; Vyacheslav Zholudev
{\mbox{\LaTeX}}
oceans conference | 2011
Anuj Sehgal; Catalin David; Jürgen Schönwälder
lecture notes semantically and expose them as Linked Data in XHTML+MathML+RDFa. Our application makes the resulting documents interactively browsable for students. Our ontology helps to answer queries from students and lecturers, and paves the path towards an integration of our corpus with external sites.
arXiv: Digital Libraries | 2011
Serge Autexier; Catalin David; Dominik Dietrich; Michael Kohlhase; Vyacheslav Zholudev
Abstract In this paper we present the Active Documents Paradigm (semantically annotated documents associated with a content commons that holds the corresponding background ontologies) and the Planetary system (as an active document player). We show that the current Planetary system gives a solid foundation and can be extended modularly to address most of the criteria of the Executable Papers Challenge.
Mathematics in Computer Science | 2010
Heinrich Stamerjohanns; Michael Kohlhase; Deyan Ginev; Catalin David; Bruce R. Miller
Energy-efficiency in underwater networks is essential since nodes are mostly battery powered and it is difficult to replenish their supply. Furthermore, since underwater acoustic sensor networks are effected by ambient environmental conditions leading to volatile network dynamics, large propagation delays and a high probability of error in transmissions, it is even more important to analyze the energy consumption characteristics in order to build an energy efficient robust network. Since the underwater acoustic channel behaves differently in deep water and shallow water it is important to understand the energy consumption characteristics of both channels. In this paper we present an overview of a study conducted to analyze the energy consumption in underwater acoustic sensor networks. The energy consumption for different transmission mechanisms (single-hop, multi-hop, etc.) are analyzed not only in deep and shallow water channels but the effect of varying ambient conditions are also presented.
GI Jahrestagung | 2009
Deyan Ginev; Constantin Jucovschi; Stefan Anca; Mihai Grigore; Catalin David; Michael Kohlhase
Mathematical knowledge is a central component in science, engineering, and technology (documentation). Most of it is represented informally, and - in contrast to published research mathematics - subject to continual change. Unfortunately, machine support for change management has either been very coarse grained and thus barely useful, or restricted to formal languages, where automation is possible. In this paper, we report on an effort to extend change management to collections of semi-formal documents which flexibly intermix mathematical formulas and natural language and to integrate it into a semantic publishing system for mathematical knowledge. We validate the long-standing assumption that the semantic annotations in these flexiformal documents that drive the machine-supported interaction with documents can support semantic impact analyses at the same time. But in contrast to the fully formal setting, where adaptations of impacted documents can be automated to some degree, the flexiformal setting requires much more user interaction and thus a much tighter integration into document management workflows.
Archive | 2010
Catalin David; Deyan Ginev; Michael Kohlhase; Joseph Corneli
CICM'12 Proceedings of the 11th international conference on Intelligent Computer Mathematics | 2012
Catalin David; Constantin Jucovschi; Andrea Kohlhase; Michael Kohlhase
Towards a Digital Mathematics Library. Grand Bend, Ontario, Canada, July 8-9th, 2009 | 2009
Heinrich Stamerjohanns; Deyan Ginev; Catalin David; Dimitar Misev; Vladimir Zamdzhiev; Michael Kohlhase
Archive | 2010
Catalin David; Deyan Ginev; Michael Kohlhase; Joseph Corneli