0 projects

FRITEK-Teknologi

Cryptanalysis by Solving Equation Systems

The need for secure digital communication has increased a lot during the last decade. Various algorithms are used to achieve the security needed, for example encryption algorithms, message authentication codes and digital signatures. It is important tha t these algorithms are thoroughly investi...

Awarded: NOK 1.8 mill.

Project Period: 2006-2008

Location: Vestland

VERDIKT-Kjernekomp.og verdiskaping IKT

SWACOM - Secure and reliable Wireless and Ad-hoc COMmunications

Research areas: - secure wireless communication - using eliptic curves cryptography - using identy-based cryptography - secure routing in ad-hoc networks - user mobility and service continuity across heterogeneous wireless networks - user authentication ...

Awarded: NOK 9.0 mill.

Project Period: 2006-2010

Location: Rogaland

IS-AUR-Samarb.progr. Norge Frankrike

Manne, Fredrik Aur06(07-29

...

Awarded: NOK 40,000

Project Period: 2006-2007

Location: Vestland

IS-DAAD-Forskerutveksl. Norge-Tyskland

Westad, Frank DAADppp-06

...

Awarded: NOK 50,000

Project Period: 2006-2007

Location: Akershus

FRITEK-Teknologi

International collaborations with research groups in reliable and secure communication

This project will maintain and extend the collaboration between world leading international research groups in coding theory, cryptology and wireless communication and the Selmer Center at the University of Bergen. The research group at the Selmer Center has been doing international research in c...

Awarded: NOK 1.2 mill.

Project Period: 2006-2009

Location: Vestland

FRITEK-Teknologi

Statistical Physics in Advanced Multiuser Communications

Statistical physics and multi-user communications show strong analogies from a conceptual point of view. In both cases many objects interact with each other through variables that are constrained to be binary. These interdisciplinary analogies can be expl oited to advance the understanding and de...

Awarded: NOK 6.4 mill.

Project Period: 2006-2010

Location: Trøndelag - Trööndelage

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

SWAT: Semantics-preserving Weaving - Advancing the Technology

When developers construct models or programs from smaller or more generic elements, or when developers are trying to make system families instead of single systems, they are challenged by a large number of different and often overlapping and conflicting m echanisms like e.g. generics and aspect-o...

Awarded: NOK 7.6 mill.

Project Period: 2005-2014

Location: Oslo

F-INF-Naturvitenskap, informatikk

Modifications and Applications of Alternating-time Temporal Epistemic Logic

See project description.

Awarded: NOK 1.6 mill.

Project Period: 2005-2007

Location: Vestland

FRITEK-Teknologi

A Little Basic Research in Coding and Cryptology

This project will focus on fundamental research in coding theory and cryptology at an advanced international level. Project topics will be analysis and construction of symmetric and asymmetric cryptographic algorithms and protocols; and analysis and desig n of error correcting codes and of their ...

Awarded: NOK 1.8 mill.

Project Period: 2005-2008

Location: Vestland

FRITEK-Teknologi

Hyperspectral image analysis

The new generation of earth observation sensors include hyperspectral sensors with a high number of spectral bands. Each pixel in a hyperspectral image with D spectral bands will result in a D-dimensional vector corresponding to the measured energy in dif ferent parts of the electromagnetic spect...

Awarded: NOK 1.8 mill.

Project Period: 2005-2008

Location: Oslo

F-INF-Naturvitenskap, informatikk

High Resolution Ultrasonic Array Imaging

This project is aimed to develop methods to improve image quality in ultrasonic array imaging using recent model based reconstruction methods for realistic array layouts. The drawback of the traditional delay-and-sum (DAS) based array focusing method---w hich requires the array pitch to be less ...

Awarded: NOK 2.2 mill.

Project Period: 2005-2007

Location: Oslo

FRITEK-Teknologi

Minimal Separators and Triangulations in Graphs - Algorithms and Applications

Research in minimal separators and minimal triangulations is undergoing an expanding phase, with several new researchers joining the field and exciting results published yearly. The applicants of this project proposal have been heavily involved in resear ch in several aspects of minimal separato...

Awarded: NOK 6.1 mill.

Project Period: 2005-2009

Location: Vestland

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

Scientific computing with algebraic and generative abstractions for geophysical problems

Computational modeling using partial differential equations (PDEs) is becoming an important tool for industry and research. The traditional methods for developing such models are time consuming and expensive. Newer methods exploting object oriented and ge nerative techniques are being developed, ...

Awarded: NOK 5.2 mill.

Project Period: 2005-2015

Location: Vestland

F-INF-Naturvitenskap, informatikk

Tableaux with Accelerated Search

Automated deduction in non-classical logics is an important field of research in areas of computer science such as software verification and security analysis. The project is in the heart of this field and addresses systems of tableaux. Among the virtues of this family of deduction systems are (1...

Awarded: NOK 1.8 mill.

Project Period: 2005-2008

Location: Oslo

IS-AUR-Samarb.progr. Norge Frankrike

Hjørungnes, Are Aur05-35+Aur06 (05 bev. utbet i 04)

...

Awarded: NOK 0.10 mill.

Project Period: 2004-2006

Location: Oslo

GENSTIM-Gen. stim.tiltak/nettv.bygging

eScience i Norge - Workshop

...

Awarded: NOK 90,000

Project Period: 2004-2004

Location: Oslo

KIM-Kommunikasjon, IKT og medier

Convergence, Control, and Communications (C3)

Convergence and control may be said to be central features of modernisation processes. With this as a background the project will focus on the study of: issues of human and citizens’s rights such as freedom of expression, access to free information, and t he right to privacy; the challenges to th...

Awarded: NOK 6.0 mill.

Project Period: 2004-2009

Location: Oslo

F-INF-Naturvitenskap, informatikk

Disseminating Insights from Complex Models to a Broader Audience: Case of System Dynamics Models

...

Awarded: NOK 1.4 mill.

Project Period: 2004-2008

Location: Agder

IKT2010-Grunnleggende IKT-forskning

Middleware Services for Information Sharing in Ad-hoc Networks (Ad-hoc InfoWare)

...

Awarded: NOK 7.5 mill.

Project Period: 2003-2007

Location: Oslo

IKT2010-Grunnleggende IKT-forskning

QuA - Quality of Service Aware Component Architechture

...

Awarded: NOK 8.0 mill.

Project Period: 2003-2007

Location: Oslo

TU-Tungt utstyr

Visningsvegg med beregningsklynge av datamaskiner

...

Awarded: NOK 3.6 mill.

Project Period: 2003-2006

Location: Troms - Romsa - Tromssa

BP-GEN-Brukerstyrt prosjekt generelle tiltak

Rammetilskudd for utgivelse av MIC

...

Awarded: NOK 1.1 mill.

Project Period: 2003-2008

Location: Agder

IKT2010-Grunnleggende IKT-forskning

COOL (Comprehensive Object-Oriented Learning) a Tool for Programming and System Comprehension

...

Awarded: NOK 7.0 mill.

Project Period: 2002-2005

Location: Oslo

IKT2010-Grunnleggende IKT-forskning

ERCIM-Norsk medlemskap

...

Awarded: NOK 3.5 mill.

Project Period: 2002-2005

Location: Trøndelag - Trööndelage

IKT2010-Grunnleggende IKT-forskning

MOSIS - Modularity in large Software and Information Systems

...

Awarded: NOK 5.4 mill.

Project Period: 2002-2006

Location: Vestland

IKT2010-Grunnleggende IKT-forskning

INSTANCE II - The Intermediate Storage Node Concept II

...

Awarded: NOK 7.1 mill.

Project Period: 2002-2006

Location: Oslo

IKT2010-Grunnleggende IKT-forskning

WebSys - Web-based Systems - Time-To-market vs. Reliability

...

Awarded: NOK 5.4 mill.

Project Period: 2002-2007

Location: Trøndelag - Trööndelage

IKT2010-Grunnleggende IKT-forskning

ADIS - Adaptive Distributed Information Services

...

Awarded: NOK 5.4 mill.

Project Period: 2002-2006

Location: Trøndelag - Trööndelage

IKT2010-Grunnleggende IKT-forskning

Arctic Beans - Configuration and Re-configurable Enterprise Component Architechtures

...

Awarded: NOK 7.1 mill.

Project Period: 2002-2006

Location: Troms - Romsa - Tromssa

F-INF-Naturvitenskap, informatikk

SAGA-II - Scientific computing and algebraic abstractions

Computational modeling using partial differential equations (PDEs) is becoming an important tool for industry. Currently this is hampered by the time and effort needed to develop good computational models and related software. The project will investigate how raising the abstraction level of sof...

Awarded: NOK 2.1 mill.

Project Period: 2001-2005

Location: Vestland