nfr-logonfr-logo
PROSJEKTBANKEN
Switch to English
Se statistikken
Se prosjektene

0 antall prosjekter

Dato fra ny til gammel

IKTPLUSS-IKT og digital innovasjon

Testing of Learning Robots

Fremtiden til industrielle roboter er rotfestet i utviklingen av roboter som kan samarbeide og lære i samspill med mennesker. Disse samarbeidende robotene må ha evnen til å forbedre og utvikle seg gjennom bruk av maskinlæringsalgoritmer. Det er utfordrende å trygt kontrollere og teste læringsevne...

Tildelt: kr 10,2 mill.

Prosjektperiode: 2018-2022

Sted: Oslo

IS-AUR-Samarb.progr. Norge Frankrike

Software Validation and Verification via Artificial Intelligence

The VIVA project focuses on the use of Artificial Intelligence methods in Software Verification and Validation (V&V). A crucial challenge in V&V aims at automatically detecting and locating faults in computer programs. Our recent work in this matter suggests that this problem of automatic fault l...

Tildelt: kr 33 649

Prosjektperiode: 2018-2018

Sted: Oslo

IS-AUR-Samarb.progr. Norge Frankrike

CertiSkatt

The CertiSkatt project aims at launching a new partnership between two highly-rated scientific research teams from France and Norway in the area of Computer Science and more precisely the certification of Public Sector Informations, also called Open Data. The project will establish a formal coll...

Tildelt: kr 43 123

Prosjektperiode: 2014-2014

Sted: Oslo

SFI-Sentre for forskningsdrevet innovasjon

The Certus Centre

Certus har fra 2011 til 2019 vært et Senter for forskningsdrevet innovasjon dedikert til validering og verifisering (V&V) av store og komplekse programvaresystemer, finansiert av Forskningsrådet. Senteret har hatt fem industripartnere: Cisco Systems Norway AS (2011-2019), Kongsberg Maritime AS (2...

Tildelt: kr 78,4 mill.

Prosjektperiode: 2011-2019

Sted: Oslo

1