- 1363 publikasjoner funnet
- Utgiver
Anders Moen Hagalisletto; Thor Kristoffersen; Olaf Owe; A high Level Formal Language for Specifying Security Properties , 2002. Vitenskapelig foredrag
Xiuhua Zhang; Svetlana Boudko; Integration issues in patient mobility (Poster) , 2002. Vitenskapelig foredrag
Anders Moen; How do we model and analyse behaviour? Petri Nets applied to workflow management 2002. Vitenskapelig foredrag
Xiuhua Zhang; Svetlana Boudko; Integration issues in patient mobility , 2002. Vitenskapelig foredrag
Wolfgang Leister; Rendering of photorealistic images in a UNIX network , 2002. Vitenskapelig foredrag
Rune Solberg; Norwegian Computing Center 2002. Vitenskapelig foredrag
Line Eikvil; Ragnar Bang Huseby; Mønstergjenkjenning i bildesekvenser 2002. Vitenskapelig foredrag
Wolfgang Leister; Survey: Digital TV , 2002. Vitenskapelig foredrag
Bent Foyn; Læringsmessige utfordringer med nettbasert skole , 2002. Vitenskapelig foredrag
Wolfgang Leister; Hva er en DVD 2002. Vitenskapelig foredrag
Marit Holden; Anders Løland; Mette Langaas; Håvard Rue; Vigdis Nygaard; Ola Myklebost; Eivind Hovig; Investigating the linearity of an RNA-amplification protocol using analysis of variance on data from cDNA microarray experiments 2002. Vitenskapelig foredrag
Lars Holden; Bjørn Fredrik Nielsen; Ariel Almendral-Vazquez; Chris Townsend; Stochastic structural modeling in Havana 2001. Vitenskapelig foredrag
Lars Holden; Bjørn Fredrik Nielsen; Petter Fredrik Mostad; Arne Skorstad; Ariel Almendral-Vazquez; Signe Ottesen; Chris Townsend; A stochastic structural model , 2001. Vitenskapelig foredrag
Håvard Hegna; Objekt-orientering, språkteknologi og mappeorganisering 2001. Vitenskapelig foredrag
Lars Holden; Petter Abrahamsen; Recent development in conditioning reservoir models using geostatistics 2001. Vitenskapelig foredrag
Ragnar Hauge; Alister MacDonald; Lars Holden; Anne Randi Syversveen; Validation of facies object models 2001. Vitenskapelig foredrag
Bård Storvik; Bent Natvig; Magne Aldrin; Løpende utvalgsundersøkelse om kopiering i universitets og høgskolesektoren 2001. Vitenskapelig foredrag
Ragnar Hauge; Lars Holden; Anne Randi Syversveen; Conditioning in a marked point process used for modelling geology 2001. Vitenskapelig foredrag
Anders Moen; Introduction to temporal logic (Part I) 2001. Vitenskapelig foredrag
Anders Moen; Introduction to temporal logic - Metalogic (Part II) 2001. Vitenskapelig foredrag