Academia.edu no longer supports Internet Explorer.
To browse Academia.edu and the wider internet faster and more securely, please take a few seconds to upgrade your browser.
As the chapters are organized by topic, whose sections cover diverse subtopics, reviews of the state of the art and related work of others closely precede the descriptions of my own research on that, but are marked accordingly. I will report of work that I have done myself in the first person singular. Work done in collaboration with others will be reported in the first person plural; the exact contributions of collaborators will be acknowledged at the end of each chapter.
2010 •
Page 1. Jacobs University Bremen – School of Engineering and Science Ph. D. hesis submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy in Computer Science Semantic Web Collaboration on Semiformal Mathematical Knowledge Christoph Lange Submitted: DD. MM. Dissertation Committee: Prof. Dr. Michael Kohlhase, Jacobs University Bremen (supervisor) Prof. Dr. Peter Baumann, Jacobs University Bremen Prof. Dr.
2011 •
2011 •
Mathematics is a ubiquitous foundation of science, technology, and engineering. Specific areas of mathematics, such as numeric and symbolic computation or logics, enjoy considerable software support. Working mathematicians have recently started to adopt Web 2.0 environments, such as blogs and wikis, but these systems lack machine support for knowledge organization and reuse, and they are disconnected from tools such as computer algebra systems or interactive proof assistants.
Lecture Notes in Computer Science
The Mathematical Semantic Web2003 •
... It is an interesting exercise to see, given a certain XML representation for math (like ... that potentially,Semantic Web appli-cation like search, similarity search, manipulation, inference, can perform ... M.Marchiori (Ed.), The Platform for Privacy Preferences 1.0 (P3P1.0) Specifica-tion ...
2001 •
The eXtensible Markup Language (XML) opens the possibility to start anew, on a solid technological ground, the ambitious goal of developing a suitable technology for the creation and maintenance of a virtual, distributed, hypertextual library of formal mathematical knowledge. In particular, XML provides a central technology for storing, retrieving and processing mathematical documents, comprising sophisticated web-publishing mechanisms (stylesheets) covering notational and stylistic issues. By the application of XML technology to the large repositories of structured, content oriented information offered by Logical Frameworks we meet the ultimate goal of the Semantic Web, that is to allow machines the sharing and exploitation of knowledge in the Web way, i.e. without central authority, with few basic rules, in a scalable, adaptable, extensible manner.
Abstract. OMDoc is a semantic markup language for mathematical documents in all degrees of formality. We investigate how we can benefit from recent semantic web developments in order to get a more scalable way of annotating mathematical, scientific, and technical knowledge with metadata. Motivated by shortcomings of the common semantic web ontology languages RDFS and OWL, we also investigate how to use OMDoc as an alternative ontology language.
2010 •
Abstract. Mathematics, a ubiquitous foundation of science, technology, and engineering, is currently missing from the Web of Data. This position paper argues why the future internet applications would benefit from mathematical knowledge published as Linked Open Data and outlines how mathematical knowledge could be contributed to the Web of Data. Due to the predominance of semantic XML-based markup languages in mathematics–which has good reasons–, this can not exclusively be achieved with RDF.
1999 •
Geographies of the Antrophocene
CLIMATE CHANGE RELATED URBAN TRANSFORMATION AND THE ROLE OF CULTURAL HERITAGE2023 •
Starting with a systemic understanding of cultural heritage, climate-change related urban transformation processes are analyzed through a multi-disciplinary lens and methods that blend the arts, humanities, and sciences. Governance-specific topics range from relevant cultural markers and local policies to stimulate resilience, to a typology of heritage-related governance and the vulnerability of historic urban landscapes. A variety of contributions from the Americas, Asia, and Europe describe and analyze challenges and potential solutions for climate-change related urban transformation and the role of cultural heritage. Contributions focusing on innovation, adaptation, and reuse introduce the concept of urban acupuncture, adaptive reuse of industrial heritage, and how a historical spatial-functional network system can be related to a smart city approach. The potential role of cultural traditions for resilience is analyzed, as is the integration of sustainable energy production tools in a historic urban landscape. Examples of heritage-based urban resilience from around the world are introduced, as well as the path of medium-technology to address climate adaptation and prevention in historic buildings. The contributions emphasize the need for an updated narrative that cultural heritage can also contribute to climate adaptation and mitigation.
2016 •
UPGRADE YOUR PHYSICS
UPGRADE YOUR PHYSICS NOTES THOSE STUDENTS WHO ARE PREPARING FOR THE INTERNATIONAL PHYSICS OLYMPIAD, OR2019 •
The Oxford Handbook of Palmyra (ed. Rubina Raja)
Queen Zenobia: The Rise and Fall of Her Palmyra2024 •
2024 •
The Neighbours of Poland in the 11th Century, ed. by Przemyslaw Urbanczyk (Warsaw: Wyd. DiG, 2002), 155-168
“All the Happy Families…” The Rurikids in the Eleventh Century2002 •
Kaygı. Bursa Uludağ Üniversitesi fen-edebiyat fakültesi felsefe dergisi
Boş Kavram: Gerçekliğin Yitirilmesi2020 •
2018 •
2022 •
Arteriosclerosis, Thrombosis, and Vascular Biology
Phenotypical, Clinical, and Molecular Aspects of Adults and Children With Homozygous Familial Hypercholesterolemia in Iberoamerica2020 •
Часопис за културу и уметност - КОД 21
Д. Живановић, У сусрет стогодишњици од завршетка Великог рата, Часопис за културу и уметност - КОД 21, број 10, Шабац, 2018, стр. 11-19.2018 •
TAP CHI SINH HOC
Mammals recorded in Xuan Lien nature reserve, Thanh Hoa province2014 •