0 projects

Date from new to old

IS-AUR-Samarb.progr. Norge Frankrike

Timed strategies for rewrite-based symbolic analysis of real-time systems

The development of time-critical systems (e.g., aircraft control systems or autonomous vehicles) require rigorous methods for guaranteeing the correct behavior of the system. Quite often, some characteristics of the system are unknown at design phase, and hence the need for introducing parameters...

Awarded: NOK 75,000

Project Period: 2023-2024

Location: Oslo

IKTPLUSS-IKT og digital innovasjon

Machine Sensible Infrastructure under Nordic Conditions

Bilindustrien, sammen med software- og hardware-utviklere tar stadig flere steg i å utvikle sensorer og kunstig intelligens (AI) for å se og føle veien. Automatiserte og oppkoblede kjøretøy (CAVs) kan føre til bedre trafikksikkerhet og et mer effektivit transportsystem. Men fra myndighetenes sin ...

Awarded: NOK 12.0 mill.

Project Period: 2022-2025

Location: Trøndelag - Trööndelage

IKTPLUSS-IKT og digital innovasjon

Petri Nets 2020 Conference Support

The aim of the conference is to bring together practitioners and researchers from academia, industry and government to present research results, and exchange experience, ideas, and solutions for their problems in the areas of: * General topics of interest related to concurrency - Model checking ...

Awarded: NOK 99,999

Project Period: 2022-2022

Location: Vestland

FRIPRO-Fri prosjektstøtte

Enabling Highly Automated Cross-Organisational Workflow Planning

Automatisering av arbeidsflytplanlegging er en av de viktigste digitale transformasjonsaktivitetene. Å planlegge arbeidsflyt på tvers av organisasjoner krever kunnskap fra flere domener. I tillegg kreves det oversikt over hvordan disse arbeidsflytene samhandler med hverandre. Eksisterende datamas...

Awarded: NOK 8.0 mill.

Project Period: 2021-2026

Location: Vestland

IKTPLUSS-IKT og digital innovasjon

ClinCode - Computer-Assisted Clinical ICD-10 Coding for improving efficiency and quality in healthcare

ICD-10 diagnosekoder spiller en viktig rolle både på norske og svenske sykehus så vel som over hele verden. Etter hver pasientkontakt skal behandleren registrere en eller flere diagnoser eller prosedyrekoder i epikrisen som beskriver hva slags utredning eller behandling pasienten har fått. ICD-10...

Awarded: NOK 12.0 mill.

Project Period: 2021-2024

Location: Troms - Romsa - Tromssa

STIPINST-Stipendiatstillinger i instituttsektoren

Stipendiatstilling 4 SINTEF (2021-2023)

Store mengder data genereres, spesielt med fremveksten av tingenes internett (Internet of Things) teknologier som skaper nye verdiskapingsmuligheter gjennom analyse av stordata (Big Data). Følgelig har stordata-analyse vært en drivende faktor i å revolusjonere store sektorer, som mobiltjenester, ...

Awarded: NOK 4.2 mill.

Project Period: 2021-2024

Location: Trøndelag - Trööndelage

IKTPLUSS-IKT og digital innovasjon

ICTAC 2020 Conference Support

The aim of the colloquium is to bring together practitioners and researchers from academia, industry and government to present research results, and exchange experience, ideas, and solutions for their problems in theoretical aspects of computing. ICTAC also aims to promote research cooperation b...

Awarded: NOK 37,208

Project Period: 2020-2020

Location: Vestland

IKTPLUSS-IKT og digital innovasjon

Nordic AI young researcher symposium

Konvergensen av mange digitale teknologier fører til at samfunnet er i rask endring. Kunstig intelligens (KI) er sentral i denne endringen og teknologien gir store muligheter til å forbedre livene våre. Selv om KI har fått mye oppmerksomhet i samfunnet, må utdanningen og forskningen innen KI og K...

Awarded: NOK 2.0 mill.

Project Period: 2020-2026

Location: Oslo

PES2020-Prosj.etabl.støtte H2020

Pan-Arctic observing System of Systems (pan-AOSS): Implementing Observations for societal Needs - ArcticPASSION

Despite intense efforts by nations and international organisations and programs, the observing system elements in place are still segmented, often based on short-term research funding, and focused on research goals rather than the requirements of end-users. To make a transitional leap in tackling...

Awarded: NOK 0.15 mill.

Project Period: 2020-2020

Location: Agder

IS-AUR-Samarb.progr. Norge Frankrike

Synchronous Languages meet Asynchronous Semantics

In the world of concurrent programs, futures are often used to synchronise asynchronous operations. In general, futures can be categorised as either implicit or explicit. With implicit futures, it is in general not possible to decide if a variable holds a future value or a concrete value in progr...

Awarded: NOK 0.10 mill.

Project Period: 2020-2023

Location: Vestland

IKTPLUSS-IKT og digital innovasjon

iFM'19 Conference Support

