Level Set methods. Sandra Allaart-Bruin. Level Set methods p.1/24

Størrelse: px
Begynne med side:

Download "Level Set methods. Sandra Allaart-Bruin. Level Set methods p.1/24"

Transkript

1 Level Set methods Sandra Allaart-Bruin Level Set methods p.1/24

2 Overview Introduction Level Set methods p.2/24

3 Overview Introduction Boundary Value Formulation Level Set methods p.2/24

4 Overview Introduction Boundary Value Formulation Initial Value Formulation Level Set methods p.2/24

5 Overview Introduction Boundary Value Formulation Initial Value Formulation Numerical schemes Level Set methods p.2/24

6 Overview Introduction Boundary Value Formulation Initial Value Formulation Numerical schemes Fast Marching Methods Level Set methods p.2/24

7 Overview Introduction Boundary Value Formulation Initial Value Formulation Numerical schemes Fast Marching Methods Narrow Band Level Set Level Set methods p.2/24

8 Introduction moving interface problem Level Set methods p.3/24

9 Introduction moving interface problem Speed function Level Set methods p.3/24

10 Introduction moving interface problem Speed function Local properties Level Set methods p.3/24

11 Introduction moving interface problem Speed function Local properties Global properties Level Set methods p.3/24

12 Introduction moving interface problem Speed function Local properties Global properties Independent properties Level Set methods p.3/24

13 Formulations Boundary Value Formulation Initial Value Formulation Level Set methods p.4/24

14 Boundary Value Formulation Speed function Level Set methods p.5/24

15 Boundary Value Formulation Speed function Arrival Time interface is given by Level Set methods p.5/24

16 Boundary Value Formulation distance rate time More dimensions: with on Level Set methods p.6/24

17 Example Boundary Value Formulation is circular, : Level Set methods p.7/24

18 Initial Value Formulation Level Set Function Interface is given by. Level Set methods p.8/24

19 Initial Value Formulation level set function By the chain rule: Level Set methods p.9/24

20 Initial Value Formulation level set function By the chain rule: is speed in outward normal direction, then, Level Set methods p.9/24

21 Initial Value Formulation level set function By the chain rule: is speed in outward normal direction, then, given Level Set methods p.9/24

22 Example Initial Value Formulation Level Set methods p.10/24

23 Summary Boundary Value Formulation ( ) Front = = { } Level Set methods p.11/24

24 Summary Boundary Value Formulation ( ) Front = = { Initial Value Formulation } Front = = { } Level Set methods p.11/24

25 Numerical Scheme for BVP front: { } Level Set methods p.12/24

