Search Results
Comparative Verification of the Digital Library of Mathematical Functions and Computer Algebra Systems
2022, Greiner-Petter, André, Cohl, Howard S., Youssef, Abdou, Schubotz, Moritz, Trost, Avi, Dey, Rajen, Aizawa, Akiko, Gipp, Bela, Fisman, Dana, Rosu, Grigore
Digital 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.
Temporal Role Annotation for Named Entities
2018, Koutraki, Maria, Bakhshandegan-Moghaddam, Farshad, Sack, Harald, Fensel, Anna, de Boer, Victor, Pellegrini, Tassilo, Kiesling, Elmar, Haslhofer, Bernhard, Hollink, Laura, Schindler, Alexander
Natural 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.
Long-time resistivity monitoring of a freshwater/saltwater transition zone using the vertical electrode system SAMOS
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.
Influence of microwave plasma treatment on the surface properties of carbon fibers and their adhesion in a polypropylene matrix
2016, Scheffler, C., Wölfel, E., Förster, T., Poitzsch, C., Kotte, L., Mäder, G., Madsen, Bo, Biel, A., Kusano, Y., Lilholt, H., Mikkelsen, L.P., Mishnaevsky Jr., L., Sørensen, B.F.
A commercially available carbon fiber (CF) with an epoxy-based sizing (EP-sized CF) and an unsized CF have been plasma treated to study the effect on the fiber-matrix adhesion towards a polypropylene matrix. The EP-sized fiber was chosen because of its predictable low adhesion in a polypropylene (PP) matrix. The fibers have been modified using a microwave low-pressure O2/CO2/N2-gas plasma source (Cyrannus®) developed at IWS in a batch process. One aim of this study was the evaluation of parameters using high energies and short time periods in the plasma chamber to see the effect on mechanical performance of CF. These results will be the fundamental work for a planned continuous plasma modification line. The CF surface was characterized by determining the surface energies, single fiber tensile strength and XPS analysis. The adhesion behavior before and after plasma treatment was studied by single fiber pull-out test (SFPO) and scanning electron microscopy (SEM). It was shown that the CO2- and O2-plasma increases the number of functional groups on the fiber surface during short time plasma treatment of 30 s. Carboxylic groups on the unsized CF surface resulting from O2-plasma treatment lead to an enhanced fiber-matrix adhesion, whereas the fiber strength was merely reduced.
EVENTSKG: A 5-Star Dataset of Top-Ranked Events in Eight Computer Science Communities
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, Karl
Metadata 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.
The Research Core Dataset (KDSF) in the Linked Data context
2019, Walther, Tatiana, Hauschke, Christian, Kasprzik, Anna, Sicilia, Miguel-Angel, Simons, Ed, Clements, Anna, de Castro, Pablo, Bergström, Johan
This 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.
Saltwater intrusion under climate change in North-Western Germany - mapping, modelling and management approaches in the projects TOPSOIL and go-CAM
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.
Collaborative annotation and semantic enrichment of 3D media
2022, Rossenova, Lozana, Schubert, Zoe, Vock, Richard, Sohmen, Lucia, Günther, Lukas, Duchesne, Paul, Blümel, Ina, Aizawa, Akiko
A 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.
Contextual Language Models for Knowledge Graph Completion
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, Volker
Knowledge 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.
Las 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
2019, Salguero, Leonardo Solís, Rioseco, Ernesto Meneses
Sustainable 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.