Evaluating Call-by-need on the Control Stack

Save this PDF as:
 WORD  PNG  TXT  JPG

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

INF2810: Funksjonell Programmering. En metasirkulær evaluator, del 2

INF2810: Funksjonell Programmering. En metasirkulær evaluator, del 2 INF2810: Funksjonell Programmering En metasirkulær evaluator, del 2 Stephan Oepen & Erik Velldal Universitetet i Oslo 03. mai 2013 Tema 2 Forrige uke SICP 4.1. Structure and interpretation of computer

Detaljer

INF2810: Funksjonell Programmering. En metasirkulær evaluator, del 2

INF2810: Funksjonell Programmering. En metasirkulær evaluator, del 2 INF2810: Funksjonell Programmering En metasirkulær evaluator, del 2 Stephan Oepen & Erik Velldal Universitetet i Oslo 03. mai 2013 Tema 2 Forrige uke SICP 4.1. Structure and interpretation of computer

Detaljer

INF2810: Funksjonell Programmering. En Scheme-evaluator i Scheme, del 2

INF2810: Funksjonell Programmering. En Scheme-evaluator i Scheme, del 2 INF2810: Funksjonell programmering INF2810: Funksjonell Programmering En Scheme-evaluator i Scheme, del 2 Erik Velldal Universitetet i Oslo 7. mai 2015 Tema Forrige uke SICP 4.1. Structure and interpretation

Detaljer

INF2810: Funksjonell Programmering. En Scheme-evaluator i Scheme, del 2

INF2810: Funksjonell Programmering. En Scheme-evaluator i Scheme, del 2 INF2810: Funksjonell Programmering En Scheme-evaluator i Scheme, del 2 Erik Velldal Universitetet i Oslo 4. mai 2017 Tema 2 Forrige uke SICP 4.1. Structure and interpretation of computer programs Metacircular

Detaljer

INF2810: Funksjonell Programmering. En Scheme-evaluator i Scheme, del 2

INF2810: Funksjonell Programmering. En Scheme-evaluator i Scheme, del 2 INF2810: Funksjonell Programmering En Scheme-evaluator i Scheme, del 2 Erik Velldal Universitetet i Oslo 4. mai 2017 Tema 2 Forrige uke SICP 4.1. Structure and interpretation of computer programs Metacircular

Detaljer

Du må håndtere disse hendelsene ved å implementere funksjonene init(), changeh(), changev() og escape(), som beskrevet nedenfor.

Du må håndtere disse hendelsene ved å implementere funksjonene init(), changeh(), changev() og escape(), som beskrevet nedenfor. 6-13 July 2013 Brisbane, Australia Norwegian 1.0 Brisbane har blitt tatt over av store, muterte wombater, og du må lede folket i sikkerhet. Veiene i Brisbane danner et stort rutenett. Det finnes R horisontale

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

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

Information search for the research protocol in IIC/IID

Information search for the research protocol in IIC/IID Information search for the research protocol in IIC/IID 1 Medical Library, 2013 Library services for students working with the research protocol and thesis (hovedoppgaven) Open library courses: http://www.ntnu.no/ub/fagside/medisin/medbiblkurs

Detaljer

EMPIC MEDICAL. Etterutdanningskurs flyleger 21. april Lars (Lasse) Holm Prosjektleder Telefon: E-post:

EMPIC MEDICAL. Etterutdanningskurs flyleger 21. april Lars (Lasse) Holm Prosjektleder Telefon: E-post: EMPIC MEDICAL Etterutdanningskurs flyleger 21. april 2017 Lars (Lasse) Holm Prosjektleder Telefon: +47 976 90 799 E-post: Lrh@caa.no it-vakt@caa.no Luftfartstilsynet T: +47 75 58 50 00 F: +47 75 58 50

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

Hvordan føre reiseregninger i Unit4 Business World Forfatter:

