joshua/phd-thesis
Archived
1
Fork 0
Code Activity

Commit graph

  • ce3bf86c32 pdf of stellingen added master Joshua Moerman 2020-11-16 16:18:35 +01:00
  • 2156e3c374 Adds last things to repo Joshua Moerman 2019-09-20 09:26:22 +02:00
  • 20853b879a Added final pdfs Joshua Moerman 2019-05-31 11:30:02 +02:00
  • 822e6f5751 PDFA version. Colour version. Tagged version did not work well Joshua Moerman 2019-05-31 11:26:43 +02:00
  • d246bac83e Echt af? Joshua Moerman 2019-05-30 13:34:56 +02:00
  • 7ac232880f Laatste tweakjes bij het dankwoord Joshua Moerman 2019-05-30 13:32:55 +02:00
  • f7c88ad466 Final print version Joshua Moerman 2019-05-30 12:26:37 +02:00
  • 14db808680 Cover Joshua Moerman 2019-05-29 21:46:52 +02:00
  • d3b8abb57e Put headers on one side, for easier navigation Joshua Moerman 2019-05-29 21:44:43 +02:00
  • 4c87d93b56 Ack + Summary. En nog wat kleine typos. Joshua Moerman 2019-05-29 21:35:05 +02:00
  • b1741793ba Dank en samenvatting Joshua Moerman 2019-05-24 13:00:36 +02:00
  • 1a2e988bdf Grey colours Joshua Moerman 2019-05-24 13:00:02 +02:00
  • 10097dbc90 Biblio Joshua Moerman 2019-05-24 12:59:33 +02:00
  • 34475116e7 Changed some urls Joshua Moerman 2019-05-23 16:37:37 +02:00
  • 9e38816230 Meer dankwoord Joshua Moerman 2019-05-23 09:40:32 +02:00
  • 27fe1b69b7 Cleaned up the bib a bit Joshua Moerman 2019-05-23 09:40:22 +02:00
  • d705b27a57 Kleine dingetjes Joshua Moerman 2019-05-22 21:36:19 +02:00
  • cabf8685e8 IPA Dissertation series Joshua Moerman 2019-05-22 18:22:37 +02:00
  • 5a3d301d58 Titelblad en Samenvatting kleine dingetjes Joshua Moerman 2019-05-22 17:49:42 +02:00
  • 8d59525fb3 Nog meer front en back matter Joshua Moerman 2019-05-20 22:47:01 +02:00
  • 43a6944355 Beetje dankwoord en samenvatting Joshua Moerman 2019-05-17 15:47:34 +02:00
  • b7159ade02 Official title page Joshua Moerman 2019-05-12 17:01:14 +02:00
  • 26e2be44d2 Final typos etc Joshua Moerman 2019-05-07 10:20:02 +02:00
  • a312dc4aed Converted most images to tikz Joshua Moerman 2019-04-26 17:00:09 +02:00
  • 4aac7e0498 More tikz Joshua Moerman 2019-04-24 17:26:38 +02:00
  • 4dc2bc3475 More figures in tikz Joshua Moerman 2019-04-24 15:52:46 +02:00
  • 035a778d68 Better mapping of bib authors Joshua Moerman 2019-04-24 15:52:30 +02:00
  • 4ba47d28d9 Commentaar van Tessa Joshua Moerman 2019-03-13 11:07:09 +01:00
  • a49a2608a9 Changed title of Chap 7. Two small fixes by Leon. Joshua Moerman 2019-01-28 16:32:01 +01:00
  • 9515d42802 Wijzigingen tav de reviews van onze fossacs inzending Joshua Moerman 2019-01-11 15:43:03 +01:00
  • a2022293cc Nog meer kleine dingetjes Joshua Moerman 2019-01-11 12:41:33 +01:00
  • 4a92b104bb Tweaks Joshua Moerman 2019-01-08 15:16:48 +01:00
  • fbb9a1b941 Alle todos afgewerkt Joshua Moerman 2019-01-07 09:13:06 +01:00
  • 65638971d3 Intro en stijl Joshua Moerman 2019-01-06 14:20:32 +01:00
  • 9ccffdbbea Lijst van contributions per hoofdstuk Joshua Moerman 2019-01-05 15:09:46 +01:00
  • 3a268e6437 Separated nom aut. Joshua Moerman 2019-01-05 14:02:51 +01:00
  • 1fa8596be1 Stijl: tikz shorten transities. Indentatie Joshua Moerman 2019-01-05 14:02:29 +01:00
  • 92444f1c0f Nog meer todos gedaan Joshua Moerman 2019-01-04 18:13:21 +01:00
  • 228161a3e0 Incorporated suggestions by Alexandra Joshua Moerman 2019-01-04 14:35:17 +01:00
  • 17dbe7f671 Iets voor de outlook Joshua Moerman 2018-12-28 09:49:49 +01:00
  • 09fb019921 Tweaks Joshua Moerman 2018-12-27 16:04:44 +01:00
  • fbdc271e66 Stukjes uit de appendix van SepAut naar de tekst gehaald. Joshua Moerman 2018-12-27 14:40:49 +01:00
  • 65e29a6d44 Replaced hrefs with cites. Fixed some todos. Joshua Moerman 2018-12-27 13:04:09 +01:00
  • d132451624 hrefs worden urls in bib Joshua Moerman 2018-12-24 15:32:24 +01:00
  • afb89d106e Suggesties van Frits Joshua Moerman 2018-12-24 13:53:55 +01:00
  • 4e8ff45001 Test methods voorbeeld Joshua Moerman 2018-12-21 14:04:03 +01:00
  • 8500812ed8 Example for testing methods Joshua Moerman 2018-12-20 16:15:45 +01:00
  • 728fb7841a Twee refs vergeten Joshua Moerman 2018-11-16 12:00:43 +01:00
  • 2f3d61eabe Laatste hoofdstuk (nog niet helemaal gechecked) Joshua Moerman 2018-11-16 11:41:05 +01:00
  • b7eb986943 Aan intro gewerkt Joshua Moerman 2018-11-16 00:00:57 +01:00
  • 1df5bdf4f8 Gewerkt aan de intro Joshua Moerman 2018-11-14 17:46:41 +01:00
  • b4f7370429 Refs korter gemaakt Joshua Moerman 2018-11-13 12:39:15 +01:00
  • 52277d73bd Fix tab vs spaces in bib Joshua Moerman 2018-11-13 12:12:23 +01:00
  • ad5fedbd88 Geen crossrefs meer Joshua Moerman 2018-11-12 21:33:11 +01:00
  • 57c52fb197 Door het ONS hoofdstuk gegaan. En commentaar van Frits over Test Methods verwerkt. Joshua Moerman 2018-11-12 17:55:36 +01:00
  • 58b3562c44 Learning nominal atuomata Joshua Moerman 2018-11-09 16:22:50 +01:00
  • deed1efa90 Hoofdstukken 3 (applying...) en 4 (minimal...) doorlopen. Joshua Moerman 2018-11-08 16:39:33 +01:00
  • 60d026f7f4 Betere eerste paginas van hoofdstukken. En gewerkt aan test-methods Joshua Moerman 2018-11-08 13:07:50 +01:00
  • 54bbd389e0 Voorbeeld ADS in elkaar gepleurd Joshua Moerman 2018-11-06 21:53:55 +01:00
  • 671f5ccf1f Meer over test methods Joshua Moerman 2018-11-06 18:06:21 +01:00
  • d72caacbff Related werk in test methods Joshua Moerman 2018-11-05 21:10:18 +01:00
  • c5c55d712f split=yes blijkt niet goed te werken Joshua Moerman 2018-11-03 15:00:29 +01:00
  • cdeaf3321a Meer over test methodes Joshua Moerman 2018-11-03 14:53:05 +01:00
  • 024d290b66 Introductie headers weg. Missend haakje. TOC. Joshua Moerman 2018-10-31 11:46:08 +01:00
  • a9bbb8e5d2 US -> UK engels Joshua Moerman 2018-10-31 11:14:01 +01:00
  • a8f38d4e03 Test methods: voorbeeldjes in begin Joshua Moerman 2018-10-31 10:43:52 +01:00
  • 9b92997532 meer intro Joshua Moerman 2018-10-30 10:14:39 +01:00
  • 6fe9e726f3 Intro and a bit of formatting Joshua Moerman 2018-10-25 17:24:03 +02:00
  • 47bc39813f Nummertjes Joshua Moerman 2018-10-23 13:13:48 +02:00
  • 364e464d20 meer intro Joshua Moerman 2018-10-16 08:39:56 +02:00
  • 41e0add787 More intro Joshua Moerman 2018-10-14 16:13:11 +02:00
  • 9ae10f6a1c figures for nom aut Joshua Moerman 2018-10-09 16:33:53 +02:00
  • f87889cacc Figures and small things Joshua Moerman 2018-10-08 17:11:56 +02:00
  • 48c3a9bccf Rewrote intro to nom sets Joshua Moerman 2018-10-05 14:41:35 +02:00
  • 78c6348d1d More intro nom sets Joshua Moerman 2018-10-03 14:50:38 +02:00
  • a5a38adb4d some intro for nom sets Joshua Moerman 2018-10-02 18:14:25 +02:00
  • 85a736df0b Added figures to ONS Joshua Moerman 2018-10-01 18:40:45 +02:00
  • 41421deeb6 Refs for ONS Joshua Moerman 2018-10-01 13:26:39 +02:00
  • 4a7c1865b2 Added the ordered nominal sets chapter Joshua Moerman 2018-10-01 11:12:57 +02:00
  • 750dc1b84b Worked on very first chapters (stubs) Joshua Moerman 2018-09-21 17:00:36 +02:00
  • 8b4bb3d007 References for sep seqs Joshua Moerman 2018-09-21 14:50:10 +02:00
  • d789acd7a9 Typesetted the algs. in sep seqs Joshua Moerman 2018-09-20 16:56:57 +02:00
  • 99f78937a2 Worked on sep seqs. Joshua Moerman 2018-09-19 16:56:48 +02:00
  • 56f14e8ce2 More on sep seqs. Did some tikz work too. Joshua Moerman 2018-09-19 14:19:08 +02:00
  • a4d7e40e2d Starting with minimal separating sequences Joshua Moerman 2018-09-18 17:37:00 +02:00
  • 9a3f59938a Bib for the applying paper Joshua Moerman 2018-09-18 15:24:13 +02:00
  • 198d102f5d fixups Joshua Moerman 2018-09-17 17:46:32 +02:00
  • 25a70d0c9b Nom: adds some tikz pictures. ESM: copied the paper in. Joshua Moerman 2018-09-17 17:35:33 +02:00
  • 5f24d96ec3 Test methods: shuffle content around Joshua Moerman 2018-08-14 16:18:14 +02:00
  • ba248a3aa4 Test methods and Learning nominal automata. Loads of references. Joshua Moerman 2018-08-14 11:42:22 +02:00
  • a41524b7c8 Learning Nom Autom. Joshua Moerman 2018-08-07 16:15:28 +02:00
  • 56de3e67c4 Started with Learning Nom. Aut.. Adds biblio. Bit on algorithms typesetting. Joshua Moerman 2018-08-02 17:54:28 +02:00
  • fefc170d4b Converting test-methods into ConTeXt Joshua Moerman 2018-07-31 10:22:13 +02:00
  • e70c3947e9 Initial commit Joshua Moerman 2018-07-31 10:21:20 +02:00