0 projects

Selections based on text queries do not reflect the Research Council's published statistics. Read more...


Text queries provide an overview of all projects containing the specified text in either its title or summary. This may result in a different selection of projects than that used by the Research Council as presented in its various publications. The Research Council's statistics are normally based on selections in set categories. You will find these in the left menu, in the diagrams themselves or when selecting from the left column of autocomplete suggestions via the search field.

Les mer...

F-INF-Naturvitenskap, informatikk

CALCO'07 - 2nd Conference on Algebra and Coalgebra in Computer Science

CALCO brings together researchers and practitioners to exchange new results related to foundational aspects and both traditional and emerging uses of algebras and coalgebras in computer science. The study of algebra relates to data while the study of coal gebra relates to processes, the two sides...

Awarded: NOK 0.12 mill.

Project Period: 2007-2007

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

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

F-INF-Naturvitenskap, informatikk

General support for the Algorithms Research group

...

Awarded: NOK 0.10 mill.

Project Period: 2004-2005

Location: Vestland

F-INF-Naturvitenskap, informatikk

ALGO 2004 - Organizing the annual European multi-conference event ALGO 2004 in Bergen

...

Awarded: NOK 0.10 mill.

Project Period: 2004-2004

Location: Vestland

F-INF-Naturvitenskap, informatikk

Exact Algorithms for Hard Problems

...

Awarded: NOK 5.3 mill.

Project Period: 2004-2008

Location: Vestland

F-INF-Naturvitenskap, informatikk

PLI-AST - Programming language independent Abstract Syntax Trees

...

Awarded: NOK 1.8 mill.

Project Period: 2003-2007

Location: Vestland

IKT2010-Grunnleggende IKT-forskning

SARDAS (Securing Availability by Robust Design, Assessment and Specification)

...

Awarded: NOK 8.0 mill.

Project Period: 2003-2007

Location: Oslo

IKT2010-Grunnleggende IKT-forskning

Business-Critical Software (BUCS)

...

Awarded: NOK 5.6 mill.

Project Period: 2003-2007

Location: Trøndelag - Trööndelage

F-INF-Naturvitenskap, informatikk

XML/Web databaser

Vi har sidan 1994 arbeidd med utvikling av objektdatabaser for handsaming av store datamengder. Dette prosjektet har hittil produsert rundt 20 publikasojnar. Gjennom prosjektet skal det arbeidast saman med Serge Abiteboul i Verso-gruppa med "temporale que ries" i XML-databaser og anvendelse av de...

Awarded: NOK 1.1 mill.

Project Period: 2001-2005

Location: Ukjent Fylke

F-INF-Naturvitenskap, informatikk

Spesifikasjon og implementasjon av sanntidssystemer i omskrivningslogikk

Prosjektet ønsker å utvikle en metodologi for spesifikasjon og implementasjon av sanntidssystemer ved bruk av omskrivningslogikk i både spesifikasjons- og implementasjonsfasen. Dette fører til en forholdsvis liten avstand mellom spesifikasjon og implement asjon, noe som i sin tur fører til billig...

Awarded: NOK 1.2 mill.

Project Period: 2001-2004

Location: Oslo

F-INF-Naturvitenskap, informatikk

Nye problemer i kodeteori: Newtonradius, dobbeltkjedeegenskapen og vekthierarki

Med økende digital kommunikasjon blir behovet for sterk krypterin større. Eksempler på områder hvor man trenger kryptering er pengetransaksjoner på internett og elektronisk utveksling av hemmelige og fortrolige dokumenter (f.eks. pasientjournaler). Det fi nnes i dag ingen praktiske krypteringsalg...

Awarded: NOK 1.8 mill.

Project Period: 2001-2004

Location: Vestland