0 projects

Date from new to old

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

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

Fabrication of tunable mid-IR laser diodes for sensor and communication applications

This project will focus on new multi-quantum-well lasers in MBE grown gallium antimonide based materials, with wavelengths around 2.33, 2.8, and 3.5 mikrometers, and with line widths and tunability as required for trace gas sensor applications and free sp ace optical communications. The project i...

Awarded: NOK 6.0 mill.

Project Period: 2007-2015

Location: Trøndelag - Trööndelage

F-INF-Naturvitenskap, informatikk

Explicit model predictive control of switched nonlinear systems: Stability and optimality

Process operation often involves controlled, discrete transitions between multiple, continuous dynamical modes of operation, in order to handle changes in raw materials, energy sources, product specifications and market demands. This leads to an overall p rocess behaviour that is more appropriate...

Awarded: NOK 91,000

Project Period: 2007-2007

Location: Trøndelag - Trööndelage

FRITEK-Teknologi

Micropower sensor interface in nanometer CMOS technology

The "Micropower sensor interface in nanometer CMOS technology" project aims at developing new and unique methods for low power digital sensor interfacing using state-of-the art nanometer CMOS-technology within the framework of biomedical wireless sensor n etworks. The major result of the project ...

Awarded: NOK 4.6 mill.

Project Period: 2007-2011

Location: Oslo

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

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

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

FRITEK-Teknologi

New Information Theoretic methods for Intelligent Data Analysis

The goal of the three year IT-IDA postdoctoral project is to develop new machine learning algorithms for intelligent data analysis, such as robust non-linear clustering and classification techniques, based on recently developed concepts in information the ory, Mercer kernel theory and graph spect...

Awarded: NOK 2.5 mill.

Project Period: 2006-2009

Location: Troms - Romsa - Tromssa

FRITEK-Teknologi

Input and state constraint handling in nonlinear and adaptive backstepping control design

It is applied to the Research Council of Norway for a Ph.D. project with the title ?Input and state constraint handling in nonlinear and adaptive backstepping control design?. The main objective is to develop a theoretically well-founded design approach for constrained nonlinear and adaptive c...

Awarded: NOK 2.2 mill.

Project Period: 2006-2010

Location: Trøndelag - Trööndelage

FRITEK-Teknologi

Enhanced Model Predictive Control

The objective of the project is to incorporate new capabilities into MPC controllers: a) Improving economic performance without sacrificing traditional control performance. b) Improved transitions between operating regions, simultaneously minimising off-s pec production and maximising learning de...

Awarded: NOK 4.3 mill.

Project Period: 2006-2010

Location: Trøndelag - Trööndelage

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

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

F-INF-Naturvitenskap, informatikk

Organizing the annual international workshop WG 2006 in Bergen

The Algorithms Research Group at the Department of Informatics, University of Bergen, is organizing WG 2006 - 32nd International Workshop on Graph-Theoretic Concepts in Computer Science. This is one of the main international events in the graph algorit hms research society, and it is eagerly a...

Awarded: NOK 0.10 mill.

Project Period: 2006-2006

Location: Vestland

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

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

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

F-INF-Naturvitenskap, informatikk

Utenlandsopphold for Arild Hoff i forbindlese med Doktorgradsstudier ved Høgskolen i Molde

...

Awarded: NOK 30,000

Project Period: 2004-2005

Location: Møre og Romsdal

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

F-INF-Naturvitenskap, informatikk

Overseas scholarship for Otto Skorve Bagge

...

Awarded: NOK 0.12 mill.

Project Period: 2004-2005

Location: Vestland

F-INF-Naturvitenskap, informatikk

Overseas trevel grant for ph.d. student Adis Hodzic

...

Awarded: NOK 0.12 mill.

Project Period: 2004-2005

Location: Vestland

F-INF-Naturvitenskap, informatikk

Explicit solution of model predictive control problems in the presence of model uncertainty

...

Awarded: NOK 0.10 mill.

Project Period: 2004-2004

Location: Trøndelag - Trööndelage

F-INF-Naturvitenskap, informatikk

Biological-Inspired Design of Systems for Complex Real-World Applications

...

Awarded: NOK 2.1 mill.

Project Period: 2004-2009

Location: Oslo

F-INF-Naturvitenskap, informatikk

Blind Channel Estimation and Time Reversal Mirrors

...

Awarded: NOK 1.3 mill.

Project Period: 2004-2008

Location: Oslo

F-INF-Naturvitenskap, informatikk

Reconfigurable Hardware - overseas fellowship

...

Awarded: NOK 30,000

Project Period: 2004-2004

Location: Oslo

1 2