Nokton Theory. Contents. 1 Introduction. L.Saidani November 25, 2015

Størrelse: px
Starte visningen fra side:

Download "Nokton Theory. Contents. 1 Introduction. L.Saidani November 25, 2015"

Transkript

1 Nokton Theory L.Saidani November 25, 2015 Abstract It is a new theory based on an algorithmic approach. Its only element is called nokton. These rules are precise. The innities are completely absent whatever the system studied. It is a theory with discrete space and time. The theory is only at these beginnings. Contents 1 Introduction 1 2 Denitions and notations 3 3 Image Contributions Probabilities Symmetries 13 5 Observables Denition Classical observables Observable position Observable speed Observable particles Conclusion 17 1 Introduction For centuries physicists unsuccessfully seek a theory that works everywhere. Currently some theories are good candidates to see this search through, but everyone knows there's still some way to go. As a computer scientist I was tempted by a dierent approach stemming my domain. Why not the universe which we know is only a huge computer which works according to its own rules? The current document is an introduction certainly without revolutionary results 1

2 Figure 1: Evolution of the position of a nokton but at least describes a theory which works everywhere that I baptized nokton theory. The nokton theory is inspired by a computer operation where the core is a simple program based on elements called noktons. At its start, the computer loads a nite number of noktons. Each Nokton has an initial state. Then in every iteration its status evolves according to precise rules. There is a rule that describes the evolution of the position, a rule that describes the evolution of the speed... To illustrate an example of a evolution rule of the position, we are going to imagine (in 2D) a nokton initially at a well dened position saying (X 1, Y 1 ). In the next step, we assume that the evolution rule of position does not allow to choose any position but one of the closest positions and equidistant. If we suppose that the space is discreet with a step equal to 1, then the closest positions and equidistant are (X 1 1, Y 1 ), (X 1 +1, Y 1 ), (X 1, Y 1 1) et (X 1, Y 1 +1). Thus the nokton sees choosing one of the ve positions (X 1, Y 1 ), (X 1 1, Y 1 ), (X 1 + 1, Y 1 ), (X 1, Y 1 1) or (X 1, Y 1 + 1). But how choose one among these positions. We add then a method of random choice. Let us say that this nokton chooses the position : (X 1 1, Y 1 ) with probability p x (X 1 + 1, Y 1 ) with probability p +x (X 1, Y 1 1) with probability p y (X 1, Y 1 + 1) with probability p +y (X 1, Y 1 ) with probability p 0 = 1 (p x + p +x + p y + p +y ) 2

3 2 Denitions and notations Let be a number between 1 and 3. If this number is rational, then we can present it accurately using a nite number of bits (bits of information). If instead it is irrational as 2 then it is impossible to present it with a nite number of bits. Denition 1. A representable is a mathematical object such as exists an algorithm which accurately gives that object in a nite time. Denition 2. We give a list of n sets noted E 1, E 2...E n. We note E the result set of the Cartesian product of this list. For an element e E and an integer 1 i n, the the function projection γ E (i, e) gives the i-th term of e. Denition 3. A nokton is an element of the set M = Q 1, Q 0, Q +1 }. Q 1 is called negative nokton. Q 0 is called null nokton. Q +1 is called positive nokton. Denition 4. For N N, a gross universe with width N is N -uplet of set U N = M N. Denition 5. A position is a triplet 1 of the set R = Z 3. Denition 6. A pulse is a 6-tuple of the set Q 6 such that the sum of these terms is 1. The set of pulses is noted V. Denition 7. A status is couple of the set S = R V. Denition 8. For N N, a status with width N is a N -uplet of the set S N = S N. Denition 9. For T N and N N, a status with width (T,N) is a T -uplet of the set S T,N = S T N. 1 The study of random walks shows that in a space of 1 or 2 dimensions, the probability of return to the origin equal to 1 if the observation time goes to innity. 3

4 Denition 10. A unit displacement is a element of the set = x, +x, y, +y, z, +z, 0 }. x is called unit displacement according to the negative X axis. +x is called unit displacement according to the positive X axis. y is called unit displacement according to the negative Y axis. +y is called unit displacement according to the positive Y axis. z is called unit displacement according to the negative Z axis. +z is called unit displacement according to the positive Z axis. 0 is called null unit displacement. Denition 11. For N N, a displacement with width N is a N -uplet of the set N = N. Denition 12. For T N and N N, a path with width (T,N) is a T -uplet of the set T,N = T N. Denition 13. For N N, a universe with width N is couple of the set U N = U N S N. Denition 14. For T N and N N, a window with width (T,N) is a couple of the set W T,N = U N T,N. 3 Image Given two integers T N and N N. Denition 15. We dene the function image f as follows f : W T,N S T,N. In the following we give a universe ω = (µ, s) with width N and a window Γ = (ω, Ω) with width (T,N) and we note : λ = f(γ) φ U = γ U N φ = γ N ϕ = γ T,N φ S = γ SN ϕ S = γ ST,N 4

5 3.1 Contributions Denition 16. For a nokton q M, the charge function c is dened as follows : 1 if q = Q 1 c(q) = 0 if q = Q 0 +1 if q = Q +1 Denition 17. For a unit displacement δ, the displacement function u is dened as follows u(δ) = (u x (δ), u y (δ), u z (δ)) where 1 if δ = x u x (δ) = +1 if δ = +x 1 if δ = y u y (δ) = +1 if δ = +y 1 if δ = z u z (δ) = +1 if δ = +z Denition 18. For a status θ = (a, b) S, the function position ρ is dened as ρ(θ) = a and the function pulse υ is dened as υ(θ) = b. Given two integers 1 i N and 0 t T. Denition 19. For 1 t T, the function unit displacement ψ is dened as follows ψ (i, t, Γ) = φ (i, ϕ (t, Ω)). Denition 20. The function unit status ψ S is dened as follows : φ S (i, s) if t = 0 ψ S (i, t, Γ) = φ S (i, ϕ S (t, λ)) otherwise In the case where t = 0 we omit the argument Γ and we note ψ S (i, 0, Γ) = ψ S (i, s). 5

