Formale Systeme 2 Sommer 2012 Prof. P. H. Schmitt

Størrelse: px
Starte visningen fra side:

Download "Formale Systeme 2 Sommer 2012 Prof. P. H. Schmitt"

Transkript

1 Formale Systeme 2 Sommer 2012 Prof. P. H. Schmitt I NSTITUT F U R T HEORETISCHE I NFORMATIK KIT Universita t des Landes Baden-Wu rttemberg und nationales Forschungszentrum in der Helmholtz-Gemeinschaft

2 Repetition Linear Temporal Logic Formale Systeme 2 2/36

3 LTL Formulas Definition Let PVar be a set of propositional atoms. The set of LTL formulas, LTLFor is defined by 1. PVar LTLFor 2. 1, 0 LTLFor 3. If A, B in LTLFor, then also A, A B, A B, A B 4. if A, B LTLFor then also 4.1 GA and FA, (sometimes also A and A) 4.2 A U B LTLFor 4.3 X A Formale Systeme 2 3/36

4 Temporal Structures A temporal structure is a triple T = (S, R, I) with S a nonempty set, called the set of abstract time points. R a strict transitive relation, the temporal before relation, I a valuation function I : (PVar S) {W, F} An omega structure is the special case with (S, R) = (N, <). We will present omega structures in the equivalent form with ξ : N 2 PVar and the intuition T = (N, <, ξ) p ξ(n) in T atom p is true at time point n I(p, n) = W For ξ : N 2 PVar and n N we will use ξ n to stand for the final segment of ξ starting at n. In symbol ξ n (m) = ξ(n + m). In particular ξ 0 = ξ. Formale Systeme 2 4/36

5 LTL Semantics Let T = (N, <, ξ) be an omega structure of the propositional signature PVar. ξ = p iff p ξ(0) (p a propositional atom) ξ = op(a, B) for a propositional combination op(a, B) of A and B as usual ξ = GA iff for all n N it is true ξ n = A ξ = FA iff there exists an n N with ξ n = A ξ = A U B iff there is n N with ξ n = B and for all m with 0 m < n we have ξ m = A ξ = X A iff ξ 1 = A Formale Systeme 2 5/36

6 Simple LTL Tautologies The following formulas are true for all omega structures: 1. FA 1 U A 2. GA F A (1 U A) Formale Systeme 2 6/36

7 Repetition Büchi Automata Formale Systeme 2 7/36

8 Omega Words Let V be a finite alphabet. V ω denotes the set of infinite words made up of letters from V. V denotes the set of all finite words over V. w(n) refers to the n-th letter in w for n 1. w (n) stands for the finite initial segment w(0)... w(n) of w. Omega words are sometime also referenced as ω words using the last letter of the Greek alphabet. Formale Systeme 2 8/36

9 Operations on Omega Words Let K V and J V ω. 1. K ω denotes the set of omega words w 1... w i... such that w i K for all i 2. The concatenation of K with J is defined by KJ = {w 1 w 2 w 1 K, w 2 J} 3. Concatenation of two sets of infinite words would not make sense. K = {w V ω w (n) K for infintely many n} Since we may think of K as a kind of limit of K (in the mathematical sense of the word) some authors denote it by lim(k ). Formale Systeme 2 9/36

10 Büchi Automata A Büchi automaton A = (S, V, s 0, δ, F) is a non-deterministic finite automaton with S V s 0 S δ : S V P(S) F S a finite set of states an alphabet the initial state the transition function the set of accepting (or final) states Formale Systeme 2 10/36

11 Büchi Acceptance A run for A is an infinite sequence s 0,..., s n,... of states, starting with s 0 such that for all 0 n there is an a V with s n+1 δ(s n, a). A run (s n ) n 0 is an accepting run if s n F is true for infinitely many n. Given w V ω we call a run s 0,..., s n,... a run for w, if for all 0 n is true. s n+1 δ(s n, w(n)) The language accepted by A is defined by L ω (A) = {w V ω there is an accepting run for w} The sets L of omega-words accepted by a Büchi automaton A are also called omega-regular sets. Formale Systeme 2 11/36

12 Example Büchi Automaton a s 0 s 1 {a, b} a This automaton, N afin, accepts all words that eventually contain only the letter a. Alternatively: L ω (N afin ) = {a, b} a ω Formale Systeme 2 12/36

13 Theorem Review For every LTL formula C there is a Büchi automaton A C such that L ω (A C ) = {ξ V ω ξ = C}. If PVar are the propositional atoms in C, the label vocabulary V of the Büchi automaton consists of all subsets of PVar, i.e., V = P(PVar). Formale Systeme 2 13/36

14 A 1 A 2 S = S 1 S 2 {1, 2} s 0 = (s1 0, s0 2, 1) F = F 1 S 2 {1} for all s 1 S 1, s 2 S 2, i {1, 2} (t 1, t 2, 1) δ((s 1, s 2, 1), a) t 1 δ 1 (s 1, a) and t 2 δ 2 (s 2, a) and s 1 F 1 (t 1, t 2, 2) δ((s 1, s 2, 1), a) t 1 δ 1 (s 1, a) and t 2 δ 2 (s 2, a) and s 1 F 1 (t 1, t 2, 2) δ((s 1, s 2, 2), a) t 1 δ 1 (s 1, a) and t 2 δ 2 (s 2, a) (t 1, t 2, 1) δ((s 1, s 2, 2), a) t 1 δ 1 (s 1, a) and t 2 δ 2 (s 2, a) and s 2 F 2 Formale Systeme 2 14/36

15 Second Order Definability of Omega Regular Sets Formale Systeme 2 15/36

16 Representation of Omega Words Vocabulary Let Σ V be the following vocabulary a constant symbol 0 the first element a unary function symbol s the successor function a unary relation symbol a(x) for any letter a in V a binary relation symbol < the order relation For a Σ V structure W we think of the elements in the universe W as the positions of a word. 0 W will be the first position s W (p) will yield the next position after p. W = a(p) for a position p W is supposed to mean that at p the letter a V occurs. Of course not every Σ V structure makes sense. Formale Systeme 2 16/36

17 Representation of Omega Words The axioms FOW 1. 0 is interpreted as the smallest element. x(x = 0 0 < x) 2. For every p exactly one of the atomic formulas a(p) for a V is true. x a V (a(x)) a,b V,a b (a(x) b(x)) 3. For all elements p s(p) is the successor of p. x(x < s(x)) z(x < z z < s(x)) 4. The successor s is injective. x y(s(x) = s(y) x = y) 5. < is a transitive and irreflexive relation. x y z(x < y y < z x < z) x (x < x) 6. All elements are of the form s n (0) for some n N. X(X(0) x(x(x) X(s(x))) y(x(y))) Formale Systeme 2 17/36

18 Omega Words as FOW Structures There is a 1-1 correspondence between omega words over the alphabet V and Σ V structures satisfying FOW. For w V ω we will denote the correspondig structure by W w. Without loss of generality we will assume that the universe of W w is the set N of natural numbers. Formale Systeme 2 18/36

19 Definability of the order relation The formula less(x, y) = X(X(x) z(x(z) X(s(z))) X(y)) x y defines the order relation in all structures satisfying FOW. Formale Systeme 2 19/36