Hvordan føre reiseregninger i Unit4 Business World Forfatter: Hvordan føre reiseregninger i Unit4 Business World Forfatter: dag.syversen@unit4.com Denne e-guiden beskriver hvordan du registrerer en reiseregning med ulike typer utlegg. 1. Introduksjon 2. Åpne vinduet

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

UNIVERSITETET I OSLO

UNIVERSITETET I OSLO UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i INF 3230 Formell modellering og analyse av kommuniserende systemer Eksamensdag: 4. juni 2010 Tid for eksamen: 9.00 12.00 Oppgavesettet

Detaljer

Medisinsk statistikk, KLH3004 Dmf, NTNU 2009. Styrke- og utvalgsberegning

Medisinsk statistikk, KLH3004 Dmf, NTNU 2009. Styrke- og utvalgsberegning Styrke- og utvalgsberegning Geir Jacobsen, ISM Sample size and Power calculations The essential question in any trial/analysis: How many patients/persons/observations do I need? Sample size (an example)

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

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

UNIVERSITETET I OSLO

UNIVERSITETET I OSLO UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i INF 3230 Formell modellering og analyse av kommuniserende systemer Eksamensdag: 4. april 2008 Tid for eksamen: 9.00 12.00 Oppgavesettet

Detaljer

UNIVERSITETET I OSLO ØKONOMISK INSTITUTT

UNIVERSITETET I OSLO ØKONOMISK INSTITUTT UNIVERSITETET I OSLO ØKONOMISK INSTITUTT Eksamen i: ECON3120/4120 Mathematics 2: Calculus an linear algebra Exam: ECON3120/4120 Mathematics 2: Calculus an linear algebra Eksamensag: Tirsag 3. juni 2008

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

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

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

IN 211 Programmeringsspråk. Dokumentasjon. Hvorfor skrive dokumentasjon? For hvem? «Lesbar programmering» Ark 1 av 11

IN 211 Programmeringsspråk. Dokumentasjon. Hvorfor skrive dokumentasjon? For hvem? «Lesbar programmering» Ark 1 av 11 Dokumentasjon Hvorfor skrive dokumentasjon? For hvem? «Lesbar programmering» Ark 1 av 11 Forelesning 8.11.1999 Dokumentasjon Med hvert skikkelig program bør det komme følgende dokumentasjon: innføring

Detaljer

Dialogkveld 03. mars 2016. Mobbing i barnehagen

Dialogkveld 03. mars 2016. Mobbing i barnehagen Dialogkveld 03. mars 2016 Mobbing i barnehagen Discussion evening March 3rd 2016 Bullying at kindergarten Mobbing i barnehagen Kan vi si at det eksisterer mobbing i barnehagen? Er barnehagebarn i stand

Detaljer

UNIVERSITY OF OSLO DEPARTMENT OF ECONOMICS

UNIVERSITY OF OSLO DEPARTMENT OF ECONOMICS UNIVERSITY OF OSLO DEPARTMENT OF ECONOMICS Postponed exam: ECON420 Mathematics 2: Calculus and linear algebra Date of exam: Tuesday, June 8, 203 Time for exam: 09:00 a.m. 2:00 noon The problem set covers

Detaljer

STØTTEMATERIALE TIL FORELESNINGENE OM SKATT

STØTTEMATERIALE TIL FORELESNINGENE OM SKATT STØTTEMATERIALE TIL FORELESNINGENE OM SKATT ECON3610, H2017 Kristoffer Midttømme Eksempler på skattevridninger: Den britiske vindusskatten Fordeling av antall vinduer (1) Oates, Wallace E., and Robert

Detaljer

0:7 0:2 0:1 0:3 0:5 0:2 0:1 0:4 0:5 P = 0:56 0:28 0:16 0:38 0:39 0:23

