Evaluating Call-by-need on the Control Stack

Størrelse: px
Begynne med side:

Download "Evaluating Call-by-need on the Control Stack"

Transkript

1 Evaluating Call-by-need on the Control Stack Stephen Chang, David Van Horn, Matthias Felleisen Northeastern University 1

2 Lazy Abstract Machines Sharing implemented with: heap 2

3 Lazy Abstract Machines Sharing implemented with: heap stack operations (alternative approach) 3

4 Lazy Abstract Machines Sharing implemented with: heap stack operations (alternative approach) [Garcia et al. 2009] 4

5 Our Paper New way to resolve variable references in the stack 5

6 Our Paper New way to resolve variable references in the stack Reorganize stack structure to allow indexing 6

7 Call-by-need λ-calculus [Ariola et al. 1995] [Ariola and Felleisen 1997] 7

8 Call-by-need λ-calculus [Ariola et al. 1995] [Ariola and Felleisen 1997] Delay evaluation of argument until needed 8

9 Call-by-need λ-calculus [Ariola et al. 1995] [Ariola and Felleisen 1997] Delay evaluation of argument until needed Evaluate each argument only once 9

10 Call-by-need λ-calculus [Ariola et al. 1995] [Ariola and Felleisen 1997] Delay evaluation of argument until needed Evaluate each argument only once M = x M M λx.m 10

11 Call-by-need λ-calculus [Ariola et al. 1995] [Ariola and Felleisen 1997] Delay evaluation of argument until needed Evaluate each argument only once M = x M M λx.m E = [ ] E M (λx.e) M (λx.e[x]) E 11

12 Call-by-need λ-calculus [Ariola et al. 1995] [Ariola and Felleisen 1997] Delay evaluation of argument until needed Evaluate each argument only once M = x M M λx.m E = [ ] E M (λx.e) M (λx.e[x]) E 12

13 Call-by-need λ-calculus [Ariola et al. 1995] [Ariola and Felleisen 1997] Delay evaluation of argument until needed Evaluate each argument only once M = x M M λx.m E = [ ] E M (λx.e) M (λx.e[x]) E 13

14 Call-by-need λ-calculus [Ariola et al. 1995] [Ariola and Felleisen 1997] Delay evaluation of argument until needed Evaluate each argument only once M = x M M λx.m E = [ ] E M (λx.e) M (λx.e[x]) E 14

15 Call-by-need λ-calculus [Ariola et al. 1995] [Ariola and Felleisen 1997] Delay evaluation of argument until needed Evaluate each argument only once M = x M M λx.m E = [ ] E M (λx.e) M (λx.e[x]) E deref (β alternative): (λx.e[x]) V (λx.e[v]) V 15

16 Call-by-need λ-calculus [Ariola et al. 1995] [Ariola and Felleisen 1997] Delay evaluation of argument until needed Evaluate each argument only once M = x M M λx.m E = [ ] E M (λx.e) M (λx.e[x]) E deref (β alternative): (λx.e[x]) V (λx.e[v]) V One-at-a-time substitution (only when needed) 16

17 Call-by-need λ-calculus [Ariola et al. 1995] [Ariola and Felleisen 1997] Delay evaluation of argument until needed Evaluate each argument only once M = x M M λx.m E = [ ] E M (λx.e) M (λx.e[x]) E deref (β alternative): (λx.e[x]) V (λx.e[v]) V One-at-a-time substitution (only when needed) Argument not removed (may need it again) 17

18 An Initial Abstract Machine 18

19 An Initial Abstract Machine Standard Reduction = abstract machine E[M] SR E[N] if M N 19

20 An Initial Abstract Machine Standard Reduction = abstract machine E[M] SR E[N] if M N Re-partition into E and M after every reduction 20

21 CK Machine [Felleisen 1986] (For by-value λ calculus) Separate program into two registers: C = Current subterm being evaluated K = Continuation (equiv. to eval. context) 21

22 CK Machine [Felleisen 1986] (For by-value λ calculus) Separate program into two registers: C = Current subterm being evaluated K = Continuation (equiv. to eval. context) Don't need to re-partition program after every reduction 22

23 CK Machine [Felleisen 1986] (For by-value λ calculus) Separate program into two registers: C = Current subterm being evaluated K = Continuation (equiv. to eval. context) Don't need to re-partition program after every reduction [Garcia et al. 2009]: lazy CK machine 23

