Skip to content
Snippets Groups Projects
Commit c91df85a authored by Michael Kohlhase's avatar Michael Kohlhase
Browse files

more and spellcheck

parent 94db5753
Branches
No related tags found
No related merge requests found
......@@ -50,4 +50,4 @@ interest group.
%%% End:
% LocalWords: site-jacu.tex sitedescription emph textbf keypubs KohDavGin
% LocalWords: psewads11 pdpl10 StaKoh tlcspx10
% LocalWords: psewads11 pdpl10 StaKoh tlcspx10 KohDavGin:psewads11,Kohlhase:pdpl10
......@@ -188,4 +188,4 @@ He will work on \TheProject.
%%% TeX-master: "../proposal"
%%% End:
% LocalWords: cases,title wphases wpobjectives itemized compactitem wpdescription formalized mathematics,lead Data,lead 3,partners System,lead Simulations,lead wpdelivs wpdeliv date,type,PU xxx,dissem PU,nature yyy,dissem compactenum localtaskref oafdata localtaskref modelicadata arraydata encdata zbmathdata oafdata,title modelicadata,title modeling,lead Modelica Modelica aggreated ednote recorddata,title 20,partners arraydata,title zbmathdata,title wikidata,title deliv:oafdata,lead FAU,due 36,dissem deliv:modelicadata,lead CAE,due deliv:recorddata,lead CHA,due deliv:arraydata,lead FIZ,due deliv:zbmathdata,lead deliv:wikidata,lead 20,partners eval,dissem proto1,dissem 10,wphases 20,wphases Datasets,wphases lmfdbdata 10,wphases Formalizations 14,wphases UL,partners 20,wphases taskref dtypes dissem outreachfau lmfdbdata,title Datasets,lead 15,wphases 6,wphases zbMATH 8,wphases UL,due deliv:lmfdbdata,lead Emmo 10,wphases 14,wphases 20,wphases 15,wphases lmfdbservice 6,wphases 8,wphases swMATH MueGauKal:cacfms17
% LocalWords: cases,title wphases wpobjectives itemized compactitem wpdescription formalized mathematics,lead Data,lead 3,partners System,lead Simulations,lead wpdelivs wpdeliv date,type,PU xxx,dissem PU,nature yyy,dissem compactenum localtaskref oafdata localtaskref modelicadata arraydata encdata zbmathdata oafdata,title modelicadata,title modeling,lead Modelica Modelica aggreated ednote recorddata,title 20,partners arraydata,title zbmathdata,title wikidata,title deliv:oafdata,lead FAU,due 36,dissem deliv:modelicadata,lead CAE,due deliv:recorddata,lead CHA,due deliv:arraydata,lead FIZ,due deliv:zbmathdata,lead deliv:wikidata,lead 20,partners eval,dissem proto1,dissem 10,wphases 20,wphases Datasets,wphases lmfdbdata 10,wphases Formalizations 14,wphases UL,partners 20,wphases taskref dtypes dissem outreachfau lmfdbdata,title Datasets,lead 15,wphases 6,wphases zbMATH 8,wphases UL,due deliv:lmfdbdata,lead Emmo 10,wphases 14,wphases 20,wphases 15,wphases lmfdbservice 6,wphases 8,wphases swMATH MueGauKal:cacfms17 outreachems
......@@ -164,7 +164,7 @@ Therefore, we will provide two reports each at Month 18 resp. 36 that summarize
%%% TeX-master: "../proposal"
%%% End:
% LocalWords: workpackage dissem wphases wpobjectives wpdescription tasklist WPref nmag dissem,wphases inparaenum utilizing compactitem compactenum organized project-intro,lead 20,partners 6,miles startup,id press-release-1,dissem PU,nature R,lead proto1,id ils-tool,dissem 36,id eval,nature PS,issue oldpart ednote 12,partners 6,miles 36,id outreachfau,title outreachul,title outreachemstitle Teachers,lead 12,partners 6,miles 36,id wrapup,nature UL,partners 10,wphases outreachems,title 12,partners wikidata,title 6,wphases synchronizes 6,miles 30,id wikidata,dissem 36,id outreachfau outreachul popularizing outreachems outreachwikidata 12,wphases datacarpentry:on 12,partners outreachwikidata,title 8,wphases summarize devil:outreachwikidata,dissem 12,wphases 12,partners 8,wphases zbMATH zbMATH
% LocalWords: workpackage dissem wphases wpobjectives wpdescription tasklist WPref nmag dissem,wphases inparaenum utilizing compactitem compactenum organized project-intro,lead 20,partners 6,miles startup,id press-release-1,dissem PU,nature R,lead proto1,id ils-tool,dissem 36,id eval,nature PS,issue oldpart ednote 12,partners 6,miles 36,id outreachfau,title outreachul,title outreachemstitle Teachers,lead 12,partners 6,miles 36,id wrapup,nature UL,partners 10,wphases outreachems,title 12,partners wikidata,title 6,wphases synchronizes 6,miles 30,id wikidata,dissem 36,id outreachfau outreachul popularizing outreachems outreachwikidata 12,wphases datacarpentry:on 12,partners outreachwikidata,title 8,wphases summarize devil:outreachwikidata,dissem 12,wphases 12,partners 8,wphases zbMATH zbMATH standardization standardization
% LocalWords: delivref linkedin organisation finalpressrelease organise wpdelivs github
% LocalWords: wpdeliv dissemination-of-oommf-nb-virtual-environment OOMMFNB taskref
% LocalWords: oommf-python-interface oommf-tutorial-and-documentation mumag magpar
......
......@@ -122,10 +122,10 @@ This will allow seamless and immediate computation with \TheProject datasets, e.
The implementation will be based on and sustain the continuity of OpenDreamKit results, where \site{FAU} and \site{PS} have developed the integration of external datasets (specifically those of LMFDB) with SageMath via codecs.
\begin{newpart}{MK@FR: re-read}
This task will also study the trade-offs between data storage and lazy re-computation, and develop joint abstractractions of schema theories and virtual theories that allow to leave open (and thus transparently change) between those two modes of data provisioning.
This task will also study the trade-offs between data storage and lazy re-computation, and develop joint abstractions of schema theories and virtual theories that allow to leave open (and thus transparently change) between those two modes of data provisioning.
Even flexible mixed models and models that self-adapt under differing loads are possible and will be studied.
We expect that this will give rise to programming abstractions that allow to memoize useful and computationally expensive objects persistenly in data stores and thus directly support large-scale and distributed computations.
We will build on very promisint experiments in the OpenDreamKit project.
We expect that this will give rise to programming abstractions that allow to memoize useful and computationally expensive objects persistently in data stores and thus directly support large-scale and distributed computations.
We will build on very promising experiments in the OpenDreamKit project.
\end{newpart}
In addition, this task will enable several innovative uses of the EOSC-level infrastructure.
......@@ -258,4 +258,4 @@ Therefore, they are listed a single deliverable here.
%%% TeX-master: "../proposal"
%%% End:
% LocalWords: services,title wphases wpobjectives itemized compactitem wpdescription Infrastructure,lead taskref Validation,lead ui,title Interface,lead UL,partners Provenance,lead ednote Visualization visualized Data,lead PS,partners integratable wpdelivs wpdeliv date,type,PU xxx,dissem PU,nature yyy,dissem compactenum impl Findability WPref modelicaservice lmfdbservice encdata infra,title 14,partners impl,title 15,partners A,title I,title Computation,lead Vidali innovatively F,title factorizations Modelica-Related Service,lead Modelica lmfdbservice,title eosc,title Hub,lead deliv:infra,lead FAU,due 6,dissem deliv:impl,lead deliv:A,lead UL,due deliv:I,lead PS,due deliv:F,lead deliv:modelicaservice,lead CAE,due deliv:lmfdbservice,lead CHA,due deliv:eosc,lead eosc 14,partners 15,partners deliv:infra,miles proto1,lead 9,dissem proto1,dissem eval,dissem wrapup,dissem 16,wphases 18,wphases 15,wphases 21,wphases Dymola 9,dissem nauty 12,wphases emph 18,wphases Emmo 15,wphases dtypes 16,wphases Program,lead lmfdbdata recomputation factorization 10,wphases 9,dissem lmfdb:on 12,wphases 18,wphases 15,wphases 10,wphases 9,dissem noindent textbf
% LocalWords: services,title wphases wpobjectives itemized compactitem wpdescription Infrastructure,lead taskref Validation,lead ui,title Interface,lead UL,partners Provenance,lead ednote Visualization visualized Data,lead PS,partners integratable wpdelivs wpdeliv date,type,PU xxx,dissem PU,nature yyy,dissem compactenum impl Findability WPref modelicaservice lmfdbservice encdata infra,title 14,partners impl,title 15,partners A,title I,title Computation,lead Vidali innovatively F,title factorizations Modelica-Related Service,lead Modelica lmfdbservice,title eosc,title Hub,lead deliv:infra,lead FAU,due 6,dissem deliv:impl,lead deliv:A,lead UL,due deliv:I,lead PS,due deliv:F,lead deliv:modelicaservice,lead CAE,due deliv:lmfdbservice,lead CHA,due deliv:eosc,lead eosc 14,partners 15,partners deliv:infra,miles proto1,lead 9,dissem proto1,dissem eval,dissem wrapup,dissem 16,wphases 18,wphases 15,wphases 21,wphases Dymola 9,dissem nauty 12,wphases emph 18,wphases Emmo 15,wphases dtypes 16,wphases Program,lead lmfdbdata recomputation factorization 10,wphases 9,dissem lmfdb:on 12,wphases 18,wphases 15,wphases 10,wphases 9,dissem noindent textbf newpart
......@@ -41,4 +41,4 @@ In particular, all produced documents (including this proposal itself), software
%%% TeX-master: "proposal"
%%% End:
% LocalWords: ednote reuser Modelica zbMATH
% LocalWords: ednote reuser Modelica zbMATH ldots formalized standardization
\ednote{NT: blurry line between data and computation; data is just a cache for computation; allow representing data lazily by function application in the standard}
\ednote{NT: for long-term archival, storing of enough information to recompute necessary, may be data or functions}
\subsubsection{State of the Art}\label{sec:state_of_the_art}
For most mathematicians, and related researchers and users, the 2019 state of the art in data sharing often still consists of posting their dataset online, e.g., as a CSV-encoded text file or uploading it to a database with a web interface.
......@@ -40,10 +37,9 @@ It integrates a number of important mathematical datasets such as copies of some
\begin{newpart}{MK@FR: re-read}
Note that there is a blurry line between computation and data in mathematics -- and any science where data is computed as opposed to measured: instead of storing data we can always recompute it on demand.
Dually, computation can often replaced by tabulation of results, and which one is ``better'' depends on ``secondary virtues'' like computational complexity, storage costs, and input change rates.
The underlying trade-offs have not been explored for symbolic, record, and linked data; getting a good handle on them will be an important consideration for the \pn data/software framework.
The underlying trade-offs have not been explored for symbolic, record, and linked data; getting a good handle on them will be an important consideration for the \pn data/software framework (see \taskref{services}{I}).
\end{newpart}
\paragraph{Semantic Interoperability}\label{sec:mitm}
The SageMath integration layer described above is largely non-semantic in the sense that it relies on custom ``glue code'' in Python that is unverified and can be broken by any update of one of the integrated systems or datasets.
Moreover, it is specific to SageMath and cannot be reused in other systems.
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment