Browse Source

Finished up juliacon extended abstract

master
Micah Halter 11 months ago
parent
commit
90a16d762a
3 changed files with 9 additions and 12 deletions
  1. +2
    -2
      juliacon_abstract/header.tex
  2. +4
    -5
      juliacon_abstract/paper.tex
  3. +3
    -5
      juliacon_abstract/paper.yml

+ 2
- 2
juliacon_abstract/header.tex View File

@@ -1,6 +1,6 @@
% **************GENERATED FILE, DO NOT EDIT**************

\title{My JuliaCon proceeding}
\title{SemanticModels.jl: A Julia Package for Scientific Model Augmentation}

\author[1]{Micah Halter}
\author[1]{Sreenath Raparti}
@@ -9,5 +9,5 @@
\author[1]{James Fairbanks}
\affil[1]{Georgia Tech Research Institute, Atlanta, USA}

\keywords{Julia, Category Theory, Model Augmentation, Extraction, Natural Language Processing}
\keywords{Modeling Frameworks, Meta-programming, Category Theory}


+ 4
- 5
juliacon_abstract/paper.tex View File

@@ -14,7 +14,6 @@
\maketitle

\begin{abstract}
% TODO: I don't think we talk about NLP enough to use that as a keyword, we probably want, "modeling frameworks", "metaprogramming" "applications", CT is probably good to leave in there.
\semanticModels{} is a package that takes advantage of meta-modeling and meta-programming to automate model augmentation and creation.
We chose Julia for our project because of the powerful type system, the efficient internal abstract syntax tree (AST), and the embedded domain specific languages (DSL) that emerge as a result through the multiple dispatch mechanism for all libraries in the Julia ecosystem~\cite{doi:11.1137/141000671}.
The dynamic type inference and method generation has significant and powerful downstream effects which enables dynamic model manipulation with efficient code generation.
@@ -41,7 +40,7 @@ The core of functionality shown in Figure~\ref{fig:graft} ingesting and manipula
In the \texttt{model} function, the AST of a program is indexed for specific features that are known to be important for dynamical systems such as the states that the population can occupy, the rate relationships, and the state transition functions.
SemanticModels.jl captures the meaningful structures of a code with links to how a library defines a class of problems and enables high level program transformations that scientists recognise as \emph{perturbing the model}.
In Figure~\ref{fig:graft}, when we look at the programmatic replacement for the $dS$ term, the AST is searched for the definition of \texttt{dS}.
The \texttt{add} function takes in a newly defined state with a name, transition function, and initial value and places each of those components in the appropriate location within the AST.\@ The new model is solved by generating a new problem instance along with the necessary methods and calling the library solver functions.
The \texttt{add} function takes in a newly defined state with a name, transition function, and initial value and places each of those components in the appropriate location within the AST.\@ The new model is solved by generating a new problem instance along with the necessary methods and calling the library solver functions.


\paragraph{Conclusion}\label{par:conclusion}
@@ -51,17 +50,17 @@ We present an automated system for extracting information from, reasoning about,
This framework enables the extension of models with new parameters and components, leveraging the dynamic nature of the Julia compiler.

\begin{figure}[b]
\begin{subfigure}[b]{0.18\textwidth}
\begin{subfigure}[b]{0.16\textwidth}
\includegraphics[width=\textwidth]{img/SIS.png}
\caption{The flow of a SIS model.}\label{fig:SIS}
\end{subfigure}
\hspace{1em}
\begin{subfigure}[b]{0.25\textwidth}
\begin{subfigure}[b]{0.26\textwidth}
\includegraphics[width=\textwidth]{img/SIR-SIRS.png}
\vspace{0em}
\caption{The flow of a SIR model.}\label{fig:SIR}
\end{subfigure}
\vspace{-1em}
\begin{subfigure}[b]{0.45\textwidth}
\begin{lstlisting}[language=Julia]


+ 3
- 5
juliacon_abstract/paper.yml View File

@@ -1,10 +1,8 @@
title: "My JuliaCon proceeding"
title: "SemanticModels.jl: A Julia Package for Scientific Model Augmentation"
keywords:
- Julia
- Modeling Frameworks
- Meta-programming
- Category Theory
- Model Augmentation
- Extraction
- Natural Language Processing
authors:
- name: Micah Halter
orcid: 000-0002-0484-971X


Loading…
Cancel
Save