1441 results
Search Results
Now showing 1 - 10 of 1441
- ItemComparative Verification of the Digital Library of Mathematical Functions and Computer Algebra Systems(Berlin ; Heidelberg : Springer, 2022) Greiner-Petter, André; Cohl, Howard S.; Youssef, Abdou; Schubotz, Moritz; Trost, Avi; Dey, Rajen; Aizawa, Akiko; Gipp, Bela; Fisman, Dana; Rosu, GrigoreDigital mathematical libraries assemble the knowledge of years of mathematical research. Numerous disciplines (e.g., physics, engineering, pure and applied mathematics) rely heavily on compendia gathered findings. Likewise, modern research applications rely more and more on computational solutions, which are often calculated and verified by computer algebra systems. Hence, the correctness, accuracy, and reliability of both digital mathematical libraries and computer algebra systems is a crucial attribute for modern research. In this paper, we present a novel approach to verify a digital mathematical library and two computer algebra systems with one another by converting mathematical expressions from one system to the other. We use our previously developed conversion tool (referred to as ) to translate formulae from the NIST Digital Library of Mathematical Functions to the computer algebra systems Maple and Mathematica. The contributions of our presented work are as follows: (1) we present the most comprehensive verification of computer algebra systems and digital mathematical libraries with one another; (2) we significantly enhance the performance of the underlying translator in terms of coverage and accuracy; and (3) we provide open access to translations for Maple and Mathematica of the formulae in the NIST Digital Library of Mathematical Functions.
- ItemEVENTSKG: A 5-Star Dataset of Top-Ranked Events in Eight Computer Science Communities(Berlin ; Heidelberg : Springer, 2019) Fathalla, Said; Lange, Christoph; Auer, Sören; Hitzler, Pascal; Fernández, Miriam; Janowicz, Krzysztof; Zaveri, Amrapali; Gray, Alasdair J.G.; Lopez, Vanessa; Haller, Armin; Hammar, KarlMetadata of scientific events has become increasingly available on the Web, albeit often as raw data in various formats, disregarding its semantics and interlinking relations. This leads to restricting the usability of this data for, e.g., subsequent analyses and reasoning. Therefore, there is a pressing need to represent this data in a semantic representation, i.e., Linked Data. We present the new release of the EVENTSKG dataset, comprising comprehensive semantic descriptions of scientific events of eight computer science communities. Currently, EVENTSKG is a 5-star dataset containing metadata of 73 top-ranked event series (almost 2,000 events) established over the last five decades. The new release is a Linked Open Dataset adhering to an updated version of the Scientific Events Ontology, a reference ontology for event metadata representation, leading to richer and cleaner data. To facilitate the maintenance of EVENTSKG and to ensure its sustainability, EVENTSKG is coupled with a Java API that enables users to add/update events metadata without going into the details of the representation of the dataset. We shed light on events characteristics by analyzing EVENTSKG data, which provides a flexible means for customization in order to better understand the characteristics of renowned CS events.
- ItemCollaborative annotation and semantic enrichment of 3D media(New York,NY,United States : Association for Computing Machinery, 2022) Rossenova, Lozana; Schubert, Zoe; Vock, Richard; Sohmen, Lucia; Günther, Lukas; Duchesne, Paul; Blümel, Ina; Aizawa, AkikoA new FOSS (free and open source software) toolchain and associated workflow is being developed in the context of NFDI4Culture, a German consortium of research- and cultural heritage institutions working towards a shared infrastructure for research data that meets the needs of 21st century data creators, maintainers and end users across the broad spectrum of the digital libraries and archives field, and the digital humanities. This short paper and demo present how the integrated toolchain connects: 1) OpenRefine - for data reconciliation and batch upload; 2) Wikibase - for linked open data (LOD) storage; and 3) Kompakkt - for rendering and annotating 3D models. The presentation is aimed at librarians, digital curators and data managers interested in learning how to manage research datasets containing 3D media, and how to make them available within an open data environment with 3D-rendering and collaborative annotation features.
- ItemTemporal Role Annotation for Named Entities(Amsterdam [u.a.] : Elsevier, 2018) Koutraki, Maria; Bakhshandegan-Moghaddam, Farshad; Sack, Harald; Fensel, Anna; de Boer, Victor; Pellegrini, Tassilo; Kiesling, Elmar; Haslhofer, Bernhard; Hollink, Laura; Schindler, AlexanderNatural language understanding tasks are key to extracting structured and semantic information from text. One of the most challenging problems in natural language is ambiguity and resolving such ambiguity based on context including temporal information. This paper, focuses on the task of extracting temporal roles from text, e.g. CEO of an organization or head of a state. A temporal role has a domain, which may resolve to different entities depending on the context and especially on temporal information, e.g. CEO of Microsoft in 2000. We focus on the temporal role extraction, as a precursor for temporal role disambiguation. We propose a structured prediction approach based on Conditional Random Fields (CRF) to annotate temporal roles in text and rely on a rich feature set, which extracts syntactic and semantic information from text. We perform an extensive evaluation of our approach based on two datasets. In the first dataset, we extract nearly 400k instances from Wikipedia through distant supervision, whereas in the second dataset, a manually curated ground-truth consisting of 200 instances is extracted from a sample of The New York Times (NYT) articles. Last, the proposed approach is compared against baselines where significant improvements are shown for both datasets.
- ItemThe Research Core Dataset (KDSF) in the Linked Data context(Amsterdam [u.a.] : Elsevier, 2019) Walther, Tatiana; Hauschke, Christian; Kasprzik, Anna; Sicilia, Miguel-Angel; Simons, Ed; Clements, Anna; de Castro, Pablo; Bergström, JohanThis paper describes our efforts to implement the Research Core Dataset (“Kerndatensatz Forschung”; KDSF) as an ontology in VIVO. KDSF is used in VIVO to record the required metadata on incoming data and to produce reports as an output. While both processes need an elaborate adaptation of the KDSF specification, this paper focusses on the adaptation of the KDSF basic data model for recording data in VIVO. In this context, the VIVO and KDSF ontologies were compared with respect to domain, syntax, structure, and granularity in order to identify correspondences and mismatches. To produce an alignment, different matching approaches have been applied. Furthermore, we made necessary modifications and extensions on KDSF classes and properties.
- ItemContextual Language Models for Knowledge Graph Completion(Aachen, Germany : RWTH Aachen, 2021) Russa, Biswas; Sofronova, Radina; Alam, Mehwish; Sack, Harald; Mehwish, Alam; Ali, Medi; Groth, Paul; Hitzler, Pascal; Lehmann, Jens; Paulheim, Heiko; Rettinger, Achim; Sack, Harald; Sadeghi, Afshin; Tresp, VolkerKnowledge Graphs (KGs) have become the backbone of various machine learning based applications over the past decade. However, the KGs are often incomplete and inconsistent. Several representation learning based approaches have been introduced to complete the missing information in KGs. Besides, Neural Language Models (NLMs) have gained huge momentum in NLP applications. However, exploiting the contextual NLMs to tackle the Knowledge Graph Completion (KGC) task is still an open research problem. In this paper, a GPT-2 based KGC model is proposed and is evaluated on two benchmark datasets. The initial results obtained from the _ne-tuning of the GPT-2 model for triple classi_cation strengthens the importance of usage of NLMs for KGC. Also, the impact of contextual language models for KGC has been discussed.
- ItemLong-time resistivity monitoring of a freshwater/saltwater transition zone using the vertical electrode system SAMOS(Les Ulis : EDP Sciences, 2018) Grinat, Michael; Epping, Dieter; Meyer, Robert; Szymkiewicz, Adam; Sadurski, A.; Jaworska-Szulc, B.In September 2009 two newly developed vertical electrode systems were installed in boreholes in the water catchment areas Waterdelle and Ostland at the North Sea island Borkum to monitor possible changes of the transition zone between the freshwater lens and the underlying saltwater. The vertical electrode systems, which were both installed between 44 m and 65 m below ground level, are used for geoelectrical multi-electrode measurements carried out automatically several times per day; the measurements are still ongoing. The whole system consisting of a vertical electrode system in a borehole and the measuring unit at ground level is called SAMOS (Saltwater Monitoring System). At both locations the data show a clear resistivity decrease that indicates the transition zone between freshwater and saltwater. The depth of the transition zone as well as the kind of resistivity decrease is very stable since 2010. Temporal changes are visible if single depths are considered. In 2015 Miriam Ibenthal used a vertical 2D density-dependent groundwater flow model to explain the long-term resistivity measurements and showed that the temporal changes at CLIWAT 2 (Ostland) could be explained by variations of the groundwater level, changing groundwater recharge rates and changing pumping rates of the nearby located drinking water supply wells.
- ItemSaltwater intrusion under climate change in North-Western Germany - mapping, modelling and management approaches in the projects TOPSOIL and go-CAM(Les Ulis : EDP Sciences, 2018) Wiederhold, Helga; Scheer, Wolfgang; Kirsch, Reinhard; Azizur Rahman, M.; Ronczka, Mathias; Szymkiewicz, Adam; Sadurski, A.; Jaworska-Szulc, B.Climate change will result in rising sea level and, at least for the North Sea region, in rising groundwater table. This leads to a new balance at the fresh–saline groundwater boundary and a new distribution of saltwater intrusions with strong regional differentiations. These effects are investigated in several research projects funded by the European Union and the German Federal Ministry of Education and Research (BMBF). Objectives and some results from the projects TOPSOIL and go-CAM are presented in this poster.
- ItemAn OER Recommender System Supporting Accessibility Requirements(New York : Association for Computing Machinery, 2020) Elias, Mirette; Tavakoli, Mohammadreza; Lohmann, Steffen; Kismihok, Gabor; Auer, Sören; Gurreiro, Tiago; Nicolau, Hugo; Moffatt, KarynOpen Educational Resources are becoming a significant source of learning that are widely used for various educational purposes and levels. Learners have diverse backgrounds and needs, especially when it comes to learners with accessibility requirements. Persons with disabilities have significantly lower employment rates partly due to the lack of access to education and vocational rehabilitation and training. It is not surprising therefore, that providing high quality OERs that facilitate the self-development towards specific jobs and skills on the labor market in the light of special preferences of learners with disabilities is difficult. In this paper, we introduce a personalized OER recommeder system that considers skills, occupations, and accessibility properties of learners to retrieve the most adequate and high-quality OERs. This is done by: 1) describing the profile of learners with disabilities, 2) collecting and analysing more than 1,500 OERs, 3) filtering OERs based on their accessibility features and predicted quality, and 4) providing personalised OER recommendations for learners according to their accessibility needs. As a result, the OERs retrieved by our method proved to satisfy more accessibility checks than other OERs. Moreover, we evaluated our results with five experts in educating people with visual and cognitive impairments. The evaluation showed that our recommendations are potentially helpful for learners with accessibility needs.
- ItemLas Pailas geothermal field - Central America case study: Deciphering a volcanic geothermal play type through the combination of optimized geophysical exploration methods and classic geological conceptual models of volcano-tectonic systems(London [u.a.] : Institute of Physics, 2019) Salguero, Leonardo Solís; Rioseco, Ernesto MenesesSustainable exploitation strategies of high-enthalpy geothermal reservoirs in a volcanic geothermal play type require an accurate understanding of key geological structures such as faults, cap rock and caldera boundaries. Of same importance is the recognition of possible magmatic body intrusions and their morphology, whether they are tabular like dikes, layered like sills or domes. The relative value of those magmatic bodies, their age, shape and location rely on the role they play as possible local heat sources, hydraulic barriers between reservoir compartments, and their far-reaching effect on the geochemistry and dynamics of fluids. Obtaining detailed knowledge and a more complete understanding at the early stages of exploration through integrated geological, geophysical and geochemical methods is essential to determine promising geothermal drilling targets for optimized production/re-injection schemes and for the development of adequate exploitation programs. Valuable, extensive geophysical data gathered at Las Pailas high-enthalpy geothermal field at northwestern Costa Rica combined with detailed understanding of the geological structures in the underground may represent a sound basis for an in-depth geoscientific discussion on this topic. Currently, the German cooperation for the identification of geothermal resources in Central America, implemented by the Federal Institute for Geosciences and Natural Resources (BGR), supports an international and interdisciplinary effort, driven by the Instituto Costarricense de Electricidad (ICE) with different international and national research institutions, including the Leibniz Institute for Applied Geophysics (LIAG). The discussions and joint studies refer to the optimized utilization of geophysical and geological methods for geothermal exploration in the Central American region, using the example of Las Pailas Geothermal Field. The results should contribute to a better understanding of the most appropriate geothermal exploration concepts for complex volcanic field settings in Central America.