6 Denition 21. The function punctual position r is dened as follows : r(i, t, Γ) = (x(i, t, Γ), y(i, t, Γ), z(i, t, Γ)) = ρ(ψ S (i, t, Γ)) (1) In the case where t = 0 we omit the argument Γ and we note r(i, 0, Γ) = r(i, s). According to this denition, and for 1 t T, punctual position can be calculated as follows : r(i, t, Γ) = ρ(ψ S (i, s)) + t u(ψ (i, j, Γ)) (2) j=1 Given three integers 1 i N, 1 j N and 0 t T. Denition 22. The function dierence d is dened as follows : d(i, j, t, Γ) = (d x (i, j, t, Γ), d y (i, j, t, Γ), d z (i, j, t, Γ)) = r(i, t, Γ) r(j, t, Γ) In the case where t = 0 we omit the argument Γ and we note d(i, j, 0, Γ) = d(i, j, s). Denition 23. The function total dierence D is dened as follows : D(i, j, t, Γ) = 1 if d x (i, j, t, Γ) = d y (i, j, t, Γ) = d z (i, j, t, Γ) = 0 dx (i, j, t, Γ) 2 + d y (i, j, t, Γ) 2 + d z (i, j, t, Γ) 2 otherwise In the case where t = 0 we omit the argument Γ and we note D(i, j, 0, Γ) = D(i, j, s). Denition 24. The gravitational coupling functions g x, g +x, g y, g +y, g z and g +z are dened as follows : g x (i, j, t, Γ) = g +x (i, j, t, Γ) = g y (i, j, t, Γ) = g +y (i, j, t, Γ) = 1 if d x (i, j, t, Γ) > 0 1 if d x (i, j, t, Γ) < 0 1 if d y (i, j, t, Γ) > 0 1 if d y (i, j, t, Γ) < 0 6

7 g z (i, j, t, Γ) = g +z (i, j, t, Γ) = 1 if d z (i, j, t, Γ) > 0 1 if d z (i, j, t, Γ) < 0 In the case where t = 0 we omit the argument Γ and we note g x (i, j, 0, Γ) = g x (i, j, s), g +x (i, j, 0, Γ) = g +x (i, j, s), g y (i, j, 0, Γ) = g y (i, j, s), g +y (i, j, 0, Γ) = g +y (i, j, s), g z (i, j, 0, Γ) = g z (i, j, s) and g +z (i, j, 0, Γ) = g +z (i, j, s). Denition 25. The electric coupling functions e x, e +x, e y, e +y, e z and e +z are dened as follows : 1 if d x (i, j, t, Γ).c(φ U (i, µ))c(φ U (j, µ)) < 0 e x (i, j, t, Γ) = e +x (i, j, t, Γ) = e y (i, j, t, Γ) = e +y (i, j, t, Γ) = e z (i, j, t, Γ) = e +z (i, j, t, Γ) = 1 if d x (i, j, t, Γ).c(φ U (i, µ))c(φ U (j, µ)) > 0 1 if d y (i, j, t, Γ).c(φ U (i, µ))c(φ U (j, µ)) < 0 1 if d y (i, j, t, Γ).c(φ U (i, µ))c(φ U (j, µ)) > 0 1 if d z (i, j, t, Γ).c(φ U (i, µ))c(φ U (j, µ)) < 0 1 si d z (i, j, t, Γ).c(φ U (i, µ))c(φ U (j, µ)) > 0 In the case where t = 0 we omit the argument Γ and we note e x (i, j, 0, Γ) = e x (i, j, ω), e +x (i, j, 0, Γ) = e +x (i, j, ω), e y (i, j, 0, Γ) = e y (i, j, ω), e +y (i, j, 0, Γ) = e +y (i, j, ω), e z (i, j, 0, Γ) = e z (i, j, ω) and e +z (i, j, 0, Γ) = e +z (i, j, ω). Given three constants H Q, H g Q and H e Q where H is the constant of contribution, H g is the constant of gravitational coupling and H e is the constant of electric coupling. Denition 26. The functions partial contributions k x, k +x,k y, k +y,k z and k +z are dened as follows : 7

8 N k x (i, t, Γ) = H. (H g.g x (i, j, t, Γ) + H e.e x (i, j, t, Γ)).d x (i, j, t, Γ) 2 /D(i, j, t, Γ) 4 k +x (i, t, Γ) = H. k y (i, t, Γ) = H. k +y (i, t, Γ) = H. k z (i, t, Γ) = H. k +z (i, t, Γ) = H. j=1 N (H g.g +x (i, j, t, Γ) + H e.e +x (i, j, t, Γ)).d x (i, j, t, Γ) 2 /D(i, j, t, Γ) 4 j=1 N (H g.g y (i, j, t, Γ) + H e.e y (i, j, t, Γ)).d y (i, j, t, Γ) 2 /D(i, j, t, Γ) 4 j=1 N (H g.g +y (i, j, t, Γ) + H e.e +y (i, j, t, Γ)).d y (i, j, t, Γ) 2 /D(i, j, t, Γ) 4 j=1 N (H g.g z (i, j, t, Γ) + H e.e z (i, j, t, Γ)).d z (i, j, t, Γ) 2 /D(i, j, t, Γ) 4 j=1 N (H g.g +z (i, j, t, Γ) + H e.e +z (i, j, t, Γ)).d z (i, j, t, Γ) 2 /D(i, j, t, Γ) 4 j=1 In the case where t = 0 we omit the argument Γ and we note k x (i, 0, Γ) = k x (i, ω), k +x (i, 0, Γ) = k +x (i, ω), k y (i, 0, Γ) = k y (i, ω), k +y (i, 0, Γ) = k +y (i, ω), k z (i, 0, Γ) = k z (i, ω) and k +z (i, 0, Γ) = k +z (i, ω). Denition 27. The function of total contribution k is dened as sum of the partial contribution functions : k(i, t, Γ) = k x (i, t, Γ)+k +x (i, t, Γ)+k y (i, t, Γ)+k +y (i, t, Γ)+k z (i, t, Γ)+k +z (i, t, Γ) In the case where t = 0 we omit the argument Γ and we note k(i, 0, Γ) = k(i, ω). Denition 28. The contribution function K is dened as follows : K(i, t, Γ) = (k x (i, t, Γ), k +x (i, t, Γ), k y (i, t, Γ), k +y (i, t, Γ), k z (i, t, Γ), k +z (i, t, Γ)) In the case where t = 0 we omit the argument Γ and we note K(i, 0, Γ) = K(i, ω). Denition 29. The function partial pulses x 1, x +1, y 1, y +1, z 1, z +1 and w 0 are dened as follows : 8

