X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=preamble%2Fglossaries.tex;h=c581ed22a9341b8730466bba109b352f51a95fa2;hb=HEAD;hp=a746331283ffcfbe208b264112008877dd488e67;hpb=e770ffa123986f62dcc3b69df9ff9895860ca319;p=phd-thesis.git diff --git a/preamble/glossaries.tex b/preamble/glossaries.tex index a746331..c581ed2 100644 --- a/preamble/glossaries.tex +++ b/preamble/glossaries.tex @@ -1,15 +1,11 @@ \usepackage[nolangwarn,nonumberlist,prefix]{glossaries-extra} \setabbreviationstyle{long-short} \setabbreviationstyle[noexpand]{short-nolong} -%\setabbreviationstyle[scabbr]{short-sc-nolong} +\setabbreviationstyle[acronym]{long-short} \Addlcwords{of} -\glssetcategoryattribute{abbreviation}{glossname}{uc} -\glssetcategoryattribute{noexpand}{glossname}{uc} -\glssetcategoryattribute{scabbr}{glossname}{uc} -\GlsXtrEnableInitialTagging{acronym,abbreviation}{\itag} \newcommand*{\glsxtrpostnameacronym}{% - \space\rm\glsentrylong{\glscurrententrylabel}, % + \space\rm\glsentrylong{\glscurrententrylabel}% } %\renewcommand*{\glsxtrpostdescabbreviation}{% % \space (initialism)% @@ -36,14 +32,13 @@ \makeglossaries% % Acronyms -\newacronym[description={the CO\textsubscript{2} concentration calculated from \glsxtrshort{TVOC} measurements}]{ECO2}{(eCO\textsubscript{2})}{equivalent carbon dioxide} -\newacronym[description={a open data interchange format using human readable text}]{JSON}{JSON}{(JavaScript object notation)} -\newacronym[description={a publish-subscribe network protocol designed for resource constrained devices}]{MQTT}{MQTT}{(MQ telemetry transport)} -\newacronym[description={a pure lazy \glsxtrlong{FP} language based on graph rewriting}]{CLEAN}{Clean}{(Clean language of East-Anglia and Nijmegen)} -\newacronym[description={a simple serial communication protocol often used to connect sensors to microcontrollers}]{I2C}{\IIC{}}{(inter-integrated circuit)} -\newacronym[description={passive infrared}]{PIR}{PIR}{} -\newacronym[description={task-oriented programming}]{TOP}{TOP}{} -\newacronym[description={the three ``CO'' (composability, comprehensibility, correctness) of working software}]{3COWS}{3COWS}{} +\newacronym[description={a open data interchange format using human readable text},category=noexpand]{JSON}{JSON}{(JavaScript object notation)} +\newacronym[description={a publish-subscribe network protocol designed for resource constrained devices},category=noexpand]{MQTT}{MQTT}{(MQ telemetry transport)} +\newacronym[description={a pure lazy \glsxtrlong{FP} language based on graph rewriting},category=noexpand]{CLEAN}{Clean}{(Clean language of East-Anglia and Nijmegen)} +\newacronym[description={a simple serial communication protocol often used to connect sensors to microcontrollers},category=noexpand]{I2C}{\IIC{}}{(inter-integrated circuit)} +\newacronym[description={}]{PIR}{PIR}{passive infrared} +\newacronym[description={}]{TOP}{TOP}{task-oriented programming} +\newacronym[description={the three ``CO'' (composability, comprehensibility, correctness) of working software},category=noexpand]{3COWS}{3COWS}{} % Initialisms \newabbreviation{ADC}{ADC}{analog-to-digital converter} @@ -51,7 +46,6 @@ \newabbreviation{AST}{AST}{abstract syntax tree} \newabbreviation{API}{API}{application programming interface} \newabbreviation{ARDSL}{ARDSL}{\gls{ARDUINO} \glsxtrshort{DSL}} -\newabbreviation[category=noexpand]{CEFP}{CEFP}{Central European \glsxtrlong{FP} School} \newabbreviation{CRS}{CRS}{\gls{CLEAN} Raspberry Pi system} \newabbreviation{CRTS}{CRTS}{\gls{CLEAN} Raspberry Pi temperature sensor} \newabbreviation{CWS}{CWS}{\gls{CLEAN} \gls{WEMOS} system} @@ -59,12 +53,12 @@ \newabbreviation{DHT}{DHT}{digital humidity and temperature} \newabbreviation{DSL}{DSL}{domain-specific language} \newabbreviation{DVFS}{DVFS}{dynamic voltage and frequency scaling} -\newabbreviation{EDSL}{EDSL}{embedded \glsxtrlong{DSL}} +\newabbreviation{EDSL}{eDSL}{embedded \glsxtrlong{DSL}} \newabbreviation[prefixfirst={a\ },prefix={an\ }]{FP}{FP}{functional programming} \newabbreviation[prefixfirst={a\ },prefix={an\ }]{FRP}{FRP}{functional reactive programming} \newabbreviation[prefixfirst={a\ },prefix={an\ }]{FPGA}{FPGA}{field-programmable gate array} \newabbreviation{GADT}{GADT}{generalised \glsxtrshort{ADT}} -\newabbreviation{GHC}{GHC}{Glasgow \gls{HASKELL} Compiler} +\newabbreviation{GHC}{GHC}{Glasgow \gls{HASKELL} compiler} \newabbreviation{GPIO}{GPIO}{general-purpose \glsxtrlong{IO}} \newabbreviation{GPL}{GPL}{general-purpose language} \newabbreviation{GRS}{GRS}{graph rewriting system} @@ -78,8 +72,7 @@ \newabbreviation[category=noexpand,prefixfirst={a\ },prefix={an\ }]{LED}{LED}{light-emitting diode} \newabbreviation[category=noexpand]{OLED}{OLED}{organic \glsxtrshort{LED}} \newabbreviation[category=noexpand]{OS}{OS}{operating system} -\newabbreviation{OTA}{OTA}{over-the-air} -\newabbreviation{PFRP}{p-frp}{priority-based \glsxtrshort{FRP}} +\newabbreviation{PFRP}{P-FRP}{priority-based \glsxtrshort{FRP}} \newabbreviation{PRS}{PRS}{\gls{PYTHON} Raspberry Pi system} \newabbreviation{PWS}{PWS}{\gls{MICROPYTHON} \gls{WEMOS} system} \newabbreviation{PRTS}{PRTS}{\gls{PYTHON} Raspberry Pi temperature sensor} @@ -96,12 +89,11 @@ \newabbreviation{TH}{TH}{Template \gls{HASKELL}} \newabbreviation[category=noexpand]{TCP}{TCP}{transmission control protocol} \newabbreviation{TOSD}{TOSD}{task-oriented software development} -\newabbreviation{TRS}{TRS}{term rewriting system} \newabbreviation{TTH}{TTH}{typed \glsxtrlong{TH}} \newabbreviation{TVOC}{TVOC}{total volatile organic compounds} \newabbreviation{UI}{UI}{user interface} -\newabbreviation{UOD}{UOD}{universe of discourse} -\newabbreviation{UOG}{UOG}{University of Glasgow} +\newabbreviation{UOD}{UoD}{universe of discourse} +\newabbreviation{UOG}{UoG}{University of Glasgow} \newabbreviation{VM}{VM}{virtual machine} % Glossaries @@ -109,6 +101,10 @@ name=ABC, description={\gls{CLEAN}'s intermediate graph-rewriting language}, } +\newglossaryentry{ECO2}{% + name={eCO\textsubscript{2}}, + description={CO\textsubscript{2} concentration calculated from \glsxtrshort{TVOC} measurements}, +} \newglossaryentry{MTASK}{% name=mTask, description={a \glsxtrshort{TOP} \glsxtrshort{EDSL} for edge devices integrated with the \gls{ITASK} system}, @@ -125,18 +121,10 @@ name=Haskell, description={a pure lazy \glsxtrlong{FP} language designed by a committe as a concept language} } -\newglossaryentry{HASKELL98}{% - name=Haskell98, - description={a standardised version of \gls{HASKELL}}, -} \newglossaryentry{ARDUINO}{% name=Arduino, description={a widely used framework for programming microcontrollers} } -\newglossaryentry{MBED}{% - name=mbed, - description={a widely used framework for programming microcontrollers designed for ARM cortex-M} -} \newglossaryentry{CPP}{ name=C\texttt{++}, description={a general-purpose imperative programming language based on \gls{C}} @@ -149,10 +137,6 @@ name=Wi-Fi, description={is a family of wireless network protocols commonly used for local area networking} } -\newglossaryentry{TINYML}{ - name=TinyML, - description={a deep learning framework for microcontrollers} -} \newglossaryentry{PYTHON}{ name=Python, description={a multi-paradigm interpreted programming language} @@ -161,10 +145,6 @@ name=MicroPython, description={a \gls{PYTHON} implementation tailored for microcontrollers} } -\newglossaryentry{FREERTOS}{ - name=FreeRTOS, - description={an open-source \glsxtrshort{RTOS} for microcontrollers} -} \newglossaryentry{ONEWIRE}{ name=1-wire, description={a simple single wire communication protocol often used to connect sensors to microcontrollers}