Doktorgradsstipendiat i prosjekt 1331

Størrelse: px
Begynne med side:

Download "Doktorgradsstipendiat i prosjekt 1331"

Transkript

1 Doktorgradsstipendiat i prosjekt 1331 Stian Fauskanger Doktorgradsstipendiat ved Forsvarets forskningsinstitutt og Universitetet i Bergen Januar, 2015

2 Bakgrunn Bachelor: Bachelor i Ingeniørfag - Datateknikk. Universitetet i Agder, Grimstad, Bacheloroppgave: In-call audio analyzer for Android. Master: Master i Informatikk - Sikker og pålitelig kommunikasjon. Universitetet i Bergen, Masteroppgave: Linear dependencies between non-uniform distributions in DES. Sommerjobb: Sommerjobb ved FFI sommeren 2013 og 2014.

3 Masterprosjekt Donald Davies, Sean Murphy, beskrev i 1993 et anngrep på DES hvor man finner nøkkelbit ved å observere plaintext/ciphertext par. Man forhåndsberegner følgende tabell: X K Pr(output=X key-bits=k) X er output fra et gitt antall sidesliggende S-boxer, og K er en lineærkombinasjon av nøkkelbits.

4 Masterprosjekt Image source: Wikipedia.org

5 Masterprosjekt Image source: Wikipedia.org

6 Masterprosjekt Input bit: E(X) Key bit: S4 S5 x y S6 S7 S8

7 Masterprosjekt I masteroppgaven min fant vi lineære avhengigheter mellom distribusjonene. X K Pr(output=X key-bits=k) Ved å legge sammen rød og grønn distribusjon får man den blå distibusjonen. + =

8 Masteroppgave Vi viste at det er veldig få lineært uavhengige distibusjoner. Maks 48 for full DES. Vi fant også at for output fra S-box 456 var det uvanlig få uavhengige distibusjoner. n Upper bound

9 Masteroppgave Davies og Murphy fant ut at det er maks 660 forkjellige distribusjoner for full DES. Vi fant at det var eksakt 660 forskjellige distribusjoner for alle kombinasjoner av 3 sidenliggende S-boxer utenom S-box 456. Der var det bare 72 forskjellige distibusjoner. n Upper bound

10 Doktorgradsprosjekt I løpet av min periode som stipendiat ved FFI/UiB er planen å jobbe med tre tema. Fortsette på masterprosjektet for å finne ut hvorfor output fra S-box 456 er forskjellig fra de andre trioene. Jobbe med (forbedre?) lineær kryptoanalyse med bruk av flere approksimasjoner som hver ser på distribusjonen til flere bit. Analysere en cipher ved bruk av metoden over. Forhåpentligvis en lettvekts-kryptoalgoritme.

11 Doktorgradsprosjekt Første del er ferdig, og første artikkel er sendt til konferansen Fast Software Encryption. I denne artikkelen beskriver vi nye egenskaper ved S-box 4 i DES. En av de forklarer hvorfor output fra S-box trioen 456 er forskjellig fra de andre.

12 Doktorgradsprosjekt En S-box har 6 input-bits og 4 output-bits. Tabellen under viser antall ganger hver de av mulige returverdiene for S-box 4 kommer, gitt de to første input-bitene

13 Doktorgradsprosjekt Summen av rad 0 og 2 og summen av rad 1 og 3 gir en rad med bare 2. Denne egenskapen er gyldig for alle S-boxer. Dette er grunnen til at Davies og Murphy kunne si at det var maks 660 forskjellige distribusjoner for full DES

14 Doktorgradsprosjekt Grunnen til at output fra S-box trioen 456 er forskjellig fra de andre er at konvolusjonen mellom rad x og y i tabellen under er den samme som konvolusjonen av rad x a og y a for hvilken som helst a. Denne egenskapen er bare gyldig for S-box

15 Doktorgradsprosjekt Nå har vi begynt å jobbe med deloppgave 2: Lineær kryptoanalyse med bruk av flere approksimasjoner som hver ser på distribusjonen til flere bit.

16 Doktorgradsprosjekt Nå har vi begynt å jobbe med deloppgave 2: Lineær kryptoanalyse med bruk av flere approksimasjoner som hver ser på distribusjonen til flere bit. Eksempel: Gitt approksimasjonen P L [7, 18, 24] C H [7, 18, 24, 29] C L [15] = K 2 [22] K 3 [44] K 4 [22] K 6 [22] K 7 [44] K 8 [22] K 10 [22] K 11 [44] K 12 [22] K 14 [22] vil vanlig lineær kryptoanalyse se på sannsynligheten for at XOR av 8 bit er 0 eller 1.

17 Doktorgradsprosjekt Nå har vi begynt å jobbe med deloppgave 2: Lineær kryptoanalyse med bruk av flere approksimasjoner som hver ser på distribusjonen til flere bit. P L [7, 18, 24] C H [7, 18, 24, 29] C L [15] = K 2 [22] K 3 [44] K 4 [22] K 6 [22] K 7 [44] K 8 [22] K 10 [22] K 11 [44] K 12 [22] K 14 [22] Vi vil i stedenfor se på sannsynlighetsfordelingen for alle 256 verdiene de 8 bitene kan ha.

18 Doktorgradsprosjekt Dette arbeidet er helt i startfasen så det er desverre ikke så mange resultater å melde om enda.

19 Takker og bukker Takk for meg! Ta gjerne kontakt om du finner dette interessant, eller om du har noen kommerntarer. (ffi.no) / (ii.uib.no)

Kryptografi og nettverkssikkerhet

Kryptografi og nettverkssikkerhet Kryptografi og nettverkssikkerhet Kapittel : Blokkchiffere og DES (the Data Encryption Standard) Moderne symmetrisk kryptografi Skal se på moderne blokkchiffere, en av de mest brukte kryptoalgoritmene.

Detaljer

Kryptografi og nettverkssikkerhet

Kryptografi og nettverkssikkerhet Kryptografi og nettverkssikkerhet Kapittel : Blokkchiffere og DES (the Data Encryption Standard) Moderne symmetrisk kryptografi Skal se på moderne blokkchiffere, en av de mest brukte kryptoalgoritmene.

Detaljer

Seminar Brage 11. des. Ellen Røyneberg

