NO NEWS ON MATRIX MULTIPLICATION. Manuel Kauers Institute for Algebra JKU
|
|
- Camilla Håkansson
- för 4 år sedan
- Visningar:
Transkript
1 NO NEWS ON MATRIX MULTIPLICATION Manuel Kauers Institute for Algebra JKU
2 ( ) ( ) ( ) a1,1 a 1,2 b1,1 b 1,2 c1,1 c = 1,2 a 2,1 a 2,2 b 2,1 b 2,2 c 2,1 c 2,2 c 1,1 = a 1,1 b 1,1 + a 1,2 b 2,1 c 1,2 = a 1,1 b 1,2 + a 1,2 b 2,2 c 2,1 = a 2,1 b 1,1 + a 2,2 b 2,1 c 2,2 = a 2,1 b 1,2 + a 2,2 b 2,2 1
3 ( ) ( ) ( ) a1,1 a 1,2 b1,1 b 1,2 c1,1 c = 1,2 a 2,1 a 2,2 b 2,1 b 2,2 c 2,1 c 2,2 c 1,1 = M 1 + M 4 M 5 + M 7 c 1,2 = M 3 + M 5 c 2,1 = M 2 + M 4 c 2,2 = M 1 M 2 + M 3 + M 6 1
4 ... where ( ) ( ) ( ) a1,1 a 1,2 b1,1 b 1,2 c1,1 c = 1,2 a 2,1 a 2,2 b 2,1 b 2,2 c 2,1 c 2,2 M 1 = (a 1,1 + a 2,2 ) (b 1,1 + b 2,2 ) M 2 = (a 2,1 + a 2,2 ) b 1,1 M 3 = a 1,1 (b 1,2 b 2,2 ) M 4 = a 2,2 (b 2,1 b 1,1 ) M 5 = (a 1,1 + a 1,2 ) b 2,2 M 6 = (a 2,1 a 1,1 ) (b 1,1 + b 1,2 ) M 7 = (a 1,2 a 2,2 ) (b 2,1 + b 2,2 ) 1
5 ( ) ( ) ( ) a1,1 a 1,2 b1,1 b 1,2 c1,1 c = 1,2 a 2,1 a 2,2 b 2,1 b 2,2 c 2,1 c 2,2 This scheme needs 7 multiplications instead of 8. Recursive application allows to multiply n n matrices with O(n log 2 7 ) operations in the ground ring. Let ω be the smallest number so that n n matrices can be multiplied using O(n ω ) operations in the ground domain. Then 2 ω < 3. What is the exact value? 1
6 Strassen 1969: ω log
7 Strassen 1969: ω log Pan 1978: ω Bini et al : ω Schönhage 1981: ω Romani 1982: ω Coppersmith/Winograd 1981: ω Strassen 1986: ω Coppersmith/Winograd 1990: ω
8 Strassen 1969: ω log Pan 1978: ω Bini et al : ω Schönhage 1981: ω Romani 1982: ω Coppersmith/Winograd 1981: ω Strassen 1986: ω Coppersmith/Winograd 1990: ω Stothers 2010: ω Williams 2011: ω Le Gall 2014 : ω
9 Only Strassen s algorithm beats the classical algorithm for reasonable problem sizes. 3
10 Only Strassen s algorithm beats the classical algorithm for reasonable problem sizes. Want: a matrix multiplication algorithm that beats Strassen s algorithm for matrices of moderate size. 3
11 Only Strassen s algorithm beats the classical algorithm for reasonable problem sizes. Want: a matrix multiplication algorithm that beats Strassen s algorithm for matrices of moderate size. Idea: instead of dividing the matrices into 2 2-block matrices, divide them into 3 3-block matrices. 3
12 Only Strassen s algorithm beats the classical algorithm for reasonable problem sizes. Want: a matrix multiplication algorithm that beats Strassen s algorithm for matrices of moderate size. Idea: instead of dividing the matrices into 2 2-block matrices, divide them into 3 3-block matrices. Question: What s the minimal number of multiplications needed to multiply two 3 3 matrices? 3
13 Only Strassen s algorithm beats the classical algorithm for reasonable problem sizes. Want: a matrix multiplication algorithm that beats Strassen s algorithm for matrices of moderate size. Idea: instead of dividing the matrices into 2 2-block matrices, divide them into 3 3-block matrices. Question: What s the minimal number of multiplications needed to multiply two 3 3 matrices? Answer: Nobody knows. 3
14 Question: What s the minimal number of multiplications needed to multiply two 3 3 matrices? naive algorithm: 27 padd with zeros, use Strassen twice, cleanup: 25 best known upper bound: 23 (Laderman 1976) best known lower bound: 19 (Bläser 2003) maximal number of multiplications allowed if we want to beat Strassen: 21 (because log 3 21 < log 2 7 < log 3 22). 4
15 Using SAT solvers, Courtois et al. discovered a new scheme with 23 multiplication in 2011, but none with 22. Can we do better? 5
16 Using SAT solvers, Courtois et al. discovered a new scheme with 23 multiplication in 2011, but none with 22. Can we do better? Idea: Find a better encoding Exploit symmetries of the problem Use more powerful SAT solvers Let it run on bigger computers Wait for a solution with fewer multiplications 5
17 Using SAT solvers, Courtois et al. discovered a new scheme with 23 multiplication in 2011, but none with 22. Can we do better? Idea: Find a better encoding Exploit symmetries of the problem Use more powerful SAT solvers Biere s Treengeling Let it run on bigger computers SG Altix UV 1000 Wait for a solution with fewer multiplications 5
18 Using SAT solvers, Courtois et al. discovered a new scheme with 23 multiplication in 2011, but none with 22. Can we do better? Idea: Find a better encoding Exploit symmetries of the problem Use more powerful SAT solvers Biere s Treengeling Let it run on bigger computers SG Altix UV 1000 Wait for a solution with fewer multiplications We are still waiting. 5
19 Using SAT solvers, Courtois et al. discovered a new scheme with 23 multiplication in 2011, but none with 22. Can we do better? Idea: Find a better encoding Exploit symmetries of the problem Use more powerful SAT solvers Biere s Treengeling Let it run on bigger computers SG Altix UV 1000 Wait for a solution with fewer multiplications We are still waiting. (Possible other approach: use QBF instead of SAT.) 5
20 How to encode the search for a matrix multiplication scheme as a SAT problem? 6
21 How to encode the search for a matrix multiplication scheme as a SAT problem? Make an ansatz M 1 = (α (1) 1,1 a 1,1 + α (1) 1,2 a 1,2 + )(β (1) 1,1 b 1,1 + ) M 2 = (α (2) 1,1 a 1,1 + α (2) 1,2 a 1,2 + )(β (2) 1,1 b 1,1 + ). c 1,1 = γ (1) 1,1 M 1 + γ (2) 1,1 M
22 How to encode the search for a matrix multiplication scheme as a SAT problem? Make an ansatz M 1 = (α (1) 1,1 a 1,1 + α (1) 1,2 a 1,2 + )(β (1) 1,1 b 1,1 + ) M 2 = (α (2) 1,1 a 1,1 + α (2) 1,2 a 1,2 + )(β (2) 1,1 b 1,1 + ). c 1,1 = γ (1) 1,1 M 1 + γ (2) 1,1 M 2 +. Set c i,j = k a i,kb k,j for all i, j and compare coefficients. 6
23 How to encode the search for a matrix multiplication scheme as a SAT problem? This gives the Brent equations (e.g., for 3 3 with 21 multiplications) 21 i, j, k, l, m, n {1, 2, 3} : α (q) i,j β(q) k,l γ(q) m,n = δ j,kδ i,m δ l,n q=1 6
24 How to encode the search for a matrix multiplication scheme as a SAT problem? This gives the Brent equations (e.g., for 3 3 with 21 multiplications) 21 i, j, k, l, m, n {1, 2, 3} : α (q) i,j β(q) k,l γ(q) m,n = δ j,kδ i,m δ l,n q=1 3 6 = 729 cubic equations = 567 variables 6
25 How to encode the search for a matrix multiplication scheme as a SAT problem? This gives the Brent equations (e.g., for 3 3 with 21 multiplications) 21 i, j, k, l, m, n {1, 2, 3} : α (q) i,j β(q) k,l γ(q) m,n = δ j,kδ i,m δ l,n q=1 3 6 = 729 cubic equations = 567 variables Laderman claims that he solved this system by hand, but he doesn t say exactly how. 6
26 How to encode the search for a matrix multiplication scheme as a SAT problem? This gives the Brent equations (e.g., for 3 3 with 21 multiplications) 21 i, j, k, l, m, n {1, 2, 3} : α (q) i,j β(q) k,l γ(q) m,n = δ j,kδ i,m δ l,n Solve this system in Z 2. q=1 6
27 How to encode the search for a matrix multiplication scheme as a SAT problem? This gives the Brent equations (e.g., for 3 3 with 21 multiplications) 21 i, j, k, l, m, n {1, 2, 3} : α (q) i,j β(q) k,l γ(q) m,n = δ j,kδ i,m δ l,n Solve this system in Z 2. q=1 Reading α (q) i,j, β(q) k,l, γ(q) m,n as boolean variables and + as XOR, the problem becomes a SAT problem. 6
28 Problem: SAT solvers don t like XOR. They want CNF as input. 7
29 Problem: SAT solvers don t like XOR. They want CNF as input. a + b = 1 (ā b) (a b) 7
30 Problem: SAT solvers don t like XOR. They want CNF as input. a + b = 1 (ā b) (a b) a + b + c = 1 (ā b c) (ā c b) ( b c a) (a b c) 7
31 Problem: SAT solvers don t like XOR. They want CNF as input. a + b = 1 (ā b) (a b) a + b + c = 1 (ā b c) (ā c b) ( b c a) (a b c) a + b + c + d = 1 (ā b c d) (ā b c d) (ā c b d) (ā d b c) ( b c a d) ( b d a c) ( c d a b) (a b c d). 7
32 Problem: SAT solvers don t like XOR. They want CNF as input. a + b = 1 (ā b) (a b) a + b + c = 1 (ā b c) (ā c b) ( b c a) (a b c) a + b + c + d = 1 (ā b c d) (ā b c d) (ā c b d) (ā d b c) ( b c a d) ( b d a c) ( c d a b) (a b c d). Expanding 21-term sum into CNF like this gives a million clauses. 7
33 SAT people avoid this explosion by assigning new variables ( Tseitin variables ) to subexpressions before converting to CNF: 8
34 SAT people avoid this explosion by assigning new variables ( Tseitin variables ) to subexpressions before converting to CNF: a + b + c + d + e + f + g + h + i = 0 8
35 SAT people avoid this explosion by assigning new variables ( Tseitin variables ) to subexpressions before converting to CNF: a + b + c + d + e + f + g + h + i = 0 a + b + c = T 1 d + e + f = T 2 g + h + i = T 3 T 1 + T 2 + T 3 = 0 8
36 SAT people avoid this explosion by assigning new variables ( Tseitin variables ) to subexpressions before converting to CNF: a + b + c + d + e + f + g + h + i = 0 a + b + c = T 1 d + e + f = T 2 g + h + i = T 3 T 1 + T 2 + T 3 = 0 CNF CNF CNF CNF 8
37 SAT people avoid this explosion by assigning new variables ( Tseitin variables ) to subexpressions before converting to CNF: a + b + c + d + e + f + g + h + i = 0 a + b + c = T 1 d + e + f = T 2 g + h + i = T 3 T 1 + T 2 + T 3 = 0 CNF CNF CNF CNF This decreases the number (and length) of clauses at the cost of increasing the number of variables. 8
38 Breaking all the sums of length 21 into chunks of size 3 terms each, we end up with a CNF with variables and clauses. 9
39 Breaking all the sums of length 21 into chunks of size 3 terms each, we end up with a CNF with variables and clauses. Next, we enrich this formula with some additional information that the solver might find helpful. 9
40 Breaking all the sums of length 21 into chunks of size 3 terms each, we end up with a CNF with variables and clauses. Next, we enrich this formula with some additional information that the solver might find helpful. For example: For each i, j, at least one of α (1) i,j,..., α(q) i,j must be nonzero. Likewise for β and γ. 9
41 Breaking all the sums of length 21 into chunks of size 3 terms each, we end up with a CNF with variables and clauses. Next, we enrich this formula with some additional information that the solver might find helpful. For example: For each i, j, at least one of α (1) i,j,..., α(q) i,j must be nonzero. Likewise for β and γ. For each q, at least one of the α (q) i,j must be nonzero. Likewise for β and γ. 9
42 We should also exploit symmetries. 10
43 We should also exploit symmetries. 10
44 We should also exploit symmetries. 10
45 We should also exploit symmetries. 10
46 We should also exploit symmetries. 10
47 We should also exploit symmetries. 10
48 We should also exploit symmetries. 10
49 We should also exploit symmetries. 10
50 We should also exploit symmetries. 10
51 We should also exploit symmetries. 10
52 We should also exploit symmetries. 10
53 We should also exploit symmetries. 10
54 We should also exploit symmetries. 10
55 We should also exploit symmetries. 10
56 We should also exploit symmetries. 10
57 We should also exploit symmetries. 10
58 We should also exploit symmetries. 10
59 We should also exploit symmetries. 10
60 We should also exploit symmetries. 10
61 We should also exploit symmetries. 10
62 We should also exploit symmetries. 10
63 We should also exploit symmetries. 10
64 We should also exploit symmetries. 10
65 We should also exploit symmetries. 10
66 We should also exploit symmetries. 10
67 We should also exploit symmetries. 10
68 We should also exploit symmetries. 10
69 We should also exploit symmetries. 10
70 We should also exploit symmetries. 10
71 We should also exploit symmetries. 10
72 We should also exploit symmetries. 10
73 We should also exploit symmetries. 10
74 We should also exploit symmetries. 10
75 We should also exploit symmetries. 10
76 We should also exploit symmetries. 10
77 We should also exploit symmetries. 10
78 We should also exploit symmetries. 10
79 We should also exploit symmetries. 10
80 We should also exploit symmetries. 10
81 We should also exploit symmetries. 10
82 We should also exploit symmetries. 10
83 We should also exploit symmetries. 10
84 We should also exploit symmetries. 10
85 We should also exploit symmetries. 10
86 We should also exploit symmetries. 10
87 We should also exploit symmetries. 10
88 We should also exploit symmetries. 10
89 We should also exploit symmetries. 10
90 We should also exploit symmetries. 10
91 We should also exploit symmetries. 10
92 We should also exploit symmetries. 10
93 We should also exploit symmetries. 10
94 We should also exploit symmetries. 10
95 We should also exploit symmetries. 10
96 We should also exploit symmetries. 10
97 We should also exploit symmetries. 10
98 We should also exploit symmetries. 10
99 We should also exploit symmetries. 10
100 We should also exploit symmetries. 10
101 We should also exploit symmetries. 10
102 We should also exploit symmetries. 10
103 We should also exploit symmetries. 10
104 We should also exploit symmetries. It suffices to inspect one configuration per orbit. 10
105 Matrix multiplication AB = C enjoys several symmetries: 11
106 Matrix multiplication AB = C enjoys several symmetries: AUU 1 B = C for every invertible U 11
107 Matrix multiplication AB = C enjoys several symmetries: AUU 1 B = C for every invertible U VAB = VC for every invertible V 11
108 Matrix multiplication AB = C enjoys several symmetries: AUU 1 B = C for every invertible U VAB = VC for every invertible V ABW = CW for every invertible W 11
109 Matrix multiplication AB = C enjoys several symmetries: AUU 1 B = C for every invertible U VAB = VC for every invertible V ABW = CW for every invertible W B A = C 11
110 Matrix multiplication AB = C enjoys several symmetries: AUU 1 B = C for every invertible U VAB = VC for every invertible V ABW = CW for every invertible W B A = C and one more that is a little more subtle 11
111 Matrix multiplication AB = C enjoys several symmetries: AUU 1 B = C for every invertible U VAB = VC for every invertible V ABW = CW for every invertible W B A = C and one more that is a little more subtle Altogether, the symmetry group is S 3 GL(n) 3. 11
112 Matrix multiplication AB = C enjoys several symmetries: AUU 1 B = C for every invertible U VAB = VC for every invertible V ABW = CW for every invertible W B A = C and one more that is a little more subtle Altogether, the symmetry group is S 3 GL(n) 3. We have worked out a small set of clauses that has exactly one solution in each orbit under this group action. 11
113 Simpler example: For the group action GL(3) 2 Z Z 3 3 2, (U, V) A := U A V 1 we have four orbits. 12
114 Simpler example: For the group action GL(3) 2 Z Z 3 3 2, (U, V) A := U A V 1 we have four orbits. A choice of orbit representatives is , 0 0 0, 0 1 0,
115 Simpler example: For the group action GL(3) 2 Z Z 3 3 2, (U, V) A := U A V 1 we have four orbits. A choice of orbit representatives is , 0 0 0, 0 1 0, not needed 12
116 Simpler example: For the group action GL(3) 2 Z Z 3 3 2, (U, V) A := U A V 1 we have four orbits. A choice of orbit representatives is , 0 0 0, 0 1 0, not needed Stabilizer H 1 GL(3) 2 H 1 = 576 Stabilizer H 2 GL(3) 2 H 2 = 96 Stabilizer H 3 GL(3) 2 H 3 =
117 Next, for each i = 1, 2, 3 consider the group action ( Hi GL(3) ) Z Z 3 3 2, (U, V, W) B := V B W 1. 13
118 Next, for each i = 1, 2, 3 consider the group action ( Hi GL(3) ) Z Z 3 3 2, (U, V, W) B := V B W 1. For instance for i = 2 we get 6 orbits. 13
119 Next, for each i = 1, 2, 3 consider the group action ( Hi GL(3) ) Z Z 3 3 2, (U, V, W) B := V B W 1. For instance for i = 2 we get 6 orbits. A list of representatives is , 0 0 0, 0 0 0, , 0 0 0,
120 Next, for each i = 1, 2, 3 consider the group action ( Hi GL(3) ) Z Z 3 3 2, (U, V, W) B := V B W 1. For instance for i = 2 we get 6 orbits. A list of representatives is , 0 0 0, 0 0 0, , 0 0 0, Similarly, we have 6 orbits for i = 1 and 4 orbits for i = 3. 13
121 Altogether, we have found nontrivial orbits for the combined group action GL(3) 3 (Z ) 2 (Z ) 2, (U, V, W) (A, B) := (U A V 1, V B W 1 ). 14
122 Altogether, we have found nontrivial orbits for the combined group action GL(3) 3 (Z ) 2 (Z ) 2, (U, V, W) (A, B) := (U A V 1, V B W 1 ). For each representative, determine the stabilizer H GL(3) 3 and find the orbits of the action of H on C Z
123 Altogether, we have found nontrivial orbits for the combined group action GL(3) 3 (Z ) 2 (Z ) 2, (U, V, W) (A, B) := (U A V 1, V B W 1 ). For each representative, determine the stabilizer H GL(3) 3 and find the orbits of the action of H on C Z Merge orbits that are equivalent under the action of S 3. 14
124 Altogether, we have found nontrivial orbits for the combined group action GL(3) 3 (Z ) 2 (Z ) 2, (U, V, W) (A, B) := (U A V 1, V B W 1 ). For each representative, determine the stabilizer H GL(3) 3 and find the orbits of the action of H on C Z Merge orbits that are equivalent under the action of S 3. Finally, instead of (2 9 1) 3 = matrix triples, we have to consider only 94 orbit representatives. 14
125 Actually there are some much more obvious and much more effective symmetries: 21 i, j, k, l, m, n {1, 2, 3} : α (q) i,j β(q) k,l γ(q) m,n = δ j,kδ i,m δ l,n q=1 15
126 Actually there are some much more obvious and much more effective symmetries: 21 i, j, k, l, m, n {1, 2, 3} : α (q) i,j β(q) k,l γ(q) m,n = δ j,kδ i,m δ l,n q=1 We can change the order of summation in 21! possible ways. 15
127 Actually there are some much more obvious and much more effective symmetries: 21 i, j, k, l, m, n {1, 2, 3} : α (q) i,j β(q) k,l γ(q) m,n = δ j,kδ i,m δ l,n q=1 We can change the order of summation in 21! possible ways. We impose a lexicographic order on the summands in order to break this symmetry. 15
128 At the end of the day, we have an enriched CNF with variables and clauses. 16
129 At the end of the day, we have an enriched CNF with variables and clauses. Unfortunately, we haven t been able to solve it within some 10 years of CPU time. 16
130 At the end of the day, we have an enriched CNF with variables and clauses. Unfortunately, we haven t been able to solve it within some 10 years of CPU time. In contrast, finding Strassen s original algorithm for 2 2 matrices is a matter of a few seconds only. 16
131 At the end of the day, we have an enriched CNF with variables and clauses. Unfortunately, we haven t been able to solve it within some 10 years of CPU time. In contrast, finding Strassen s original algorithm for 2 2 matrices is a matter of a few seconds only. The optimal algorithms for the rectangular cases (2 2)(2 3) and (2 3)(3 3) are found within a few minutes. 16
132 At the end of the day, we have an enriched CNF with variables and clauses. Unfortunately, we haven t been able to solve it within some 10 years of CPU time. In contrast, finding Strassen s original algorithm for 2 2 matrices is a matter of a few seconds only. The optimal algorithms for the rectangular cases (2 2)(2 3) and (2 3)(3 3) are found within a few minutes. We will keep trying to find some improvement for 3 3. For the time being, we have no news on matrix multiplication. 16
denna del en poäng. 1. (Dugga 1.1) och v = (a) Beräkna u (2u 2u v) om u = . (1p) och som är parallell
Kursen bedöms med betyg, 4, 5 eller underänd, där 5 är högsta betyg. För godänt betyg rävs minst 4 poäng från uppgifterna -7. Var och en av dessa sju uppgifter an ge maximalt poäng. För var och en av uppgifterna
Läs mer1. Compute the following matrix: (2 p) 2. Compute the determinant of the following matrix: (2 p)
UMEÅ UNIVERSITY Department of Mathematics and Mathematical Statistics Pre-exam in mathematics Linear algebra 2012-02-07 1. Compute the following matrix: (2 p 3 1 2 3 2 2 7 ( 4 3 5 2 2. Compute the determinant
Läs mer12.6 Heat equation, Wave equation
12.6 Heat equation, 12.2-3 Wave equation Eugenia Malinnikova, NTNU September 26, 2017 1 Heat equation in higher dimensions The heat equation in higher dimensions (two or three) is u t ( = c 2 2 ) u x 2
Läs merPre-Test 1: M0030M - Linear Algebra.
Pre-Test : M3M - Linear Algebra. Test your knowledge on Linear Algebra for the course M3M by solving the problems in this test. It should not take you longer than 9 minutes. M3M Problem : Betrakta fyra
Läs merStyrteknik: Binära tal, talsystem och koder D3:1
Styrteknik: Binära tal, talsystem och koder D3:1 Digitala kursmoment D1 Boolesk algebra D2 Grundläggande logiska funktioner D3 Binära tal, talsystem och koder Styrteknik :Binära tal, talsystem och koder
Läs merTentamen i Matematik 2: M0030M.
Tentamen i Matematik 2: M0030M. Datum: 203-0-5 Skrivtid: 09:00 4:00 Antal uppgifter: 2 ( 30 poäng ). Examinator: Norbert Euler Tel: 0920-492878 Tillåtna hjälpmedel: Inga Betygsgränser: 4p 9p = 3; 20p 24p
Läs merModule 6: Integrals and applications
Department of Mathematics SF65 Calculus Year 5/6 Module 6: Integrals and applications Sections 6. and 6.5 and Chapter 7 in Calculus by Adams and Essex. Three lectures, two tutorials and one seminar. Important
Läs mer8 < x 1 + x 2 x 3 = 1, x 1 +2x 2 + x 4 = 0, x 1 +2x 3 + x 4 = 2. x 1 2x 12 1A är inverterbar, och bestäm i så fall dess invers.
MÄLARDALENS HÖGSKOLA Akademin för utbildning, kultur och kommunikation Avdelningen för tillämpad matematik Examinator: Erik Darpö TENTAMEN I MATEMATIK MAA150 Vektoralgebra TEN1 Datum: 9januari2015 Skrivtid:
Läs merSolutions to exam in SF1811 Optimization, June 3, 2014
Solutions to exam in SF1811 Optimization, June 3, 14 1.(a) The considered problem may be modelled as a minimum-cost network flow problem with six nodes F1, F, K1, K, K3, K4, here called 1,,3,4,5,6, and
Läs merSupport Manual HoistLocatel Electronic Locks
Support Manual HoistLocatel Electronic Locks 1. S70, Create a Terminating Card for Cards Terminating Card 2. Select the card you want to block, look among Card No. Then click on the single arrow pointing
Läs merhttp://marvel.com/games/play/31/create_your_own_superhero http://www.heromachine.com/
Name: Year 9 w. 4-7 The leading comic book publisher, Marvel Comics, is starting a new comic, which it hopes will become as popular as its classics Spiderman, Superman and The Incredible Hulk. Your job
Läs merIsometries of the plane
Isometries of the plane Mikael Forsberg August 23, 2011 Abstract Här följer del av ett dokument om Tesselering som jag skrivit för en annan kurs. Denna del handlar om isometrier och innehåller bevis för
Läs merAlgoritmer och Komplexitet ht 08. Övning 6. NP-problem
Algoritmer och Komplexitet ht 08. Övning 6 NP-problem Frekvensallokering Inom mobiltelefonin behöver man lösa frekvensallokeringsproblemet som lyder på följande sätt. Det finns ett antal sändare utplacerade.
Läs merViktig information för transmittrar med option /A1 Gold-Plated Diaphragm
Viktig information för transmittrar med option /A1 Gold-Plated Diaphragm Guldplätering kan aldrig helt stoppa genomträngningen av vätgas, men den får processen att gå långsammare. En tjock guldplätering
Läs merWebbregistrering pa kurs och termin
Webbregistrering pa kurs och termin 1. Du loggar in på www.kth.se via den personliga menyn Under fliken Kurser och under fliken Program finns på höger sida en länk till Studieöversiktssidan. På den sidan
Läs merKurskod: TAMS28 MATEMATISK STATISTIK Provkod: TEN1 05 June 2017, 14:00-18:00. English Version
Kurskod: TAMS28 MATEMATISK STATISTIK Provkod: TEN1 5 June 217, 14:-18: Examiner: Zhenxia Liu (Tel: 7 89528). Please answer in ENGLISH if you can. a. You are allowed to use a calculator, the formula and
Läs merKvalitetsarbete I Landstinget i Kalmar län. 24 oktober 2007 Eva Arvidsson
Kvalitetsarbete I Landstinget i Kalmar län 24 oktober 2007 Eva Arvidsson Bakgrund Sammanhållen primärvård 2005 Nytt ekonomiskt system Olika tradition och förutsättningar Olika pågående projekt Get the
Läs merNP-fullständighetsbevis
Algoritmer, datastrukturer och komplexitet, hösten 2016 Uppgifter till övning 9 NP-fullständighetsbevis På denna övning är det också inlämning av skriftliga lösningar av teoriuppgifterna till labb 4 och
Läs merAffärsmodellernas förändring inom handeln
Centrum för handelsforskning vid Lunds universitet Affärsmodellernas förändring inom handeln PROFESSOR ULF JOHANSSON, EKONOMIHÖGSKOLAN VID LUNDS UNIVERSITET Centrum för handelsforskning vid Lunds universitet
Läs merPreschool Kindergarten
Preschool Kindergarten Objectives CCSS Reading: Foundational Skills RF.K.1.D: Recognize and name all upper- and lowercase letters of the alphabet. RF.K.3.A: Demonstrate basic knowledge of one-toone letter-sound
Läs merSamverkan på departementsnivå om Agenda 2030 och minskade hälsoklyftor
Samverkan på departementsnivå om Agenda 2030 och minskade hälsoklyftor Resultat från en intervjustudie i Finland, Norge och Sverige Mötesplats social hållbarhet Uppsala 17-18 september 2018 karinguldbrandsson@folkhalsomyndighetense
Läs merTentamen MMG610 Diskret Matematik, GU
Tentamen MMG610 Diskret Matematik, GU 2017-01-04 kl. 08.30 12.30 Examinator: Peter Hegarty, Matematiska vetenskaper, Chalmers/GU Telefonvakt: Peter Hegarty, telefon: 0766 377 873 Hjälpmedel: Inga hjälpmedel,
Läs merMönster. Ulf Cederling Växjö University Ulf.Cederling@msi.vxu.se http://www.msi.vxu.se/~ulfce. Slide 1
Mönster Ulf Cederling Växjö University UlfCederling@msivxuse http://wwwmsivxuse/~ulfce Slide 1 Beskrivningsmall Beskrivningsmallen är inspirerad av den som användes på AG Communication Systems (AGCS) Linda
Läs merBOENDEFORMENS BETYDELSE FÖR ASYLSÖKANDES INTEGRATION Lina Sandström
BOENDEFORMENS BETYDELSE FÖR ASYLSÖKANDES INTEGRATION Lina Sandström Frågeställningar Kan asylprocessen förstås som en integrationsprocess? Hur fungerar i sådana fall denna process? Skiljer sig asylprocessen
Läs merHögskolan i Skövde (SK, JS) Svensk version Tentamen i matematik
Högskolan i Skövde (SK, JS) Svensk version Tentamen i matematik Kurs: MA152G Matematisk Analys MA123G Matematisk analys för ingenjörer Tentamensdag: 2012-03-24 kl 14.30-19.30 Hjälpmedel : Inga hjälpmedel
Läs merHur fattar samhället beslut när forskarna är oeniga?
Hur fattar samhället beslut när forskarna är oeniga? Martin Peterson m.peterson@tue.nl www.martinpeterson.org Oenighet om vad? 1.Hårda vetenskapliga fakta? ( X observerades vid tid t ) 1.Den vetenskapliga
Läs merThis exam consists of four problems. The maximum sum of points is 20. The marks 3, 4 and 5 require a minimum
Examiner Linus Carlsson 016-01-07 3 hours In English Exam (TEN) Probability theory and statistical inference MAA137 Aids: Collection of Formulas, Concepts and Tables Pocket calculator This exam consists
Läs merLUNDS TEKNISKA HÖGSKOLA Institutionen för Elektro- och Informationsteknik
LUNDS TEKNISKA HÖGSKOLA Institutionen för Elektro- och Informationsteknik SIGNALBEHANDLING I MULTIMEDIA, EITA50, LP4, 209 Inlämningsuppgift av 2, Assignment out of 2 Inlämningstid: Lämnas in senast kl
Läs merModule 1: Functions, Limits, Continuity
Department of mathematics SF1625 Calculus 1 Year 2015/2016 Module 1: Functions, Limits, Continuity This module includes Chapter P and 1 from Calculus by Adams and Essex and is taught in three lectures,
Läs merProvlektion Just Stuff B Textbook Just Stuff B Workbook
Provlektion Just Stuff B Textbook Just Stuff B Workbook Genomförande I provlektionen får ni arbeta med ett avsnitt ur kapitlet Hobbies - The Rehearsal. Det handlar om några elever som skall sätta upp Romeo
Läs merAdding active and blended learning to an introductory mechanics course
Adding active and blended learning to an introductory mechanics course Ulf Gran Chalmers, Physics Background Mechanics 1 for Engineering Physics and Engineering Mathematics (SP2/3, 7.5 hp) 200+ students
Läs merProtokoll Föreningsutskottet 2013-10-22
Protokoll Föreningsutskottet 2013-10-22 Närvarande: Oliver Stenbom, Andreas Estmark, Henrik Almén, Ellinor Ugland, Oliver Jonstoij Berg. 1. Mötets öppnande. Ordförande Oliver Stenbom öppnade mötet. 2.
Läs merInformation technology Open Document Format for Office Applications (OpenDocument) v1.0 (ISO/IEC 26300:2006, IDT) SWEDISH STANDARDS INSTITUTE
SVENSK STANDARD SS-ISO/IEC 26300:2008 Fastställd/Approved: 2008-06-17 Publicerad/Published: 2008-08-04 Utgåva/Edition: 1 Språk/Language: engelska/english ICS: 35.240.30 Information technology Open Document
Läs merWebbreg öppen: 26/ /
Webbregistrering pa kurs, period 2 HT 2015. Webbreg öppen: 26/10 2015 5/11 2015 1. Du loggar in på www.kth.se via den personliga menyn Under fliken Kurser och under fliken Program finns på höger sida en
Läs mer1. Varje bevissteg ska motiveras formellt (informella bevis ger 0 poang)
Tentamen i Programmeringsteori Institutionen for datorteknik Uppsala universitet 1996{08{14 Larare: Parosh A. A., M. Kindahl Plats: Polacksbacken Skrivtid: 9 15 Hjalpmedel: Inga Anvisningar: 1. Varje bevissteg
Läs merExempel på uppgifter från 2010, 2011 och 2012 års ämnesprov i matematik för årskurs 3. Engelsk version
Exempel på uppgifter från 2010, 2011 och 2012 års ämnesprov i matematik för årskurs 3 Engelsk version 2 Innehåll Inledning... 5 Written methods... 7 Mental arithmetic, multiplication and division... 9
Läs mer(D1.1) 1. (3p) Bestäm ekvationer i ett xyz-koordinatsystem för planet som innehåller punkterna
Högsolan i Sövde (SK) Tentamen i matemati Kurs: MA4G Linjär algebra MAG Linjär algebra för ingenjörer Tentamensdag: 4-8-6 l 4.-9. Hjälpmedel : Inga hjälpmedel utöver bifogat formelblad. Ej ränedosa. Tentamen
Läs merWorkplan Food. Spring term 2016 Year 7. Name:
Workplan Food Spring term 2016 Year 7 Name: During the time we work with this workplan you will also be getting some tests in English. You cannot practice for these tests. Compulsory o Read My Canadian
Läs merWriting with context. Att skriva med sammanhang
Writing with context Att skriva med sammanhang What makes a piece of writing easy and interesting to read? Discuss in pairs and write down one word (in English or Swedish) to express your opinion http://korta.nu/sust(answer
Läs merStad + Data = Makt. Kart/GIS-dag SamGIS Skåne 6 december 2017
Smart@Helsingborg Stadsledningsförvaltningen Digitaliseringsavdelningen the World s most engaged citizens Stad + Data = Makt Kart/GIS-dag SamGIS Skåne 6 december 2017 Photo: Andreas Fernbrant Urbanisering
Läs merKurskod: TAIU06 MATEMATISK STATISTIK Provkod: TENA 17 August 2015, 8:00-12:00. English Version
Kurskod: TAIU06 MATEMATISK STATISTIK Provkod: TENA 17 August 2015, 8:00-12:00 Examiner: Xiangfeng Yang (Tel: 070 2234765). Please answer in ENGLISH if you can. a. Allowed to use: a calculator, Formelsamling
Läs merGrafisk teknik IMCDP IMCDP IMCDP. IMCDP(filter) Sasan Gooran (HT 2006) Assumptions:
IMCDP Grafisk teknik The impact of the placed dot is fed back to the original image by a filter Original Image Binary Image Sasan Gooran (HT 2006) The next dot is placed where the modified image has its
Läs merBeijer Electronics AB 2000, MA00336A, 2000-12
Demonstration driver English Svenska Beijer Electronics AB 2000, MA00336A, 2000-12 Beijer Electronics AB reserves the right to change information in this manual without prior notice. All examples in this
Läs mer2.1 Installation of driver using Internet Installation of driver from disk... 3
&RQWHQW,QQHKnOO 0DQXDOÃ(QJOLVKÃ'HPRGULYHU )RUHZRUG Ã,QWURGXFWLRQ Ã,QVWDOOÃDQGÃXSGDWHÃGULYHU 2.1 Installation of driver using Internet... 3 2.2 Installation of driver from disk... 3 Ã&RQQHFWLQJÃWKHÃWHUPLQDOÃWRÃWKHÃ3/&ÃV\VWHP
Läs merMake a speech. How to make the perfect speech. söndag 6 oktober 13
Make a speech How to make the perfect speech FOPPA FOPPA Finding FOPPA Finding Organizing FOPPA Finding Organizing Phrasing FOPPA Finding Organizing Phrasing Preparing FOPPA Finding Organizing Phrasing
Läs merand u = och x + y z 2w = 3 (a) Finn alla lösningar till ekvationssystemet
Kursen bedöms med betyg,, 5 eller underkänd, där 5 är högsta betyg. För godkänt betyg krävs minst poäng från uppgifterna -7. Var och en av dessa sju uppgifter kan ge maximalt poäng. För var och en av uppgifterna
Läs merSammanfattning hydraulik
Sammanfattning hydraulik Bernoullis ekvation Rörelsemängdsekvationen Energiekvation applikationer Rörströmning Friktionskoefficient, Moody s diagram Pumpsystem BERNOULLI S EQUATION 2 p V z H const. Quantity
Läs merDiscovering!!!!! Swedish ÅÄÖ. EPISODE 6 Norrlänningar and numbers 12-24. Misi.se 2011 1
Discovering!!!!! ÅÄÖ EPISODE 6 Norrlänningar and numbers 12-24 Misi.se 2011 1 Dialogue SJs X2000* från Stockholm är försenat. Beräknad ankoms?d är nu 16:00. Försenat! Igen? Vad är klockan? Jag vet inte.
Läs merLibers språklåda i engelska Grab n go lessons
Libers språklåda i engelska 7-9 - Grab n go lessons PROVLEKTION Libers språklåda i engelska Grab n go lessons (47-90988-9) Författarna och Liber AB Får kopieras 1 Two stories in one Förberedelser Kopiera
Läs merRastercell. Digital Rastrering. AM & FM Raster. Rastercell. AM & FM Raster. Sasan Gooran (VT 2007) Rastrering. Rastercell. Konventionellt, AM
Rastercell Digital Rastrering Hybridraster, Rastervinkel, Rotation av digitala bilder, AM/FM rastrering Sasan Gooran (VT 2007) Önskat mått * 2* rastertätheten = inläsningsupplösning originalets mått 2
Läs merTheory 1. Summer Term 2010
Theory 1 Summer Term 2010 Robert Elsässer 1 Introduction Summer Term 2010 Robert Elsässer Prerequisite of Theory I Programming language, such as C++ Basic knowledge on data structures and algorithms, mathematics
Läs merIE1206 Embedded Electronics
E1206 Embedded Electronics Le1 Le3 Le4 Le2 Ex1 Ex2 PC-block Documentation, Seriecom, Pulse sensor,, R, P, series and parallel KC1 LAB1 Pulse sensors, Menu program Start of program task Kirchhoffs laws
Läs merBoiler with heatpump / Värmepumpsberedare
Boiler with heatpump / Värmepumpsberedare QUICK START GUIDE / SNABBSTART GUIDE More information and instruction videos on our homepage www.indol.se Mer information och instruktionsvideos på vår hemsida
Läs merCalculate check digits according to the modulus-11 method
2016-12-01 Beräkning av kontrollsiffra 11-modulen Calculate check digits according to the modulus-11 method Postadress: 105 19 Stockholm Besöksadress: Palmfeltsvägen 5 www.bankgirot.se Bankgironr: 160-9908
Läs merMina målsättningar för 2015
Mina målsättningar för 2015 den / - 1 Vad har jag stört mig på under 2014? När jag tänker på det, vill jag verkligen ändra på det i framtiden. Under 2014 har jag varit så nöjd med detta i mitt liv. Detta
Läs merIsolda Purchase - EDI
Isolda Purchase - EDI Document v 1.0 1 Table of Contents Table of Contents... 2 1 Introduction... 3 1.1 What is EDI?... 4 1.2 Sending and receiving documents... 4 1.3 File format... 4 1.3.1 XML (language
Läs merGrafisk teknik IMCDP. Sasan Gooran (HT 2006) Assumptions:
Grafisk teknik Sasan Gooran (HT 2006) Iterative Method Controlling Dot Placement (IMCDP) Assumptions: The original continuous-tone image is scaled between 0 and 1 0 and 1 represent white and black respectively
Läs merF ξ (x) = f(y, x)dydx = 1. We say that a random variable ξ has a distribution F (x), if. F (x) =
Problems for the Basic Course in Probability (Fall 00) Discrete Probability. Die A has 4 red and white faces, whereas die B has red and 4 white faces. A fair coin is flipped once. If it lands on heads,
Läs merx 2 2(x + 2), f(x) = by utilizing the guidance given by asymptotes and stationary points. γ : 8xy x 2 y 3 = 12 x + 3
MÄLARDALEN UNIVERSITY School of Education, Culture and Communication Department of Applied Mathematics Examiner: Lars-Göran Larsson EXAMINATION IN MATHEMATICS MAA151 Single Variable Calculus, TEN2 Date:
Läs merKurskod: TAIU06 MATEMATISK STATISTIK Provkod: TENA 15 August 2016, 8:00-12:00. English Version
Kurskod: TAIU06 MATEMATISK STATISTIK Provkod: TENA 15 August 2016, 8:00-12:00 Examiner: Xiangfeng Yang (Tel: 070 0896661). Please answer in ENGLISH if you can. a. Allowed to use: a calculator, Formelsamling
Läs merConsumer attitudes regarding durability and labelling
Consumer attitudes regarding durability and labelling 27 april 2017 Gardemoen Louise Ungerth Konsumentföreningen Stockholm/ The Stockholm Consumer Cooperative Society louise.u@konsumentforeningenstockholm.se
Läs merKurskod: TAMS11 Provkod: TENB 28 August 2014, 08:00-12:00. English Version
Kurskod: TAMS11 Provkod: TENB 28 August 2014, 08:00-12:00 Examinator/Examiner: Xiangfeng Yang (Tel: 070 2234765) a. You are permitted to bring: a calculator; formel -och tabellsamling i matematisk statistik
Läs merSF1911: Statistik för bioteknik
SF1911: Statistik för bioteknik Föreläsning 3. TK 3.11.2017 TK Matematisk statistik 3.11.2017 1 / 53 Probability: What is it? Probability is a number between 0 and 1 that predicts the (relative) frequency
Läs merSenaste trenderna från testforskningen: Passar de industrin? Robert Feldt,
Senaste trenderna från testforskningen: Passar de industrin? Robert Feldt, robert.feldt@bth.se Vad är på gång i forskningen? (ICST 2015 & 2016) Security testing Mutation testing GUI testing Model-based
Läs merThe Municipality of Ystad
The Municipality of Ystad Coastal management in a local perspective TLC The Living Coast - Project seminar 26-28 nov Mona Ohlsson Project manager Climate and Environment The Municipality of Ystad Area:
Läs merGrafisk teknik. Sasan Gooran (HT 2006)
Grafisk teknik Sasan Gooran (HT 2006) Iterative Method Controlling Dot Placement (IMCDP) Assumptions: The original continuous-tone image is scaled between 0 and 1 0 and 1 represent white and black respectively
Läs merQuestionnaire for visa applicants Appendix A
Questionnaire for visa applicants Appendix A Business Conference visit 1 Personal particulars Surname Date of birth (yr, mth, day) Given names (in full) 2 Your stay in Sweden A. Who took the initiative
Läs merFÖRBERED UNDERLAG FÖR BEDÖMNING SÅ HÄR
FÖRBERED UNDERLAG FÖR BEDÖMNING SÅ HÄR Kontrollera vilka kurser du vill söka under utbytet. Fyll i Basis for nomination for exchange studies i samråd med din lärare. För att läraren ska kunna göra en korrekt
Läs merMot hållbar elbilsanvändning
Mot hållbar elbilsanvändning Forskningsdag på Naturvårdsverket Gyözö Gidofalvi ITRL Integrated Transport Research Lab Introduktion Användning av elbilar (EV) är fördelaktig per kilometer Ingen avgaser
Läs merAtt stödja starka elever genom kreativ matte.
Att stödja starka elever genom kreativ matte. Ett samverkansprojekt mellan Örebro universitet och Örebro kommun på gymnasienivå Fil. dr Maike Schindler, universitetslektor i matematikdidaktik maike.schindler@oru.se
Läs merLARS. Ett e-bokningssystem för skoldatorer.
LARS Ett e-bokningssystem för skoldatorer. Därför behöver vi LARS Boka dator i förväg. Underlätta för studenter att hitta ledig dator. Rapportera datorer som är sönder. Samordna med schemaläggarnas system,
Läs merVässa kraven och förbättra samarbetet med hjälp av Behaviour Driven Development Anna Fallqvist Eriksson
Vässa kraven och förbättra samarbetet med hjälp av Behaviour Driven Development Anna Fallqvist Eriksson Kravhantering På Riktigt, 16 maj 2018 Anna Fallqvist Eriksson Agilista, Go See Talents linkedin.com/in/anfaer/
Läs merGraphs (chapter 14) 1
Graphs (chapter ) Terminologi En graf är en datastruktur som består av en mängd noder (vertices) och en mängd bågar (edges) en båge är ett par (a, b) av två noder en båge kan vara cyklisk peka på sig själv
Läs merIn Bloom CAL # 8, sista varv och ihopsättning / last rows and assemble
In Bloom CAL # 8, sista varv och ihopsättning / last rows and assemble I del 9 använder du virknål 3.0 mm. Efter varje varvsnummer står numret (1-7) för den färg du skall använda för det varvet, se färg/garn-tabell.
Läs merPORTSECURITY IN SÖLVESBORG
PORTSECURITY IN SÖLVESBORG Kontaktlista i skyddsfrågor / List of contacts in security matters Skyddschef/PFSO Tord Berg Phone: +46 456 422 44. Mobile: +46 705 82 32 11 Fax: +46 456 104 37. E-mail: tord.berg@sbgport.com
Läs merModule 4 Applications of differentiation
Department of mathematics SF1625 Calculus 1 Year 2015/2016 Module 4 Applications of differentiation Chapter 4 of Calculus by Adams and Essex. Three lectures, two tutorials, one seminar. Important concepts.
Läs merAuthentication Context QC Statement. Stefan Santesson, 3xA Security AB stefan@aaa-sec.com
Authentication Context QC Statement Stefan Santesson, 3xA Security AB stefan@aaa-sec.com The use case and problem User identities and user authentication is managed through SAML assertions. Some applications
Läs merOm oss DET PERFEKTA KOMPLEMENTET THE PERFECT COMPLETION 04 EN BINZ ÄR PRECIS SÅ BRA SOM DU FÖRVÄNTAR DIG A BINZ IS JUST AS GOOD AS YOU THINK 05
Om oss Vi på Binz är glada att du är intresserad av vårt support-system för begravningsbilar. Sedan mer än 75 år tillverkar vi specialfordon i Lorch för de flesta olika användningsändamål, och detta enligt
Läs merMaterialplanering och styrning på grundnivå. 7,5 högskolepoäng
Materialplanering och styrning på grundnivå Provmoment: Ladokkod: Tentamen ges för: Skriftlig tentamen TI6612 Af3-Ma, Al3, Log3,IBE3 7,5 högskolepoäng Namn: (Ifylles av student) Personnummer: (Ifylles
Läs merState Examinations Commission
State Examinations Commission Marking schemes published by the State Examinations Commission are not intended to be standalone documents. They are an essential resource for examiners who receive training
Läs merMethods to increase work-related activities within the curricula. S Nyberg and Pr U Edlund KTH SoTL 2017
Methods to increase work-related activities within the curricula S Nyberg and Pr U Edlund KTH SoTL 2017 Aim of the project Increase Work-related Learning Inspire theachers Motivate students Understanding
Läs merMVE500, TKSAM Avgör om följande serier är divergenta eller konvergenta. Om konvergent, beräkna summan. (6p) ( 1) n x 2n+1 (a)
Chalmers tekniska högskola Datum: 7--9 kl. 8.3.3 Tentamen Telefonvakt: Milo Viviani MVE5, TKSAM- Tentan rättas och bedöms anonymt. Skriv tentamenskoden tydligt på placeringlista och samtliga inlämnade
Läs merÖvning 5 ETS052 Datorkommuniktion Routing och Networking
Övning 5 TS5 Datorkommuniktion - 4 Routing och Networking October 7, 4 Uppgift. Rita hur ett paket som skickas ut i nätet nedan från nod, med flooding, sprider sig genom nätet om hop count = 3. Solution.
Läs merSVENSK STANDARD SS :2010
SVENSK STANDARD SS 8760009:2010 Fastställd/Approved: 2010-03-22 Publicerad/Published: 2010-04-27 Utgåva/Edition: 2 Språk/Language: svenska/swedish ICS: 11.140 Sjukvårdstextil Sortering av undertrikå vid
Läs merEnglish. Things to remember
English Things to remember Essay Kolla instruktionerna noggrant! Gå tillbaka och läs igenom igen och kolla att allt är med. + Håll dig till ämnet! Vem riktar ni er till? Var ska den publiceras? Vad är
Läs merTentamen i Matematik 2: M0030M.
Tentamen i Matematik 2: M0030M. Datum: 2010-01-12 Skrivtid: 09:00 14:00 Antal uppgifter: 6 ( 30 poäng ). Jourhavande lärare: Norbert Euler Telefon: 0920-492878 Tillåtna hjälpmedel: Inga Till alla uppgifterna
Läs merTeenage Brain Development
Teenage Brain Development In adults, various parts of the brain work together to evaluate choices, make decisions and act accordingly in each situation. The teenage brain doesn't appear to work like this.
Läs merKelly, Kevin (2016) The Inevitable: Understanding the 12 Technological Forces The Will Shape Our Future. Viking Press.
Every utopia is a fiction, with necessary flaws that prevent it from ever becoming real. I have not met a utopia I would even want to live in. H O W T O B U I L D A G E N C Y I N T H E F A C E O F U N
Läs merFragment, ellipser och informationsberikade konstituenter
Fragment, ellipser och informationsberikade konstituenter Pragmatik VT06 Påminnelse från förra gången 1. (a) Vad läser du? GR(OUND) F(OKUS) 2. (a) Vem läser Wittgenstein? F GR 3. (a) Vad gör du med Wittgenstein?
Läs merCHANGE WITH THE BRAIN IN MIND. Frukostseminarium 11 oktober 2018
CHANGE WITH THE BRAIN IN MIND Frukostseminarium 11 oktober 2018 EGNA FÖRÄNDRINGAR ü Fundera på ett par förändringar du drivit eller varit del av ü De som gått bra och det som gått dåligt. Vi pratar om
Läs merAlias 1.0 Rollbaserad inloggning
Alias 1.0 Rollbaserad inloggning Alias 1.0 Rollbaserad inloggning Magnus Bergqvist Tekniskt Säljstöd Magnus.Bergqvist@msb.se 072-502 09 56 Alias 1.0 Rollbaserad inloggning Funktionen Förutsättningar Funktionen
Läs merInkvarteringsstatistik. Göteborg & Co. Februari 2012
Inkvarteringsstatistik Göteborg & Co Februari 2012 FoU/ Marknad & Försäljning Gästnätter storstadsregioner Februari 2012, hotell och vandrarhem Gästnattsutveckling storstadsregioner Februari 2012, hotell
Läs merExempel på uppgifter från års ämnesprov i matematik för årskurs 3. Engelsk version
Exempel på uppgifter från 2010 2013 års ämnesprov i matematik för årskurs 3 Engelsk version Exempeluppgifter i årskurs 3, 2010, 2011 och 2012 1 Äp3Ma13 Part B 2 Innehåll Inledning... Fel! Bokmärket är
Läs merSecond handbook of research on mathematics teaching and learning (NCTM)
Second handbook of research on mathematics teaching and learning (NCTM) The effects of classroom mathematics teaching on students learning. (Hiebert & Grouws, 2007) Inledande observationer Undervisningens
Läs merSVENSK STANDARD SS-EN ISO 19108:2005/AC:2015
SVENSK STANDARD SS-EN ISO 19108:2005/AC:2015 Fastställd/Approved: 2015-07-23 Publicerad/Published: 2016-05-24 Utgåva/Edition: 1 Språk/Language: engelska/english ICS: 35.240.70 Geografisk information Modell
Läs mer2(x + 1) x f(x) = 3. Find the area of the surface generated by rotating the curve. y = x 3, 0 x 1,
MÄLARDALEN UNIVERSITY School of Education, Culture and Communication Department of Applied Mathematics Examiner: Lars-Göran Larsson EXAMINATION IN MATHEMATICS MAA5 Single Variable Calculus, TEN Date: 06--0
Läs merChapter 2: Random Variables
Chapter 2: Random Variables Experiment: Procedure + Observations Observation is an outcome Assign a number to each outcome: Random variable 1 Three ways to get an rv: Random Variables The rv is the observation
Läs merAnnonsformat desktop. Startsida / områdesstartsidor. Artikel/nyhets-sidor. 1. Toppbanner, format 1050x180 pxl. Format 1060x180 px + 250x240 pxl.
Annonsformat desktop Startsida / områdesstartsidor 1. Toppbanner, format 1050x180 pxl. Bigbang (toppbanner + bannerplats 2) Format 1060x180 px + 250x240 pxl. 2. DW, format 250x240 pxl. 3. TW, format 250x360
Läs merA QUEST FOR MISSING PULSARS
LOFAR A QUEST FOR MISSING PULSARS Samayra Straal Joeri v. Leeuwen WHAT ARE MISSING ~ half of PWN are associated with a pulsar (32/56) PULSARS? less than 25% of all SNRs are associated with a pulsar (60/294)
Läs merSWESIAQ Swedish Chapter of International Society of Indoor Air Quality and Climate
Swedish Chapter of International Society of Indoor Air Quality and Climate Aneta Wierzbicka Swedish Chapter of International Society of Indoor Air Quality and Climate Independent and non-profit Swedish
Läs mer