Topologies on pseudoinnite paths
|
|
- Susanna Lehtilä
- 5 vuotta sitten
- Katselukertoja:
Transkriptio
1 Topologies on pseudoinnite paths Andrey Kudinov Institute for Information Transmission Problems, Moscow National Research University Higher School of Economics, Moscow Moscow Institute of Physics and Technology June 14, 216
2 PLAN 1. Language 2. Topological semantics 3. Products of logics 4. Neighborhood frames 5. Without seriality 6. Dense topological spaces 7. Logic S5 8. Ideas of the proof
3 Language and logics φ ::= p φ φ φ iφ, i = 1, 2., and i are expressible in the usual way. Normal modal logic. K n denotes the minimal normal modal logic with n modalities and K = K 1. L 1 and L 2 two modal logics with one modality then the fusion of these logics is dened as L 1 L 2 = K 2 + L 1 + L 2 ; where L i is the set of all formulas from L i where in all formulas is replaced by i.
4 Topological semantics We can dene topology on set X by specifying a closure operator C : 2 X 2 X, satisfying the Kuratowski axioms: 1. C( ) =, 2. A C(A), for A X, p p 3. C(A B) = C(A) C(B), for A, B X, (p q) p q 4. C ( C(A) ) C(A). A X, p p Logic S4 In topological semantics for modal logic closure operator correspond to. Topological model (X, θ), where X = (X, C) topological space: p θ(p) X θ(φ ψ) = θ(φ) θ(ψ) θ( φ) = X \ θ(φ) θ( φ) = C(θ(φ)). X = φ θ(θ(φ) = X), Log(X) = {φ X = φ}.
5 Topological semantics We can dene topology on set X by specifying a closure operator C : 2 X 2 X, satisfying the Kuratowski axioms: 1. C( ) =, 2. A C(A), for A X, p p 3. C(A B) = C(A) C(B), for A, B X, (p q) p q 4. C ( C(A) ) C(A). A X, p p Logic S4 In topological semantics for modal logic closure operator correspond to. Topological model (X, θ), where X = (X, C) topological space: p θ(p) X θ(φ ψ) = θ(φ) θ(ψ) θ( φ) = X \ θ(φ) θ( φ) = C(θ(φ)). X = φ θ(θ(φ) = X), Log(X) = {φ X = φ}.
6 Alexandro topology On a transitive reexive Kripke frame F = (W, R) we can dene topology, i.e. closure operator: C F (A) = R 1 (A). It will be an Alexandro topology (any intersection of open sets is open, all points have minimal neighborhood). Lemma F = φ (W, C F ) = φ. We dene T op(f ) = (W, C F ) Completeness of S4 w.r.t. all Alexandro spaces. Many topologies are not Alexandro: R n, Cantor space, Q or any metric space.
7 Alexandro topology On a transitive reexive Kripke frame F = (W, R) we can dene topology, i.e. closure operator: C F (A) = R 1 (A). It will be an Alexandro topology (any intersection of open sets is open, all points have minimal neighborhood). Lemma F = φ (W, C F ) = φ. We dene T op(f ) = (W, C F ) Completeness of S4 w.r.t. all Alexandro spaces. Many topologies are not Alexandro: R n, Cantor space, Q or any metric space.
8 Alexandro topology On a transitive reexive Kripke frame F = (W, R) we can dene topology, i.e. closure operator: C F (A) = R 1 (A). It will be an Alexandro topology (any intersection of open sets is open, all points have minimal neighborhood). Lemma F = φ (W, C F ) = φ. We dene T op(f ) = (W, C F ) Completeness of S4 w.r.t. all Alexandro spaces. Many topologies are not Alexandro: R n, Cantor space, Q or any metric space.
9 Derivational semantics We can dene topological space using derivative operator d : 2 X 2 X, where d(a) is the set of all limit points of A. In a similar way we dene derivational semantics: θ( φ) = d(θ(φ)) The logic of all topological space is wk4 = K + p p p (Esakia'1981). The logic of Q, Cantor space (or any dense-in-itself zero-dimensional metric space) is D4 = K + p p + (Shehtman'199).
10 The product of Kripke frames For two frames F 1 = (W 1, R 1) and F 2 = (W 2, R 2) F 1 F 2 = (W 1 W 2, R 1, R 2), where (a 1, a 2)R 1(b 1, b 2) a 1R 1b 1 & a 2 = b 2 (a 1, a 2)R 2(b 1, b 2) a 1 = b 1 & a 2R 2b 2 For two logics L 1 and L 2 L 1 L 2 = Log({F 1 F 2 F 1 = L 1 & F 2 = L 2}) (Shehtman, 1978) For two classes of frames F 1 and F 2 Log({F 1 F 2 F 1 F 1 & F 2 F 2}) Log(F 1) Log(F 2) p 1 2p + 1 2p 2 1p. K K = K K + 1 2p 1 2p + 1 2p 2 1p S4 S4 = S4 S p 1 2p + 1 2p 2 1p.
11 The product of topological spaces (van Benthem et al, 25) For two topological space X 1 = (X 1, τ 1) and X 2 = (X 2, τ 2) X 1 X 2 = (X 1 X 2, τ 1, τ 2 ), where τ 1 has base {U 1 x 2 U 1 τ 1 & x 2 X 2} τ 2 has base {x 1 U 2 x 1 X 1 & U 2 τ 2}
12 The product of topological spaces (van Benthem et al, 25) For two topological space X 1 = (X 1, τ 1) and X 2 = (X 2, τ 2) X 1 X 2 = (X 1 X 2, τ 1, τ 2 ), where τ 1 has base {U 1 x 2 U 1 τ 1 & x 2 X 2} y τ 2 has base {x 1 U 2 x 1 X 1 & U 2 τ 2} x
13 The product of topological spaces (van Benthem et al, 25) For two topological space X 1 = (X 1, τ 1) and X 2 = (X 2, τ 2) X 1 X 2 = (X 1 X 2, τ 1, τ 2 ), where τ 1 has base {U 1 x 2 U 1 τ 1 & x 2 X 2} For two logics L 1 and L 2 τ 2 has base {x 1 U 2 x 1 X 1 & U 2 τ 2} L 1 t L 2 = Log({X 1 X 2 X 1 = L 1 & X 2 = L 2} S4 t S4 = Log(Q Q) = S4 S4 (van Benthem et al, 25) Log(R R) S4 S4 (Kremer, 21?) Log(Cantor Cantor) S4 S4 d-logic of product of topological spaces was considered by L. Uridia (211). Log d (Q Q) = D4 D4 Generalization to neighborhood frames was done by K. Sano (211).
14 Known results Theorem (212) Let L 1 and L 2 be from the set {D, T, D4, S4} then L 1 n L 2 = L 1 L 2. Not straightforward but still a Corollary In derivational semantics 1. D4 d D4 = D4 D4. 2. [Uridia'211] Log d (Q Q) = D4 D4
15 Topological semantics based on closure operator or derivative operator can be generalized in the neighborhood semantics. We can consider neighborhood function τ : X 2 2X. For x X τ(x) is a set of neighborhoods of x. It connected with C is the following way: A τ(x) x I(A), where I(A) = X \ C(X \ A). And for derivational semantics A τ(x) x d(a), where d(a) = X \ d(x \ A).
16 Neighborhood frames A (normal) neighborhood frame (or an n-frame) is a pair X = (X, τ), where X ; τ : X 2 2X, such that τ(x) is a lter on X; τ neighborhood function of X, τ(x) neighborhoods of x. Filter on X: nonempty F 2 X such that 1) U F & U V V F 2) U, V F U V F (lter base) The neighborhood model (n-model) is a pair (X, V ), where X = (X, τ) is a n-frame and V : P V 2 X is a valuation. Similar: neighborhood 2-frame (n-2-frame) is (X, τ 1, τ 2) such that τ i is a neighborhood function on X for each i. Validity in model: M, x = iψ V τ i(x) y V (M, y = ψ). M = ϕ X = ϕ X = L Log(C) = {ϕ X = ϕ for some X C} nv (L) = {X X is an n-frame and X = L}
17 Connection with Kripke frames Denition Let F = (W, R) be a Kripke frame. We dene neighborhood frame N (F ) = (W, τ) as follows. For any w W τ(w) = {U R(w) U W }. Lemma Let F = (W, R) be a Kripke frame. Then Log(N (F )) = Log(F ).
18 Bounded morphism for n-frames Denition Let X = (X, τ 1,...) and Y = (Y, σ 1,...) be n-frames. Then function f : X Y is a bounded morphism if 1. f is surjective; 2. for any x X and U τ i(x) f(u) σ i(f(x)); 3. for any x X and V σ i(f(x)) there exists U τ i(x), such that f(u) V. In notation f : X Y. Lemma If f : X Y then Log(Y) Log(X).
19 Not always fusion It is not the case for logic K! Lemma For any two n-frames X 1 and X 2 X 1 X 2 = And even more, for any closed 1-free formula φ and any closed 2-free formula ψ X 1 X 2 = φ 1φ, X 1 X 2 = ψ 2ψ. Proof. X 1 X 2, (x, y) = 1 τ 1(x, y) τ 1(x) y X 2 ( τ 1(x, y )) y X 2 (X 1 X 2, (x, y ) = 1 ) = X 1 X 2, (x, y) = 2 1. Hence, X 1 X 2 =
20 Not always fusion It is not the case for logic K! Lemma For any two n-frames X 1 and X 2 X 1 X 2 = And even more, for any closed 1-free formula φ and any closed 2-free formula ψ X 1 X 2 = φ 1φ, X 1 X 2 = ψ 2ψ. Proof. Since ψ does not contain neither 2, nor variables, its value does not depend on the second coordinate. Let F = X 1 X 2. So F, (x, y) = ψ, then y (F, (x, y ) = ψ), hence, F, (x, y) = 2ψ.
21 Not always fusion Lemma For any two n-frames X 1 and X 2 X 1 X 2 = And even more, for any closed 1-free formula φ and any closed 2-free formula ψ X 1 X 2 = φ 1φ, X 1 X 2 = ψ 2ψ. Denition For two unimodal logics L 1 and L 2, we dene L 1, L 2 = L 1 L 2 +, where = {φ 2φ φ is closed and 2-free} {ψ 1ψ ψ is closed and 1-free}. Lemma For any two normal modal logics L 1 and L 2 L 1, L 2 L 1 n L 2. Note that if L 1 L 2 then L 1 L 2 =.
22 Cantor space and innite paths Standart construction: Cantor space as the set on innite paths on innite binary tree T 2. The base of topology is the sets of the following type: where α and β are two innite paths: U m(α) = {β a 1 = b 1,... a m = b m}. α = a 1a 2a 3..., β = b 1b 2b In order to proof completeness of S4 w.r.t. Cantor space we need to construct p-morphism from Cantor space to arbitrary nite S4-frame. [Mints, 1998]
23 Cantor space and innite paths Standart construction: Cantor space as the set on innite paths on innite binary tree T 2. The base of topology is the sets of the following type: where α and β are two innite paths: U m(α) = {β a 1 = b 1,... a m = b m}. α = a 1a 2a 3..., β = b 1b 2b In order to proof completeness of S4 w.r.t. Cantor space we need to construct p-morphism from Cantor space to arbitrary nite S4-frame. [Mints, 1998]
24 Cantor space and innite paths Standart construction: Cantor space as the set on innite paths on innite binary tree T 2. The base of topology is the sets of the following type: where α and β are two innite paths: U m(α) = {β a 1 = b 1,... a m = b m}. α = a 1a 2a 3..., β = b 1b 2b In order to proof completeness of S4 w.r.t. Cantor space we need to construct p-morphism from Cantor space to arbitrary nite S4-frame. [Mints, 1998]
25 Constructing dense topologies from Kripke frames We need to construct a dense topological space based on a Kripke frame. This becomes important in studying of products of topological spaces.
26 Example r q h i j k l m n p d e f g b c a
27 Example r q h i j k l m n p d e f g b c a a bej ω
28 Example r q h i j k l m n p d e f g b c b a a bej ω
29 Example r q h i j k l m n p d e f g e b c b a a bej ω
30 Example r q h i j k l m n p j d e f g e b c b a a bej ω
31 Example r q h i j k l m n p j d e f g e b c b a a bej ω a bej ω
32 Example r q h i j k l m n p j d e f g e b c b a a bej ω a bej ω
33 Example r q h i j k l m n p j d e f g e b c b a a bej ω a bej
34 Example r q h i j k l m n p j d e f g e b c b a α = a bej ω f F (α) = j
35 N ω (F ) Denition Sets U n(α) form a lter base. So we can dene τ(α) the lter with base {U n(α) n N} ; N ω(f ) = (W ω, τ) is a dense n-frame based on F. Frame N ω(f ) is dense in a sense that the intersection of all neighborhoods of a point is empty. So, there are no minimal neighborhoods unlike in T op(f ). Lemma Let F = (W, R) be a Kripke frame with root a, then f F : N ω(f ) N (F ). Corollary For any frame F Log(N ω(f )) Log(N (F )) = Log(F ).
36 N ω (F ) Denition Sets U n(α) form a lter base. So we can dene τ(α) the lter with base {U n(α) n N} ; N ω(f ) = (W ω, τ) is a dense n-frame based on F. Frame N ω(f ) is dense in a sense that the intersection of all neighborhoods of a point is empty. So, there are no minimal neighborhoods unlike in T op(f ). Lemma Let F = (W, R) be a Kripke frame with root a, then f F : N ω(f ) N (F ). Corollary For any frame F Log(N ω(f )) Log(N (F )) = Log(F ).
37 N ω (F ) Denition Sets U n(α) form a lter base. So we can dene τ(α) the lter with base {U n(α) n N} ; N ω(f ) = (W ω, τ) is a dense n-frame based on F. Frame N ω(f ) is dense in a sense that the intersection of all neighborhoods of a point is empty. So, there are no minimal neighborhoods unlike in T op(f ). Lemma Let F = (W, R) be a Kripke frame with root a, then f F : N ω(f ) N (F ). Corollary For any frame F Log(N ω(f )) Log(N (F )) = Log(F ).
38 N ω (F ) Denition Sets U n(α) form a lter base. So we can dene τ(α) the lter with base {U n(α) n N} ; N ω(f ) = (W ω, τ) is a dense n-frame based on F. Frame N ω(f ) is dense in a sense that the intersection of all neighborhoods of a point is empty. So, there are no minimal neighborhoods unlike in T op(f ). Lemma Let F = (W, R) be a Kripke frame with root a, then f F : N ω(f ) N (F ). Corollary For any frame F Log(N ω(f )) Log(N (F )) = Log(F ).
39 Counterexample It possible that Log(N ω(f )) Log(F ). Consider: Obviously G = p p. Lemma N ω(g) p p G = ({1}, S), 1 n S1 m m = n + 1. Proof. Consider valuation θ(p) = { 2n 1 ω n N }. Then in any neighbourhood of point ω there are points where p is true and there are points where p is false. Hence, N ω(g) = p p.
40 Completeness results Theorem (214) K n K = K, K. Theorem If logics L 1 and L 2 are axiomatizable by closed formulas and by axioms like k p p then L 1 n L 2 = L 1, L 2. Corollary K4 d K4 = K4, K4.
41 Logic S5 We put 1 = {φ 2φ φ is closed and 2-free}, com 12 = 1 2p 2 1p, com 21 = 2 1p 1 2p, chr = 1 2p 2 1p. Theorem If logic L is axiomatizable by closed formulas and by axioms like k p p then L n S5 = L S com 12 + chr.
42 How to prove PLAN We have two loogic L 1 and L 2 Canonicity of the logic L 1, L 2. Construct F 1 = L 1 and F 2 = L 2 and F 1, F 2 F L1,L 2. Construct N ω Γ 1 (F 1) N ω Γ 2 (F 2) N ( F 1, F 2 Γ 1 Γ 2 ). Check that N ω Γ 1 (F 1) = L 1 and N ω Γ 2 (F 2) = L 2
43 a 1b a 2b a1 a2 aa ab b1 b2 ba bb 1 2 a b
44 1b a 1b a 2b a1 a2 aa ab b1 b2 ba bb a b Λ (α, β) α = 1... β = b...
45 a 1b a 2b a1 a2 aa ab b1 b2 ba bb 1 2 a b (α, β) α = 1... β = b...
46 a 1b a 2b a1 a2 aa ab b1 b2 ba bb 1 2 a b 1 (α, β) α = 1... β = b...
47 a 1b a 2b a1 a2 aa ab b1 b2 ba bb b 1 2 a b 1 (α, β) α = 1... β = b...
48 a 1b 21 1b 22 2a 2b a1 a2 aa ab b1 b2 ba bb b 1 2 a b 1 (α, β) α = 1... β = b...
49 How to prove for S5 PLAN We have two loogic L and S5 Canonicity of the logic L, S5]. Construct F 1 = L and F 2 = (R, R 2 ) and F 1, F 2 F L,S5]. ( Construct N Γ ω (F 1) N ω(f 2) N F 1, F 2] Γ). Check that N Γ ω (F 1) = L
50 We dene C 12 = {ab ba a W 1, b W 2} We also dene three Kripke frames: F 1, F 2 = (F 1 F 2, R < 1, R < 2 ) F 1, F 2] = (F 1 F 2, R < 1, R 2) ar < 1 b u W 1( b = au) ar < 2 b v W 2( b = av) ar 2 b b ( ar < 2 b & b == C12 b) Lemma For F 1 and F 2 dened above F 1, F 2] = com 12, chr 1.
51 THANK YOU!
Bounds on non-surjective cellular automata
Bounds on non-surjective cellular automata Jarkko Kari Pascal Vanier Thomas Zeume University of Turku LIF Marseille Universität Hannover 27 august 2009 J. Kari, P. Vanier, T. Zeume (UTU) Bounds on non-surjective
LisätiedotThe CCR Model and Production Correspondence
The CCR Model and Production Correspondence Tim Schöneberg The 19th of September Agenda Introduction Definitions Production Possiblity Set CCR Model and the Dual Problem Input excesses and output shortfalls
LisätiedotReturns to Scale II. S ysteemianalyysin. Laboratorio. Esitelmä 8 Timo Salminen. Teknillinen korkeakoulu
Returns to Scale II Contents Most Productive Scale Size Further Considerations Relaxation of the Convexity Condition Useful Reminder Theorem 5.5 A DMU found to be efficient with a CCR model will also be
LisätiedotThe Viking Battle - Part Version: Finnish
The Viking Battle - Part 1 015 Version: Finnish Tehtävä 1 Olkoon kokonaisluku, ja olkoon A n joukko A n = { n k k Z, 0 k < n}. Selvitä suurin kokonaisluku M n, jota ei voi kirjoittaa yhden tai useamman
LisätiedotCapacity Utilization
Capacity Utilization Tim Schöneberg 28th November Agenda Introduction Fixed and variable input ressources Technical capacity utilization Price based capacity utilization measure Long run and short run
LisätiedotEfficiency change over time
Efficiency change over time Heikki Tikanmäki Optimointiopin seminaari 14.11.2007 Contents Introduction (11.1) Window analysis (11.2) Example, application, analysis Malmquist index (11.3) Dealing with panel
Lisätiedot16. Allocation Models
16. Allocation Models Juha Saloheimo 17.1.27 S steemianalsin Optimointiopin seminaari - Sks 27 Content Introduction Overall Efficienc with common prices and costs Cost Efficienc S steemianalsin Revenue
LisätiedotStrict singularity of a Volterra-type integral operator on H p
Strict singularity of a Volterra-type integral operator on H p Santeri Miihkinen, University of Helsinki IWOTA St. Louis, 18-22 July 2016 Santeri Miihkinen, University of Helsinki Volterra-type integral
LisätiedotOn instrument costs in decentralized macroeconomic decision making (Helsingin Kauppakorkeakoulun julkaisuja ; D-31)
On instrument costs in decentralized macroeconomic decision making (Helsingin Kauppakorkeakoulun julkaisuja ; D-31) Juha Kahkonen Click here if your download doesn"t start automatically On instrument costs
LisätiedotKvanttilaskenta - 2. tehtävät
Kvanttilaskenta -. tehtävät Johannes Verwijnen January 8, 05 edx-tehtävät Vastauksissa on käytetty edx-kurssin materiaalia.. Problem The inner product of + and is. Edelleen false, kts. viikon tehtävä 6..
LisätiedotOn instrument costs in decentralized macroeconomic decision making (Helsingin Kauppakorkeakoulun julkaisuja ; D-31)
On instrument costs in decentralized macroeconomic decision making (Helsingin Kauppakorkeakoulun julkaisuja ; D-31) Juha Kahkonen Click here if your download doesn"t start automatically On instrument costs
LisätiedotOn instrument costs in decentralized macroeconomic decision making (Helsingin Kauppakorkeakoulun julkaisuja ; D-31)
On instrument costs in decentralized macroeconomic decision making (Helsingin Kauppakorkeakoulun julkaisuja ; D-31) Juha Kahkonen Click here if your download doesn"t start automatically On instrument costs
LisätiedotEffective Domains and Admissible Domain Representations
UPPSALA DISSERTATIONS IN MATHEMATICS 42 Effective Domains and Admissible Domain Representations Göran Hamrin Department of Mathematics Uppsala University UPPSALA 2005 No motto List of Papers This thesis
Lisätiedot800323A KUNTALAAJENNUKSET OSA II FIELD EXTENSIONS PART II
800323A KUNTALAAJENNUKSET OSA II FIELD EXTENSIONS PART II Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN YLIOPISTO KEVÄT 2018 Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN 800323A KUNTALAAJENNUKSET YLIOPISTO OSA
LisätiedotOther approaches to restrict multipliers
Other approaches to restrict multipliers Heikki Tikanmäki Optimointiopin seminaari 10.10.2007 Contents Short revision (6.2) Another Assurance Region Model (6.3) Cone-Ratio Method (6.4) An Application of
LisätiedotUusi Ajatus Löytyy Luonnosta 4 (käsikirja) (Finnish Edition)
Uusi Ajatus Löytyy Luonnosta 4 (käsikirja) (Finnish Edition) Esko Jalkanen Click here if your download doesn"t start automatically Uusi Ajatus Löytyy Luonnosta 4 (käsikirja) (Finnish Edition) Esko Jalkanen
LisätiedotExpression of interest
Expression of interest Avoin hakemus tohtorikoulutettavaksi käytäntö Miksi? Dear Ms. Terhi virkki-hatakka I am writing to introduce myself as a volunteer who have the eagerness to study in your university.
LisätiedotAlternative DEA Models
Mat-2.4142 Alternative DEA Models 19.9.2007 Table of Contents Banker-Charnes-Cooper Model Additive Model Example Data Home assignment BCC Model (Banker-Charnes-Cooper) production frontiers spanned by convex
LisätiedotNational Building Code of Finland, Part D1, Building Water Supply and Sewerage Systems, Regulations and guidelines 2007
National Building Code of Finland, Part D1, Building Water Supply and Sewerage Systems, Regulations and guidelines 2007 Chapter 2.4 Jukka Räisä 1 WATER PIPES PLACEMENT 2.4.1 Regulation Water pipe and its
LisätiedotSalasanan vaihto uuteen / How to change password
Salasanan vaihto uuteen / How to change password Sisällys Salasanakäytäntö / Password policy... 2 Salasanan vaihto verkkosivulla / Change password on website... 3 Salasanan vaihto matkapuhelimella / Change
LisätiedotLYTH-CONS CONSISTENCY TRANSMITTER
LYTH-CONS CONSISTENCY TRANSMITTER LYTH-INSTRUMENT OY has generate new consistency transmitter with blade-system to meet high technical requirements in Pulp&Paper industries. Insurmountable advantages are
LisätiedotOperatioanalyysi 2011, Harjoitus 4, viikko 40
Operatioanalyysi 2011, Harjoitus 4, viikko 40 H4t1, Exercise 4.2. H4t2, Exercise 4.3. H4t3, Exercise 4.4. H4t4, Exercise 4.5. H4t5, Exercise 4.6. (Exercise 4.2.) 1 4.2. Solve the LP max z = x 1 + 2x 2
LisätiedotKvanttilaskenta - 1. tehtävät
Kvanttilaskenta -. tehtävät Johannes Verwijnen January 9, 0 edx-tehtävät Vastauksissa on käytetty edx-kurssin materiaalia.. Problem False, sillä 0 0. Problem False, sillä 0 0 0 0. Problem A quantum state
Lisätiedotanna minun kertoa let me tell you
anna minun kertoa let me tell you anna minun kertoa I OSA 1. Anna minun kertoa sinulle mitä oli. Tiedän että osaan. Kykenen siihen. Teen nyt niin. Minulla on oikeus. Sanani voivat olla puutteellisia mutta
LisätiedotHouston Journal of Mathematics. University of Houston Volume, No.,
Houston Journal of Mathematics c University of Houston Volume, No., CONGRUENCE LATTICES OF UNIFORM LATTICES G. GRÄTZER, E. T. SCHMIDT, AND K. THOMSEN Abstract. A lattice L is uniform, if for any congruence
LisätiedotChoose Finland-Helsinki Valitse Finland-Helsinki
Write down the Temporary Application ID. If you do not manage to complete the form you can continue where you stopped with this ID no. Muista Temporary Application ID. Jos et onnistu täyttää lomake loppuun
LisätiedotResults on the new polydrug use questions in the Finnish TDI data
Results on the new polydrug use questions in the Finnish TDI data Multi-drug use, polydrug use and problematic polydrug use Martta Forsell, Finnish Focal Point 28/09/2015 Martta Forsell 1 28/09/2015 Esityksen
LisätiedotFinFamily Installation and importing data (11.1.2016) FinFamily Asennus / Installation
FinFamily Asennus / Installation 1 Sisällys / Contents FinFamily Asennus / Installation... 1 1. Asennus ja tietojen tuonti / Installation and importing data... 4 1.1. Asenna Java / Install Java... 4 1.2.
LisätiedotTopics on Hyperbolic Function Theory in Cl_{n+1,0}
Tampereen teknillinen yliopisto. Matematiikan laitos. Tutkimusraportti 9 Tampere University of Technology. Department of Mathematics. Research Report 9 Sirkka-Liisa Eriksson & Heikki Orelma Topics on Hyperbolic
LisätiedotOhjelmointikielet ja -paradigmat 5op. Markus Norrena
Ohjelmointikielet ja -paradigmat 5op Markus Norrena Kotitehtävä 6, toteuttakaa alla olevan luokka ja attribuutit (muuttujat) Kotitehtävä 6, toteuttakaa alla olevan luokka ja attribuutit (muuttujat) Huom!
LisätiedotTravel Getting Around
- Location Olen eksyksissä. Not knowing where you are Voisitko näyttää kartalta missä sen on? Asking for a specific location on a map Mistä täällä on? Asking for a specific...wc?...pankki / rahanvaihtopiste?...hotelli?...huoltoasema?...sairaala?...apteekki?...tavaratalo?...ruokakauppa?...bussipysäkki?
LisätiedotS SÄHKÖTEKNIIKKA JA ELEKTRONIIKKA
S-55.00 SÄHKÖTKNKKA JA LKTONKKA. välikoe 3.0.2006. Saat vastata vain neljään tehtävään!. Laske jännite U. = =4Ω, 3 =2Ω, = =2V, J =2A, J 2 =3A + J 2 + J 3 2. Kondensaattori on aluksi varautunut jännitteeseen
Lisätiedot2 1/ /2 ; (a) Todista, että deg P (x)q(x) = deg P (x) + deg Q(x). (b) Osoita, että jos nolla-polynomille pätisi. deg 0(x) Z, Z 10 ; Z 10 [x];
802656S ALGEBRALLISET LUVUT Harjoituksia 2017 1. Näytä, että (a) (b) (c) (d) (e) 2 1/2, 3 1/2, 2 1/3 ; 2 1/2 + 3 1/2 ; 2 1/3 + 3 1/2 ; e iπ/m, m Z \ {0}; sin(π/m), cos(π/m), tan(π/m), m Z \ {0}; ovat algebrallisia
LisätiedotConstructive Alignment in Specialisation Studies in Industrial Pharmacy in Finland
Constructive Alignment in Specialisation Studies in Industrial Pharmacy in Finland Anne Mari Juppo, Nina Katajavuori University of Helsinki Faculty of Pharmacy 23.7.2012 1 Background Pedagogic research
LisätiedotSELL Student Games kansainvälinen opiskelijaurheilutapahtuma
SELL Student Games kansainvälinen opiskelijaurheilutapahtuma Painonnosto 13.5.2016 (kansallinen, CUP) Below in English Paikka: Nääshalli Näsijärvenkatu 8 33210 Tampere Alustava aikataulu: Punnitus 12:00-13:00
Lisätiedotx = y x i = y i i = 1, 2; x + y = (x 1 + y 1, x 2 + y 2 ); x y = (x 1 y 1, x 2 + y 2 );
LINEAARIALGEBRA Harjoituksia/Exercises 2017 1. Olkoon n Z +. Osoita, että (R n, +, ) on lineaariavaruus, kun vektoreiden x = (x 1,..., x n ), y = (y 1,..., y n ) identtisyys, yhteenlasku ja reaaliluvulla
LisätiedotMUSEOT KULTTUURIPALVELUINA
Elina Arola MUSEOT KULTTUURIPALVELUINA Tutkimuskohteena Mikkelin museot Opinnäytetyö Kulttuuripalvelujen koulutusohjelma Marraskuu 2005 KUVAILULEHTI Opinnäytetyön päivämäärä 25.11.2005 Tekijä(t) Elina
LisätiedotValuation of Asian Quanto- Basket Options
Valuation of Asian Quanto- Basket Options (Final Presentation) 21.11.2011 Thesis Instructor and Supervisor: Prof. Ahti Salo Työn saa tallentaa ja julkistaa Aalto-yliopiston avoimilla verkkosivuilla. Muilta
LisätiedotToppila/Kivistö 10.01.2013 Vastaa kaikkin neljään tehtävään, jotka kukin arvostellaan asteikolla 0-6 pistettä.
..23 Vastaa kaikkin neljään tehtävään, jotka kukin arvostellaan asteikolla -6 pistettä. Tehtävä Ovatko seuraavat väittämät oikein vai väärin? Perustele vastauksesi. (a) Lineaarisen kokonaislukutehtävän
LisätiedotAlternatives to the DFT
Alternatives to the DFT Doru Balcan Carnegie Mellon University joint work with Aliaksei Sandryhaila, Jonathan Gross, and Markus Püschel - appeared in IEEE ICASSP 08 - Introduction Discrete time signal
LisätiedotUusia kokeellisia töitä opiskelijoiden tutkimustaitojen kehittämiseen
The acquisition of science competencies using ICT real time experiments COMBLAB Uusia kokeellisia töitä opiskelijoiden tutkimustaitojen kehittämiseen Project N. 517587-LLP-2011-ES-COMENIUS-CMP This project
LisätiedotMat Seminar on Optimization. Data Envelopment Analysis. Economies of Scope S ysteemianalyysin. Laboratorio. Teknillinen korkeakoulu
Mat-2.4142 Seminar on Optimization Data Envelopment Analysis Economies of Scope 21.11.2007 Economies of Scope Introduced 1982 by Panzar and Willing Support decisions like: Should a firm... Produce a variety
LisätiedotA DEA Game II. Juha Saloheimo S ysteemianalyysin. Laboratorio. Teknillinen korkeakoulu
A DEA Game II Juha Salohemo 12.12.2007 Content Recap of the Example The Shapley Value Margnal Contrbuton, Ordered Coaltons, Soluton to the Example DEA Mn Game Summary Home Assgnment Recap of the Example
LisätiedotCapacity utilization
Mat-2.4142 Seminar on optimization Capacity utilization 12.12.2007 Contents Summary of chapter 14 Related DEA-solver models Illustrative examples Measure of technical capacity utilization Price-based measure
LisätiedotVoice Over LTE (VoLTE) By Miikka Poikselkä;Harri Holma;Jukka Hongisto
Voice Over LTE (VoLTE) By Miikka Poikselkä;Harri Holma;Jukka Hongisto If you are searched for a book by Miikka Poikselkä;Harri Holma;Jukka Hongisto Voice over LTE (VoLTE) in pdf form, then you have come
Lisätiedot1. Liikkuvat määreet
1. Liikkuvat määreet Väitelauseen perussanajärjestys: SPOTPA (subj. + pred. + obj. + tapa + paikka + aika) Suora sanajärjestys = subjekti on ennen predikaattia tekijä tekeminen Alasääntö 1: Liikkuvat määreet
LisätiedotReturns to Scale Chapters
Return to Scale Chapter 5.1-5.4 Saara Tuurala 26.9.2007 Index Introduction Baic Formulation of Retur to Scale Geometric Portrayal in DEA BCC Return to Scale CCR Return to Scale Summary Home Aignment Introduction
LisätiedotAYYE 9/ HOUSING POLICY
AYYE 9/12 2.10.2012 HOUSING POLICY Mission for AYY Housing? What do we want to achieve by renting apartments? 1) How many apartments do we need? 2) What kind of apartments do we need? 3) To whom do we
LisätiedotInformation on Finnish Language Courses Spring Semester 2017 Jenni Laine
Information on Finnish Language Courses Spring Semester 2017 Jenni Laine 4.1.2017 KIELIKESKUS LANGUAGE CENTRE Puhutko suomea? Do you speak Finnish? -Hei! -Moi! -Mitä kuuluu? -Kiitos, hyvää. -Entä sinulle?
LisätiedotTeacher's Professional Role in the Finnish Education System Katriina Maaranen Ph.D. Faculty of Educational Sciences University of Helsinki, Finland
Teacher's Professional Role in the Finnish Education System Katriina Maaranen Ph.D. Faculty of Educational Sciences University of Helsinki, Finland www.helsinki.fi/yliopisto This presentation - Background
LisätiedotAlueellinen yhteistoiminta
Alueellinen yhteistoiminta Kokemuksia alueellisesta toiminnasta Tavoitteet ja hyödyt Perusterveydenhuollon yksikön näkökulmasta Matti Rekiaro Ylilääkäri Perusterveydenhuollon ja terveyden edistämisen yksikkö
LisätiedotGreen Growth Sessio - Millaisilla kansainvälistymismalleilla kasvumarkkinoille?
Green Growth Sessio - Millaisilla kansainvälistymismalleilla kasvumarkkinoille? 10.10.01 Tuomo Suortti Ohjelman päällikkö Riina Antikainen Ohjelman koordinaattori 10/11/01 Tilaisuuden teema Kansainvälistymiseen
LisätiedotFinFamily PostgreSQL installation ( ) FinFamily PostgreSQL
FinFamily PostgreSQL 1 Sisällys / Contents FinFamily PostgreSQL... 1 1. Asenna PostgreSQL tietokanta / Install PostgreSQL database... 3 1.1. PostgreSQL tietokannasta / About the PostgreSQL database...
Lisätiedot1.3 Lohkorakenne muodostetaan käyttämällä a) puolipistettä b) aaltosulkeita c) BEGIN ja END lausekkeita d) sisennystä
OULUN YLIOPISTO Tietojenkäsittelytieteiden laitos Johdatus ohjelmointiin 811122P (5 op.) 12.12.2005 Ohjelmointikieli on Java. Tentissä saa olla materiaali mukana. Tenttitulokset julkaistaan aikaisintaan
LisätiedotCounting quantities 1-3
Counting quantities 1-3 Lukumäärien 1 3 laskeminen 1. Rastita Tick (X) (X) the kummassa box that has laatikossa more on balls enemmän in it. palloja. X 2. Rastita Tick (X) (X) the kummassa box that has
LisätiedotC++11 seminaari, kevät Johannes Koskinen
C++11 seminaari, kevät 2012 Johannes Koskinen Sisältö Mikä onkaan ongelma? Standardidraftin luku 29: Atomiset tyypit Muistimalli Rinnakkaisuus On multicore systems, when a thread writes a value to memory,
Lisätiedot1.3Lohkorakenne muodostetaan käyttämällä a) puolipistettä b) aaltosulkeita c) BEGIN ja END lausekkeita d) sisennystä
OULUN YLIOPISTO Tietojenkäsittelytieteiden laitos Johdatus ohjelmointiin 81122P (4 ov.) 30.5.2005 Ohjelmointikieli on Java. Tentissä saa olla materiaali mukana. Tenttitulokset julkaistaan aikaisintaan
Lisätiedot11. Models With Restricted Multipliers Assurance Region Method
. Models With Restricted Mltipliers Assrance Region Method Kimmo Krki 3..27 Esitelmä - Kimmo Krki Contents Introdction to Models With Restricted Mltipliers (Ch 6.) Assrance region method (Ch 6.2) Formlation
LisätiedotCounting quantities 1-3
Counting quantities 1-3 Lukumäärien 1 3 laskeminen 1. Rastita Tick (X) (X) the kummassa box that has laatikossa more on balls enemmän in it. palloja. X. Rastita Tick (X) (X) the kummassa box that has laatikossa
LisätiedotYou can check above like this: Start->Control Panel->Programs->find if Microsoft Lync or Microsoft Lync Attendeed is listed
Online Meeting Guest Online Meeting for Guest Participant Lync Attendee Installation Online kokous vierailevalle osallistujalle Lync Attendee Asennus www.ruukki.com Overview Before you can join to Ruukki
LisätiedotAjettavat luokat: SM: S1 (25 aika-ajon nopeinta)
SUPERMOTO SM 2013 OULU Lisämääräys ja ohje Oulun Moottorikerho ry ja Oulun Formula K-125ry toivottaa SuperMoto kuljettajat osallistumaan SuperMoto SM 2013 Oulu osakilpailuun. Kilpailu ajetaan karting radalla
Lisätiedot812336A C++ -kielen perusteet, 21.8.2010
812336A C++ -kielen perusteet, 21.8.2010 1. Vastaa lyhyesti seuraaviin kysymyksiin (1p kaikista): a) Mitä tarkoittaa funktion ylikuormittaminen (overloading)? b) Mitä tarkoittaa jäsenfunktion ylimääritys
LisätiedotConvex analysis and dual problems
Convex analysis and dual problems Salla Kupiainen Matematiikan pro gradu Jyväskylän yliopisto Matematiikan ja tilastotieteen laitos Kevät 2018 Tiivistelmä: Salla Kupiainen, Convex analysis and dual problems,
LisätiedotS SÄHKÖTEKNIIKKA JA ELEKTRONIIKKA
S-55. SÄHKÖTKNIIKKA JA LKTONIIKKA 2. välikoe.2.22. Saat vastata vain neljään tehtävään! Sallitut: Kako, [r.] laskin, [MAOL], [sanakirjan käytöstä sovittava valvojan kanssa!]. Laske jännite. = V, = 2 Ω,
LisätiedotOP1. PreDP StudyPlan
OP1 PreDP StudyPlan PreDP The preparatory year classes are in accordance with the Finnish national curriculum, with the distinction that most of the compulsory courses are taught in English to familiarize
LisätiedotNuku hyvin, pieni susi -????????????,?????????????????. Kaksikielinen satukirja (suomi - venäjä) (www.childrens-books-bilingual.com) (Finnish Edition)
Nuku hyvin, pieni susi -????????????,?????????????????. Kaksikielinen satukirja (suomi - venäjä) (www.childrens-books-bilingual.com) (Finnish Edition) Click here if your download doesn"t start automatically
LisätiedotHuom. tämä kulma on yhtä suuri kuin ohjauskulman muutos. lasketaan ajoneuvon keskipisteen ympyräkaaren jänteen pituus
AS-84.327 Paikannus- ja navigointimenetelmät Ratkaisut 2.. a) Kun kuvan ajoneuvon kumpaakin pyörää pyöritetään tasaisella nopeudella, ajoneuvon rata on ympyränkaaren segmentin muotoinen. Hitaammin kulkeva
Lisätiedot7.4 Variability management
7.4 Variability management time... space software product-line should support variability in space (different products) support variability in time (maintenance, evolution) 1 Product variation Product
LisätiedotVertaispalaute. Vertaispalaute, /9
Vertaispalaute Vertaispalaute, 18.3.2014 1/9 Mistä on kyse? opiskelijat antavat palautetta toistensa töistä palaute ei vaikuta arvosanaan (palautteen antaminen voi vaikuttaa) opiskelija on työskennellyt
LisätiedotTilausvahvistus. Anttolan Urheilijat HENNA-RIIKKA HAIKONEN KUMMANNIEMENTIE 5 B RAHULA. Anttolan Urheilijat
7.80.4 Asiakasnumero: 3000359 KALLE MANNINEN KOVASTENLUODONTIE 46 51600 HAUKIVUORI Toimitusosoite: KUMMANNIEMENTIE 5 B 51720 RAHULA Viitteenne: Henna-Riikka Haikonen Viitteemme: Pyry Niemi +358400874498
LisätiedotGap-filling methods for CH 4 data
Gap-filling methods for CH 4 data Sigrid Dengel University of Helsinki Outline - Ecosystems known for CH 4 emissions; - Why is gap-filling of CH 4 data not as easy and straight forward as CO 2 ; - Gap-filling
LisätiedotNetwork to Get Work. Tehtäviä opiskelijoille Assignments for students. www.laurea.fi
Network to Get Work Tehtäviä opiskelijoille Assignments for students www.laurea.fi Ohje henkilöstölle Instructions for Staff Seuraavassa on esitetty joukko tehtäviä, joista voit valita opiskelijaryhmällesi
LisätiedotS SÄHKÖTEKNIIKKA JA ELEKTRONIIKKA
S-55.00 SÄHKÖTKNKK LKTRONKK. välikoe 0.3.006. Saat vastata vain neljään tehtävään!. Laske jännite U. R = =Ω, R 3 =3Ω, = =4V, 3 =6V, = + R + R 3 + U 3. Konkka on varautunut jännitteeseen u C (0) =. Kytkin
LisätiedotInformation on preparing Presentation
Information on preparing Presentation Seminar on big data management Lecturer: Spring 2017 20.1.2017 1 Agenda Hints and tips on giving a good presentation Watch two videos and discussion 22.1.2017 2 Goals
LisätiedotS SÄHKÖTEKNIIKKA JA ELEKTRONIIKKA
S-55.1100 SÄHKÖTKNIIKKA JA LKTONIIKKA Tentti 15.5.2006: tehtävät 1,3,5,7,10 1. välikoe: tehtävät 1,2,3,4,5 2. välikoe: tehtävät 6,7,8,9,10 Saat vastata vain neljään tehtävään/koe; ne sinun pitää itse valita!
LisätiedotOperatioanalyysi 2011, Harjoitus 2, viikko 38
Operatioanalyysi 2011, Harjoitus 2, viikko 38 H2t1, Exercise 1.1. H2t2, Exercise 1.2. H2t3, Exercise 2.3. H2t4, Exercise 2.4. H2t5, Exercise 2.5. (Exercise 1.1.) 1 1.1. Model the following problem mathematically:
LisätiedotHARJOITUS- PAKETTI A
Logistiikka A35A00310 Tuotantotalouden perusteet HARJOITUS- PAKETTI A (6 pistettä) TUTA 19 Luento 3.Ennustaminen County General 1 piste The number of heart surgeries performed at County General Hospital
LisätiedotOperatioanalyysi 2011, Harjoitus 3, viikko 39
Operatioanalyysi 2011, Harjoitus 3, viikko 39 H3t1, Exercise 3.1. H3t2, Exercise 3.2. H3t3, Exercise 3.3. H3t4, Exercise 3.4. H3t5 (Exercise 3.1.) 1 3.1. Find the (a) standard form, (b) slack form of the
LisätiedotSisällysluettelo Table of contents
Sisällysluettelo Table of contents OTC:n Moodlen käyttöohje suomeksi... 1 Kirjautuminen Moodleen... 2 Ensimmäinen kirjautuminen Moodleen... 2 Salasanan vaihto... 2 Oma käyttäjäprofiili... 3 Työskentely
LisätiedotSecurity server v6 installation requirements
CSC Security server v6 installation requirements Security server version 6.4-0-201505291153 Pekka Muhonen 8/12/2015 Date Version Description 18.12.2014 0.1 Initial version 10.02.2015 0.2 Major changes
LisätiedotOma sininen meresi (Finnish Edition)
Oma sininen meresi (Finnish Edition) Hannu Pirilä Click here if your download doesn"t start automatically Oma sininen meresi (Finnish Edition) Hannu Pirilä Oma sininen meresi (Finnish Edition) Hannu Pirilä
LisätiedotTietorakenteet ja algoritmit
Tietorakenteet ja algoritmit Taulukon edut Taulukon haitat Taulukon haittojen välttäminen Dynaamisesti linkattu lista Linkatun listan solmun määrittelytavat Lineaarisen listan toteutus dynaamisesti linkattuna
LisätiedotKäytön avoimuus ja datanhallintasuunnitelma. Open access and data policy. Teppo Häyrynen Tiedeasiantuntija / Science Adviser
Käytön avoimuus ja datanhallintasuunnitelma Open access and data policy Teppo Häyrynen Tiedeasiantuntija / Science Adviser 1 Käytön avoimuus Suunnitelmassa tulisi kuvata ainakin seuraavat asiat: (Kriteerit,
LisätiedotTOOLS. Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN YLIOPISTO TOOLS 1 / 28
TOOLS Tapani Matala-aho MATEMATIIKKA/LUTK/OULUN YLIOPISTO 2018 TOOLS 1 / 28 Merkintöjä ja algebrallisia rakenteita Lukujoukkoja N = {0, 1, 2,..., GOOGOL 10,...} = {ei-negatiiviset kokonaisluvut}. TOOLS
Lisätiedotmake and make and make ThinkMath 2017
Adding quantities Lukumäärienup yhdistäminen. Laske yhteensä?. Countkuinka howmonta manypalloja ballson there are altogether. and ja make and make and ja make on and ja make ThinkMath 7 on ja on on Vaihdannaisuus
Lisätiedot1. SIT. The handler and dog stop with the dog sitting at heel. When the dog is sitting, the handler cues the dog to heel forward.
START START SIT 1. SIT. The handler and dog stop with the dog sitting at heel. When the dog is sitting, the handler cues the dog to heel forward. This is a static exercise. SIT STAND 2. SIT STAND. The
LisätiedotSecurity server v6 installation requirements
CSC Security server v6 installation requirements Security server version 6.x. Version 0.2 Pekka Muhonen 2/10/2015 Date Version Description 18.12.2014 0.1 Initial version 10.02.2015 0.2 Major changes Contents
LisätiedotFIS IMATRAN KYLPYLÄHIIHDOT Team captains meeting
FIS IMATRAN KYLPYLÄHIIHDOT 8.-9.12.2018 Team captains meeting 8.12.2018 Agenda 1 Opening of the meeting 2 Presence 3 Organizer s personell 4 Jury 5 Weather forecast 6 Composition of competitors startlists
LisätiedotTIETEEN PÄIVÄT OULUSSA 1.-2.9.2015
1 TIETEEN PÄIVÄT OULUSSA 1.-2.9.2015 Oulun Yliopisto / Tieteen päivät 2015 2 TIETEEN PÄIVÄT Järjestetään Oulussa osana yliopiston avajaisviikon ohjelmaa Tieteen päivät järjestetään saman konseptin mukaisesti
LisätiedotKaivostoiminnan eri vaiheiden kumulatiivisten vaikutusten huomioimisen kehittäminen suomalaisessa luonnonsuojelulainsäädännössä
M a t t i K a t t a i n e n O T M 1 1. 0 9. 2 0 1 9 Kaivostoiminnan eri vaiheiden kumulatiivisten vaikutusten huomioimisen kehittäminen suomalaisessa luonnonsuojelulainsäädännössä Ympäristöoikeustieteen
LisätiedotStatistical design. Tuomas Selander
Statistical design Tuomas Selander 28.8.2014 Introduction Biostatistician Work area KYS-erva KYS, Jyväskylä, Joensuu, Mikkeli, Savonlinna Work tasks Statistical methods, selection and quiding Data analysis
LisätiedotInformation on Finnish Language Courses Spring Semester 2018 Päivi Paukku & Jenni Laine Centre for Language and Communication Studies
Information on Finnish Language Courses Spring Semester 2018 Päivi Paukku & Jenni Laine 4.1.2018 Centre for Language and Communication Studies Puhutko suomea? -Hei! -Hei hei! -Moi! -Moi moi! -Terve! -Terve
LisätiedotKONEISTUSKOKOONPANON TEKEMINEN NX10-YMPÄRISTÖSSÄ
KONEISTUSKOKOONPANON TEKEMINEN NX10-YMPÄRISTÖSSÄ https://community.plm.automation.siemens.com/t5/tech-tips- Knowledge-Base-NX/How-to-simulate-any-G-code-file-in-NX- CAM/ta-p/3340 Koneistusympäristön määrittely
LisätiedotInfrastruktuurin asemoituminen kansalliseen ja kansainväliseen kenttään Outi Ala-Honkola Tiedeasiantuntija
Infrastruktuurin asemoituminen kansalliseen ja kansainväliseen kenttään Outi Ala-Honkola Tiedeasiantuntija 1 Asemoitumisen kuvaus Hakemukset parantuneet viime vuodesta, mutta paneeli toivoi edelleen asemoitumisen
LisätiedotMEETING PEOPLE COMMUNICATIVE QUESTIONS
Tiistilän koulu English Grades 7-9 Heikki Raevaara MEETING PEOPLE COMMUNICATIVE QUESTIONS Meeting People Hello! Hi! Good morning! Good afternoon! How do you do? Nice to meet you. / Pleased to meet you.
LisätiedotSärmäystyökalut kuvasto Press brake tools catalogue
Finnish sheet metal machinery know-how since 1978 Särmäystyökalut kuvasto Press brake tools catalogue www.aliko.fi ALIKO bending chart Required capacity in kn (T) in relation to V-opening. V R A S = plates
LisätiedotMRI-sovellukset. Ryhmän 6 LH:t (8.22 & 9.25)
MRI-sovellukset Ryhmän 6 LH:t (8.22 & 9.25) Ex. 8.22 Ex. 8.22 a) What kind of image artifact is present in image (b) Answer: The artifact in the image is aliasing artifact (phase aliasing) b) How did Joe
LisätiedotOFFICE 365 OPISKELIJOILLE
OFFICE 365 OPISKELIJOILLE Table of Contents Articles... 3 Ohjeet Office 365 käyttöönottoon... 4 One Driveen tallennetun videon palauttaminen oppimisympäristön palautuskansioon... 5 Changing default language
LisätiedotVAASAN YLIOPISTO Humanististen tieteiden kandidaatin tutkinto / Filosofian maisterin tutkinto
VAASAN YLIOPISTO Humanististen tieteiden kandidaatin tutkinto / Filosofian maisterin tutkinto Tämän viestinnän, nykysuomen ja englannin kandidaattiohjelman valintakokeen avulla Arvioidaan viestintävalmiuksia,
LisätiedotTelecommunication Software
Telecommunication Software Final exam 21.11.2006 COMPUTER ENGINEERING LABORATORY 521265A Vastaukset englanniksi tai suomeksi. / Answers in English or in Finnish. 1. (a) Määrittele sovellusviesti, PersonnelRecord,
Lisätiedot