Filters








23 Hits in 6.1 sec

sTeX+ - a System for Flexible Formalization of Linked Data [article]

Andrea Kohlhase, Michael Kohlhase, Christoph Lange
2010 arXiv   pre-print
We present the sTeX+ system, a user-driven advancement of sTeX - a semantic extension of LaTeX that allows for producing high-quality PDF documents for (proof)reading and printing, as well as semantic  ...  Originally sTeX had been created as an invasive, semantic frontend for authoring XML documents. Here, we used sTeX in a Software Engineering case study as a formalization tool.  ...  Moreover, we like to thank the members of the FormalSafe project for valuable discussions.  ... 
arXiv:1006.4474v1 fatcat:hhmq674fszdahitd7xw6dhvrg4

STEX+

Andrea Kohlhase, Michael Kohlhase, Christoph Lange
2010 Proceedings of the 6th International Conference on Semantic Systems - I-SEMANTICS '10  
We present the S T E X+ system, a user-driven advancement of S T E X -a semantic extension of L A T E X that allows for producing high-quality PDF documents for (proof)reading and printing, as well as  ...  We present a tool chain that starts with an S T E X+ editor and ultimately serves the generated documents as XHTML+RDFa Linked Data via an OMDoc-enabled, versioned XML database.  ...  Moreover, we like to thank the members of the FormalSafe project for valuable discussions.  ... 
doi:10.1145/1839707.1839712 dblp:conf/i-semantics/KohlhaseK010 fatcat:atayzf4zwrfvnkzn4uraxcikyq

Editing Knowledge in Large Mathematical Corpora. A case study with Semantic LaTeX (sTeX) [article]

Constantin Jucovschi
2010 arXiv   pre-print
A list of research questions is compiled along with a set of software requirements which are then used for developing a new IDE for the semantic () format.  ...  The result of the current research is that, indeed, IDEs can be very useful in the process of formalization and presents a set of best practices for implementing such IDEs.  ...  I want to thank him for the great deal of support and understanding he showed when it came to more personal matters. I could not be happier to have Prof. Dr.  ... 
arXiv:1010.5935v1 fatcat:3tsdfsy4grgwrda7gjmy2kywam

A Survey of Languages for Formalizing Mathematics [article]

Cezary Kaliszyk, Florian Rabe
2020 arXiv   pre-print
In this paper we discuss languages that have been created for this purpose, including logical languages of proof assistants and other formal systems, semi-formal languages, intermediate languages for exchanging  ...  In order to work with mathematical content in computer systems, it is necessary to represent it in formal languages.  ...  The sTeX system [Koh08] is a L A T E X package for annotating informal mathematical texts with its formal meaning, which then allows for writing (parts of) formulas in formal logical syntax.  ... 
arXiv:2005.12876v1 fatcat:lwpxnq4wdjexxar3ocod3ncdvy

The Space of Mathematical Software Systems – A Survey of Paradigmatic Systems [article]

Katja Bercic, Jacques Carette, William M. Farmer, Michael Kohlhase, Dennis Müller, Florian Rabe, Yasmine Sharoda
2020 arXiv   pre-print
To give researchers a guide to this space of systems, we devise a novel conceptualization of mathematical software that focuses on five aspects: inference covers formal logic and reasoning about mathematical  ...  In this survey, we focus on the commonalities and differences of these systems from the perspective of a future multi-aspect system.  ...  documents themselves. 4 Wikipedia uses a restricted subset of T E Xto create presentation MathML. 5 Some of the links and concepts are classified with Linked Open Data annotations.  ... 
arXiv:2002.04955v1 fatcat:th2h5qrd4rcazhw2eqbqmy2zmq

The QED Manifesto after Two Decades - Version 2.0

Ittay Weiss
2016 Journal of Software  
We note that the formal aspects of mathematics communication are dealt with extensively as a proper mathematical area of study (see [4] for an excellent overview).  ...  For longer proofs the term exp (ℓ) becomes dominant and as soon as it passes a threshold determined by h, a fully formalized proof, i.e., having Φ = 1, receives a high value of Γ, i.e., it is cognitively  ...  Acknowledgment The author is grateful to Rahel Berman for clarifying conversations on the subject matter of this article.  ... 
doi:10.17706/jsw.11.8.803-815 fatcat:s4tvqzfbirf4nlhhjdb6on7pcm

Understanding Mental Burden and Factors Associated With Study Worries Among Undergraduate Medical Students During the COVID-19 Pandemic

Jennifer Guse, Ines Heinen, Sonja Mohr, Corinna Bergelt
2021 Frontiers in Psychology  
The binary logistic regression model showed that male gender, being in study year 2, higher distress scores and higher symptoms of depression were significantly associated with a higher likelihood for  ...  Year 1 students reported significantly higher levels of distress, anxiety and depression than students during their second to fourth year of studies. 48.3% of the students indicated a decrease in their  ...  ACKNOWLEDGMENTS We thank all the students who participated in this study and the evaluation team of the faculty who administered the online survey.  ... 
doi:10.3389/fpsyg.2021.734264 pmid:34975624 pmcid:PMC8714644 fatcat:dzoxdu2txvgdzigsoc2tcptj4e

The Semantic Multilingual Glossary of Mathematics (SMGloM) project or why do we need a semantic glossary of mathematics

Michael Kohlhase, Wolfram Sperber
2017
In this overview, we describe a new terminological and notational base for mathematics: The Semantic Multilingual Glossary of Mathematics (shortly SMGloM) is an ontology for mathematical concepts, objects  ...  The terminological and notational data can be applied, e.g. in a more semantic text and formula search and the disambiguation of symbols and formulae in mathematical publications or the translation of  ...  Thus OMDoc supports the semantification (flexible formalization: "flexiformalization") of mathematical publications which can be used for a machine-based content analysis as it represents a partial formalization  ... 
doi:10.5445/ksp/1000058749/28 fatcat:wr6scdkv4ve3pa4uqxa6sirakm