9 x 1 (i, t, Γ) = γ V (1, υ(ψ S (i, t, Γ))) x +1 (i, t, Γ) = γ V (2, υ(ψ S (i, t, Γ))) y 1 (i, t, Γ) = γ V (3, υ(ψ S (i, t, Γ))) y +1 (i, t, Γ) = γ V (4, υ(ψ S (i, t, Γ))) z 1 (i, t, Γ) = γ V (5, υ(ψ S (i, t, Γ))) z +1 (i, t, Γ) = γ V (6, υ(ψ S (i, t, Γ))) w 0 (i, t, Γ) = 1 (x 1 (i, t, Γ)+x +1 (i, t, Γ)+y 1 (i, t, Γ)+y +1 (i, t, Γ)+z 1 (i, t, Γ)+z +1 (i, t, Γ)) In the case where t = 0 we omit the argument Γ and we note x 1 (i, 0, Γ) = x 1 (i, ω), x +x (i, 0, Γ) = x +1 (i, ω), y 1 (i, 0, Γ) = y 1 (i, ω), y +1 (i, 0, Γ) = y +1 (i, ω), z 1 (i, 0, Γ) = z 1 (i, ω), z +1 (i, 0, Γ) = z +1 (i, ω) and w 0 (i, 0, Γ) = w 0 (i, ω). Denition 30. For 1 t T, the pulses images of a nokton are calculated recursively as follows : v(ψ S (i, t, Γ)) = v(ψ S(i, t 1, Γ)) + K(i, t 1, Γ) 1 + k(i, t 1, Γ) Proposition 1. x 1 (i, t, Γ)+x +1 (i, t, Γ)+y 1 (i, t, Γ)+y +1 (i, t, Γ)+z 1 (i, t, Γ)+ z +1 (i, t, Γ) 1. Proof. We shall try to show by recurrence on t this proposal. For t = 0, by denition x 1 (i, 0, Γ)+x +1 (i, 0, Γ)+y 1 (i, 0, Γ)+y +1 (i, 0, Γ)+ z 1 (i, 0, Γ) + z +1 (i, 0, Γ) 1. For t 0, x 1 (i, t + 1, Γ) + x +1 (i, t + 1, Γ) + y 1 (i, t + 1, Γ) + y +1 (i, t + 1, Γ) + z 1 (i, t + 1, Γ) + z +1 (i, t + 1, Γ) = (x 1 (i, t, Γ) + k x (i, t, Γ))/(1 + k(i, t, Γ))+ (x +1 (i, t, Γ) + k +x (i, t, Γ))/(1 + k(i, t, Γ)) (y 1 (i, t, Γ) + k y (i, t, Γ))/(1 + k(i, t, Γ)) (y +1 (i, t, Γ) + k +y (i, t, Γ))/(1 + k(i, t, Γ)) (z 1 (i, t, Γ) + k z (i, t, Γ))/(1 + k(i, t, Γ)) (z +1 (i, t, Γ) + k +z (i, t, Γ))/(1 + k(i, t, Γ)) = (x 1 (i, t, Γ) + x +1 (i, t, Γ) + y 1 (i, t, Γ) + y +1 (i, t, Γ) + z 1 (i, t, Γ) + z +1 (i, t, Γ)+ k x (i, t, Γ) + k +x (i, t, Γ) + k y (i, t, Γ) + k +y (i, t, Γ) + k z (i, t, Γ) + k +z (i, t, Γ))/(1 + k(i, t, Γ)) = (x 1 (i, t, Γ) + x +1 (i, t, Γ) + y 1 (i, t, Γ) + y +1 (i, t, Γ) + z 1 (i, t, Γ) + z +1 (i, t, Γ) + k(i, t, Γ))/(1 + k(i, t, Γ)) 9

10 However x 1 (i, t, Γ) + x +1 (i, t, Γ) + y 1 (i, t, Γ) + y +1 (i, t, Γ) + z 1 (i, t, Γ) + z +1 (i, t, Γ) 1 Thus x 1 (i, t, Γ)+x +1 (i, t, Γ)+y 1 (i, t, Γ)+y +1 (i, t, Γ)+z 1 (i, t, Γ)+z +1 (i, t, Γ)+k(i, t, Γ) 1+k(i, t, Γ) (x 1 (i, t, Γ)+x +1 (i, t, Γ)+y 1 (i, t, Γ)+y +1 (i, t, Γ)+z 1 (i, t, Γ)+z +1 (i, t, Γ)+k(i, t, Γ))/(1+k(i, t, Γ)) 1 x 1 (i, t+1, Γ)+x +1 (i, t+1, Γ)+y 1 (i, t+1, Γ)+y +1 (i, t+1, Γ)+z 1 (i, t+1, Γ)+z +1 (i, t+1, Γ) 1 Proposition 2. For 1 t T, w 0 (i, t, Γ) = w 0 (i, t 1, Γ)/(1 + k(i, t 1, Γ)). Proof. w 0 (i, t, Γ) = 1 (x 1 (i, t, Γ) + x +1 (i, t, Γ) + y 1 (i, t, Γ) + y +1 (i, t, Γ) + z 1 (i, t, Γ) + z +1 (i, t, Γ)) = 1 ((x 1 (i, t 1, Γ) + k x (i, t 1, Γ))/(1 + k(i, t 1, Γ)) + (x +1 (i, t 1, Γ) + k +x (i, t 1, Γ))/(1 + k(i, t 1, Γ)) + (y 1 (i, t 1, Γ) + k y (i, t 1, Γ))/(1 + k(i, t 1, Γ)) + (y +1 (i, t 1, Γ) + k +y (i, t 1, Γ))/(1 + k(i, t 1, Γ)) + (z 1 (i, t 1, Γ) + k z (i, t 1, Γ))/(1 + k(i, t 1, Γ)) + (z +1 (i, t 1, Γ) + k +z (i, t 1, Γ))/(1 + k(i, t 1, Γ))) = 1 (x 1 (i, t 1, Γ) + x +1 (i, t 1, Γ) + y 1 (i, t 1, Γ) + y +1 (i, t 1, Γ) + z 1 (i, t 1, Γ) + z +1 (i, t 1, Γ) + k x (i, t 1, Γ) + k +x (i, t 1, Γ) + k y (i, t 1, Γ) + k +y (i, t 1, Γ) + k z (i, t 1, Γ) + k +z (i, t 1, Γ))/(1 + k(i, t 1, Γ)) = 1 (1 w 0 (i, t 1, Γ) + k(i, t 1, Γ))/(1 + k(i, t 1, Γ)) = w 0 (i, t 1, Γ)/(1 + k(i, t 1, Γ)) Proposition 3. For 1 t T, w 0 (i, ω) = 0 w 0 (i, t, Γ) = 0. Proof. Proof by recurrence for w 0 (i, ω) = 0 w 0 (i, t, Γ) = 0. 1 t T w 0 (i, t, Γ) = 0 w 0 (i, 1, Γ) = 0 = w 0 (i, 0, Γ)/(1 + k(i, 0, Γ)), so w 0 (i, 0, Γ) = 0 = w 0 (i, ω). 10

