From f2a9530dab47e9cae6d3cedb4390242bb23031c0 Mon Sep 17 00:00:00 2001 From: Your Name Date: Tue, 20 Mar 2012 14:37:45 +0000 Subject: [PATCH] Extracted a sym link to for the new papaers directory so it is easier to find the source for papers submitted. --- papers/System_safety_2011 | 1 + presentations/System_safety_2011/noninv.png | Bin 0 -> 4553 bytes presentations/System_safety_2011/submission.tex | 3 ++- 3 files changed, 3 insertions(+), 1 deletion(-) create mode 120000 papers/System_safety_2011 create mode 100644 presentations/System_safety_2011/noninv.png diff --git a/papers/System_safety_2011 b/papers/System_safety_2011 new file mode 120000 index 0000000..a479bce --- /dev/null +++ b/papers/System_safety_2011 @@ -0,0 +1 @@ +../presentations/System_safety_2011 \ No newline at end of file diff --git a/presentations/System_safety_2011/noninv.png b/presentations/System_safety_2011/noninv.png new file mode 100644 index 0000000000000000000000000000000000000000..719397c21b8d9b6f7f9ce138e6f381fe2953b10c GIT binary patch literal 4553 zcmbtYc{tQ<_n(Puqb!v@V<(lRl!uy;B_`V_qU<%YFJ*eHV-S&2%8-N^OOh<}*s=~v zXp)#D*%g|U3}YE%o8PV8>;1j&-|u&>YwmmQbARvUbI$pkb0*2g+H9AAlmG+**>whG zat;E4+Jb%^-wyCi8-4T%G(49r%uFDh?N2VHhya0z;Ln&C+J$BR8uhcZWpQ}tgER|1 zy7Gk?3m7)V(X5_F%DJj~(5z~C^O^wMaW; zEr@xmb0_WP4KB?({`_ZI?ogk?LJlvT6(k`bP>moF7x4(K0HJF5T?W3Hp3Pv(CUs6; z(mE9twK+zK)D0SI^6Zw%wCo7ggW%<-8zI5Y8Uuq>UIS%Lx&cGgo9nFF+S)}Ikr;+N z+t}B~2Z+%A{Vc}5jEV*Y7fk0TC|6<&1 z!8H$6ibjDMb#--xh3%IsUbnZ`)YL>Rw2NzNYy0^4h-)~v3PWy4rE)|Gs_5fc-L-+E z&!0U*Sy}zvIC|yEl>-M3EG#V4*Vm`O4Zby=ilLoix+U4ETUlFc96n6J(yc>6R-T+8 zl)JSM)6)z4W|B=O87-Xmp|KFfxT%z6>!L0y)h8g}@ZrPYl@R?LWo6~0q$HTQ#vwJe zu(hQF<2!dWi7G|w7#SIzv$Z{_t}Z1l-R+4rF^TW?9B%mA&(7}Sr!pt9OJfIEQZsfc zg*rP}by&>8$;s*LS=x=AFyhJZb2c_w0Liqpw93lL=4NCwj5|zQX`I){*!Zp~CLkcd z%BuU}VW%|n>63-ws~SWC2l zuCA_zhK928G}!Mi5x(nk>}GK>u@_gm9wsCtSY&7vK7IPuqY_-C)TuV`Q|Uzj5ocpj z2;4`Gy;bc&P5toUT%d*x&{mmKEjU+xK|y`}DVzgue!|qci-*UPLI38c_2atYZ>EE< zVPi!_MVX6>jg5_L4dK^(R3Tx8bMDipDpi9guYG;p(b4hlo#mW~dsGx+eCLfiId;Lq zfLpY(s%pwysMotkmntqaVPhK_8UzFc#=<6dfqjF5$Uzo6!{h<9+16gRwtW}I4D)QR zVq>>97JHJD1#29C<-k0SWCo5m|0+2Lb>*YdFXC`GJRTXUFuy$D#+aS0b}T#U^?vHx zj(TSe0O_UFt7MyenN~qt=9OYipyV>=S6OyEfT`J|=b7S%WUy<#D9U zeqB9C6mmQ(;LEFC=*e31}o+NkyeYl_AtB>Bp?kUVZ*JgGn9e)Cv;aw=X>{O~;OTLSH{3B0>Vw-QE3j zfZP(Xtj>xsF?rppE7SP?{rmiUg_8cayVkE98T`>-Vx`je{CtU$Xp)ctpNU^7H7Fne z5wY})HPcsw&ap0H`Iwm{vMTy!WWo+)jRuA`j*eh5y88S3m(_#528}2+<)t$EKYmQh z&c?CkTw28X#>d?*Uc6{yGv6j;aJ6mgVwGpWNZqx*r&g1lDXgDnaT9lsv7z4x z{`{Yu z*zPu=MoT8gI+3>JPChcEI{l&0qRO-T>pDl2dk@7`litW9K>z?VhHDueccqgn^swI! zIlb^7s`kN&FT*Jmid)oj`nlqf3JmXfO)JO5)HI(iBz6eFp%s|%#KlT~MnBdme)jBH zOACpS@0wdxMbH)#6YB_-pND^z7eofuo-idiAg>iKS>@!5k1UDHufQ5qRPYX)2=8^u=P$tz~1 z|NLXaPaha9m*-(;aE3VMY;Nj@It22r+ zyUnbvtpU@8hu51HP`kQH$Yl8Pnp=}GlmC@BDf{c!uYiKaDUl8e4)<*c~6JEx?ib(35`O zdhI6;0NHcJGOM@k)OW#P(o1)^2FAV$I%b#T<$a;B#-t+`$ZsYWfVF#ExiZ=k?WRJw z;^E=pFyG?B!bsW9Av79@dGXKK68m+wP{Z4*%mq`n%-)!F#CY=*`v1 zl+4Ub5ZOJF0hxgaerFze5y+kp;2#S%hiikfET1x&!5tTjjBfP%y43jY8$Z3kwS6Q! z{{G6w+*}}mx)%<2b9F86_g!Q%fBg7iA|06!zOIxRXI_)HcG1A)$vv&J=YIfm-eU z^2YP$&y)73itXFyQXjmtf@Q?yH)3`Ib20!vxwbT8U(!Fh5GLN*v026gWUsuVm&%>% zQ;EdDszC{i#lu4tj%6^hLlcc^x9{U_plVersnM(Rc{FcJbMwkUe~?`i78Z(Yx|+-; z-T-E!&*nB;*U0FKq*$R)sF08l;Hv32!rSJ%;_N3*iBBr!a3Us_|iXfzsb-=3!JL#vWHiQ|KVnU5c@jfReE zcRWRt@ZWpom)K{4M*@qKjl=`rz+$V+3x_~jP(;E@foD~Uo6BKV7+h&%j$Tw)xc_9B zO?*b*x=aMHfGyZNl7WGyX3+H8bm*3I9)J!k$-#u}(XE5x3pLD5osfv z%Suc8Ra{U|RODK5h|9>&!X>u7l&~$fGu|(ct#@{Daq-ZtADzqfUf-PTm4HeKWU6>8<=B z+67q~?hLjLxgR>wi+CkIi-5-*X`s?0kf}lwLe~jB%NrB>e{tD#aPZBefd*G6S{KO< z_V!0Q)Ya8x4e%$u3HBwUAcD!=<`Px|<;j=Y8z9KcTyGHBG`F*}b8^Ze{eTK{ZABvK z`-WF-xVRw_BI*bZ=-}-@kv~C4GEj?I(H63XmNdh3fUz z38E~2$}>(}TVD?^-2-Y3G!3}u+S=Oll9K6Q_EW2@CUR(KDBJ+wR9~;BsE8SFjw(Wv zzEz<3d{M~LqDdwi8R#7S<*FVe(8zN#neJ);vSN^}s9HT<+FEBw3nl>OXF92JYbue- ziA3V7S4MYDLGqeym~~PX4buOn@WrqLg4{80E21RSG&LDhR07bVdioFMbeF)*%e_J% z%cpN`u9Kp-^faeqA-Qzh>hQ&HfcrrL2cVz_B@l9QqJDfV1~bB+-E4)r3Lr=d>E`<+ zx1Vqzc>UU>fc7XY?RCI5SAd)>df{vP1MBD=5_||!H5dx~{LiHxB4WgrK)ntKmV{sP z0p$iT)W%&Rt!iM$S^zuXJbQb46%`d=qa7EVon>l$z+6z2eXY^wvqvHI&YwTeMe2C{ zI*bwjay{NcSTK173JL~ZVMQhQspR`Oh_(^)KL+9n8<)hY)igkW4Aa(Ce%L7h{Vr_H z9PEWTT0YW}2h^yln%MFI;w@swOmytM-2M0%s0smlZ#?8Zm6)5_Bk5@fgG})Gj%`_p zS3@B8awE3pVUCcP3?SQ2ajOrW2GJ3e1iZ3iyfLxd={T|>%&~4XFtLp`FwiN1{Y%EW zh%oR2va0%S>S#v@V=QX=?Y_Ae*{asrHtOl71q(0Zc+Crg0TQ4#YCSsQ0y~w=J-i5Y zmp~z7B;?tU%kfiOw?tBf5xXm!Gk{w4L*&I?vJ?);ZAugkgd43ue6n4 z%XEWz|+vMmJ>R5vElkmu9a_%zFZ-cPmDu#DCzgCVzUQG$S6k_7m7D6 zUp#PUOhs;FJi73l_Uvb_Ro>AlKOL!rsoy>9iABIiIPo2FrvUE~g(eLC)qMQ@3pi#9 z4H?7fwL+S%L$-`{+27fatu{{6X5Puj70W!EH`C1RTGkILEY*N8P}+W8PY3JC?EW)E z_4=zxXhIi+0+%R=fqV{5W{h{9AcsOmAY*z!IM5w3>*1Z(`#{}p_I#jriXi_?`@;3_ zY1`<6c=P#RGw{e561O3fwg|=DyUx@e`tzPQycLa7g(LpIS#2r!rlo==HUZ!G{@uG7 zwtd8(^UxU1ec4}JF{C$=7*OfqGN3Qzj~z>Ah_>n~$)=boJeYUk;pUx{7U