Nettsider med emneord «Programming»

Publisert 20. okt. 2020 12:33
Publisert 21. aug. 2018 15:03

A software defined radio is to be programmed to function as a communications payload on a small cubesat.

Publisert 21. aug. 2018 15:10

A software defined radio is to be integrated in a cubesat and wireless communications to and from the satellites control system will be tested.

Publisert 2. jan. 2020 09:35
portrettbilde av ung forsker
Publisert 2. nov. 2020 15:46

"Norway is an incredibly beautiful country for its particularly supportive education system."

bildet av sladana
Publisert 15. jan. 2021 17:03

"My research goal? Constraining cosmological and gravitational models and discovering the nature of dark energy". 

photo of young man standing in front of a Norwegian mountain landscape
Publisert 28. apr. 2021 16:07

"Living in Scandinavia was also a personal dream, since I have always admired the lifestyle and the well-being generally associated to these countries" - Davide Decataldo.

PhD student Ragnhild Aurlien. Photo: UiO
Publisert 5. mars 2020 12:32

"From early age I've always loved the stars, and Astrophysics has always been my favourite part of physics."

Publisert 22. okt. 2020 19:23

Oppgaven vil studere overgangen fra et programmeringsspråk til et annet for studenter som tar emnet "IN1010 Objektorientert programmering" i andre semester ved Instutt for informatikk. De fleste som tar dette emnet har tatt emnet "IN1000 Introduksjon til objektorientert programmering" med Python semesteret før.

Publisert 2. jan. 2020 09:35
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 17. apr. 2019 14:04

Isabelle is a Tool (from Cambridge/Munich) for Proving Correctness of Cyber Physical Systems and More.

One example application is to prove safety of IoT systems.

Publisert 1. feb. 2011 15:05
Publisert 26. mai 2011 21:50
Publisert 26. mai 2011 21:50
Publisert 26. mai 2011 21:54
Publisert 3. nov. 2010 15:47
Publisert 1. aug. 2011 14:10