11 Corollary 1. For 1 t T if w 0 (i, ω) 0 then w 0 (i, t, Γ) 0. Proposition 4. For 1 t T if w 0 (i, ω) 0 then w 0 (i, t, Γ) is decreasing. Proof. For 1 t T, w 0 (i, t, Γ) = w 0 (i, t 1, Γ)/(1+k(i, t 1, Γ)) w 0 (i, t, Γ)/w 0 (i, t 1, Γ) = 1/(1+k(i, t 1, Γ)) however k(i, t 1, Γ) 0 then 1/(1+k(i, t 1, Γ)) 1, we deduct that w 0 (i, t, Γ) w 0 (i, t 1, Γ). Denition 31. The mobility Θ is dened as follows Θ(i, t, Γ) = 1 w 0 (i, t, Γ). In the case where t = 0 we omit the argument Γ and we note Θ(i, 0, Γ) = Θ(i, ω). Proposition 5. The mobility is increasing 2. Proof. Using the fact that w 0 is decreasing we prove that Θ is increasing. 3.2 Probabilities Given two integers 1 i N and 1 t T. Denition 32. The probability of displacement p is dened as follows : x 1 (i, t 1, Γ) if ψ (i, t, Γ) = x x +1 (i, t 1, Γ) if ψ (i, t, Γ) = +x y 1 (i, t 1, Γ) if ψ (i, t, Γ) = y p (i, t, Γ) = y +1 (i, t 1, Γ) if ψ (i, t, Γ) = +y y 1 (i, t 1, Γ) if ψ (i, t, Γ) = z y +1 (i, t 1, Γ) if ψ (i, t, Γ) = +z w 0 (i, t 1, Γ) otherwise Denition 33. The window probability p λ is dened as follows p λ (Γ) = N i=1 T t=1 p (i, t, Γ). Lemma 1. Given an integer n 1, E is nite set and (p i ) 1 i n is family of functions from E to Q such 1 i n e E p i(e) = 1 then x E n i=1 n p i (γ E n(i, x)) = 1 (3) 2 The increasing of the mobility can be the key to the explanation for the accelerated expansion of the universe. 11

12 Proof. We shall try to show by recurrence on n this lemma. For n = 1 x E 1 i=1 p i (γ E (i, x)) = x E p 1 (γ E (1, x)) = e E p 1 (γ E (1, e)) = e E p 1 (e) = 1 For n 1, we dene the operator which for an element y E n and z E, gives the element x E n+1 result of the concatenation to the right of the elements y and z. n+1 x E n+1 i=1 p i (γ E n+1(i, x)) = n+1 y z E n+1 i=1 = n+1 y E n z E i=1 p i (γ E n+1(i, y z)) p i (γ E n+1(i, y z)) = n+1 p i (γ E n+1(i, y z)) z E y E n i=1 = n p n+1 (γ E n+1(n + 1, y z)) p i (γ E n+1(i, y z)) z E y E n i=1 = n p n+1 (γ E (1, z)) p i (γ E n(i, y)) z E y E n i=1 = p n+1 (γ E (1, z)) n p i (γ E n(i, y)) z E y E n i=1 = z E p n+1 (γ E (1, z)) = 1 Corollary 2. Ω T,N p λ ((ω, Ω)) = 1. Proof. By using the lemma 3, by posing E =, n = N.T and we dene the family of functions p it +j as follows : 12

