Nettsider med emneord «Mathematics»

Publisert 25. aug. 2017 10:03

This is a general topic regarding modern concurrency models and their various theoretical and practical aspects. Here the student can choose various topics to focus on, depending on the interest, which we find out together through discussions.

One can do various kinds of MSc theses, starting from just programming a simple tool related to some forms of concurrency, or a literature study, or doing modelling of real-life concurrent systems, or develop a concurrent programming/modelling languge, or doing mathematical work on the logical foundations of all these models and their tools.

Ask for discussions with one of the supervisors, for more information or variations of the project. See also general concerns.

Publisert 25. aug. 2017 09:50

This is a general topic regarding electronic legal contracts and their semantics. Here the student can choose various topics to focus on, depending on the interest, which we find out together through discussions.

One can do various kinds of MSc theses, starting from just programming a simple tool related to some forms of electronic contracts like the Terms of Services (ToS) from online services , or a literature study, or doing modelling of real contracts, e.g. the ToS from Amazon, or using existing tools for NLP or CNL, or doing mathematical work on the logical foundations of all these tools and techniques.

Ask for discussions with one of the supervisors, for more information or variations of the project. See also general concerns.

Publisert 15. aug. 2017 10:07

From Germany

Start date: 01.08.2017

Section: 5 - Algebra, Geometry and Topology

Publisert 18. juli 2017 10:18
Publisert 9. jan. 2017 09:07
Publisert 14. des. 2016 14:01
Publisert 25. okt. 2016 09:58
Publisert 20. sep. 2016 09:51
Publisert 16. sep. 2016 11:29
Publisert 16. sep. 2016 11:23
Publisert 22. aug. 2016 17:21
Publisert 22. aug. 2016 17:16
Publisert 22. aug. 2016 16:48
Publisert 22. aug. 2016 16:37
Publisert 22. aug. 2016 16:34
Publisert 22. aug. 2016 16:24
Publisert 22. aug. 2016 16:18
Publisert 22. aug. 2016 13:42
Publisert 20. mai 2016 12:49
Publisert 16. feb. 2016 08:10
Publisert 15. des. 2015 14:40
Publisert 27. okt. 2015 15:08
Publisert 3. sep. 2015 10:44
Publisert 7. aug. 2015 14:11
Publisert 7. aug. 2015 09:08