Applying formal methods may involve the usage of different formalisms and different analysis techniques to validate a system, either because individual components are most amenable to one formalism or technique, because one is interested in different properties of the system, or simply to cope wi...

Awarded: NOK 99,999

Project Period: 2019-2019

Location: Vestland

IKTPLUSS-IKT og digital innovasjon

Konferansestøtte, 17th International Conference on Software Engineering and Formal Methods (SEFM 2019), Oslo, 16-20. september 2019.

Se http://sefm2019.inria.fr/ for mer informasjon om SEFM 2019 og dens satelitt-workshops. SEFM er en anerkjent internasjonal konferanse innen software engineering og bruk av matematiske metoder for software-utvkling. Den er ranket som en CORE B konferanse. SEFM har regelmessig over 100 innsendte...

Awarded: NOK 99,999

Project Period: 2019-2019

Location: Oslo

IKTPLUSS-IKT og digital innovasjon

Balancing Compute and Memory Performance in Reconfigurable Accelerators with Analytical Modeling

Den eksponentielle økningen av datamaskinytelse over de siste fire tiårene har vært et resultat av kontinuerlig forbedring av produksjonsteknologi. Dennardskalering, som beskriver hvordan spenningene og dimensjonene på transistorene kan endres slik at man får mindre transistorer som bruker mindre...

Awarded: NOK 7.7 mill.

Project Period: 2019-2024

Location: Trøndelag - Trööndelage

IS-DAAD-Forskerutveksl. Norge-Tyskland

Synthesis and analysis for concurrent programs (Syncopia)

A strong persisting trend in computer and software systems is the omni-presence of distributed and concurrent systems, as witnessed by multi-core architectures, networks and multiprocessor systems on chip, cloud computing, IoT, smartdust, blockchain, etc. The speed at which these innovations tak...

Awarded: NOK 36,017

Project Period: 2019-2021

Location: Oslo

FRINATEK-Fri prosj.st. mat.,naturv.,tek

Exploiting Abstract Data-Access Patterns for Better Data Locality in Parallel Processing

Den digitaliserte verden øker distribuerte tjenester, og programvaren går mot fleksible distribuerte og parallelle behandlingsmiljøer. Dårlig utformede parallelle applikasjoner kan redusere ytelsen på grunn av forsinkelser i tilgang til eksterne tjenester, treg kommunikasjon og hotspots med mange...

Awarded: NOK 8.0 mill.

Project Period: 2018-2023

Location: Oslo

FRINATEK-Fri prosj.st. mat.,naturv.,tek

APDS 2017 - Arctic Personal Data Systems Conference

Den første ACM SIGOPS sommerskolekonferansen om avanserte emner i datamaskinsystemer ble arrangert 14. til 17. august 2018 på den pittoreske og bortgjemte øya Sommarøy, som ligger 36 km vest for Tromsø, og 300 km nord for Polarsirkelen. Konferansen ble organisert i fellesskap av Universitetet i T...

Awarded: NOK 0.25 mill.

Project Period: 2017-2020

Location: Troms - Romsa - Tromssa

FRINATEK-Fri prosj.st. mat.,naturv.,tek

Multivariate Algorithms: New domains and paradigms

Formålet med prosjektet er å drive grunnforskning i informatikk og informasjonsteknologi, spesifikt innen algoritmer og kompleksitet. Teoretisk informatikk står ovenfor en grunnleggende utfordring: effektivitets-estimater utledet ved hjelp av teoretiske modeller sammenfaller dårlig med faktiske e...

Awarded: NOK 10.0 mill.

Project Period: 2017-2021

Location: Vestland

IKTPLUSS-IKT og digital innovasjon

Quantum Machine Learning

Den vanlige innstillingen for kvanteberegning generelt er at kvantedatamaskinen opererer nær null grader Kelvin, noe som er en stor ulempe i praksis. Topologisk kvanteberegning (TQC) er en etablert metode som tar sikte på å bruke topologien til datamaskinstrukturen til å foreslå kvanteberegningss...

Awarded: NOK 7.2 mill.

Project Period: 2016-2020

Location: Vestland

IKTPLUSS-IKT og digital innovasjon

CESAR - Using Complex Event Processing for Low-threshold and Non-intrusive Sleep Apnea Monitoring at Home

Cesar-prosjektet (2017-2021) startet med hypotesen om at lavpris-løsninger basert på smarttelefoner, wearables og maskinlæring (ML) kan bidra til å redusere antallet udiagnostiserte pasienter med søvnapné (SA) som for tiden er rundt 80%. Prosjektgruppen ved Ifi og OUS (Oslo universitetssykehus) k...

Awarded: NOK 9.0 mill.

Project Period: 2016-2021

Location: Oslo

IKTPLUSS-IKT og digital innovasjon

Co-Evolution of Software Languages and Language Processors

Programvarespråk er fundamentale for utviklingen av programvare. De brukes til å uttrykke programmer, algoritmer og data på en presis og konsis måte, og brukes for kommunikasjon mellom programmør/datamaskin, datamaskin/datamaskin og programmør/programmør. I tillegg baserer all moderne programutv...