0:7 0:2 0:1 0:3 0:5 0:2 0:1 0:4 0:5 P = 0:56 0:28 0:16 0:38 0:39 0:23 UTKAST ENGLISH VERSION EKSAMEN I: MOT100A STOKASTISKE PROSESSER VARIGHET: 4 TIMER DATO: 16. februar 2006 TILLATTE HJELPEMIDLER: Kalkulator; Tabeller og formler i statistikk (Tapir forlag): Rottman: Matematisk

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

UNIVERSITETET I OSLO

UNIVERSITETET I OSLO UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i MAT2400 Analyse 1. Eksamensdag: Onsdag 15. juni 2011. Tid for eksamen: 09.00 13.00 Oppgavesettet er på 6 sider. Vedlegg: Tillatte

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

melting ECMI Modelling week 2008 Modelling and simulation of ice/snow melting Sabrina Wandl - University of Linz Tuomo Mäki-Marttunen - Tampere UT

melting ECMI Modelling week 2008 Modelling and simulation of ice/snow melting Sabrina Wandl - University of Linz Tuomo Mäki-Marttunen - Tampere UT and and ECMI week 2008 Outline and Problem Description find model for processes consideration of effects caused by presence of salt point and numerical solution and and heat equations liquid phase: T L

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

UNIVERSITETET I OSLO ØKONOMISK INSTITUTT

UNIVERSITETET I OSLO ØKONOMISK INSTITUTT UNIVERSITETET I OSLO ØKONOMISK INSTITUTT Eksamen i: ECON20/420 Matematikk 2: Matematisk analyse og lineær algebra Exam: ECON20/420 Mathematics 2: Calculus and Linear Algebra Eksamensdag: Fredag 2. mai

Detaljer

ST8V-EM 20 W/ mm

ST8V-EM 20 W/ mm ST8V-EM 20 W/865 1500 mm SubstiTUBE Value Economic LED tubes for electromagnetic control gears Bruksområder _ Generell belysning i omgivelsestemperaturer fra 20 +45 C _ Korridorer, trappeganger, parkeringshus

Detaljer

ST8A-EM 14 W/ mm

ST8A-EM 14 W/ mm ST8A-EM 14 W/840 1200 mm SubstiTUBE Advanced High performance LED tubes for electromagnetic control gears Bruksområder _ Generell belysning i omgivelsestemperaturer fra 20 +50 C _ Belysning av produksjonsområder

Detaljer

Gol Statlige Mottak. Modul 7. Ekteskapsloven

Gol Statlige Mottak. Modul 7. Ekteskapsloven Gol Statlige Mottak Modul 7 Ekteskapsloven Paragraphs in Norwegian marriage law 1.Kjønn To personer av motsatt eller samme kjønn kan inngå ekteskap. Two persons of opposite or same sex can marry 1 a. Ekteskapsalder.

Detaljer

Elektronisk termostat med spareprogram. Lysende LCD display øverst på ovnen for enkel betjening.

Elektronisk termostat med spareprogram. Lysende LCD display øverst på ovnen for enkel betjening. Elektronisk termostat med spareprogram. Lysende LCD display øverst på ovnen for enkel betjening. 27.5 LCD Electronic thermostat with program setting. Bright LCD display placed at the top of the heater

Detaljer

1. Explain the language model, what are the weaknesses and strengths of this model?

1. Explain the language model, what are the weaknesses and strengths of this model? Øving 2 Task 1 Language Model 1. Explain the language model, what are the weaknesses and strengths of this model? En language model er en model som brukes til å forenkle spørringer etter ord i dokumenter.

Detaljer

Safety a t t h e f A c t o r y

Safety a t t h e f A c t o r y Safety a t t h e f A c t o r y Sikkerhet på fabrikken Safety at the factory NÅ har du god tid til å lese denne brosjyren! I en krisesituasjon har du ikke like god tid You have plenty of time to read this

Detaljer

Appendiks A Kontinuasjoner