20 Definable Sets of Omega Words Let F be a formula in monadic second order logic with signature Σ v. L ω (F) = {w V ω W w = F } Example F = n m(n < m a(m)) defines the set L ω (N afin ). Formale Systeme 2 20/36

21 Definability Theorem Let L V ω be a set of infinite words. There is a Büchi automaton accepting L iff there is a second order formula in signature Σ V defining L. Second Order Definability of Büchi acceptance Let L V ω be a set of infinite words. If there is a Büchi automaton N accepting L, i.e., L ω (N ) = L, then there is a second order formula Φ defining L. i.e., L ω (Φ) = L. Omega Regularity of Second Order Definable Sets For any second order formula Φ in the signature Σ V the set L ω (Φ) = L is omega regular. Formale Systeme 2 21/36

22 Second Order Definability of Büchi acceptance Proof Given: N = (S, V, s 0, δ, F) with S = {q 1,..., q n } and F = {q 1,..., q f }. w L ω (N ) iff there is a run s = (s i ) 0 i of N for w with infinitely many final states. iff there are subsets X k N, 1 k n such that 1. 1 k n X k = N 2. the X k are mutually disjoint 3. the sequence of states (s i ) 0 i definied by s i = q k i X k is a run of N for w with infinitely many final states. Formale Systeme 2 22/36

23 Second Order Definability of Büchi acceptance Proof w L ω (N ) iff there are subsets X k N, 1 k n such that 1. 1 k n X k = N 2. the X k are mutually disjoint 3. (s i ) 0 i definied by s i = q k i X k is a run of N for w with many final states. iff W w = Φ = X 1... X n (U D R F) with 1. U = x( 1 k n X k(x)) 2. D = 1 k<r n x(x k(x) X r (x)) 3. R = x( 1 k,r n (X k(x) X r (s(x)) a V k,r a(x))) with V k,r = {a V q r δ(q k, a)} 4. F = 1 k f x y(x < y X k(y)) Formale Systeme 2 23/36

24 Omega Regularity of Definable Sets Proof Claim For any second order formula Φ in the signature Σ V the set L ω (Φ) = L is omega regular. Naturally, the proof will proceed by induction on the complexity of Φ. This necessitates that we also consider formulas Φ(x 1,..., x p, X 1,..., X q ) with free first-order and second-order variables. We will for any numbers p of first-order and q of second-order free variables define new vocabularies V p,q such that V 0,0 = V and Φ(x 1,..., x p, X 1,..., X q ) defines an omega-regular subset of V ω p,q. Formale Systeme 2 24/36

25 A Short Note on Notation Instead of we will write val M,β,γ (Φ(x 1,..., x p, X 1,..., X q )) = 1, M = Φ(x 1,..., x p, X 1,..., X q )[s 1,..., s p, S 1,..., S q ] with s i = β(x i ) and S j = γ(x j ). Postfixing the assignments in square brackets to the formula is more convenient than manipulating the βs and γs Formale Systeme 2 25/36

26 The Vocabularies V p,q V p,q = V {0, 1} p {0, 1} q For p = q = 0 we get V p,q = V, as promissed. As an example consider p = 3, q = 2 and a V. Then b 1 = a, 0, 0, 0, 0, 0 b 2 = a, 0, 0, 1, 0, 0 b 3 = a, 0, 1, 0, 0, 1 are examples of letters in V 3,2. Let a[i] for 0 i p + q + 1 denote the i-th position of the letter a. Thus, e.g. b 1 [0] = a b 2 [3] = 1 b 3 [5] = 1 Formale Systeme 2 26/36

27 The Subset K p,q V ω p,q The subset K p,q V ω p,q will play a crucial role. K p,q = {w Vp,q ω for all 1 i p there is exactly one k s.t. the i-th position in the letter w(k) equals 1} Or using the a[i] notation K p,q = {w Vp,q ω for all 1 i p there is exactly one k with w(k)[i] = 1} Observe that K 0,0 = V ω. Exercise Show that all K p,q are omega regular set in the vocabulary V p,q. Formale Systeme 2 27/36

28 The Hidden Meaning of K p,q A word w K p,q codes a word 1. w 0 V ω, 2. p elements s i N and 3. q subsets S j N w 0 (n) = w(n)[0] n N s i = the unique n with w(n)[i] = 1 1 i p S j = {n N w(n)[p + j] = 1} 1 j q Formale Systeme 2 28/36

29 The Inductive Claim For any formula Φ(x 1,..., x p, X 1,..., X q ) the set L ω (Φ( x, X)) = {w K p,q W w 0 = Φ[s 1,..., s p, S 1,..., S q ]} is omega regular W w 0 is the structure already used above. Note that the special case of p = q = 0 is the claim of the theorem we want to prove. The proof proceeds by structural induction on Φ Formale Systeme 2 29/36

30 Inductive Proof Initial Case: Φ x i = x k Let A i,k V p,q be the set of all letters a with a[i] = a[k] = 0 and B i,k V p,q be the set of all letters b with b[i] = b[k] = 1. Then L ω (x i = x k ) = {w K p,q s i = s k } = A i,k B i,ka ω i,k K p,q Thus L ω (x i = x k ) is omega regular. Formale Systeme 2 30/36

31 Inductive Proof Initial Case: Φ a(x i ) Let D a,i be the set of letters d V p,q with d[0] = a and d[i] = 1. Then L ω (a(x i )) = {w K p,q W w 0 = a(x i )[s i ]} = for the unique n with w(n)[i] = 1 we must have w(n)[0] = a = K p,q Vp,qD a,i Vp,q ω Thus L ω (a(x i )) is omega regular. The remaining initial cases x i = s(x k ) and X j (x i ) are easy variations. Formale Systeme 2 31/36

32 Induction Step Case: Φ( x, X) = x i Φ 0 ( x, X) The remaining inductions steps Φ = Φ 1 Φ = Φ 1 Φ 2 Φ = Φ 1 Φ 2 and Φ = X j Φ 0 are either simple or similar. Notational Simplification: i = p. Thus Φ(x 1,..., x p 1, X) = x p Φ 0 (x 1,..., x p 1, x p, X). By induction hypothesis L 1 = {w V ω p,q W w 0 = Φ 0 ( x, x p, X)[ s, s p, S]} is an omega regular subset of V ω p,q. We want to show that L = {w Vp 1,q ω W w 0 = x pφ 0 ( x, X)[ s, S]} is an omega regular subset of V ω p 1,q. Formale Systeme 2 32/36

33 Homomorphisms The still open proof obligation requires us to compare omega regular sets over different vocabularies. This is new! Let V 1, V 2 be two vocabularies, µ : V 1 V 2 an arbitrary mapping. The extension of µ to µ : V ω 1 V ω 2 is called an homomorphism from V ω 1 to V ω 2. Lemma L an omega regular subset of V ω 1 and µ : V ω 1 V ω 2 an homorphism. Then µ(l) is an omega regular subset of V ω 2. Formale Systeme 2 33/36