26 Level Set methods p.12/24 Numerical Scheme for BVP } { front: Backward Scheme Forward Scheme. where and

27 Numerical Scheme for IVP front: { } Level Set methods p.13/24

28 Level Set methods p.13/24 Numerical Scheme for IVP } { front: where

29 CFL condition Time Step restriction Level Set methods p.14/24

30 Notes Extensions to higher order schemes Level Set methods p.15/24

31 Notes Extensions to higher order schemes Schemes for non-convex speed function Level Set methods p.15/24

32 Notes Extensions to higher order schemes Schemes for non-convex speed function These Numerical Schemes costs a lot of computations Level Set methods p.15/24

33 Fast Marching Method Beginning of Fast Marching Method Level Set methods p.16/24

34 Fast Marching Method Update downwind Level Set methods p.16/24

35 Fast Marching Method B C D A Compute new possible values Level Set methods p.16/24

36 Fast Marching Method B C D A Choose smallest dark pink sphere (A) Level Set methods p.16/24

37 Fast Marching Method B C D A Freeze value at A, update neighboring downwind points Level Set methods p.16/24

38 Fast Marching Methods Initialisation: Tag points as Known, Trial and Far. Level Set methods p.17/24

39 Fast Marching Methods Begin Loop: Let A be the Trial point with the smallest T value Level Set methods p.17/24

40 Fast Marching Methods Begin Loop: Let A be the Trial point with the smallest T value Add the point A to Known ; remove it from Trial Level Set methods p.17/24

41 Fast Marching Methods Begin Loop: Let A be the Trial point with the smallest T value Add the point A to Known; remove it from Trial Tag as Trial all neighbors of A that are not Known. If neighbor is in Far, remove and add to the set Trial. Level Set methods p.17/24

42 Level Set methods p.17/24 Fast Marching Methods Recompute the values of T at all Trial neighbors of A according to

43 Fast Marching Methods Begin Loop: Let A be the Trialpoint with the smallest T value Add the point A to Known ; remove it from Trial Tag as Trial all neighbors of A that are not Known. If neighbor is in Far, remove and add to the set Trial. Recompute the values of T at all Trial neighbors of A according to... Return to top of loop. Level Set methods p.17/24

44 Narrow Band Level Set Level Set methods p.18/24

45 Narrow Band Level Set Level Set methods p.18/24

46 Narrow Band Level Set Level Set methods p.18/24

47 Narrow Band Level Set Tag Alive points in narrow band Level Set methods p.19/24

48 Narrow Band Level Set Tag Alive points in narrow band Build Land Mines to indicate near edge Level Set methods p.19/24

49 Narrow Band Level Set Tag Alive points in narrow band Build Land Mines to indicate near edge Initialize Far Away points outside the narrow band with large positive (negative) values if values are outside (inside) the front itself Level Set methods p.19/24

50 Narrow Band Level Set Tag Alive points in narrow band Build Land Mines to indicate near edge Initialize Far Away points outside the narrow band with large positive (negative) values if values are outside (inside) the front itself Solve level set equation until Land Mine hit Level Set methods p.19/24

51 Narrow Band Level Set Tag Alive points in narrow band Build Land Mines to indicate near edge Initialize Far Away points outside the narrow band with large positive (negative) values if values are outside (inside) the front itself Solve level set equation until Land Mine hit Rebuild and loop Level Set methods p.19/24

52 Narrow Band Level Set Level Set methods p.20/24

53 Narrow Band Level Set Level Set methods p.21/24

54 Advantages of Narrow Band Level Set Speed Level Set methods p.22/24

55 Advantages of Narrow Band Level Set Speed instead of in 3D Level Set methods p.22/24

56 Advantages of Narrow Band Level Set Speed Timestep instead of in 3D Level Set methods p.22/24

57 Advantages of Narrow Band Level Set Speed instead of in 3D Timestep CFL condition on narrow band instead of entire domain Level Set methods p.22/24

58 Next lecture Applications Level Set methods p.23/24

59 End Level Set methods p.24/24

Slope-Intercept Formula

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

Detaljer

Neural Network. Sensors Sorter

Neural 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]

Detaljer

Splitting the differential Riccati equation

Splitting the differential Riccati equation Splitting the differential Riccati equation Tony Stillfjord Numerical Analysis, Lund University Joint work with Eskil Hansen Innsbruck Okt 15, 2014 Outline Splitting methods for evolution equations The

Detaljer

Dynamic Programming Longest Common Subsequence. Class 27

Dynamic 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

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

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

Verifiable Secret-Sharing Schemes

Verifiable 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,

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

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

Gradient. Masahiro Yamamoto. last update on February 29, 2012 (1) (2) (3) (4) (5)

Gradient. Masahiro Yamamoto. last update on February 29, 2012 (1) (2) (3) (4) (5) Gradient Masahiro Yamamoto last update on February 9, 0 definition of grad The gradient of the scalar function φr) is defined by gradφ = φr) = i φ x + j φ y + k φ ) φ= φ=0 ) ) 3) 4) 5) uphill contour downhill

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

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

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

Speed Racer Theme. Theme Music: Cartoon: Charles Schultz / Jef Mallett Peanuts / Frazz. September 9, 2011 Physics 131 Prof. E. F.

Speed 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

Detaljer

Qi-Wu-Zhang model. 2D Chern insulator. León Martin. 19. November 2015

Qi-Wu-Zhang model. 2D Chern insulator. León Martin. 19. November 2015 Qi-Wu-Zhang model 2D Chern insulator León Martin 19. November 2015 Motivation Repeat: Rice-Mele-model Bulk behavior Edge states Layering 2D Chern insulators Robustness of edge states Motivation topological