Appendiks A Kontinuasjoner Appendiks A Kontinuasjoner Fra R5RS: "Whenever a Scheme expression is evaluated there is a continuation wanting the result of the expression." Eller med andre ord: En kontinuasjon i et program under utførelse

Detaljer

TEKSTER PH.D.-KANDIDATER FREMDRIFTSRAPPORTERING

TEKSTER PH.D.-KANDIDATER FREMDRIFTSRAPPORTERING TEKSTER PH.D.-KANDIDATER FREMDRIFTSRAPPORTERING DISTRIBUSJONS-E-POST TIL ALLE KANDIDATER: (Fornavn, etternavn) Den årlige fremdriftsrapporteringen er et viktig tiltak som gjør instituttene og fakultetene

Detaljer

RE ( ) Tidsrelé plugg multi V

RE ( ) Tidsrelé plugg multi V Produktdatablad Karakteristikk RE88867305 (41 726 84) Tidsrelé plugg multi 24-240V Alternativer Elektrisk tilkobling Kontaktmateriale [In] merkestrøm [Us] matespenning Voltage range Kapslingsmateriale

Detaljer

Emnedesign for læring: Et systemperspektiv

Emnedesign for læring: Et systemperspektiv 1 Emnedesign for læring: Et systemperspektiv v. professor, dr. philos. Vidar Gynnild Om du ønsker, kan du sette inn navn, tittel på foredraget, o.l. her. 2 In its briefest form, the paradigm that has governed

Detaljer

Prolog syntaks (utdrag) Prolog litt repetisjon. Fjerne elementer i lister unngå falske løsninger. Syntaks for termer

Prolog syntaks (utdrag) Prolog litt repetisjon. Fjerne elementer i lister unngå falske løsninger. Syntaks for termer Prolog litt repetisjon IN211-kompeksekvikkeimp-1 Prolog syntaks (utdrag) jfr.:http://www.sics.se/sicstus/docs/3.7.1/html/sicstus_45.html#sec367 Prolog-regel: head :- body. Prolog-faktum: En Prolog-regel

Detaljer

Hvor mye praktisk kunnskap har du tilegnet deg på dette emnet? (1 = ingen, 5 = mye)

Hvor mye praktisk kunnskap har du tilegnet deg på dette emnet? (1 = ingen, 5 = mye) INF283 Er du? Er du? - Annet PhD Hvor mye teoretisk kunnskap har du tilegnet deg på dette emnet? (1 = ingen, 5 = mye) Hvor mye praktisk kunnskap har du tilegnet deg på dette emnet? (1 = ingen, 5 = mye)

Detaljer

Mathematics 114Q Integration Practice Problems SOLUTIONS. = 1 8 (x2 +5x) 8 + C. [u = x 2 +5x] = 1 11 (3 x)11 + C. [u =3 x] = 2 (7x + 9)3/2

Mathematics 114Q Integration Practice Problems SOLUTIONS. = 1 8 (x2 +5x) 8 + C. [u = x 2 +5x] = 1 11 (3 x)11 + C. [u =3 x] = 2 (7x + 9)3/2 Mathematics 4Q Name: SOLUTIONS. (x + 5)(x +5x) 7 8 (x +5x) 8 + C [u x +5x]. (3 x) (3 x) + C [u 3 x] 3. 7x +9 (7x + 9)3/ [u 7x + 9] 4. x 3 ( + x 4 ) /3 3 8 ( + x4 ) /3 + C [u + x 4 ] 5. e 5x+ 5 e5x+ + C

Detaljer

Flowcharts and State-Machines. IEC Ladder Logic Statement Lists Function Block Diagrams. G. Hovland /10

Flowcharts and State-Machines. IEC Ladder Logic Statement Lists Function Block Diagrams. G. Hovland /10 MAS113 Digital Control Day 2 Flowcharts and State-Machines MAS1 1 3 Dig it al Con t rol, Sem est er 1, 2 0 0 9. Pag e: 1 IEC 61131-3 Ladder Logic Statement Lists Function Block Diagrams G. Hovland - 2009/10

