0 projects

Date from new to old

IKTFORSKNING-IKTFORSKNING

ACM SIGSOFT Foundations of Software Engineering 2025 (FSE 2025) in Trondheim

The ACM SIGSOFT International Conference on the Foundations of Software Engineering (FSE) is an internationally renowned forum for researchers, practitioners, and educators to present and discuss the most recent innovations, trends, experiences, and challenges in the field of software engineering...

Awarded: NOK 99,999

Project Period: 2025-2025

Location: Trøndelag - Trööndelage

INTSAMARBEID-INTSAMARBEID

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 74,999

Project Period: 2023-2025

Location: Oslo

IKTFORSKNING-IKTFORSKNING

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-2026

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

FRIPROSJEKT-FRIPROSJEKT

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.1 mill.

Project Period: 2021-2026

Location: Vestland

STIPINST-Stipendiatstillinger i instituttsektoren

Stipendiatstilling 4 SINTEF (2021-2023)

Analyse av Big Data åpner for nye muligheter for verdiskaping og utgjør en grunnpilar i moderne IT-økosystemer. Dagens store språkmodeller (LLMs) krever datamengder i størrelsesorden hundrevis av terabyte. I tillegg genererer den raske veksten av IoT-enheter, som forventes å overstige 32 milliard...

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

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. mellom Norge og 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

IKTFORSKNING-IKTFORSKNING

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-2025

Location: Trøndelag - Trööndelage

IS-DAAD-Forskerutveksling 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 prosjektstøtte for matematikk, naturvitenskap og teknologi

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 prosjektstøtte for matematikk, naturvitenskap og teknologi

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

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 prosjektstøtte for matematikk, naturvitenskap og teknologi

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 prosjektstøtte for matematikk, naturvitenskap og teknologi

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 prosjektstøtte for matematikk, naturvitenskap og teknologi

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 prosjektstøtte for matematikk, naturvitenskap og teknologi

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 prosjektstøtte for matematikk, naturvitenskap og teknologi

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 prosjektstøtte for matematikk, naturvitenskap og teknologi

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 prosjektstøtte for matematikk, naturvitenskap og teknologi

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

FRITEK-Teknologi

High-level Formal Modeling and Analysis of Real-Time and Hybrid Systems

The functionality of many modern advanced computer systems -- such as, e.g., wireless sensor networks, the Internet and other kinds of networks, and control systems -- is crucially dependent on the amount of time that passes during/between events. Furthe rmore, such advanced and often critical s...

Awarded: NOK 4.6 mill.

Project Period: 2007-2011

Location: Oslo

YFF-Yngre, fremragende forskere

Coping with the NP-hardness: Parameterized and exact algorithms

The seminal observations from the late 1960s that many computational problems did not seem to have any efficient algorithm and could therefore not be solved in practice, has continued to guide the field of algorithms and computational complexity. Several methods for dealing with NP-hard problem...

Awarded: NOK 7.8 mill.

Project Period: 2005-2010

Location: Vestland

FRINATEK-Fri prosjektstøtte for matematikk, naturvitenskap og teknologi

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 prosjektstøtte for matematikk, naturvitenskap og teknologi

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

FRITEK-Teknologi

Sequences and Their Applications

Sequences have numerous uses in modern communication systems. They have found ingenious application to error-correcting codes, cryptography, and in particular to the design and analysis of stream ciphers, radar systems, Global Positioning Systems (GPS) and modern third generation mobile communi...

Awarded: NOK 4.6 mill.

Project Period: 2007-2010

Location: Vestland

F-INF-Naturvitenskap, informatikk

Host the 37th International Symposium on Multiple-Valued Logic (ISMVL07)

Financial support for hosting the 37th International Symposium on Multiple-Valued Logic (ISMVL07). This is an annual IEEE conference with accepted papers published in a proceedings. The conference covers theory, modelling av implementation (microelectro nics) of multiple-valued circuits and sys...

Awarded: NOK 75,000

Project Period: 2007-2007

Location: Oslo

1 2