13 p it +t ( x ) = x 1 (i, t 1, Γ) p it +t ( +x ) = x +1 (i, t 1, Γ) p it +t ( y ) = y 1 (i, t 1, Γ) p it +t ( +y ) = y +1 (i, t 1, Γ) p it +t ( z ) = y 1 (i, t 1, Γ) p it +t ( +z ) = y +1 (i, t 1, Γ) p it +t ( 0 ) = w 0 (i, t 1, Γ) and the fact that p (i, t, Γ) = p it +t (ψ (i, t, Γ)), we prove the corollary. 4 Symmetries Given two integers T N and N N. Denition 34. A transformationζ is bijective function on the set W T,N. ζ : W T,N W T,N Denition 35. A transformation ζ is symmetric if and only if Γ W T,N p λ (Γ) = p λ (ζ(γ)). Denition 36. Given Γ a window with width (T,N ). A transformation ζ is strongly symmetric if and only if 1 i N, 0 t T and Γ W T,N we have v(ψ S (i, t, Γ)) = v(ψ S (i, t, ζ(γ)). Denition 37. A weakly symmetric transformation is a symmetric transformation which is not strongly symmetric. Proposition 6. Given Γ = (ω, Ω) a window with width (T,N) and ζ a transformation. We note ζ(γ) = Γ = (ω, Ω ). If 1 i N, 0 t T we have v(ψ S (i, ω)) = v(ψ S (i, ω )) and K(i, t, Γ) = K(i, t, Γ ), then ζ is strongly symmetric transformation. Proof. For t = 0, by hypothesis v(ψ S (i, 0, (ω, Ω))) = v(ψ S (i, ω)) = v(ψ S (i, ω )) = v(ψ S (i, 0, (ω, Ω))) = v(ψ S (i, 0, (ω, Ω ))) = v(ψ S (i, 0, ζ((ω, Ω)))). For t 1, if K(i, t, Γ) = K(i, t, Γ ) then k(i, t, Γ) = k(i, t, Γ ). We have v(ψ S (i, t, Γ)) = v(ψ S(i,t 1,Γ))+K(i,t 1,Γ) 1+k(i,t 1,Γ) = v(ψ S(i,t 1,Γ ))+K(i,t 1,Γ ) = v(ψ 1+k(i,t 1,Γ ) S (i, t, Γ )) = v(ψ S (i, t, ζ(γ))). 13

14 5 Observables 5.1 Denition According to the denition 33 a probability is associated with a window. By consequence the terms of the image of a window are observed with a probability equal to that of their window. Given two integers T N and N N. Denition 38. Given E and A two non empty sets. An observable ÂT,N is a function from the set E W T,N to the set A : Â T,N : E W T,N A A is called the set of observable values. For an observable value we can only calculate its probability. Given ω a universe with width N and e an element of E, the function PÂ,T,N which gives the probability of an observable value a is calculated as follows : PÂ,T,N (e, a) = U E (ÂT,N (e, (ω, Ω)), a).p λ ((ω, Ω)) (4) Ω T,N where U A : A 2 0, 1} 1 if a 1 = a 2 (a 1, a 2 ) If the set E contains only a single element then we omit to specify this element. In this case the observable becomes a function from W T,N to A and PÂ,T,N takes only a single argument. Proposition 7. a A P Â,T,N (e, a) = 1. Proof. If we pose a = ÂT,N (e, (ω, Ω)) then a A U A(ÂT,N (e, (ω, Ω)), a) = a A U A(a, a) = 1. According to the denition 4 : PÂ,T,N (e, a) = U A (ÂT,N (e, (ω, Ω)), a).p λ ((ω, Ω)) a A a A Ω T,N = U A (ÂT,N (e, (ω, Ω)), a).p λ ((ω, Ω)) = = Ω T,N a A p λ ((ω, Ω)). U A (ÂT,N (e, (ω, Ω)), a) Ω T,N a A p λ ((ω, Ω)) Ω T,N Yet according to the corollary 2, Ω T,N p λ ((ω, Ω)) = 1, we deduce that from it a A P Â,T,N (e, a) = 1. 14

15 5.2 Classical observables Given two integers T N and N N, and a universe ω = (µ, s) with width N. We give D and T two real constants and we note c = D/T. We also note : T = t N 1 t T }, Ñ = i N 1 i N} and Ψ = Ñ T. ϑ = R 3, ϑ N = ϑ N and ϑ T,N = ϑ T N. ϑ = R, ϑ N = ϑ N and ϑ T,N = ϑ T N Observable position Denition 39. The observable position noted ˆR T,N is dened as follows : ˆR T,N : Ψ W T,N ϑ T,N ((i, t), Γ) ˆR T,N ((i, t), Γ) = α where γ ϑn (i, γ ϑt,n (t, α)) = r(i, t, Γ)D. We note ˆr(i, t, Γ) = γ ϑn (i, γ ϑt,n (t, α)). For xed i and t we dene the observable punctual position noted ˆr t,i as follows : ˆr t,i : W T,N ϑ Γ ˆr t,i (Γ) = ˆr(i, t, Γ) Observable speed Denition 40. The observable speed noted ˆV T,N is dened as follows : ˆV T,N : Ψ W T,N ϑ T,N ((i, t), Γ) ˆV T,N ((i, t), Γ) = α where γ ϑn (i, γ ϑt,n (t, α)) = ˆr(i,t,Γ) ˆr(i,ω). We note ˆv(i, t, Γ) = γ tt ϑn (i, γ ϑt,n (t, α)). It is easy to demonstrate that ˆv(i, t, Γ) = r(i,t,γ) r(i,ω) t c. For xed i and t we dene the observable punctual speed noted ˆv t,i as follows : ˆv t,i : W T,N ϑ Γ ˆv t,i (Γ) = ˆv(i, t, Γ) If ϑ has the Euclidean norm. We dene the observable normalized speed V T,N as follows : V T,N : Ψ W T,N R ((i, t), Γ) V T,N ((i, t), Γ) = α 15

16 where γ ϑn (i, γ ϑt,n (t, α)) = ˆv(i, t, Γ). We note v(i, t, Γ) = γ ϑn (i, γ ϑt,n (t, α)). For xed i and t we dene the observable punctual normalized speed noted v t,i as follows : Proposition 8. v t,i (Γ) c. v t,i : W T,N R Γ v t,i (Γ) = v(i, t, Γ) Proof. We pose Γ = (ω, Ω). According to 1, r(i, ω) = ρ(ψ S (i, s)), and according to 2, r(i, t, Γ) = ρ(ψ S (i, s)) + t j=1 u(ψ (i, j, Γ)). Thus ˆv(i, t, Γ) = c t t j=1 u(ψ (i, j, Γ)) ˆv(i, t, Γ) = c t t j=1 u(ψ (i, j, Γ)). Yet t j=1 u(ψ (i, j, Γ)) t j=1 u(ψ (i, j, Γ)) and j u(ψ (i, j, Γ)) 1 then ˆv(i, t, Γ) c t.t ˆv(i, t, Γ) c. Thus v t,i(γ) c. 5.3 Observable particles Denition 41. A region Λ is a function from the set R 3 to the set 0, 1}. The set of regions is noted Λ. Given two integers T N and N N. We note T = t N 1 t T } and Ψ = Λ T. Denition 42. We dene the observable negative particles ˆP T,N as follows : ˆP T,N : Ψ W T,N N ((Λ, t), ((µ, s), Ω)) ˆP N T,N ((Λ, t), ((µ, s), Ω)) = Λ(ˆr t,i (((µ, s), Ω))).U M (φ U (i, µ), Q 1 ) i=1 Denition 43. We dene the observable null particles ˆP 0 T,N as follows : ˆP T,N 0 : Ψ W T,N N ((Λ, t), ((µ, s), Ω)) ˆP N T,N 0 ((Λ, t), ((µ, s), Ω)) = Λ(ˆr t,i (((µ, s), Ω))).U M (φ U (i, µ), Q 0 ) i=1 Denition 44. We dene the observable positive particles ˆP + T,N as follows : ˆP + T,N : Ψ W T,N N ((Λ, t), ((µ, s), Ω)) ˆP N + T,N ((Λ, t), ((µ, s), Ω)) = Λ(ˆr t,i (((µ, s), Ω))).U M (φ U (i, µ), Q +1 ) i=1 16