Detaljer

TEKSTER PH.D.-KANDIDATER FREMDRIFTSRAPPORTERING

TEKSTER PH.D.-KANDIDATER FREMDRIFTSRAPPORTERING E-postmaler til bruk ved utsendelse av fremdriftsrapportering ph.d.- kandidater og veiledere TEKSTER PH.D.-KANDIDATER FREMDRIFTSRAPPORTERING DISTRIBUSJONS-E-POST TIL ALLE KANDIDATER: Kjære

Detaljer

80. Lincoln to Parklands

80. Lincoln to Parklands 80. Lincoln to Parklands Valid from 8 December 2014 Bus route: LincoIn University X Lincoln Township Prebbleton Westfield Riccarton X Christchurch Hospital X Central Station X Eastgate Shopping Centre

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

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

4/2 enkel pipelining in 147, våren 1997 pipelining 1. Pipelining. når tema læreboka. 11/3 problemer

4/2 enkel pipelining in 147, våren 1997 pipelining 1. Pipelining. når tema læreboka. 11/3 problemer Pipelining når tema læreboka 4/2 enkel pipelining 6. 6.3 /3 problemer 6.4 6.7 in 47, våren 997 pipelining Time 6 P 7 8 9 2 2 A Task order A B C D Time 6 P 7 8 9 2 2 A Task order A B C D in 47, våren 997

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

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

Numerical Simulation of Shock Waves and Nonlinear PDE

Numerical Simulation of Shock Waves and Nonlinear PDE Numerical Simulation of Shock Waves and Nonlinear PDE Kenneth H. Karlsen (CMA) Partial differential equations A partial differential equation (PDE for short) is an equation involving functions and their

Detaljer

INF2810: Funksjonell Programmering. Kommentarer til prøveeksamen

