diff --git a/_includes/people_chip.html b/_includes/people_chip.html index ea01f3c3c5efa7dd6092ec8b219556c891131dde..de912b70d0ff7f6010bf8ae69b6539d9d18e71a7 100644 --- a/_includes/people_chip.html +++ b/_includes/people_chip.html @@ -14,9 +14,7 @@ </div> </a> {% else %} - <a href="{{ site.baseurl }}{{purl}}"> - <div class="chip"> - {{person}} - </div> - </a> + <div class="chip"> + {{person}} + </div> {% endif %} \ No newline at end of file diff --git a/courses/AIProj.md b/courses/AIProj.md index 072174b148cd58d50913a1c84170f46b5f47b429..3bf756ea3ea7895e9a88d1749fb974e30ca0dfad 100644 --- a/courses/AIProj.md +++ b/courses/AIProj.md @@ -3,7 +3,7 @@ layout: course title: Projekt zur Künstlichen Intelligenz instructor: - - mkohlhase + - mkohlhase semesters: - WS17/18 diff --git a/courses/GenICT1.md b/courses/GenICT1.md index a79cfb7cd008917898981b9634ba617501bc2174..90bbc84fc3ecd7effc377f9037dabf98d4d281bf 100644 --- a/courses/GenICT1.md +++ b/courses/GenICT1.md @@ -7,7 +7,7 @@ instructor: - Prof. Jürgen Schönwälder - Prof. Peter Baumann - Prof. Herbert Jaeger - + organization: Jacobs University semesters: - Fall14 diff --git a/courses/GenICT2.md b/courses/GenICT2.md index d60f2eb2048c55bed28401e8fa2bfc9c8676a94f..5e6e3b67a2521fcf6526090fd26837f5fc75c105 100644 --- a/courses/GenICT2.md +++ b/courses/GenICT2.md @@ -7,7 +7,7 @@ instructor: - Prof. Jürgen Schönwälder - Prof. Peter Baumann - Prof. Herbert Jaeger - + organization: Jacobs University semesters: - Spring15 diff --git a/courses/KRMT.md b/courses/KRMT.md index 7b8ea74ad811b7e901cb78223f456c4b020bc4e1..82df600725973d51a471b7af8d8d525a0d7d9cb9 100644 --- a/courses/KRMT.md +++ b/courses/KRMT.md @@ -3,7 +3,7 @@ layout: course title: Logik-Basierte Wissensrepräsentation für Mathematisch/Technisches Wissen instructor: - - omkohlhase + - omkohlhase semesters: - SS17 diff --git a/courses/ai.md b/courses/ai.md index 3baeb291b05000caaea85eb2833453a37201e3fb..ce07f6b1ca515a89d85c2058e73f3541c7383b38 100644 --- a/courses/ai.md +++ b/courses/ai.md @@ -3,7 +3,7 @@ layout: course title: Artificial Intelligence instructor: - - mkohlhase + - mkohlhase organization: Jacobs University semesters: diff --git a/courses/ai1.md b/courses/ai1.md index 6ffb4686689fcd6c9f1bf94fb77d569ba638a139..b3e41253665a4527597cc9cac13fabb020f6fe27 100644 --- a/courses/ai1.md +++ b/courses/ai1.md @@ -3,7 +3,7 @@ layout: course title: Künstliche Intelligenz I instructor: - - mkohlhase + - mkohlhase semesters: - WS16/17 diff --git a/courses/ai2.md b/courses/ai2.md index 742df1a3e2db951e5116c02856612874971c536a..7bf7ebdd49ef68170f7d845007e5105b8ed20c33 100644 --- a/courses/ai2.md +++ b/courses/ai2.md @@ -3,7 +3,7 @@ layout: course title: Künstliche Intelligenz II instructor: - - mkohlhase + - mkohlhase semesters: - SS17 diff --git a/courses/complog.md b/courses/complog.md index 01a6dc384c60d2f4bcb0904f27e44ad8364d8dbd..0cdfb89dbf6efbbccd2eadbe094bad71a579d42e 100644 --- a/courses/complog.md +++ b/courses/complog.md @@ -3,10 +3,10 @@ layout: course title: Computational Logic instructor: - - mkohlhase + - mkohlhase - frabe - dmueller - + organization: Jacobs University semesters: - Fall05 diff --git a/courses/comsem.md b/courses/comsem.md index 5de02df2dff0235643a413bd00b1c56b157b6217..6d122e0afcbaf402ce10106b682e7231bb500d03 100644 --- a/courses/comsem.md +++ b/courses/comsem.md @@ -3,8 +3,8 @@ layout: course title: Computational Natural Language Semantics instructor: - - mkohlhase - + - mkohlhase + organization: Jacobs University semesters: - Fall06 diff --git a/courses/dbwa.md b/courses/dbwa.md index da336d338797e5b76172b0c02f507b8011ffabf8..914c28ffb751bdc703316754edffe4cc121d4df7 100644 --- a/courses/dbwa.md +++ b/courses/dbwa.md @@ -3,7 +3,7 @@ layout: course title: Data Bases and Web Applications instructor: - - mkohlhase + - mkohlhase organization: Jacobs University semesters: diff --git a/courses/dynamics.md b/courses/dynamics.md index 176ec62a55471935013b09c86ada3a10ed4d4528..de9437c798acd110c9adf02dccfe50bfa31bdf36 100644 --- a/courses/dynamics.md +++ b/courses/dynamics.md @@ -3,7 +3,7 @@ layout: course title: Representing Dynamics and Dynamic Representation instructor: - - mkohlhase + - mkohlhase - Herber Jaeger, Jacocbs University organization: Jacobs University diff --git a/courses/gencs.md b/courses/gencs.md index 170fcc7d71067238cfe3d28facaae12f2c3feb5d..879c138d890462645e7b893cbbbc0b3c52077870 100644 --- a/courses/gencs.md +++ b/courses/gencs.md @@ -3,7 +3,7 @@ layout: course title: General Computer Science instructor: - - mkohlhase + - mkohlhase organization: Jacobs University semesters: diff --git a/courses/gencs1.md b/courses/gencs1.md index 279b1a67335481af08b3b74a864fd3b03ffe515a..4409046b4bd2fa7ce02451d0351009ba6a931387 100644 --- a/courses/gencs1.md +++ b/courses/gencs1.md @@ -3,7 +3,7 @@ layout: course title: General Computer Science I instructor: - - mkohlhase + - mkohlhase organization: Jacobs University semesters: diff --git a/courses/gencs2.md b/courses/gencs2.md index 443966cbd8146a4dd263efaf2c5ec05db826e61a..b549737a0b09f32817ad191cce0ed593c0b04ad3 100644 --- a/courses/gencs2.md +++ b/courses/gencs2.md @@ -3,7 +3,7 @@ layout: course title: General Computer Science II instructor: - - mkohlhase + - mkohlhase organization: Jacobs University semesters: diff --git a/courses/krsw.md b/courses/krsw.md index 889a0decfe2b355b1e3c5045950794cea4b7c444..a5f5ce8f361e41b8ad3f2dec47ae7e26aa582043 100644 --- a/courses/krsw.md +++ b/courses/krsw.md @@ -3,7 +3,7 @@ layout: course title: Research Seminar - Knowledge Representation and Semantic Web instructor: - - mkohlhase + - mkohlhase - frabe organization: Jacobs University diff --git a/courses/lbs.md b/courses/lbs.md index ee5a768a8cce9ce22d952ad8ea123295e407b0bd..5a42c472d582c1f94a97b0e33ccb6de635bca6ef 100644 --- a/courses/lbs.md +++ b/courses/lbs.md @@ -3,7 +3,7 @@ layout: course title: Logik-Basierte Sprachverarbeitung (LBS) instructor: - - mkohlhase + - mkohlhase semesters: - WS17/18 diff --git a/courses/meta/former.md b/courses/meta/former.md index bce4fe5dbc4f1d0d66cdd91e29e48fc1d62ba11d..b20acc55ee8131740129dac274fe36af7fcabd5a 100644 --- a/courses/meta/former.md +++ b/courses/meta/former.md @@ -10,6 +10,6 @@ permalink: /courses/former/ {% for item in courses %} {% unless item.semesters contains site.semester %} {% include course.html %} - {% endunless %} + {% endunless %} {% endfor %} </ul> diff --git a/courses/meta/upcoming.md b/courses/meta/upcoming.md index 62159d818f58a8694ad9d02c810b310a96773ba0..193ad34ee93c384fe050915eef653e2ea2cf45cc 100644 --- a/courses/meta/upcoming.md +++ b/courses/meta/upcoming.md @@ -12,4 +12,4 @@ permalink: /courses/upcoming/ {% include course.html %} {% endif %} {% endfor %} -</ul> +</ul> \ No newline at end of file diff --git a/courses/tdm.md b/courses/tdm.md index 8feee564cb23e6ecdc45404af3979eeda169cf3f..27fe692f0bc2dc98f492f4a2465d8ea01bb78ae4 100644 --- a/courses/tdm.md +++ b/courses/tdm.md @@ -1,9 +1,9 @@ --- layout: course -title: University Study Course: Text and Digital Media +title: "University Study Course: Text and Digital Media" instructor: - - mkohlhase + - mkohlhase - Prof. Thomas Rommel, Jacobs University organization: Jacobs University diff --git a/courses/ttt.md b/courses/ttt.md index 2a49c32418446e38c29f3bbe32afc6be95908389..80534176a8a7b363f90c43e3293dbe7fe92c250f 100644 --- a/courses/ttt.md +++ b/courses/ttt.md @@ -1,14 +1,14 @@ --- layout: course -title: University Study Course - From the Textual to the Technological: Documents and Structure in a Digital Age +title: "University Study Course - From the Textual to the Technological: Documents and Structure in a Digital Age" instructor: -- mkohlhase -- Dr. Giselda Baudin - + - mkohlhase + - Dr. Giselda Baudin + organization: Jacobs University semesters: - Intersession 2014 --- An interdisciplinary Introduction to the structure and management of Text and Digial -Media. +Media. diff --git a/courses/wuv.md b/courses/wuv.md index 88285e34c798319c36ad3ade2b5690814f5831ff..da72a1790d374e09b7c98e73d1cf92e38459abdd 100644 --- a/courses/wuv.md +++ b/courses/wuv.md @@ -3,7 +3,7 @@ layout: course title: Seminar Wissensrepräsentation und -verarbeitung instructor: - - mkohlhase + - mkohlhase semesters: - SS17 diff --git a/people/cdavid.md b/people/cdavid.md index a69939bbd30dbbe0ba8411ebe1ff95bd6bcf06f9..bb6fda852b9e5f1da333a4f1f7d4d6a5c11b10c4 100644 --- a/people/cdavid.md +++ b/people/cdavid.md @@ -23,6 +23,6 @@ systems, bringing semantic web concepts in everyday desktop software (SiSsi). ### Research Focus I am interested in representation of mathematics on the Internet, as well as User Interaction (UI) and eXperience (UX). - + ### Thesis Title Semantic Alliance Framework: Integrating Documents and Semantic Service diff --git a/projects/odk.md b/projects/odk.md index 486c6356e40d42f49032b0dc3d2010569f5123da..c996898f45af0ce9a854e243d1603a79d88d99ab 100644 --- a/projects/odk.md +++ b/projects/odk.md @@ -15,7 +15,7 @@ people: - miancu - cmaeder - dmueller - + funding: EU program: Research Infrastructure grantid: 676541 diff --git a/projects/tetrapod.md b/projects/tetrapod.md index 483d946adff681f921c5c097100469860fd47a81..b0f5824fedb9b71762c67bd2822f1d8f1e8b49cc 100644 --- a/projects/tetrapod.md +++ b/projects/tetrapod.md @@ -10,7 +10,7 @@ start_date: '2011-12' people: - mkohlhase - dmueller - - frabe + - frabe --- The aim of the Tetrapod project is to produce tools for **trustworthy and efficient diff --git a/research/index.md b/research/index.md index 7d0aa21fb08e1ef59a1e917efb87af249e390a07..29fee8484f8b626a491ced7eb11a76490f7fd0cb 100644 --- a/research/index.md +++ b/research/index.md @@ -11,56 +11,56 @@ menu_order: 101 <tbody> <tr> <td colspan="3"> - <span style="font-weight:bold">Applications</span> - eMath 3.0, - <a href="https://planetary.mathweb.org">Active Documents</a>, - <a href="https://trac.kwarc.info/sissi">Semantic Spreadsheets</a>, - <a href="https://trac.kwarc.info/FormalCAD">Semantic CAD/CAM</a>, - Semantic Help Systems, Change Mangagement, ... + <span style="font-weight:bold">Applications</span> + eMath 3.0, + <a href="https://planetary.mathweb.org">Active Documents</a>, + <a href="https://trac.kwarc.info/sissi">Semantic Spreadsheets</a>, + <a href="https://trac.kwarc.info/FormalCAD">Semantic CAD/CAM</a>, + Semantic Help Systems, Change Mangagement, ... </td> </tr> <tr> <td> - <span style="font-weight:bold">Foundations of Mathematics</span> - <ul> - <li><a href="https://omdoc.org">OMDoc</a></li> - <li>advanced Type Theories</li> - <li><a href="http://uniformal.github.io">MMT: Modular Math Theories</a></li> - <li><a href="http://trac.omodoc.org/LATIN">Logic Morphisms/Atlas</a></li> - <li>Theorem Prover Interoperability</li> - </ul> + <span style="font-weight:bold">Foundations of Mathematics</span> + <ul> + <li><a href="https://omdoc.org">OMDoc</a></li> + <li>advanced Type Theories</li> + <li><a href="http://uniformal.github.io">MMT: Modular Math Theories</a></li> + <li><a href="http://trac.omodoc.org/LATIN">Logic Morphisms/Atlas</a></li> + <li>Theorem Prover Interoperability</li> + </ul> </td> <td> - <a href="http://kwarc.info/research/kminteract"><span style="font-weight:bold">Knowledge Mgt. & Interaction</span></a> - <ul> - <li>Semantic Interpretation</li> - <li><a href="https://trac.omdoc.org/JOBAD">JOBAD: Document-Embedded Interaction</a></li> - <li><a href="https://trac.mathweb.org/tntbase">TNTBase: Versioned XML Storage</a></li> - <li><a href="http://trac.mathweb.org/MWS">Math Web Search</a></li> - <li>Math Archives</li> - </ul> + <a href="http://kwarc.info/research/kminteract"><span style="font-weight:bold">Knowledge Mgt. & Interaction</span></a> + <ul> + <li>Semantic Interpretation</li> + <li><a href="https://trac.omdoc.org/JOBAD">JOBAD: Document-Embedded Interaction</a></li> + <li><a href="https://trac.mathweb.org/tntbase">TNTBase: Versioned XML Storage</a></li> + <li><a href="http://trac.mathweb.org/MWS">Math Web Search</a></li> + <li>Math Archives</li> + </ul> </td> <td> - <a href="http://kwarc.info/research/semantization"> - <span style="font-weight:bold">Semantization</span> - </a> - <ul> - <li><a href="http://github.com/brucemiller/LaTeXML">LaTeX --> XML</a></li> - <li><a href="http://github.com/KWARC/sTeX">sTeX: Semantic LaTeX</a></li> - <li>invasive editors</li> - <li>Context-Aware IDEs</li> - <li>Mathematical Corpora</li> - <li><a href="https://github.com/KWARC/llamapun">Linguistics of Math</a></li> - </ul> + <a href="http://kwarc.info/research/semantization"> + <span style="font-weight:bold">Semantization</span> + </a> + <ul> + <li><a href="http://github.com/brucemiller/LaTeXML">LaTeX --> XML</a></li> + <li><a href="http://github.com/KWARC/sTeX">sTeX: Semantic LaTeX</a></li> + <li>invasive editors</li> + <li>Context-Aware IDEs</li> + <li>Mathematical Corpora</li> + <li><a href="https://github.com/KWARC/llamapun">Linguistics of Math</a></li> + </ul> </td> </tr> <tr> <td colspan="3"> - <span style="font-weight:bold">Foundations:</span> - Computational Logic, - <a href="/formal-methods">Formal Methods</a>, - <a href="http://www.w3.org/TR/MathML3/">MathML</a>, - <a href="http://openmath.org">OpenMath</a> + <span style="font-weight:bold">Foundations:</span> + Computational Logic, + <a href="/formal-methods">Formal Methods</a>, + <a href="http://www.w3.org/TR/MathML3/">MathML</a>, + <a href="http://openmath.org">OpenMath</a> </td> </tr> </tbody> diff --git a/systems/mmt.md b/systems/mmt.md index 480c2698a0b9c70d131766ed34ceef8e2209f13f..c56e2c68c7e5560094fe4d7ce828fb5ae63aec3f 100644 --- a/systems/mmt.md +++ b/systems/mmt.md @@ -15,9 +15,9 @@ people: supported-by: - oaf - - okd - - latin - - mathsearch + - okd + - latin + - mathsearch website: https://uniformal.github.io/ repository: https://github.com/Uniformal/MMT