The formulas are written in plain text format according to some specificaton, but the students should preferrably use mathematical notation.
|
|
- Johanna Antonsen
- 7 år siden
- Visninger:
Transkript
1 %% COURSE TDT436 Logic and Reasoning systems %% Solution proposals to CONTINUATION EXAM 8.aug %% by T.Amble TASK ( the task is a simple version of an example in a handout The formulas are written in plain text format according to some specificaton, but the students should preferrably use mathematical notation. Task a) There exists a highest price Exists x: Price(X) & All y (Price(y) => G(x,y)) Task b) There exists no highest price - Exists x: Price(X) & All y (Price(y) => G(x,y)) Task c) There exists a highest price and There exists no highest price Exists x: Price(X) & All y (Price(y) => G(x,y)) & - Exists x: Price(X) & All y (Price(y) => G(x,y)) Conversion to Clausal form: First conjunct Eliminate => Skolemize Remove quantifiers Conjunctive Normal form A A2 Price(SK0) - Price(y) G(S0,y)) Second conjunct
2 Eliminate => Reduce scope of negation All x: ( -Price(x) Exists y: (Price(y)& - G(x,y))) Skolemize Remove quantifiers -Price(x) (Price(SK(x))& - G(x,SK(x))) Conjunctive Normal form B -Price(x) Price(SK(x) B2 -Price(x) - G(x,SK(x)) Task d) Resolution Proof : Price(SK(SK0)) (A,B) 2: - G(SK0,SK(SK0)) (A,B2) 3: G(SK0,SK(SK0)) (,A2) 4 [] (2,3) QED TASK 2 There are many ways to formalize it, but all relevant issues must be mentioned. Task 2a) Action repertoire: Open(door) Close(door) GoTo(door) GoThrough(door) DropMail Fluents (Situation independent Predicates) independent Connects(door,room,room2) %% actually situation
3 MailFor(room) Open(door) Closed(door) InRoom(room) AtDoor(Door) EmptyMailbag Task 2b) Actions Preconditions Poss(Action) <= Conditions Poss(Open(door)) <= AtDoor(door)& Closed(door). Poss(Close(door)) <= Open(door)& At(door) & Connects(door,room,room2) & InRoom(room2). Poss(GoTo(door)) <= InRoom(room) & Connects(door,room,room2). Poss(GoThrough(door)) <= InRoom(room) & Connects(door,room,room2) & Open(door). Poss(DropMail) <= MailFor(room),InRoom(room). Task 2c) Effect Axioms Consequence(Action,Situation, Effects) Consequence( Open(door), Open(door) & not Closed(door)). Consequence( Close(door), Closed(door) & - Open(door)) Consequence( GoTo(door), AtDoor(Door)). Consequence( GoThrough(door), InRoom(room2)) <= Connects(door,room,room2). Consequence( GoThrough(door), - AtDoor(Door). Task 2d) Frame axioms (what remains unchanged if true before action) Invariant(Fluent) <= Conditions Invariant(Fluent,Open(door)) <= Fluent \= Closed(door). Invariant(Fluent,Close(door)) <= Fluent \= Open(door). Invariant(Fluent,GoTo(door)). Invariant(Fluent,GoThrough(door)) <=
4 Fluent \= Open(door) & Fluent \= AtDoor &Fluent \= InRoom(room). Invariant(DropMail) <= MailFor(room). /********************************************************************* Implementation of Situation Calculus Planner for Post Distribution Problem in Continuation Exam 2009, TASK 2 To be used together with the program sitcalc.pl (On Repository). The formulation in the program has been slightly simplified relative to the solution proposal. */ consequence(open(door),open(door), atdoor(door)&closed(door)). consequence(closed(door),close(door), open(door)& at(door) & connects(door,_room,room2) & inroom(room2)). consequence(atdoor(door), goto(door), connects(door,room,_room2)& inroom(room)). consequence(inroom(room2),gothrough(door), connects(door,_room,room2)& atdoor(door)&open(door)). consequence(emptymailbag, dropmail, mailfor(room)&inroom(room)). invariant(open(door),action) :- dif(action,close(door)). invariant(closed(door),action) :- dif(action,open(door)). invariant(atdoor(door),action) :- dif(action,gothrough(door)). invariant(emtpymailbag,_action). invariant(mailfor(_room),action) :- dif(action,dropmail). always(connects(door,room,room2)):- connects(door,room,room2). given(inroom(outside)). given(mailfor(r2)). given(closed(e)). given(closed(d)). given(closed(x)). given(closed(d2)). connects(e,outside,west). connects(d,west,r). connects(x,west,east). connects(d2,east,r2). goal(emptymailbag). /*
5 %% Run Example // NB Max number of steps increasde to 0?- run. GIVEN: inroom(outside) mailfor(r2) closed(e) closed(d) closed(x) closed(d2) GOAL: emptymailbag Trying: do(do(do(do(do(do(do(do(do(do( start,goto(e)), open(e)), gothrough(e)), goto(x)), open(x)), gothrough(x)), goto(d2)), open(d2)), gothrough(d2)), dropmail) time(ms) 0 **************************************************/ TASK 3 Task 3a) Principles for analysis of game trees by MiniMax analysis... MiniMax er en metode for å analysere spilltrær for 2 agent full informasjons spill ( som sjakk, bondesjakk og Cocpit, men ikke Bridge). Vi kan kalle spillerne MAX og MIN. Man antar at spillets posisjoner kan evalueres med et tall som uttrykker fordelen for en av spillerne. Man antar også at motspilleren har den samme evalueringen, og at begge spillerne velger den
6 mest optimale ut i fra tilgjengelig informasjon. Nodene evalueres ved framsyn et visst antall trekk, og på dette nivået blir hver node i treet blir evaluert. Deretter beregnes verdien til ikke-terminalnoden rekursivt ved Maximum verdiene til de neste nodene dersom MAX er i trekket Minimum av verdiene for dersom MIN er i trekket. Task 3b) 3b) Starting with the top node, each possible move is depicted down to a maximum depth,or a terminal node (win or lose position). For the nodes at the bottom level, each node is assigned an evalution function value. The valuation function assigns the values from the point of view of one of the players (called Max). The valuation function must give a top value to win position and a bottom value for a losing position, and and a value in between for non-terminal nodes. When that is done, all the values are backed up so that a Max node (Max to move) gets the maximum of its daughter nodes ( Min-nodes), while each Min node gets the minimum value of its daughter nodes (Max nodes). The static value for B om the move could be - (minus) the value if A was in the move. The motivation for this evaluation function is twofold: i) The game is symmetric, same rules for A and B. Positive values for A are negative values for B and vice versa. ii) The estimate f(s) gives the as the number of choices that the mover can do. The more possibilities, the more chance that a good move can be found if the games arrives at that position. Drawing: (sketch in txt format). Backed up values in (). Two double moves gives 5 levels of nodes. Drawn in Prefix indented form here, students can draw a tree (NB The actual game tree is not completed ) A B A B A
7 2 (+) 6 (+) 2 (+) 3 (+) 2 (-) (-) (+) (0) 3 (0) 4 (0) 3c) By alpha beta pruning is meant a method whereby a node is not evaluated further if it can be proved that the node will never influence the choice. This is done by assigning provisional values (alpha values at Max nodes, beta values at Min nodes when the a value is backed up from below. Alpha values can only be bigger, but if a Max node with an alpha value A is below a Min node with a beta value B, and A > B, then B will never choose A anyway, and any further analysis of the subnodes will not change that.
8 Benefits: Reduces the number of node expansion without sacrificing optimality. 3d) 3e) Alpha Beta pruning assumes that the nodes are evaluated depth first according to some ordering. If the ordering happens to be optimal (e.g. best values for Max appears first), then the theoretical gain: is N ** /2 where N is # nodes without A-B. This means that the depth can be doubled. The average gain: N ** 3/4. The actual marking of the Alpha Beta cutoffs may vary according to the sequence of the evaluation of the subnodes). In the game tree above, A2 gets a backup alpha value of by selecting B6 (divides by 2) which makes all node evaluations below B3,B4 and B redundant. TASK 4 Task 4a) Et heuristisk søkeproblem består av - en mengde noder eller tilstander - en startnode - en målnode (evt mål-betingelse) - en etterfølger-relasjon - en kostnadsfunksjon for et trinn c(n,n2) - en heuristikk for estimat fra en node fram til en målnode Målet er å finne den billigste vei fra start til mål. I dette tilfelle en komplikasjon at mål-noden er lik start-noden, så problemet må reformuleres noe for å unngå at problemet formelt er løst allerede ved start. Det er mange gode løsninger på dette problemet, og det er viktig at problemet blir omtalt med forslag til løsning. Vi kan anta at ønsket retning for rundkjøringen er med sola, (som på vanlige baner). En metode er å definere en retning på lovlige avstandsmål slik at
9 avstand aldri får lov å bli målt i retning som gå i gal retning. Det er da forholdsvis enkelt å markere for hvert sted i banen hva som er ulovlig retning. I dette tilfelle er nodene definert ved en posisjon OG en hastighets vektor, altså et 4-tuppel (M,N,VM,VN) dvs søkerommet består av alle slike 4-tupler der M,N er innenfor rammene, ikke X-skravert, og VM,VN >= 0. Start Mål (5,2,0,0) (A) (5,2,0,0) (A) Etterfølger-relasjon er definert i oppgaven. En søking kan realiseres ved best first search (BFS) med seleksjonsfunksjon f'(n) = g'(n) + h'(n) Task 4 b) Admissible heuristikk: Heuristikken h'(n) er et under-estimat av den virkelige kostnad til mål. I så fall vil BFS gi en optimal løsning når den terminerer. Monoton heuristikk: Dersom vi har h'(n) <= h'(n2) + c(n,n2) Ved en monoton heuristikk er vi garantert å ha funnet beste vei første gang vi ekspanderer en node. Dette bidrar til en forenkling og effektivisering av algoritmen. Task 4c) Med triviell heuristikk menes f.eksempel 0. Her er det et viktig poeng å finne en heuristikk i søkegrafen ( av 4- tupler). Forslag med BARE posisjoner og Manhattan heuristikk er misforstått. Vi er optimistiske og ser bort fra sperringene. Minste antall steg fra en node (X,Y,VX,VY) til (Xz,Yz,0,0)
10 kan beregnes utifra avstanden, og en maksimal-hastighet vi kan oppnå før hastigheten går ned til (0,0). Denne kan i dette scenariet trygt settes = 3, m.a.o, uavhengig av DX,DY h'((x,y,dx,dy)) = max (abs((x-xz)/3), abs((y-yz)/3)) Hvis man imidlertid ikke tar hensyn til komplikasjonen i heuristikken så blir det en ekstremt lite effektiv søking. En metode er å omdefinere avstandsmålet, altså måle avstanden i forhold til en linje som består av omkretsen til de indre skraverte feltet. For eksempel kan man beregne korteste avstand til nærmeste hjørne i lovlig retning + summen av avstander til påfølgende hjørner + minsteavstand fra "siste hjørne" til mål. Task 4d) Bidireksjonell søking vil si at vi starter paralell BFS forover fra A, og bakover fra Z. For eksempel kan ekspansjonene foretas annehver gang, og stoppe når en node finnes i begge søkegrafer. Hvis vi antar at søkerommet er en trestruktur med forgreningsfaktor B, er antall gjennomsøkte noder S = O(B ** D) Dersom vi deler søkerommet i 2, vil den felles noden befinne seg tilnærmet midt mellom, dvs vi får to søkerom med halv dybde, altså S2 = 2*O(B ** (D/2)) der S2 << S i det generelle tilfelle. Ulempen er at søkegrafene kan søke forbi hverandre, og dermed mislykkes. Den optimale effektiviseringen nevnt over opptrer bare i tilfelle at søking foregår synkront der ekspansjonen foregår i den grafen der g(n) er minst. Når de møtes vil dybden være tilnærmet D//2. Møtepunktet vil da ligge på en tilnærmet optimal vei. TASK 5 (Students may recognise that the fields of the floor are isomorphic to the state map of Australia (minus Tasmania)) Task 5a) Et CSP problem er defined by a
11 - a set of variables - a set of domains for these variables - a set of constraint relations between the variables In this case, the variables are {WA,NT,SA,Q,NSW,V} and the common domains are {Red,Blue,Green}. A Constraint graph is a structure, where the vertices are the variables, the edges are relations. In this case, the relations are the difference-relation. WA -- NT -- Q \ / \ \ / \ \ / \ SA NSW \ / \ / V Task 5d) Backtracking search for CSP The most basic method is simply to assign domain varibles to possible domain values at a time, test the constraints and backtrack when constraints are violated. A major and necessary improvement is to carefully select the order of the variables to instantiate, and also to carefully select the order of the values to try out. The method of constraint propagation means that each variable is a assigned an apriori set of values, and that each assignment leads to a subsequent elimination of all other assignment that becomes impossible. If it turns out that a variable can have no legal value, then the original assignement must be changed. Local Search for CSP The basic principle is to start with a random initial assignment, all the time keep an overview of the number of constraint violations, and then adjust locally the assignments that makes the biggest reduction in the conflict set.
12 Task 5e) Possibly. Constraint Logic programming could be called another method. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Slope-Intercept Formula
LESSON 7 Slope Intercept Formula LESSON 7 Slope-Intercept Formula Here are two new words that describe lines slope and intercept. The slope is given by m (a mountain has slope and starts with m), and intercept
DetaljerKP: forall(x):( [forall(y): Want(x,y) => Afford(x,y)] => Rich(x) ) forall(x):( not (forall(y): not Want(x,y) or Afford(x,y)) or Rich(x))
%% COURSE TDT4136 Logic and Reasoning systems %% Solution proposals to CONTINUATION EXAM 12.aug. 2010 %% by T.Amble TASK 1 (25%) Task 1a) If a person can "buy anything that he wants", this is equivalent
DetaljerUnit Relational Algebra 1 1. Relational Algebra 1. Unit 3.3
Relational Algebra 1 Unit 3.3 Unit 3.3 - Relational Algebra 1 1 Relational Algebra Relational Algebra is : the formal description of how a relational database operates the mathematics which underpin SQL
DetaljerKONTINUASJONSEKSAMEN I EMNE. TDT4136 Logikk og resonnerende systemer. Lørdag 8. august 2009, kl
Side 1 av 6 KONTINUASJONSEKSAMEN I EMNE TDT4136 Logikk og resonnerende systemer Lørdag 8. august 2009, kl. 09.00 13.00 Oppgaven er utarbeidet av Tore Amble, og kvalitetssikret av Lester Solbakken. Kontaktperson
DetaljerCall function of two parameters
Call function of two parameters APPLYUSER USER x fµ 1 x 2 eµ x 1 x 2 distinct e 1 0 0 v 1 1 1 e 2 1 1 v 2 2 2 2 e x 1 v 1 x 2 v 2 v APPLY f e 1 e 2 0 v 2 0 µ Evaluating function application The math demands
DetaljerGraphs similar to strongly regular graphs
Joint work with Martin Ma aj 5th June 2014 Degree/diameter problem Denition The degree/diameter problem is the problem of nding the largest possible graph with given diameter d and given maximum degree
DetaljerUNIVERSITETET 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
DetaljerFYSMEK1110 Eksamensverksted 23. Mai :15-18:00 Oppgave 1 (maks. 45 minutt)
FYSMEK1110 Eksamensverksted 23. Mai 2018 14:15-18:00 Oppgave 1 (maks. 45 minutt) Page 1 of 9 Svar, eksempler, diskusjon og gode råd fra studenter (30 min) Hva får dere poeng for? Gode råd fra forelesere
DetaljerDatabases 1. Extended Relational Algebra
Databases 1 Extended Relational Algebra Relational Algebra What is an Algebra? Mathematical system consisting of: Operands --- variables or values from which new values can be constructed. Operators ---
DetaljerDynamic Programming Longest Common Subsequence. Class 27
Dynamic Programming Longest Common Subsequence Class 27 Protein a protein is a complex molecule composed of long single-strand chains of amino acid molecules there are 20 amino acids that make up proteins
DetaljerUNIVERSITETET 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
DetaljerLevel Set methods. Sandra Allaart-Bruin. Level Set methods p.1/24
Level Set methods Sandra Allaart-Bruin sbruin@win.tue.nl Level Set methods p.1/24 Overview Introduction Level Set methods p.2/24 Overview Introduction Boundary Value Formulation Level Set methods p.2/24
DetaljerUNIVERSITY 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
DetaljerOppgave 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
DetaljerUNIVERSITETET I OSLO ØKONOMISK INSTITUTT
UNIVERSITETET I OSLO ØKONOMISK INSTITUTT Eksamen i: ECON20 Forbruker, bedrift og marked, høsten 2004 Exam: ECON20 - Consumer behavior, firm behavior and markets, autumn 2004 Eksamensdag: Onsdag 24. november
DetaljerAndrew Gendreau, Olga Rosenbaum, Anthony Taylor, Kenneth Wong, Karl Dusen
Andrew Gendreau, Olga Rosenbaum, Anthony Taylor, Kenneth Wong, Karl Dusen The Process Goal Definition Data Collection Data Preprocessing EDA Choice of Variables Choice of Method(s) Performance Evaluation
DetaljerUNIVERSITETET I OSLO
UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i: KJB 492 Bioinformatikk Eksamensdag: Fredag 14. desember 2001 Tid for eksamen: Kl.: 9.00 13.00 Oppgavesettet er på 7 sider. Vedlegg:
DetaljerTrigonometric Substitution
Trigonometric Substitution Alvin Lin Calculus II: August 06 - December 06 Trigonometric Substitution sin 4 (x) cos (x) dx When you have a product of sin and cos of different powers, you have three different
DetaljerUNIVERSITETET I OSLO ØKONOMISK INSTITUTT
UNIVERSITETET I OSLO ØKONOMISK INSTITUTT Eksamen i: ECON1910 Poverty and distribution in developing countries Exam: ECON1910 Poverty and distribution in developing countries Eksamensdag: 1. juni 2011 Sensur
DetaljerIN2010: Algoritmer og Datastrukturer Series 2
Universitetet i Oslo Institutt for Informatikk S.M. Storleer, S. Kittilsen IN2010: Algoritmer og Datastrukturer Series 2 Tema: Grafteori 1 Publisert: 02. 09. 2019 Utvalgte løsningsforslag Oppgave 1 (Fra
Detaljer0: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
DetaljerMoving Objects. We need to move our objects in 3D space.
Transformations Moving Objects We need to move our objects in 3D space. Moving Objects We need to move our objects in 3D space. An object/model (box, car, building, character,... ) is defined in one position
DetaljerUNIVERSITETET I OSLO ØKONOMISK INSTITUTT
UNIVERSITETET I OSLO ØKONOMISK INSTITUTT Eksamen i: ECON360/460 Samfunnsøkonomisk lønnsomhet og økonomisk politikk Exam: ECON360/460 - Resource allocation and economic policy Eksamensdag: Fredag 2. november
DetaljerSVM and Complementary Slackness
SVM and Complementary Slackness David Rosenberg New York University February 21, 2017 David Rosenberg (New York University) DS-GA 1003 February 21, 2017 1 / 20 SVM Review: Primal and Dual Formulations
DetaljerExercise 1: Phase Splitter DC Operation
Exercise 1: DC Operation When you have completed this exercise, you will be able to measure dc operating voltages and currents by using a typical transistor phase splitter circuit. You will verify your
DetaljerFIRST LEGO League. Härnösand 2012
FIRST LEGO League Härnösand 2012 Presentasjon av laget IES Dragons Vi kommer fra Härnosänd Snittalderen på våre deltakere er 11 år Laget består av 4 jenter og 4 gutter. Vi representerer IES i Sundsvall
DetaljerHvordan 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
DetaljerEndelig ikke-røyker for Kvinner! (Norwegian Edition)
Endelig ikke-røyker for Kvinner! (Norwegian Edition) Allen Carr Click here if your download doesn"t start automatically Endelig ikke-røyker for Kvinner! (Norwegian Edition) Allen Carr Endelig ikke-røyker
DetaljerPerpetuum (im)mobile
Perpetuum (im)mobile Sett hjulet i bevegelse og se hva som skjer! Hva tror du er hensikten med armene som slår ut når hjulet snurrer mot høyre? Hva tror du ordet Perpetuum mobile betyr? Modell 170, Rev.
DetaljerLevel-Rebuilt B-Trees
Gerth Stølting Brodal BRICS University of Aarhus Pankaj K. Agarwal Lars Arge Jeffrey S. Vitter Center for Geometric Computing Duke University August 1998 1 B-Trees Bayer, McCreight 1972 Level 2 Level 1
DetaljerMedisinsk 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)
DetaljerUNIVERSITETET I OSLO ØKONOMISK INSTITUTT
UNIVERSITETET I OSLO ØKONOMISK INSTITUTT Eksamen i: ECON110 Forbruker, bedrift og marked, våren 004 Exam: ECON110 Consumer behavior, firm behavior and markets, spring 004 Eksamensdag: Tirsdag 18. mai 004
DetaljerAppendix B, not for publication, with screenshots for Fairness and family background
Appendix B, not for publication, with screenshots for Fairness and family background Ingvild Almås Alexander W. Cappelen Kjell G. Salvanes Erik Ø. Sørensen Bertil Tungodden This document shows screenshots
DetaljerTrådløsnett med Windows XP. Wireless network with Windows XP
Trådløsnett med Windows XP Wireless network with Windows XP Mai 2013 Hvordan koble til trådløsnettet eduroam med Windows XP Service Pack 3? How to connect to the wireless network eduroam with Windows XP
DetaljerINF 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
DetaljerHvor mye praktisk kunnskap har du tilegnet deg på dette emnet? (1 = ingen, 5 = mye)
INF247 Er du? Er du? - Annet Ph.D. Student 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,
DetaljerPhysical origin of the Gouy phase shift by Simin Feng, Herbert G. Winful Opt. Lett. 26, (2001)
by Simin Feng, Herbert G. Winful Opt. Lett. 26, 485-487 (2001) http://smos.sogang.ac.r April 18, 2014 Introduction What is the Gouy phase shift? For Gaussian beam or TEM 00 mode, ( w 0 r 2 E(r, z) = E
DetaljerREMOVE CONTENTS FROM BOX. VERIFY ALL PARTS ARE PRESENT READ INSTRUCTIONS CAREFULLY BEFORE STARTING INSTALLATION
2011-2014 FORD EXPLORER PARTS LIST Qty Part Description Qty Part Description 1 Bull Bar 2 12mm x 35mm Bolt Plates 1 Passenger/Right Mounting Bracket 2 12mm Nut Plate 1 Driver/Left Mounting Bracket 2 12mm
DetaljerKneser hypergraphs. May 21th, CERMICS, Optimisation et Systèmes
Kneser hypergraphs Frédéric Meunier May 21th, 2015 CERMICS, Optimisation et Systèmes Kneser hypergraphs m, l, r three integers s.t. m rl. Kneser hypergraph KG r (m, l): V (KG r (m, l)) = ( [m]) l { E(KG
DetaljerGeneralization 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
DetaljerEXAM TTM4128 SERVICE AND RESOURCE MANAGEMENT EKSAM I TTM4128 TJENESTE- OG RESSURSADMINISTRASJON
Side 1 av 5 NTNU Norges teknisk-naturvitenskapelige universitet Institutt for telematikk EXAM TTM4128 SERVICE AND RESOURCE MANAGEMENT EKSAM I TTM4128 TJENESTE- OG RESSURSADMINISTRASJON Contact person /
DetaljerUNIVERSITETET 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
DetaljerDagens tema: Eksempel Klisjéer (mønstre) Tommelfingerregler
UNIVERSITETET I OSLO INF1300 Introduksjon til databaser Dagens tema: Eksempel Klisjéer (mønstre) Tommelfingerregler Institutt for informatikk Dumitru Roman 1 Eksempel (1) 1. The system shall give an overview
DetaljerDu 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
DetaljerOle 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
DetaljerUNIVERSITETET 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
DetaljerEKSAMENSOPPGAVE I SØK 1002 INNFØRING I MIKROØKONOMISK ANALYSE
Norges teknisk-naturvitenskapelige universitet Institutt for samfunnsøkonomi EKSAMENSOPPGAVE I SØK 1002 INNFØRING I MIKROØKONOMISK ANALYSE Faglig kontakt under eksamen: Hans Bonesrønning Tlf.: 9 17 64
DetaljerNeural Network. Sensors Sorter
CSC 302 1.5 Neural Networks Simple Neural Nets for Pattern Recognition 1 Apple-Banana Sorter Neural Network Sensors Sorter Apples Bananas 2 Prototype Vectors Measurement vector p = [shape, texture, weight]
DetaljerEMPIC 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
DetaljerUNIVERSITETET I OSLO ØKONOMISK INSTITUTT
UNIVERSITETET I OSLO ØKONOMISK INSTITUTT Utsatt eksamen i: ECON1410 - Internasjonal økonomi Exam: ECON1410 - International economics Eksamensdag: 18.06.2013 Date of exam: 18.06.2013 Tid for eksamen: kl.
DetaljerDen 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,
DetaljerEmneevaluering GEOV272 V17
Emneevaluering GEOV272 V17 Studentenes evaluering av kurset Svarprosent: 36 % (5 av 14 studenter) Hvilket semester er du på? Hva er ditt kjønn? Er du...? Er du...? - Annet PhD Candidate Samsvaret mellom
DetaljerElektronisk innlevering/electronic solution for submission:
VIKINGTIDSMUSEET Plan- og designkonkurranse/design competition Elektronisk innlevering/electronic solution for submission: Det benyttes en egen elektronisk løsning for innlevering (Byggeweb Anbud). Dette
DetaljerHvor mye teoretisk kunnskap har du tilegnet deg på dette emnet? (1 = ingen, 5 = mye)
Emneevaluering GEOV325 Vår 2016 Kommentarer til GEOV325 VÅR 2016 (emneansvarlig) Forelesingsrommet inneholdt ikke gode nok muligheter for å kunne skrive på tavle og samtidig ha mulighet for bruk av power
DetaljerSpeed Racer Theme. Theme Music: Cartoon: Charles Schultz / Jef Mallett Peanuts / Frazz. September 9, 2011 Physics 131 Prof. E. F.
September 9, 2011 Physics 131 Prof. E. F. Redish Theme Music: Speed Racer Theme Cartoon: Charles Schultz / Jef Mallett Peanuts / Frazz 1 Reading questions Are the lines on the spatial graphs representing
DetaljerUNIVERSITETET I OSLO ØKONOMISK INSTITUTT
UNIVERSITETET I OSLO ØKONOMISK INSTITUTT BOKMÅL Eksamen i: ECON1210 - Forbruker, bedrift og marked Eksamensdag: 26.11.2013 Sensur kunngjøres: 18.12.2013 Tid for eksamen: kl. 14:30-17:30 Oppgavesettet er
DetaljerC13 Kokstad. Svar på spørsmål til kvalifikasjonsfasen. Answers to question in the pre-qualification phase For English: See page 4 and forward
C13 Kokstad Svar på spørsmål til kvalifikasjonsfasen Answers to question in the pre-qualification phase For English: See page 4 and forward Norsk Innhold 1. Innledning... 2 2. Spørsmål mottatt per 28.11.12...
DetaljerEndringer 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
DetaljerStationary Phase Monte Carlo Methods
Stationary Phase Monte Carlo Methods Daniel Doro Ferrante G. S. Guralnik, J. D. Doll and D. Sabo HET Physics Dept, Brown University, USA. danieldf@het.brown.edu www.het.brown.edu Introduction: Motivations
DetaljerUNIVERSITETET 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:
DetaljerGEO231 Teorier om migrasjon og utvikling
U N I V E R S I T E T E T I B E R G E N Institutt for geografi Emnerapport høsten 2013: GEO231 Teorier om migrasjon og utvikling Innhold: 1. Informasjon om emnet 2. Statistikk 3. Egenevaluering 4. Studentevaluering
DetaljerADDENDUM SHAREHOLDERS AGREEMENT. by and between. Aker ASA ( Aker ) and. Investor Investments Holding AB ( Investor ) and. SAAB AB (publ.
ADDENDUM SHAREHOLDERS AGREEMENT by between Aker ASA ( Aker ) Investor Investments Holding AB ( Investor ) SAAB AB (publ.) ( SAAB ) The Kingdom of Norway acting by the Ministry of Trade Industry ( Ministry
Detaljer5 E Lesson: Solving Monohybrid Punnett Squares with Coding
5 E Lesson: Solving Monohybrid Punnett Squares with Coding Genetics Fill in the Brown colour Blank Options Hair texture A field of biology that studies heredity, or the passing of traits from parents to
DetaljerGYRO 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.
DetaljerInstructions for the base (B)-treatment and the elicitation (E)-treatment of the experiment
Appendix Instructions for the base (B)-treatment and the elicitation (E)-treatment of the experiment We here provide the instructions given to the participants at the beginning of the session and throughout
DetaljerInformation 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
DetaljerUNIVERSITETET 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
DetaljerHONSEL process monitoring
6 DMSD has stood for process monitoring in fastening technology for more than 25 years. HONSEL re- rivet processing back in 990. DMSD 2G has been continuously improved and optimised since this time. All
DetaljerEnkel og effektiv brukertesting. Ida Aalen LOAD september 2017
Enkel og effektiv brukertesting Ida Aalen LOAD.17 21. september 2017 Verktøyene finner du her: bit.ly/tools-for-testing Har dere gjort brukertesting? Vet du hva dette ikonet betyr? Mobil: 53% sa nei Desktop:
DetaljerEN Skriving for kommunikasjon og tenkning
EN-435 1 Skriving for kommunikasjon og tenkning Oppgaver Oppgavetype Vurdering 1 EN-435 16/12-15 Introduction Flervalg Automatisk poengsum 2 EN-435 16/12-15 Task 1 Skriveoppgave Manuell poengsum 3 EN-435
DetaljerHvor mye praktisk kunnskap har du tilegnet deg på dette emnet? (1 = ingen, 5 = mye)
INF234 Er du? Er du? - Annet Årsstudent 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
DetaljerPSi Apollo. Technical Presentation
PSi Apollo Spreader Control & Mapping System Technical Presentation Part 1 System Architecture PSi Apollo System Architecture PSi Customer label On/Off switch Integral SD card reader/writer MENU key Typical
DetaljerThe regulation requires that everyone at NTNU shall have fire drills and fire prevention courses.
1 The law The regulation requires that everyone at NTNU shall have fire drills and fire prevention courses. 2. 3 Make your self familiar with: Evacuation routes Manual fire alarms Location of fire extinguishers
Detaljer1. 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.
DetaljerUNIVERSITY OF OSLO. Faculty of Mathematics and Natural Sciences
Page 1 UNIVERSITY OF OSLO Faculty of Mathematics and Natural Sciences Exam in BIO4210/9210 Classification and Phylogeny Day of exam: 13. December 2011 Exam hours: 9.00-12.00 (3 hours) This examination
DetaljerMathematics 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
DetaljerProsjektet 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,
DetaljerAssignment. 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
DetaljerLøsningsforslag 2017 eksamen
Løsningsforslag 2017 eksamen Oppgave 1: O-notasjon (maks 8 poeng) 1. (i) O(n) gir 2 poeng, O(100n) gir 1 poeng (ii) O(n^2) gir 1 poeng (iii) O(n log n) gir 2 poeng 2. (i) er mest effektiv i henhold til
DetaljerINF2820 Datalingvistikk V2011. Jan Tore Lønning & Stephan Oepen
INF2820 Datalingvistikk V2011 Jan Tore Lønning & Stephan Oepen TABELLPARSING 1. mars 2011 2 I dag Oppsummering fra sist: Recursive-descent og Shift-reduce parser Svakheter med disse Tabellparsing: Dynamisk
DetaljerUNIVERSITETET 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
DetaljerBesvar tre 3 av følgende fire 4 oppgaver.
Psykologisk institutt Side 1 av 2 Eksamen PSY1010/PSY1010P/PSYC1100 Forskningsmetode I - Høst 2013 Skriftlig skoleeksamen, mandag 9.desember Dato for sensur: 7.januar 2014 Ingen hjelpemidler er tillatt
Detaljer3/1/2011. I dag. Recursive descent parser. Problem for RD-parser: Top Down Space. Jan Tore Lønning & Stephan Oepen
INF2820 Datalingvistikk V2011 TABELLPARSING Jan Tore Lønning & Stephan Oepen 1. mars 2011 2 I dag Oppsummering fra sist: Recursive-descent og Shift-reduce parser Svakheter med disse Tabellparsing: Dynamisk
DetaljerUNIVERSITETET I OSLO ØKONOMISK INSTITUTT
UNIVERSITETET I OSLO ØKONOMISK INSTITUTT Exam: ECON320/420 Mathematics 2: Calculus and Linear Algebra Eksamen i: ECON320/420 Matematikk 2: Matematisk analyse og lineær algebra Date of exam: Friday, May
DetaljerOppgave. føden)? i tråd med
Oppgaver Sigurd Skogestad, Eksamen septek 16. des. 2013 Oppgave 2. Destillasjon En destillasjonskolonne har 7 teoretiske trinn (koker + 3 ideelle plater under føden + 2 ideellee plater over føden + partielll
DetaljerUniversitetet 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å
DetaljerUNIVERSITETET I OSLO ØKONOMISK INSTITUTT
1 UNIVERSITETET I OSLO ØKONOMISK INSTITUTT BOKMÅL Utsatt eksamen i: ECON2915 Vekst og næringsstruktur Eksamensdag: 07.12.2012 Tid for eksamen: kl. 09:00-12:00 Oppgavesettet er på 5 sider Tillatte hjelpemidler:
DetaljerGir vi de resterende 2 oppgavene til én prosess vil alle sitte å vente på de to potensielt tidskrevende prosessene.
Figure over viser 5 arbeidsoppgaver som hver tar 0 miutter å utføre av e arbeider. (E oppgave ka ku utføres av é arbeider.) Hver pil i figure betyr at oppgave som blir pekt på ikke ka starte før oppgave
DetaljerVerifiable Secret-Sharing Schemes
Aarhus University Verifiable Secret-Sharing Schemes Irene Giacomelli joint work with Ivan Damgård, Bernardo David and Jesper B. Nielsen Aalborg, 30th June 2014 Verifiable Secret-Sharing Schemes Aalborg,
DetaljerKROPPEN 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
DetaljerPublic 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
DetaljerTrå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?
DetaljerEKSAMENSOPPGAVE I FAG TKP 4105
EKSAMENSOPPGAVE I FAG TKP 4105 Faglig kontakt under eksamen: Sigurd Skogestad Tlf: 913 71669 (May-Britt Hägg Tlf: 930 80834) Eksamensdato: 08.12.11 Eksamenstid: 09:00 13:00 7,5 studiepoeng Tillatte hjelpemidler:
DetaljerUNIVERSITETET I OSLO
UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i INF 3230/4230 Formell modellering og analyse av kommuniserende systemer Eksamensdag: 24. mars 2006 Tid for eksamen: 13.30 16.30
DetaljerSitronelement. 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
DetaljerTFY4170 Fysikk 2 Justin Wells
TFY4170 Fysikk 2 Justin Wells Forelesning 5: Wave Physics Interference, Diffraction, Young s double slit, many slits. Mansfield & O Sullivan: 12.6, 12.7, 19.4,19.5 Waves! Wave phenomena! Wave equation
DetaljerUNIVERSITETET 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
DetaljerSecond 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
DetaljerVekeplan 4. Trinn. Måndag Tysdag Onsdag Torsdag Fredag AB CD AB CD AB CD AB CD AB CD. Norsk Matte Symjing Ute Norsk Matte M&H Norsk
Vekeplan 4. Trinn Veke 39 40 Namn: Måndag Tysdag Onsdag Torsdag Fredag AB CD AB CD AB CD AB CD AB CD Norsk Engelsk M& Mitt val Engelsk Matte Norsk Matte felles Engelsk M& Mitt val Engelsk Norsk M& Matte
DetaljerElektronisk 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