Nettsider med emneord «Mathematics»

Publisert 13. nov. 2019 11:49
Publisert 13. nov. 2019 11:39
Publisert 16. okt. 2019 11:46
Publisert 25. sep. 2019 14:17
Publisert 21. aug. 2019 14:09
Publisert 13. aug. 2019 14:12
Publisert 30. juli 2019 16:39

This is a general topic regarding Privacy Agreements 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 Privacy Agreements (aka. Terms of Services or ToS) from online services , or a literature study, or doing modelling of real electronic legal 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 2. okt. 2018 14:24
Publisert 4. sep. 2018 08:48
Publisert 29. aug. 2018 16:45
Publisert 29. aug. 2018 16:07
Publisert 29. aug. 2018 15:46
Publisert 23. aug. 2018 15:28
Publisert 3. aug. 2018 08:23
Publisert 14. mai 2018 13:15
Publisert 17. apr. 2018 13:01
Publisert 11. des. 2017 14:57
Publisert 11. des. 2017 10:26
Publisert 14. nov. 2017 12:02

On the 31st of October, all BigInsight partners met at the offices of Skatteetaten to share recent developments and plans for the road ahead.

Publisert 30. okt. 2017 10:52
Publisert 4. sep. 2017 09:08
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.