From: Mart Lubbers <mart@martlubbers.net>
Date: Wed, 19 May 2021 07:19:56 +0000 (+0200)
Subject: update
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=676522e2345f468b73f68737d47cfbfded2f42be;p=phd-thesis.git

update
---

diff --git a/curriculum_vitae.tex b/curriculum_vitae.tex
index 5d38ea1..59beb0d 100644
--- a/curriculum_vitae.tex
+++ b/curriculum_vitae.tex
@@ -7,7 +7,7 @@ Mart Lubbers
 	2004{--}2011 & VWO at the Twents Carmelcollege De Thij, Oldenzaal\\
 	2011{--}2015 & Bachelor's Degree Artificial Intelligence at the Radboud University, Nijmegen\\
 	2013{--}2015 & Research Assistant at the Max Planck Institute for Psycholinguistics\\
-	2015{--}2017 & Master's Degree Computing Science (Software Science track) at the Radboud University, Nijmegen\\
+	2015{--}2017 & Master's Degree (cum laude) Computing Science (Software Science track) at the Radboud University, Nijmegen\\
 	2015{--}2017 & Entrepeneur as IT Lubbers, Nijmegen\\
 	2017         & Researcher at the Netherlands Defense Academy, Den Helder in the faculty of Military Sciences (fMIL).\\
 	2018         & Researcher at the Radboud University, Nijmegen in the Institute for Computing and Information Sciences (iCIS).\\
diff --git a/dsl.tex b/domain_specific_languages.tex
similarity index 100%
rename from dsl.tex
rename to domain_specific_languages.tex
diff --git a/iot.tex b/internet_of_things.tex
similarity index 59%
rename from iot.tex
rename to internet_of_things.tex
index 1d8d03d..fdc976c 100644
--- a/iot.tex
+++ b/internet_of_things.tex
@@ -3,7 +3,5 @@ IOT2020 paper met Glasgow.
 
 TOPLAS paper met Glasgow.
 
-\chapter{Rapid prototyping and modelling naval scenaries using \acrshort{TOP} and \acrshort{IOT}}
+\chapter{Modelling naval scenaries using \acrshort{TOP} and \acrshort{IOT}}
 Arjan's werk NLARMS?
-
-
diff --git a/.latexmkrc b/latexmkrc
similarity index 97%
rename from .latexmkrc
rename to latexmkrc
index 05037d2..60fe43e 100644
--- a/.latexmkrc
+++ b/latexmkrc
@@ -32,3 +32,5 @@ $bibtex_use = 2;
 
 # Clean mkindex files
 $clean_ext .= ' %R.ist %R.xdy';
+
+$show_time = 1;
diff --git a/motto.tex b/motto.tex
index 354e831..92d39f6 100644
--- a/motto.tex
+++ b/motto.tex
@@ -3,6 +3,6 @@
 \epigraph{%
 	The world is indeed comic, but the joke is on mankind.
 }{%
-	H.P.~Lovecraft
+	H.P.\ Lovecraft
 }
 \vspace*{\fill}
diff --git a/top.tex b/task_oriented_programming.tex
similarity index 59%
rename from top.tex
rename to task_oriented_programming.tex
index 5661611..91b08e9 100644
--- a/top.tex
+++ b/task_oriented_programming.tex
@@ -1,13 +1,15 @@
-\chapter{Interpreting \acrlong{TOP} programs on microcontrollers}
-IFL19 paper
+\chapter{\gls{MTASK} tutorial}
+Hiermee beginnen, dan is het gelijk duidelijk hoe mTask werkt, dan zijn de volgende chapters implementatie dingen.
 
-4COWS paper
+CEFP19 lecture notes. Dit evt.\ ook gecombineerd met energy aware \gls{TOP} programming en CEFP22 lecture notes.
+
+\chapter{Energy aware TOP programming}
+Paper van Sjoerds thesis
 
 \chapter{Integrating \gls{MTASK} with \gls{ITASK}}
 IFL18 paper
 
-\chapter{Energy aware TOP programming}
-Paper van Sjoerds thesis
+\chapter{Interpreting \acrlong{TOP} programs on microcontrollers}
+IFL19 paper
 
-\chapter{mTask tutorial}
-CEFP19 lecture notes. Dit evt.\ ook gecombineerd met energy aware TOP programming en CEFP22 lecture notes.
+4COWS paper
diff --git a/thesis.tex b/thesis.tex
index 2c70e28..3896bb4 100644
--- a/thesis.tex
+++ b/thesis.tex
@@ -53,15 +53,15 @@
 
 \part{\glst{DSL}}%
 \label{prt:dsl}
-\input{dsl}
+\input{domain_specific_languages}
 
 \part{\glst{TOP}}%
 \label{prt:top}
-\input{top}
+\input{task_oriented_programming}
 
 \part{\glst{IOT}}%
 \label{prt:iot}
-\input{iot}
+\input{internet_of_things}
 
 % Start appendix
 \appendix%
diff --git a/titlepage.tex b/titlepage.tex
index d655558..dc0ae9f 100644
--- a/titlepage.tex
+++ b/titlepage.tex
@@ -3,7 +3,7 @@
 	\begin{center}
 	    \vspace*{3.5cm}
 
-		\LARGE{\textsc{\glst{TOP} for the \glst{IOT}}}
+		\LARGE{\textsc{Task Oriented Programming and the Internet of Things}}
 
 	    \vspace*{15pt}
 
@@ -39,7 +39,7 @@
 
 	    Mart Lubbers\\
 
-	    geboren op 27 mei 1992 te Oldenzal, Nederland
+	    geboren op 27 mei 1992 te Oldenzaal, Nederland
 	\end{center}
 \end{titlepage}