Seminar Brage 11. des. Ellen Røyneberg Seminar Brage 11. des Ellen Røyneberg 1 Agenda BIBSYS Brage Hvordan komme i gang? Administratorrollen en oversikt Bli kjent med BIBSYS Brage Oppsett av arkivet Arbeidsflyt Registreringsprosessen Samlingsdesign

Detaljer

Appendiks 5 Forutsetninger for lineær regresjonsanalyse

Appendiks 5 Forutsetninger for lineær regresjonsanalyse Appendiks 5 Forutsetninger for lineær regresjonsanalyse Det er flere krav til årsaksslutninger i regresjonsanalyse. En naturlig forutsetning er tidsrekkefølge og i andre rekke spiller variabeltype inn.

Detaljer

Selmersenteret. ACT - Prosjektet. Kryptografer lærer å tenke som kriminelle. Oversikt

Selmersenteret. ACT - Prosjektet. Kryptografer lærer å tenke som kriminelle. Oversikt Kryptografer lærer å tenke som kriminelle - Litt om kappløpet i kryptografi - Rapport fra IKT - SOS prosjektet Advanced Cryptographic Techniques (ACT) ACT - Prosjektet Forskningsprosjekt under IKT - SOS

Detaljer

Kapittel 6: Funksjoner

Kapittel 6: Funksjoner MAT1030 Diskret Matematikk Forelesning 13: Funksjoner Roger Antonsen Institutt for informatikk, Universitetet i Oslo Kapittel 6: Funksjoner 4. mars 2009 (Sist oppdatert: 2009-03-06 18:57) MAT1030 Diskret

Detaljer

Karrieremuligheter etter fullført studie i IT-støttet bedriftsutvikling. Cecilie Christiansen og Marianne Mathisen

Karrieremuligheter etter fullført studie i IT-støttet bedriftsutvikling. Cecilie Christiansen og Marianne Mathisen + Karrieremuligheter etter fullført studie i IT-støttet bedriftsutvikling Cecilie Christiansen og Marianne Mathisen + Kort om oppgavestiller- HiST/AITeL Høgskolen i Sør-Trøndelag er kjent som HiST. HiST

Detaljer

Elektroingeniør - bachelorstudium i ingeniørfag

Elektroingeniør - bachelorstudium i ingeniørfag Elektroingeniør - bachelorstudium i ingeniørfag Vekting: 180 studiepoeng Fører til grad: Bachelor i ingeniørfag Heiltid/deltid: Heltid Fagplan Her finn du skisser over studieplanar. Emnekombinasjon/studieplan

Detaljer

Oversikt over kryptografi

Oversikt over kryptografi Oversikt over kryptografi Richard Williamson 3. desember 2014 Oppgave 1 Person A ønsker å sende meldingen Ha det! til person B, og ønsker å benytte RSAalgoritmen for å kryptere den. Den offentlige nøkkelen

Detaljer

Elektro - bachelorstudium i ingeniørfag

Elektro - bachelorstudium i ingeniørfag Elektro - bachelorstudium i ingeniørfag Vekting: 180 studiepoeng Fører til grad: Bachelor i ingeniørfag Heiltid/deltid: Heltid Grunnstudium: Ja Introduksjon Opptaksinformasjon Emnekombinasjon/studieplan

Detaljer

2. Etablering av arbeidsgruppe for utredning av PhD i anvendt IKT. 3. Felles fagseminar for de tre IKT tunge teknologiavdelingene ved høgskolene

2. Etablering av arbeidsgruppe for utredning av PhD i anvendt IKT. 3. Felles fagseminar for de tre IKT tunge teknologiavdelingene ved høgskolene MØTE I FAGGRUPPEN FOR IT I OSLOFJORDALLIANSEN Onsdag 13. april, kl 10:00 13:00, Høgskolen i Vestfold Tilstede: Olaf Hallan Graven (HiBu), Gunnar Syrrist (HiBu), Noureddine Bouhmala (HiVe), Thomas Nordli

Detaljer

Løsningsforslag AA6526 Matematikk 3MX Privatister 3. mai 2006. eksamensoppgaver.org

Løsningsforslag AA6526 Matematikk 3MX Privatister 3. mai 2006. eksamensoppgaver.org Løsningsforslag AA656 Matematikk 3MX Privatister 3. mai 006 eksamensoppgaver.org eksamensoppgaver.org Om løsningsforslaget Løsningsforslaget for matematikkeksamen i 3MX er gratis, og det er lastet ned

Detaljer

O3D 3D-grafikk rett i nettleseren. Tom Ryen, Institutt for data- og elektroteknikk (IDE), oktober 2009

O3D 3D-grafikk rett i nettleseren. Tom Ryen, Institutt for data- og elektroteknikk (IDE), oktober 2009 O3D 3D-grafikk rett i nettleseren Tom Ryen, Institutt for data- og elektroteknikk (IDE), oktober 2009 O3D 3D-grafikk rett i nettleseren v/ Tom Ryen Institutt for dataog elektroteknikk Om foredragsholderen

Detaljer

Grunnleggende testteori. Etter Hans Schaefer

Grunnleggende testteori. Etter Hans Schaefer Grunnleggende testteori Etter Hans Schaefer Industri- og softwareprodukt Industriprodukt Fysisk produkt Testes under produksjon og til slutt om produktet oppfyller kravene Tilpasses, endres, redesignes,

Detaljer

Informasjonsteknologi - masterstudium - 5 år

Informasjonsteknologi - masterstudium - 5 år Informasjonsteknologi - masterstudium - 5 år Vekting: 300 studiepoeng Fører til grad: Master i teknologi / sivilingeniør Heltid/deltid: Heltid Introduksjon Det femårige master i teknologi / sivilingeniørstudiet

Detaljer

Uke 4: z-transformasjonen

Uke 4: z-transformasjonen Uke 4: z-transformasjonen Jo Inge Buskenes Institutt for informatikk, Universitetet i Oslo INF3470/4470, høst 2011 2/26 Dagens temaer z-dometet; ett av tre domener z-transformasjonen; definisjon og egenskaper

Detaljer

Høgskolen i Sør-Trøndelag Høgskolestyret Orientering Dato: 11.06.14

Høgskolen i Sør-Trøndelag Høgskolestyret Orientering Dato: 11.06.14 Høgskolen i Sør-Trøndelag Høgskolestyret Orientering Dato: 11.06.14 Til: Høgskolestyret Fra: Rektor O-sak HS-O-14/14 Rektor orienterer Utdanningsrelaterte saker Gründerstipend 2014 For 11. gang ble HiST