Detaljer

Kneser hypergraphs. May 21th, CERMICS, Optimisation et Systèmes

Kneser 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

Detaljer

REMOVE CONTENTS FROM BOX. VERIFY ALL PARTS ARE PRESENT READ INSTRUCTIONS CAREFULLY BEFORE STARTING INSTALLATION

REMOVE 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

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

FYSMEK1110 Eksamensverksted 23. Mai :15-18:00 Oppgave 1 (maks. 45 minutt)

FYSMEK1110 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

Detaljer

Graphs similar to strongly regular graphs

Graphs 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

Detaljer

SVM and Complementary Slackness

SVM 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

Detaljer

Trust region methods: global/local convergence, approximate January methods 24, / 15

Trust region methods: global/local convergence, approximate January methods 24, / 15 Trust region methods: global/local convergence, approximate methods January 24, 2014 Trust region methods: global/local convergence, approximate January methods 24, 2014 1 / 15 Trust-region idea Model

Detaljer

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

Trå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

Detaljer

SCE1106 Control Theory

SCE1106 Control Theory Master study Systems and Control Engineering Department of Technology Telemark University College DDiR, October 26, 2006 SCE1106 Control Theory Exercise 6 Task 1 a) The poles of the open loop system is

Detaljer

Call function of two parameters

Call 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

Detaljer

TMA4329 Intro til vitensk. beregn. V2017

TMA4329 Intro til vitensk. beregn. V2017 Norges teknisk naturvitenskapelige universitet Institutt for Matematiske Fag TMA439 Intro til vitensk. beregn. V17 ving 4 [S]T. Sauer, Numerical Analysis, Second International Edition, Pearson, 14 Teorioppgaver

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

NO X -chemistry modeling for coal/biomass CFD

NO X -chemistry modeling for coal/biomass CFD NO X -chemistry modeling for coal/biomass CFD Jesper Møller Pedersen 1, Larry Baxter 2, Søren Knudsen Kær 3, Peter Glarborg 4, Søren Lovmand Hvid 1 1 DONG Energy, Denmark 2 BYU, USA 3 AAU, Denmark 4 DTU,

Detaljer

LED BUTIKKDISPLAY 2013 REV 2/1/13 R1

