IKTPLUSS-IKT og digital innovasjon

AI-Based Scenario Management for Cyber Range Training

Samfunnet står overfor en prekær mangel på fagfolk innen cybersikkerhet, og gapet mellom behov og tilgjengelig arbeidskraft utvider seg. Det raskt økende antallet av dataangrep fører til hard konkurranse, og tømmer arbeidsmarkedet for ekspertise. Ifølge den seneste rapporten om cybersikkerhet fr...

Tildelt: kr 12,0 mill.

Prosjektperiode: 2021-2025

Sted: Oslo

ISPNATTEK-ISP - naturvit. og teknologi

Computational Aspects of Univalence

Et av resultatene i CAUs siste år er om symmetrier av sfærer i homotopi type teori med univalens (HoTT). Dette er kjente resultater i homotopi teori, og formålet med CAU er å finne ut hvordan å bevise slike resultater i HoTT slik at de kan bli verifisert av en datamaskin. Sfæren av dimension 1...

Tildelt: kr 8,6 mill.

Prosjektperiode: 2015-2020

Sted: Vestland

IS-NAD-Samarbeid med NORAD-land

Zhang, Jianjun kinesisk spes 2007

...

Tildelt: kr 13 740

Prosjektperiode: 2007-2007

Sted: Oslo

HUM-Fagkomiteen for humaniora

A semantic analysis of levels of meaning as a strategy for solving the problems of conditionals

Innenfor formallogikken blir naturlige kondisjonaler erstattet med materiale kondisjonaler. Denne erstatningen ivaretar ikke det sannhetsrelevante meningsinnholdet i de opprinnelige uttrykkene. Dette får konsekvenser både for sannheten til de formaliserte uttrykkene og for gyldigheten til de for...

Tildelt: kr 1,5 mill.

Prosjektperiode: 2001-2004

Sted: Troms - Romsa - Tromssa