Detaljer

2. Hvor studerer du? Utvalgte spørsmål for sammenlikning 13.01.2014 15:13 100% 90% 80% 70% 60% Prosent 50% 40% 29,3% 30% 20% 11,9% 6,9% 10%

2. Hvor studerer du? Utvalgte spørsmål for sammenlikning 13.01.2014 15:13 100% 90% 80% 70% 60% Prosent 50% 40% 29,3% 30% 20% 11,9% 6,9% 10% 2. Hvor studerer du? 10 Sammenlikning av svar fra studenter på utvalgte spørsmål, UiS, og de tre største høyskolene (andelav totalt antall svar fra disse er angitt). 9 8 7 6 3 29,3% 1 6, 1,6% 4, 2,9% 6,5%

Detaljer

Elementær Kryptografi (Appendix A, Cryptography Basics, Building Secure Software)

Elementær Kryptografi (Appendix A, Cryptography Basics, Building Secure Software) 1 Elementær Kryptografi (Appendix A, Cryptography Basics, Building Secure Software) Mich ael Morten sen m ich aelm @ii.u ib.n o 10/ 10/ 05 INF329 Utviklin g av sikre ap p likasjon er 2 Elementær kryptografi

Detaljer

Sentralverdi av dataverdi i et utvalg Vi tenker oss et utvalg med datapar. I vårt eksempel har vi 5 datapar.

Sentralverdi av dataverdi i et utvalg Vi tenker oss et utvalg med datapar. I vårt eksempel har vi 5 datapar. Statistisk behandling av kalibreringsresultatene Del 4. v/ Rune Øverland, Trainor Elsikkerhet AS Denne artikkelserien handler om statistisk behandling av kalibreringsresultatene. Dennne artikkelen tar

Detaljer

Oppgave: BOW Bowling. Regler for Bowling. norwegian. BOI 2015, dag 1. Tilgjengelig minne: 256 MB. 30.04.2015

Oppgave: BOW Bowling. Regler for Bowling. norwegian. BOI 2015, dag 1. Tilgjengelig minne: 256 MB. 30.04.2015 Oppgave: BOW Bowling norwegian BOI 0, dag. Tilgjengelig minne: 6 MB. 30.04.0 Byteasar er glad i både bowling og statistikk. Han har skrevet ned resultatene sine fra noen av gangene han har spilt bowling.

Detaljer

TDT4110 IT Grunnkurs Høst 2014

TDT4110 IT Grunnkurs Høst 2014 TDT4110 IT Grunnkurs Høst 2014 Norges teknisk naturvitenskapelige universitet Institutt for datateknikk og informasjonsvitenskap Auditorieøving 1 Navn: Linje: Brukernavn (blokkbokstaver): Oppgavesettet

Detaljer

Dataingeniør - bachelorstudium i ingeniørfag

Dataingeniør - bachelorstudium i ingeniørfag Dataingeniør - bachelorstudium i ingeniørfag Vekting: 180 studiepoeng Fører til grad: Bachelor i ingeniørfag Heltid/deltid: Heltid Introduksjon Treårig bachelor i ingeniørfag har som overordnet mål å utdanne

Detaljer

1 Section 4-1: Introduksjon til sannsynlighet. 2 Section 4-2: Enkel sannsynlighetsregning. 3 Section 5-1: Introduksjon til sannsynlighetsfordelinger

1 Section 4-1: Introduksjon til sannsynlighet. 2 Section 4-2: Enkel sannsynlighetsregning. 3 Section 5-1: Introduksjon til sannsynlighetsfordelinger 1 Section 4-1: Introduksjon til sannsynlighet 2 Section 4-2: Enkel sannsynlighetsregning 3 Section 5-1: Introduksjon til sannsynlighetsfordelinger 4 Section 5-2: Tilfeldige variable 5 Section 5-3: Binomisk

Detaljer

Evaluering av IT-systemer Introduksjon. Monica Kristiansen

Evaluering av IT-systemer Introduksjon. Monica Kristiansen Evaluering av IT-systemer Introduksjon Monica Kristiansen 1 Bruk av programvare i kritiske systemer En spennende verden! 2 Avanserte løfteraketter (Ariane 5) 3 Avanserte flyegenskaper 4 Avanserte flyegenskaper

Detaljer

Master i Teknologi (siv.ing); Maskin Prosess og Produktutvikling UMB opptak fra bachelor i ingeniørfag

Master i Teknologi (siv.ing); Maskin Prosess og Produktutvikling UMB opptak fra bachelor i ingeniørfag i Teknologi (siv.ing); Maskin Prosess og Produktutvikling UMB opptak fra bachelor i ingeniørfag i ingeniørfag - HiØ Maskin Industriell design UMB Maskin Prosess, Produktutvikling Energi Akvakultur i ingeniørfag

Detaljer

Maskiningeniør - bachelorstudium i ingeniørfag

Maskiningeniør - bachelorstudium i ingeniørfag Maskiningeniør - bachelorstudium i ingeniørfag Vekting: 180 studiepoeng Fører til grad: Bachelor i ingeniørfag Heltid/deltid: Heltid Introduksjon Treårig ingeniørutdanning har som overordnet mål å utdanne

Detaljer

Master i Teknologi (siv.ing); Maskin Prosess og Produktutvikling UMB opptak fra bachelor i ingeniørfag

Master i Teknologi (siv.ing); Maskin Prosess og Produktutvikling UMB opptak fra bachelor i ingeniørfag i Teknologi (siv.ing); Maskin Prosess og Produktutvikling UMB opptak fra bachelor i ingeniørfag i ingeniørfag - HiØ Maskin Industriell design UMB Maskin Prosess, Produktutvikling Energi Akvakultur i ingeniørfag

Detaljer

WO 65 ONLINE WEATHER STATION

WO 65 ONLINE WEATHER STATION WO 65 ONLINE WEATHER STATION Revisjon 1 04.05.2009 Copyright 2009 vindsiden.no Innhold Power supply connector... 3 TC65 / sensor kontakt... 4 Vind sensor... 5 Temperatur sensor... 6 Boks... 7 Solcellepanel...

Detaljer

Fire kort. Mål. Gjennomføring. Film. Problemløsing Fire kort

