Hovednavigasjon (hopp)
Hovedinnholdet (hopp)
Temanavigasjon (hopp)
Kontaktinformasjon (hopp)
Organisasjonsnavigasjon
Forsiden UiO
Det matematisk-naturvitenskapelige fakultet
Institutt for informatikk
UiO
UiO
Universitetet i Oslo
Institutt for informatikk
Det matematisk-naturvitenskapelige fakultet
For ansatte
English website
Søk i nettsidene til IFI
Søk
Meny
Søk
Hovednavigasjon
Forsiden IFI
Forskning
Studier
Livet rundt studiene
Tjenester og verktøy
Om instituttet
Personer
Søk i nettsidene til IFI
Søk
Undernavigasjon
Forskningsaktuelt
Forskningsgrupper
Forskningsnettverk
Forskningsprosjekter
Forskningsseksjoner
Om forskningen
Forskning
Forskningsaktuelt
Forskningsgrupper
Forskningsnettverk
Forskningsprosjekter
Forskningsseksjoner
Om forskningen
Forskning
>
Forskningsprosjekter
English
version of this page
Forskningsprosjekter
(avsluttede)
A
ACIM: Akustisk bildedannelse og tolkning
Action IC0701: Formal Verification of Object-Oriented Software
ANA: Autonomic Network Architecture
AutoConRig
Autonomi og automatisering i et informasjonssamfunn for alle
AVABI: Automated validation for behavioral interfaces of asynchronous active objects
B
BioSys: Biological-Inspired Design of Systems for Complex Real-World Applications
C
CANOE: CAnada-NOrway partnership program in higher education
China EU Information Technology Standards Research Partnership
Citi-Sense-MOB
Connect: Active Behavioral Interfaces for Seamless Network Integration
CONTENT: Content Networks and Services for Home Users
COSoDIS: Contract-Oriented Software Development for Internet Services
COSRECOS: Context Switching Reconfigurable Hardware for Communication Systems
Credo: Modeling and analysis of evolutionary structures for distributed services
Creol: A formal framework for reflective component modelling
D
Dialogue Modelling for Statistical Machine Translation
Digital Design@UiO
DT-Stream: Delay Tolerant Streaming Services
E
e-Me
eDiViDe: European Digital Virtual Design lab
EFORTT: Ethical frameworks FOR Telecare Technologies
EPiCS: Engineering Proprioception in Computing Systems
ESA Ka band
EVISOFT: EVidence based Improvement of SOFTware engineering
Exactus: Nøyaktig biomassekontroll i store merder
F
FIPP: Flexibility in Integration Processes in Public sector
Fotorealistisk visualisering av hjertet - Fremtidens 3D ultralydavbildning
G
GenAP: Nasjonal analyse- og lagringsplattform for DNA-sekvensdata i helsevesenet
H
HATS: Highly Adaptable and Trustworthy Software using Formal Models
HighRIB: Høyoppløselig avbildning og stråleforming
HydroLab
HySmart
I
iAD: Information Access Disruptions
Ikke-invasiv overvåkning av intrakranielt trykk fra transkranielle akustiske signaler
Improved Imaging and Quantitative Identification of acoustic tissue properties with dual band ultrasound pulse
Infoware: Middleware Services for Information Sharing in Ad-hoc Networks
Instance2: Intermediate Storage Node Concept II
IXPs: Intel Internet eXchange Processors
L
LOGON
M
Mediatized Stories
Medics: The laboratory for Management and Distribution of Medical Multimedia Information
MIDAS: Middleware Platform for Developing and Deploying Advanced Mobile Services
MINEMA: Middleware for Network Eccentric and Mobile Applications
MobiHealth: Developing Health Service Networks through Mobile Solutions in Low Resource Settings
MOSCITO: Mobilizing Social Capital in global ICT based organizations
MULTE: Multimedia Middleware for Low Latency High Throughput Enviromenment
O
Omodis: Object-Oriented Modeling and Database-Support for Distributed Systems
P
PERCEVAL: Perceptual and Cognitive Quality Evaluation Techniques for Audiovisual Systems
Picolo: Peer-to-peer Infrastructure For Content Delivery Overlays
Vis pågående prosjekter
1
2
Neste side
RSS-strøm fra denne siden
UiO
>
Det matematisk-naturvitenskapelige fakultet
>
Institutt for informatikk
>
Forskning
>