LED BUTIKKDISPLAY 2013 REV 2/1/13 R1 LED BUTIKKDISPLAY 2013 REV 2/1/13 R1 Mini Maglite LED 2-Cell AA SIDE KICK Varenr: 31950010 BESKRIVELSE : 12x 2AA Mini Maglite LED Plasseringsforslag: Desktop. 2AA LED. 77 lumens. Fire modus (Høy, lav,

Detaljer

Solutions #12 ( M. y 3 + cos(x) ) dx + ( sin(y) + z 2) dy + xdz = 3π 4. The surface M is parametrized by σ : [0, 1] [0, 2π] R 3 with.

Solutions #12 ( M. y 3 + cos(x) ) dx + ( sin(y) + z 2) dy + xdz = 3π 4. The surface M is parametrized by σ : [0, 1] [0, 2π] R 3 with. Solutions #1 1. a Show that the path γ : [, π] R 3 defined by γt : cost ı sint j sint k lies on the surface z xy. b valuate y 3 cosx dx siny z dy xdz where is the closed curve parametrized by γ. Solution.

Detaljer

Unit Relational Algebra 1 1. Relational Algebra 1. Unit 3.3

Unit 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

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

A NEW REALITY. DNV GL Industry Outlook for 2016. Kjell Eriksson, Regional Manager Oil & Gas, Norway 02 Februar - Offshore Strategi Konferansen 2016,

A NEW REALITY. DNV GL Industry Outlook for 2016. Kjell Eriksson, Regional Manager Oil & Gas, Norway 02 Februar - Offshore Strategi Konferansen 2016, OIL & GAS A NEW REALITY DNV GL Industry Outlook for 2016 Kjell Eriksson, Regional Manager Oil & Gas, Norway 02 Februar - Offshore Strategi Konferansen 2016, 1 2013 SAFER, SMARTER, GREENER 3 februar 2016

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

Stationary Phase Monte Carlo Methods

Stationary 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

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

Start Here USB *CC * *CC * USB USB

Start Here USB *CC * *CC * USB USB 1 USB Start Here USB 11 USB WARNING: To ensure that the software is installed correctly, do not connect the USB cable until step 11. 11 USB 2 a. b. Lower both the paper tray and the print cartridge door.

Detaljer

Prising av ODINs egenforvaltede aksjefond 2013

Prising av ODINs egenforvaltede aksjefond 2013 Prising av ODINs egenforvaltede aksjefond 2013 Oversikten viser hvilke dager ODINs fond vil være stengt for handel. ODIN Eiendom I ODIN Emerging Markets SMB ODIN Finland ODIN Global ODIN Maritim ODIN Norden

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

STILLAS - STANDARD FORSLAG FRA SEF TIL NY STILLAS - STANDARD

STILLAS - STANDARD FORSLAG FRA SEF TIL NY STILLAS - STANDARD FORSLAG FRA SEF TIL NY STILLAS - STANDARD 1 Bakgrunnen for dette initiativet fra SEF, er ønsket om å gjøre arbeid i høyden tryggere / sikrere. Både for stillasmontører og brukere av stillaser. 2 Reviderte

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

Marmi Plus One. Sleek, Essential, Stunning

Marmi Plus One. Sleek, Essential, Stunning MARMI PLUS ONE Marmi Plus One Sleek, Essential, Stunning Marmi Plus One Bianco - DME01 90x90 cm Marmi Plus One Bianco - DME01 60x120 cm Marmi Plus One Bianco MATTE Marmi Plus One Bianco - DME01 60x120

Detaljer

Moving Objects. We need to move our objects in 3D space.

Moving 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

Detaljer

Databases 1. Extended Relational Algebra

Databases 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 ---

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

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

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

INF2820 Datalingvistikk V2011. Jan Tore Lønning & Stephan Oepen

INF2820 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

Detaljer

Eksamensoppgave i TMA4135 Matematikk 4D

Eksamensoppgave i TMA4135 Matematikk 4D Institutt for matematiske fag Eksamensoppgave i TMA435 Matematikk 4D Faglig kontakt under eksamen: Helge Holden a, Gard Spreemann b Tlf: a 92038625, b 93838503 Eksamensdato: 0. desember 205 Eksamenstid

Detaljer

UNIVERSITETET I OSLO ØKONOMISK INSTITUTT

UNIVERSITETET 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

Detaljer

Passenger Terminal World Expo 2011 Copenhagen, Denmark. Steven B. Cornell Assoc. Vice President

Passenger Terminal World Expo 2011 Copenhagen, Denmark. Steven B. Cornell Assoc. Vice President Passenger Terminal World Expo 2011 Copenhagen, Denmark Steven B. Cornell Assoc. Vice President Overview PRT Definition Planning Parameters for Airport Projects Speed Capacity Geometrics Costs New Airport

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

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

PSi Apollo. Technical Presentation

PSi 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

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) 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,

Detaljer

3/1/2011. I dag. Recursive descent parser. Problem for RD-parser: Top Down Space. Jan Tore Lønning & Stephan Oepen

3/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

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

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

HONSEL process monitoring

HONSEL 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

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

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

Øvingsforelesning 2. Mengdelære, funksjoner, rekurrenser, osv. TMA4140 Diskret Matematikk. 10. og 12. september 2018

Øvingsforelesning 2. Mengdelære, funksjoner, rekurrenser, osv. TMA4140 Diskret Matematikk. 10. og 12. september 2018 Mengdelære, funksjoner, rekurrenser, osv. Øvingsforelesning 2 TMA4140 Diskret Matematikk 10. og 12. september 2018 Dagens øvingsforelesning Spørsmål til emnene i forrige uke Oppgaver fra midtsemesterprøver

Detaljer

Gir vi de resterende 2 oppgavene til én prosess vil alle sitte å vente på de to potensielt tidskrevende prosessene.

Gir 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

Detaljer