Fire kort. Mål. Gjennomføring. Film. Problemløsing Fire kort Fire kort Mål Generelt: Søke etter mønster og sammenhenger. Gjennomføre undersøkelse og begrunne resultat. Utfordre elevene på å resonnere og kommunisere. Spesielt: Finne alle kombinasjoner når de adderer

Detaljer

Læringsfellesskap i matematikk utvikling og forskning i samarbeid.

Læringsfellesskap i matematikk utvikling og forskning i samarbeid. Anne Berit Fuglestad og Barbara Jaworski Anne.B.Fuglestad@hia.no Barbara.Jaworski@hia.no Høgskolen i Agder Læringsfellesskap i matematikk utvikling og forskning i samarbeid. En onsdag ettermiddag kommer

Detaljer

Maskiningeniør - bachelorstudium i ingeniørfag, studieretning konstruksjons- og materialteknikk

Maskiningeniør - bachelorstudium i ingeniørfag, studieretning konstruksjons- og materialteknikk Maskiningeniør - bachelorstudium i ingeniørfag, studieretning konstruksjons- og materialteknikk Vekting: 180 studiepoeng Fører til grad: Bachelor i ingeniørfag Heltid/deltid: Heltid Grunnstudium: Ja Introduksjon

Detaljer

TDT4102 Prosedyre og Objektorientert programmering Vår 2014

TDT4102 Prosedyre og Objektorientert programmering Vår 2014 Norges teknisk naturvitenskapelige universitet Institutt for datateknikk og informasjonsvitenskap TDT4102 Prosedyre og Objektorientert programmering Vår 2014 Øving 10 Frist: 2014-04-11 Mål for denne øvinga:

Detaljer

Presentasjon av Field II. Teori om simuleringsmetoden

Presentasjon av Field II. Teori om simuleringsmetoden Presentasjon av Field II Teori om simuleringsmetoden Oversikt Lineære system Romlig impulsrespons Field II teori Opprinnelig simuleringsmetode/implementering Oppdeling av aperture i rektangulære element

Detaljer

Diplom- undersøkelse Januar 2014

Diplom- undersøkelse Januar 2014 Diplom- undersøkelse Januar 2014 Forord Indøk Sør ved Universitetet i Agder har gjennomført en diplomundersøkelse blant uteksaminerte mastergrad studenter våren 2013 ved Industriell økonomi og teknologiledelse

Detaljer

TDT4102 Prosedyreog objektorientert programmering Vår 2016

TDT4102 Prosedyreog objektorientert programmering Vår 2016 Norges teknisk naturvitenskapelige universitet Institutt for datateknikk og informasjonsvitenskap TDT4102 Prosedyreog objektorientert programmering Vår 2016 Øving 2 Frist: 2016-01-29 Mål for denne øvingen:

Detaljer

Praktiske tilrettelegging og kontakt mellom bedrift og utdanningsinstitusjonen. Roar Andreassen Førstelektor Maskinfag (materialer og mekanikk)

Praktiske tilrettelegging og kontakt mellom bedrift og utdanningsinstitusjonen. Roar Andreassen Førstelektor Maskinfag (materialer og mekanikk) Praktiske tilrettelegging og kontakt mellom bedrift og utdanningsinstitusjonen Roar Andreassen Førstelektor Maskinfag (materialer og mekanikk) Undervisningstilbud: Doktorgradsutdanning (samarbeid med universiteter)

Detaljer

Din karriere fra studier til jobb Hva kan jeg bli? Innlegg til studentrekrutterere 13.10.2015 Ved karriereveileder Camilla Krogstie Agenda Blir det lett å få jobb hvis jeg velger UiO? Hva kan jeg bli med

Detaljer

Hashing. INF Algoritmer og datastrukturer HASHING. Hashtabeller

Hashing. INF Algoritmer og datastrukturer HASHING. Hashtabeller Hashing INF2220 - Algoritmer og datastrukturer HØSTEN 200 Institutt for informatikk, Universitetet i Oslo INF2220, forelesning : Hashing Hashtabeller (kapittel.) Hash-funksjoner (kapittel.2) Kollisjonshåndtering

Detaljer

Dobbelskudd Alle på kortet skyter to skudd

Dobbelskudd Alle på kortet skyter to skudd Bestikke FBI Spilles i sluttrunden: Du kan ta bort én brikke fra hvert for hvert par kort du kaster vekk. Bestikke FBI Spilles i sluttrunden: Du kan ta bort én brikke fra hvert for hvert par kort du kaster

Detaljer

Kjemi og miljø - bachelorstudium i ingeniørfag

Kjemi og miljø - bachelorstudium i ingeniørfag Kjemi og miljø - bachelorstudium i ingeniørfag Vekting: 180 studiepoeng Fører til grad: Bachelor i ingeniørfag Heltid/deltid: Heltid Grunnstudium: Ja Introduksjon Treårig ingeniørutdanning har som overordnet

Detaljer

ITPE2400/DATS2400: Datamaskinarkitektur

ITPE2400/DATS2400: Datamaskinarkitektur ITPE2400/DATS2400: Datamaskinarkitektur Forelesning 6: Mer om kombinatoriske kretser Aritmetikk Sekvensiell logikk Desta H. Hagos / T. M. Jonassen Institute of Computer Science Faculty of Technology, Art

Detaljer

Maskiningeniør - bachelorstudium i ingeniørfag, studieretning konstruksjons- og materialteknikk

Maskiningeniør - bachelorstudium i ingeniørfag, studieretning konstruksjons- og materialteknikk Studieprogram B-MASKIN, BOKMÅL, 2010 HØST, versjon 08.aug.2013 11:14:27 Maskiningeniør - bachelorstudium i ingeniørfag, studieretning konstruksjons- og materialteknikk Vekting: 180 studiepoeng Fører til

Detaljer

HØGSKOLEN I SØR-TRØNDELAG

HØGSKOLEN I SØR-TRØNDELAG HØGSKOLEN I SØR-TRØNDELAG Avdeling for informatikk og e-læring - AITeL Eksamensdato: 15.des 2011 Studiepoeng: 6 Varighet: 4 timer. Start kl 09:00 og skal leveres inn senest kl 13:00 Emnekode: Emnenavn:

Detaljer

Oversikt over bestilling av oppgaver fra universiteter og høgskoler - Undersøkelse om bruken av bokstavkarakterer 2008

