From: Mart Lubbers 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}