From 96966c8b92f7f04ea3bd3438cf3b7b815bc37bc7 Mon Sep 17 00:00:00 2001 From: Michael Kohlhase <m.kohlhase@jacobs-university.de> Date: Sun, 19 Nov 2017 16:39:01 +0100 Subject: [PATCH] tweaks --- courses/theses.md | 13 +++++++------ 1 file changed, 7 insertions(+), 6 deletions(-) diff --git a/courses/theses.md b/courses/theses.md index be2f489..2414e59 100644 --- a/courses/theses.md +++ b/courses/theses.md @@ -22,15 +22,16 @@ menu_order: 101 ### M.Sc Theses * Theresa Pollinger: *[Knowledge Representation for Modeling and Simulation -– Bridging the Gap Between Informal PDE Theory and Simulations Practice](https://gl.kwarc.info/supervision/MSc-archive/blob/master/2017/tpollinger/thesis.pdf)*,FAU Erlangen-Nürnberg, 2017 +– Bridging the Gap Between Informal PDE Theory and Simulations Practice](https://gl.kwarc.info/supervision/MSc-archive/blob/master/2017/tpollinger/thesis.pdf)*, +FAU Erlangen-Nürnberg, 2017 * Tom Wiesing: -[Enabling Cross-System Communication Using Virtual Theories a.nd QMT](https://gl.kwarc.info/supervision/MSc-archive/blob/master/2017/twiesing/thesis.pdf) +*[Enabling Cross-System Communication Using Virtual Theories and QMT](https://gl.kwarc.info/supervision/MSc-archive/blob/master/2017/twiesing/thesis.pdf)*, Jacobs University, 2017. -* Ulrich Rabenstein: [Meaning Extraction and Semantic Services in STEM-Documents - -A case study on Quantity Expressions and Units](https://gl.kwarc.info/supervision/MSc-archive/blob/master/2017/urabenstein/Rabenstein.pdf) +* Ulrich Rabenstein: *[Meaning Extraction and Semantic Services in STEM-Documents - +A case study on Quantity Expressions and Units](https://gl.kwarc.info/supervision/MSc-archive/blob/master/2017/urabenstein/Rabenstein.pdf)*, FAU Erlangen-Nürnberg, 2017 -* Aivaras Jacubauskas: [Reflecting Declarative Rule -Implementations](https://gl.kwarc.info/supervision/MSc-archive/blob/master/2013/jakubauskas_aivaras/project/thesis/thesis01.pdf), +* Aivaras Jacubauskas: *[Reflecting Declarative Rule +Implementations](https://gl.kwarc.info/supervision/MSc-archive/blob/master/2013/jakubauskas_aivaras/project/thesis/thesis01.pdf)*, Jacobs University, 2013. * Catalin David: *[Semantic Alliance Framework: Integrating Documents and Semantic Services ](https://gl.kwarc.info/supervision/MSc-archive/blob/master/2012/david_catalin/project/thesis/thesis.pdf)*, Jacobs University, 2012 -- GitLab