The DIRAC code for relativistic molecular calculations [article]

Trond Saue, Radovan Bast, Andre Severo Pereira Gomes, Hans Jørgen Aagaard Jensen, Lucas Visscher, Ignacio Agustın Aucar, Roberto Di Remigio, Kenneth G. Dyall, Ephraim Eliav, Elke Faßhauer, Timo Fleig, Loıc Halbert, Erik Donovan Hedegård (+12 others)
2020 arXiv   pre-print
DIRAC is a freely distributed general-purpose program system for 1-, 2- and 4-component relativistic molecular calculations at the level of Hartree--Fock, Kohn--Sham (including range-separated theory),  ...  DIRAC was one of the earliest codes for relativistic molecular calculations and remains a reference in its field.  ...  DIRAC can export such data in Gaussian cube file format, or over a custom grid.  ... 
arXiv:2002.06121v1 fatcat:funscohgizfffe4sjfequbgvvy

The DIRAC code for relativistic molecular calculations

Trond Saue, Radovan Bast, André Severo Pereira Gomes, Hans Jørgen Aa. Jensen, Lucas Visscher, Ignacio Agustín Aucar, Roberto Di Remigio, Kenneth G. Dyall, Ephraim Eliav, Elke Fasshauer, Timo Fleig, Loïc Halbert (+15 others)
2020 Journal of Chemical Physics  
DIRAC is a freely distributed general-purpose program system for one-, two-, and four-component relativistic molecular calculations at the level of Hartree-Fock, Kohn-Sham (including range-separated theory  ...  DIRAC features a very general module for the calculation of molecular properties that to a large extent may be defined by the user and further analyzed through a powerful visualization module.  ...  INTRODUCTION DIRAC is a general-purpose program system for relativistic molecular calculations and is named in honor of P. A. M.  ... 
doi:10.1063/5.0004844 pmid:32486677 fatcat:vhbybqghincw3mfzju3xcsk5zq

Animal-Assisted Interventions in the Classroom—A Systematic Review

Victoria Brelsford, Kerstin Meints, Nancy Gee, Karen Pfeffer
2017 International Journal of Environmental Research and Public Health  
The review also indicates the need for a larger and more robust evidence base driven by thorough and strict protocols.  ...  Furthermore, a worrying lack of reference to risk assessment and animal welfare must be highlighted.  ...  Acknowledgments: This research was funded as part of a larger project by the WALTHAM Centre for Pet Nutrition, Leicestershire, UK. Author Contributions: Kerstin Meints and Victoria L.  ... 
doi:10.3390/ijerph14070669 pmid:28640200 pmcid:PMC5551107 fatcat:jcsponv7kvgubdgoodgv4uplf4

Investments in liberalised power markets

Stine Grenaa Jensen, Peter Meibom
2008 International Journal of Electrical Power & Energy Systems  
The conference addressed R&D related to the individual technologies as well as their integration into the local, regional and global energy systems.  ...  .): The Risø International Energy Conference took place 23 -25 May 2005 and the aim of the conference was to present and discuss new developments and trends in energy technologies which may make major  ...  the international climate modeling groups for providing their data for analysis, There is a huge potential in India for the production of biofuels in terms of feed stock availability.  ... 
doi:10.1016/j.ijepes.2007.06.029 fatcat:vsx7p75yoff5rpllf4qpgp24r4

Communication Systems for Semantic Work Environments [chapter]

Thomas Franz, Sergej Sizov
Emerging Technologies for Semantic Work Environments  
For the human utilization of a communication channel, communication clients or tools are employed. We refer to the combination of both as communication system in the following.  ...  Next, we develop requirements of communication systems for SWEs by a discussion of how SWEs support the knowledge worker and confront conventional communication tools and channels  ...  Wikis Wikis are linked Web pages (wiki pages) that are provided by a wiki system that offers user management, a Web-based editor for wiki pages, and versioning of pages.  ... 
doi:10.4018/9781599048772.ch002 fatcat:qblax64gubbzzn5nkgq4klebi4

Toward Representing Research Contributions in Scholarly Knowledge Graphs Using Knowledge Graph Cells [article]

Lars Vogt, Jennifer D'Souza, Markus Stocker, Sören Auer, University, My
2021
Toward this end, in this work, we propose a novel semantic data model for modeling the contribution of scientific investigations.  ...  level of data consistency by ensuring that a uniform modeling scheme is followed through rules and input controls; (4) they organize the knowledge graph into named graphs; (5) they provide information  ...  All major semantic authoring systems (e.g. the semantic L A T E X extensions sTeX [23] , SALT [16] ) have so far neglected the specific use case of research contributions.  ... 
doi:10.34657/5211 fatcat:xhozacwysfdz3bnajx6uf6pvxu

Communication Systems for Semantic Work Environments [chapter]

Thomas Franz, Sergej Sizov
Emerging Technologies for Semantic Work Environments  
For the human utilization of a communication channel, communication clients or tools are employed. We refer to the combination of both as communication system in the following.  ...  Next, we develop requirements of communication systems for SWEs by a discussion of how SWEs support the knowledge worker and confront conventional communication tools and channels  ...  Wikis Wikis are linked Web pages (wiki pages) that are provided by a wiki system that offers user management, a Web-based editor for wiki pages, and versioning of pages.  ... 
doi:10.4018/978-1-59904-877-2.ch002 fatcat:e3lllnqynnfynkvh6lbnotd2ta
« Previous Showing results 1 — 15 out of 23 results