INF2810: Funksjonell Programmering. Kommentarer til prøveeksamen INF2810: Funksjonell programmering INF2810: Funksjonell Programmering Kommentarer til prøveeksamen Erik Velldal Universitetet i Oslo 1: Grunnleggende (6 poeng)? (define foo '(a b))? (define bar foo)? (set!

Detaljer

SubstiTUBE T5 High Output

SubstiTUBE T5 High Output SubstiTUBE T5 High Output LED rør til elektronisk høyfrekvens forkoblingsutstyr Bruksområder _ Belysning av produksjonsområder _ Supermarkeder og varemagasiner _ Offentlige bygninger, resepsjonsområder,

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

Tips for bruk av BVAS og VDI i oppfølging av pasienter med vaskulitt. Wenche Koldingsnes

Tips for bruk av BVAS og VDI i oppfølging av pasienter med vaskulitt. Wenche Koldingsnes Tips for bruk av BVAS og VDI i oppfølging av pasienter med vaskulitt Wenche Koldingsnes Skåring av sykdomsaktivitet og skade I oppfølging av pasienter med vaskulitt er vurdering og konklusjon vedr. sykdomsaktivitet

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

Second Order ODE's (2P) Young Won Lim 7/1/14

Second Order ODE's (2P) Young Won Lim 7/1/14 Second Order ODE's (2P) Copyright (c) 2011-2014 Young W. Lim. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or

Detaljer

Syntax/semantics - I INF 3110/ /29/2005 1

Syntax/semantics - I INF 3110/ /29/2005 1 Syntax/semantics - I Program program execution Compiling/interpretation Syntax Classes of langauges Regular langauges Context-free langauges Scanning/Parsing Meta models INF 3/4-25 8/29/25 Program

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

INF Logikk og analysemetoder Forslag til løsning på oppgave fra læreboken

INF Logikk og analysemetoder Forslag til løsning på oppgave fra læreboken INF4170 - Logikk og analysemetoder Forslag til løsning på oppgave 3.2.1 fra læreboken Joakim Hjertås, joakimh@ifi.uio.no 7. mars 2004 Sammendrag Disse sidene kommer med forslag til løsning på oppgave 3.2.1

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

Assignment. Consequences. assignment 2. Consequences fabulous fantasy. Kunnskapsløftets Mål Eleven skal kunne

Assignment. Consequences. assignment 2. Consequences fabulous fantasy. Kunnskapsløftets Mål Eleven skal kunne Consequences Kunnskapsløftets Mål Eleven skal kunne KRL Filosofi og etikk reflektere over filosofiske temaer knyttet til identitet og livstolkning, natur og kultur, liv og død, rett og galt. gjøre rede

Detaljer

Ole Isak Eira Masters student Arctic agriculture and environmental management. University of Tromsø Sami University College

Ole Isak Eira Masters student Arctic agriculture and environmental management. University of Tromsø Sami University College The behavior of the reindeer herd - the role of the males Ole Isak Eira Masters student Arctic agriculture and environmental management University of Tromsø Sami University College Masters student at Department

Detaljer

Capturing the value of new technology How technology Qualification supports innovation

Capturing the value of new technology How technology Qualification supports innovation Capturing the value of new technology How technology Qualification supports innovation Avanserte Marine Operasjoner - Fra operasjon til skip og utstyr Dag McGeorge Ålesund, 1 Contents Introduction - Cheaper,

Detaljer

Hvor langt avbrudd kan man ha fra (DOT-)behandling?

Hvor langt avbrudd kan man ha fra (DOT-)behandling? Hvor langt avbrudd kan man ha fra (DOT-)behandling? Odd Mørkve Senter for internasjonal Helse Universitetet i Bergen Landskonferanse om tuberkulose, Oslo 25.03.2011 Eller: hva gjør man ved avbrudd av tuberkulosebehandling?

Detaljer

Den som gjør godt, er av Gud (Multilingual Edition)

Den som gjør godt, er av Gud (Multilingual Edition) Den som gjør godt, er av Gud (Multilingual Edition) Arne Jordly Click here if your download doesn"t start automatically Den som gjør godt, er av Gud (Multilingual Edition) Arne Jordly Den som gjør godt,

Detaljer

Listed in ascended order by Sanden Number

Listed in ascended order by Sanden Number 4486 03-0427 7H15HD WH SPC L Spc l Pad DIR LNG 119 PV8 12V 2FRD Spline 4487 03-3733 02-3482 7H15SHD GK HORIZ H-PAD EAR 133 PV8 24V 2CAT KEY 4488 03-0603 02-1604 03-6533A 7H15HD JDA VERT 3/4x7/8 EAR 132

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

Skjema for spørsmål og svar angående: Skuddbeskyttende skjold Saksnr TED: 2014/S

Skjema for spørsmål og svar angående: Skuddbeskyttende skjold Saksnr TED: 2014/S Skjema for spørsmål og svar angående: Skuddbeskyttende skjold Saksnr. 201300129 TED: 2014/S 017-026835 Nr Dokument Referanse Svar 1 Kvalifikasjonsgrunnlag Er det mulig å få tilsendt Nei 27.01.2014 27.01.2014

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

BYFE/EMFE 1000, 2012/2013. Numerikkoppgaver uke 33

BYFE/EMFE 1000, 2012/2013. Numerikkoppgaver uke 33 BYFE/EMFE 1000, 2012/2013 Numerikkoppgaver uke 33 Oppgave 2 Litt aritmetikk a) Her har vi skrevet ut det som kommer opp i Octave-vinduet når vi utfører operasjonene. octave-3.2.4.exe:9> 2+2 4 octave-3.2.4.exe:10>

Detaljer

OOSU 22.sept Pattern har sin opprinnelse innen arkitektur (byplanlegging / bygninger)

