Filters








127 Hits in 2.2 sec

Semantic Enrichment of Mathematics via 'tooltips' [chapter]

Ross Moore
2015 Lecture Notes in Computer Science  
This kind of 'low-level' semantic enrichment of mathematical content is different to, but need not be incompatible with, using L A T E X to semantically enrich documents for a 'Semantic Web' as described  ...  Just as with active characters, a new expansion creates the tooltip before placing the actual mathematics using this saved expansion.  ...  \)}% Non-tagged: To indicate the available flexibility, this example uses the character 'k' both tagged, via \vark, and untagged in the lower limit of the sum.  ... 
doi:10.1007/978-3-319-20615-8_24 fatcat:apgdiq6qjbcdjd2c2maiggo7vm

Mining the Archive of Formal Proofs [chapter]

Jasmin Christian Blanchette, Maximilian Haslbeck, Daniel Matichuk, Tobias Nipkow
2015 Lecture Notes in Computer Science  
Systems and Data TIP: Tons of Inductive Problems. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 333 Koen Claessen, Moa Johansson, Dan Rosén, and Nicholas Smallbone Semantic Enrichment of  ...  Mathematics via 'tooltips' . . . . . . . . . . . . . . . . . . . 338 Ross Moore Documentation Generator Focusing on Symbols for the HTML-ized Mizar Library . . . . . . . . . . . . . . . . . . . . . .  ... 
doi:10.1007/978-3-319-20615-8_1 fatcat:l3oyqzboc5bzhdxzfhhow6ahbi

Combining Source, Content, Presentation, Narration, and Relational Representation [chapter]

Fulya Horozal, Alin Iacob, Constantin Jucovschi, Michael Kohlhase, Florian Rabe
2011 Lecture Notes in Computer Science  
formalizations, and a set of computer science lecture notes written in S T E X -a modular, semantic variant of L A T E X.  ...  We show how the integration of these incarnations can be utilized to enrich the authoring and viewing processes, and we evaluate our infrastructure on the LATIN Logic Atlas, a modular library of logic  ...  Modules also introduce concepts via \definiendum and semantic macros via \symdef, these are inherited via the module import relation.  ... 
doi:10.1007/978-3-642-22673-1_15 fatcat:h4akqoyaujfsjkkzmtmsfwjzfm

Annotations, Collaborative Tagging, and Searching Mathematics in E-Learning

Iyad Abu, Faisal Alkhateeb, Eslam Al, Izzat Alsmadi, Samer Samarah
2011 International Journal of Advanced Computer Science and Applications  
The first principle is the automatic addition of semantic information when creating the mathematical contents.  ...  This semantic information can be used to answer semantic queries (e.g., SPARQL) to retrieve information request of a user. This work is implemented as an embedded code into Moodle e-learning system.  ...  Another part of the framework is the automatic insertion of semantic information to the mathematical equation.  ... 
doi:10.14569/ijacsa.2011.020404 fatcat:nlmg6zybefcopnlxhi47z46bna

Semantic publishing: the coming revolution in scientific journal publishing

David SHOTTON
2009 Learned Publishing  
Recent developments in Web technology can be used for semantic enhancement of scholarly journal articles, by aiding publication of data and metadata and providing 'lively' interactive access to content  ...  Publication of data and metadata to the Web make possible added-value 'ecosystem services'; semantic publishing will bring substantial benefits to scholarly communication.  ...  Conclusions The research challenge and the need for collaboration The whole area of semantic publishing seems ripe for pre-competitive multi-disciplinary collaborative research and development, of the  ... 
doi:10.1087/2009202 fatcat:pt53ua2db5cubdztgc4sd5b3gi

Semantic Web and Interactive Knowledge Graphs as an Educational Technology [chapter]

Victor Telnov, Yuri Korovin
2020 Cloud Computing Security [Working Title]  
The proposed semantic annotation methods allow the knowledge engineer to calculate the measure of the proximity of an arbitrary network resource in relation to classes and objects of specific knowledge  ...  Technologies of knowledge representation, inductive reasoning, and semantic annotation methods are considered in relation to knowledge graphs that are focused on the domain of nuclear physics and nuclear  ...  Potanin Foundation according to the project GC190001383. 15 Semantic Web and Interactive Knowledge Graphs as an Educational Technology DOI: http://dx.doi.org/10.5772/intechopen.92433 Author details  ... 
doi:10.5772/intechopen.92433 fatcat:6wtbyci2gzckjhnc7agqggypy4

Semantic Annotation, Indexing, and Retrieval

Atanas Kiryakov, Borislav Popov, Ivan Terziev, Dimitar Manov, Damyan Ognyanoff
2004 Social Science Research Network  
We claim that the Semantic Web, at its current stage of development, is in a state of a critically need of metadata generation and usage schemata that are specific, well-defined and easy to understand.  ...  The Semantic Web realization depends on the availability of a critical mass of metadata for the web content, associated with the respective formal knowledge about the world.  ...  It is enriched on a regular basis, both through the daily delivery of documents, performed by the News Collector Gazetteer, and via the newly discovered entities and descriptions, found during the semantic  ... 
doi:10.2139/ssrn.3199164 fatcat:dbng7vxrhvfstoieo7lwmw7ryy

Semantic annotation, indexing, and retrieval

Atanas Kiryakov, Borislav Popov, Ivan Terziev, Dimitar Manov, Damyan Ognyanoff
2004 Journal of Web Semantics  
We claim that the Semantic Web, at its current stage of development, is in a state of a critically need of metadata generation and usage schemata that are specific, well-defined and easy to understand.  ...  The Semantic Web realization depends on the availability of a critical mass of metadata for the web content, associated with the respective formal knowledge about the world.  ...  It is enriched on a regular basis, both through the daily delivery of documents, performed by the News Collector Gazetteer, and via the newly discovered entities and descriptions, found during the semantic  ... 
doi:10.1016/j.websem.2004.07.005 fatcat:vg6hsahvdzgzdkb7lp3zdxlule