Satellite Stereo Imagery. Synthetic Aperture Radar. Johnson et al., Geosphere (2014)

Satellite Stereo Imagery. Synthetic Aperture Radar. Johnson et al., Geosphere (2014) Satellite Stereo Imagery Synthetic Aperture Radar Johnson et al., Geosphere (2014) Non-regular sampling Missing data due to lack of correlation, shadows, water, Potentially 3D as opposed to purely 2D (i.e.

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

pnvdb Documentation Release Jan Tore Kyrdalen

pnvdb Documentation Release Jan Tore Kyrdalen pnvdb Documentation Release 0.1.0 Jan Tore Kyrdalen Oct 31, 2017 Contents 1 Installation 3 2 Getting started 5 3 Methods 7 3.1 status................................................... 7 3.2 objekt...................................................

Detaljer

Accuracy of Alternative Baseline Methods

Accuracy of Alternative Baseline Methods Accuracy of Alternative Baseline Methods Dr. Steven Braithwait Christensen Associates Energy Consulting IEPEC - Paris June 2010 Outline Demand response & role of baseline loads Measures of baseline performance

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

Perpetuum (im)mobile

Perpetuum (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.

Detaljer

JDBC. Java Data Base Connec.vity

JDBC. Java Data Base Connec.vity JDBC Java Data Base Connec.vity Package java.sql Package java.sql Array Blob CallableStatement Clob Connec.on DatabaseMetaData Driver NClob ParameterMetaData PreparedStatement Ref ResultSet ResultSetMetaData

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

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

Invitation to Tender FSP FLO-IKT /2013/001 MILS OS

Invitation to Tender FSP FLO-IKT /2013/001 MILS OS Invitation to Tender FSP FLO-IKT /2013/001 MILS OS April 15th 2013 Forfatter Prosjektittel 19.04.2013 19.04.2013 1 Introduction AGENDA Important aspects regarding the competition and Invitation to tender

Detaljer

Page 2 of 3. Problem 1.

Page 2 of 3. Problem 1. Page of 3 Problem. Derive formulas for the a nb coefficients in the Second-Order Upstream scheme (SOU) for the convection-diffusion equation for the concentration of diatom type algae with fall velocity

Detaljer

Level-Rebuilt B-Trees

Level-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

Detaljer

Little Mountain Housing

Little Mountain Housing Little Mountain Housing Feedback from January 2012 Open Houses Presentation to Little Mountain Community Advisory Group Overview Open house attendance 409 signed in 600+ total Comment forms submitted 326

Detaljer

Existence of resistance forms in some (non self-similar) fractal spaces

Existence of resistance forms in some (non self-similar) fractal spaces Existence of resistance forms in some (non self-similar) fractal spaces Patricia Alonso Ruiz D. Kelleher, A. Teplyaev University of Ulm Cornell, 12 June 2014 Motivation X Fractal Motivation X Fractal Laplacian

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

2A September 23, 2005 SPECIAL SECTION TO IN BUSINESS LAS VEGAS

2A September 23, 2005 SPECIAL SECTION TO IN BUSINESS LAS VEGAS 2A September 23, 2005 SPECIAL SECTION TO IN BUSINESS LAS VEGAS SPECIAL SECTION TO IN BUSINESS LAS VEGAS 3A September 23, 2005 SEE, PAGE 8A Businesses seek flexibility. It helps them compete in a fast-paced,

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

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

Digital Transformasjon

Digital Transformasjon Digital Transformasjon HVORDAN KAN DU TA GREP OM DIGITALISERINGEN? KURT S. HELLAND EVRY Key Highlights # 1 Norway # 4 Sweden # 1 Financial Services in the Nordics NOR FIN Offices in9countries 9,100 employees

Detaljer

Trigonometric Substitution

Trigonometric 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

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

Physical origin of the Gouy phase shift by Simin Feng, Herbert G. Winful Opt. Lett. 26, (2001)

Physical 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

Detaljer

UNIVERSITETET I OSLO ØKONOMISK INSTITUTT

UNIVERSITETET I OSLO ØKONOMISK INSTITUTT UNIVERSIEE I OSLO ØKONOMISK INSIU Eksamen i: ECON320/420 Mathematics 2: Calculus and Linear Algebra Exam: ECON320/420 Mathematics 2: Calculus and Linear Algebra Eksamensdag:. desember 207 Sensur kunngjøres:

Detaljer

Forecast Methodology September LightCounting Market Research Notes

Forecast Methodology September LightCounting Market Research Notes Forecast Methodology September 2015 LightCounting Market Research Notes Vladimir Market Kozlov Forecast Methodology, September, September, 2015 2015 1 Summary In summary, the key assump=on of our forecast

Detaljer

VLSI Design for Yield on Chip Level

VLSI Design for Yield on Chip Level IBM Systems and Technology Group Markus Bühler Jeanne Bickford Jason Hibbeler Jürgen Koehl DATE 2006 Outline Catastrophic Failures Defect Mechanisms State of the Art Novel Techniques Conclusion 2 Catastrophic

Detaljer

INF5820 Natural Language Processing - NLP. H2009 Jan Tore Lønning

INF5820 Natural Language Processing - NLP. H2009 Jan Tore Lønning INF5820 Natural Language Processing - NLP H2009 jtl@ifi.uio.no HMM Tagging INF5830 Lecture 3 Sep. 7 2009 Today More simple statistics, J&M sec 4.2: Product rule, Chain rule Notation, Stochastic variable

Detaljer

UNIVERSITETET I OSLO ØKONOMISK INSTITUTT

UNIVERSITETET 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

Detaljer

Exercise 1: Phase Splitter DC Operation

Exercise 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

Detaljer

230V 110V 25% (230V) 110V 110V 230V

230V 110V 25% (230V) 110V 110V 230V MMA Inverter range Choose your Perfect MMA Inverter Ranging from 140-400 Amps Parweld offers a range of lightweight MMA inverter machines ideal for everyday maintenance to heavy applications Enclosure

Detaljer

Right Triangle Trigonometry

Right Triangle Trigonometry 0 Capter Trigonometry 70. f 8 7 8 Vertical asymptote: 8 0 y 7 0 7 8 9 9 ± 8 y Slant asymptote: ± 89 ;.,. y 7 8 y-intercept: 0, 8 -intercept:.8, 0 Section. Rigt Triangle Trigonometry You sould know te rigt

Detaljer

Skiskole side 2. Pr. pers. 3 dager/3 days 885 4 dager/4 days NY/NEW 995 5 dager/5 days NY/NEW 1090

Skiskole side 2. Pr. pers. 3 dager/3 days 885 4 dager/4 days NY/NEW 995 5 dager/5 days NY/NEW 1090 Skiskole Side 1 Priser Snowsports Skeikampen vinter 2013/2014. Individuelle gjester. Prices Snowsports Skeikampen winter 2013/2014. Individual guests. Gruppeundervisning, voksne, ungdom og Fjellbandidos

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

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

TFY4170 Fysikk 2 Justin Wells

TFY4170 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

Detaljer

Trianguleringer og anvendelser

Trianguleringer og anvendelser INF-MAT5370 Trianguleringer og anvendelser Fra seilflysimulatoren Silent Wings Bakgrunn for kurset: Kurset ble til til mens vi vi (foreleserne) arbeidet med oppdrag for industrien på SINTEF. Samtlige deler

Detaljer

SUPPLIER UPDATE. September 23, 2015

SUPPLIER UPDATE. September 23, 2015 1 SUPPLIER UPDATE September 23, 2015 Agenda 2 Clarify and document Supplier Collateral Requirement New Customer Information Agreement Review Customer Education campaign Q&A Credit Requirements For Suppliers

Detaljer

UNIVERSITETET I OSLO ØKONOMISK INSTITUTT

UNIVERSITETET I OSLO ØKONOMISK INSTITUTT UNIVERSITETET I OSLO ØKONOMISK INSTITUTT Utsatt ksamen i: ECON3120/4120 Matematikk 2: Matematisk analyse og lineær algebra Postponed exam: ECON3120/4120 Mathematics 2: Calculus and linear algebra Eksamensdag:

Detaljer