A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
sTeX+ - a System for Flexible Formalization of Linked Data
[article]
2010
arXiv
pre-print
Preserved Fulltext
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+
2010
Proceedings of the 6th International Conference on Semantic Systems - I-SEMANTICS '10
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2010
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
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]
2020
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2020
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2016
Journal of Software
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2021
Frontiers in Psychology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
2017
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2020
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2020
Journal of Chemical Physics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
2017
International Journal of Environmental Research and Public Health
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2008
International Journal of Electrical Power & Energy Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
Emerging Technologies for Semantic Work Environments
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2021
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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]
Emerging Technologies for Semantic Work Environments
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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