Oversikt over bestilling av oppgaver fra universiteter og høgskoler - Undersøkelse om bruken av bokstavkarakterer 2008 Oversikt over bestilling av oppgaver fra universiteter og høgskoler - Undersøkelse om bruken av bokstavkarakterer 008 UHRs ref. Institusjon Bestilling Merknader 1 Universitetet i Oslo, Institutt for kulturstudier

Detaljer

Kompleksitetsanalyse Helge Hafting 25.1.2005 Opphavsrett: Forfatter og Stiftelsen TISIP Lærestoffet er utviklet for faget LO117D Algoritmiske metoder

Kompleksitetsanalyse Helge Hafting 25.1.2005 Opphavsrett: Forfatter og Stiftelsen TISIP Lærestoffet er utviklet for faget LO117D Algoritmiske metoder Helge Hafting 25.1.2005 Opphavsrett: Forfatter og Stiftelsen TISIP Lærestoffet er utviklet for faget LO117D Algoritmiske metoder Innhold 1 1 1.1 Hva er en algoritme?............................... 1 1.2

Detaljer

ØKT PRODUKSJON OG BEDRE MILJØ

ØKT PRODUKSJON OG BEDRE MILJØ ØKT PRODUKSJON OG BEDRE MILJØ Vassdragsseminar, SRN, 16 april 2013 Vegard Pettersen Innhold Statkraft Fornybar kraftproduksjon og klima Økt produksjon og bedret miljø, eksempler Vilkårsrevisjoner bedre

Detaljer

Kapittel 3: Litt om representasjon av tall

Kapittel 3: Litt om representasjon av tall MAT1030 Diskret Matematikk Forelesning 3: Litt om representasjon av tall, logikk Roger Antonsen Institutt for informatikk, Universitetet i Oslo Kapittel 3: Litt om representasjon av tall 20. januar 2009

Detaljer

MASTER I REALFAG MED TEKNOLOGI femårig lærerutdanningsprogram

MASTER I REALFAG MED TEKNOLOGI femårig lærerutdanningsprogram MASTER I REALFAG MED TEKNOLOGI femårig lærerutdanningsprogram Utdanningen gir undervisningskompetanse i to realfag i tillegg til kompetanse i teknologi. Programmet passer godt for dem som vil bli lektor

Detaljer

Nasjonalt råd for teknologisk utdanning

Nasjonalt råd for teknologisk utdanning Nasjonalt råd for teknologisk utdanning Medlemmer: Mads Nygård, leder (ankom noe senere enn møtestart) Mette Mo Jakobsen Vidar Thue-Hansen Ole-Gunnar Søgnen Bjørn Olsen Fra UHRs sekretariat: Ole Bernt

Detaljer

FRA IDÉ TIL KARRIERE. Jobb for en av Norges største entreprenører og eiendomsaktører!

FRA IDÉ TIL KARRIERE. Jobb for en av Norges største entreprenører og eiendomsaktører! FRA IDÉ TIL KARRIERE Jobb for en av Norges største entreprenører og eiendomsaktører! Bli en del av fremtiden til selskapet vårt! Kruse Smith er et familieselskap med lang historie og med et sterkt behov

Detaljer

Eksamen i. MAT110 Statistikk 1

Eksamen i. MAT110 Statistikk 1 Avdeling for logistikk Eksamen i MAT110 Statistikk 1 Eksamensdag : Torsdag 28. mai 2015 Tid : 09:00 13:00 (4 timer) Faglærer/telefonnummer : Molde: Per Kristian Rekdal / 924 97 051 Kristiansund: Terje

Detaljer

GigaCampus Mobilitetskurs Del 2. Sesjon 4. Torsdag 20.04.2006 Jardar.Leira@uninett.no

GigaCampus Mobilitetskurs Del 2. Sesjon 4. Torsdag 20.04.2006 Jardar.Leira@uninett.no GigaCampus Mobilitetskurs Del 2 Sesjon 4 Torsdag 20.04.2006 Jardar.Leira@uninett.no IEEE 802.1X En relativt gammel standard (godkjent 14. juni 2001) Definerer en standard for portbasert nettverks aksesskontroll

Detaljer

Søknad om midler fra Norske Kvinners Sanitetsforenings forsknings- og utviklingsfond for bruksåret 2013

Søknad om midler fra Norske Kvinners Sanitetsforenings forsknings- og utviklingsfond for bruksåret 2013 Søknad om midler fra Norske Kvinners Sanitetsforenings forsknings- og utviklingsfond for bruksåret 2013 1 N.K.S. forsknings- og utviklingsfond For 2013 lyses det ut forsknings og utviklingsmidler fra:

Detaljer

Elektro - bachelorstudium i ingeniørfag

Elektro - bachelorstudium i ingeniørfag Elektro - bachelorstudium i ingeniørfag Vekting: 180 studiepoeng Fører til grad: Bachelor i ingeniørfag Heltid/deltid: Heltid Introduksjon Treårig bachelor i ingeniørfag har som overordnet mål å utdanne

Detaljer

Loopback-funksjonen i J River MC18/19/20.

Loopback-funksjonen i J River MC18/19/20. Loopback-funksjonen i J River MC18/19/20. Alle windows lydsignaler kan nå rendres/dirigeres via J River Media Center for lydkorreksjon, konvolusjon etc. Dette forutsetter en ekstra avspillingsenhet i Windows,

Detaljer

5. Hva var dine tre høyest prioriterte studieprogram ved Samordna opptak høsten 2008? Førstevalg:... Andrevalg:... Tredjevalg:...

5. Hva var dine tre høyest prioriterte studieprogram ved Samordna opptak høsten 2008? Førstevalg:... Andrevalg:... Tredjevalg:... Undersøkelse om utdanningsvalg www.naturfagsenteret.no/vilje-con-valg Dette spørreskjemaet har spørsmål om deg og dine kriterier, forventninger og planer knyttet til utdannings- og yrkesvalg. Begynnerstudenter

Detaljer

Observera att de frågor som skall transformeras redan är vända i den här versionen.

Observera att de frågor som skall transformeras redan är vända i den här versionen. Rererense: Eide CM (1991) Livsorienterig, livsstil och helsevaner en spørreundersøkelse av niondeklasse-elever. Universitetet i Bergen, Institute of Nursing Science. Observera att de frågor som skall transformeras

Detaljer

Forelesning 14 Systemer av dierensiallikninger

