Log Analysis for Data Protection Accountability (Extended Version)
|
|
- Sara Johnsen
- 5 år siden
- Visninger:
Transkript
1 Log Analysis for Data Protection Accountability (Extended Version) Denis Butin, Daniel Le Métayer To cite this version: Denis Butin, Daniel Le Métayer. Log Analysis for Data Protection Accountability (Extended Version). [Research Report] RR-8432, INRIA. 2013, pp.18. <hal > HAL Id: hal Submitted on 19 Dec 2013 HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.
2 Log Analysis for Personal Data Protection Accountability (Extended Version) Denis Butin, Daniel Le Métayer RESEARCH REPORT N 8432 December 2013 Project-Team Privatics ISSN ISRN INRIA/RR FR+ENG
3
4 2s s r P rs t Pr t t t t2 1t rs s t ét 2 r Pr t Pr t s s r rt r s str t t t2 s r s 2 r s s r rst t r t t t 2 r r t t t t r s r q t 2 s s s r t t2 t r t ts t 1 t r rt s rs t s s s ts t ss t s r r t r ss st t r 2 t s r r r r r r t t2 s t rr t ss t 2s s t r s t t str t tr s s t s 2 r 2 s s s t t t r s t t t r t t s s s r rs t s r t t r t r r r r t t2 r ss 2 r s t t2 Pr 2 t P rs t s r s rt 2 2 t r r t P P t r Pr t PP r t t t Pr t t Pr 2 ts t r t t2 RESEARCH CENTRE GRENOBLE RHÔNE-ALPES Inovallée 655 avenue de l Europe Montbonnot Saint Ismier Cedex
5 2s s r s s té t t2 é à Pr t t s é s P rs s rs és é r r s s té st s s s éré r r t t s é s t t s t 1t r q r é s s t t sé s s s P r q t r s s t st é ss r é r ré sé t s t s q s s r t s 1 t s é s rs s s t s à r r t r s t r s q s 2 t ès s r t s à r é ér t s r rt s rés t s r r r r r s s té t tr s 1 t t 2s r té s s2stè r r rt à tr s str t s t sé s r s é t s t q s r t t s é s rs s r té s s s t q s r t t s é s rs s t êtr ér é s r s s s s é s rs s r r s tè r s r ss s r s s té é t é r t ts és rs s s s té Pr t t r é t r té é s
6 2s s r P rs t Pr t t t t2 1t rs t 1t t t r t t2 tr t r s t s s s 2 r r t2 r t st 2 rs t t r t t s rt s s t t r s 2 t t 2s s t t2 s ts r r2 s t t r t rt r r s t t t tt r r t 2 t r s 1 t t s r t r t r t t r t 2 t t t t2 s t t t tr rs r t r 2 r t t s t rs t t r s t r 2 2 t t r t t r s t s t str t s r s s t2 s 1 r s t s r s st t 2 t rt r r t t r 2 t s r r s t t t s ts s s rs t t s tr r t r q r str r t s r r t r 2 t t2 s r t t t s t t r 2 t r t r r ss s t r s r t r s t s t t2 r ss ts 2 tt r s t t str t ts s s t rt ss s t t r t2 t s t s t t t s t r q t 2 s s s t st 2 2 rs s rs r t2 s r 2 tt s t r st s s t r t2 s t t2 t t2 2 r r s r t str st r t s t t2 r t s t t t t str t t t t r t t s t t r t s t s t t2 2 t 2 st t s t t t 2 t 2 r 2 2 t s t t2 r r s t 2 st t s t t t 2 t r r t r r s t t t r 2 2 t t r t2 s t t2 s t r 2 2 s s 2 r q r t t r r s s s rt r t s r r r t t t t t2 r t s s r t t t r 2 r t r t t r 2 q st s st r ss ❼ r t s r t ts r t t r t t t t2 r t t2 r t 1 t s r t r t s t t s t t s s ss t tr ss s 2 r t s r r t t t2 ss t t s s ss r2 t 2 t t r r t r t t t 3 t 2 t rs t ss r2 r r s s r r t 2 t r ts st t s t t2 r t s t t t s r q r t t t t r r s t t s r r s s r rs t s str t r r s t t ts t s s t r r r r s t t s t s t2 2 t t r t r t ss r2 r t ❼ r t t t t2 r ss s t r s ts r t 23 r t t t2 r ss t rt ts r s s r t t s2st 1 t t r t r t r 2 t 2s s r r t t r r t r t s r 2 t r ss s t t s r r s t t s 2 r s 1 t t s r t st r t t s r t t 2 t r P r t s rt s tt st t r rt r str t s t t2 r q r ts rt s
7 t ét 2 r t ss s r t r r 2 t t2 2 t r r r s t s r2 r t t s st r s r r t s r s rs t s t s r r t t r t s 2 r r r ss t ss s t s t 1t r t 2 t s t 2 r s r r s s rst t t r t t t s s r r 2 r st t t r s s tr t r t Pr t t r t t t t t r s r 2 r ss r s r ss r2 rt r s s s t t r ss t t r 3 2s s t ss rs t r 2 s t t s r t s t t r s t rt r r t t t t2 r ss s t t st s r r r s2st t 2 t r r t t r t r t t t t t t s r t s r s t r r t t r t r t s t r s r r ss t t r t r t s t t r s t r ss t r ss r t t2 r r s t t t r t s str t r 2 2 r rst 2 r 2 2 rs s t str t t s s s r ss r t t r s t s t2 2 r t s s s s2st r2 r ss s r t t s r t t s s t tr t s t s r r t r ❼ r r r r t t2 r t s r 2 r 2 s s t t t r s t t t r t t s s s t t 2 rs t ❼ s t rr t ss t 2s s t r s t t str t tr s t t r s t s 2 r 2 s ❼ s r t t r t t r r r t r t t2 r ss t 2 t t r2 r r s r t s t t r ss r2 t t t 2s s rst tr r 2 s t r str t r r s t t ➓ r s 2 rs t r s ➓ r t t2 r rt s t r t s r 2 t 2s s r r s t ➓ t r t t r r r t t2 r ss s t ➓ t r s r 2 r t r ➓ 2 t t r r s r r s ➓ t s r s t 1 r ss s r 2 t r t t t r 2 t r t t 2 r r t t r t r t t r s r
8 2s s r P rs t Pr t t t t2 1t rs Pr 2 P s str t ts rst st 2 t r t t t t2 r ss s t t r 2 s r t 2 2 t t 2 t r r s t r t t s 2 s t s 2 t s t s r t t2 t s r r t r r ss t t 2 rs t r 2 s ss t t 2 t t t t t s s t t 2 2 t s t t s r s r s t r t s r t t t s 1 r ss 2 t 2 t t t t ts t t t t 2 s t s t t r s s t 2 t t 2 r t 2 s s t t t r s t 2 s s s t r st st r ss r r ss rst r r q r t r t t2 r r s t t t r 2 2 s 2s r tt t t ss t t s s t s t st 2 2 r s t s r s r r t r t t r t s s t s s t t t r s t t r 2 s s r tr s s t s t t s r t Pr 2 2 Pr 2 s r s t s Policy = Purposes Time Time Contexts FwPolicy π Policy,π = (ap,dd,rd,cx,fw) ap s t s t t r s r s s t s P r s s r t r s t ss s t s st ts r ss 2 str t r s t 2 t 2 dd s t 2 t r t t st t 2 t rd r t r s s t 2 r t t 2 t r q sts 2 t r st r r t t rs t s t cx s t t 1ts t t s Contexts s t s t st ts r r r s t 1t r r t rs s s t r t t r r 2 s 2 t fw t s q t r t s r r t t t r rt s s ss r t r r s s t s s t t t π.ap π.dd t t ss t s 2 t 1 2 t s r t π = ({M arketing, Statistics}, 180d, 60m,{Location Europe}, ) s 2 st t s t t t s 1 s 2 r t r s s M arketing Statistics t t t st t t r t 2s r ts s s r t t r q sts 2 t st t t t s t t t 2 s r t t 1t q t Europe t t 2 r r t t r rt s s r t tt t t 1 t s 1 st 2 s r r t s r t r s s r t 1 t str t r r r str t ts r 2 s tr t st str t ts s s t 2 s r ts t t rs t str t 2 r s2st t r s s s r2 r ss s str t ts r 1 r ss t t 2 t r r t t r t r 2 s rr r t s r 2 s t t s st ts str t s st t t r r r t 1t s 2 str t ts rr2 t st t s t r rst r t ❼ (Disclosure,t,or,ds,θ,v,π) t t r t 2 t rs t r or t r s t t t2 s t t t t2 θ rs s r st r ss r 1 t t ts t 1 t st t s t t t t s ts s
9 t ét 2 r v r t t ds t ss t st 2 2 π t or t t s t 2 ds r 2 t r rt2 ❼ (DeleteReq,t,or,ds,θ) r q st r 2 t s t 2 or t t rs t r ds t2 θ ❼ (AccessReq,t,ds,θ) r q st r 2 t s t 2 ds t ss r t ❼ (Delete,t,ds,θ) t t t ds t2 θ 2 t ❼ (DeleteOrder,t,tp,ds,θ) r q st s t 2 t t t t r rt2 tp t t t t ds t2 θ ❼ (Forward,t,rec,ds,θ,v,π) t r r 2 t t t ds t2 θ v t t r t rec t r t r rt2 r t t r t r ss t r t ss r q st t 2 π tt ❼ (Use,t,ds,θ,purpose,reason) t s 2 t t t ds t2 θ r s purpose reason purpose t s t r t 2 t reason s t 1t s r t s 2 r r r t s s ss ➓ ❼ (BreakGlass,t,et,bgt,bgc) t rr r ss t t2 bgt r st s bgc r t t t t s t t2 s r s (ds,θ) rs t s t et r t bgc s t 1t s r t s r 2 t reason Use ts ❼ (Context,t,ct) t s t t rr t t 1t t ct s 2 t t 1t s st 2 s r t t r2 str t r t t r r t 1t r r t rs s s t t t t r tr σ s s q str t ts r r t t t t tr t tr str t st t s t str t st t str t st t s2st s t S A : Entity Type Time Entity Value Policy P(Entity N) P(BGtype BGcircumstances Time) (ds,θ) (t,or,v,π,receivers,bg) str t st t ss t t ds t2 rs t θ s t r or t t t2 r t st r t rs t t t t r t t s v t st 2 2 π rr t 2 t s t receivers t r rt s r t t t t r t t rr s t 1 t tr r t t r ss ts s t 2 tr s bg n = (bgt,bgc,timebg) r bgt s r ss t s t2 bgc ts r st s timebg ts t bg s s t s tr s r ss ts t t rr s r r t s t t2 S A s 1 t S A (Context) = ct Context r ct s t rr t t 1t s t t t Σ[(ds,θ) (t,or,v,π,r,bg)] t t st t Σ s r t Σ 1 t t t Σ (ds,θ) = (t,or,v,π,r,bg) s t s t t s t j tr s 2 t t S A (Event N) AbstractState AbstractState s s ❼ S A((Disclosure,t,or,ds,θ,v,π),j)Σ = Σ[(ds,θ) (t,or,v,π,, )] ❼ S A((Delete,t,ds,θ),j )Σ = Σ[(ds,θ) ] ❼ S A((Forward,t,rec,ds,θ,v,π),j )Σ = rec ds t Σ[(ds,θ) (t,or,v,π,receivers {(rec,j )},bg)] t (t,or,v,π,receivers,bg) = Σ(ds,θ) s Σ r
10 2s s r P rs t Pr t t t t2 1t rs ❼ S A((BreakGlass,t,et,bgt,bgc),j )Σ = (ds,θ) et t Σ[(ds,θ) (t,or,v,π,receivers,bg {(bgt,bgc,t )})] s Σ t (t,or,v,π,receivers,bg) = Σ(ds,θ) ❼ S A((Context,t,ct),j)Σ = Σ[Context ct] ❼ S A(σ i,j)σ = Σ r t t r ts t t s ts t t t str t st t t 2 t r tr t ts r t DeleteReq r t s t s DeleteOrder Disclosure t s s str t st t r s F orward s t r rt2 t t r t ts t 1 t t receivers s t ss t r t s t rs t s r t ss t r t s t st t s BreakGlass ts 2 2 t st t t 2 r r t ds θ r s r t rr t st t t r t 1 t tr σ = [e 1,...,e n ] s s F A (σ,1)σ 0 t ds,θ, Σ 0 (ds,θ) = F A ([ ],n)σ = Σ F A ([e 1,...,e m ],n)σ = F A ([e 2,...,e m ],n+1)(s A (e 1,n)Σ) s t State A (σ,i) = F A (σ i,1)σ 0 t σ i = σ 1...σ i t r 1 t i σ rt r r t EvTime t s t t EvTime(σ i ) = t i t σ i = (X,t i,...),t i T ime str t ts tr s t s t s t tr t r s t t t 2 tt t t t r 2 r Pr rt s r rt s r st t i N, ds, θ A1 rs t s r str t st t t r ts t 2 s 1 r State A(σ,i 1)(ds,θ) = (t,or,v,π,receivers,bg) = EvTime(σ i) t+π.dd A2 t s 2 t r rt2 t r q sts t t st r r t t ts t σ i = (Delete,t,ds,θ) State A(σ,i 1)(ds,θ) = (t,or,v,π,receivers,bg) = (t p,l) receivers, k t σ k = (DeleteOrder,t,t p,ds,θ) k ]α,i[ t α = max{n (t p,n) receivers} A3 t r q sts r r 1 r t t r q st t 2 σ i = (DeleteReq,t,or,ds,θ) State A(σ,i 1)(ds,θ) = (t,or,v,π,receivers,bg) = k t σ k = (Delete,t,ds,θ) t < t t +π.rd A4 A4 s s r 2 t A3 r ss r q sts r t r t ss s Forward t t rec = ds σ i = (AccessReq,t,ds,θ) State A(σ,i 1)(ds,θ) = (t,or,v,π,receivers,bg) = k t σ k = (Forward,t,ds,ds,θ,v,π) t < t t +π.rd A5 t s 2 s r r s s t 2 σ i = (Use,t,ds,θ,purpose,reason) State A(σ,i 1)(ds,θ) = (t,or,v,π,receivers,bg) = purpose π.ap A6 t 1ts t s s t tr r t r s t 2 σ i = (Use,t,ds,θ,purpose,reason) State A(σ,i 1)(Context) = ct State A(σ,i 1)(ds,θ) = (t,or,v,π,receivers,bg) = ct π.cx A7 t r r 2 r s r r t r s σ i = (Forward,t,rec,ds,θ,v,π) rec ds State A(σ,i 1)(ds,θ) = (t,or,v,π,receivers,bg) = π.fw t r tr σ s t Compliant A (σ) t s t s s t r rt s A 1,...,A 7 s s r r s t str t ts 1t s t tr s ts r s r t s2st r t s t r s s s r2 r r s s ts t r t t 2 s t r t str t ts ts t 1 r ss t t2 r rt s ➓
11 t ét 2 r t ts r s t 1 r ss r 2 s t s s s r r t 1 t r t s r t t r t s2st s ts 1 t st rt 2 ts t t r t st t s r rt s r t s ts ts r r t r s t tr ts ts rst ts rr s t s r r r s r t s s s r t s t r t 2 t t t r 1t r ts s t s t s ts r ss t r r t rs st s s t s s s Disclosure t r t s 2 t t st t s t r r r s r2 r ss s t s s s t str t t r t s 2 r t 2 t t r t t s s 2 s r t t2 r t t r s s ss t s s r r s r r r t s 2 t t rs t r 2 s t r t r t t 3 t r t 2 s r t r s t t r r t s 2 v rs t (ds,θ) s t 1t s t t t t s s t r t s r t t 1 t t t2 r q r ts st ts s ts rr2 t st t ts t t s r t s t s s t rr s str t t ❼ (Receive,Disclosure,t,or,ds,θ,π,ref) ❼ (Receive, DeleteReq, t, or, ds, θ) ❼ (Receive, AccessReq, t, ds, θ) ❼ (Copy,t,ref,ref) 2 t 2 t r s2st r r t t r ❼ (Delete,t,ref) t t t ds t r r ref 2 t ❼ (Send, DeleteOrder, t, tp, ds, θ) ❼ (Send,Val,t,rec,ref) s s t r t t r t rec t r rt2 r ds s s s r t ss t r t ❼ (Read,t,ref,purpose,reason) t s 2 t t t ds r r ref r s purpose reason ❼ (External, BreakGlass, t, et, bgt, bgc) ❼ (External, Context, t, ct) s r t tr s s ts r t str t ts t s s q ts t s 2 t t str t st t s s t s r t st t s t s t s r t ts r
12 2s s r P rs t Pr t t t t2 1t rs t r t st t r t st t s2st s 2 t t S C : Reference Time Type Entity Entity Policy P(Entity N) P(BGtype BGcircumstances T ime) ref (t,θ,ds,or,π,receivers,bg) r Ref erence s t s t r2 r ss s t t r r t rs r s r str t st t s S C s 1 t S C (Context) = ct Context s t s t t s t j s 2 t (LogEvent N) ConcreteState ConcreteState s s ❼ S C((Receive,Disclosure,t,or,ds,θ,π,ref),j)Σ = Σ[ref (t,θ,ds,or,π,, )] ❼ S C((Copy,t,ref,ref ),j )Σ = Σ[ref Σ(ref)] ❼ S C((Delete,t,ref),j)Σ = Σ[ref ] ❼ S C((Send,Val,t,rec,ref),j )Σ = rec ds (t,θ,ds,or,π,receivers,bg) = Σ(ref) t Σ[ref (t,θ,ds,or,π,receivers {(rec,j )},bg)] s Σ ❼ S C((External,BreakGlass,t,et,bgt,bgc),j )Σ = (ds,θ) et t Σ[ref (t,θ,ds,or,π,receivers,bg {(bgt,bgc,t )})] s Σ t (t,θ,ds,or,π,receivers,bg) = Σ(ref) ❼ S C((External,DefineContext,t,ct),j)Σ = Σ[Context ct] ❼ S C(L i,j)σ = Σ r t t r ts t t t t s r t t 1 t 2 r r st t r t (Receive,Disclosure,... t t t t t2 θ s st r s2st r2 t r ssref Copy t s t 2 t st t ss t t ref t t ss t t ref s ref s r r tt rr t r t st t State C (L) t r t 1 t L s r rs 2 r S C s r 2 t State A (σ) s r s 2 r S A 1 r ss s t s s t rr t st t t s t i ❼ Locations t r t r s t s t r r s ss t t t rt t t2 r ds Locations(L,i,ds,θ) = {ref State C (L,i)(ref) = (,θ,ds,,,,, )} ❼ AllReceivers t r t r s t s t t r rt s t t st r s t rt t t2 r ds t t ss t t 1 t t 2 r t t AllReceivers(L,i,ds,θ) = {(t p,k) ref State C (L,i)(ref) = (,θ,ds,,,,receivers, ) (t p,k) receivers} rt r r s r str t ts t EvTime t s t t EvTime(L i ) = t i L i = (...,t i,...) s t s t s 1 r ss r s Pr rt s r rt s r st t i N, ref, ds, θ C1 rs t s r str t st t t r ts t 2 s 1 r State C(L,i 1)(ref) = (t,θ,ds,or,π,receivers,bg) = EvTime(L i) t+π.dd
13 t ét 2 r C2 t s 2 t r rt2 t r q sts s t t t st r r t t ts t L i = (Delete,t,ref) State C(L,i 1)(ref) = (t,θ,ds,or,π,receivers,bg) = (t p,l) receivers, k t L k = (Send,DeleteOrder,t,t p,ds,θ) k ]α,i[ t α = max{n (t p,n) receivers} C3 t r q sts r r 1 r t t r q st t 2 L i = (Receive,DeleteReq,t,or,ds,θ) State C(L,i 1)(ref) = (t,θ,ds,or,π,receivers,bg) = r Locations(L,i,ds,θ), k t L k = (Delete,t,r) t < t t +π.rd C4 C4 s s r 2 t C3 r ss r q sts L i = (Receive,AccessReq,t,ds,θ) State C(L,i 1)(ref) = (t,θ,ds,or,π,receivers,bg) = k t L k = (Send,Val,t,ds,ref) t < t t +π.rd C5 t s 2 s r r s s t 2 L i = (Read,t,ref,purpose,reason) State C(L,i 1)(ref) = (t,θ,ds,or,π,receivers,bg) = purpose π.ap C6 t 1ts t s s t tr r t r s t 2 L i = (Read,t,ref,purpose,reason) State C(L,i 1)(Context) = ct State C(L,i 1)(ref) = (t,θ,ds,or,π,receivers,bg) = ct π.cx C7 t r r 2 r s r r t s r r r L i = (Send,Val,t,rec, ref) rec ds State C(L,i 1)(ref) = (t,θ,ds,or,π,receivers,bg) = π.fw t L s t Compliant C (L) t s t s s t r rt s C 1,...,C 7 r
14 2s s r P rs t Pr t t t t2 1t rs t t2 Pr rt s r t str t r 2 s t t r t s t s ss r2 t tr t str t r t s r t t str t st t s r t st t s r t t tr s s rst tr t r t t str t st t s r t st t s t t t str t Abstract S (Σ C,Σ A ) s 2 {(ds,θ) r,σ C (r) = (t,θ,ds,or,π,receivers,bg)} = Domain(Σ A ) r, ds, θ,σ C (r) = (t,θ,ds,or,π,receivers,bg) v Σ A (ds,θ) = (t,or,v,π,receivers,bg) r t Abstract L t s t t tr s str t t str t Abstract L (L,σ) s 2 t r 1 sts t Map s t t Map : N P(N) r [1, σ ],Map(r) r,s [1, σ ], r Map(i), s Map(j), r < s = r < s r i [1, σ ] r j [1, L ] t r rt s r tr ❼ ❼ ❼ ❼ ❼ ❼ ❼ Map(i) = {j} σ i = (Disclosure,t,or,ds,θ,v,π) L j = (Receive,Disclosure,t,or,ds,θ,π,ref) Abstract S(State C(L,j 1),State A(σ,i 1)) Map(i) = {j} σ i = (DeleteReq,t,or,ds,θ) L j = (Receive,DeleteReq,t,or,ds,θ) Abstract S(State C(L,j 1),State A(σ,i 1)) Map(i) = {j} σ i = (AccessReq,t,ds,θ) L j = (Receive,AccessReq,t,ds,θ) Abstract S(State C(L,j 1),State A(σ,i 1)) Map(i) = J σ i = (Delete,t,ds,θ) r Locations(L,min(J),ds,θ), j J L j = (Delete,t,r) Abstract S(State C(L,j 1),State A(σ,i 1)) Map(i) = {j} σ i = (DeleteOrder,t,tp,ds,θ) L j = (Send,DeleteOrder,t,tp,ds,θ) Abstract S(State C(L,j 1),State A(σ,i 1)) Map(i) = {j} σ i = (Forward,t,rec,ds,θ,v,π) L j = (Send,Val,t,rec,ref) t State C(L,j 1)(ref) = (t,θ,ds,or,π,receivers,bg) Abstract S(State C(L,j 1),State A(σ,i 1)) Map(i) = {j} σ i = (Use,t,ds,θ,purpose,reason) State A(σ,i 1)(Context) = ct L j = (Read,t,ref,purpose,reason) t State C(L,j 1)(ref) = (t,θ,ds,or,π,receivers, bg) Abstract S(State C(L,j 1),State A(σ,i 1)) State C(L,j 1)(Context) = ct s t s Abstract t t s ss t 1 r ss t r rr t ss r rt2 r t tr s s Pr rt2 rr t ss Compliant C (L) Abstract L (L,σ) = Compliant A (σ) s r rt2 s s t t t str t t s rst 2 s rs r t t t r rt s t s t s s t ss t str t t t tr 2s t tr st t
15 t ét 2 r Pr Compliant A (σ) s s t t t s tr 2 t s s Ai ➓ t s q t t s t t t 2 r 2 s st rt t t r s Ai ts t r t rr s s ss t r rt2 Ci Abstract L (L,σ) str t ts t r r r t ts r st s t r r s r ds θ st t r s t t r t Delete ts rr s r rt2 s t s t t s t r rt2 q st r t t st t s s t t r t st t str t s t r t s r r s ss 1 i ds θ Pr A1 ss t A1 s State A (σ,i 1)(ds,θ) = (t,or,v,π,receivers,bg) ss Abstract L (L,σ) s s t t t2 t t σ i = (,t,...) t s Abstract L (L,σ) r t rr s str t t t2 s s t t j r State C (L, j 1)(r) = (t,θ,ds,or,π,receivers,bg) C2 t r s t s A1 t < t+π.dd Pr A2 ss t s A2 r σ i = (Delete,t,ds,θ) State A (σ,i 1)(ds,θ) = (t,or,v,π, receivers,bg) ss Abstract L (L,σ) t J = Map(i) rt Abstract L (L,σ) r t t Delete 2 s r Locations(L,min(J),ds,θ), j J (L j = (Delete,t,r) Abstract S (State C (L,j 1),State A (σ,i 1))) {(ds,θ) r,state C (L,j 1)(r ) = (t,θ,ds,or,π,receivers,bg)} = Domain(State A (σ,i 1)) r, ds, θ,state C (L,j 1)(r ) = (t,θ,ds,or,π,receivers,bg) v State A (σ,i 1)(ds,θ) = (t,or,v,π, receivers,bg) State A (σ,i 1)(ds,θ) = (t,or,v,π,receivers,bg) t rt r r Locations(L,min(J),ds,θ), j J State C (L,j 1)(r) = (t,θ,ds,or,π, receivers,bg) C2 s s (t p,l) receivers, k t L k = (Send,DeleteOrder,t,t p,ds,θ) k ]α,i[ t α = max{n (t p,n) receivers} s Abstract L (L,σ) r DeleteOrder 2 s (t p,l) receivers, k Map(k ) = {k} σ k = (DeleteOrder,t,tp,ds,θ) t k ]α,j [ α = max{n (t p,n) receivers} t s A2 r r Pr A3 ss t s A3 r σ i = (DeleteReq,t,or,ds,θ) State A (σ,i 1)(ds,θ) = (t,or,v,π,receivers,bg) ss Abstract L (L,σ) t Map(i) = {j} rt Abstract L (L,σ) r t t DeleteReq 2 s L j = (Receive,DeleteReq,t,or,ds,θ) Abstract S (State C (L,j 1),State A (σ,i 1)) s st t str t s ref State C (L,j 1)(ref) = (t,θ,ds,or,π,receivers,bg) C3 s s s r Locations(L,i,ds,θ), k t L k = (Delete,t,r) t < t t +π.rd t r Abstract L (L,σ) t s t r Delete t str t ts 2 s t s r s A3 k σ k = (Delete,t,ds,θ) t < t t +π.rd Pr A4 ss t s A4 r σ i = (AccessReq,t,ds,θ) State A (σ,i 1)(ds,θ) = (t,or,v,π, receivers,bg) ss Abstract L (L,σ) tmap(i) = {j} rt Abstract L (L,σ) r t t AccessReq 2 sl j = (Receive,AccessReq,t,ds,θ) Abstract S (State C (L,j 1),State A (σ,i 1)) s st t str t s ref State C (L,j 1)(ref) = (t,θ,ds,or,π,receivers,bg) C4 s s s k t L k = (Send,Val, t,ds,ref) t < t t + π.rd t r Abstract L (L,σ) t s t r Forward t str t ts 2 s t s r s A4 k σ k = (Forward,t,ds,ds,θ,v,π) t < t t +π.rd Pr A5 ss t s A5 r σ i = (Use,t,ds,θ,purpose,reason) State A (σ,i 1)(ds,θ) = (t,or,v,π,receivers,bg) ss Abstract L (L,σ) t Map(i) = {j} rt Abstract L (L,σ) r t t Use 2 sl j = (Read,t,ref,purpose,reason) t State C (L, r
16 2s s r P rs t Pr t t t t2 1t rs j 1)(ref) = (t,θ,ds,or,π,receivers,bg ) Abstract S (State C (L,j 1),State A (σ,i 1)) State C (L,j 1)(Context) = ct s C5 2 s purpose π.ap s st t str t π = π purpose π.ap t s r s A5 Pr A6 ss t s A6 r σ i = (Use,t,ds,θ,purpose,reason) State A (σ,i 1)(Context) = ct State A (σ,i 1)(ds,θ) = (t,or,v,π,receivers,bg) ss Abstract L (L,σ) t Map(i) = {j} rt Abstract L (L,σ) r t t Use 2 s L j = (Read,t,ref, purpose,reason) t State C (L,j 1)(ref) = (t,θ,ds,or,π,receivers,bg ) Abstract S (State C (L,j 1),State A (σ,i 1)) State C (L,j 1)(Context) = ct t ct π.cx s C6 s st t str t π = π ct π.cx t s r s A6 Pr A7 ss t s A7 r σ i = (Forward,t,rec,ds,θ,v,π) rec ds State A (σ,i 1)(ds,θ) = (t,or,v,π,receivers,bg) ss Abstract L (L,σ) t Map(i) = {j} rt Abstract L (L,σ) r t t Forward 2 s L j = (Send,Val,t,rec,ref) t rec ds State C (L,j 1)(ref) = (t,θ,ds,or,π,receivers,bg ) Abstract S (State C (L,j 1), State A (σ,i 1)) st r t s t r t t st t str t r s State C (L,j 1)(ref) = (t,θ,ds,or,π,receivers,bg) s t C7 t π.fw t s r s A7 r t rs t t s ss t t t s t r t 2 t t t r t 2 r r r t r rt2 r t s t t t r q sts r t 2 s Pr rt2 s t s t r q sts r t r t 2 r t s t t t Pr ss L = L 1...L n t t n ds θ 1 t r q sts r t r t 2 ss i [1,n] L i = (Receive,DeleteReq,t,or,ds,θ), L i L A = Locations(L,i,ds,θ) 2 tr t t t t r t s r ss ❼ ss t r 1 sts 2 t t s r t ref A s [1,n],L s (Delete,t,ref) L s (Copy,t,ref,ref) t ref / Locations(L,i,ds,θ) s tr ts C3 ❼ ss t r s t r rt2 t t s s r t r r DeleteOrder α AllReceivers(L,i,ds,θ) r [1,n],L r (Send, DeleteOrder,t,α,ds,θ) s t k L k = (Delete,t,ref) t ref A s tr ts C2 t t r t r s r t t t t r θ s t t t tr t r q st 1 sts r t s ss s s r s t r r t 2s π.dd t tr t C1
17 t ét 2 r t t2 Pr ss r r r r s t t s r tr t s t t t r t2 s t t2 tr ➓ t s t r r s t s r 2 s t 2s rs t t t r s t t t r 2 s t t t 2 t t t s sts r s r r s r s r q r t t t 2s s t 2 t r t s r tr t t2 r ss s s t t t s s r rr t 2 t t rs t s s st 2 t r r r t t t r s ❼ r r t s t r t t r t s2st t t s r t s s t t t r t t t r ts t t 1 t t s2st r t t ss t t s r rt2 r 2 s t t t q st t r t r s2st st r t r s t t2 r t r r r r s r s t t r t s t t t s r r r s r 2s r 1 t r r s s t t s 2 t2 t s t s ss t s t t 2 t t str t 2 t r 1 2 r t t r t 2 r tr s r rs t s r r t 2 r r t s rs t s ss t t r s r s r r t t ❼ r t s t t t 2s s t t s r r s t s r t t t 2 t 2 t t r r 1 t r s r t ts t t r t 1t 1 r t t st t r t s t t r 2 t r t rs ss t t r ss ts t r t t t 2 r s t st t s r t r r 2 r rt2 t s r t t t t t t t 1t t t2 s t t r r r t r t t t t s2st s t r s 2 s t t t t2 r ss s t r t r t r t r s s t r t r s r r t t rs r tr rs t Pr t t t r t s t tt t t tr s r t t t 2 r t r s t 1 r s s t 2 t s t2 s t r t rr t ss r rt2 ➓ s t t t 2 s 2s r s t t t t t t r r t s s t r t s t 1t t t t r r r r s t ts t r s r r t t t t s t r r s t r t s s r t s r r r r2 r t r s t s t 2 r s t t r r s 2 t r s r t r ss t s ss t t s t t t t t s t t2 s s t r 2 2 s s t t r t r t 2 s s s r r
18 2s s r P rs t Pr t t t t2 1t rs t r t t2 t r s s r 2 ss t t r2 s r rt s 1 r r rt2 tt t t t2 s r t r 1 P s s t t2 s r t t rt t t rt s r t2 r t r r rt t s r r t r s t r s s ss s t r st r2 r r r s r st r r tr r 2 t s r r s t r r r s s t r 2 t t t s t 2 t s2st r t r 3 rq st t tr r r t tr t s r s rs 2 t s t st 2 t s s t t t2 s s t s s s t r t t r t 2 t rs r str t s2st s s ss t s 2s tr r t s r r t r t2 t s st 2 t t t t t r t r s t t2 r t r t t t t r t r t t s r t r t ts r t s s rs t t t t2 t r s t r t r t r t s r t s t s s r t t t t2 s s s s r t r st rs s r s s r r rs s t t2 r s t ss r 2 r t2 s t s t t s r t r st s t t r s s 2 t t rs r r s t r s s r t r r t r t t r s2st t r s t t s t t rt s 2 rr t rs t s t t2 r s r 2
19 t ét 2 r s s s r t r r t rs t r t s t s r r tr s ss ss t r 2 r s s t t2 r r ss r2 t t r t s ss 1 t tr 2 t r r t t t2 s t t t t s t r t t r 2 t ts r s r s 2 t r r t s r s s 2 ts r t tr 2 t 2 ss 2 2 s t s s r s t t 2 rt t q t t s t t2 s s 2 t rr t r t t r t t2 s s t r t s 2 r t t s r2 t r s s 2 2 rs r2 s t t 1ts 2 t r s t sts s r s t r t r s 2 r s 2 t s ts r s s s t t t r t s s r t 1 r ss r 2 s t s ts ts r t2 t st r t ss s t s r t t 2 s s 2 t t s s s s r t t t2 r r r r t t s r r s r ss s s r ss ❼ s r t2 t r t2 t t2 t s s s r s s t s t s ss r s r ss 2 r s r ❼ s t t r s r t t t rs r s t s r t s s 2s r t t r q r ts ➓ s t r st r t 2s r t t r t r t ts t t t r2 r t s ❼ r 1 t t r t s s s r r 1 t r r t s rs t r 2 3 t t q s r 2 2 s 1t t t t s 2 t r s ss t t t r s t s r t s st t t st t s s ss t r rt r t t t st r t s 2 s r t t t 2 t s rs r t r t r r t s t s t t t2 t t t2 t t (ds,θ) r t r t 2 r t s r t s t st s t t r 2 2 t s 2 3 t r s t t t t r r s t t t t t2 r r t t r r 2 1tr rs t s t ss t t r t st t st t t2 t t 1t rs t r t t s r t s s 2 r t r t Pr t t s r s rs t r t t2 r r s t 2 s 2 t 2 s t s 2 r t r r t t t r t s 2 r r s t t s r t2 r s s r t s r s s t s r t 2 r t r r t t t t2 r t r
20 2s s r P rs t Pr t t t t2 1t rs t ts t 1t t t Pr 2 P s str t ts str t ts r Pr rt s t ts Pr rt s t t2 Pr rt s t t2 Pr ss t r s s r s rt t Pr t t r P rt2 t r t t2 P s t t2 r t s r 3 r r s 2st r r r r t r t2 r r t s r rt rs t2 r t t t ét 2 r s r t t2 2 s r t2 Pr 2 r s s t t ét 2 r tr t t2 2 Pr s s t rt s P rt t rs t Pr t t s r r t r s rq st r r t rt 3 t s tr t r r t r r r t P 2 rs t Pr t t t t2 ss t ts tt t Pr 2 s Pr t t r s ss t P rt t t2 s2st r s s t2 ts t r t t r ts Pr 2 t r t t2 t s r st r r tr Pr s t t s2 s ss tr s t s s r
21 t ét 2 r r ss Pr s r t t r P r t t t Pr t t s t r t t Pr ss P rs t t r t s t t Pr 2 r t t2 P r r s r t t r t 2st s s r 2 P t r 2 r s t r2 t t2 t Pr s t t r r s r t r s r t2 s r r r r t r t2 Pr 2 tt P r ss r t r t r 2 ss t t r s2st s ét 2 r 33 P t t s r t t r s r r s tt t rs s t r t2 r s t r r t t s t r t t r 2 tr s r r s rs t r t t2 r r t P r s 2 r t s t rt t r r s s r s 2st r t rs 3 r tt rs r2 t s r t t t r str t 2st r t2 2 s r
22 RESEARCH CENTRE GRENOBLE RHÔNE-ALPES Inovallée 655 avenue de l Europe Montbonnot Saint Ismier Cedex Publisher Inria Domaine de Voluceau - Rocquencourt BP Le Chesnay Cedex inria.fr ISSN
Aristoteles Camillo. To cite this version: HAL Id: hal
An experimentally-based modeling study of the effect of anti-angiogenic therapies on primary tumor kinetics for data analysis of clinically relevant animal models of metastasis Aristoteles Camillo To cite
Læs mereThe CompCert Memory Model, Version 2
The CompCert Memory Model, Version 2 Xavier Leroy, Andrew Appel, Sandrine Blazy, Gordon Stewart To cite this version: Xavier Leroy, Andrew Appel, Sandrine Blazy, Gordon Stewart. The CompCert Memory Model,
Læs mereLes pratiques d écriture réflexive en contexte de
Les pratiques d écriture réflexive en contexte de formation générale Serge Bibauw, Jean-Louis Dufays To cite this version: Serge Bibauw, Jean-Louis Dufays. Les pratiques d écriture réflexive en contexte
Læs mereEnergy-saving Technology Adoption under Uncertainty in the Residential Sector
Energy-saving Technology doption under Uncertainty in the esidential Sector Dorothée Charlier, lejandro Mosino, ude Pommeret To cite this version: Dorothée Charlier, lejandro Mosino, ude Pommeret. Energy-saving
Læs mereVidereuddannelse af lærere: muligheder og positioneringer i arbejdet
Videreuddannelse af lærere: muligheder og positioneringer i arbejdet Vibeke Damlund To cite this version: Vibeke Damlund. Videreuddannelse af lærere: muligheder og positioneringer i arbejdet. Education.
Læs mereA hybrid high-order locking-free method for linear elasticity on general meshes
A hybri high-orer locking-free metho for linear elasticity on general meshes Daniele Antonio Di Pietro, Alexanre Ern o cite this version: Daniele Antonio Di Pietro, Alexanre Ern. A hybri high-orer locking-free
Læs mereAalborg Universitet. Borgerinddragelse i Danmark Lyhne, Ivar; Nielsen, Helle; Aaen, Sara Bjørn. Publication date: 2015
Aalborg Universitet Borgerinddragelse i Danmark Lyhne, Ivar; Nielsen, Helle; Aaen, Sara Bjørn Publication date: 2015 Document Version Også kaldet Forlagets PDF Link to publication from Aalborg University
Læs mereCitation for published version (APA): Byrge, C., & Hansen, S. (2011). Værktøjskasse til kreativitet [2D/3D (Fysisk produkt)].
Aalborg Universitet Værktøjskasse til kreativitet Sørensen, Christian Malmkjær Byrge; Hansen, Søren Publication date: 2011 Document Version Indsendt manuskript Link to publication from Aalborg University
Læs mereAalborg Universitet. Undersøgelse af miljøvurderingspraksis i Danmark Lyhne, Ivar; Cashmore, Matthew Asa. Publication date: 2013
Aalborg Universitet Undersøgelse af miljøvurderingspraksis i Danmark Lyhne, Ivar; Cashmore, Matthew Asa Publication date: 2013 Document Version Peer-review version Link to publication from Aalborg University
Læs mereSylvain Meille. Étude du comportement mécanique du plâtre pris en relation avec sa microstructure.
Étude du comportement mécanique du plâtre pris en relation avec sa microstructure Sylvain Meille To cite this version: Sylvain Meille. Étude du comportement mécanique du plâtre pris en relation avec sa
Læs mere17 B 17 A 19 B 1 9 C A. Antal boliger: 37 Bolig størrelse: m2. 12 J 7000aa 31 J F 3 31 N 31 M. Tiltag:
000p bb cg u F C D L z C ay ac bt 0af ae bi Nav: Tøreha resse: Søgae tal bolig: olig størrelse: - m 0ao s 0am bq 0p Nav: øgeha resse: Tøre -J tal bolig: 0 olig størrelse: m bl bx H y G br 000ak 0l bk bv
Læs mereMere end struktur - moderne anvendelse af højopløselig airborne geofysik i hydrologiske modeller
Downloaded from orbit.dtu.dk on: Jan 18, 2017 Mere end struktur - moderne anvendelse af højopløselig airborne geofysik i hydrologiske modeller Vilhelmsen, Troels; Marker, Pernille Aabye; Foged, Nikolaj;
Læs merefhair 52.0"; ( ^ ^ as Z < ^ -» H S M 3
fair 52.0"; (515 974 ^ ^ as ^ -» S M 3 > D Z (D Z Q LU LU > LU W CC LO CO > CD LJJ > LJJ O LL .. O ^ CO ^ ^ ui,"" 2.2 C d. ii "^ S Q ~ 2 & 2 ^ S i; 2 C O T3 Q _, - - ^ Z W O 1- ' O CM OOCMOOO'-'O'^'N
Læs mereBilag J - Beregning af forventet uheldstæthed på det tosporede vejnet i åbent land Andersen, Camilla Sloth
Aalborg Universitet Bilag J - Beregning af forventet uheldstæthed på det tosporede vejnet i åbent land Andersen, Camilla Sloth Publication date: 2014 Document Version Også kaldet Forlagets PDF Link to
Læs mereSyddansk Universitet. Notat om Diabetes i Danmark Juel, Knud. Publication date: 2007. Document Version Også kaldet Forlagets PDF. Link to publication
Syddansk Universitet Notat om Diabetes i Danmark Juel, Knud Publication date: 27 Document Version Også kaldet Forlagets PDF Link to publication Citation for pulished version (APA): Juel, K., (27). Notat
Læs mereDataprogrammerne i HELP Start. HELP Spell Start: SS
HELP Spell Start: SS Øvelse Indhold L M S A.1.1: A.1.2: A.1.3: A.1.4: A.1.5: A.1.6: A.1.7: A.1.8: A.1.9: A.1.10: A.1.11: A.1.12: A.1.13: A.1.14: A.1.15: A.1.16: A.1.17: A.1.18: A.1.19: A.1.20: A.2.1: A.2.2:
Læs mereAalborg Universitet. Feriehusferien og madoplevelser Et forbruger- og producentperspektiv Therkelsen, Anette; Halkier, Henrik. Publication date: 2012
Downloaded from vbn.aau.dk on: August 09, 2019 Aalborg Universitet Feriehusferien og madoplevelser Et forbruger- og producentperspektiv Therkelsen, Anette; Halkier, Henrik Publication date: 2012 Document
Læs mereAalborg Universitet. Økonomisk ulighed og selvværd Hansen, Claus Dalsgaard. Publication date: 2011
Aalborg Universitet Økonomisk ulighed og selvværd Hansen, Claus Dalsgaard Publication date: 2011 Document Version Tidlig version også kaldet pre-print Link to publication from Aalborg University Citation
Læs mereSyddansk Universitet. Hønen eller ægget - hvorfor cykler cyklister. Christiansen, Lars Breum Skov; Madsen, Thomas. Publication date: 2015
Syddansk Universitet Hønen eller ægget - hvorfor cykler cyklister Christiansen, Lars Breum Skov; Madsen, Thomas Publication date: 2015 Citation for pulished version (APA): Breum, L., & Madsen, T. Hønen
Læs mereVejledning til det digitale eksamenssystem. Heilesen, Simon. Publication date: Document Version Peer-review version
Vejledning til det digitale eksamenssystem Heilesen, Simon Publication date: 2014 Document Version Peer-review version Citation for published version (APA): Heilesen, S. (2014). Vejledning til det digitale
Læs mereUmiddelbare kommentarer til Erhvervsministerens redegørelse vedr. CIBOR 27/9-2012 Krull, Lars
Aalborg Universitet Umiddelbare kommentarer til Erhvervsministerens redegørelse vedr. CIBOR 27/9-2012 Krull, Lars Publication date: 2012 Document Version Pre-print (ofte en tidlig version) Link to publication
Læs mere(12) Translation of European patent specification
(12) Translation of European patent specification (11) NO/EP 2487162 B1 (19) NO NORWAY (1) Int Cl. C07D 277/28 (2006.01) A61K 31/427 (2006.01) A61P 31/12 (2006.01) C07D 417/14 (2006.01) Norwegian Industrial
Læs mereTrængselsopgørelse Københavns Kommune 2013
Downloaded from orbit.dtu.dk on: Dec 21, 2017 Trængselsopgørelse Københavns Kommune 2013 Rasmussen, Thomas Kjær; Aabrink, Morten; Nielsen, Otto Anker Publication date: 2014 Document Version Publisher's
Læs mereAalborg Universitet. Banker i Danmark pr. 22/3-2012 Krull, Lars. Publication date: 2012. Document Version Pre-print (ofte en tidlig version)
Aalborg Universitet Banker i Danmark pr. 22/3-2012 Krull, Lars Publication date: 2012 Document Version Pre-print (ofte en tidlig version) Link to publication from Aalborg University Citation for published
Læs mereAalborg Universitet. Empty nesters madpræferencer på feriehusferie Baungaard, Gitte; Knudsen, Kirstine ; Kristensen, Anja. Publication date: 2011
Aalborg Universitet Empty nesters madpræferencer på feriehusferie Baungaard, Gitte; Knudsen, Kirstine ; Kristensen, Anja Publication date: 2011 Document Version Også kaldet Forlagets PDF Link to publication
Læs mereUniversity Colleges. Sådan kan du hjælpe dit barn med lektierne! Kristensen, Kitte Søndergaard. Publication date: 2011
University Colleges Sådan kan du hjælpe dit barn med lektierne! Kristensen, Kitte Søndergaard Publication date: 2011 Document Version Tidlig version også kaldet pre-print Link to publication Citation for
Læs mereAalborg Universitet. Ledelseskapital og andre kapitalformer Nørreklit, Lennart. Publication date: Document Version Også kaldet Forlagets PDF
Aalborg Universitet Ledelseskapital og andre kapitalformer Nørreklit, Lennart Publication date: 2007 Document Version Også kaldet Forlagets PDF Link to publication from Aalborg University Citation for
Læs mereMultiple-level Top-down design of modular flexible products
Downloaded from orbit.dtu.dk on: Mar 16, 2019 Multiple-level Top-down design of modular flexible products Christensen, Georg Kronborg Publication date: 2015 Link back to DTU Orbit Citation (APA): Christensen,
Læs mereCitation for published version (APA): Byrge, C., & Hansen, S. (2009). Den Kreative Platform Spillet [2D/3D (Fysisk produkt)].
Aalborg Universitet Den Kreative Platform Spillet Sørensen, Christian Malmkjær Byrge; Hansen, Søren Publication date: 2009 Document Version Tidlig version også kaldet pre-print Link to publication from
Læs mereOn 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 mereBrugeradfærd i idræts- og kulturhuse - Målinger med RFID teknologi Suenson, Valinka
Aalborg Universitet Brugeradfærd i idræts- og kulturhuse - Målinger med RFID teknologi Suenson, Valinka Publication date: 2011 Document Version Accepteret manuscript, peer-review version Link to publication
Læs mereStruktur for samkøring af Family Tables og Top Down Design under brug af Wildfire 5.0/Creo 1.0
Downloaded from orbit.dtu.dk on: Jan 10, 2017 Struktur for samkøring af Family Tables og Top Down Design under brug af Wildfire 5.0/Creo 1.0 Christensen, Georg Kronborg Publication date: 2012 Document
Læs mereBilag 1: Dataanalyse af ordmaterialet, fase 1
1. Hvor mange har fået alternativt forslag opsat for hvert mulige alternative forslag af 41 elever (deltagere i prætest)? (Er det godt at teste for det alternative forslag?) Skåret ved < 20% dvs. BP, DT,
Læs mereGrøn Open Access i Praksis
Downloaded from orbit.dtu.dk on: Feb 03, 2017 Grøn Open Access i Praksis Sand, Ane Ahrenkiel Publication date: 2016 Document Version Også kaldet Forlagets PDF Link to publication Citation (APA): Sand,
Læs mereAalborg Universitet. Grundbrud Undervisningsnote i geoteknik Nielsen, Søren Dam. Publication date: Document Version Også kaldet Forlagets PDF
Aalborg Universitet Grundbrud Undervisningsnote i geoteknik Nielsen, Søren Dam Publication date: 2018 Document Version Også kaldet Forlagets PDF Link to publication from Aalborg University Citation for
Læs mereShared space - mellem vision og realitet. - Lyngby Idrætsby som case
Downloaded from orbit.dtu.dk on: Jan 27, 2017 Shared space - mellem vision og realitet. - Lyngby Idrætsby som case Brinkø, Rikke Publication date: 2015 Document Version Peer-review version Link to publication
Læs mereFisk en sjælden gæst blandt børn og unge
Downloaded from orbit.dtu.dk on: Jan 8, 6 Fisk en sjælden gæst blandt børn og unge Fagt, Sisse Publication date: 8 Document Version Forlagets endelige version (ofte forlagets pdf) Link to publication Citation
Læs mereBT: Interview til artikle: FCK anholdt træningslejre på privat kongeligt anlæg i Dubai
Syddansk Universitet BT: Interview til artikle: FCK anholdt træningslejre på privat kongeligt anlæg i Dubai Hvidt, Martin Published in: Dagbladet BT Publication date: 2019 Document version Også kaldet
Læs mereM A D E I N G E R M A N Y M A D E I N G E R M A N Y. a u f d e r g a n z e n W el t z u h a u s e... w ei ß
w ei ß a u f d e r g a n z e n W el t z u h a u s e... P or z ell a nf a bri k e n C hristi a n S elt m a n n G m b H P ostf a c h 2 0 4 0 9 2 6 1 0 W ei d e n / G er m a n y Tel ef o n + 4 9 ( 0) 9 6
Læs mereFritidslivet i bevægelse
Downloaded from orbit.dtu.dk on: Feb 02, 2016 Fritidslivet i bevægelse Nielsen, Thomas Alexander Sick Published in: Byplan Publication date: 2011 Link to publication Citation (APA): Nielsen, T. A. S. (2011).
Læs mereForskning og udvikling i almindelighed og drivkraften i særdeleshed Bindslev, Henrik
Syddansk Universitet Forskning og udvikling i almindelighed og drivkraften i særdeleshed Bindslev, Henrik Publication date: 2009 Document version Final published version Citation for pulished version (APA):
Læs merePMALlNGSRESULTATER BLAG 2 TEGNNGSVERSGT: VandlØb Tegn. nr. Ene Tange å 01 Længdeprfil, st. 00 - st. 3300 02 Længdeprfil, st. 3300 - st. 6600 03 Længdeprfil, st. 6600 - st. 9968 Thrning bæk 04 Længdeprfil,
Læs mere* I lr,3 I li=;ia. gltgetlneei. s I l.iel t cb,f. ? I lsa*l Is*iA. $ I l=r I leer'i. islel seelaliheia F I IFF I IFF*1. =:=l lh=;l lfre'si :=EU
Y ci c+c\ > >> J 6B xr. t 0fJ) tt rj 6t (V 6g r cg A i! :.?6 [. _. 6> t\n t\\ Y '': t ib Y\At :U g i.j ct l l P ij li^ ri Y'+ (Yt r?3 '.0 ii r\ " \J/ iy ri 9 rt3.8 'n A! 6s X ct.:+. l*lq* Ui9 *..1 *.*.!i.i
Læs mereSimple værktøjer til helhedsorienteret vurdering af alternative teknologier til regnvandshåndtering
Downloaded from orbit.dtu.dk on: Dec 28, 2018 Simple værktøjer til helhedsorienteret vurdering af alternative teknologier til regnvandshåndtering Sørup, Hjalte Jomo Danielsen; Arnbjerg-Nielsen, Karsten;
Læs mereUforudsete forsinkelser i vej- og banetrafikken - Værdisætning
Downloaded from orbit.dtu.dk on: Dec 17, 2015 - Værdisætning Hjorth, Katrine Publication date: 2012 Link to publication Citation (APA): Hjorth, K. (2012). - Værdisætning [Lyd og/eller billed produktion
Læs mereOXFORD. 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 mereUmiddelbare kommentarer til Finansrådets ledelseskodeks af 22/
Downloaded from vbn.aau.dk on: januar 29, 2019 Aalborg Universitet Umiddelbare kommentarer til Finansrådets ledelseskodeks af 22/11-2013 Krull, Lars Publication date: 2013 Document Version Tidlig version
Læs mereEurokod 3: Dimensionering av stålkonstruktioner Del 1-6: Skal
SVENSK STANDARD SS-EN 1993-1-6:2007/AC:2009 Fastställd/Approved: 2009-06-25 Publicerad/Published: 2009-10-13 Utgåva/Edition: 1 Språk/Language: engelska/english ICS: 91.010.30; 91.070.03; 91.070.80; 91.080.10
Læs mereAalborg Universitet. Sammenhængen mellem bystørrelse og dårlige boliger og befolkningssammensætning i forskellige områder Andersen, Hans Skifter
Aalborg Universitet Sammenhængen mellem bystørrelse og dårlige boliger og befolkningssammensætning i forskellige områder Andersen, Hans Skifter Publication date: 2012 Document Version Peer-review version
Læs mereDanish University Colleges. Lektoranmodning Niels Jakob Pasgaard. Pasgaard, Niels Jakob. Publication date: 2016
Danish University Colleges Lektoranmodning Niels Jakob Pasgaard Pasgaard, Niels Jakob Publication date: 2016 Document Version Post-print: Den endelige version af artiklen, der er accepteret, redigeret
Læs mereCitation for published version (APA): Krull, L., (2012). Umiddelbare kommentarer til Tønder Banks konkurs 2/ , 13 s., nov. 02, 2012.
Aalborg Universitet Umiddelbare kommentarer til Tønder Banks konkurs 2/11-2012 Krull, Lars Publication date: 2012 Document Version Indsendt manuskript Link to publication from Aalborg University Citation
Læs mereAfprøvning af InVentilate Ventilationssystem
Afprøvning af InVentilate Ventilationssystem P. Heiselberg Udarbejdet for: InVentilate A/S DCE Contract Report No. 108 Department of Civil Engineering Aalborg University Department of Civil Engineering
Læs mereBioenergi fra skoven sammenlignet med landbrug
Downloaded from orbit.dtu.dk on: Dec 20, 2017 Bioenergi fra skoven sammenlignet med landbrug Callesen, Ingeborg Publication date: 2009 Link back to DTU Orbit Citation (APA): Callesen, I. (2009). Bioenergi
Læs mereAalborg Universitet. Feriehusferie nej tak! Bubenzer, Franziska; Jørgensen, Matias. Publication date: 2011. Document Version Også kaldet Forlagets PDF
Aalborg Universitet Feriehusferie nej tak! Bubenzer, Franziska; Jørgensen, Matias Publication date: 2011 Document Version Også kaldet Forlagets PDF Link to publication from Aalborg University Citation
Læs mereAalborg Universitet. NOTAT - Projekt Cykeljakken Lahrmann, Harry Spaabæk; Madsen, Jens Christian Overgaard. Publication date: 2014
Aalborg Universitet NOTAT - Projekt Cykeljakken Lahrmann, Harry Spaabæk; Madsen, Jens Christian Overgaard Publication date: 2014 Document Version Også kaldet Forlagets PDF Link to publication from Aalborg
Læs mereBasic 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 mereAalborg Universitet. Høringskommentarer vedr. 3D CAD manual 2007 Christiansson, Per Lennart; Svidt, Kjeld. Publication date: 2006
Aalborg Universitet Høringskommentarer vedr. 3D CAD manual 2007 Christiansson, Per Lennart; Svidt, Kjeld Publication date: 2006 Document Version Også kaldet Forlagets PDF Link to publication from Aalborg
Læs mereThe Religious Challenge of the 21st Century
The Religious Challenge of the 21st Century Signe Kjær Jørgensen To cite this version: Signe Kjær Jørgensen. The Religious Challenge of the 21st Century. A review article of three books. 2007.
Læs mereVi har teknikken klar til roadpricing. Jespersen, Per Homann. Published in: Altinget. Publication date: 2014
Vi har teknikken klar til roadpricing Jespersen, Per Homann Published in: Altinget Publication date: 2014 Document Version Også kaldet Forlagets PDF Citation for published version (APA): Jespersen, P.
Læs mereUheldsmodeller på DTU Transport - nu og fremover
Downloaded from orbit.dtu.dk on: Jan 20, 2019 på DTU Transport - nu og fremover Hels, Tove Publication date: 2011 Document Version Også kaldet Forlagets PDF Link back to DTU Orbit Citation (APA): Hels,
Læs mereGeneralized 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 mereOrmebekæmpelse i vandværksfiltre
Downloaded from orbit.dtu.dk on: Jan 03, 2016 Ormebekæmpelse i vandværksfiltre Christensen, Sarah Christine Boesgaard; Boe-Hansen, Rasmus; Albrechtsen, Hans-Jørgen Publication date: 2015 Document Version
Læs mereD Referat af ekstraordinær generalforsamling i Å T O F T E N S G RU N D E J E RF O RE N I N G tirsdag den 23. marts 2004 kl. 19.30 i fælleshuset a g s o r d e n 1. V a l g a f d i r i g e n t 2. K ø b
Læs mereCitation for pulished version (APA): Terp, L. B. (2009). Didaktiske redskaber i idrætsundervisningen: et inspirationsmateriale til teori og praksis.
University Colleges Didaktiske redskaber i idrætsundervisningen Terp, Lene Bjerning Publication date: 2009 Document Version Tidlig version også kaldet pre-print Link to publication Citation for pulished
Læs mereAutomatisk hastighedskontrol - vurdering af trafiksikkerhed og samfundsøkonomi
Downloaded from orbit.dtu.dk on: Dec 19, 2017 Automatisk hastighedskontrol - vurdering af trafiksikkerhed og samfundsøkonomi Hels, Tove; Kristensen, Niels Buus; Carstensen, Gitte; Bernhoft, Inger Marie
Læs mereAnalyse af antal medarbejdere i forhold til balancen samt sammenkædning med instituttets finansieringsomkostninger Krull, Lars
Aalborg Universitet Analyse af antal medarbejdere i forhold til balancen samt sammenkædning med instituttets finansieringsomkostninger Krull, Lars Publication date: 2016 Link to publication from Aalborg
Læs mereEn dialektisk ramme for analyse af sundhedsforståelser i socialpædagogiske specialinstitutioner
En dialektisk ramme for analyse af sundhedsforståelser i socialpædagogiske specialinstitutioner Kristensen, Kasper Andreas Publication date: 2011 Document Version Også kaldet Forlagets PDF Citation for
Læs mereOverlevelse af sygdomsfremkaldende bakterier ved slangeudlægning og nedfældning af gylle?
Downloaded from orbit.dtu.dk on: Feb 05, 2017 Overlevelse af sygdomsfremkaldende bakterier ved slangeudlægning og nedfældning af gylle? Jensen, Annette Nygaard Publication date: 2014 Link to publication
Læs mereMaintenance Documentation for maintenance
Dansk standard DS/EN 13460 3. udgave 2009-12-15 Vedligehold Dokumentation for vedligehold Maintenance Documentation for maintenance DS/EN 13460 København DS projekt: M245239 ICS: 01.110; 21.020 Første
Læs mereCommunicate and Collaborate by using Building Information Modeling
Downloaded from orbit.dtu.dk on: Dec 20, 2017 Communicate and Collaborate by using Building Information Modeling Mondrup, Thomas Fænø; Karlshøj, Jan; Vestergaard, Flemming Publication date: 2012 Document
Læs mereAktiv lytning - som kompetence hos ph.d.-vejledere
Downloaded from orbit.dtu.dk on: Oct 09, 2016 Aktiv lytning - som kompetence hos ph.d.-vejledere Godskesen, Mirjam Irene; Wichmann-Hansen, Gitte Publication date: 2012 Document Version Også kaldet Forlagets
Læs mereDanskernes Rejser. Christensen, Linda. Publication date: 2011. Link to publication
Downloaded from orbit.dtu.dk on: Jan 07, 2016 Danskernes Rejser Christensen, Linda Publication date: 2011 Link to publication Citation (APA): Christensen, L. (2011). Danskernes Rejser Technical University
Læs mereSundhedsinformatik Patientjournaler Definition, anvendelsesområde og kontekst
DS-information DS/ISO/TR 14292 1. udgave 2012-04-02 Sundhedsinformatik Patientjournaler Definition, anvendelsesområde og kontekst Health informatics Personal health records Definition, scope and context
Læs mereByfunktioner og struktur hvad betyder det for cyklingen?
Downloaded from orbit.dtu.dk on: May 28, 2016 Byfunktioner og struktur hvad betyder det for cyklingen? Nielsen, Thomas Alexander Sick Publication date: 2014 Link to publication Citation (APA): Nielsen,
Læs mereSolvarmeanlæg ved biomassefyrede fjernvarmecentraler
Downloaded from orbit.dtu.dk on: Dec 16, 017 Solvarmeanlæg ved biomassefyrede fjernvarmecentraler Heller, Alfred Publication date: 001 Document Version Også kaldet Forlagets PDF Link back to DTU Orbit
Læs mereSammenhæng mellem aktivitet af metanoksiderende bakterier, opformeret fra sandfiltre på danske vandværker, og nedbrydningen af pesticidet bentazon
Downloaded from orbit.dtu.dk on: Feb 16, 2017 Sammenhæng mellem aktivitet af metanoksiderende bakterier, opformeret fra sandfiltre på danske vandværker, og nedbrydningen af pesticidet bentazon Hedegaard,
Læs mereTo 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 mereAalborg Universitet. Koncernledelsens strategimuligheder og dilemmaer i en radikal decentraliseringsproces. Nørreklit, Lennart. Publication date: 2007
Aalborg Universitet Koncernledelsens strategimuligheder og dilemmaer i en radikal decentraliseringsproces Nørreklit, Lennart Publication date: 2007 Document Version Også kaldet Forlagets PDF Link to publication
Læs mereElektriske apparater til husholdningsbrug o.l. Sikkerhed Del 1: Generelle krav
Dansk standard Tillæg DS/IEC 60335-1/A1:2013 + Corr 1:2014 1. udgave 2014-05-08 Elektriske apparater til husholdningsbrug o.l. Sikkerhed Del 1: Generelle krav Household and similar electrical appliances
Læs mereUheldsmodellering: Belægningsskader og risiko
Downloaded from orbit.dtu.dk on: Feb 24, 2019 Uheldsmodellering: Belægningsskader og risiko Janstrup, Kira Hyldekær; Møller, Mette; Pilegaard, Ninette Published in: Trafik & Veje Publication date: 2018
Læs mereFFIII - Nye trends: Baggrund for udvikling af beslutningsværktøjer
Downloaded from orbit.dtu.dk on: Jan 05, 2017 FFIII - Nye trends: Baggrund for udvikling af beslutningsværktøjer Hansen, Tina Beck; Møller, Cleide Oliveira de Almeida Publication date: 2016 Document Version
Læs mereTransportindikatorers politiske anvendelse og indflydelse
Downloaded from orbit.dtu.dk on: Dec 19, 2017 Transportindikatorers politiske anvendelse og indflydelse Sørensen, Claus Hedegaard; Gudmundsson, Henrik Publication date: 2011 Document Version Også kaldet
Læs mereGram Skole 2018 (Haderslev)
GRAM SKOLE 2018 (HADERSLEV) / 10. DECEMBER 2018 Gram Skole 2018 (Haderslev) Gram Skole har udviklet Gramblomsten, der g ennem samarbejde og struktur har formået at skabe en alsidig og succesfuld holddeling,
Læs mereRettelse nr. / Correction no Søkortrettelser / Danish Chart Corrections på / via
22. juli 2016 28. årgang SØKORTRETTELSER 28 DANISH CHART CORRECTIONS 2016 Rettelse nr. / Correction no. 305-314 Kort / Chart Rettelse nr. / Correction no. Kort / Chart Rettelse nr. / Correction no. 92
Læs mereDe naturlige bestande af ørreder i danske ørredvandløb målt i forhold til ørredindekset DFFVø
Downloaded from orbit.dtu.dk on: Sep 04, 2016 De naturlige bestande af ørreder i danske ørredvandløb målt i forhold til ørredindekset DFFVø Nielsen, Jan; Koed, Anders; Baktoft, Henrik Publication date:
Læs mereSELVOPRULLENDE SIKKERHEDSLINER NANO-LOK XL THE ULTIMATE IN FALL PROTECTION
SELVOPRULLENDE SIKKERHEDSLINER NANO-LOK XL THE ULTIMATE IN FALL PROTECTION SELVOPRULLENDE SIKKERHEDSLINER STØRRE ALSIDIGHED Mulighed for enkeltbenet eller dobbeltbenet Kan tilkobles ved fodniveau Modeller
Læs merePilot European Regional Interventions for Smart Childhood Obesity Prevention in Early age
Aalborg Universitet Pilot European Regional Interventions for Smart Childhood Obesity Prevention in Early age Sansolios, Sanne; Storm Slumstrup, Camilla Published in: Pilot European Regional Interventions
Læs mereeconstor Make Your Publication Visible
econstor Make Your Publication Visible A Service of Wirtschaft Centre zbwleibniz-informationszentrum Economics Andersen, Allan Bødskov; Wagener, Tom Working Paper Extracting risk neutral probability densities
Læs mereRettelse nr. / Correction no Søkortrettelser / Danish Chart Corrections på / via
19. januar 2018 30. årgang SØKORTRETTELSER 1-2 DANISH CHART CORRECTIONS 2018 Rettelse nr. / Correction no. 1-8 Kort / Chart Rettelse nr. / Correction no. Kort / Chart Rettelse nr. / Correction no. 92 (INT
Læs mereVerdens ældste landsby?
Verdens ældste landsby? Charlott Hoffmann Jensen To cite this version: Charlott Hoffmann Jensen. Verdens ældste landsby?. Sfinx, 2002, 25 (4), pp.168-171. HAL Id: hprints-00623057 https://hal-hprints.archives-ouvertes.fr/hprints-00623057
Læs mereAalborg Universitet Beton General rights Take down policy
Downloaded from vbn.aau.dk on: August 02, 2019 Aalborg Universitet Beton Bolomeys og Neppers Formler Jensen, Jens Kristian Jehrbo Publication date: 1986 Document Version Også kaldet Forlagets PDF Link
Læs mere2, rue Mercier, 2985 Luxembourg, Luxembourg Fax: +352 29 29 42 670
European Union Publication of Supplement to the Official Journal of the European Union 2, rue Mercier, 2985 Luxembourg, Luxembourg Fax: +352 29 29 42 670 E-mail: ojs@publications.europa.eu Info & on-line
Læs mereSouth Baileygate Retail Park Pontefract
Key Details : available June 2016 has a primary shopping catchment of 77,000 (source: PMA), extending to 186,000 within 10km (source: FOCUS) 86,000 sq ft of retail including Aldi, B&M, Poundstretcher,
Læs mereOm teknologi, faglighed og mod - og lidt om at bage boller Geyti, Anna-Maj Stride; Larsen, Stina Meyer; Syse, Mette Damkjær
University Colleges Om teknologi, faglighed og mod - og lidt om at bage boller Geyti, Anna-Maj Stride; Larsen, Stina Meyer; Syse, Mette Damkjær Publication date: 2013 Document Version Tidlig version også
Læs mereDendrokronologisk Laboratorium
Dendrokronologisk Laboratorium NNU rapport 14, 2001 ROAGER KIRKE, TØNDER AMT Nationalmuseet og Den Antikvariske Samling i Ribe. Undersøgt af Orla Hylleberg Eriksen. NNU j.nr. A5712 Foto: P. Kristiansen,
Læs mereSkriftlig 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 mereIntroduktion af polte i PRRSV-besætninger Notat nr. 1609
Downloaded from orbit.dtu.dk on: Jul 03, 2017 Introduktion af polte i PRRSV-besætninger Notat nr. 1609 Hoelstad, Bonnie Edahl; Sonne Kristensen, Charlotte; Qvist Pawlowski, Mia; Hjulsager, Charlotte Kristiane;
Læs mereAalborg Universitet. Web-statistik - og hvad så? Løvschall, Kasper. Published in: Biblioteksårbog Publication date: 2004
Aalborg Universitet Web-statistik - og hvad så? Løvschall, Kasper Published in: Biblioteksårbog 2003 Publication date: 2004 Document Version Også kaldet Forlagets PDF Link to publication from Aalborg University
Læs mereKosmetik Metoder til prøvning af solbeskyttelse In vivo-bestemmelse af UVA-beskyttelse
Dansk standard DS/EN ISO 24442 1. udgave 2012-02-01 Kosmetik Metoder til prøvning af solbeskyttelse In vivo-bestemmelse af UVA-beskyttelse Cosmetics Sun protection test methods In vivo determination of
Læs mere