0 antall prosjekter

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

Tildelt: kr 4,6 mill.

Prosjektperiode: 2007-2010

Sted: Ukjent Fylke

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

Tildelt: kr 75 000

Prosjektperiode: 2007-2007

Sted: Ukjent Fylke

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

Tildelt: kr 0,12 mill.

Prosjektperiode: 2007-2007

Sted: Ukjent Fylke

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

Tildelt: kr 4,6 mill.

Prosjektperiode: 2007-2011

Sted: Ukjent Fylke

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

Tildelt: kr 7,8 mill.

Prosjektperiode: 2005-2010

Sted: Ukjent Fylke

F-INF-Naturvitenskap, informatikk

General support for the Algorithms Research group

...

Tildelt: kr 0,10 mill.

Prosjektperiode: 2004-2005

Sted: Ukjent Fylke

F-INF-Naturvitenskap, informatikk

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

...

Tildelt: kr 0,10 mill.

Prosjektperiode: 2004-2004

Sted: Ukjent Fylke

F-INF-Naturvitenskap, informatikk

Exact Algorithms for Hard Problems

...

Tildelt: kr 5,3 mill.

Prosjektperiode: 2004-2008

Sted: Ukjent Fylke

F-INF-Naturvitenskap, informatikk

PLI-AST - Programming language independent Abstract Syntax Trees

...

Tildelt: kr 1,8 mill.

Prosjektperiode: 2003-2007

Sted: Ukjent Fylke

IKT2010-Grunnleggende IKT-forskning

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

...

Tildelt: kr 8,0 mill.

Prosjektperiode: 2003-2007

Sted: Ukjent Fylke

IKT2010-Grunnleggende IKT-forskning

Business-Critical Software (BUCS)

...

Tildelt: kr 5,6 mill.

Prosjektperiode: 2003-2007

Sted: Ukjent Fylke

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

Tildelt: kr 1,1 mill.

Prosjektperiode: 2001-2005

Sted: 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...

Tildelt: kr 1,2 mill.

Prosjektperiode: 2001-2004

Sted: Ukjent Fylke

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

Tildelt: kr 1,8 mill.

Prosjektperiode: 2001-2004

Sted: Ukjent Fylke