Forelesning 14 Systemer av dierensiallikninger Forelesning 14 Systemer av dierensiallikninger Eivind Eriksen 9. april 010 Dierensiallikninger En dierensiallikning inneholder en avhengig variabel (typisk y ) og en uavhengig variabel (typisk x), som

Detaljer

Litt om numerisk integrasjon og derivasjon og løsningsforslag til noen ekstraoppgaver MAT-INF 1100 uke 48 (22/11-26/11)

Litt om numerisk integrasjon og derivasjon og løsningsforslag til noen ekstraoppgaver MAT-INF 1100 uke 48 (22/11-26/11) Litt om numerisk integrasjon og derivasjon og løsningsforslag til noen ekstraoppgaver MAT-INF 1100 uke 48 (22/11-26/11) Knut Mørken 22. november 2004 Vi har tidligere i kurset sett litt på numerisk derivasjon

Detaljer

Informasjonsteknologi - Master i teknologi/siv.ing. - 5 år

Informasjonsteknologi - Master i teknologi/siv.ing. - 5 år Studieprogram M-INFTE5, BOKMÅL, 2008 HØST, versjon 08.aug.2013 11:12:09 Informasjonsteknologi - Master i teknologi/siv.ing. - 5 år Vekting: 300 studiepoeng Fører til grad: Master i teknologi / sivilingeniør

Detaljer

Vi begynte å lure på det med fingeravtrykk. Er det virkelig slik at. alle mennesker har forskjellig type fingeravtrykk?

Vi begynte å lure på det med fingeravtrykk. Er det virkelig slik at. alle mennesker har forskjellig type fingeravtrykk? Vi begynte å lure på det med fingeravtrykk. Er det virkelig slik at alle mennesker har forskjellig type fingeravtrykk? Vi startet med å undersøke det litt på nettet Hvis du undersøker fingerspissene med

Detaljer

Informasjonsteknologi - masterstudium - 5 år

Informasjonsteknologi - masterstudium - 5 år Informasjonsteknologi - masterstudium - 5 år Vekting: 300 studiepoeng Fører til grad: Master i teknologi / sivilingeniør Heiltid/deltid: Heltid Rammeplan Emnekombinasjon/studieplan Informasjonsteknologi

Detaljer

TDT4110 IT Grunnkurs Høst 2014

TDT4110 IT Grunnkurs Høst 2014 TDT4110 IT Grunnkurs Høst 2014 Norges teknisk naturvitenskapelige universitet Institutt for datateknikk og informasjonsvitenskap Øving 9 Alle teorispørsmål skal besvares og begrunnes. Alle oppgavene skal

Detaljer

PRAKSISMOBILITET ERFARINGER OG EKSEMPLER 10.11.2011 TINE VIVEKA WESTERBERG NORGES REDERIFORBUND

PRAKSISMOBILITET ERFARINGER OG EKSEMPLER 10.11.2011 TINE VIVEKA WESTERBERG NORGES REDERIFORBUND PRAKSISMOBILITET ERFARINGER OG EKSEMPLER 10.11.2011 TINE VIVEKA WESTERBERG NORGES REDERIFORBUND HVA SKAL JEG SNAKKE OM I DAG? Litt om hvorfor Norges Rederiforbund av alle i hele verden er opptatt av praksismobilitet

Detaljer

Analyse av kontinuerlige data. Intro til hypotesetesting. 21. april 2005. Seksjon for medisinsk statistikk, UIO. Tron Anders Moger

Analyse av kontinuerlige data. Intro til hypotesetesting. 21. april 2005. Seksjon for medisinsk statistikk, UIO. Tron Anders Moger Intro til hypotesetesting Analyse av kontinuerlige data 21. april 2005 Tron Anders Moger Seksjon for medisinsk statistikk, UIO 1 Repetisjon fra i går: Normalfordelingen Variasjon i målinger kan ofte beskrives

Detaljer

Ikke lineære likninger

Ikke lineære likninger Ikke lineære likninger Opp til nå har vi studert lineære likninger og lineære likningsystemer. 1/19 Ax = b Ax b = 0. I en dimensjon, lineære likninger kan alltid løses ved hjelp av formler: ax + b = 0

Detaljer

Brukermanual for appen Kystfiske på Android

Brukermanual for appen Kystfiske på Android Brukermanual for appen Kystfiske på Android Sist oppdatert 2015-01-30 Innhold Introduksjon... 1 Hvordan komme igang... 1 Tilgang... 1 Første gangs innlogging... 1 Hovedsiden med oversikt for ditt fartøy...

Detaljer

Forord. 70-tallet. Typisk: Lokalhistorie og Internett. Keiserens nye klær eller nye muligheter for forskning og formidling?

Forord. 70-tallet. Typisk: Lokalhistorie og Internett. Keiserens nye klær eller nye muligheter for forskning og formidling? Forord Denne samling av slides utgjør en del av mitt innlegg på NLIs IKT-seminar på Høgskulen i Volda, sept. 2005. De er primært skrevet som en støtte for den muntlige presentasjonen og vil derfor antakelig

Detaljer

Østfoldkonferansen 2010. UMB også en Østfoldleverandør. Ruth Haug Prorektor forskning

Østfoldkonferansen 2010. UMB også en Østfoldleverandør. Ruth Haug Prorektor forskning Østfoldkonferansen 2010 UMB også en Østfoldleverandør Ruth Haug Prorektor forskning 2 Universitetet for Miljø og Biovitenskap (UMB): Vi bidrar gjerne til Østfold.hva kan UMB bidra med? www.umb.no 2 DET

Detaljer

Masterprogram i helseinformatikk

Masterprogram i helseinformatikk 1 Masterprogram i helseinformatikk Et samarbeid mellom INM/DMF og IDI/IME Neste kull: februar 2010 søknadsfrist 15. nov. 2009 http://www.ntnu.no/videre/helseinformatikk/ www.ntnu.no/videre/helseinformatikk/

Detaljer

Eksamensoppgave i PSY2017/PSYPRO4317 Statistikk og kvantitative forskningsmetoder

Eksamensoppgave i PSY2017/PSYPRO4317 Statistikk og kvantitative forskningsmetoder Psykologisk institutt Eksamensoppgave i PSY2017/PSYPRO4317 Statistikk og kvantitative forskningsmetoder Faglig kontakt under eksamen: Eva Langvik Tlf.: Psykologisk institutt 73591960 Eksamensdato: 21.5.2013

