Prosjektarkiv

This page in English

Fjern alle søkeord og avgrensninger og begynn på nytt

Fagområder

Matematikk og naturvitenskap

Informasjons- kommunikasj.vit. (38)
Matematikk (3)

Institusjoner/bedrifter

Geografi

Programmer

Informatikk - prosj. miljøstø

12 >>>

41treff

Periode	Prosjekttittel	Prosjektleder
2005 - 2007	Modifications and Applications of Alternating-time Temporal Epistemic Logic Modifications and Applications of Alternating-time Temporal Epistemic Logic	Thomas Ågotnes
2005 - 2005	Transient performance and robustness in switched nonlinear and adaptive control Transient performance and robustness in switched nonlinear and adaptive control	Tor Arne Johansen
2005 - 2007	High Resolution Ultrasonic Array Imaging High Resolution Ultrasonic Array Imaging	Sverre Holm
2004 - 2005	Utenlandsopphold for Arild Hoff i forbindlese med Doktorgradsstudier ved Høgskolen i Molde Utenlandsopphold for Arild Hoff i forbindlese med Doktorgradsstudier ved Høgskolen i Molde	Arne Løkketangen
2004 - 2005	Overseas trevel grant for ph.d. student Adis Hodzic Overseas trevel grant for ph.d. student Adis Hodzic	Magne Haveraaen
2004 - 2005	Overseas scholarship for Otto Skorve Bagge Overseas scholarship for Otto Skorve Bagge	Magne Haveraaen
2004 - 2004	ALGO 2004 - Organizing the annual European multi-conference event ALGO 2004 in Bergen ALGO 2004 - Organizing the annual European multi-conference event ALGO 2004 in Bergen	Pinar Heggernes
2004 - 2007	Component-oriented model-based security-analysis Component-oriented model-based security-analysis	Ketil Stølen
2004 - 2005	General support for the Algorithms Research group General support for the Algorithms Research group	Jan Arne Telle
2004 - 2007	Advanced signaling for Multiple Input Multiple Output (MIMO) Wireless Application to High Speed Data Access Networks Advanced signaling for Multiple Input Multiple Output (MIMO) Wireless Application to High Speed Data Access Networks	David Gesbert
2003 - 2007	PLI-AST - Programming language independent Abstract Syntax Trees PLI-AST - Programming language independent Abstract Syntax Trees	Magne Haveraaen
2003 - 2004	Effektiv bruk av iterativ dekoding for asymmetriske kanaler Effektiv bruk av iterativ dekoding for asymmetriske kanaler	Øyvind Ytrehus
2003 - 2007	A Framework for Innovative and Large Scale Molecular Dynamics Simulation A Framework for Innovative and Large Scale Molecular Dynamics Simulation	Petter Erling Bjørstad
2002 - 2004	Lavdimensjonal adaptiv teksturanalyse for digital patologi Lavdimensjonal adaptiv teksturanalyse for digital patologi	Birgitte Nielsen
2002 - 2006	Parameterized complexity and graph algorithms Parameterized complexity and graph algorithms	Jan Arne Telle
2001 - 2005	XML/Web databaser XML/Web databaser	Kjetil Nørvåg
2001 - 2004	Spesifikasjon og implementasjon av sanntidssystemer i omskrivningslogikk Spesifikasjon og implementasjon av sanntidssystemer i omskrivningslogikk	Peter C. Ølveczky
2001 - 2005	SAGA-II - Scientific computing and algebraic abstractions SAGA-II - Scientific computing and algebraic abstractions	Magne Haveraaen
2001 - 2004	Beregningsorientert kombinatorisk optimering i satellittkommunikasjon og billedanalyse Beregningsorientert kombinatorisk optimering i satellittkommunikasjon og billedanalyse	Geir Dahl
2001 - 2004	Nye problemer i kodeteori: Newtonradius, dobbeltkjedeegenskapen og vekthierarki Nye problemer i kodeteori: Newtonradius, dobbeltkjedeegenskapen og vekthierarki	Torleiv Kløve
2000 - 2004	Computational Economics Computational Economics	Trond Steihaug
2000 - 2004	Heltallsoptimering i dynamiske modeller Heltallsoptimering i dynamiske modeller	Geir Dahl
2000 - 2002	Methods for generating and identifying diverse quality solutions to general 0/1 MIP's, including stochastics Methods for generating and identifying diverse quality solutions to general 0/1 MIP's, including stochastics	Arne Løkketangen
1999 - 2005	Large scale egenvalue problems Large scale egenvalue problems	Trond Steihaug
1999 - 1999	Analysis of fast shape adaptive transform image coding methods Analysis of fast shape adaptive transform image coding methods	Ryszard Stasinski
1999 - 2002	Cryptology and coding Cryptology and coding	Tor Helleseth
1999 - 2003	SYNODE-II: Symmetries and structures in numerical solution of differential equations SYNODE-II: Symmetries and structures in numerical solution of differential equations	Syvert Paul Nørsett
1998 - 2003	Oppbygging av fagfeltet bioinformatikk ved Universitetet i Bergen Oppbygging av fagfeltet bioinformatikk ved Universitetet i Bergen	Terje O. Espelid
1998 - 2000	Koordinatfrie metoder i numerikk Koordinatfrie metoder i numerikk	Hans Munthe-Kaas
1997 - 2000	Architecture Independence in Software Design and Development Architecture Independence in Software Design and Development	Sigurd Meldal

12 >>>