1033 results
Search Results
Now showing 1 - 10 of 1033
- ItemMini-Workshop: Gibbs Measures for Nonlinear Dispersive Equations(Zürich : EMS Publ. House, 2018) Schlein, Benjamin; Sohinger, VedranIn this mini-workshop we brought together leading experts working on the application of Gibbs measures to the study of nonlinear PDEs. This framework is a powerful tool in the probabilistic study of solutions to nonlinear dispersive PDEs, in many ways alternative or complementary to deterministic methods. Among the special topics discussed were the construction of the measures, applications to dynamics, as well as the microscopic derivation of Gibbs measures from many-body quantum mechanics.
- 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.
- ItemMini-Workshop: Self-adjoint Extensions in New Settings(Zürich : EMS Publ. House, 2019) Kostenko, Aleksey; Pankrashkin, KonstantinThe main focus of the workshop is on the analysis of boundary value problems for differential and difference operators in some non-classical geometric settings, such as fractal graphs, sub-Riemannian manifolds or non-elliptic transmission problems. Taking into account their importance in modern mathematical analysis, we aim at developing suitable tools in the operator theory to deal with the new problem settings.
- 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.
- ItemLabour Market Information Driven, Personalized, OER Recommendation System for Lifelong Learners(Setúbal, Portugal : Science and Technology Publications, Lda, 2020) Tavakoli, Mohammadreza; Mol, Stefan; Kismihók, Gábor; Lane, H. Chad; Zvacek, Susan; Uhomoibhi, JamesIn this paper, we suggest a novel method to aid lifelong learners to access relevant OER based learning content to master skills demanded on the labour market. Our software prototype 1) applies Text Classification and Text Mining methods on vacancy announcements to decompose jobs into meaningful skills components, which lifelong learners should target; and 2) creates a hybrid OER Recommender System to suggest personalized learning content for learners to progress towards their skill targets. For the first evaluation of this prototype we focused on two job areas: Data Scientist, and Mechanical Engineer. We applied our skill extractor approach and provided OER recommendations for learners targeting these jobs. We conducted in-depth, semi-structured interviews with 12 subject matter experts to learn how our prototype performs in terms of its objectives, logic, and contribution to learning. More than 150 recommendations were generated, and 76.9% of these recommendations were treated as us eful by the interviewees. Interviews revealed that a personalized OER recommender system, based on skills demanded by labour market, has the potential to improve the learning experience of lifelong learners.
- 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.
- ItemOrigami-Inspired Shape Memory Folding Microactuator(Basel : MDPI, 2020) Seigner, Lena; Bezsmertna, Olha; Fähler, Sebastian; Tshikwand, Georgino; Wendler, Frank; Kohl, ManfredThis paper presents the design, fabrication and performance of origami-based folding microactuators based on a cold-rolled NiTi foil of 20 µm thickness showing the one-way shape memory effect. Origami refers to a variety of techniques of transforming planar sheets into three-dimensional (3D) structures by folding, which has been introduced in science and engineering for, e.g., assembly and robotics. Here, NiTi microactuators are interconnected to rigid sections (tiles) forming an initial planar system that self-folds into a set of predetermined 3D shapes upon heating. While this concept has been demonstrated at the macro scale, we intend to transfer this concept into microtechnology by combining state-of-the art methods of micromachining. NiTi foils are micromachined by laser cutting or photolithography to achieve double-beam structures allowing for direct Joule heating with an electrical current. A thermo-mechanical treatment is used for shape setting of as-received specimens to reach a maximum folding angle of 180°. The bending moments, bending radii and load-dependent folding angles upon Joule heating are evaluated. The shape setting process is particularly effective for small bending radii, which, however generates residual plastic strain. After shape setting, unloaded beam structures show recoverable bending deflection between 0° and 140° for a maximum heating power of 900 mW. By introducing additional loads to account for the effect of the tiles, the smooth folding characteristic evolves into a sharp transition, whereby full deflection up to 180° is reached. The achieved results are an important step towards the development of cooperative multistable microactuator systems for 3D self-assembly.
- ItemTranslating the Concept of Goal Setting into Practice: What ‘else’ Does It Require than a Goal Setting Tool?(Setúbal, Portugal : Science and Technology Publications, Lda, 2020) Kismihók, Gábor; Zhao, Catherine; Schippers, Michaéla; Mol, Stefan; Harrison, Scott; Shehata, Shady; Lane, H. Chad; Zvacek, Susan; Uhomoibhi, JamesThis conceptual paper reviews the current status of goal setting in the area of technology enhanced learning and education. Besides a brief literature review, three current projects on goal setting are discussed. The paper shows that the main barriers for goal setting applications in education are not related to the technology, the available data or analytical methods, but rather the human factor. The most important bottlenecks are the lack of students’ goal setting skills and abilities, and the current curriculum design, which, especially in the observed higher education institutions, provides little support for goal setting interventions.
- 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.