Awarded: NOK 6.7 mill.

Project Period: 2016-2022

Location: Vestland

BIA-Brukerstyrt innovasjonsarena

Anbefalingsteknologi

Mediebransjen gjennomgår en stor endring fra å være papirorientert til å bli digital. Tekniske nyvinninger har gitt folk tilgang til store mengder informasjon uavhengig av tid, sted eller hjelpemiddel. Dette skaper behov for filtrering, slik at brukeren opplever strømmen som nyttig og relevant. I...

Awarded: NOK 15.8 mill.

Project Period: 2015-2020

Location: Trøndelag - Trööndelage

FRINATEK-Fri prosj.st. mat.,naturv.,tek

Organizing the 20th International Symposium on Formal Methods (FM 2015)

The FM scientific symposium is organized approximately every 18 months and gathers 200-300 participants from all over the world to share their knowledge and latest research on software engineering and software verification using formal methods. Formal met hods provide tools and techniques to desi...

Awarded: NOK 0.25 mill.

Project Period: 2015-2015

Location: Oslo

FRINATEK-Fri prosj.st. mat.,naturv.,tek

PRoductivity and Energy-efficiency through Abstraction-based Parallel Programming (PREAPP)

I dagens situasjon med eksponentielt voksende digitale datamengder, utgjør utgiftene til elektrisk strøm størstedelen av de totale kostnadene for store datatjenester. For eksempel konsumerer Googles datasentre nesten 260 MW. Omtrent en fjerdedel av produk sjonen av et kjernekraftverk - nok til å ...

Awarded: NOK 7.2 mill.

Project Period: 2014-2020

Location: Troms - Romsa - Tromssa

FRINATEK-Fri prosj.st. mat.,naturv.,tek

SCOPE - Exploiting Structure to Cope with Hard Problems

En algoritme er en liste med presise instruksjoner for å løse en oppgave ved hjelp av en datamaskin. Mange av de mest interessante oppgavene vi vil løse med datamaskiner er så vanskelige at ingen har så langt klart å finne en rask og god algoritme for å løse dem. En god del av disse oppgavene kan...

Awarded: NOK 12.5 mill.

Project Period: 2010-2015

Location: Vestland

FRINATEK-Fri prosj.st. mat.,naturv.,tek

DMPL -- Design of a mouldable programming language

Formålet med DMPL-prosjektet var å vise at et lite og kompetent team kunne implementere et nytt, generelt programmeringsspråk med støtteverktøy innen rammen av noen få årsverk. Det har vi klart! - språket Magnolia med kompilator, språkfølsom editor (IDE - i Eclipse) og støttebibliotek med introdu...

Awarded: NOK 15.6 mill.

Project Period: 2010-2016

Location: Vestland

FRINATEK-Fri prosj.st. mat.,naturv.,tek

Studies on Codes for Error Detection

The basic idea of error coding is to introduce redundancy that can be utilized to detect and, for some applications, correct errors that have occurred during a transmission over a channel. Here "transmission" is used in a wide sense, including any process which may corrupt the data, e.g. transmi...

Awarded: NOK 9.6 mill.

Project Period: 2009-2013

Location: Vestland

FRINATEK-Fri prosj.st. mat.,naturv.,tek

Hybrid Quantum Computers

Quantum computers can process exponentially more information than classical computers. So, whereas, classically, a 32-bit register can operate on one 32-bit number, a quantum counterpart could simultaneously process 2^32 different numbers by using quantum entanglement and superposition. But you ...

Awarded: NOK 4.7 mill.

Project Period: 2008-2012

Location: Vestland

FRINATEK-Fri prosj.st. mat.,naturv.,tek

Network Searching: New Foundational Directions

Networks, especially modern day communication networks, are often targets of malicious agents. An important challenge of research in ICT is to provide a foundational framework within which on one hand the capabilities of the malicious agents will be asse ssed in various contexts and cases, and o...

Awarded: NOK 5.6 mill.

Project Period: 2008-2012

Location: Vestland

FRINATEK-Fri prosj.st. mat.,naturv.,tek

Parameterized Algorithms

The question if P=NP is today maybe the most famous mathematical problem. It has strong ties to practical computing and the central question facing the proposed research project in 'Parameterized Algorithms' is: how to cope with the NP-complete problems? Giving a better answer to this question wi...

Awarded: NOK 7.3 mill.

Project Period: 2008-2013

Location: Vestland

FRINATEK-Fri prosj.st. mat.,naturv.,tek

Automating Coherent Logic

We propose to build an automated reasoning system for first-order logic (FOL) by translating reasoning problems to a fragment of FOL called coherent logic (CL) and then solving them by a fast problem solver for CL. Both the translation and the fast CL so lver are to be developed in the project. ...

Awarded: NOK 4.9 mill.

Project Period: 2007-2012

Location: Vestland

1 2