17 6 Conclusion The theory of the nokton is a new theory based on an algorithmic approach. We gave denitions which seem to be important for pursuing this way of unication of the theoretical physics. The results were not numerous but if the approach is good, they should not delay. It is important to determine the three constants H, H g et H e. In this case it is possible to compare this theory with the existing theories and the experimental facts. Can be the quest of the physicists will come to an end. 17

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

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

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

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

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

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

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

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

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

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

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

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

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

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

DET KONGELIGE BIBLIOTEK NATIONALBIBLIOTEK OG KØBENHAVNS UNIVERSITETS- BIBLIOTEK. Index

DET KONGELIGE BIBLIOTEK NATIONALBIBLIOTEK OG KØBENHAVNS UNIVERSITETS- BIBLIOTEK. Index DET KONGELIGE Index Download driver... 2 Find the Windows 7 version.... 2 Download the Windows Vista driver.... 4 Extract driver... 5 Windows Vista installation of a printer.... 7 Side 1 af 12 DET KONGELIGE

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Løsning af skyline-problemet

Løsning af skyline-problemet Løsning af skyline-problemet Keld Helsgaun RUC, oktober 1999 Efter at have overvejet problemet en stund er min første indskydelse, at jeg kan opnå en løsning ved at tilføje en bygning til den aktuelle

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

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

Differential Evolution (DE) "Biologically-inspired computing", T. Krink, EVALife Group, Univ. of Aarhus, Denmark

Differential Evolution (DE) Biologically-inspired computing, T. Krink, EVALife Group, Univ. of Aarhus, Denmark Differential Evolution (DE) Differential Evolution (DE) (Storn and Price, 199) Step 1 - Initialize and evaluate Generate a random start population and evaluate the individuals x 2 search space x 1 Differential

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

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

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

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

Trolling Master Bornholm 2016 Nyhedsbrev nr. 5

Trolling Master Bornholm 2016 Nyhedsbrev nr. 5 Trolling Master Bornholm 2016 Nyhedsbrev nr. 5 English version further down Kim Finne med 11 kg laks Laksen blev fanget i denne uge øst for Bornholm ud for Nexø. Et andet eksempel er her to laks taget

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

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

GUIDE TIL BREVSKRIVNING

GUIDE TIL BREVSKRIVNING GUIDE TIL BREVSKRIVNING APPELBREVE Formålet med at skrive et appelbrev er at få modtageren til at overholde menneskerettighederne. Det er en god idé at lægge vægt på modtagerens forpligtelser over for

Læs mere

Trolling Master Bornholm 2012

Trolling Master Bornholm 2012 Trolling Master Bornholm 1 (English version further down) Tak for denne gang Det var en fornøjelse især jo også fordi vejret var med os. Så heldig har vi aldrig været før. Vi skal evaluere 1, og I må meget

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

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

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

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

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

Measuring the Impact of Bicycle Marketing Messages. Thomas Krag Mobility Advice Trafikdage i Aalborg, 27.08.2013

Measuring the Impact of Bicycle Marketing Messages. Thomas Krag Mobility Advice Trafikdage i Aalborg, 27.08.2013 Measuring the Impact of Bicycle Marketing Messages Thomas Krag Mobility Advice Trafikdage i Aalborg, 27.08.2013 The challenge Compare The pilot pictures The choice The survey technique Only one picture

Læs mere

To the reader: Information regarding this document

To the reader: Information regarding this document To the reader: Information regarding this document All text to be shown to respondents in this study is going to be in Danish. The Danish version of the text (the one, respondents are going to see) appears

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

Kalkulation: Hvordan fungerer tal? Jan Mouritsen, professor Institut for Produktion og Erhvervsøkonomi

Kalkulation: Hvordan fungerer tal? Jan Mouritsen, professor Institut for Produktion og Erhvervsøkonomi Kalkulation: Hvordan fungerer tal? Jan Mouritsen, professor Institut for Produktion og Erhvervsøkonomi Udbud d af kalkulationsmetoder l t Economic Value Added, Balanced Scorecard, Activity Based Costing,

Læs mere

ATEX direktivet. Vedligeholdelse af ATEX certifikater mv. Steen Christensen stec@teknologisk.dk www.atexdirektivet.

ATEX direktivet. Vedligeholdelse af ATEX certifikater mv. Steen Christensen stec@teknologisk.dk www.atexdirektivet. ATEX direktivet Vedligeholdelse af ATEX certifikater mv. Steen Christensen stec@teknologisk.dk www.atexdirektivet.dk tlf: 7220 2693 Vedligeholdelse af Certifikater / tekniske dossier / overensstemmelseserklæringen.

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

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

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

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

3D NASAL VISTA TEMPORAL

3D NASAL VISTA TEMPORAL USER MANUAL www.nasalsystems.es index index 2 I. System requirements 3 II. Main menu 4 III. Main popup menu 5 IV. Bottom buttons 6-7 V. Other functions/hotkeys 8 2 I. Systems requirements ``Recommended

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

RoE timestamp and presentation time in past

RoE timestamp and presentation time in past RoE timestamp and presentation time in past Jouni Korhonen Broadcom Ltd. 5/26/2016 9 June 2016 IEEE 1904 Access Networks Working Group, Hørsholm, Denmark 1 Background RoE 2:24:6 timestamp was recently

Læs mere

F o r t o l k n i n g e r a f m a n d a l a e r i G I M - t e r a p i

F o r t o l k n i n g e r a f m a n d a l a e r i G I M - t e r a p i F o r t o l k n i n g e r a f m a n d a l a e r i G I M - t e r a p i - To fortolkningsmodeller undersøgt og sammenlignet ifm. et casestudium S i g r i d H a l l b e r g Institut for kommunikation Aalborg

Læs mere

Kort A. Tidsbegrænset EF/EØS-opholdsbevis (anvendes til EF/EØS-statsborgere) (Card A. Temporary EU/EEA residence permit used for EU/EEA nationals)

