update
authorMart Lubbers <mart@martlubbers.net>
Wed, 19 May 2021 07:19:56 +0000 (09:19 +0200)
committerMart Lubbers <mart@martlubbers.net>
Wed, 19 May 2021 07:19:56 +0000 (09:19 +0200)
curriculum_vitae.tex
domain_specific_languages.tex [moved from dsl.tex with 100% similarity]
internet_of_things.tex [moved from iot.tex with 59% similarity]
latexmkrc [moved from .latexmkrc with 97% similarity]
motto.tex
task_oriented_programming.tex [moved from top.tex with 59% similarity]
thesis.tex
titlepage.tex

index 5d38ea1..59beb0d 100644 (file)
@@ -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).\\
similarity index 100%
rename from dsl.tex
rename to domain_specific_languages.tex
similarity index 59%
rename from iot.tex
rename to internet_of_things.tex
index 1d8d03d..fdc976c 100644 (file)
--- a/iot.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?
-
-
similarity index 97%
rename from .latexmkrc
rename to latexmkrc
index 05037d2..60fe43e 100644 (file)
+++ b/latexmkrc
@@ -32,3 +32,5 @@ $bibtex_use = 2;
 
 # Clean mkindex files
 $clean_ext .= ' %R.ist %R.xdy';
+
+$show_time = 1;
index 354e831..92d39f6 100644 (file)
--- 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}
similarity index 59%
rename from top.tex
rename to task_oriented_programming.tex
index 5661611..91b08e9 100644 (file)
--- a/top.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
index 2c70e28..3896bb4 100644 (file)
 
 \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%
index d655558..dc0ae9f 100644 (file)
@@ -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}