34 Induction Step Case: Φ( x, X) = x i Φ 0 ( x, X) Assume L 1 = {w V ω p,q W w 0 = Φ 0 ( x, x p, X)[ s, s p, S]} ω regular in V ω p,q. Show L = {w V ω p 1,q W w 0 = x pφ 0 ( x, X)[ s, S]} ω regular in V ω p 1,q. Define µ : V p,q V p 1,q by µ( a, c 1,..., c p 1, c p, d 1,..., d q ) = a, c 1,..., c p 1, d 1,..., d q Claim : L = {µ(w) w L 1 } = µ(l 1 ). From this claim we obtain by the homomorphism lemma that L is omega regular, as desired. Formale Systeme 2 34/36

35 Proof of Claim To increase readability we supress all variables except x p. w L 1 iff W w 0 = Φ 1 (x p )[s p ] W w 0 = x p Φ 1 iff W µ(w) 0 = x p Φ 1 µ(w) 0 = w 0 and µ(w)(z) = w(z) for z not shown since µ only touches position p iff µ(w) L w L iff W (w ) 0 = x pφ 1 iff W (w ) 0 = Φ 1(x p )[n p ] for some n p N iff W w 0 = Φ 1 (x p )[s p ] for an appropriate w Vp,q ω iff w L 1 w is obtained by replacing w (n) = (a, c 1,..., c p 1, d 1,..., d q ) by { a, c1,..., c p 1, 1, d 1,..., d q if n = n p a, c 1,..., c p 1, 0, d 1,..., d q if n n p Formale Systeme 2 35/36

36 Example The formula X(X(0) x(x(x) X(x + 2)) x(x(x) a(x))) describes the set of all omega words with the letter a occuring at all even positions. At uneven positions a may occur or not. By the theorem we know that there is a Büchi automaton for this set of words. By contrast we know, that this set if not LTL-definable. Formale Systeme 2 36/36

Strings and Sets: set complement, union, intersection, etc. set concatenation AB, power of set A n, A, A +

Strings and Sets: set complement, union, intersection, etc. set concatenation AB, power of set A n, A, A + Strings and Sets: A string over Σ is any nite-length sequence of elements of Σ The set of all strings over alphabet Σ is denoted as Σ Operators over set: set complement, union, intersection, etc. set concatenation

Læs mere

Skriftlig Eksamen Automatteori og Beregnelighed (DM17)

Skriftlig Eksamen Automatteori og Beregnelighed (DM17) Skriftlig Eksamen Automatteori og Beregnelighed (DM17) Institut for Matematik & Datalogi Syddansk Universitet Odense Campus Lørdag, den 15. Januar 2005 Alle sædvanlige hjælpemidler (lærebøger, notater

Læs mere

Exercise 6.14 Linearly independent vectors are also affinely independent.

Exercise 6.14 Linearly independent vectors are also affinely independent. Affine sets Linear Inequality Systems Definition 6.12 The vectors v 1, v 2,..., v k are affinely independent if v 2 v 1,..., v k v 1 is linearly independent; affinely dependent, otherwise. We first check

Læs mere

Skriftlig Eksamen Beregnelighed (DM517)

Skriftlig Eksamen Beregnelighed (DM517) Skriftlig Eksamen Beregnelighed (DM517) Institut for Matematik & Datalogi Syddansk Universitet Mandag den 31 Oktober 2011, kl. 9 13 Alle sædvanlige hjælpemidler (lærebøger, notater etc.) samt brug af lommeregner

Læs mere

Skriftlig Eksamen Beregnelighed (DM517)

Skriftlig Eksamen Beregnelighed (DM517) Skriftlig Eksamen Beregnelighed (DM517) Institut for Matematik & Datalogi Syddansk Universitet Mandag den 7 Januar 2008, kl. 9 13 Alle sædvanlige hjælpemidler (lærebøger, notater etc.) samt brug af lommeregner

Læs mere

Sign variation, the Grassmannian, and total positivity

Sign variation, the Grassmannian, and total positivity Sign variation, the Grassmannian, and total positivity arxiv:1503.05622 Slides available at math.berkeley.edu/~skarp Steven N. Karp, UC Berkeley FPSAC 2015 KAIST, Daejeon Steven N. Karp (UC Berkeley) Sign

Læs mere

Skriftlig Eksamen Kombinatorik, Sandsynlighed og Randomiserede Algoritmer (DM528)

Skriftlig Eksamen Kombinatorik, Sandsynlighed og Randomiserede Algoritmer (DM528) Skriftlig Eksamen Kombinatorik, Sandsynlighed og Randomiserede Algoritmer (DM58) Institut for Matematik og Datalogi Syddansk Universitet, Odense Torsdag den 1. januar 01 kl. 9 13 Alle sædvanlige hjælpemidler

Læs mere

Linear Programming ١ C H A P T E R 2

Linear Programming ١ C H A P T E R 2 Linear Programming ١ C H A P T E R 2 Problem Formulation Problem formulation or modeling is the process of translating a verbal statement of a problem into a mathematical statement. The Guidelines of formulation

Læs mere

On the complexity of drawing trees nicely: corrigendum

On the complexity of drawing trees nicely: corrigendum Acta Informatica 40, 603 607 (2004) Digital Object Identifier (DOI) 10.1007/s00236-004-0138-y On the complexity of drawing trees nicely: corrigendum Thorsten Akkerman, Christoph Buchheim, Michael Jünger,

Læs mere

University of Copenhagen Faculty of Science Written Exam - 3. April Algebra 3

University of Copenhagen Faculty of Science Written Exam - 3. April Algebra 3 University of Copenhagen Faculty of Science Written Exam - 3. April 2009 Algebra 3 This exam contains 5 exercises which are to be solved in 3 hours. The exercises are posed in an English and in a Danish

Læs mere

University of Copenhagen Faculty of Science Written Exam April Algebra 3

University of Copenhagen Faculty of Science Written Exam April Algebra 3 University of Copenhagen Faculty of Science Written Exam - 16. April 2010 Algebra This exam contains 5 exercises which are to be solved in hours. The exercises are posed in an English and in a Danish version.

Læs mere

Vina Nguyen HSSP July 13, 2008

Vina Nguyen HSSP July 13, 2008 Vina Nguyen HSSP July 13, 2008 1 What does it mean if sets A, B, C are a partition of set D? 2 How do you calculate P(A B) using the formula for conditional probability? 3 What is the difference between

Læs mere

Generalized Probit Model in Design of Dose Finding Experiments. Yuehui Wu Valerii V. Fedorov RSU, GlaxoSmithKline, US

Generalized Probit Model in Design of Dose Finding Experiments. Yuehui Wu Valerii V. Fedorov RSU, GlaxoSmithKline, US Generalized Probit Model in Design of Dose Finding Experiments Yuehui Wu Valerii V. Fedorov RSU, GlaxoSmithKline, US Outline Motivation Generalized probit model Utility function Locally optimal designs

Læs mere

Basic statistics for experimental medical researchers

Basic statistics for experimental medical researchers Basic statistics for experimental medical researchers Sample size calculations September 15th 2016 Christian Pipper Department of public health (IFSV) Faculty of Health and Medicinal Science (SUND) E-mail:

Læs mere

The X Factor. Målgruppe. Læringsmål. Introduktion til læreren klasse & ungdomsuddannelser Engelskundervisningen

The X Factor. Målgruppe. Læringsmål. Introduktion til læreren klasse & ungdomsuddannelser Engelskundervisningen The X Factor Målgruppe 7-10 klasse & ungdomsuddannelser Engelskundervisningen Læringsmål Eleven kan give sammenhængende fremstillinger på basis af indhentede informationer Eleven har viden om at søge og

Læs mere

Besvarelser til Lineær Algebra Reeksamen Februar 2017

Besvarelser til Lineær Algebra Reeksamen Februar 2017 Besvarelser til Lineær Algebra Reeksamen - 7. Februar 207 Mikkel Findinge Bemærk, at der kan være sneget sig fejl ind. Kontakt mig endelig, hvis du skulle falde over en sådan. Dette dokument har udelukkende

Læs mere

DoodleBUGS (Hands-on)

DoodleBUGS (Hands-on) DoodleBUGS (Hands-on) Simple example: Program: bino_ave_sim_doodle.odc A simulation example Generate a sample from F=(r1+r2)/2 where r1~bin(0.5,200) and r2~bin(0.25,100) Note that E(F)=(100+25)/2=62.5

Læs mere

ECE 551: Digital System * Design & Synthesis Lecture Set 5

ECE 551: Digital System * Design & Synthesis Lecture Set 5 ECE 551: Digital System * Design & Synthesis Lecture Set 5 5.1: Verilog Behavioral Model for Finite State Machines (FSMs) 5.2: Verilog Simulation I/O and 2001 Standard (In Separate File) 3/4/2003 1 ECE

Læs mere

Engelsk. Niveau D. De Merkantile Erhvervsuddannelser September Casebaseret eksamen. og

Engelsk. Niveau D. De Merkantile Erhvervsuddannelser September Casebaseret eksamen.  og 052431_EngelskD 08/09/05 13:29 Side 1 De Merkantile Erhvervsuddannelser September 2005 Side 1 af 4 sider Casebaseret eksamen Engelsk Niveau D www.jysk.dk og www.jysk.com Indhold: Opgave 1 Presentation

Læs mere

Project Step 7. Behavioral modeling of a dual ported register set. 1/8/ L11 Project Step 5 Copyright Joanne DeGroat, ECE, OSU 1

Project Step 7. Behavioral modeling of a dual ported register set. 1/8/ L11 Project Step 5 Copyright Joanne DeGroat, ECE, OSU 1 Project Step 7 Behavioral modeling of a dual ported register set. Copyright 2006 - Joanne DeGroat, ECE, OSU 1 The register set Register set specifications 16 dual ported registers each with 16- bit words

Læs mere

University of Copenhagen Faculty of Science Written Exam - 8. April 2008. Algebra 3

University of Copenhagen Faculty of Science Written Exam - 8. April 2008. Algebra 3 University of Copenhagen Faculty of Science Written Exam - 8. April 2008 Algebra 3 This exam contains 5 exercises which are to be solved in 3 hours. The exercises are posed in an English and in a Danish

Læs mere

Satisability of Boolean Formulas

Satisability of Boolean Formulas SAT exercises 1 March, 2016 slide 1 Satisability of Boolean Formulas Combinatorics and Algorithms Prof. Emo Welzl Assistant: (CAB G36.1, cannamalai@inf.ethz.ch) URL: http://www.ti.inf.ethz.ch/ew/courses/sat16/

Læs mere

Statistik for MPH: oktober Attributable risk, bestemmelse af stikprøvestørrelse (Silva: , )

Statistik for MPH: oktober Attributable risk, bestemmelse af stikprøvestørrelse (Silva: , ) Statistik for MPH: 7 29. oktober 2015 www.biostat.ku.dk/~pka/mph15 Attributable risk, bestemmelse af stikprøvestørrelse (Silva: 333-365, 381-383) Per Kragh Andersen 1 Fra den 6. uges statistikundervisning:

Læs mere

Multivariate Extremes and Dependence in Elliptical Distributions

Multivariate Extremes and Dependence in Elliptical Distributions Multivariate Extremes and Dependence in Elliptical Distributions Filip Lindskog, RiskLab, ETH Zürich joint work with Henrik Hult, KTH Stockholm I II III IV V Motivation Elliptical distributions A class

Læs mere

Skriftlig Eksamen Diskret matematik med anvendelser (DM72)

Skriftlig Eksamen Diskret matematik med anvendelser (DM72) Skriftlig Eksamen Diskret matematik med anvendelser (DM72) Institut for Matematik & Datalogi Syddansk Universitet, Odense Onsdag den 18. januar 2006 Alle sædvanlige hjælpemidler (lærebøger, notater etc.),

Læs mere

Kurver og flader Aktivitet 15 Geodætiske kurver, Isometri, Mainardi-Codazzi, Teorema Egregium

Kurver og flader Aktivitet 15 Geodætiske kurver, Isometri, Mainardi-Codazzi, Teorema Egregium Kurver og flader Aktivitet 15 Geodætiske kurver, Isometri, Mainardi-Codazzi, Teorema Egregium Lisbeth Fajstrup Institut for Matematiske Fag Aalborg Universitet Kurver og Flader 2013 Lisbeth Fajstrup (AAU)

Læs mere

Statistik for MPH: 7

Statistik for MPH: 7 Statistik for MPH: 7 3. november 2011 www.biostat.ku.dk/~pka/mph11 Attributable risk, bestemmelse af stikprøvestørrelse (Silva: 333-365, 381-383) Per Kragh Andersen 1 Fra den 6. uges statistikundervisning:

Læs mere

PARALLELIZATION OF ATTILA SIMULATOR WITH OPENMP MIGUEL ÁNGEL MARTÍNEZ DEL AMOR MINIPROJECT OF TDT24 NTNU

PARALLELIZATION OF ATTILA SIMULATOR WITH OPENMP MIGUEL ÁNGEL MARTÍNEZ DEL AMOR MINIPROJECT OF TDT24 NTNU PARALLELIZATION OF ATTILA SIMULATOR WITH OPENMP MIGUEL ÁNGEL MARTÍNEZ DEL AMOR MINIPROJECT OF TDT24 NTNU OUTLINE INEFFICIENCY OF ATTILA WAYS TO PARALLELIZE LOW COMPATIBILITY IN THE COMPILATION A SOLUTION

Læs mere

Probabilistic properties of modular addition. Victoria Vysotskaya

Probabilistic properties of modular addition. Victoria Vysotskaya Probabilistic properties of modular addition Victoria Vysotskaya JSC InfoTeCS, NPK Kryptonite CTCrypt 19 / June 4, 2019 vysotskaya.victory@gmail.com Victoria Vysotskaya (Infotecs, Kryptonite) Probabilistic

Læs mere

SKRIFTLIG EKSAMEN I NUMERISK DYNAMIK Bygge- og Anlægskonstruktion, 7. semester Torsdag den 19. juni 2003 kl Alle hjælpemidler er tilladt

SKRIFTLIG EKSAMEN I NUMERISK DYNAMIK Bygge- og Anlægskonstruktion, 7. semester Torsdag den 19. juni 2003 kl Alle hjælpemidler er tilladt SKRIFTLIG EKSAMEN I NUMERISK DYNAMIK Bygge- og Anlægskonstruktion, 7. semester Torsdag den 9. juni 23 kl. 9.-3. Alle hjælpemidler er tilladt OPGAVE f(x) x Givet funktionen f(x) x, x [, ] Spørgsmål (%)

Læs mere

Engelsk. Niveau C. De Merkantile Erhvervsuddannelser September 2005. Casebaseret eksamen. www.jysk.dk og www.jysk.com.

Engelsk. Niveau C. De Merkantile Erhvervsuddannelser September 2005. Casebaseret eksamen. www.jysk.dk og www.jysk.com. 052430_EngelskC 08/09/05 13:29 Side 1 De Merkantile Erhvervsuddannelser September 2005 Side 1 af 4 sider Casebaseret eksamen Engelsk Niveau C www.jysk.dk og www.jysk.com Indhold: Opgave 1 Presentation

Læs mere

IBM Network Station Manager. esuite 1.5 / NSM Integration. IBM Network Computer Division. tdc - 02/08/99 lotusnsm.prz Page 1

IBM Network Station Manager. esuite 1.5 / NSM Integration. IBM Network Computer Division. tdc - 02/08/99 lotusnsm.prz Page 1 IBM Network Station Manager esuite 1.5 / NSM Integration IBM Network Computer Division tdc - 02/08/99 lotusnsm.prz Page 1 New esuite Settings in NSM The Lotus esuite Workplace administration option is

Læs mere

Curve Modeling B-Spline Curves. Dr. S.M. Malaek. Assistant: M. Younesi

Curve Modeling B-Spline Curves. Dr. S.M. Malaek. Assistant: M. Younesi Curve Modeling B-Spline Curves Dr. S.M. Malaek Assistant: M. Younesi Motivation B-Spline Basis: Motivation Consider designing the profile of a vase. The left figure below is a Bézier curve of degree 11;

Læs mere

Black Jack --- Review. Spring 2012

Black Jack --- Review. Spring 2012 Black Jack --- Review Spring 2012 Simulation Simulation can solve real-world problems by modeling realworld processes to provide otherwise unobtainable information. Computer simulation is used to predict

Læs mere

CHAPTER 8: USING OBJECTS

CHAPTER 8: USING OBJECTS Ruby: Philosophy & Implementation CHAPTER 8: USING OBJECTS Introduction to Computer Science Using Ruby Ruby is the latest in the family of Object Oriented Programming Languages As such, its designer studied

Læs mere

what is this all about? Introduction three-phase diode bridge rectifier input voltages input voltages, waveforms normalization of voltages voltages?

what is this all about? Introduction three-phase diode bridge rectifier input voltages input voltages, waveforms normalization of voltages voltages? what is this all about? v A Introduction three-phase diode bridge rectifier D1 D D D4 D5 D6 i OUT + v OUT v B i 1 i i + + + v 1 v v input voltages input voltages, waveforms v 1 = V m cos ω 0 t v = V m

Læs mere

Help / Hjælp

Help / Hjælp Home page Lisa & Petur www.lisapetur.dk Help / Hjælp Help / Hjælp General The purpose of our Homepage is to allow external access to pictures and videos taken/made by the Gunnarsson family. The Association

Læs mere

DM549 Diskrete Metoder til Datalogi

DM549 Diskrete Metoder til Datalogi DM549 Diskrete Metoder til Datalogi Spørgsmål 1 (8%) Hvilke udsagn er sande? Husk, at symbolet betyder går op i. Which propositions are true? Recall that the symbol means divides. Svar 1.a: n Z: 2n > n

Læs mere

Heuristics for Improving

Heuristics for Improving Heuristics for Improving Model Learning Based Testing Muhammad Naeem Irfan VASCO-LIG LIG, Computer Science Lab, Grenoble Universities, 38402 Saint Martin d Hères France Introduction Component Based Software

Læs mere

FLAC Monadic Second-Order Logic

FLAC Monadic Second-Order Logic FLAC Monadic Second-Order Logic 1 Second-Order Logic Klaus Sutner Carnegie Mellon Universality Fall 2017 Words as Structures CTL Structures The Central Weakness 3 Calculus 4 Intuitively, FOL allows us

Læs mere

Privat-, statslig- eller regional institution m.v. Andet Added Bekaempelsesudfoerende: string No Label: Bekæmpelsesudførende

Privat-, statslig- eller regional institution m.v. Andet Added Bekaempelsesudfoerende: string No Label: Bekæmpelsesudførende Changes for Rottedatabasen Web Service The coming version of Rottedatabasen Web Service will have several changes some of them breaking for the exposed methods. These changes and the business logic behind

Læs mere

19.3. Second Order ODEs. Introduction. Prerequisites. Learning Outcomes

19.3. Second Order ODEs. Introduction. Prerequisites. Learning Outcomes Second Order ODEs 19.3 Introduction In this Section we start to learn how to solve second-order differential equations of a particular type: those that are linear and that have constant coefficients. Such

Læs mere

User Manual for LTC IGNOU

User Manual for LTC IGNOU User Manual for LTC IGNOU 1 LTC (Leave Travel Concession) Navigation: Portal Launch HCM Application Self Service LTC Self Service 1. LTC Advance/Intimation Navigation: Launch HCM Application Self Service

Læs mere

On the Relations Between Fuzzy Topologies and α Cut Topologies

On the Relations Between Fuzzy Topologies and α Cut Topologies S Ü Fen Ed Fak Fen Derg Sayı 23 (2004) 21-27, KONYA On the Relations Between Fuzzy Topologies and α Cut Topologies Zekeriya GÜNEY 1 Abstract: In this study, some relations have been generated between fuzzy

Læs mere

Fejlbeskeder i SMDB. Business Rules Fejlbesked Kommentar. Validate Business Rules. Request- ValidateRequestRegist ration (Rules :1)

Fejlbeskeder i SMDB. Business Rules Fejlbesked Kommentar. Validate Business Rules. Request- ValidateRequestRegist ration (Rules :1) Fejlbeskeder i SMDB Validate Business Rules Request- ValidateRequestRegist ration (Rules :1) Business Rules Fejlbesked Kommentar the municipality must have no more than one Kontaktforløb at a time Fejl

Læs mere

Particle-based T-Spline Level Set Evolution for 3D Object Reconstruction with Range and Volume Constraints

Particle-based T-Spline Level Set Evolution for 3D Object Reconstruction with Range and Volume Constraints Particle-based T-Spline Level Set for 3D Object Reconstruction with Range and Volume Constraints Robert Feichtinger (joint work with Huaiping Yang, Bert Jüttler) Institute of Applied Geometry, JKU Linz

Læs mere

Checking Timed Büchi Automata Emptiness Efficiently

Checking Timed Büchi Automata Emptiness Efficiently Formal Methods in System Design, 26, 267 292, 2005 c 2005 Springer Science + Business Media, Inc. Manufactured in The Netherlands. Checking Timed Büchi Automata Emptiness Efficiently STAVROS TRIPAKIS CNRS

Læs mere

Adaptive Algorithms for Blind Separation of Dependent Sources. George V. Moustakides INRIA, Sigma 2

Adaptive Algorithms for Blind Separation of Dependent Sources. George V. Moustakides INRIA, Sigma 2 Adaptive Algorithms for Blind Separation of Dependent Sources George V. Moustakides INRIA, Sigma 2 Problem definition-motivation Existing adaptive scheme-independence General adaptive scheme-dependence

Læs mere

Resource types R 1 1, R 2 2,..., R m CPU cycles, memory space, files, I/O devices Each resource type R i has W i instances.

Resource types R 1 1, R 2 2,..., R m CPU cycles, memory space, files, I/O devices Each resource type R i has W i instances. System Model Resource types R 1 1, R 2 2,..., R m CPU cycles, memory space, files, I/O devices Each resource type R i has W i instances. Each process utilizes a resource as follows: request use e.g., request

Læs mere

Angle Ini/al side Terminal side Vertex Standard posi/on Posi/ve angles Nega/ve angles. Quadrantal angle

Angle Ini/al side Terminal side Vertex Standard posi/on Posi/ve angles Nega/ve angles. Quadrantal angle Mrs. Valentine AFM Objective: I will be able to identify angle types, convert between degrees and radians for angle measures, identify coterminal angles, find the length of an intercepted arc, and find

Læs mere

Vores mange brugere på musskema.dk er rigtig gode til at komme med kvalificerede ønsker og behov.

Vores mange brugere på musskema.dk er rigtig gode til at komme med kvalificerede ønsker og behov. På dansk/in Danish: Aarhus d. 10. januar 2013/ the 10 th of January 2013 Kære alle Chefer i MUS-regi! Vores mange brugere på musskema.dk er rigtig gode til at komme med kvalificerede ønsker og behov. Og

Læs mere

Some results for the weighted Drazin inverse of a modified matrix

Some results for the weighted Drazin inverse of a modified matrix International Journal of Applied Mathematics Computation Journal homepage: www.darbose.in/ijamc ISSN: 0974-4665 (Print) 0974-4673 (Online) Volume 6(1) 2014 1 9 Some results for the weighted Drazin inverse

Læs mere

Aktivering af Survey funktionalitet

Aktivering af Survey funktionalitet Surveys i REDCap REDCap gør det muligt at eksponere ét eller flere instrumenter som et survey (spørgeskema) som derefter kan udfyldes direkte af patienten eller forsøgspersonen over internettet. Dette

Læs mere

Det er muligt at chekce følgende opg. i CodeJudge: og

Det er muligt at chekce følgende opg. i CodeJudge: og Det er muligt at chekce følgende opg. i CodeJudge:.1.7 og.1.14 Exercise 1: Skriv en forløkke, som producerer følgende output: 1 4 9 16 5 36 Bonusopgave: Modificer dit program, så det ikke benytter multiplikation.

Læs mere

Unitel EDI MT940 June 2010. Based on: SWIFT Standards - Category 9 MT940 Customer Statement Message (January 2004)

Unitel EDI MT940 June 2010. Based on: SWIFT Standards - Category 9 MT940 Customer Statement Message (January 2004) Unitel EDI MT940 June 2010 Based on: SWIFT Standards - Category 9 MT940 Customer Statement Message (January 2004) Contents 1. Introduction...3 2. General...3 3. Description of the MT940 message...3 3.1.

Læs mere

Business Rules Fejlbesked Kommentar

Business Rules Fejlbesked Kommentar Fejlbeskeder i SMDB Validate Business Request- ValidateRequestRegi stration ( :1) Business Fejlbesked Kommentar the municipality must have no more than one Kontaktforløb at a time Fejl 1: Anmodning En

Læs mere

Popular Sorting Algorithms CHAPTER 7: SORTING & SEARCHING. Popular Sorting Algorithms. Selection Sort 4/23/2013

Popular Sorting Algorithms CHAPTER 7: SORTING & SEARCHING. Popular Sorting Algorithms. Selection Sort 4/23/2013 Popular Sorting Algorithms CHAPTER 7: SORTING & SEARCHING Introduction to Computer Science Using Ruby Computers spend a tremendous amount of time sorting The sorting problem: given a list of elements in

Læs mere

Beyond Fermat s Last Theorem

Beyond Fermat s Last Theorem Beyond Fermat s Last Theorem David Zureick-Brown Slides available at http://www.mathcs.emory.edu/~dzb/slides/ EUMMA talk October 18, 2018 a 2 + b 2 = c 2 Basic Problem (Solving Diophantine Equations) Setup

Læs mere

Fejlbeskeder i Stofmisbrugsdatabasen (SMDB)

Fejlbeskeder i Stofmisbrugsdatabasen (SMDB) Fejlbeskeder i Stofmisbrugsdatabasen (SMDB) Oversigt over fejlbeskeder (efter fejlnummer) ved indberetning til SMDB via webløsning og via webservices (hvor der dog kan være yderligere typer fejlbeskeder).

Læs mere

Design by Contract. Design and Programming by Contract. Oversigt. Prædikater

Design by Contract. Design and Programming by Contract. Oversigt. Prædikater Design by Contract Design and Programming by Contract Anne Haxthausen ah@imm.dtu.dk Informatics and Mathematical Modelling Technical University of Denmark Design by Contract er en teknik til at specificere

Læs mere

Subject to terms and conditions. WEEK Type Price EUR WEEK Type Price EUR WEEK Type Price EUR WEEK Type Price EUR

Subject to terms and conditions. WEEK Type Price EUR WEEK Type Price EUR WEEK Type Price EUR WEEK Type Price EUR ITSO SERVICE OFFICE Weeks for Sale 31/05/2015 m: +34 636 277 307 w: clublasanta-timeshare.com e: roger@clublasanta.com See colour key sheet news: rogercls.blogspot.com Subject to terms and conditions THURSDAY

Læs mere

Boligsøgning / Search for accommodation!

Boligsøgning / Search for accommodation! Boligsøgning / Search for accommodation! For at guide dig frem til den rigtige vejledning, skal du lige svare på et par spørgsmål: To make sure you are using the correct guide for applying you must answer

Læs mere

Trolling Master Bornholm 2015

Trolling Master Bornholm 2015 Trolling Master Bornholm 2015 (English version further down) Panorama billede fra starten den første dag i 2014 Michael Koldtoft fra Trolling Centrum har brugt lidt tid på at arbejde med billederne fra

Læs mere

The stuttering principle revisited

The stuttering principle revisited Acta Informatica (2005) 41(7/8): 415 434 DOI 10.1007/s00236-005-0164-4 ORIGINAL ARTICLE Antonín Kučera Jan Strejček The stuttering principle revisited Received: 18 May 2004 / Revised: 10 February 2005

Læs mere

Nyhedsmail, december 2013 (scroll down for English version)

Nyhedsmail, december 2013 (scroll down for English version) Nyhedsmail, december 2013 (scroll down for English version) Kære Omdeler Julen venter rundt om hjørnet. Og netop julen er årsagen til, at NORDJYSKE Distributions mange omdelere har ekstra travlt med at

Læs mere

Special VFR. - ved flyvning til mindre flyveplads uden tårnkontrol som ligger indenfor en kontrolzone

Special VFR. - ved flyvning til mindre flyveplads uden tårnkontrol som ligger indenfor en kontrolzone Special VFR - ved flyvning til mindre flyveplads uden tårnkontrol som ligger indenfor en kontrolzone SERA.5005 Visual flight rules (a) Except when operating as a special VFR flight, VFR flights shall be

Læs mere

Trolling Master Bornholm 2014

Trolling Master Bornholm 2014 Trolling Master Bornholm 2014 (English version further down) Ny præmie Trolling Master Bornholm fylder 10 år næste gang. Det betyder, at vi har fundet på en ny og ganske anderledes præmie. Den fisker,

Læs mere

Engineering of Chemical Register Machines

Engineering of Chemical Register Machines Prague International Workshop on Membrane Computing 2008 R. Fassler, T. Hinze, T. Lenser and P. Dittrich {raf,hinze,thlenser,dittrich}@minet.uni-jena.de 2. June 2008 Outline 1 Motivation Goal Realization

Læs mere

Shooting tethered med Canon EOS-D i Capture One Pro. Shooting tethered i Capture One Pro 6.4 & 7.0 på MAC OS-X 10.7.5 & 10.8

Shooting tethered med Canon EOS-D i Capture One Pro. Shooting tethered i Capture One Pro 6.4 & 7.0 på MAC OS-X 10.7.5 & 10.8 Shooting tethered med Canon EOS-D i Capture One Pro Shooting tethered i Capture One Pro 6.4 & 7.0 på MAC OS-X 10.7.5 & 10.8 For Canon EOS-D ejere der fotograferer Shooting tethered med EOS-Utility eller

Læs mere

Frequency Dispersion: Dielectrics, Conductors, and Plasmas

Frequency Dispersion: Dielectrics, Conductors, and Plasmas 1/23 Frequency Dispersion: Dielectrics, Conductors, and Plasmas Carlos Felipe Espinoza Hernández Professor: Jorge Alfaro Instituto de Física Pontificia Universidad Católica de Chile 2/23 Contents 1 Simple

Læs mere

Freefly B-Række Regler

Freefly B-Række Regler Freefly B-Række Regler Freefly B-Rækken er skabt til at imødekomme både nye og erfarende freeflyere, og præsentere dem for konkurrence elementet. Der konkurreres efter FAI regler, men der forekommer dog

Læs mere

DM547 Diskret Matematik

DM547 Diskret Matematik DM547 Diskret Matematik Spørgsmål 1 (11%) Hvilke udsagn er sande? Husk, at symbolet betyder går op i. Which propositions are true? Recall that the symbol means divides. Svar 1.a: n Z: 2n > n + 2 Svar 1.b:

Læs mere

ArbejsskadeAnmeldelse

ArbejsskadeAnmeldelse ArbejsskadeAnmeldelse OpretAnmeldelse 001 All Klassifikations: KlassifikationKode is an unknown value in the current Klassifikation 002 All Klassifikations: KlassifikationKode does not correspond to KlassifikationTekst

Læs mere

Flow Equivalence between Substitutional Dynamical Systems

Flow Equivalence between Substitutional Dynamical Systems Flow Equivalence between Substitutional Dynamical Systems Master s thesis presentation, Jacob Thamsborg August 24th 2006 Abstract We concern ourselves with the what and when of flow equivalence between

Læs mere

CS 4390/5387 SOFTWARE V&V LECTURE 5 BLACK-BOX TESTING - 2

CS 4390/5387 SOFTWARE V&V LECTURE 5 BLACK-BOX TESTING - 2 1 CS 4390/5387 SOFTWARE V&V LECTURE 5 BLACK-BOX TESTING - 2 Outline 2 HW Solution Exercise (Equivalence Class Testing) Exercise (Decision Table Testing) Pairwise Testing Exercise (Pairwise Testing) 1 Homework

Læs mere

Introduction Ronny Bismark

Introduction Ronny Bismark Introduction 1 Outline Motivation / Problem Statement Tool holder Sensor calibration Motion primitive Concatenation of clouds Segmentation Next possible pose Problems and Challenges Future Work 2 Motivation

Læs mere

K E N D E L S E. Sagens parter: Under denne sag har advokat A, København, på vegne X klaget over advokat C, England.

K E N D E L S E. Sagens parter: Under denne sag har advokat A, København, på vegne X klaget over advokat C, England. København, den 1. december 2004 J.nr.02-0401-04-0593 bj-jm K E N D E L S E Sagens parter: Under denne sag har advokat A, København, på vegne X klaget over advokat C, England. Sagens tema: Klagen vedrører

Læs mere

Portal Registration. Check Junk Mail for activation . 1 Click the hyperlink to take you back to the portal to confirm your registration

Portal Registration. Check Junk Mail for activation  . 1 Click the hyperlink to take you back to the portal to confirm your registration Portal Registration Step 1 Provide the necessary information to create your user. Note: First Name, Last Name and Email have to match exactly to your profile in the Membership system. Step 2 Click on the

Læs mere

Eric Nordenstam 1 Benjamin Young 2. FPSAC 12, Nagoya, Japan

Eric Nordenstam 1 Benjamin Young 2. FPSAC 12, Nagoya, Japan Eric 1 Benjamin 2 1 Fakultät für Matematik Universität Wien 2 Institutionen för Matematik Royal Institute of Technology (KTH) Stockholm FPSAC 12, Nagoya, Japan The Aztec Diamond Aztec diamonds of orders

Læs mere

Læs venligst Beboer information om projekt vandskade - sikring i 2015/2016

Læs venligst Beboer information om projekt vandskade - sikring i 2015/2016 Læs venligst Beboer information om projekt vandskade - sikring i 2015/2016 Vi er nødsaget til at få adgang til din lejlighed!! Hvis Kridahl (VVS firma) har bedt om adgang til din/jeres lejlighed og nøgler,

Læs mere

Titel: Barry s Bespoke Bakery

Titel: Barry s Bespoke Bakery Titel: Tema: Kærlighed, kager, relationer Fag: Engelsk Målgruppe: 8.-10.kl. Data om læremidlet: Tv-udsendelse: SVT2, 03-08-2014, 10 min. Denne pædagogiske vejledning indeholder ideer til arbejdet med tema

Læs mere

Computing Answers with Model Elimination

Computing Answers with Model Elimination Computing Answers with Model Elimination Peter Baumgartner Ulrich Furbach Frieder Stolzenburg Universität Koblenz Institut für Informatik Rheinau 1 D 56075 Koblenz Germany E-mail: peter,uli,stolzen@informatik.uni-koblenz.de

Læs mere

DIVAR VIGTIGT! / IMPORTANT! MÅL / DIMENSIONS. The DIVAR wall lamp comes standard. with 2.4 m braided cord and a plug in power supply (EU or UK).

DIVAR VIGTIGT! / IMPORTANT! MÅL / DIMENSIONS. The DIVAR wall lamp comes standard. with 2.4 m braided cord and a plug in power supply (EU or UK). DIVAR VIGTIGT! / IMPORTANT! VIGTIGT læs vores anvisninger før du bruger produktet. Har du problemer med den elektriske installation, skal du kontakte en elektriker. Sørg for at altid slukke for strømmen

Læs mere

Sunlite pakke 2004 Standard (EC) (SUN SL512EC)

Sunlite pakke 2004 Standard (EC) (SUN SL512EC) Sunlite pakke 2004 Standard (EC) (SUN SL512EC) - Gruppering af chasere igen bag efter. På den måde kan laves cirkelbevægelser og det kan 2,787.00 DKK Side 1 Sunlite pakke 2006 Standard (EC) LAN (SUN SL512EC

Læs mere

Context-Free Grammars

Context-Free Grammars Context-Free Grammars Describing Languages We've seen two models for the regular languages: Automata accept precisely the strings in the language. Regular expressions describe precisely the strings in

Læs mere

DK - Quick Text Translation. HEYYER Net Promoter System Magento extension

DK - Quick Text Translation. HEYYER Net Promoter System Magento extension DK - Quick Text Translation HEYYER Net Promoter System Magento extension Version 1.0 15-11-2013 HEYYER / Email Templates Invitation Email Template Invitation Email English Dansk Title Invitation Email

Læs mere

Info og krav til grupper med motorkøjetøjer

Info og krav til grupper med motorkøjetøjer Info og krav til grupper med motorkøjetøjer (English version, see page 4) GENERELT - FOR ALLE TYPER KØRETØJER ØJER GODT MILJØ FOR ALLE Vi ønsker at paraden er en god oplevelse for alle deltagere og tilskuere,

Læs mere

MM537 Introduktion til Matematiske Metoder

MM537 Introduktion til Matematiske Metoder MM537 Introduktion til Matematiske Metoder Spørgsmål 1 (11%) Hvilke udsagn er sande? Husk, at symbolet betyder går op i. Which propositions are true? Recall that the symbol means divides. Svar 1.a: n Z:

Læs mere

DM559/DM545 Linear and integer programming

DM559/DM545 Linear and integer programming Department of Mathematics and Computer Science University of Southern Denmark, Odense June 10, 2017 Marco Chiarandini DM559/DM545 Linear and integer programming Sheet 12, Spring 2017 [pdf format] The following

Læs mere

Nanna Flindt Kreiner lektor i retorik og engelsk Rysensteen Gymnasium. Indsigt i egen læring og formativ feedback

Nanna Flindt Kreiner lektor i retorik og engelsk Rysensteen Gymnasium. Indsigt i egen læring og formativ feedback Nanna Flindt Kreiner lektor i retorik og engelsk Rysensteen Gymnasium Indsigt i egen læring og formativ feedback Reformen om indsigt i egen læring hvordan eleverne kan udvikle deres evne til at reflektere

Læs mere

BILAG 8.1.B TIL VEDTÆGTER FOR EXHIBIT 8.1.B TO THE ARTICLES OF ASSOCIATION FOR

BILAG 8.1.B TIL VEDTÆGTER FOR EXHIBIT 8.1.B TO THE ARTICLES OF ASSOCIATION FOR BILAG 8.1.B TIL VEDTÆGTER FOR ZEALAND PHARMA A/S EXHIBIT 8.1.B TO THE ARTICLES OF ASSOCIATION FOR ZEALAND PHARMA A/S INDHOLDSFORTEGNELSE/TABLE OF CONTENTS 1 FORMÅL... 3 1 PURPOSE... 3 2 TILDELING AF WARRANTS...

Læs mere

WIFI koder til Miljøagenturet: Brugernavn: AIACE course Kodeord: TsEG2pVL EU LOGIN KURSUS 21. AUGUST FORMIDDAG:

WIFI koder til Miljøagenturet: Brugernavn: AIACE course Kodeord: TsEG2pVL EU LOGIN KURSUS 21. AUGUST FORMIDDAG: WIFI koder til Miljøagenturet: Brugernavn: AIACE course Kodeord: TsEG2pVL EU LOGIN KURSUS 21. AUGUST 2019 - FORMIDDAG: EU Login er EU s NemID. Det er blot adgangsnøglen til en række EU-applikationer. Vælg

Læs mere

Wander TDEV Measurements for Inexpensive Oscillator

Wander TDEV Measurements for Inexpensive Oscillator Wander TDEV Measurements for Inexpensive Oscillator Lee Cosart Symmetricom Lcosart@symmetricom.com Geoffrey M. Garner SAMSUNG Electronics (Consultant) gmgarner@comcast.net IEEE 802.1 AVB TG 2009.11.02

Læs mere

Get Instant Access to ebook Udleveret PDF at Our Huge Library UDLEVERET PDF. ==> Download: UDLEVERET PDF

Get Instant Access to ebook Udleveret PDF at Our Huge Library UDLEVERET PDF. ==> Download: UDLEVERET PDF UDLEVERET PDF ==> Download: UDLEVERET PDF UDLEVERET PDF - Are you searching for Udleveret Books? Now, you will be happy that at this time Udleveret PDF is available at our online library. With our complete

Læs mere

Reexam questions in Statistics and Evidence-based medicine, august sem. Medis/Medicin, Modul 2.4.

Reexam questions in Statistics and Evidence-based medicine, august sem. Medis/Medicin, Modul 2.4. Reexam questions in Statistics and Evidence-based medicine, august 2013 2. sem. Medis/Medicin, Modul 2.4. Statistics : ESSAY-TYPE QUESTION 1. Intelligence tests are constructed such that the average score

Læs mere

FACULTY OF SCIENCE :59 COURSE. BB838: Basic bioacoustics using Matlab

FACULTY OF SCIENCE :59 COURSE. BB838: Basic bioacoustics using Matlab FACULTY OF SCIENCE 01-12- 11:59 COURSE BB838: Basic bioacoustics using Matlab 28.03. Table Of Content Internal Course Code Course title ECTS value STADS ID (UVA) Level Offered in Duration Teacher responsible

Læs mere

United Nations Secretariat Procurement Division

United Nations Secretariat Procurement Division United Nations Secretariat Procurement Division Vendor Registration Overview Higher Standards, Better Solutions The United Nations Global Marketplace (UNGM) Why Register? On-line registration Free of charge

Læs mere

Admission criteria for the Danish Section For at blive optaget på Europaskolen skal du have aflagt Folkeskolens Adgangsprøve eller lignende.

Admission criteria for the Danish Section For at blive optaget på Europaskolen skal du have aflagt Folkeskolens Adgangsprøve eller lignende. KØBENHAVNS KOMMUNE Børne- og Ungdomsforvaltningen Center for Policy NOTAT 30. august 2018 Optagelseskriterier til uppersecondary S5-S7 (gymnasiet) på Europaskolen København Optagelseskriterierne til uppersecondary

Læs mere

DM549. Hvilke udsagn er sande? Which propositions are true? Svar 1.a: x Z: x > x 1. Svar 2.h: x Z: y Z: x + y = 5. Svar 1.e: x Z: y Z: x + y < x y

DM549. Hvilke udsagn er sande? Which propositions are true? Svar 1.a: x Z: x > x 1. Svar 2.h: x Z: y Z: x + y = 5. Svar 1.e: x Z: y Z: x + y < x y DM549 Spørgsmål 1 (8%) Hvilke udsagn er sande? Which propositions are true? Svar 1.a: x Z: x > x 1 Svar 1.b: x Z: y Z: x + y = 5 Svar 1.c: x Z: y Z: x + y = 5 Svar 1.d: x Z: y Z: x 2 + 2y = 0 Svar 1.e:

Læs mere

Central Statistical Agency.

Central Statistical Agency. Central Statistical Agency www.csa.gov.et 1 Outline Introduction Characteristics of Construction Aim of the Survey Methodology Result Conclusion 2 Introduction Meaning of Construction Construction may

Læs mere