Kort A. Tidsbegrænset EF/EØS-opholdsbevis (anvendes til EF/EØS-statsborgere) (Card A. Temporary EU/EEA residence permit used for EU/EEA nationals) DENMARK Residence cards EF/EØS opholdskort (EU/EEA residence card) (title on card) Kort A. Tidsbegrænset EF/EØS-opholdsbevis (anvendes til EF/EØS-statsborgere) (Card A. Temporary EU/EEA residence permit

Læs mere

Appendix 1: Interview guide Maria og Kristian Lundgaard-Karlshøj, Ausumgaard

Appendix 1: Interview guide Maria og Kristian Lundgaard-Karlshøj, Ausumgaard Appendix 1: Interview guide Maria og Kristian Lundgaard-Karlshøj, Ausumgaard Fortæl om Ausumgaard s historie Der er hele tiden snak om værdier, men hvad er det for nogle værdier? uddyb forklar definer

Læs mere

The GAssist Pittsburgh Learning Classifier System. Dr. J. Bacardit, N. Krasnogor G53BIO - Bioinformatics

The GAssist Pittsburgh Learning Classifier System. Dr. J. Bacardit, N. Krasnogor G53BIO - Bioinformatics The GAssist Pittsburgh Learning Classifier System Dr. J. Bacardit, N. Krasnogor G53BIO - Outline bioinformatics Summary and future directions Objectives of GAssist GAssist [Bacardit, 04] is a Pittsburgh

Læs mere

Trolling Master Bornholm 2015

Trolling Master Bornholm 2015 Trolling Master Bornholm 2015 (English version further down) Sæsonen er ved at komme i omdrejninger. Her er det John Eriksen fra Nexø med 95 cm og en kontrolleret vægt på 11,8 kg fanget på østkysten af

Læs mere

X M Y. What is mediation? Mediation analysis an introduction. Definition

X M Y. What is mediation? Mediation analysis an introduction. Definition What is mediation? an introduction Ulla Hvidtfeldt Section of Social Medicine - Investigate underlying mechanisms of an association Opening the black box - Strengthen/support the main effect hypothesis

Læs mere

The purpose of our Homepage is to allow external access to pictures and videos taken/made by the Gunnarsson family.

The purpose of our Homepage is to allow external access to pictures and videos taken/made by the Gunnarsson family. General The purpose of our Homepage is to allow external access to pictures and videos taken/made by the Gunnarsson family. Formålet med vores hjemmesiden er at gøre billeder og video som vi (Gunnarsson)

Læs mere

Hvor er mine runde hjørner?

Hvor er mine runde hjørner? Hvor er mine runde hjørner? Ofte møder vi fortvivlelse blandt kunder, når de ser deres nye flotte site i deres browser og indser, at det ser anderledes ud, i forhold til det design, de godkendte i starten

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

1 What is the connection between Lee Harvey Oswald and Russia? Write down three facts from his file.

1 What is the connection between Lee Harvey Oswald and Russia? Write down three facts from his file. Lee Harvey Oswald 1 Lee Harvey Oswald s profile Read Oswald s profile. Answer the questions. 1 What is the connection between Lee Harvey Oswald and Russia? Write down three facts from his file. 2 Oswald

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

Øjnene, der ser. - sanseintegration eller ADHD. Professionshøjskolen UCC, Psykomotorikuddannelsen

Øjnene, der ser. - sanseintegration eller ADHD. Professionshøjskolen UCC, Psykomotorikuddannelsen Øjnene, der ser - sanseintegration eller ADHD Professionshøjskolen UCC, Psykomotorikuddannelsen Professionsbachelorprojekt i afspændingspædagogik og psykomotorik af: Anne Marie Thureby Horn Sfp o623 Vejleder:

Læs mere

applies equally to HRT and tibolone this should be made clear by replacing HRT with HRT or tibolone in the tibolone SmPC.

applies equally to HRT and tibolone this should be made clear by replacing HRT with HRT or tibolone in the tibolone SmPC. Annex I English wording to be implemented SmPC The texts of the 3 rd revision of the Core SPC for HRT products, as published on the CMD(h) website, should be included in the SmPC. Where a statement in

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

Evaluating Germplasm for Resistance to Reniform Nematode. D. B. Weaver and K. S. Lawrence Auburn University

Evaluating Germplasm for Resistance to Reniform Nematode. D. B. Weaver and K. S. Lawrence Auburn University Evaluating Germplasm for Resistance to Reniform Nematode D. B. Weaver and K. S. Lawrence Auburn University Major objectives Evaluate all available accessions of G. hirsutum (TX list) for reaction to reniform

Læs mere

Den nye Eurocode EC Geotenikerdagen Morten S. Rasmussen

Den nye Eurocode EC Geotenikerdagen Morten S. Rasmussen Den nye Eurocode EC1997-1 Geotenikerdagen Morten S. Rasmussen UDFORDRINGER VED EC 1997-1 HVAD SKAL VI RUNDE - OPBYGNINGEN AF DE NYE EUROCODES - DE STØRSTE UDFORDRINGER - ER DER NOGET POSITIVT? 2 OPBYGNING

Læs mere

PROBLEMLØSNING - HVAD KAN DET?

PROBLEMLØSNING - HVAD KAN DET? PROBLEMLØSNING - HVAD KAN DET? UNDERVISNINGSDIFFERENTIERING I MATEMATIK Søs Spahn 1. maj 2019 POLYA HVEM OG HVAD? OPSLAG PÅ WIKIPEDIA: GEORGE PÓLYA (/ˈPOƱLJƏ/; HUNGARIAN: PÓLYA GYÖRGY [ˈPOːJɒ ˈɟØRɟ]) (DECEMBER

Læs mere

3D NASAL VISTA 2.0

3D NASAL VISTA 2.0 USER MANUAL www.nasalsystems.es index index 2 I. System requirements 3 II. Main menu 4 III. Main popup menu 5 IV. Bottom buttons 6-7 V. Other functions/hotkeys 8 2 I. Systems requirements ``Recommended

Læs mere

Richter 2013 Presentation Mentor: Professor Evans Philosophy Department Taylor Henderson May 31, 2013

Richter 2013 Presentation Mentor: Professor Evans Philosophy Department Taylor Henderson May 31, 2013 Richter 2013 Presentation Mentor: Professor Evans Philosophy Department Taylor Henderson May 31, 2013 OVERVIEW I m working with Professor Evans in the Philosophy Department on his own edition of W.E.B.

Læs mere

Observation Processes:

Observation Processes: Observation Processes: Preparing for lesson observations, Observing lessons Providing formative feedback Gerry Davies Faculty of Education Preparing for Observation: Task 1 How can we help student-teachers

Læs mere

Userguide. NN Markedsdata. for. Microsoft Dynamics CRM 2011. v. 1.0

Userguide. NN Markedsdata. for. Microsoft Dynamics CRM 2011. v. 1.0 Userguide NN Markedsdata for Microsoft Dynamics CRM 2011 v. 1.0 NN Markedsdata www. Introduction Navne & Numre Web Services for Microsoft Dynamics CRM hereafter termed NN-DynCRM enable integration to Microsoft

Læs mere

The complete construction for copying a segment, AB, is shown above. Describe each stage of the process.

The complete construction for copying a segment, AB, is shown above. Describe each stage of the process. A a compass, a straightedge, a ruler, patty paper B C A Stage 1 Stage 2 B C D Stage 3 The complete construction for copying a segment, AB, is shown above. Describe each stage of the process. Use a ruler

Læs mere

Molio specifications, development and challenges. ICIS DA 2019 Portland, Kim Streuli, Molio,

Molio specifications, development and challenges. ICIS DA 2019 Portland, Kim Streuli, Molio, Molio specifications, development and challenges ICIS DA 2019 Portland, Kim Streuli, Molio, 2019-06-04 Introduction The current structure is challenged by different factors. These are for example : Complex

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

Bilag. Resume. Side 1 af 12

Bilag. Resume. Side 1 af 12 Bilag Resume I denne opgave, lægges der fokus på unge og ensomhed gennem sociale medier. Vi har i denne opgave valgt at benytte Facebook som det sociale medie vi ligger fokus på, da det er det største

Læs mere

OXFORD. Botley Road. Key Details: Oxford has an extensive primary catchment of 494,000 people

OXFORD. Botley Road. Key Details: Oxford has an extensive primary catchment of 494,000 people OXFORD Key Details: Oxford has an extensive primary catchment of 494,000 people Prominent, modern scheme situated in prime retail area Let to PC World & Carpetright and close to Dreams, Currys, Land of

Læs mere

Chapter. Information Representation

Chapter. Information Representation Chapter 3 Information Representation (a) A seven-bit cell. Figure 3. Figure 3. (Continued) (b) Some possible values in a seven-bit cell. Figure 3. (Continued) 6 8 7 2 5 J A N U A R Y (c) Some impossible

Læs mere

Trolling Master Bornholm 2016 Nyhedsbrev nr. 3

Trolling Master Bornholm 2016 Nyhedsbrev nr. 3 Trolling Master Bornholm 2016 Nyhedsbrev nr. 3 English version further down Den første dag i Bornholmerlaks konkurrencen Formanden for Bornholms Trollingklub, Anders Schou Jensen (og meddomer i TMB) fik

Læs mere

USERTEC USER PRACTICES, TECHNOLOGIES AND RESIDENTIAL ENERGY CONSUMPTION

USERTEC USER PRACTICES, TECHNOLOGIES AND RESIDENTIAL ENERGY CONSUMPTION USERTEC USER PRACTICES, TECHNOLOGIES AND RESIDENTIAL ENERGY CONSUMPTION P E R H E I S E L BERG I N S T I T U T F OR BYGGERI OG A N L Æ G BEREGNEDE OG FAKTISKE FORBRUG I BOLIGER Fra SBi rapport 2016:09

Læs mere

Constant Terminal Voltage. Industry Workshop 1 st November 2013

Constant Terminal Voltage. Industry Workshop 1 st November 2013 Constant Terminal Voltage Industry Workshop 1 st November 2013 Covering; Reactive Power & Voltage Requirements for Synchronous Generators and how the requirements are delivered Other countries - A different

Læs mere

Handout 1: Eksamensspørgsmål

Handout 1: Eksamensspørgsmål Handout 1: Eksamensspørgsmål Denne vejledning er udfærdiget på grundlag af Peter Bakkers vejledning til jeres eksamensspørgsmål. Hvis der skulle forekomme afvigelser fra Peter Bakkers vejledning, er det

Læs mere

Dean's Challenge 16.november 2016

Dean's Challenge 16.november 2016 O Dean's Challenge 16.november 2016 The pitch proces..with or without slides Create and Practice a Convincing pitch Support it with Slides (if allowed) We help entrepreneurs create, train and improve their

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

A multimodel data assimilation framework for hydrology

A multimodel data assimilation framework for hydrology A multimodel data assimilation framework for hydrology Antoine Thiboult, François Anctil Université Laval June 27 th 2017 What is Data Assimilation? Use observations to improve simulation 2 of 8 What is

Læs mere

Computing the constant in Friedrichs inequality

Computing the constant in Friedrichs inequality Computing the constant in Friedrichs inequality Tomáš Vejchodský vejchod@math.cas.cz Institute of Mathematics, Žitná 25, 115 67 Praha 1 February 8, 212, SIGA 212, Prague Motivation Classical formulation:

Læs mere

Remember the Ship, Additional Work

Remember the Ship, Additional Work 51 (104) Remember the Ship, Additional Work Remember the Ship Crosswords Across 3 A prejudiced person who is intolerant of any opinions differing from his own (5) 4 Another word for language (6) 6 The

Læs mere

Trolling Master Bornholm 2014

Trolling Master Bornholm 2014 Trolling Master Bornholm 2014 (English version further down) Den ny havn i Tejn Havn Bornholms Regionskommune er gået i gang med at udvide Tejn Havn, og det er med til at gøre det muligt, at vi kan være

Læs mere

E-PAD Bluetooth hængelås E-PAD Bluetooth padlock E-PAD Bluetooth Vorhängeschloss

E-PAD Bluetooth hængelås E-PAD Bluetooth padlock E-PAD Bluetooth Vorhängeschloss E-PAD Bluetooth hængelås E-PAD Bluetooth padlock E-PAD Bluetooth Vorhängeschloss Brugervejledning (side 2-6) Userguide (page 7-11) Bedienungsanleitung 1 - Hvordan forbinder du din E-PAD hængelås med din

Læs mere