Detaljer

HamboHus 5.4 Rev. 1, 8. september 2005 A. Cordray

HamboHus 5.4 Rev. 1, 8. september 2005 A. Cordray HamboHus Technical Note Nr 10: Terreng HamboHus 5.4 Rev. 1, 8. september 2005 A. Cordray I HamboHus 5.4 er implementasjonen av terreng utvidet og forbedret. Det er lettere å lage terrengpunkter, og mye

Detaljer

Oversikt over bevis at det finnes uendelig mange primtall med bestemte egenskaper

Oversikt over bevis at det finnes uendelig mange primtall med bestemte egenskaper Oversikt over bevis at det finnes uendelig mange primtall med bestemte egenskaper Richard Williamson 3. desember 2014 Oppgave 1 La n være et naturlig tall. Bevis at det finnes et primtall p slik at p >

Detaljer

Jobbsøking. Tema i Grønn gruppe - januar 2007 JOBBSØKING... 2

Jobbsøking. Tema i Grønn gruppe - januar 2007 JOBBSØKING... 2 Jobbsøking Tema i Grønn gruppe - januar 2007 JOBBSØKING... 2 1. Stillingsannonser... 2 Hvorfor lese stillingsannonsen grundig?... 2 Hva må jeg se etter i annonsen?... 2 2. Slik finner du de ledige jobbene...

Detaljer

Repetisjon og mer motivasjon. MAT1030 Diskret matematikk. Repetisjon og mer motivasjon

Repetisjon og mer motivasjon. MAT1030 Diskret matematikk. Repetisjon og mer motivasjon Repetisjon og mer motivasjon MAT030 Diskret matematikk Forelesning 22: Grafteori Roger Antonsen Matematisk Institutt, Universitetet i Oslo 4. april 2008 Først litt repetisjon En graf består av noder og

Detaljer

1 10-2: Korrelasjon. 2 10-3: Regresjon

1 10-2: Korrelasjon. 2 10-3: Regresjon 1 10-2: Korrelasjon 2 10-3: Regresjon Example Krysser y-aksen i 1: b 0 = 1 Stiger med 2 hver gang x øker med 1: b 1 = 2 Formelen til linja er derfor y = 1 + 2x Eksempel Example Vi lar fem personer se en

Detaljer

Samarbeid mellom HiØ og NCE Smart. Seminar på Fredriksten 06.02.2012 Prorektor Hans Blom

Samarbeid mellom HiØ og NCE Smart. Seminar på Fredriksten 06.02.2012 Prorektor Hans Blom Samarbeid mellom HiØ og NCE Smart Seminar på Fredriksten 06.02.2012 Prorektor Hans Blom 1 Disposisjon 1. HiØs deltakelse i utviklingen av NCE Smart 2. Studier ved HiØ relevante for NCE Smart 3. HiØs deltakelse

Detaljer

Metodisk arbeid. Strukturert arbeidsmåte for å nå målet

Metodisk arbeid. Strukturert arbeidsmåte for å nå målet Metodisk arbeid Strukturert arbeidsmåte for å nå målet Strukturen Forarbeid - planleggingen Hvem, hva, hvor, når, hvorfor, hvordan.. Arbeid - gjennomføringen Utføre det planlagte operative arbeidet Etterarbeid

Detaljer

Bakgrunn. KLMED 8006 Anvendt medisinsk statistikk - Vår 2008 Repeterte målinger. Overvekt: løp for livet

Bakgrunn. KLMED 8006 Anvendt medisinsk statistikk - Vår 2008 Repeterte målinger. Overvekt: løp for livet KLMED 8006 Anvendt medisinsk statistikk - Vår 2008 Repeterte målinger Arnt Erik Tjønna og Eirik Skogvoll Institutt for sirkulasjon og bildediagnostikk, Det medisinske fakultet, NTNU Bakgrunn Inaktivitet

Detaljer

Sivilingeniørutdanning i Bergen Master i fagområde / Sivilingeniør

Sivilingeniørutdanning i Bergen Master i fagområde / Sivilingeniør Avdeling for Ingeniør- og økonomifag ved Høgskolen i Bergen (HiB) Det matematisk-naturvitenskapelige fakultet ved Universitetet i Bergen (UiB) Norges Handelshøyskole (NHH) Sivilingeniørutdanning i Bergen

Detaljer

April: 2014 - Det spirer i den blå åker - Alger

April: 2014 - Det spirer i den blå åker - Alger April: 2014 - Det spirer i den blå åker - Alger Havet spirer! Hver vår ser vi det samme i kystvannet. Fjorder og viker blir grumsete og etter hvert melkegrønne. Hva kommer det av. Er det farlig, er det

Detaljer

KONTINUASJONSEKSAMEN I EMNE TDT4195 BILDETEKNIKK ONSDAG 13. AUGUST 2008 KL. 09.00 13.00

KONTINUASJONSEKSAMEN I EMNE TDT4195 BILDETEKNIKK ONSDAG 13. AUGUST 2008 KL. 09.00 13.00 Side 1 av 5 NTNU Norges teknisk-naturvitenskapelige universitet Fakultet for informasjonsteknologi, matematikk og elektroteknikk Institutt for datateknikk og informasjonsvitenskap KONTINUASJONSEKSAMEN

Detaljer

ALARMSIGNAL Fasefeil. Sikringen gått på lastsiden. Inngangssignal under laveste grense. Inngangssignal over høyeste grense

ALARMSIGNAL Fasefeil. Sikringen gått på lastsiden. Inngangssignal under laveste grense. Inngangssignal over høyeste grense Børresen Cooltech AS Rosenholmveien 17 Postboks 130 Holmlia NO-1203 Oslo Telefon: +47 23 16 94 00 Faks: +47 23 16 94 01 http://www.borresen.no Veiledning For Lu-Ve Contardo RUS viftestyring komplett med

Detaljer

LabVIEW and Single-Board RIO to Control a Quadcopter

LabVIEW and Single-Board RIO to Control a Quadcopter LabVIEW and Single-Board RIO to Control a Quadcopter Universitetet i Agder, Grimstad Øyvind Magnussen Master i (2011) PhD Hva er mekatronikk? Intro Kontrollsystem Sensorer sbrio Simulering Testing LabVIEW?

Detaljer

Det juridiske fakultet Universitetet i Oslo

