0 antall prosjekter

Dato fra ny til gammel

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

Tildelt: kr 4,9 mill.

Prosjektperiode: 2007-2012

Sted: Vestland

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

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

Tildelt: kr 6,0 mill.

Prosjektperiode: 2007-2015

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

Tildelt: kr 91 000

Prosjektperiode: 2007-2007

Sted: Trøndelag - Trööndelage

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

Tildelt: kr 4,6 mill.

Prosjektperiode: 2007-2010

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

Tildelt: kr 75 000

Prosjektperiode: 2007-2007

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

Tildelt: kr 0,12 mill.

Prosjektperiode: 2007-2007

Sted: Vestland

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

Tildelt: kr 4,6 mill.

Prosjektperiode: 2007-2011

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

Tildelt: kr 2,5 mill.

Prosjektperiode: 2006-2009

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

Tildelt: kr 2,2 mill.

Prosjektperiode: 2006-2010

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

Tildelt: kr 4,3 mill.

Prosjektperiode: 2006-2010

Sted: Trøndelag - Trööndelage

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

Tildelt: kr 1,2 mill.

Prosjektperiode: 2006-2009

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

Tildelt: kr 6,4 mill.

Prosjektperiode: 2006-2010

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

Tildelt: kr 1,8 mill.

Prosjektperiode: 2006-2008

Sted: Vestland

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

Tildelt: kr 0,10 mill.

Prosjektperiode: 2006-2006

Sted: Vestland

F-INF-Naturvitenskap, informatikk

Modifications and Applications of Alternating-time Temporal Epistemic Logic

See project description.

Tildelt: kr 1,6 mill.

Prosjektperiode: 2005-2007

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

Tildelt: kr 1,8 mill.

Prosjektperiode: 2005-2008

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

Tildelt: kr 6,1 mill.

Prosjektperiode: 2005-2009

Sted: Vestland

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

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

Tildelt: kr 5,2 mill.

Prosjektperiode: 2005-2015

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

Tildelt: kr 1,8 mill.

Prosjektperiode: 2005-2008

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

Tildelt: kr 1,8 mill.

Prosjektperiode: 2005-2008

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

Tildelt: kr 2,2 mill.

Prosjektperiode: 2005-2007

Sted: Oslo

F-INF-Naturvitenskap, informatikk

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

...

Tildelt: kr 30 000

Prosjektperiode: 2004-2005

Sted: Møre og Romsdal

F-INF-Naturvitenskap, informatikk

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

...

Tildelt: kr 1,4 mill.

Prosjektperiode: 2004-2008

Sted: Agder

F-INF-Naturvitenskap, informatikk

Overseas scholarship for Otto Skorve Bagge

...

Tildelt: kr 0,12 mill.

Prosjektperiode: 2004-2005

Sted: Vestland

F-INF-Naturvitenskap, informatikk

Overseas trevel grant for ph.d. student Adis Hodzic

...

Tildelt: kr 0,12 mill.

Prosjektperiode: 2004-2005

Sted: Vestland

F-INF-Naturvitenskap, informatikk

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

...

Tildelt: kr 0,10 mill.

Prosjektperiode: 2004-2004

Sted: Trøndelag - Trööndelage

F-INF-Naturvitenskap, informatikk

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

...

Tildelt: kr 2,1 mill.

Prosjektperiode: 2004-2009

Sted: Oslo

F-INF-Naturvitenskap, informatikk

Blind Channel Estimation and Time Reversal Mirrors

...

Tildelt: kr 1,3 mill.

Prosjektperiode: 2004-2008

Sted: Oslo

F-INF-Naturvitenskap, informatikk

Recursive Anticipatory memory for Autonomous Robots

...

Tildelt: kr 30 000

Prosjektperiode: 2004-2004

Sted: Trøndelag - Trööndelage

1 2