24 Evaluation Contexts (E) vs Continuations (K) [ ] ~ E[[ ] M] ~ (arg M K) E ~ K E[(λx.[ ]) M] ~ (bind x M K) E ~ K E[(λx.E'[x]) [ ]] ~ (op x K' K) K' ~ E', K ~ E 24

25 Evaluation Contexts (E) vs Continuations (K) [ ] ~ E[[ ] M] ~ (arg M K) E ~ K E[(λx.[ ]) M] ~ (bind x M K) E ~ K E[(λx.E'[x]) [ ]] ~ (op x K' K) K' ~ E', K ~ E 25

26 Evaluation Contexts (E) vs Continuations (K) [ ] ~ E[[ ] M] ~ (arg M K) E ~ K E[(λx.[ ]) M] ~ (bind x M K) E ~ K E[(λx.E'[x]) [ ]] ~ (op x K' K) K' ~ E', K ~ E 26

27 Evaluation Contexts (E) vs Continuations (K) [ ] ~ E[[ ] M] ~ (arg M K) E ~ K E[(λx.[ ]) M] ~ (bind x M K) E ~ K E[(λx.E'[x]) [ ]] ~ (op x K' K) K' ~ E', K ~ E 27

28 Evaluation Contexts (E) vs Continuations (K) [ ] ~ E[[ ] M] ~ (arg M K) E ~ K E[(λx.[ ]) M] ~ (bind x M K) E ~ K E[(λx.E'[x]) [ ]] ~ (op x K' K) K' ~ E', K ~ E 28

29 Example (Garcia Machine) (λx.(λy.(λz.(y M)) M0 M1 M2) M3 M4) M5 29

30 Example (Garcia Machine) (λx.(λy.(λz.(y M)) M0 M1 M2) M3 M4) M5 30

31 Example (Garcia Machine) (λx.(λy.(λz.(y M)) M0 M1 M2) M3 M4) M5 C = (λx.(λy.(λz.(y M)) M0 M1 M2) M3 M4) M5 K = 31

32 Example (Garcia Machine) (λx.(λy.(λz.(y M)) M0 M1 M2) M3 M4) M5 C = (λx.(λy.(λz.(y M)) M0 M1 M2) M3 M4) K = (arg M5) 32

33 Example (Garcia Machine) (λx.(λy.(λz.(y M)) M0 M1 M2) M3 M4) M5 C = (λy.(λz.(y M)) M0 M1 M2) M3 M4 K = (bind x M5) 33

34 Example (Garcia Machine) (λx.(λy.(λz.(y M)) M0 M1 M2) M3 M4) M5 C = (λy.(λz.(y M)) M0 M1 M2) M3 K = (arg M4) (bind x M5) 34

35 Example (Garcia Machine) (λx.(λy.(λz.(y M)) M0 M1 M2) M3 M4) M5 C = (λy.(λz.(y M)) M0 M1 M2) K = (arg M3) (arg M4) (bind x M5) 35

36 Example (Garcia Machine) (λx.(λy.(λz.(y M)) M0 M1 M2) M3 M4) M5 C = (λz.(y M)) M0 M1 M2 K = (bind y M3) (arg M4) (bind x M5) 36

37 Example (Garcia Machine) (λx.(λy.(λz.(y M)) M0 M1 M2) M3 M4) M5 C = (λz.(y M)) M0 M1 K = (arg M2) (bind y M3) (arg M4) (bind x M5) 37

38 Example (Garcia Machine) (λx.(λy.(λz.(y M)) M0 M1 M2) M3 M4) M5 C = (λz.(y M)) M0 K = (arg M1) (arg M2) (bind y M3) (arg M4) (bind x M5) 38

39 Example (Garcia Machine) (λx.(λy.(λz.(y M)) M0 M1 M2) M3 M4) M5 C = (λz.(y M)) K = (arg M0) (arg M1) (arg M2) (bind y M3) (arg M4) (bind x M5) 39

40 Example (Garcia Machine) (λx.(λy.(λz.(y M)) M0 M1 M2) M3 M4) M5 C = (y M) K = (bind z M0) (arg M1) (arg M2) (bind y M3) (arg M4) (bind x M5) 40

41 Example (Garcia Machine) (λx.(λy.(λz.(y M)) M0 M1 M2) M3 M4) M5 C = y K = (arg M) (bind z M0) (arg M1) (arg M2) (bind y M3) (arg M4) (bind x M5) 41

42 Example (Garcia Machine) (λx.(λy.(λz.(y M)) M0 M1 M2) M3 M4) M5 C = y K = (arg M) (arg M) (bind z M0) (arg M1) (arg M2) (bind y M3) (arg M4) (bind x M5) 42

43 Example (Garcia Machine) (λx.(λy.(λz.(y M)) M0 M1 M2) M3 M4) M5 C = y K = (arg M) (bind z M0) (bind z M0) (arg M1) (arg M2) (bind y M3) (arg M4) (bind x M5) 43

44 Example (Garcia Machine) (λx.(λy.(λz.(y M)) M0 M1 M2) M3 M4) M5 C = y K = (arg M) (bind z M0) (arg M1) (arg M1) (arg M2) (bind y M3) (arg M4) (bind x M5) 44

45 Example (Garcia Machine) (λx.(λy.(λz.(y M)) M0 M1 M2) M3 M4) M5 C = y K = (arg M) (bind z M0) (arg M1) (arg M2) (arg M2) (bind y M3) (arg M4) (bind x M5) 45

46 Example (Garcia Machine) (λx.(λy.(λz.(y M)) M0 M1 M2) M3 M4) M5 C = y K = (arg M) (bind z M0) (arg M1) (arg M2) (bind y M3) (bind y M3) (arg M4) (bind x M5) 46

47 Example (Garcia Machine) (λx.(λy.(λz.(y M)) M0 M1 M2) M3 M4) M5 C = y K = (arg M) (bind z M0) (arg M1) (arg M2) (bind y M3) (bind y M3) (arg M4) (bind x M5) 47

48 Example (Garcia Machine) (λx.(λy.(λz.(y M)) M0 M1 M2) M3 M4) M5 C = y K = (arg M) (bind z M0) (arg M1) (arg M2) (bind y M3) (bind y M3) (arg M4) (bind x M5) 48

49 Example (Garcia Machine) (λx.(λy.(λz.(y M)) M0 M1 M2) M3 M4) M5 C = y K = (arg M) (bind z M0) (arg M1) (arg M2) (bind y M3) (bind y M3) (arg M4) (bind x M5) 49

50 Example (Garcia Machine) (λx.(λy.(λz.(y M)) M0 M1 M2) M3 M4) M5 C = y K = (arg M) (bind z M0) (arg M1) (arg M2) (bind y M3) Linear search to find argument (bind y M3) (arg M4) (bind x M5) 50

51 CK+ Machine: Stack Structure Reorganize stack to be stack of stacks bind continuations on top 51

52 CK+ Machine: Stack Structure Reorganize stack to be stack of stacks bind continuations on top (arg M) (bind z M0) (arg M1) (arg M2) (bind y M3) (arg M4) (bind x M5) 52

53 CK+ Machine: Stack Structure Reorganize stack to be stack of stacks bind continuations on top (arg M) (bind z M0) (arg M1) (arg M2) (bind y M3) (arg M4) (bind x M5) 53

54 CK+ Machine: Stack Structure Reorganize stack to be stack of stacks bind continuations on top (arg M) (bind z M0) (arg M1) (arg M2) (bind y M3) (arg M4) (bind x M5) (arg M) (bind M0) (bind M3) (bind M5) (arg M1) (arg M4) (arg M2) 54

55 CK+ Machine: Lexical Addresses Replace variables with lexical addresses [De Bruijn 1972] 55

56 CK+ Machine: Lexical Addresses Replace variables with lexical addresses [De Bruijn 1972] M = x M M λx.m 56

57 CK+ Machine: Lexical Addresses Replace variables with lexical addresses [De Bruijn 1972] M = x M M λx.m M = n M M λ.m 57

58 CK+ Machine: Lexical Addresses Replace variables with lexical addresses [De Bruijn 1972] M = x M M λx.m M = n M M λ.m K = (arg M K) (bind x M K) (op x K K) 58

59 CK+ Machine: Lexical Addresses Replace variables with lexical addresses [De Bruijn 1972] M = x M M λx.m M = n M M λ.m K = (arg M K) (bind x M K) (op x K K) K = (arg M K) (bind M K) (op K K) 59

60 CK+ Machine: Lexical Addresses Replace variables with lexical addresses [De Bruijn 1972] M = x M M λx.m M = n M M λ.m K = (arg M K) (bind x M K) (op x K K) K = (arg M K) (bind M K) (op K K) λx.(x λy.(x y)) 60

61 CK+ Machine: Lexical Addresses Replace variables with lexical addresses [De Bruijn 1972] M = x M M λx.m M = n M M λ.m K = (arg M K) (bind x M K) (op x K K) K = (arg M K) (bind M K) (op K K) λx.(x λy.(x y)) λ.(0 λ.(1 0)) 61

62 CK+ Machine: Lexical Addresses Replace variables with lexical addresses [De Bruijn 1972] M = x M M λx.m M = n M M λ.m K = (arg M K) (bind x M K) (op x K K) K = (arg M K) (bind M K) (op K K) λx.(x λy.(x y)) λ.(0 λ.(1 0)) 62

63 CK+ Machine: Example (λ.(λ.(λ.(1 M)) M0 M1 M2) M3 M4) M5 63

64 CK+ Machine: Example (λ.(λ.(λ.(1 M)) M0 M1 M2) M3 M4) M5 64

65 CK+ Machine: Example (λ.(λ.(λ.(1 M)) M0 M1 M2) M3 M4) M5 C = (λ.(λ.(λ.(1 M)) M0 M1 M2) M3 M4) M5 K = 65

66 CK+ Machine: Example (λ.(λ.(λ.(1 M)) M0 M1 M2) M3 M4) M5 C = (λ.(λ.(λ.(1 M)) M0 M1 M2) M3 M4) K = (arg M5) 66

67 CK+ Machine: Example (λ.(λ.(λ.(1 M)) M0 M1 M2) M3 M4) M5 C = (λ.(λ.(1 M)) M0 M1 M2) M3 M4 K = (bind M5) 67

68 CK+ Machine: Example (λ.(λ.(λ.(1 M)) M0 M1 M2) M3 M4) M5 C = (λ.(λ.(1 M)) M0 M1 M2) M3 K = (arg M4) (bind M5) 68

69 CK+ Machine: Example (λ.(λ.(λ.(1 M)) M0 M1 M2) M3 M4) M5 C = (λ.(λ.(1 M)) M0 M1 M2) K = (arg M3) (bind M5) (arg M4) 69

70 CK+ Machine: Example (λ.(λ.(λ.(1 M)) M0 M1 M2) M3 M4) M5 C = (λ.(1 M)) M0 M1 M2 K = (bind M3) (bind M5) (arg M4) 70

71 CK+ Machine: Example (λ.(λ.(λ.(1 M)) M0 M1 M2) M3 M4) M5 C = (λ.(1 M)) M0 M1 K = (arg M2) (bind M3) (bind M5) (arg M4) 71

72 CK+ Machine: Example (λ.(λ.(λ.(1 M)) M0 M1 M2) M3 M4) M5 C = (λ.(1 M)) M0 K = (arg M1) (bind M3) (bind M5) (arg M2) (arg M4) 72

73 CK+ Machine: Example (λ.(λ.(λ.(1 M)) M0 M1 M2) M3 M4) M5 C = (λ.(1 M)) K = (arg M0) (arg M1) (arg M2) (bind M3) (arg M4) (bind M5) 73

74 CK+ Machine: Example (λ.(λ.(λ.(1 M)) M0 M1 M2) M3 M4) M5 C = (1 M) K = (bind M0) (arg M1) (arg M2) (bind M3) (arg M4) (bind M5) 74

75 CK+ Machine: Example (λ.(λ.(λ.(1 M)) M0 M1 M2) M3 M4) M5 C = 1 K = (arg M) (bind M0) (bind M3) (bind M5) (arg M1) (arg M4) (arg M2) 75

76 CK+ Machine: Example (λ.(λ.(λ.(1 M)) M0 M1 M2) M3 M4) M5 C = 1 K = (arg M) (bind M0) (bind M3) (bind M5) (arg M1) (arg M2) 0 (arg M4)

77 CK+ Machine: Example (λ.(λ.(λ.(1 M)) M0 M1 M2) M3 M4) M5 C = 1 K = (arg M) (bind M0) (bind M3) (bind M5) (arg M1) (arg M2) 0 (arg M4)

78 CK+ Machine: Example (λ.(λ.(λ.(1 M)) M0 M1 M2) M3 M4) M5 C = 1 K = (arg M) (bind M0) (bind M3) (bind M5) (arg M1) (arg M2) 0 (arg M4) 1 2 Direct index instead of search 78

79 Stack Compaction 79

80 Stack Compaction ((λx.m) N) M where x FV(M) 80

81 Stack Compaction ((λx.m) N) M where x FV(M) (λ.(λ.(λ.(1 M)) M0 M1 M2) M3 M4) M5 where No variables reference M0 or M5 81

82 Stack Compaction ((λx.m) N) M where x FV(M) (λ.(λ.(λ.(1 M)) M0 M1 M2) M3 M4) M5 where No variables reference M0 or M5 C = 1 K = (arg M) (bind M0) (bind M3) (bind M5) (arg M1) (arg M4) (arg M2) 82

83 Stack Compaction ((λx.m) N) M where x FV(M) (λ.(λ.(λ.(1 M)) M0 M1 M2) M3 M4) M5 where No variables reference M0 or M5 C = 1 K = (arg M) (bind M0) (bind M3) (bind M5) (arg M1) (arg M4) (arg M2) 83

84 Stack Compaction ((λx.m) N) M where x FV(M) (λ.(λ.(λ.(1 M)) M0 M1 M2) M3 M4) M5 where No variables reference M0 or M5 C = 1 K = (arg M) (arg M1) (arg M2) (bind M3) (arg M4) (bind M5) 84

85 Stack Compaction ((λx.m) N) M where x FV(M) (λ.(λ.(λ.(1 M)) M0 M1 M2) M3 M4) M5 where No variables reference M0 or M5 C = 1 K = (arg M) (arg M1) (arg M2) (bind M3) (arg M4) (bind M5) 85

86 Stack Compaction ((λx.m) N) M where x FV(M) (λ.(λ.(λ.(1 M)) M0 M1 M2) M3 M4) M5 where No variables reference M0 or M5 C = 1 K = (arg M) (arg M1) (arg M2) (bind M3) (arg M4) (bind M5) 86

87 Stack Compaction ((λx.m) N) M where x FV(M) (λ.(λ.(λ.(1 M)) M0 M1 M2) M3 M4) M5 where No variables reference M0 or M5 C = 1 K = (arg M) (arg M1) (arg M2) (bind M3) (arg M4) 87

88 Thanks! 88

INFO TAXI REMOTE. Taxi Management CONTROL SYSTEM (TMCS)

INFO TAXI REMOTE. Taxi Management CONTROL SYSTEM (TMCS) INFO TAXI REMOTE Taxi Management CONTROL SYSTEM (TMCS) November 2015 taxi remote taxi remote I Taxi Management Control System registreres taxier med en transponderbrikke festet til frontruten. Brikken

Detaljer

Oppgave 1a Definer følgende begreper: Nøkkel, supernøkkel og funksjonell avhengighet.

Oppgave 1a Definer følgende begreper: Nøkkel, supernøkkel og funksjonell avhengighet. TDT445 Øving 4 Oppgave a Definer følgende begreper: Nøkkel, supernøkkel og funksjonell avhengighet. Nøkkel: Supernøkkel: Funksjonell avhengighet: Data i en database som kan unikt identifisere (et sett

Detaljer

Administrasjon av postnummersystemet i Norge Post code administration in Norway. Frode Wold, Norway Post Nordic Address Forum, Iceland 5-6.

Administrasjon av postnummersystemet i Norge Post code administration in Norway. Frode Wold, Norway Post Nordic Address Forum, Iceland 5-6. Administrasjon av postnummersystemet i Norge Frode Wold, Norway Post Nordic Address Forum, Iceland 5-6. may 2015 Postnumrene i Norge ble opprettet 18.3.1968 The postal codes in Norway was established in

Detaljer

Public roadmap for information management, governance and exchange. 2015-09-15 SINTEF david.norheim@brreg.no

Public roadmap for information management, governance and exchange. 2015-09-15 SINTEF david.norheim@brreg.no Public roadmap for information management, governance and exchange 2015-09-15 SINTEF david.norheim@brreg.no Skate Skate (governance and coordination of services in egovernment) is a strategic cooperation

Detaljer

ATO program for Renewal of IR, Class or Type-rating

ATO program for Renewal of IR, Class or Type-rating May be used by the ATO in order to establish an individual training program for renewal of IR, Class or Type-rating in accordance with FCL.625 IR(c)(d) / AMC1 FCL.625(c) and FCL.740(b)(1)(2) / AMC1 FCL.740(b)(1)

Detaljer

UNIVERSITETET I OSLO ØKONOMISK INSTITUTT

UNIVERSITETET I OSLO ØKONOMISK INSTITUTT UNIVERSITETET I OSLO ØKONOMISK INSTITUTT Bokmål Eksamen i: ECON1210 Forbruker, bedrift og marked Exam: ECON1210 Consumer Behaviour, Firm behaviour and Markets Eksamensdag: 12.12.2014 Sensur kunngjøres:

Detaljer

BRUKTE MASKINER OG REDSKAP FREDAG 8. MAI 2015 KL.

BRUKTE MASKINER OG REDSKAP FREDAG 8. MAI 2015 KL. auksjon BRUKTE MASKINER OG REDSKAP FREDAG 8. MAI 2015 KL. 16:00-18:00 Hos: Mellomåsveien 1 1414 Trollåsen AUKSJON 8. MAI 2015 Modell: Lundberg 345T#4343 År/Timestand: 2000 / 6300 t Trima-HK, skuffe, mek.gaffelløft,

Detaljer

Baltic Sea Region CCS Forum. Nordic energy cooperation perspectives

Baltic Sea Region CCS Forum. Nordic energy cooperation perspectives Norsk mal: Startside Baltic Sea Region CCS Forum. Nordic energy cooperation perspectives Johan Vetlesen. Senior Energy Committe of the Nordic Council of Ministers 22-23. april 2015 Nordic Council of Ministers.

Detaljer

Appendix 1: All 26 cases with statistics

Appendix 1: All 26 cases with statistics Appendix 1: All 26 cases with statistics *Cases with significant differences between the two groups. The participants were given 6 treatment options to each case to choose from in the questionnaire: 1)

Detaljer

The internet of Health

The internet of Health The internet of Health! Biler, helse og fremtiden!! Velkon 2014, 22. October 2014 Nard Schreurs, IKT-Norge Få ut begrepet «pasient» av tanker om helse. Aldring 1980-2010 Menn 72 år til 79 år Kvinner 79

Detaljer

Utstyr for avstandsmåling. Dommersamling 14. mars 2015 Stein Jodal

Utstyr for avstandsmåling. Dommersamling 14. mars 2015 Stein Jodal Utstyr for avstandsmåling Dommersamling 14. mars 2015 Stein Jodal Dommersamlingen 2012 Regulert i R 14-3 Kunstige hjelpemidler, uvanlig utstyr og uvanlig bruk av utstyr Anmerkning: Komiteen kan lage en

Detaljer

Trådløsnett med. Wireless network. MacOSX 10.5 Leopard. with MacOSX 10.5 Leopard

Trådløsnett med. Wireless network. MacOSX 10.5 Leopard. with MacOSX 10.5 Leopard Trådløsnett med MacOSX 10.5 Leopard Wireless network with MacOSX 10.5 Leopard April 2010 Slå på Airport ved å velge symbolet for trådløst nettverk øverst til høyre på skjermen. Hvis symbolet mangler må

Detaljer

Søker du ikke om nytt frikort, vil du bli trukket 15 prosent av din pensjonsutbetaling fra og med januar 2014.

Søker du ikke om nytt frikort, vil du bli trukket 15 prosent av din pensjonsutbetaling fra og med januar 2014. Skatteetaten Saksbehandler Deres dato Vår dato 31.10.2013 Telefon Deres referanse Vår referanse For information in English see page 3 Skattekort for 2014 Du fikk helt eller delvis skattefritak ved likningen

Detaljer

a) What brand identity element are they using in their logo (e.g. abstract mark or word mark)?

a) What brand identity element are they using in their logo (e.g. abstract mark or word mark)? Læringsaktivitet forstå idealer Visit a well- known retail outlet, like an Apple, Nike, Levi, H&M or Ikea store. (The brand must be well- known and you must visit a shop where their products are being

Detaljer

stjerneponcho for voksne star poncho for grown ups

stjerneponcho for voksne star poncho for grown ups stjerneponcho for voksne star poncho for grown ups www.pickles.no / shop.pickles.no NORSK Størrelser XS (S) M (L) Garn Pickles Pure Alpaca 300 (350) 400 (400) g hovedfarge 100 (100) 150 (150) g hver av

Detaljer

Simulert tilbakekalling av makrell - produkter kjøpt i Japan

Simulert tilbakekalling av makrell - produkter kjøpt i Japan Food Marketing Research & Information Center MainSafeTraceJapan Simulert tilbakekalling av makrell - produkter kjøpt i Japan Kathryn Anne-Marie Donnelly (Nofima), Jun Sakai, Yuka Fukasawa, Mariko Shiga

Detaljer

SERVICE BULLETINE 2008-4

SERVICE BULLETINE 2008-4 S e r v i c e b u l l e t i n e M a t e r i e l l Materiellsjef F/NLF kommuniserer påminnelse omkring forhold som ansees som vesentlige for å orientere om viktige materiellforhold. Målgruppen for Servicbulletinen

Detaljer

Hvordan 3 konsulenter tester et konserndatavarehus

Hvordan 3 konsulenter tester et konserndatavarehus Hvordan 3 konsulenter tester et konserndatavarehus DNB sine testutfordringer Tidligere leveranser har blitt utsatt på grunn av dårlig testing Representanter fra forretning er negative til å akseptanseteste

Detaljer

KROPPEN LEDER STRØM. Sett en finger på hvert av kontaktpunktene på modellen. Da får du et lydsignal.

KROPPEN LEDER STRØM. Sett en finger på hvert av kontaktpunktene på modellen. Da får du et lydsignal. KROPPEN LEDER STRØM Sett en finger på hvert av kontaktpunktene på modellen. Da får du et lydsignal. Hva forteller dette signalet? Gå flere sammen. Ta hverandre i hendene, og la de to ytterste personene

Detaljer

5 grunner til at Blockchain teknologien kan revolusjonere finansnæringen

5 grunner til at Blockchain teknologien kan revolusjonere finansnæringen 5 grunner til at Blockchain teknologien kan revolusjonere finansnæringen Lasse Meholm Chief Expert in Nordea Project manager for IT Strategy and Maturity Group IT / Infrastructure &Operation Hestene var

Detaljer

of color printers at university); helps in learning GIS.

of color printers at university); helps in learning GIS. Making a Home Page Why a Web Page? Easier to submit labs electronically (lack of color printers at university); Easier to grade many labs; Provides additional computer experience that helps in learning

Detaljer

// Translation // KLART SVAR «Free-Range Employees»

// Translation // KLART SVAR «Free-Range Employees» // Translation // KLART SVAR «Free-Range Employees» Klart Svar is a nationwide multiple telecom store, known as a supplier of mobile phones and wireless office solutions. The challenge was to make use

Detaljer

L esson Learned Bransjesamarbeid for bedre læring fra uønskede hendelser. 30. 31. mai 2011, Clarion Airport Hotel Sola. Chul Aamodt, Mintra AS

L esson Learned Bransjesamarbeid for bedre læring fra uønskede hendelser. 30. 31. mai 2011, Clarion Airport Hotel Sola. Chul Aamodt, Mintra AS L esson Learned Bransjesamarbeid for bedre læring fra uønskede hendelser 30. 31. mai 2011, Clarion Airport Hotel Sola Chul Aamodt, Mintra AS Lesson Learned Bedre læring fra uønskede hendelser Lesson Learned

Detaljer

Norsk (English below): Guide til anbefalt måte å printe gjennom plotter (Akropolis)

Norsk (English below): Guide til anbefalt måte å printe gjennom plotter (Akropolis) Norsk (English below): Guide til anbefalt måte å printe gjennom plotter (Akropolis) 1. Gå til print i dokumentet deres (Det anbefales å bruke InDesign til forberedning for print) 2. Velg deretter print

Detaljer

UNIVERSITETET I OSLO

UNIVERSITETET I OSLO UNIVERSITETET I OSLO Side Det matematisk-naturvitenskapelige fakultet Eksamen i: INF3280 Utvikling av IT-kompetanse i organisasjoner Eksamensdag: 2 juni 203 kl 09:00 Tid for eksamen: 4 timer Oppgavesettet

Detaljer

Innovasjonsvennlig anskaffelse

Innovasjonsvennlig anskaffelse UNIVERSITETET I BERGEN Universitetet i Bergen Innovasjonsvennlig anskaffelse Fredrikstad, 20 april 2016 Kjetil Skog 1 Universitetet i Bergen 2 Universitetet i Bergen Driftsinntekter på 4 milliarder kr

Detaljer

AMS-case forts. Eksemplifisering av modellbasert. tilnærming til design av brukergrensesnitt

AMS-case forts. Eksemplifisering av modellbasert. tilnærming til design av brukergrensesnitt AMS-case forts. Eksemplifisering av modellbasert tilnærming til design av brukergrensesnitt Objekt-interaktor med valg Relatert objekt velges ofte blant mange kandidater Output av kandidat-sett Input av

Detaljer

GYRO MED SYKKELHJUL. Forsøk å tippe og vri på hjulet. Hva kjenner du? Hvorfor oppfører hjulet seg slik, og hva er egentlig en gyro?

GYRO MED SYKKELHJUL. Forsøk å tippe og vri på hjulet. Hva kjenner du? Hvorfor oppfører hjulet seg slik, og hva er egentlig en gyro? GYRO MED SYKKELHJUL Hold i håndtaket på hjulet. Sett fart på hjulet og hold det opp. Det er lettest om du sjølv holder i håndtakene og får en venn til å snurre hjulet rundt. Forsøk å tippe og vri på hjulet.

Detaljer

Microsoft Dynamics C5 Version 2008 Oversigt over Microsoft Reporting Services rapporter

Microsoft Dynamics C5 Version 2008 Oversigt over Microsoft Reporting Services rapporter Reporting Services - oversigt Microsoft Dynamics C5 Version 2008 Oversigt over Microsoft Reporting Services rapporter Summary Efterfølgende vises en oversigt over de rapporter som er indeholdt i Microsoft

Detaljer

EMS 1. Music Streamer. Owner's Manual

EMS 1. Music Streamer. Owner's Manual EMS 1 Music Streamer Owner's Manual EN N 2 ENG About the EMS 1 Electrocompaniet Music Streamer This unit is designed to work with the Electrocompaniet PD 1 DAC only. A radio link is established between

Detaljer

BIBSYS Brukermøte 2011 Live Rasmussen og Andreas Christensen. Alt på et brett? -om pensum på ipad og lesebrett

BIBSYS Brukermøte 2011 Live Rasmussen og Andreas Christensen. Alt på et brett? -om pensum på ipad og lesebrett BIBSYS Brukermøte 2011 Live Rasmussen og Andreas Christensen Alt på et brett? -om pensum på ipad og lesebrett Prosjektet epensum på lesebrett Vi ønsker å: Studere bruk av digitalt pensum i studiesituasjonen.

Detaljer

Jeg vil bare danse Tekst / Mel.: Tor- Jørgen Ellingsen

Jeg vil bare danse Tekst / Mel.: Tor- Jørgen Ellingsen 1. vers Når jeg hører musikk, Kan jeg ikke sitte stille Når jeg hører det groover, B yner beina å gå Jeg får ikke ro, Selv om jeg gjerne ville Jeg vil bare danse, Det er noe jeg må Jeg vil bare danse Tekst

Detaljer

Object interaction. Innhold. Abstraksjon 03.09.2007. Grunnleggende programmering i Java Monica Strand 3. september 2007.

Object interaction. Innhold. Abstraksjon 03.09.2007. Grunnleggende programmering i Java Monica Strand 3. september 2007. Object interaction Grunnleggende programmering i Java Monica Strand 3. september 2007 1 Innhold Til nå: Hva objekter er og hvordan de implementeres I klassedefinisjonene: klassevariable (fields), konstruktører

Detaljer

User manual English Svenska Norsk

User manual English Svenska Norsk User manual English Svenska Norsk Copyright This manual is the copyright of CI no 556520-4137. No part of this manual may be revised, copied or transmitted in any way without written permission from CI

Detaljer

Kjersti Oterhals. Hjerteavdelingen, Haukeland Universitetssykehus, Bergen,

Kjersti Oterhals. Hjerteavdelingen, Haukeland Universitetssykehus, Bergen, Kjersti Oterhals Hjerteavdelingen, Haukeland Universitetssykehus, Bergen, UNITE Research Group; Christi Deaton, Sabina De Geest, Tiny Jaarsma, Mattie Lenzen, Philip Moons, Jan Mårtensson, Karen Smith,

Detaljer

The building blocks of a biogas strategy

The building blocks of a biogas strategy The building blocks of a biogas strategy Presentation of the report «Background report for a biogas strategy» («Underlagsmateriale til tverrsektoriell biogass-strategi») Christine Maass, Norwegian Environment

Detaljer

Kundetilfredshetsundersøkelse FHI/SMAP

Kundetilfredshetsundersøkelse FHI/SMAP Kundetilfredshetsundersøkelse FHI/SMAP Sluttrapport pr. 20. April 2010 Alle 9 kunder av FHI s produksjonsavdeling for biofarmasøytiske produkter (SMAP) i perioden 2008-2009 mottok i januar 2010 vårt spørreskjema

Detaljer

1 User guide for the uioletter package

1 User guide for the uioletter package 1 User guide for the uioletter package The uioletter is used almost like the standard LATEX document classes. The main differences are: The letter is placed in a \begin{letter}... \end{letter} environment;

Detaljer

Bytte til split Collin Lanyard RSL. Obligatorisk - alle rigger skal ha dette montert ved hopping etter 01.01.2015.

Bytte til split Collin Lanyard RSL. Obligatorisk - alle rigger skal ha dette montert ved hopping etter 01.01.2015. S e r v i c e o r d r e M a t e r i e l l Materiellsjef F/NLF kommuniserer pålegg omkring forhold som ansees som vesentlige for å oppnå de målsettinger som er satt for materiellarbeidet via denne Service

Detaljer

klassisk angoragenser classic angora sweater

klassisk angoragenser classic angora sweater klassisk angoragenser classic angora sweater www.pickles.no / shop.pickles.no NORSK Størrelser XS (S) M (L) XL (XXL) Garn Pickles Angora 150 (175) 200 (225) 250 (275) g Pinner 80 og 40 cm rundpinne og

Detaljer

Gode indikasjoner (appropriateness criteria) for operasjon av degenerativ spondylolistese

Gode indikasjoner (appropriateness criteria) for operasjon av degenerativ spondylolistese 1 Gode indikasjoner (appropriateness criteria) for operasjon av degenerativ spondylolistese Konsensus fra en tverrfaglig internasjonal studie basert på gjennomgang av 744 fiktive pasientkasuistikker Jens

Detaljer

Norwegian KOOS, version LK1.0

Norwegian KOOS, version LK1.0 Nasjonalt Register for Leddproteser The Norwegian Arthroplasty Register,c. Bergen 15 May 2007 Norwegian KOOS, version LK1.0 The KOOS form was translated into Norwegian in the following way. Translation

Detaljer

En praktisk anvendelse av ITIL rammeverket

En praktisk anvendelse av ITIL rammeverket NIRF 17. april 2012 En praktisk anvendelse av ITIL rammeverket Haakon Faanes, CIA,CISA, CISM Internrevisjonen NAV NAVs ITIL-tilnærming - SMILI NAV, 18.04.2012 Side 2 Styring av tjenestenivå Prosessen omfatter

Detaljer

Time & Attendance Timeregistrering. End User Sluttbruker

Time & Attendance Timeregistrering. End User Sluttbruker Time & Attendance Timeregistrering End User Sluttbruker Introduction Introduksjon This presentation is a step by step walkthrough of the time registration process in our HR system. The information is presented

Detaljer

LISTE OVER TILLATTE HJELPEMIDLER EKSAMEN I NOVEMBER OG DESEMBER 2014

LISTE OVER TILLATTE HJELPEMIDLER EKSAMEN I NOVEMBER OG DESEMBER 2014 1 LISTE OVER TILLATTE HJELPEMIDLER EKSAMEN I NOVEMBER OG DESEMBER 2014 REGLEMENT FOR BRUK AV KALKULATOR OG ORDBOK SE SISTE SIDE 1. STUDIEÅR (ØKAD/REV): Finansregnskap m/ikt (ØABED1000) Markedsføring og

Detaljer

May legally defined terms be useful for improved interoperability in the public sector?

May legally defined terms be useful for improved interoperability in the public sector? May legally defined terms be useful for improved interoperability in the public sector? Prof. Dag Wiese Schartum, Norwegian Research Center for Computers and Law, University of Oslo How may terms be legally

Detaljer

Endringer i neste revisjon av EHF / Changes in the next revision of EHF 1. October 2015

Endringer i neste revisjon av EHF / Changes in the next revision of EHF 1. October 2015 Endringer i neste revisjon av / Changes in the next revision of 1. October 2015 INFORMASJON PÅ NORSK 2 INTRODUKSJON 2 ENDRINGER FOR KATALOG 1.0.3 OG PAKKSEDDEL 1.0.2 3 ENDRINGER FOR ORDRE 1.0.3 4 ENDRINGER

Detaljer

Reliable RT processing @ Spotify

Reliable RT processing @ Spotify Reliable RT processing @ Spotify Pablo Barrera February 5, 2014 Spotify 3 Spotify the right music for every moment over 6 million paying customers over 24 million active users each

Detaljer

Du vil trenge: Umbraco Nøkkel (Inkludert); Skiftnøkkel/Fastnøkkel sett (For styrestem bolten og de 4 styreboltene),pumpe

Du vil trenge: Umbraco Nøkkel (Inkludert); Skiftnøkkel/Fastnøkkel sett (For styrestem bolten og de 4 styreboltene),pumpe Pawtrekker DOG SCOOTERS / SPARKSYKKEL Monteringsanvisning Du vil trenge: Umbraco Nøkkel (Inkludert); Skiftnøkkel/Fastnøkkel sett (For styrestem bolten og de 4 styreboltene),pumpe Vi anbefaler å montere

Detaljer

Internasjonale studenter en ressurs for Norge?

Internasjonale studenter en ressurs for Norge? Internasjonale studenter en ressurs for Norge? Rekruttering for fremtiden Ole Petter Ottersen, rektor UiO, styreleder Universitets- og høgskolerådet (UHR) uhr@uhr.no www.uhr.no A CASE The Nordic countries

Detaljer

Eiendomsverdi. The housing market Update September 2013

Eiendomsverdi. The housing market Update September 2013 Eiendomsverdi The housing market Update September 2013 Executive summary September is usually a weak month but this was the weakest since 2008. Prices fell by 1.4 percent Volumes were slightly lower than

Detaljer

Trådløst nett UiT Feilsøking. Wireless network UiT Problem solving

Trådløst nett UiT Feilsøking. Wireless network UiT Problem solving Trådløst nett UiT Feilsøking Wireless network UiT Problem solving April 2015 Hvorfor får jeg ikke koblet meg opp mot trådløst nettverk med Windows 7? Why can t I connect to the wireless network with Windows

Detaljer

Økologisk og kulturell dannelse i økonomiutdanningen

Økologisk og kulturell dannelse i økonomiutdanningen Økologisk og kulturell dannelse i økonomiutdanningen Dannelse på norsk fra ord til handling Professor Ove Jakobsen HHB/UiN Frihet med ansvar Om høyere utdanning og forskning i Norge NOU 2000:14 Det er

Detaljer

BYGG BROER IKKE MURER

BYGG BROER IKKE MURER BYGG BROER IKKE MURER HBV og Dzemal Bijedic University of Mostar s internasjonale sommerskole i Mostar, Bosnia & Hercegovina Ved Lars Petter Soltvedt, PhD Høgskolen i Buskerud og Vestfold Synspunkter

Detaljer

From a table based Feature Catalogue to GML Application schemas

From a table based Feature Catalogue to GML Application schemas From a table based Feature Catalogue to GML Application schemas 05/ 09/ 2015 EuroSDR Data modelling workshop, Copenhagen 28.-30.1.2015 Knut Jetlund Norwegian Public Roads Administration knut.jetlund@vegvesen.no

Detaljer

SAS FANS NYTT & NYTTIG FRA VERKTØYKASSA TIL SAS 4. MARS 2014, MIKKEL SØRHEIM

SAS FANS NYTT & NYTTIG FRA VERKTØYKASSA TIL SAS 4. MARS 2014, MIKKEL SØRHEIM SAS FANS NYTT & NYTTIG FRA VERKTØYKASSA TIL SAS 4. MARS 2014, MIKKEL SØRHEIM 2 TEMA 1 MULTIPROSESSERING MED DATASTEGET Multiprosessering har lenge vært et tema i SAS Stadig ny funksjonalitet er med på

Detaljer

Aggregering av risikoanalyser med hensyn til etterlevelse

Aggregering av risikoanalyser med hensyn til etterlevelse Aggregering av risikoanalyser med hensyn til etterlevelse Atle Refsdal Atle.Refsdal@sintef.no 1 Oversikt Problemstilling Eksempler og kravtyper Målsetting og utfordringer Skisse til metode 2 Problemstilling

Detaljer

Institutt for biovitenskap

Institutt for biovitenskap Institutt for biovitenskap Oppslag for alle avtrekksskap: Alle avtrekksskap skal ha forklaring på alarmsystem på det enkelte skap. Dette varier fra skap til skap. e.g. på IBV finnes det minst 3 ulike typer.

Detaljer

Tilkobling og Triggere

Tilkobling og Triggere Tilkobling og Triggere Lars Vidar Magnusson October 12, 2011 Lars Vidar Magnusson () Forelesning i DAS 11.10.2011 October 12, 2011 1 / 25 Tilkobling med PHP PHP bruker databasespesifike moduler til å koble

Detaljer

SeaWalk No 1 i Skjolden

SeaWalk No 1 i Skjolden SeaWalk No 1 i Skjolden August 2011 Luster Kommune Marked I løpet av de neste 10 år er verdens cruisemarked ventet å doble seg. Veksten forventes større i Europa enn i Kariben og USA. Markedet vil lete

Detaljer

Tjenestekjøp i offentlig sektor

Tjenestekjøp i offentlig sektor Virke, rundebordskonferanse, 5. februar 2013: Tjenestekjøp i offentlig sektor Hvor godt er lederskapet knyttet til disse kontraktsrelasjonene? Roar Jakobsen (roar.jakobs@gmail.com) Noen forskningsresultater

Detaljer

Replacing the batteries

Replacing the batteries ASSEMBLY INSTRUCTION Replacing the batteries EN NO 9010189A 5.2.14 9010189 Replacing the batteries Preparation Switch off the wheelchair via the remote control. Remove the fuses from the battery compartment

Detaljer

Newtons fargeskive. Regnbuens farger blir til hvitt. Sett skiva i rask rotasjon ved hjelp av sveiva.

Newtons fargeskive. Regnbuens farger blir til hvitt. Sett skiva i rask rotasjon ved hjelp av sveiva. Newtons fargeskive Regnbuens farger blir til hvitt. Sett skiva i rask rotasjon ved hjelp av sveiva. Se hva som skjer med fargene. Hvitt lys består av en blanding av alle farger. Når fargeskiva roterer

Detaljer

Eiendomsskatt. Hvem har risikoen og hvordan bør det håndteres? Bjørn Olav Johansen og T horvald Nyquist, 3. mars 2016. 2016 Deloitte Advokatfirma AS

Eiendomsskatt. Hvem har risikoen og hvordan bør det håndteres? Bjørn Olav Johansen og T horvald Nyquist, 3. mars 2016. 2016 Deloitte Advokatfirma AS Eiendomsskatt Hvem har risikoen og hvordan bør det håndteres? Bjørn Olav Johansen og T horvald Nyquist, 3. mars 2016 1 2016 Deloitte Advokatfirma AS Agenda 1. Eiendomsskatt kort innføring 2. Noen typetilfeller

Detaljer

Søker du ikke om nytt frikort/skattekort, vil du bli trukket 15 prosent av utbetalingen av pensjon eller uføreytelse fra og med januar 2016.

Søker du ikke om nytt frikort/skattekort, vil du bli trukket 15 prosent av utbetalingen av pensjon eller uføreytelse fra og med januar 2016. Skatteetaten Saksbehandler Deres dato Vår dato 26.10.2016 Telefon Deres Vår referanse For information in English see page 3 Skattekort for 2016 Du fikk helt eller delvis skattefritak ved likningen for

Detaljer

Nye krav i ISO 9001, hvilke er de og hvordan implementere disse i TQM? Ragna Karoline Aasen

Nye krav i ISO 9001, hvilke er de og hvordan implementere disse i TQM? Ragna Karoline Aasen Nye krav i ISO 9001, hvilke er de og hvordan implementere disse i TQM? Ragna Karoline Aasen IMPLEMENTERINGSPLAN September 2015 ISO 9001:2015 publiseres Høst 2015 Akkreditering av sertifiseringsorganene

Detaljer

Forelesning III Kap 8 & 7; Dagsplan. Gjenbruk. Condition synchronization. Gjennomgående eksempler. Kode: Design: Verktøy

Forelesning III Kap 8 & 7; Dagsplan. Gjenbruk. Condition synchronization. Gjennomgående eksempler. Kode: Design: Verktøy Forelesning III Kap 8 & 7; Dagsplan Moral: Gjenbruk Kap 8: Shared variable-based synchronization and communication Condition synchronization Mutual Exclution Conditional Critical Regions Suspend & Resume

Detaljer

Lederskap og Tillitskultur - hvorfor de beste lykkes

Lederskap og Tillitskultur - hvorfor de beste lykkes Lederskap og Tillitskultur - hvorfor de beste lykkes Tron Kleivane Great Place to Work 28 oktober 2015 1 We would rather be ruined than changed, We would rather die in our dread Than climb the cross of

Detaljer

Manuelle kontra automatiske bomstasjoner. (trafikksikkerhet, økonomi, etc)

Manuelle kontra automatiske bomstasjoner. (trafikksikkerhet, økonomi, etc) Manuelle kontra automatiske bomstasjoner (trafikksikkerhet, økonomi, etc) Innlegg ved Kristian Wærsted, Seksjon for trafikkforvaltning, Vegdirektoratet Bompengekonferansen i Trondheim 2010 Disposisjon

Detaljer

Innføring i MI 21.okt 2014

Innføring i MI 21.okt 2014 Innføring i MI 21.okt 2014 Lærings- og mestringssenteret SI 2 Hva er MI? Bevisstgjøring av kommunikasjonsferdigheter generelt, i tillegg få verktøy til å styrke seg selv og bli bevisst på egne valg og

Detaljer

Språkleker og bokstavinnlæring

Språkleker og bokstavinnlæring FORSLAG OG IDEER TIL Språkleker og bokstavinnlæring POCOS hjelper barnet med språkutvikling og begrepsforståelse og er også nyttig til trening av øye-hånd-koordinasjon, fokus og konsentrasjon. POCOS fremmer

Detaljer

Høy fleksibilitet i økonomien. Steinar Juel CME 4. februar 2015

Høy fleksibilitet i økonomien. Steinar Juel CME 4. februar 2015 Høy fleksibilitet i økonomien Steinar Juel CME 4. februar 2015 Finanspolitikkens ekspansivt var ikke overraskelsen Sentralbanksjefens årstale i 2002: Handlingsregelen tilsier at oljepengebruken over statsbudsjettet

Detaljer

Når beste praksis rammeverk bidrar til bedre governance. Ingar Brauti, RC Fornebu Consulting AS

Når beste praksis rammeverk bidrar til bedre governance. Ingar Brauti, RC Fornebu Consulting AS Når beste praksis rammeverk bidrar til bedre governance Ingar Brauti, RC Fornebu Consulting AS :. er når man har en tilpasset egen bruk Et riktig modenhetsnivå! IT Governance Institute's definisjon er:

Detaljer

(MVC - Model, View, Control)

(MVC - Model, View, Control) INF1010 - våren 2008 Modell - Utsyn - Kontroll (MVC - Model, View, Control) Stein Gjessing Inst. for informatikk Et bankprogram Vi skal lage et program som håndterer kontoene i en bank. En konto eies av

Detaljer

Cylindrical roller bearings

Cylindrical roller bearings Cylindrical roller bearings Cylindrical roller bearings 292 Definition and capabilities 292 Series 292 Variants 293 Tolerances and clearances 294 Design criteria 296 Installation/assembly criteria 297

Detaljer

Standarder for Asset management ISO 55000/55001/55002

Standarder for Asset management ISO 55000/55001/55002 Standarder for Asset management ISO 55000/55001/55002 bjorn.fredrik.kristiansen@multiconsult.no 1 Multiconsults kjernevirksomhet er rådgivning og prosjektering Multiconsult skal være multifaglige tilby

Detaljer

VEIEN TIL ROM: HVORDAN JEG BLE KATOLIKK (NORWEGIAN EDITION)

VEIEN TIL ROM: HVORDAN JEG BLE KATOLIKK (NORWEGIAN EDITION) VEIEN TIL ROM: HVORDAN JEG BLE KATOLIKK (NORWEGIAN EDITION) (first published 1999) Synopsis: Download A Veien Til Rom: Hvordan Jeg Ble Katolikk (Norwegian Edition) PDF ebook by Kjell Arild Pollestad Veien

Detaljer

Challenges in organic black currant production. v/sigrid Mogan

Challenges in organic black currant production. v/sigrid Mogan Challenges in organic black currant production v/sigrid Mogan 1 Organic Ribes production Worked with different projects since 1998 Main subjects plant protection 1 Area organic fruit and berries Norway

Detaljer

Forbruk & Finansiering

Forbruk & Finansiering Sida 1 Forbruk & Finansiering Analyser og kommentarer fra Forbrukerøkonom Randi Marjamaa basert på en undersøkelse gjennomført av TEMO/MMI for Nordea RESULTATER FRA NORGE OG NORDEN Nordea 2006-02-28 Sida

Detaljer

Neste generasjon ISO standarder ISO 9001 og ISO 14001. Hva betyr det for din bedrift? DNV GL Business Assurance Norway AS SAFER, SMARTER, GREENER

Neste generasjon ISO standarder ISO 9001 og ISO 14001. Hva betyr det for din bedrift? DNV GL Business Assurance Norway AS SAFER, SMARTER, GREENER Neste generasjon ISO standarder ISO 9001 og ISO 14001 Hva betyr det for din bedrift? DNV GL Business Assurance Norway AS 1 SAFER, SMARTER, GREENER Et nytt perspektiv For å sikre at kvalitetsstyring blir

Detaljer

Det biologiske prinsipp

Det biologiske prinsipp Folkehelse Folkehelse er samfunnets helse Helse i alt vi gjør Health care is vital to all of us some of the time, but public health is vital to all of us all of the time Det biologiske prinsipp Vår hjerne

Detaljer

04.11.2014. Ph.d-utdanningen. Harmonisering av krav i Norden

04.11.2014. Ph.d-utdanningen. Harmonisering av krav i Norden Ph.d-utdanningen Harmonisering av krav i Norden 2 1 Nasjonalt forskningsdekanmøte i Tromsø, oktober 2014 Nordic Medical Research Councils (NOS-M), november 2014 Prodekanmøte våren 2015 Dekanmøte våren

Detaljer

EKSAMEN I FAG TDT4180 MMI Mandag 18. mai 2009 Tid: kl. 0900-1300

EKSAMEN I FAG TDT4180 MMI Mandag 18. mai 2009 Tid: kl. 0900-1300 NORGES TEKNISK-NATURVITENSKAPELIGE UNIVERSITET INSTITUTT FOR DATATEKNIKK OG INFORMASJONSVITENSKAP Faglig kontakt under eksamen: Dag Svanæs, Tlf: 73 59 18 42 EKSAMEN I FAG TDT4180 MMI Mandag 18. mai 2009

Detaljer

Sitronelement. Materiell: Sitroner Galvaniserte spiker Blank kobbertråd. Press inn i sitronen en galvanisert spiker og en kobbertråd.

Sitronelement. Materiell: Sitroner Galvaniserte spiker Blank kobbertråd. Press inn i sitronen en galvanisert spiker og en kobbertråd. Materiell: Sitronelement Sitroner Galvaniserte spiker Blank kobbertråd Press inn i sitronen en galvanisert spiker og en kobbertråd. Nå har du laget et av elementene i et elektrisk batteri! Teori om elektriske

Detaljer

Petroleumsundersøkelsen om skiftarbeid, søvn og helse (PUSSH)

Petroleumsundersøkelsen om skiftarbeid, søvn og helse (PUSSH) Petroleumsundersøkelsen om skiftarbeid, søvn og helse (PUSSH) Pål Molander Direktør, Prof. Dr. www.pussh.org Agenda Litt om bakgrunnen og bakteppet for prosjektet Hvem er det som har besluttet at det foreligger

Detaljer

LUFTDYKTIGHETSP ABUD

LUFTDYKTIGHETSP ABUD MERK! For at angjeldende flymateriell skal være luftdyktig må påbudet være utført til rett tid og notat om utførelsen ført inn i vedkommende iournal med henvisniniz til denne LDPs nummer. Luftartstilsynet

Detaljer

Juridiske aspekter ved publisering i åpne institusjonelle arkiv

Juridiske aspekter ved publisering i åpne institusjonelle arkiv Juridiske aspekter ved publisering i åpne institusjonelle arkiv Professor dr juris Olav Torvund Publisering i åpne institusjonelle arkiv Førstegangspublisering Masteroppgaver Doktoravhandlinger (?) Grålitteratur

Detaljer

Forebygging av stikkskader og ny forskrift. Dorthea Hagen Oma Smittevernoverlege Helse Bergen

Forebygging av stikkskader og ny forskrift. Dorthea Hagen Oma Smittevernoverlege Helse Bergen Forebygging av stikkskader og ny forskrift Dorthea Hagen Oma Smittevernoverlege Helse Bergen The EU Sharps Directive blei vedtatt i mai 2010 direktivet er juridisk bindande også i Noreg gjennom EØS-avtalen

Detaljer

Kost-nytte innen sikkerhet: Hva er prisen, hva er verdien, og hvordan prioritere blant tiltak?

Kost-nytte innen sikkerhet: Hva er prisen, hva er verdien, og hvordan prioritere blant tiltak? Kost-nytte innen sikkerhet: Hva er prisen, hva er verdien, og hvordan prioritere blant tiltak? Aida Omerovic Seminar om kost-nytte analyse i en risikoevaluering 18. Feb. 2015 SINTEF Technology for a better

Detaljer

LOGO. For the 25th anniversary, the Oslo City logo has been modernized. The campaign logo was: We celebrate...you!

LOGO. For the 25th anniversary, the Oslo City logo has been modernized. The campaign logo was: We celebrate...you! ADVERTISING CONTENT Logo 3 Graphic profile 4 Chocolate 5 Balloons 6 Gift cards 7 Luxury paper bags 8 Prints 9 Rollup/Banners 10 Advertising 11 Visual merchandising 12-13 Door decor 14 VIP Lounge 15 Cheque

Detaljer

ISO 9001:2015 Endringer i ledelsesstandarder

ISO 9001:2015 Endringer i ledelsesstandarder ISO 9001:2015 Endringer i ledelsesstandarder 210 kollegaer Oslo (HK) Bergen / Ågotnes Stavanger Haugesund Trondheim Göteborg VÅRE VERDIER HENSIKT MED STANDARD REVISJONER

Detaljer

Tilpasning av Windows 2000 server til Skolelinux tynnklienttjener

Tilpasning av Windows 2000 server til Skolelinux tynnklienttjener Tilpasning av Windows 2000 server til Skolelinux tynnklienttjener Bernt Johnsen, Ski videregående skole Ragnar Wisløff, LinuxLabs AS November 2004 Innholdsliste Innledning...2 Ansvarsfraskrivelse...2 Endringer

Detaljer

NNMPF-NYTT 2005: 2. Nordisk nettverk for musikkpedagogisk forskning, 17.juni 2005

NNMPF-NYTT 2005: 2. Nordisk nettverk for musikkpedagogisk forskning, 17.juni 2005 NNMPF-NYTT 2005: 2 Nordisk nettverk for musikkpedagogisk forskning, 17.juni 2005 Kjære nettverkskolleger. Her kommer invitasjonen til konferansen i København 2006. (English version, see below). Velkommen

Detaljer

SQL 3: Opprette tabeller, datainnsetting og utsnitt

SQL 3: Opprette tabeller, datainnsetting og utsnitt SQL 3: Opprette tabeller, datainnsetting og utsnitt Læreboka kap. 4 03.11.2008 Kjell Toft Hansen 1 Datainnsetting Legg til en ny leverandor i tabellen leverandor INSERT INTO leverandor (lev_nr, lev_navn,

Detaljer

(12) Translation of european patent specification

(12) Translation of european patent specification (12) Translation of european patent specification (11) NO/EP 873 B1 (19) NO NORWAY (1) Int Cl. A61G 13/02 (06.01) A61G 13/08 (06.01) Norwegian Industrial Property Office (21) Translation Published..12

Detaljer

UNIVERSITETET I OSLO ØKONOMISK INSTITUTT

UNIVERSITETET I OSLO ØKONOMISK INSTITUTT UNIVERSITETET I OSLO ØKONOMISK INSTITUTT Eksamen i: ECON1410 - Internasjonal økonomi Exam: ECON1410 - International economics Eksamensdag: 24.05.2013 Sensur kunngjøres: 13.06.2012 Date of exam: 24.05.2013

Detaljer

Forebyggende behandling

Forebyggende behandling Forebyggende behandling Odd Mørkve Senter for internasjonal helse Universitetet i Bergen Landskonferanse om tuberkulose 24. mars 2011 Latent tuberkulose (LTBI) Hva er LTBI? Hva er gevinsten ved å behandle

Detaljer

Salting of dry-cured ham

Salting of dry-cured ham Salting of dry-cured ham Controlled by CT scanning Torunn Thauland Håseth Skjervold-symposium 2005 Hamar, June 3rd. - en del av Matalliansen NLH - Matforsk - Akvaforsk To give you a different aspect of

Detaljer

kjell-aksel og iselin-genser kjell-aksel and iselin sweaters

kjell-aksel og iselin-genser kjell-aksel and iselin sweaters kjell-aksel og iselin-genser kjell-aksel and iselin sweaters www.pickles.no / shop.pickles.no NORSK Størrelser 1 (2) 3-4 (5-6) 7-8 år Garn Pickles Tweedy Hovedfarge Iselin: 200 (200) 300 (300) 300 g Hovedfarge

Detaljer

Rammebetingelser - regelverk for mattrygghet

Rammebetingelser - regelverk for mattrygghet Rammebetingelser - regelverk for mattrygghet Maring fagdag Gardermoen 29.11.2012 Gunn Harriet Knutsen rådgiver helse og kvalitet Aktuelle saker Marine omega -3 oljer til humant konsum Nye helsepåstander

Detaljer