Det juridiske fakultet Universitetet i Oslo Det juridiske fakultet Universitetet i Oslo Notat Dato: 26.09.2014 Saksnr..: 2013/12113 CHRISSK Unntatt offentlighet: offl 13 jf fvl 13 Dekanvedtak- opptaksrammer for studieåret 2015/2016 Dekan Hans Petter

Detaljer

Play it again, Sam. Testing av dataspill

Play it again, Sam. Testing av dataspill Play it again, Sam Testing av dataspill Kjetil Raaen 7 års erfaring med spillutvikling Anarchy Online (C++) Generell programmering, mest spillogikk Pets vs. Monsters (Java) Lead programmer Prototyper Stipendiat

Detaljer

Bachelor i matematiske fag

Bachelor i matematiske fag Bachelor i matematiske fag Bachelorprogrammet i matematiske fag er en 3-årig utdanning med 180 studiepoeng. Målgruppen for programmet er studenter med allmenn interesse for matematikk, statistikk, fysikk

Detaljer

Kapittel 5: Mengdelære

Kapittel 5: Mengdelære MAT1030 Diskret Matematikk Forelesning 10: Mengdelære Roger Antonsen Institutt for informatikk, Universitetet i Oslo Kapittel 5: Mengdelære 24. februar 2009 (Sist oppdatert: 2009-02-25 08:27) MAT1030 Diskret

Detaljer

Norwegian Information Security NETwork

Norwegian Information Security NETwork Norwegian Information Security NETwork Ressursnett av forskningsmiljøer innen informasjonssikkerhet www.nisnet.no S.F. Mjølsnes NISnet-seminar ved NTNU, 23. november 2009 1 Ressursnett? Nasjonale møteplasser

Detaljer

TELEMEDISINSK SÅRPROSJEKT

TELEMEDISINSK SÅRPROSJEKT TELEMEDISINSK SÅRPROSJEKT NSH KONFERANSE OM REHABILITERING 9. Mai 2014 Ingebjørg Irgens 1 Finansiering Tildelt 500 000 kr fra Den norske legeforenings fond for kvalitetsforbedring og pasientsikkerhet for

Detaljer

Offentlig journal. Godkjenning av emner - Institutt for sosialfag. Studentmappe ***** ***** ***** 2007/4412-10 12115/2007 SV-ADM/TAB 26.05.

Offentlig journal. Godkjenning av emner - Institutt for sosialfag. Studentmappe ***** ***** ***** 2007/4412-10 12115/2007 SV-ADM/TAB 26.05. Offentlig journal eleksjon: Rapport generert: 23.5.2008, Dokumenttype:,, tatus: J,A 26.05.2008 Godkjenning av emner - nstitutt for sosialfag tudentmappe 2007/4412-10 12115/2007 14.09.2007 V-ADM/TAB nntatt

Detaljer

Byutvikling og urban design - master i teknologi/siv.ing., 5.årig

Byutvikling og urban design - master i teknologi/siv.ing., 5.årig Byutvikling og urban design - master i teknologi/siv.ing., 5.årig Vekting: 300 studiepoeng Fører til grad: Master i teknologi / sivilingeniør Heltid/deltid: Heltid Grunnstudium: Ja Undervisningsspråk:

Detaljer

Elektroniske spor. Innsynsrett, anonymitet. Personvernutfordringer. Innsynsrett. Informasjonsplikt og innsynsrett

Elektroniske spor. Innsynsrett, anonymitet. Personvernutfordringer. Innsynsrett. Informasjonsplikt og innsynsrett Elektroniske spor Innsynsrett, anonymitet Kirsten Ribu Kilde: Identity Management Systems (IMS): Identification and Comparison Study Independent Centre for Privacy Protection and Studio Notarile Genghini

Detaljer

Hva betyr kulturforskjeller for kommunesammenslåing? Stipendiat Linda Hye Professor Morten Øgård

Hva betyr kulturforskjeller for kommunesammenslåing? Stipendiat Linda Hye Professor Morten Øgård Hva betyr kulturforskjeller for kommunesammenslåing? Stipendiat Linda Hye Professor Morten Øgård Innhold Introduksjon til «rammeverket av konkurrerende verdier» Datainnsamling De åtte kommunene sett i

Detaljer

Byutvikling og urban design - master i teknologi/siv.ing., 5.årig

Byutvikling og urban design - master i teknologi/siv.ing., 5.årig Byutvikling og urban design - master i teknologi/siv.ing., 5.årig Vekting: 300 studiepoeng Fører til grad: Master i teknologi / sivilingeniør Heltid/deltid: Heltid Grunnstudium: Ja Undervisningsspråk:

Detaljer

STRATEGISK PLAN FOR AITEL 2011 2015

STRATEGISK PLAN FOR AITEL 2011 2015 STRATEGISK PLAN FOR AITEL 2011 2015 Vedtatt i avdelingsstyret 10. desember 2010 1 Misjon, visjon og satsingsområder AITeL skal tilby de beste kandidater innenfor IKT til privat og offentlig virksomhet.

Detaljer

Fordelinger, mer om sentralmål og variasjonsmål. Tron Anders Moger

Fordelinger, mer om sentralmål og variasjonsmål. Tron Anders Moger Fordelinger, mer om sentralmål og variasjonsmål Tron Anders Moger 20. april 2005 1 Forrige gang: Så på et eksempel med data over medisinerstudenter Lærte hvordan man skulle få oversikt over dataene ved

Detaljer

Kryptografi ved NTNU. Kristian Gjøsteen. 1. mars 2005

Kryptografi ved NTNU. Kristian Gjøsteen. 1. mars 2005 Kryptografi ved NTNU Kristian Gjøsteen 1. mars 2005 Oversikt Forskningsprogrammer Personer og forskningsaktivitet Utdanningstilbud Forskningsprogrammer Informasjonssikkerhet ved NTNU NTNU har et interfakultært

Detaljer

HMM-tagging INF4820 H2008. Jan Tore Lønning. 30. september. Institutt for Informatikk Universitetet i Oslo

HMM-tagging INF4820 H2008. Jan Tore Lønning. 30. september. Institutt for Informatikk Universitetet i Oslo INF4820 H2008 Institutt for Informatikk Universitetet i Oslo 30. september Outline 1 2 3 4 5 Outline 1 2 3 4 5 Flertydighet Example "" "fisk" subst appell mask ub fl @løs-np "fisker" subst appell

Detaljer