OOSU 22.sept Pattern har sin opprinnelse innen arkitektur (byplanlegging / bygninger) OOSU 22.sept 2010 PATTERNS (mønstre) Hva er et Pattern opprinnelsen Mal for en Patternbeskrivelse Hva er et Pattern Language? Ulike typer Pattern vi anvender innen systemutvikling Dagens Pensum : (kursorisk

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

Generalization of age-structured models in theory and practice

Generalization of age-structured models in theory and practice Generalization of age-structured models in theory and practice Stein Ivar Steinshamn, stein.steinshamn@snf.no 25.10.11 www.snf.no Outline How age-structured models can be generalized. What this generalization

Detaljer

Prosjektet Digital kontaktinformasjon og fullmakter for virksomheter Digital contact information and mandates for entities

Prosjektet Digital kontaktinformasjon og fullmakter for virksomheter Digital contact information and mandates for entities Prosjektet Digital kontaktinformasjon og fullmakter for virksomheter Digital contact information and mandates for entities Nordisk Adressemøte / Nordic Address Forum, Stockholm 9-10 May 2017 Elin Strandheim,

Detaljer

Vedlegg 2 Dokumentasjon fra TVM leverandør

Vedlegg 2 Dokumentasjon fra TVM leverandør (Step 7) Payment selection or date modification state This screen is displayed after validation of a date in the calendar screen. The customer can: - Modify again the date by pressing the Validity begin:

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

Requirements regarding Safety, Health and the Working Environment (SHWE), and pay and working conditions

Requirements regarding Safety, Health and the Working Environment (SHWE), and pay and working conditions Requirements regarding Safety, Health and the Working Environment (SHWE), and pay and working conditions Vigdis Bjørlo 2016-02-05 Suppliers' obligations in relation to the Construction Client Regulations

Detaljer

UNIVERSITETET I OSLO ØKONOMISK INSTITUTT

UNIVERSITETET I OSLO ØKONOMISK INSTITUTT UNIVERSITETET I OSLO ØKONOMISK INSTITUTT Eksamen i: ECON320/420 Matematikk 2: Matematisk analyse og lineær algebra Exam: ECON320/420 Mathematics 2: Calculus and Linear Algebra Eksamensdag: Tirsdag 7. juni

Detaljer

Internationalization in Praxis INTERPRAX

Internationalization in Praxis INTERPRAX Internationalization in Praxis The way forward internationalization (vt) : to make international; also: to place under international control praxis (n) : action, practice: as exercise or practice of an

Detaljer

Han Ola of Han Per: A Norwegian-American Comic Strip/En Norsk-amerikansk tegneserie (Skrifter. Serie B, LXIX)

Han Ola of Han Per: A Norwegian-American Comic Strip/En Norsk-amerikansk tegneserie (Skrifter. Serie B, LXIX) Han Ola of Han Per: A Norwegian-American Comic Strip/En Norsk-amerikansk tegneserie (Skrifter. Serie B, LXIX) Peter J. Rosendahl Click here if your download doesn"t start automatically Han Ola of Han Per:

Detaljer

Oversikt over SMS kommandoer for Holars 2020G

Oversikt over SMS kommandoer for Holars 2020G Oversikt over SMS kommandoer for Holars 2020G Det er to ulike menyer for å programmere / styre sentralen. 1. Bruker SMS Her kan brukeren styre alarmen Av/På samt styre utgangsmoduler og Waveman moduler.

Detaljer

NORSI Kappe workshop - introduction

NORSI Kappe workshop - introduction NORSI Kappe workshop - introduction Aim of workshop Main aim: Kick-starting the work of the dissertation «kappe» Other aims: Learn from each other Test a modell for an intensive workshop Discussion feedback

Detaljer

Improving Customer Relationships

Improving Customer Relationships Plain Language Association International s 11 th conference Improving Customer Relationships September 21-23, 2017 University of Graz, Austria hosted by Klarsprache.at Copyright of this presentation belongs

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

first year charts Preview Only Legal Use Requires Purchase Take the A Train for jazz ensemble JAZZ BILLY STRAYHORN Arranged by VINCE GASSI

first year charts Preview Only Legal Use Requires Purchase Take the A Train for jazz ensemble JAZZ BILLY STRAYHORN Arranged by VINCE GASSI first year charts for jazz ensemble a division of Alfred JAZZ Take the A Train BILLY STRAYHORN Arranged by VINCE GASSI INSTRUMENTATION Conductor 1st Eb Alto Saxophone 2nd Eb Alto Saxophone 1st Bb Tenor

Detaljer

Forelesning ISA: IJVM Kap 4.2

Forelesning ISA: IJVM Kap 4.2 TDT4160 Datamaskiner Grunnkurs Forelesning 27.10 ISA: IJVM Kap 4.2 Dagens tema Repetisjon: ISA vs. mikroarkitektur ISA: IJVM (4.2) Lagring av lokale variable Minnemodell Instruksjonssett Metodekall Kompilering

Detaljer

case forts. Alternativ 1 Alternativer Sammensetning Objekt-interaktor med valg

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

Detaljer

Hvor mye teoretisk kunnskap har du tilegnet deg på dette emnet? (1 = ingen, 5 = mye)

Hvor mye teoretisk kunnskap har du tilegnet deg på dette emnet? (1 = ingen, 5 = mye) INF283, HØST 16 Er du? Er du? - Annet Hvor mye teoretisk kunnskap har du tilegnet deg på dette emnet? (1 = ingen, 5 = mye) Hvor mye praktisk kunnskap har du tilegnet deg på dette emnet? (1 = ingen, 5 =

Detaljer

Universitetet i Bergen Det matematisk-naturvitenskapelige fakultet Eksamen i emnet Mat131 - Differensiallikningar I Onsdag 25. mai 2016, kl.

Universitetet i Bergen Det matematisk-naturvitenskapelige fakultet Eksamen i emnet Mat131 - Differensiallikningar I Onsdag 25. mai 2016, kl. 1 MAT131 Bokmål Universitetet i Bergen Det matematisk-naturvitenskapelige fakultet Eksamen i emnet Mat131 - Differensiallikningar I Onsdag 25. mai 2016, kl. 09-14 Oppgavesettet er 4 oppgaver fordelt på

Detaljer

Trådløsnett med Windows Vista. Wireless network with Windows Vista

Trådløsnett med Windows Vista. Wireless network with Windows Vista Trådløsnett med Windows Vista Wireless network with Windows Vista Mai 2013 Hvordan koble til trådløst nettverk eduroam med Windows Vista? How to connect to the wireless networkeduroam with Windows Vista?

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

Eksamensoppgave i SANT2100 Etnografisk metode

Eksamensoppgave i SANT2100 Etnografisk metode Sosialantropologisk institutt Eksamensoppgave i SANT2100 Etnografisk metode Faglig kontakt under eksamen: Trond Berge Tlf.: 73598214 Eksamensdato: Mandag 26. mai 2014 Eksamenstid: 4 timer Studiepoeng:

Detaljer

UNIVERSITETET I OSLO ØKONOMISK INSTITUTT

UNIVERSITETET I OSLO ØKONOMISK INSTITUTT UNIVERSITETET I OSLO ØKONOMISK INSTITUTT Eksamen i: ECON30/40 Matematikk : Matematisk analyse og lineær algebra Exam: ECON30/40 Mathematics : Calculus and Linear Algebra Eksamensdag: Tirsdag 0. desember

Detaljer

KAMPANJE APK : APK-8: Bytte bakaksel bolter

KAMPANJE APK : APK-8: Bytte bakaksel bolter KAMPANJE APK-8 20160222: APK-8: Bytte bakaksel bolter Berørte modeller for APK-8: Vitara APK, S-cross AKK, og Swift AZG. Totalt 454 biler på det norske markedet. Liste med chassisnummer legges ikke ved,

Detaljer