Semantically connected learning resources fostering intuitive guided learning

Nicola Capuano, Saverio Salerno, Giuseppina Rita Mangione, Anna Pierri
2014 International Journal of Continuing Engineering Education and Life-Long Learning  
The pages are linked through semantic connections that have a two-fold function: they guide the learners' navigation, and allow the dynamic adaptation of the resource according to learners' needs and preferences  ...  If on the one hand the individualised teaching approaches try to find the best sequence of learning resources capable of satisfying individual goals, preferences and contexts, the intuitive guided learning  ...  Acknowledgements This research is partially supported by the European Commission under the Collaborative Project 'Adaptive Learning via an Intuitive, interactive, Collaborative, Emotional system', ALICE  ... 
doi:10.1504/ijceell.2014.060153 fatcat:n2fa6vl7j5cofe7ijvzlofxv5u

Visualizing statistical linked knowledge for decision support

Adrian M.P. Braşoveanu, Marta Sabou, Arno Scharl, Alexander Hubmann-Haidvogel, Daniel Fischl, Aba-Sah Dadzie, Emmanuel Pietriga, Aba-Sah Dadzie, Emmanuel Pietriga
2016 Semantic Web Journal  
Statistical data underpins a broad range of such cross-domain decision tasks.  ...  A variety of statistical datasets are available as Linked Open Data, often incorporated into visual analytics solutions to support decision making.  ...  Acknowledgements The research presented in this article has received funding from the European Union's 7th Framework Programme for Research, Technology Development and Demonstration as part of the ASAP  ... 
doi:10.3233/sw-160225 fatcat:uz43xjyxubhf3ov5qluq4uvf74

TRANSFORMING CONCUR TASK TREES MODEL INTO AN ABSTRACT USER INTERFACE

Margarita Atanasova, Anna Malinova
2017 CBU International Conference Proceedings  
However, developing user interfaces that are adapted to the needs and culture of the enterprise is time-consuming and expensive.  ...  That way the prototype can extract business tasks for the selected industry therefore, presenting to the developer a more intelligent selection of predefined tasks.  ...  Acknowledgements The work described in this paper has been partially supported by the project FP17-FMI-008 of the Scientific Fund of the University of Plovdiv "Paisii Hilendarski," Bulgaria.  ... 
doi:10.12955/cbup.v5.1067 fatcat:wc72daj3ordcnfpcyvpoqki77a

An Information Foraging Theory Perspective on Tools for Debugging, Refactoring, and Reuse Tasks

Scott D. Fleming, Chris Scaffidi, David Piorkowski, Margaret Burnett, Rachel Bellamy, Joseph Lawrance, Irwin Kwan
2013 ACM Transactions on Software Engineering and Methodology  
However, in operationalizations of the theory, real-world environments often constrain the predator's enrichment options. For example, consider a person seeking information on the Web.  ...  The person (predator) can perform enrichment by using a search engine, such as Google, to generate a patch; however, the person cannot enrich the environment by arbitrarily modifying the hyperlinks on  ...  Acknowledgements This work was supported in part by the Air Force Office of Scientific Research FA9550-09-1-0213, by the EUSES Consortium via ITR-0325273, and by an IBM Open Research Collaboration Award  ... 
doi:10.1145/2430545.2430551 fatcat:bsdpan4uzjgtbbotbdobtx3wlq

Characteristics of mathematical modeling languages that facilitate model reuse in systems biology: a software engineering perspective

Christopher Schölzel, Valeria Blesius, Gernot Ernst, Andreas Dominik
2021 npj Systems Biology and Applications  
AbstractReuse of mathematical models becomes increasingly important in systems biology as research moves toward large, multi-scale models composed of heterogeneous subcomponents.  ...  Modelers should not only use such a language, but be aware of the features that make it desirable and know how to apply them effectively.  ...  improved the quality of this article.  ... 
doi:10.1038/s41540-021-00182-w pmid:34083542 fatcat:isocg5rzuzgodf5oycp7nypesu

A Framework for Automated Conflict Detection and Resolution in Medical Guidelines

J. Bowles, M.B. Caminati, S. Cha, J. Mendoza
2019 Science of Computer Programming  
in case of harmful combinations, also taking into account their temporal overlapping.  ...  Key to our approach is the use of an optimising constraint solver which enables us to search for the best solution that resolves/minimises conflicts according to medication efficacy and the degree of severity  ...  We proceed to enrich this semantics framework with a more powerful notion of conflict.  ... 
doi:10.1016/j.scico.2019.07.002 pmid:32029957 pmcid:PMC6993806 fatcat:klqnd5waefdjlfn2qeznmf4lgu

Proceedings of the 3rd Workshop on Domain-Specific Language Design and Implementation (DSLDI 2015) [article]

Tijs van der Storm, Sebastian Erdweg
2015 arXiv   pre-print
More generally, we are interested in building a community that can drive forward the development of modern DSLs.  ...  These informal post-proceedings contain the submitted talk abstracts to the 3rd DSLDI workshop (DSLDI'15), and a summary of the panel discussion on Language Composition.  ...  1960, and the subformula property, from Gentzen's natural deduction of 1935.  ... 
arXiv:1508.03536v1 fatcat:d52zonc6rvhxhkxvg4xmvqul34
« Previous Showing results 1 — 15 out of 127 results