joshua/phd-thesis
Archived
1
Fork 0
Code Activity

Changed some urls

Browse source
This commit is contained in:
Joshua Moerman 2019-05-23 16:37:37 +02:00
parent 9e38816230
commit 34475116e7
4 changed files with 20 additions and 12 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
biblio-web.bib
View file

@ -37,7 +37,7 @@
Joshua Moerman}, Joshua Moerman},
title = {Partition}, title = {Partition},
note = {Source code}, note = {Source code},
url = {https://gitlab.science.ru.nl/rick/partition/} url = {https://github.com/Jaxan/partition}
} }
@misc{ons-code, @misc{ons-code,
@ -48,11 +48,18 @@
url = {https://github.com/davidv1992/ONS} url = {https://github.com/davidv1992/ONS}
} }
@misc{ons-hs-code,
author = {Joshua Moerman},
title = {ONS Haskell Library},
note = {Source code},
url = {https://github.com/Jaxan/ons-hs/}
}
@misc{hybrid-ads-code, @misc{hybrid-ads-code,
author = {Joshua Moerman}, author = {Joshua Moerman},
title = {Hybrid {ADS}}, title = {Hybrid {ADS}},
note = {Source code}, note = {Source code},
url = {https://gitlab.science.ru.nl/moerman/hybrid-ads} url = {https://github.com/Jaxan/hybrid-ads}
} }
@misc{lois-lstar-code, @misc{lois-lstar-code,

14
content-other/acknowledgements.tex
View file

@ -16,13 +16,14 @@ You introduced me to abstract reasoning about state machines, the coalgebraic wa
Although not directly shown in this thesis, this way of thinking has helped and you pushed me to pursuit clear reasoning. Although not directly shown in this thesis, this way of thinking has helped and you pushed me to pursuit clear reasoning.
Besides the theoretical things I've learned, you've also taught me many personal lessons inside and outside of academia. Besides the theoretical things I've learned, you've also taught me many personal lessons inside and outside of academia.
And thanks for leaving me with Daniela and Matteo, when you went on sabbatical. And thanks for leaving me with Daniela and Matteo, when you went on sabbatical.
They have introduced me to nominal techniques, which I found a lot of fun.
Bas, thanks for broadening my understanding of the topics touched upon in this thesis. Bas, thanks for broadening my understanding of the topics touched upon in this thesis.
Unfortunately, we have no papers together, but the connections you showed to logic, computational learning, and computability theory have influenced the thesis nevertheless. Unfortunately, we have no papers together, but the connections you showed to logic, computational learning, and computability theory have influenced the thesis nevertheless.
I am grateful for the many nice chats we had. I am grateful for the many nice chats we had.
At the first floor of the Mercator building, I had the pleasure of spending four years with fun office mates. At the first floor of the Mercator building, I had the pleasure of spending four years with fun office mates.
Michele, thanks for introducing me to the PhD life, by always joking around. Michele, thanks for introducing me to the Ph.D. life, by always joking around.
Hopefully, we can play a game of Briscola again. Hopefully, we can play a game of Briscola again.
Alexis, many thanks for all the tasty {\it\nl proeverijen,\en} wheter it was beers, wines, {\nl poffertjes, kroketten\en}, or anything else. Alexis, many thanks for all the tasty {\it\nl proeverijen,\en} wheter it was beers, wines, {\nl poffertjes, kroketten\en}, or anything else.
Your French influences will be missed. Your French influences will be missed.
@ -31,16 +32,15 @@ Niels, thanks for the abstract nonsense and bashing on politics.
Next to our office, was the office with Tim, with whom I had the pleasure of working from various coffee houses in Nijmegen. Next to our office, was the office with Tim, with whom I had the pleasure of working from various coffee houses in Nijmegen.
Further down the corridor, there was the office of Paul and Rick. Further down the corridor, there was the office of Paul and Rick.
Paul, thanks for being the kindest colleague I've had and for inviting us to your musical endeavours. Paul, thanks for being the kindest colleague I've had and for inviting us to your musical endeavours.
Rick, thanks for the algorithmic sparring. Rick, thanks for the algorithmic sparring, we had a great collaboration.
Was there a more iconic duo on our floor? Was there a more iconic duo on our floor?
A good contender would be Petra and Ramon. A good contender would be Petra and Ramon.
Thanks for the fun we had with ioco, together with Jan. Thanks for the fun we had with ioco, together with Jan.
Nils, thanks for steering me towards probabilistic things and opening a door to Aachen.
I am also very grateful for Jurriaan for bringing back some coalgebra and category theory to our floor, and hosting me in London. I am also very grateful for Jurriaan for bringing back some coalgebra and category theory to our floor, and hosting me in London.
Nils My other co-authors, Wouter, David, Bartek, Micha\l{}, and David, also deserve many credits for all the interesting discussion we had.
Harco Harco, thanks for the technical support.
David Venhoek Special thanks go to Ingrid, for helping with the often-overlooked, but very important, administrative matters.
David N Jansen
Special thanks go to Ingrid, for helping with the tedious, but very important, administrative things.
Doing a Ph.D. would not be complete without a good amount of playing kicker, having {\nl borrels\en}, and eating cakes at the iCIS institute. Doing a Ph.D. would not be complete without a good amount of playing kicker, having {\nl borrels\en}, and eating cakes at the iCIS institute.
Thanks to all of you, Markus, Bram, Marc, Sam, Bas, Joost, Dan, Giso, Baris, Simone, Manxia, Leon, Jacopo, Gabriel, Paulus, Marcos, Bas, and Henning. Thanks to all of you, Markus, Bram, Marc, Sam, Bas, Joost, Dan, Giso, Baris, Simone, Manxia, Leon, Jacopo, Gabriel, Paulus, Marcos, Bas, and Henning.

6
content/ordered-nominal-sets.tex
View file

@ -416,8 +416,9 @@ As a base case we can represent single orbits by their dimension.
[title={Implementation and Complexity of ONS}, [title={Implementation and Complexity of ONS},
reference=sec:implementation-ons] reference=sec:implementation-ons]
The ideas outlined above have been implemented in the \cpp{} library \ONS{} The ideas outlined above have been implemented in a \cpp{} library, \ONS{}, and a \haskell{} library, \ONShs{}.
\footnote{\ONS{} can be found at \citeurl[ons-code].} \footnote{\ONS{} can be found at \citeurl[ons-code] and \ONShs{} can be found at \citeurl[ons-hs-code].}
We focus here on the \cpp{} library only, as the \haskell{} one is very similar.
The library can represent orbit-finite nominal sets and their products, (disjoint) unions, and maps. The library can represent orbit-finite nominal sets and their products, (disjoint) unions, and maps.
A full description of the possibilities is given in the documentation included with \ONS{}. A full description of the possibilities is given in the documentation included with \ONS{}.
@ -433,7 +434,6 @@ These elements are constructed based on the description of the orbits stored, fi
\starttyping \starttyping
nomset<rational> A = nomset_rationals(); nomset<rational> A = nomset_rationals();
nomset<pair<rational, rational>> B({rational(1),rational(2)}); nomset<pair<rational, rational>> B({rational(1),rational(2)});
auto AtimesB = nomset_product(A, B); // compute the product auto AtimesB = nomset_product(A, B); // compute the product
for (auto orbit : AtimesB) for (auto orbit : AtimesB)
cout << orbit.getElement() << " "; cout << orbit.getElement() << " ";

1
environment/notation.tex
View file

@ -39,6 +39,7 @@
% Libraries % Libraries
\define\ONS{{\sc Ons}} \define\ONS{{\sc Ons}}
\define\ONShs{{\sc Ons-hs}}
\define\NLambda{{\sc Nλ}} \define\NLambda{{\sc Nλ}}
\define\LOIS{{\sc Lois}} \define\LOIS{{\sc Lois}}