The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
Filters
Towards MKM in the Large: Modular Representation and Scalable Software Architecture
[article]
2010
arXiv
pre-print
Preserved Fulltext
Other Versions
We need representation languages that support incremental processing of all primitive MKM operations, and we need software architectures and implementations that implement these operations scalably on ...
MKM "in the small" is well-studied, so the real problem is to scale up to large, highly interconnected corpora: "MKM in the large". ...
In the last years, we have developed OMDOC translation facilities for various fully formal theorem proving systems and their libraries. ...
arXiv:1005.5232v2
fatcat:txt5jdclozelxlaevwqwvjz4iu
Towards MKM in the Large: Modular Representation and Scalable Software Architecture
[chapter]
2010
Lecture Notes in Computer Science
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 2011; you can also visit the original URL.
The file type is application/pdf.
We need representation languages that support incremental processing of all primitive MKM operations, and we need software architectures and implementations that implement these operations scalably on ...
MKM "in the small" is well-studied, so the real problem is to scale up to large, highly interconnected corpora: "MKM in the large". ...
In this paper we contribute to the MKM Grand Challenge of doing formal "MKM in the large" by analyzing scalability challenges inherent in MKM and propose steps towards solutions based on our MMT format ...
doi:10.1007/978-3-642-14128-7_32
fatcat:u2vf3dsn4bb67bvyjgedrys7ei
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.
Before we can get the whole potential of employing computers in the process of managing mathematical 'knowledge', we have to convert informal knowledge into machine-oriented representations. ...
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. ...
Michael Kohlhase, for the opportunity to do great research with him, for the guidance I have received for the past 3 years and for his genuine interest in finding the topic I "tick for". ...
arXiv:1010.5935v1
fatcat:3tsdfsy4grgwrda7gjmy2kywam
Ontologies and languages for representing mathematical knowledge on the Semantic Web
2013
Semantic Web Journal
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.
, can be fully integrated with RDF representations in order to contribute existing mathematical knowledge to the Web of Data. ...
We argue that the services for the Web of Data will benefit from a deeper representation of mathematical knowledge. ...
Research Directions Towards a Mathematical Web of Data Large collections of mathematical knowledge exist in non-RDF representations -including some that are already machine-comprehensible (cf. section ...
doi:10.3233/sw-2012-0059
fatcat:fmfywipm2bbunkqgbpxz54mcv4
Text mining tools
[chapter]
2005
Text Mining and its Applications to Intelligence, CRM and Knowledge Management
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.
It is offersed in both standalone and client/server configurations. Integrators can utilize all functions of PolyAnalyst provided in the corres-ponding API library of COM-based components. ...
PolyAnalyst for Text is designed for the analysis of relatively short text records. TextAnalyst requires Intel PC platform, with at least 128 MB, and Microsoft Windows. ...
In 2003 it acquired the Xerox linguistics operations
(MKMS). ...
doi:10.2495/978-1-85312-995-7/21
fatcat:2w5273jjobghfmdgrxnjal22xy
Innovations in Model-based Software And Systems Engineering
2019
Journal of Object Technology
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 article, we summarize research activities focusing on the development and use of models in software and systems engineering. ...
While the following sections describe steps towards a better integration of models into software and systems development techniques, there is also still a lot more to do. ...
Software architecture and infrastructure models describe the system and its physical distribution on a large scale. ...
doi:10.5381/jot.2019.18.1.r1
fatcat:7cnjossiqrcjvfq72oplddujba
A Scalable Module System
[article]
2011
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.
We hold that in order to realize MKM "in the large", we need representation languages and software architectures that are designed systematically with large-scale processing in mind. ...
While mathematical knowledge management (MKM) "in the small" is well-studied, scaling up to large, highly interconnected corpora remains difficult. ...
MKM in the large has been pioneered in the field of formal methods in software engineering, where a sound logical foundation and the incorruptibility of computers are combined to verify computer systems ...
arXiv:1105.0548v1
fatcat:lez5rrgqxvbyndw6lqdg4urhki
Semantic Knowledge Management for Education
2008
Proceedings of the IEEE
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 2009; you can also visit the original URL.
The file type is application/pdf.
Semantic technologies' are touted as the next big wave in Educational Technology and as the solution to many problems in this arena. ...
In particular, we (re)-evaluate the notions of 'semantics', 'knowledge', 'learning', their role for learning materials in ET, and how they interact with the contexts involved in the learning/teaching process ...
coverage and scalability, and in the formalisms employed. ...
doi:10.1109/jproc.2008.921606
fatcat:vcpom2k6jfcz7adeo4ycpzinfm
A Question in General Relativity
1939
Proceedings of the National Academy of Sciences of the United States of America
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 2007; you can also visit the original URL.
The file type is application/pdf.
The LHC@home project uses public resource computing to simulate circulating protons in the future Large Hadron Collider (LHC). ...
Increasingly, we are seeing that the biggest challenge in performing successful analyses is that of knowing and describing the machine and beam state accurately. ...
It is a fully programmable and modular software, thanks to a Tcl interface and external modules based on shared libraries. ...
doi:10.1073/pnas.25.7.391
pmid:16577922
pmcid:PMC1077928
fatcat:r5owced7cvgh7cqzw77ed36zt4
Bruker Micro-CT User Meeting 2016 Abstract book
[article]
2020
Zenodo
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.
The Abstract Book from the "Bruker Micro-CT User Meeting 2016 Abstract book". ...
Acknowledgements To Bruker-Skyscan staff for fast and effective support, their patience and effectiveness, and for their constant improvements to the software and in implementing new options we requested ...
Results Besides being extremely simple, the sample preparation technique presented here has several advantages: (1) a large number of particles can be embedded in one single mount, (2) the particles are ...
doi:10.5281/zenodo.3697293
fatcat:lcotsgt3wvdzxpiltd4zczg7sy
Hyperspectral Imagery for Environmental Urban Planning
2018
IGARSS 2018 - 2018 IEEE International Geoscience and Remote Sensing Symposium
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.
System Schema To achieve these aims, a modular system was developed to allow scalability as the database and user base grows. ...
The proposed framework developped in the context of the HYEP project is fully automatic, modular and versatile for the task of semantic segmentation. ...
Duarte, "An Overview of Blind Source Separation Methods for Linear-Quadratic and Post-nonlinear Mixtures," Latent Variable Analysis and Signal Separation, Lecture Notes in Computer Science, vol. 9237, ...
doi:10.1109/igarss.2018.8519085
dblp:conf/igarss/WeberABAFDZDKBG18
fatcat:eknmohwbirb67pnmn7adsjjija
Liprotides: a New Class of Protein Lipid-Complexes
2016
Biophysical Journal
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.
The CoSAXS project will have a major positive impact on the current MAX IV SAXS possibilities and the users scattering community in general. ...
Developments have focused both on new techniques and improvements in reliability and ease of use. ...
The data bank is designed to be fully scalable and so as to cater for the future demands of a rapidly growing user community while at the same time it is hoped that SASBDB will contribute towards improving ...
doi:10.1016/j.bpj.2015.11.3085
fatcat:eqeeb47atfc4lisnurb25n55gu
User interaction widgets for interactive theorem proving
2007
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 2009; you can also visit the original URL.
The file type is application/pdf.
In the tradition of LCF, the proof language of Matita is procedural and relies on tactic and tacticals to proceed toward proof completion. ...
This thesis is about the design and implementation of some of those solutions, in particular those relevant for the topic of user interaction with theorem provers, and of which this thesis author was a ...
This architecture turns out to be scalable and allows the running threads to share the cache of loaded (and type-checked) theorems. ...
doi:10.6092/unibo/amsdottorato/616
fatcat:4jpas3mxzvampb5qyyhlvg7xh4
2014 Scar Open Science Conference And Comnap Symposium: Abstracts
[article]
2016
Zenodo
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.
, mini Symposia and the COMNAP Symposium 'Success through International Cooperation'. ...
Abstracts from the XXXIII SCAR Open Science Conference, 'Global Messages from Antarctica', held in 2014 in Auckland, New Zealand, including Plenary Lectures, the Antarctic Conservation Flipped Symposium ...
The library is modular and layered, consisting of a Core module, and a User Interface (UI) module. ...
doi:10.5281/zenodo.53123
fatcat:tycti5b3n5cdfmrrwlibgmyhvq
Augmenting mathematical formulae for more effective querying & efficient presentation
[article]
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.
MIR systems should elevate the internal representation of mathematics and use a more semantic rather than syntactic representation for the retrieval algorithms. ...
It presents a solution on how large web publishers can efficiently present mathematics to satisfy the INs of each individual visitor. ...
Given the large variety of users and information systems, delivering math in a robust, scalable, fast and accessible way, was an open research problem. ...
doi:10.14279/depositonce-6034
fatcat:mvb7hxd6mjcrjaje6ik3jpujdm
« Previous
Showing results 1 — 15 out of 20 results