Towards biologically plausible regularization mechanisms

(1)

HAL Id: inria-00071614

https://hal.inria.fr/inria-00071614

Submitted on 23 May 2006

HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub-

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,

Towards biologically plausible regularization mechanisms

Thierry Viéville

To cite this version:

Thierry Viéville. Towards biologically plausible regularization mechanisms. RR-4965, INRIA. 2003.

�inria-00071614�

(2)

ISRN INRIA/RR--4965--FR+ENG

a p p o r t

d e r e c h e r c h e

THÈME 3

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

Towards biologically plausible regularization mechanisms

T. Viéville,

N° 4965

Octobre 2003

(3)

(4)

'

(*)&

'

+-,./1032 /5414568739

:!;=<>@?AB CEDGFH?IHJLKFHMON3DP;=NL>Q>@?SRE>QJLKT;=MOD=?LU

MO>QJLV3?WUYX=N3DZD=[?WU\KN3DZDYJLMOW]WHJ^D=K?W

_`IaN^bc?FedfXZg8W]Wa??

hiJLj=jkN3IcF(X=?"I]?KT;Z?I]KT;Z?lDYmonGp3qGrPB dfKF]N3s=Ia?t^u3u3AB A3pvjYJLV3?W

wyxoz{}|~=L{G

:!;ZMWWaFHZXZgJLM>@WJ^FjZI]N3jkN3W]MOD=VJLDMO>@j=?>@?DGFTJ^F]MNLDNLfIa?V3=JLIaMJR

FHMON3D@>Q?KT;YJLD=MOW]>@WKN3>@jYJFHMOs=?!(MFH;@s=MON3ON3V3MOK}JL=NLj?IHJ^F]N3I]W*-N3Ia?!j=I]?KMOW]?OgLUZKNLIaFHMOK}J^

>J^j=W(KN8X=?%3?KFHN3IaMJ^jYJLIHJ^>Q?FHIaMK"YJLDGFHMFHMO?WUKN3>@j=ZF]?XsgDZ?FEN3I]NLD=?=I]N3DZW

dfD=?NLYFH;=?W]?!>@?F];=N8X=WMOWsYJLWa?XvN3D@JLDMDGFH?V3IHJ^=JLj=jZI]N}M>QJ^F]MN3DvN^YFH;=?XZMO=W]MON3D

N3j?IHJ^F]N3I"=W]?X MODI]?V3=JLI]MO}JFHMON3D >@?KT;YJ^D=MWa>@W-¡\NLON¢(MD=VFH;=MOW£NLI]>ZJ^F]MNLD¤U F];=?

j=I]?W]?DGFX=?L?ON3j=>@?DGFX=?¥YD=?WyJLDN3jFHMO>J^iMO>@j=O?>@?DGFTJFHMON3DNLfWa=KT;¦JLD§MDGF]?V3I]JL

N3j?IHJ^F]N3I(MFH;vF];=?!MDGF]?I]?WaF]MD=Vj=IaN3j?IaFEgFH;YJ^FU3(;=?D@=Wa?XJLW*Jf>@N8X=?=N^sZMN3ON3V3MOK}J^

j=J^=W]MOs=O?f>@?KT;YJLDZMWa>QWU\MOFKN3IaI]?WajNLD=X=WF]NvJW]MO>@j=O?%N8K}JLY£??X=sYJ^KTX=?¥YD=?XN¢3?I!J

W]>QJLOsN3ZD=X=?XI]?V3MON3D-N^F];=?"jYJLIHJ^>Q?FHIaMK"W]j=JLK?^

:!;ZMWf£N3Ia>QJLMOW]>¨JLOW]NJLOON©(WfF]NyX=?3?ON3jªFH;=?K}JLWa?«NLW]?3?I]JLKN3IaF]MKJLo>QJLj=W%MOD

MDGFH?IHJLKFHMON3D¤¬?j=IaN3jkN3W]?W]MO>@j=O?-s=MON3ON3V3MOK}JLOgMD=Waj=MOI]?XKN3DZX=MOF]MNLD=WQF]NªV3YJLI]JLDGFEg

FH;=?"WaFHJLs=MOMFEgNLW]=KT;-MDGF]?IHJ^KFHMON3D=W

®

WfW]ZKT;¯MOF%>QJ}g-s?MOD=L?X¯FHN(;YJFfMOWfj=I]N8K?W]Wa?XªMD°JKN3IcFHMOK}JLKN3O=>@D¯NLF];=?

s=IHJLMODJLD=Xj=IaN¢MOX=?WJ«sZMN3ON3V3MOK}J^¤j=JL=W]MOs=O?">QN8X=?±NLKN3IcFHMOK}JL>QJLj=W!KNL>QjZZFTJ^F]MNLD¤²

;=?Ia?"£??X=s=JLKTWesk?FE??D-I]?J^F]?XKN3IcFHMOK}JL>QJLjZWJ^I]?"X=MOW]KZW]W]?X¤

³-´Gµ±¶a·«¸ |¹zL hi?V3=JLI]MO}J^F]MNLDº>@?FH;=N8X=WU»N3IcFHMOK}JL£??XZsYJLKT¯>@?KT;YJ^D=MWa>@WU*»NLR

j=MOD=VQs?FE??D-KN3IcFHMOK}JL>QJLj=W

¼o½¾5¾1¿8ÀÂÁÁHÃÃÃ*ÄÅÇÆ©ÈÉÅËÊ©ÄÌÈEÁSÍ¤½©ÅÇÎaÈ1ÈÉÏÄÐ ÅÑÎcÒ}ÅÑÓÇÓÑÎ

(5)

' '

Q

'

(&@$ -(

z »?F]F]?«[F]=X=?j=I]N3jkN3Wa?=D=?M>@j=O[>@?DFHJ^FHMON3D¯X=?>@[K}J^D=MWa>@?W%X=?I][VLR

JLIaMW]J^FHMON3D KN3>@jYJ^F]Ms=O?W«J¢L?KO?W«NLj[IHJ^F]?=IaW«s=MON3NLV3M=?W¯_*O=W«j=Ia[KMWa[>@?DGF}UO?W

K}JLIcFH?WKN3IcFHMOK}JLO?WeKN8X=?WfXZ?WfYJLDGF]MOF][WeL?KF]N3I]MO?OO?WUKJLOK=O[?W%jYJLIeXZ?WfIa[W]?JLPX=?

D=?=IaN3D=?W*DP8MWaMNLDPjYJLIiN3IaX=MD=J^FH?=IUkX=?WiYJLDGFHMFH[WfW]MO>@MJLMOI]?WeW]NLDFK}J^K=[?Wf?R

¥YK}JLK?>@?DGF!?DyZF]MOMW]JLDGF!=D=?M>@j=O[>@?DFHJ^FHMON3DX[YJFHMON3D=W!JL8XZ[I]M3[?W!jYJ^IaFHMO?OO?W

8ZM XZ[¥YD=MOW]Wa?DGFfXZ?WejZI]N8K?WaW]=WX=?"I][V3=JLI]MOWHJ^F]MNLD¤U\j?I]>@?FaFTJLDGFXÇNLsZFH?D=MIi=D=??WcFHMR

>JFHMON3Ds=M?DPX=[¥YD=MO?WiX=?"K?WYJLDGF]MOF][W

iD=?!X=?!K?W`>@[FH;ZNX=?W*?WcF`sYJLW][?(W]=I*ÑJ^j=j=I]N}MO>JFHMON3D@MDGFH[V3IHJ^?!X=?W*N3jk[IHJFH?ZI]W

X=?XZMO=W]MON3D FHMOMOW][W«XYJLD=W?W>@[KJLD=MOW]>@?WvXZ?Ia[V3=JLIaMW]J^FHMON3D¤*D W]ZMO^JLDGF«K?FaFH?

£N3I]>=JFHMON3D¤U±F];=?vj=I][W]?DFX=[3?N3jZj?>Q?DGF«X=[¥YD=MF"=D=?vMO>QjZ[>Q?DGFTJ^F]MN3DºN3j=IaM>QJLO?

X=?ªK?WN3jk[I]J^FH?=I]WMODF][V3I]JL J}L?KºJj=I]NLj=I]MO[F][ºMODGFH[I]?WaWHJLDGF]?=?LU%ON3IaWX=?ªW]N3D

ZFHMOMOWHJFHMON3D?DFHJLDGF=?>@NXZ<O?-s=MON3ON3V3MO=?>@?DGFj=J^=W]MOs=O?LUMO(KN3IaI]?WajNLD=X J¯=D

W]MO>QjZ?>@[K}J^D=MWa>@?X=?`I][FHIaNGJLKF]MNLDWa=I=DIa[V3MON3DsNLI]D=[?JLFHN3=IXZjkN3MODF(?WcFHMO>QI

»?«£NLI]>QJLOMWa>Q?vjk?Ia>@?FJL=WaW]MXZ?vKN3D=WaMXZ[I]?I"?vKJLWfX=?vj=O=WaM?=I]W"K}J^IaFH?W%KN3IcFHMR

K}JLO?W@?D§MODF]?I]JLKF]MN3D±N3=W@j=IaN3jkN3W]N3DZWUW]=I@Jªs=JLW]?X=?WaM>@j=O?WQKN3DZW]MOX=[I]J^FHMON3D=W

s=MNLN3VLM=?WU\X=?W(KN3D=X=MFHMON3D=Wi=MVGJLI]JLDGFHMOW]W]?DGFeJvWaFTJ^s=MOMFH[X=?%FH?OO?W(MDGF]?IHJ^KFHMON3D=W

»?i>@[KJLD=MOW]>@?jk?FaRFHIa?iIa?OM[JL@K}J^K=\??KF]=[JLWa?MODXÇ=DZ?KN3NLD=D=?(KN3IcFHMR

K}JLO?(X=K?Ic3?}J^y?FMOD=X==MFZD>@N8X=<O?(s=MNLN3VLM=?>Q?DGFj=JL=WaMs=O?iX=KJLOK=kJLQW]?MD

X=?W%KJLIaF]?W"KN3IcFHMOKO?W²fMKMO?W">@[K}J^D=MWa>@?WX=?vI][FHI]N3JLKF]MN3D¯?DGFHI]?@X=M[I]?DGFH?W"KJLIaF]?W

KN3IcFHMOK}JLO?W(W]NLDFiX=MOW]KZFH[W

¸ {©z ¶ z -[FH;=N8X=?WeX=?I][V3=JLI]MOWHJ^F]MNLD¤U-[KJLD=MOW]>@?W%KN3IaF]MKJLX=?I][V3=JLI]MR

WHJ^F]MN3D±Uk»N3=j=JLV3?"?DGF]I]?"K}JLIcFH?WiKN3IaF]MKJLO?W

(6)

4 5 &@$ Q $ &

6 ¸ |¢{8753~ ~:9z

_?IaK?jZFHYJ^Zj=IaNK?W]Wa?WU8MOD«KN3>@j=ZFH?IN3I s=MON3NLV3MKJLMOW]MON3D¤ULI]?=MOI]?FH;=?KN3>@j=ZFHJ^FHMON3D

NL<;E>J^j=W>=NL=8=JLDGFHMFTJ^F]MOL?^JLZ?Wo:!;=?Ia?FHMODYJLMO>QJLV3?MOF]W]?\MOWJ?;EI]?FHMOD=NLFHNLj=MK>QJLj&=H²

£N3I?}JLKT;«K?ON^=FH;=?I]?FHMODYJNLI?JLKT;«j=M?8NL=FH;Z?MO>QJLV3?LUFH;=?I]?MWJi^JLO=?KN3I]Ia?WajN3DZXR

MD=VyF]NFH;Z?vM>QJLV3?MDGFH?D=W]MFEgªJ^FFH;=MOW%ONKJ^FHMON3D¤%:!;=MOW%MOW"J3?KFHNLI]MJLo^JLO=?«£N3IeKN3ON3I

M>QJLV3?W ® WaF]?jy£=IcFH;=?IU8MDy?JLI]gGR 8MOW]MON3D¤UF];=?eIa?F]MDYJ^MO>QJLV3?eKN3DGFHI]JLWaFMWKN3>@j=ZF]?X

J^F`?}JLKT;N8K}JFHMON3D¤U8JLON¢(MOD=VF]N"X=?F]?KFMO>J^V3?(?X=V3?WIa?J^FH?XF]NskN3=DZXYJLI]MO?Wsk?FE??D

M>QJLV3?JLIa?}JLWA@=KT;°>QJLjZW?D=KN8X=?DZNLFeNLD=OgF];=?KN3DGFHI]JLWaF>QJLV3D=MFHZX=?LUks=ZFW]?3?I]JL

NLFH;=?IfKZ?W²eKN3DGFHI]JLWaFfN3I]MO?DGFTJFHMON3D¯I]?J^F]?X¯FHN?X=V3?«NLI]MO?DGFTJ^F]MNLD¤U¤W];=JLj?vK=Ia^J^F]=I]?^U

s=MDZNK=J^IiXZMWajYJLI]MFEgI]?J^F]?XFHN@FH;=?%8MWaYJL X=?jFH;¤U\KNLN3I(K=?WUkF]?>@jNLIHJLX=MOW]j=JLI]MFEg

s?FE??DFENvKN3D=Wa?KFHM3?"M>QJLVL?WMODI]?J^F]MNLD(MOF];y8MWaYJL¤>@NLF]MN3DX=?F]?KF]MNLD¤U=?F]KLO

:!;=?Ia?JLIa?Wa=KT; X=?FH?KFHNLI]WMDsNLF];J^IaFHM¥YKMJL8MOW]YJ^WcgWcFH?>QWCB5W]???^ÇVZ-DFE¢qHG*£N3IJ

V3?D=?IHJL*MODGFHIaNX=ZKFHMON3DJI%JLDZXºMODªFH;=?@s=I]JLMDªD=?=I]NLDYJL*WaF]I]=KFH=Ia?WMDGLN3OL?X MODªMOW]MON3D

j?I]K?jZFHMON3DKB5Wa???LV=ADÇALAHG£N3I(JvKJLW]WaMKJLN¢3?Ic8M?LI?@8=KT;->QJLjZWeJLIa?%D=NLF(N3DZOgj=JR

IHJL>@?F]?IaM?X¯sGgPIa?F]MD=N^FHN3j=MOK«ONKJ^FHMON3D=WUsZZF"JLOW]NAM N8K}JFHMON3D=WUN3IijYJLIHJ^>Q?FH?I]MO?X

sgyNLFH;=?I(jYJLIHJ^>Q?FH?I]W(W]=KT;PJLW(N3I]MO?DGFHJ^FHMON3D¤UYIa?FHMODYJL¤L?ONKMOFEgLU\?FHK^

NNLFH;QWag8WaF]?>@W;YJ}L?FHNW]NLOL?FH;Z?W]JL>@?jk?IaK?jFHYJLYFHJLW]WJ^D=XL?Iag@OMOL?g>J^L?

FH;=?%W]JL>@?%8MOD=XNL ;GgjkNLF];=?Wa?WJLsNLZFFH;Z?%N3s=W]?IaL?XW]=IaI]N3=DZX=MDZV3W²`FH;=?gyWa;YJLI]?fF];=?

WHJL>@?y>@N8X=?OWªC FvMOWFH;=W«J°I]?O?^JLDGFvKT;=JLO?DZV3?yFHN¯?JLskN3I]J^FH?KN3>@>@N3D FH;Z?N3IaMKJL

FHN8N3W%MODºsNLF];º¥=?OX=WU KN3DZW]MOX=?IaMD=V-D=?ZI]N^R W]KMO?DZK?>@N8X=?OWJLD=XJLIaF]MO¥=KMJL8MWaMN3DJLR

V3N3I]MFH;Z>QW

O3P ´RQ ~=|¢{87£~ TSU7V ´ | ´&W {875~ XZY ~Z{)7 ¸W\[]Q SCX_^"~:9`9 | ¸ ~Y P

CED¯KN3>@j=ZF]?If8MOW]MON3D¤UJyIa?O?^JLDGF"JLD=X¯? aQKMO?DGF"FH;=?N3Iag-MWeD=N¢J}^JLMOJLsZ?«Ia?VGJ^I]X=MOD=V

FH;=?XZ?¥YD=MFHMON3DQJLD=XvKN3>@j=ZFHJ^FHMON3DvNL\Wa=KT;>QJLjZWNL\YJLDGFHMFTJFHM3?!^JLZ?WbB5Wa??!?^ÇV=cDEdG

£N3I*J%X=MOXYJLKF]MKiMODF]I]N8X==KFHMON3DQJLsNLZF*FH;=?c; JMN3>QJ^F]MJ^FHMON3D&=NLkFH;=MOW`jYJLIcF`NL±KN3>@j=ZF]?I

MOW]MON3DJIS*:!;=MOW£N3I]>QJLOMWa> D=NLFNLD=OgQj=IaN¢MOX=?W(JKO?}JLIsYJLWaMKfN^e;E(;YJ^FMOWFHN«sk?eXZN3D=? =

B5M5Ç?^ I]?=MOI]?>@?DGFHWMDN3IaX=?IvFHN¯;=J¢L?-KN3;=?I]?DGFJLD=XKNLD=W]MOWaF]?DGFXZ?¥YD=MFHMON3D=W$I@sZZF

JLWaN°NLc;E;=N¢ FHNPXZN°MOF>=W]MOD=K?yF];=?F];=?N3IcgMOW?±?KF]MOL?MODF];=?Wa?D=Wa?yFH;YJ^F?daQKMO?DGF

M>@j=O?>@?DGFHJ^FHMON3D=W>QJ¢g s?ªX=?I]M3?XfB5Wa??ª?LV=gDAHGf£N3IJ Ia?K?DGF-F]I]?}JFHMOW]?ªN3DFH;=MOW

W]=sbc?KF/I:!;Z?h; (;YJ^F%MOWfFHNsk?vX=N3DZ? =?3?*MOWf£N3Ia>J^MO?XºMOD¯FH?I]>@W%NLJyKIaMOF]?I]MON3D

FHN¯>@MDZM>@MO?JLD=X FH;Z?i; ;=N¢lFHN¯X=NªMF=?3?!MOWvI]?JFH?X F]NªF];=?LU`WaNºKJLO?X¤U `Z?IcR

(7)

J^V3IHJLDZV3?-?YJ^FHMON3D=W(;=MKT; JLOON© F]N MO>QjZI]N¢3?¯J^D MDZMOF]MJLiV3=?W]WNLeFH;=?-W]N3OZFHMON3D

JLD=X§V3?FQKON3Wa?IvFHNªFH;=?N3jFHMO>J^!W]N3OZFHMON3D¤

®

FJ°FH?KT;ZD=MKJLi?3?5U!JLW@Ia?8MWaMOF]?X MOD

FH;=MOW(jYJLjk?IUFH;=?W]?"YJLDGFHMFHMO?WJLI]?%? aQKMO?DGFHgKN3>@j=ZF]?X=W]MOD=VQM>@j=O?>@?DFHJ^FHMON3D=WiNL

jYJLIaF]MJ^¤X=M±?I]?DGF]MJL?8=J^FHMON3D=W!(;=MOKT;PX=?¥YD=?I]?V3=JLI]MO}J^F]MNLD-j=IaNK?WaW]?WJLON¢(MOD=V@FHN

N3sZFTJ^MD?REX=?¥YD=?Xv?WaF]M>QJ^F]MNLD=WNL=F];=?Wa?YJLDGF]MOF]M?W*:!;=MOWojkN¢?Ia£=>Q?FH;=N8X=N3ON3VLg

MWJLOW]N"3?Iag@V3?D=?I]JLYMD@FH;Z?iWa?D=Wa?F];YJ^FJ%J^I]V3?!^JLI]MO?FEg«NL¤KN3>@j=ZFTJFHMON3DYJLYj=IaN3s=O?>@W

JLI]?%WaN3O^JLsZ?"(MOF];=MODF];=MW!£I]JL>@?N3I] B£W]??"?^ÇV=bDFE¢AZU E¢tG¤£N3I(J@I]?MO?LIS

®

WaF]?j£ZIaFH;Z?IU_ M K}JLOKZJ^F]MNLD=WIa?V3=JLIaM?FH;Z?MOIMOD=j=ZFUM5?L*j=IaN©8MOX=?fJ"?R

X=?¥YDZ?XJLDZXWcFTJLs=O?P?WaF]M>QJ^F]MN3D?L?D MODF];=?-KJLW]?-NLfDZN3MWcgN3IQjYJLIaF]MJ^g X=?¥YD=?X

XYJ^FTJ:!;YJLDZ8W%F]NF];=MOW%j=I]N3jk?IcFEg3U JLOV3N3IaMOF];=>@W%;YJ}3?@j?Ia£N3Ia>QJLD=K?W"KON3W]?I"F]NyFH;=NLW]?

NLosZMN3ON3V3MOK}J^¤Wag8WaF]?>@WU\FH;=JLDF];=N3Wa?N^o=WaYJLJLIcFHM¥YKMJLD=?=I]NLDYJLD=?FEN3IaW

z7

W´

|

¸W

~

-´

{

·«¸

|

[

^ ¸ ¹ ´

5z

CED s=MON3ON3V3MOK}JLf8MOW]MON3D >@NXZ?OMD=VZUfFH;=?W]MFHYJ^F]MNLD MOW-X=NL>QMODYJ^F]?X sg¦F];=?MOX=?J§FH;=J^F

; KNLIaFHMOK}J^>QJLj=WKN8X=?L?KF]N3I]MJLjYJLIHJ^>Q?FHIaMK8=JLDGFHMFHMO?W"JLIa?KNL>QjZZFH?X¯sg-D=?FEN3Ia

NLD=?=I]NLD=W>=-B5?^ÇVZ DÇtLA8G£NLIJI]?K?DGF«Ia?8MO?LIR@=KT;>QN8X=?WJLON¢ FHNPJLDYJLg8?MOD

X=?FHJLMOWFH;Z?isZMN3ON3V3MOK}J^ZW]Zs=WaF]IHJ^F]?iN^±Wa=KT;KN3>@j=ZFHJ^FHMON3D=WLB5?^ÇVZ DFE}nGIUGMODQN^FH;=?IN3IaX=W

FHN°I]JLMWa??daQKMO?DGFQ;Gg8jNLF];=?Wa?WQJLskN3ZF_;E;=N¢lMOFvMOW«X=NLD=? =HK@8=KT;>QN8X=?W@JLIa?y?MFH;Z?I

sYJLW]?XN3D§W]NL>Q?C;cJLX8RE;=N8K =y>Q?KT;YJLD=MOW]>@WUi>@N3Ia?j=I]?KMOW]?gW]jk?KM¥YK-X=?WaKI]MOjZF]MN3DZWNL

D=?=IaN3DYJL\KN3D=D=?KFHMON3D=W(;=MOKT;JLI]? ; jZJLZW]MOs=?'=iI]?VGJLI]XZMD=VN3D=?iN3IJLD=NLF];=?IN3jk?I]J^FHMON3D

B5?LV= DÇALAHG£N3I?X=V3?JLDZX X=MWajYJLIaMOFEg KJLOK=J^FHMON3D=W$IN3Iv>@N3I]?yJLs=WaF]IHJLKF@>@?KT;YJLDZMWa>QW

B5?LV= DnGuU`rG(;=?Ia?-J¯KN3>@j=ZFTJFHMON3DYJLXZ?W]KI]MOjZFHMON3D§NL?}JLIaOgGR 8MOW]MON3DJLD=X>@NLFHMON3D

KN3>@j=ZFHJ^FHMON3D=WMOD F]?I]>@WNLJLXYJLjZF]MOL?OMOD=?}JLI¥YFH?I]MOD=VMOWj=I]NLjN3Wa?XJIS NMN3ON3V3MOK}J^

>QN8X=?W(;=MOKT; £N3Ia>QJLMO?¯F];=?R;E(;YJ^FMOWFHNs?ªX=NLD=? =¯JLW]jk?KF B£?LV DFEHGIyJLIa?ºDZNLF

X=MIa?KFHgyOMD=^?XFHNvFH;Z?fj=I]?8MN3ZWiNLD=?W ® OF];=N3=VL;yFH;=?W]?JLj=j=IaNGJLKT;=?WiJLIa?}JLXgyJLOON©

JªXZ??j§=D=XZ?I]WcFTJLDZX=MDZVNLi(;YJ^FQMOWvj=I]N8K?W]Wa?XMOD§M>@jkN3IaFHJLDGFQJLI]?JLWvNLiFH;=?s=I]JLMD±U

MD=KZX=MDZVPKNL>QjZZFH?IW]MO>ZJ^F]MNLD=W DÇt^nG1UF];=?Ia?MOWD=N-K?JLIMOD=¯(MOF];F];=?KN3>@j=ZF]?I

MOW]MON3D-JLOV3N3I]MFH;Z>QW(>@?DGF]MN3DZ?XPsk?£NLI]?L

71¹`7W ~ %7W x ´ { ·«´´<W Q SCXl~ W ¹

@=KT;@JfOMD=\ULN3=OX@MDZX=??XQ;=J¢L?W]?3?IHJLYJ^XZ^JLDGFTJLV3?WUGj=IaN¢MOX=MOD=V"Je>@?F];=N8X=N3ON3VLgFHN

I]?J^F]?iF];=??; (;YJ^FMOWF]Nsk?XZN3D=? =(JLD=XF];=? ; ;=N¢F]NX=NMF=(O?L?OW!JLD=XJLOW]NjZI]N¢8MX=MOD=V

JL?IcgVL?D=?IHJL*KN3>@j=ZFTJFHMON3DYJL£I]JL>@?N3I]°£N3I"Wa=KT;KJLK=J^FHMON3D=W¡Y=IcFH;=?I]>@N3I]?^U

(8)

FH;=MOW%MOD=P(MOO*j=I]N¢8MXZ?Ji;EKN3>@>@N3D¯£IHJL>@?N3Ia=@s?FE??DKN3>@j=ZFHJ^FHMON3DYJ^*JLD=Xªs=MR

N3NLV3MKJL!8MWaMN3DMD NLI]X=?IFHNX=?L?ON3jKNL>Q>@N3D>QN8X=?WJLD=X s=MON3ON3V3MOK}JL(j=JL=WaMsZ?

JLVLN3I]MFH;=>@WiN¢?3?IUs==MOOX=MDZV-Wa=KT; JMOD=¯MOW"D=NLFM>@>@?XZMJ^F]?sk?KJL=Wa?QF];=?Ia?QMOW

g3?FfD=NK?JLIf=D=XZ?I]WcFTJLDZX=MDZVNL*;=N¢ W]ZKT;ºKN3>@j=O?PX=MO?Ia?DGFHMJLD=N3DR MOD=?}J^Ie>@?F];R

NX=WKN3ZXKN3I]Ia?W]jkN3D=XF]N«D=?ZI]N3DYJ^±>@?KT;YJ^D=MWa>@WJ^OF];=N3=V3;FH;=?f=?WaF]MN3D;YJ^Ws??D

JLIa?}JLXgIHJLMOW]?XKDFE©rUZnGqZUYA3qGÉ

K9 ´ ´&W {87 W Q S X ~Yz

CEDN3IaX=?I@FHNºs==MOOX§F];=MWQOMD=\U?>=WcFy;YJ}3?-Jª>Q?FH;=N8X(;ZMKT;JLON¢(WQF]NMO>@j=O?R

>Q?DGFF];=?(KN3>@j=ZF]?I`8MWaMN3DQjYJLIcFHMJLYX=M±?I]?DF]MJ^k?YJ^FHMON3D=WUZW]MOD=VDZ?FEN3I]WN^¤D=?R

I]N3DYJ^=DZMOF]W

®

W«MF«(MO>QJLX=?y?SZjZMOKMFQMD F];=?yW]?=?5U*FH;=?X=MFaQK=FvjkN3MODF«MWF];=?

JLD=MOW]NLF]I]N3j=MOKX=MO=WaMN3DPN3j?IHJ^F]N3I]WiMO>QjZ?>Q?DGFTJ^F]MN3D±f»N3DZKI]?FH?OgLU±W]ZKT;°>@?KT;YJLDZMWa>QW

>=WcFMODGFH?V3IHJ^F]?!FH;=?!MODZ£N3Ia>JFHMON3D@MDJ%sN3ZD=X=?XQD=?MV3;skN3I];ZNN8X@W]N%FH;YJF*FH;=?(KN8N3jk?I R

J^FHMON3DQs?FE??DyFH;Z?W]?e=D=MFHWJLON¢ JVLN3s=JL\KN3>@j=ZFHJ^FHMON3DNL¤FH;Z?YJLDGF]MOFHJ^FHM3?f>QJLj±

¡\ZIaFH;Z?I]>@N3Ia?LUYFHNQsk?sZMN3ON3V3MOK}J^gj=JL=W]MOs=O?LUkW]=KT;P>Q?KT;YJLD=MOW]>@Wf>=WaFsk?sYJ^W]?X-N3D

W]MO>QjZ?N8K}JLOMDZ?}JLI(£??X=sYJLKT DEn=UtLAG1!CEDPNLF];=?I(N3I]X=WU?>=WaFej=I]N¢8MXZ?«J ;EjYJLI R

FHMOKO?vM>@j=O?>@?DGFHJ^FHMON3D&=@N^Wa=KT;D=>@?I]MOK}JL*KN3>@j=ZFTJFHMON3D=Wh@=KT;J>Q?FH;=N8X¤U=Wa?X

MDYZMXªXZg8DYJL>@MOKW%KN3>@j=ZFTJFHMON3Dª;YJLWfsk??DºMODGFHIaNX=ZK?XªsGg ?N3DYJLIaX DÇA8Go£N3ON¢?X

sghJ}8MJFiJLD=XPPJLWcRJ^OMK DÇrLu8G JLD=XX=?L?ON3jk?XPsGgUMe?V3N3D=XJLDZX°PJ^WcR "JLOMOK DFEEG1

C FeMOWs=JLW]?X°N3D°J^DPMODF]?V3I]JL JLj=j=IaN}ZMO>QJ^FHMON3D°N^FH;=?X=M±ZW]MON3D°N3jk?I]J^FHN3I(=Wa?X°MOD-F];=?

I]?VL=J^I]MO}J^F]MN3D>@?KT;=JLD=MOW]>

:!;Z?V3NGJ^*NLF];=MWjYJLjk?IMOWU£N3ON¢(MDZV-FH;ZMW"FHI]JLKT\UFHN-X=?WaKIaMsk?;=N¢ KN3>@j=ZF]?I

MOW]MON3DjYJLIaF]MJ^GX=MO?Ia?DGFHMJL?YJFHMON3D=WoKJLDs?M>@j=O?>@?DF]?X«ZW]MOD=Ves=MON3ON3V3MOK}JLOg"j=J^R

W]MOs=?"D=?FENLI]WeNLD=?=I]N3D=JL=D=MFHW

P ~Z{i75zv{ P ´ 9~:9 ´ |y~Zx ¸ {

CEDFH;Z?D=?S8FWa?KF]MNLD¤U?Ia?8MOW]MFFH;Z?KN3>@j=ZFH?I8MOW]MON3DjYJ^IaFHMJLYX=M?I]?DGFHMJL?YJ^FHMON3D

>Q?FH;=N8X=N3ON3VLgMODPFH;Z?«K}JLWa?«NLL?KFHN3IaMJL>QJLj=W%JLDZX°I]?SREX=?I]M3?@JLD-M>@j=IaN©L?X¯3?I]WaMN3D

NLYFH;=?AM?V3N3DZX@JLD=XQPJLW R "JLOMOK>@?F];=NX±UGKN3D=WaMXZ?I]MOD=VJLDvN3jFHMO>J^ZMO>QjZ?>Q?DGFTJ^F]MN3D

NLW]=KT;JLD¯MODF]?V3I]JLN3jk?I]J^FHNLIe(MOF];¯FH;=?vMODGFH?Ia?WcFHMOD=VPj=IaN3jk?IaFEg-FH;YJFf(;=?Dº=Wa?XJLW

"!$#

ÅÇÆ% Î*¾É½©Å'& ¿ÊS¿LÎcÈ¿©ÈÉÎ(&1ÎcÆ¾)&+*!ÊS¾1ÎcÈÉÅËÊSÓGÌÈ),-*/.,¾1½0% ,-*¿21¢¾ÉÎcÈ3&)% ÅÑÎcÆ% Î`ÊSÆ4

ÓÑÅÇÌÎ5&)% ÅÑÎcÆ% Î-68ÃÎ½ÊHÒÎÅÑÆ¾1È),7421% Î48&1ÎcÒÎcÈ ÊSÓÌ9,",¾1Æ2,¾1Î&È1ÎaÒÅÑÎcÃÅÑÆ2:;.Ê-&1Å<%`ÌOÊ=%E¾)&>,Æ8.,S¾É½?&1Å'@cÎ(&(6¿©È),BA

Ò}Å<4¢ÅÑÆ2:¾1½©Î*ÈÉÎaÊ=4¢ÎcÈ¤ÃÅÇ¾1½%Ê5&5ÎaÓÌCAD%,Æ¾ÉÎcÆ¾E4,%12*ÎaÆ¾]Ä

(9)

J->@NXZ?N^!s=MON3NLV3MKJLj=J^=W]MOs=O?y>@?KT;YJLDZMWa>QWUMFKN3IaI]?WajNLD=X=W«FHNPJPW]MO>@j=O?yN8K}J^

£??XZsYJLKTX=?¥YD=?X-N¢3?IJvW]>QJLOsNL=D=X=?X-Ia?V3MON3DMD=WaMXZ?F];=?"jYJLIHJ^>Q?FHIaMK"W]j=JLK?^

:!;ZMWf£N3Ia>QJLMOW]>¨JLOW]NJLOON©(WfF]NyX=?3?ON3jªFH;=?K}JLWa?«NLW]?3?I]JLKN3IaF]MKJLo>QJLj=W%MOD

MDGFH?IHJLKFHMON3D¤«¬?@j=I]N3jkN3Wa?JWaM>@j=O?KN3D=X=MFHMON3D¯FHNV3=JLIHJLDGFEg°F];=?@WaFHJLs=MOMFEgªNLW]=KT;

MDGFH?IHJLKFHMOD=VQJ}g3?I]W

¬?e¥YD=JLg(MOO±MOO=WaF]IHJ^F]?fFH;=MOW£IHJ^>Q?NLI]QKN3D=WaMXZ?I]MOD=VQW]N3>@?f?SZJL>@j=?W(NLKN3I R

FHMOK}JL¤>QJLjZWKN3>@j=ZFTJFHMON3D=WUYXZMWaK=WaW]MOD=VFH;Z?IaN3O?N^£??X=sYJ^KT8W

CEDjYJLIaF]MK=JLIU?-L?I]M g§FH;YJ^F=D=X=?Is=MON3ON3V3MOK}JLiJLWaW]=>@jZF]MNLD=WUiKN3IcFHMOK}JLi>QJLj

MDGFH?IHJLKFHMON3D=WiMDN3ZI(£I]JL>@?N3I]MWiJv?REX=?¥YD=?X°JLD=XKNLDL?IaV3?DGFfjZI]N8K?WaW

-¸ {¢~Z{87 ¸W z ¬?°(I]MFH? "/ * $JLD=X , *%'/"/MODsN3OX¦?F]F]?I]WUe>QJ^F]I]MOK?Wsk?MOD=V

(I]MF]FH?D¯(MOF];KJLj=MFTJLO?FaFH?I]W"JLD=XªWaK}JLJLI]W"MODªMOFHJLMOKL:!;=?@X=YJLoNLJyYJ^DF]MOFEgMOW

I]?jZI]?Wa?DGFH?XJ^WMOF]WFHI]JLD=W]jkN3Wa?ULFH;Z?!X=NLFaR j=I]N8X==KFsk?FE??DQL?KF]N3I]W`sk?MOD=Vf(I]MF]F]?D

«¬?@I]?j=I]?W]?DFFH;=?@KN3>@jN3DZ?DGFHWNLJL?KFHN3I=W]MOD=VW]=jk?IaW]KI]MOjZFHWU?LV=O²

@8M>@MOJLIaOg?f(IaMOF]? * " +1)$MDskN3XO?FaFH?IaW(MOF];-KN¢LJ^I]MJLDGFiJLD=XKNLDF]IHJ}^JLI]MJLDGF

MD=XZ??W`(I]MF]F]?DJLW*MDZX=MK?WJLD=X@?jkN3D=?DFUIa?Waj?KFHM3?OgL¡YN3IoMD=WcFTJLDZK?LUFH;Z?£N3ON¢R

MD=V$+e"/" fWag8>sN3! "# M%$&('FH;=?D*)"?Wa?,+ZU ;YJLWKN¢^JLIaMJLDGFMDZX=?*$JLD=X

KN3DGFHI]J}LJ^I]MJLDGFMOD=X=?S-'YCED@FH;=MOW`KN3DGFH?S8F}U8J-.(/,0>QJ^F]I]M21 "

$%()435360

'7()8393:.MOW

J ER KN¢^JLI]MJLDGF<; EREKN3DGFHI]J¢^JLIaMJ^DFiFH?D=W]NLI ® FH;=N3ZV3;¤U\FH;=?Z; *MDZWaFH?MD<=DZNLFTJ^F]MNLD°JLR

N¢(W`M>@j=OMOKMFWa=>@>JFHMON3D=WNLF]?D=WaN3I`MDZX=??WUMFJLj=jk?}JLIaW`KO?}JLIa?IU;=?I]?^UF]N"?j=OMKMOF

FH;=?W]?W]=>@>QJ^FHMON3D=W

¡YN3IL?KFHN3I(NLMDGF]?V3?IMOD=X=MOK?W>=

=

@???

=BA DCFE

A

?"(I]MFH?^²

G= G

H=

IJ???KI

=BAvJLD=X=MLNH=

L

???

=BAOL

W]N@FH;YJ^F!?"K}JLD(I]MFH?"KN3D=KMOW]?Ogk²

BP, PRQ

???

PS

A

JLDZXUTP

VXW

YZ[Z]\

Y^

[ Q

Q#_`_`_

Y^

[ S

S

(;=MO?%FH;=?":J}gON3Ii?jYJLDZW]MON3D-N^*J«£=D=KFHMON3Dbadc8e Agf

e¨sk?KNL>Q?W²

a ha

Iikjl

P lm Y [Kn

P8o

dpq

P Ir

j a

(;=?Ia?F];=?%I]?>J^MD=XZ?I

r<s

a>QJ}gsk?f(I]MF]FH?DP=WaMDZVJLDMODGFH?VLIHJL¤£N3Ia>ut¢

vxw

ÎaÈ1ÎÀzy|{}~

i {O

{

!5>,

z,

{

}

5

@

M9>g

Ì¾1½©Î & 1©¿©¿,È1¾oÅ<&oÅÇÆ% Ó'14¢Î(4ÅÑÆÊ.ÊSÓÑÓ ,SÌ±ÈÉÊ=4¢Å1&%6G¾É½©ÎÈÉÎ *!ÊÅÇÆ4©ÎcÈÅ'& .,-1©Æ4¢Î(48.}Ïf¾1½©Î &5¾ÉÊSÆ4©ÊSÈ 4

% ,Æ4©Å¾ÉÅ,ÆÀ y|{

¡¢¤£F¥

{¦

{§

¢

(10)

& &"$ º& ¯!o%$

?F=Ws=I]MO?==gI]?8MWaMOFF];=?eKN3>@j=ZF]?I8MOW]MON3DjYJLIcFHMJLXZMO?Ia?DGFHMJL±?YJ^FHMON3D>@?F];=N8XR

N3NLVLgºMD FH;Z?yK}JLWa?NL *=KOMOX=?}JLD L?KF]N3I]MJL>QJLjZWUB5;=N¢lMOF«K}JLD sk?yV3?D=?I]JLMO?X FHN

D=N3DR`ZKOMX=?JLD KNLIaFHMOK}J^>QJLj=W@KN3>@j=ZFHJ^FHMON3D=W@J^D=X ;=N¢JPV3?D=?I]JLKJLWaW«NL(D=NLDR

MOD=?}J^I«X=M±=WaMNLD§NLj?IHJ^F]N3I]WvJ^I]?yMO>@j=?>@?DGFH?X(MFH;=MOD FH;=?j=Ia?Wa?DGF@£IHJL>@?N3Ia8WvMOW

X=MWaK=WaW]?X?OW]?(;=?Ia?DÇq3qGISo:!;=?!V3N3JLZNLYF];=MOW*W]?KFHMON3D@MWF]N%MDGF]I]N8X==K?F];=MOW*JLj=j=IaNGJLKT;

JLD=XjNLMDGFiN3ZF!(;=?I]?MW!F];=?"L?gjZI]N3s=O?> MODFH?I]>@WN^os=MON3ON3V3MOK}JL±j=J^=W]MOs=MOMFEg3

i?Ia?LU8JLW`I]?8ZMIa?XMODQW]N3>@?(W]MFHYJFHMON3D=WLB5?^ÇV= DE3U2E¢t8U8tLp8GISU?(KN3DZW]MOX=?I`£=D=KFHMON3D=W

(;=MKT;^JLZ?WiJLI]?"D=N^F(W]K}J^JLIaW(s=ZF(3?KFHNLI]W

S ´ W 7W ~ ¸ |¢{8753~ ~:9 W L{87 ¸W É| ¸ ~3|H7 { ´ |7 ¸W ?F"=W"KN3DZW]MOX=?IJ

3?KFHN3IaMJ^>J^j¤²

c4e A f

e

(MOF]; JK; I]?£?Ia?D=K? =ª£=D=KFHMON3D

Ia?J^FH?X FHNJLD MD=jZZFPNLI>@?JLW]=Ia?

UfJLW

W]KT;=?>JFHMO?XPMD-¡oMOV= E3

computation

m ^map

h(m) h

map input map output

transformation optional input

, L

map parameters

¡MV3ZI]? E3²*CED=j=F;^N3FHj=ZFiWaKT;=?>@?N^oIa?V3=JLIaMJ^FHMON3Dj=I]N8K?W]WUYWa??"FH?SF(£N3I!XZ?FTJ^MOW

Ã½ÎcÈÉÎ

¥

Å<&Ê}Î4=1^ÊSÆ¾1ÅÇ¾£Ï(Ã½©ÅÑÓÇÎ

¢ ~ & 1©¿

"!

& 1©¿eÎ(&)&

$#&%('*)

5

+ Ä

, -

ÎaÆ©ÎcÈÊSÓÑÅ@]ÊT¾ÉÅ,ÆÌÈ),-*/.10¾),*Æ2,Æ2AÓÑÅÇÆÎaÊSÈ *!ÊÆ©ÅÌ9,Ó'4&YÅ'&kÊSÓ<& ,o¾ , .LÎ % ,Æ&1Å'4©ÎcÈÉÎ(4$.^Î%cÊB1&5ÎE% ,È1¾1Å<%cÊSÓ

*!Ê¿&ÊÈ1ÎkÅÇÆ¾1ÈÉÅÑÆ&5Å<%cÊÓÇÓÑÏ32 % 1©ÈÉÒÎ(4 &1¿Ê=% Î54\ÃÅÇ¾1½¾1½©ÎÌOÊ-% ¾¾É½ÊT¾=¿ÊSÈ ÊB*Îc¾1ÈÉÅ'%&1¿Ê=% Î(&,SÌ4¢Å'*ÎcÆ&1Å',Æ687:9

;

ÎÄ:ÄZ¾1½Î*ÒÅ<& 1ÊSÓGÊSÈÉÎaÊ=&±Ã½©Å'% ½ %,4¢ÎÈÉÎ ¾ÉÅÇÆÊÓ3Ó,%cÊÓÇÅ'@aÊS¾1Å',Æ6}Î4:Î& ,ÈÉÅÇÎaÆ¾ ÊT¾ÉÅ,Æ6=.ÅÇÆ2,% 1©ÓÑÊÈE4¢Å<&5¿ÊÈ1ÅÇ¾£Ï-6

% ,Ó',ÈÄÇÄYÅÑÆÊ<2£ÅÑÆ¾1ÎcÈÉÓËÊ-% Î4=4Ã±ÊHÏ?>kÊSÈÉÎ ÈÉÎc¿©ÈÉÎ(&1ÎcÆ¾1Î4 ,Æ¾),$%,È5¾ÉÅ'%aÊSÓ*Ê¿&aÄ=Í¤½Å'& * 1&£¾ .^ÎoÈÉÎc¿©ÈÉÎ(&1ÎcÆ¾1Î4

.}Ï%Ê(Æ,ÆA ÓÇÅÑÆ©Î]ÊSÈ3&1¿Ê=% ÎÃÅÇ¾1½Ê(ÒTÊSÈÉÅËÊB.©ÓÑÎ *Î ¾ÉÈ1Å<%B63ÅÄÎÄÊ j ÅÑÎ *!ÊSÆ©ÆÅÑÊÆ0*!ÊSÆ©ÅÇÌ9,Ó<4 ;&1ÎcÎÎÄ:Ä@ldnBAZÌ9,È

ÊÆÎ}¾1ÎcÆ4¢Î(4 4¢Å<& % 1&)&5Å',ÆC> Ä

(11)

CED@N3IaX=?IFHN%X=?¥YD=?FH;ZMW*>QJLj¤U^?!KN3D=W]MOX=?I`F];=?£N3OON©(MOD=V"N3jZF]M>@MO}J^F]MNLDvj=I]N3sZ?>

B1JLW!X=MOW]K=W]Wa?X¯?^ÇV=*MOD DE©t8GIS²

7. $ 0 ¦(MOF]; )

GG p

GG

MOD=j=ZF

I GG

GG

I]?VL=J^I]MO}J^F]MN3D

B]E8I

(;=?Ia?

Y V

Y^

MOWF];=?. /70! 3JLKN3sZMJLD>QJ^FHIaMv(;ZMKT;yKN3I]Ia?WajN3DZX=WF]N"F];=?

LJ^I]MJ^FHMON3DNL FH;=?%£=D=KFHMON3D

U=(;=MOO?L²

GG p GG

i

#"%$

p

'&

!(

#"

$ " p

")&

JLD=X

G9G*

G9G i "

+"

"

-,

"

#"

.

"

CED-N3IaX=WUkFH;=? 2"/ / *%+QNLF];=MOWe>QJLj°NLoLJ^=?WeKN3I]Ia?W]jkN3D=XZWeFHNJLD ;EN3sbc?KSR

FHM3? =%N3I(Jh;EKIaMOF]?I]MON3D&=eFHNQJ^FaFTJLMOD¤*:!;=MOWKI]MFH?I]MON3D-MOW(s==MOOF(£IaN3>FENQF]?Ia>QW²

B5MIFH;=?"MOD=j=ZF(F]?I]>U\I]?JFH?XFHNvF];=?"XYJ^FTJvMOD=j=ZF

B£M1?L*ONNL8MOD=V@£N3I(JvW]N3OZF]MN3D-JLW(KNL>Qj=J^FHMOs=O?J^WijkN3WaW]MOs=?"(MFH;FH;=?"MOD=j=ZF/I(J^D=X

B5MOMIF];=?"I]?VL=J^I]MO}J^F]MN3DF]?I]>UYIa?J^FH?XF]NQF];=?JREj=IaMNLI]M±MODZ£N3Ia>QJ^FHMON3D

B£M1?L*ONNL8MOD=V@£N3I(JvW]N3OZF]MN3D(MFH;j=J^=W]MOs=O?j=IaN3jk?IaF]M?W²`;=?I]?"(;=MKT;^JLI]MJ^FHMON3DMOWi>@MOD=MO>J^ IS

h(?V3JLI]X=MOD=VvFH;Z?"F]?Ia> I]?J^F]?XFHN@FH;=?"MOD=j=ZF²

0 ( cOe

A f e

21C

C4365879#

e A

MOWfJUWaNK}J^O?X¤U ,." &$" ,." +2*T+;: , *!+

,." *%'UZ(;ZMKT;¤UY£N3IF];=?"j=I]?8MN3ZWX=?¥YD=MFHMON3DFHNQs?%KN3;=?Ia?DGF}U\MOW"²

RWag8>@>@?FHIaMKM5Ç?^

( (

¯JLDZX

RjNLW]MFHM3?M1?L*WaNQF];YJ^F=<?>

C e

>z

(

>A@ +Z

:!;=MOWi>@?FHI]MOKJLON¢(W!FHN@I]?j=I]?W]?DGF²

B5MIQFH;Z?R/"/ + : *02"-+&*=:'<+e *!+Y²ºF];=?¯;=MOV3;=?IyF];=MOWj=I]?KMOW]MON3D¦MD J

V3M3?DX=MOI]?KFHMON3D¤U=F];=?";=MOV3;=?I!F];=?%LJ^=?"NL

(

MODF];=MW(X=MOI]?KF]MN3DKB5MOD-J@WcFTJ^F]MWcFHMR

K}JL£IHJL>@?N3IakU

(

KNLI]I]?W]jkN3D=X=W(FHNvF];=?"MDG3?I]Wa?NLoJvKN¢^JLI]MJLD=K?>QJ^F]I]M:I

B5MOMI1'*!!J )" *!+1²¤MOZFH;=?MDZj=ZF £=D=KF]MNLD

MW N3D=g"X=?¥YD=?XMDW]N3>@?

X=MOI]?KFHMON3D=WUYMOF(KN3I]Ia?W]jkN3D=XZW(F]NQJ@>QJ^F]I]M (

X=?¥YD=MFH?N3D=gyMODFH;=?W]?X=MIa?KFHMON3D=W

B££N3IoMD=WcFTJLDZK?LU8M

MOW`N3D=g«X=?¥YD=?XMOD@F];=?(X=MOI]?KFHMON3DCB°J^FJ%V3M3?DQONKJ^FHMON3D

?%(IaMOF]?

(

ED2BFB £N3I!W]N3>@?GD:IU

B5MOMMI, / + 3 * L²M\FH;=?MOD=j=F£=D=KFHMON3D

MOWD=NLFoX=?¥=D=?Xv£N3IW]N3>@?*UL?

W]MO>@j=OgQ;YJ}L?FHNWaFHJ^FH?

(

h+JFF];=MOWONKJ^FHMON3DIH8>@N3I]?iV3?DZ?IHJ^gQMOFI]?j=I]?W]?DF]W²

B5M1I +e"R$" *!+1 " *!c"/" + ),."R,." <$"/: + *02"i1,." * " "/J

*%, *!+

UW]J¢gEK

Uf(;=MOKT; MW-N3sGMON3=WaOg ?=M^JL?DGF¯FHN Ia?=MOI]?

(12)

GG p

GG +¯(MFH;

( K K J^D=X

K B5Wa???LV= DÇqHG!£N3I@J

X=?L?ON3j=>@?DGF/I

dfDFH;=?"NLF];=?I!;=JLD=X¤UYIa?VGJLIaX=MOD=VQF];=?%FH?I]> Ia?J^FH?XF]Nh;EI]?V3=JLI]MO}J^F]MNLD&=T²

0 , c|e

A*f

e

=1

A

1C=1

A C 36579,

e A

MOW@JZU*W]N¯KJLO?X¤UL + *]" +1) , U

(;=MOKT;PMOW²

RWag8>@>@?FHIaMKM5Ç?^

, "

#"

, "

"

JLD=X

R ; jkN3W]MFHM3?'="M5Ç?^WaNvFH;YJ^F=< K C e

21

A K , K i "

#"

K " , "

#"

K " @ +

MDªN3IaX=?IFH;=?vj=Ia?8MON3=W"X=?¥=D=MOF]MNLDºF]Ns?vKN3;=?Ia?DGF}C F"X=?¥YDZ?W%FH;=?3$/ "NL

FH;=MOW(I]?V3=JLI]MO}J^F]MNLD¤

:!;YJLD=WQFHNF];=? /"%<'()*%+FH?Ia>

GG GG

UWaMD=K?-F];=?-^JLIaMJ^F]MNLDNL

MOW

>@MD=MO>@M?X¤UoJ ;EW]>@N8NLFH;=?X&=@s=FJ^WaN?OR X=?¥=D=?XL?IaW]MON3D NL

MW"N3sZFHJLMOD=?X

DÇq3t8G1

B1JIf¬¦;=?DFH;=?j=I]NLs=?> MWMOR jNLW]?X±UoM5Ç?^-MFH;Z?I]?JLI]?>QJLDGg B5JLD=X ZW]YJLOg

D=>@?I]MOK}J^g =D=WcFTJLsZ? IvWaN3OZFHMON3D=WUF];=?L?g MXZ?}J¯MW«F]NªKT;=NNLW]?yFH;Z?W]N3OZFHMON3D

(;=MOKT;º^JLIaMJ^F]MNLD=W%JLIa?v>QMOD=MO>@M?X¤²%FH;ZMW%X=?¥YD=?WJ=DZM=?@W]NLZF]MNLDºsZZFJLOW]N

J«?REX=?¥YD=?X°W]N3OZF]MN3D±

B5sJI¬¦;Z?D"FH;=?`MOD=j=ZF£=D=KFHMON3D"MWjYJ^IaFHMJLOOgfN3IJLj=j=IaN}ZMO>QJ^FH?OgfX=?¥YDZ?X«JFW]N3>@?

jNLMDGFHWUZJ^WX=MOW]K=W]Wa?Xj=I]?8MN3ZW]g3UF];=?^JLO=?eJ^FWa=KT;JjN3MODGFMOWX=?¥YD=?Xy=W]MOD=V

MD£N3I]>QJ^F]MN3D_; JLI]NL=D=X&=(;=MOKT;X=M=W]?WB5JLW*X=MOW]K=W]Wa?XDZN©LI£IaN3> ?OREX=?¥YD=?X

^JLZ?W!FHN@=D=XZ?¥YD=?X°N3I!MOREXZ?¥YD=?X^JLO=?W

y´ £~=|7G~Z{)7 ¸W ~=z-~ ¹`7V z 7¸W ´ P ~ W 71z ®

D=?K?WaWHJLIcgºKN3D=XZMOF]MN3Dº£N3I"J

£=D=KF]MNLD

FHN%sk?(JLDv?8FHIa?>=> NL\FH;=?!KI]MFH?I]MON3D-B]E8IMOWFH;YJFFH;=?!WaN"K}JLO?X ;ED=N3Ia>J^F=

N3I *=?IcR J^V3IHJLDZV3?!?YJ^F]MNLDMOW*3?IaMO¥=?X¤ ?I]?_B5Wa??(?LV=?Dq3qHG IUB]E8IoMOW>@MOD=MO>J^YN3D=g

MO ²

T.

T ( p (

p

h+ B1tI

(MOF];PJvW]NREK}J^O?XFH?I]> NLX=M±ZW]MON3D¤²

" K

#"

T "

T I " " , "

#"

T "

T "T

B5AI

(MOF];¤² KJ

+"

i " Y

Y^

(13)

:!;ZMW%?8=J^FHMON3D¯W]MO>@j=g¯WaFHJ^FH?WeFH;YJF}UJ^FfJLD¯?8F]I]?>=>UFH;=?«KI]MFH?I]MON3D¯MW%ON8K}JLOOg

; \J^F>=fM5?L`MOF]W#E}WaFiN3IaX=?I!^JLI]MJ^F]MN3D^JLD=MOW];Z?W

:!;Z?«FH?Ia> NLX=M=W]MON3D

J^ON¢(W"F]N ; jZI]N3jYJ^VGJ^FH?'=W]N3>@?vMODZ£N3I]>QJ^F]MNLDªJLsNLZF

£IaN3> N3DZ?jkN3MODF F]NyJLDZNLFH;=?IU\sk?K}J^=W]?MOFX=?jk?DZX=WeN3DFH;=?"^JLI]MJ^F]MN3D-NL

J^F

M1?L`N3D(;YJ^Fi;YJ^j=j?D=W ;cJLIaN3=D=X&= *

»O?}J^I]g3UY(MOF];=N3ZF(F];=?%FH?Ia> NLX=M±=WaMNLD¤U=FH;=?"WaN3FHMON3D-MOW

dfsG8MNL=W]g3UJ^F!FH;Z?MO>@j=O?>@?DGFTJFHMON3DPO?L?5UkF];=?"L?gjZI]N3s=O?> MW!FH;Z?KJLOK=J^FHMON3D

NL

CEDN3IaX=?I!FHN@WaN3OL? B1tI(;=MOKT;PKN3I]Ia?W]jkN3D=XZW(F]NvFH;=? " +2*¤NL FH;=?"KI]MFH?IaMNLD B]E8I

J E}WcFfN3IaX=?I " +2* <"/)/" +2*MW=W]YJ^gPjZI]N3jkN3W]?X}UkWaFTJ^IaFHMOD=VJFeFHMO>@?D(+@£I]N3>

FH;=?"MOD=MOF]MJ^±^JLZ?

JLD=X£N3ON¢(MOD=VQF];=?"N3j=jkN3W]MFH?%XZMIa?KF]MNLDPNL FH;=MOW(V3IHJ^X=M?DGF}²

T

T (p

!( p (

p

+

B£n I

C FO?}JLX=WF]NvJONKJL±>@MOD=MO>=>NLFH;=?eKI]MFH?I]MON3D¤U8(;=?DMFH?I]J^FHM3?OgKN3>@j=FH?X=WaMDZV=U

?LV=`JLD `Z?IiIa=O?N^F];=?%£N3I]>²

I

Y

i?Ia?LU W]MOD=K?@FH;=?@Ia?J^FH?XYJLX=I]J^FHMOK@KIaMOF]?I]MON3DºMWKNLDL?UoKJLOK=J^FHMOD=VFH;=?U)

jYJLIaF]MJ^¤X=M±?I]?DGF]MJL?8=J^FHMON3DKB5n IJ^F(?JLKT;PjkN3MODGFO?}J^X=W!FHNvFH;=?/8>@MD=MO>@MJ^FHMON3D

NLF];=?"KIaMOF]?I]MON3DKB>E8IS

y´ 5~Z{)7 ¸W · 7{ P !7 W ´ ~=| { ´ |7 W3:!;Z?jZI]?Wa?DGFQ>@?KT;YJLDZMWa> MWv?JLW]MOOgI]?J^F]?X

FHNJ MOD=?JLIy¥YFH?IaMDZV§NLj?IHJ^F]N3IyMOD¦F];=?¯K}J^W]?°(;=?I]?

(

JLD=X

,

JLIa?¯KN3DZWaFTJ^DF CED

FH;=MOWjYJLIcFHMOK=JLIyKJLW]?^U BÉtIMWD=N¢ J OMDZ?}JLIX=M?I]?DGFHMJLf?YJFHMON3D(MOF]; KN3D=WcFTJLDGF

KN8?daQKMO?DGFHW

C ?¯KN3D=WaMXZ?IFH;=?ª¡YN3ZI]MO?IF]IHJLD=Wc£N3I]>

k

NL"F];=?¯YJLDGFHMFHMO?W

MD BÉtISU=W]MOD=VFH;=?@?SZjZMOKMF£N3Ia> V3M3?DMOD B5AIUMFMW"WcFHIHJ^MV3;GFa£N3IaJLI]XªFHNN3sFTJLMODMOD

FH;=?¡YN3=IaM?I!X=N3>QJLMOD¤²

k

7

k

(MFH;

7 k

(

#"

I " , "

#"

" (

B1rI

7!( 5! "! #- %$ & '-

*.-

~

/10"2 * 0

*.-

0

*.-

~

/+062 Ê-&kÅÇÆ

;

l=>\Ï}ÅÇÎaÓ'42&+*,

*.-

~

/10"2

6

7

£98

Å<& &£¾ÉÈ1Å<%E¾ÉÓÇÏ4¢Î(%cÈ1Î]Ê-&1ÅÇÆ2:^Ä

#

/10"2

6

~ 8 & ,%¾É½ÊT¾

2

Å'&$&£¾ ÊT¾ÉÅ,ÆÊSÈÉÏÄ

Æ¿ÈÉÊ=%E¾1Å<% Î=6%,ÆÒÎcÈ):ÎaÆ% Î`Å<&>4¢Î ¾ÉÎ(% ¾1Î(4Ê-&

& ,7,ÆÊ-&Z¾1½Î :ÈÉÊ=4¢ÅÑÎcÆ¾ZÅ<& .LÎcÓ',TÃQÊ :ÅÑÒÎcÆÆ712*ÎcÈÉÅ'%aÊSÓ}¾1½È1Î&5½2,Ó'46TÃ½©Å'% ½ÊSÓÑÃ¤ÊHÏ7&,% % 1©È)&ZÅÑÆÆ©ÅÇ¾1Î±¾1Å'*ÎÄ

(14)

W]N@FH;YJ^F!?%¥YDYJLOgN3sZFTJ^MDFH;Z?KN3DG3N3OZF]MN3D±²

7

¡YIaN3> BÉrIUYMFMOW(MOW]MOs=O?F];YJ^F(FH;=?KNLI]I]?W]jkN3D=X=MOD=VMOD=?}J^I(¥=OF]?IiMWiX=?¥=D=?X-sgF];=?

0 I . 0 0 I )

KN? aKM?DGFHWiNL

(

JLDZX

, BFH;=?f£N3Ia>@?I(s?MDZVJvV3?D=?I]JLB0 /b0

>JFHI]MU±FH;Z?«JF]FH?Iesk?MOD=VJWcg>@>@?F]I]MOKvFH?DZW]N3I$I"¡YI]N3> N3sG8MON3=WfOMDZ?}JLI%J^V3?s=IHJyMOD

FH;=?"V3?D=?I]JLK}JLWa?LU 7 k

MOWiJQI]J^FHMON3DYJL£IHJLKFHMON3D(MFH;PJvX=?D=NL>QMODYJ^F]N3IiNLoXZ?V3Ia??

?W]W(FH;YJLD

0J^D=XPJ@D=>@?I]J^FHN3IiNLoX=?V3Ia???W]W(FH;YJ^D

0 p )

:!;ZMWKN3IaI]?WajNLD=X=W

FHN"IHJ^F];=?I`V3?D=?I]JL=¥YFH?I]WUJLFH;=NL=V3;@D=NLFJLO=OMD=?JLI*¥YFH?IaWKJLDQs?(X=?¥YD=?XQ£I]N3> W]=KT;

Jv£NLI]>ZJZ

,

MOWKN3D=WaFHJLDGF(JLD=XM

(

MOWD=?V3OMV3MOs=O?LU

7

KN3IaI]?WajNLD=X=WU(JFJªV3M3?DFHMO>@? «N^fFH;=?X=M±ZW]MON3Dj=IaNK?WaWX=?¥YD=?XMD B5n I«FHNJLD

N3I]MO?DGFH?X"JL=WaW]MJLDL?IaD=?5²

7 )

Q

FHM3?-F];YJLD XZ?¥YD=MOD=V Jº¥YOF]?IU!W]MOD=K?P?-£NLI]>QJLOOg§X=?¥YD=?P(;YJFyMOWFH;Z? ; NLsbc?KFHM3? =H

¡\ZIaFH;Z?I]>@N3Ia?LUkM>@j=O?>@?DF]MDZVMOF=W]MOD=V B£n IMW>=KT;P>QNLI]?? aQKMO?DGFfFH;=JLDP?SZjZMOKMFHg

KN3>@j=ZF]MDZVJvKNLDLN3OZFHMON3D°JF(?}JLKT;-jN3MODGF}

® WaFH?jºJL;=?}J^X¤UMO

(

J^D=X

,

JLIa?«D=NLF%KN3D=WcFTJLDGF}U¤F];=?vj=Ia?W]?DGF£I]JL>@?N3I]PJLON¢(W

FHN"X=?¥=D=?eKN3>@j=?SQMDZj=ZF;N3ZFHjZZFI]?J^F]MN3DZW];=MOj=Wsk?FE??D

JLD=X

(;=MOKT;JLIa?i>@N3Ia?

V3?D=?IHJLF];YJLDª(;YJ^F"MOWNLsZFTJLMOD=?XsGgªJMOD=?JLI%¥YOF]?IU MODGFHIaNX=ZKMOD=VPWaN3>@?h;EKN3Zj=MOD=VH=

s?FE??DP?JLKT;PON8K}JL¤KN3DG3N3OZF]MN3D±:!;=MOWiMWiJLOW]N@K}J^O?X-s=MJ^F]?IHJ^±¥YFH?IaMDZVRDAHG1

! "$#!%& ('#)*+',*-.* /*.&'102"35476

s=ZFHMON3DU

B5Wa??iDÑr8G£N3I(JLDMODGFHI]N8X==KFHMON3DJI?>QJ}gy£N3Ia>J^gI]?(I]MFH?iB1AI²

98 +"

" : S

";8

#"

dp "

<

(MOF];¤²

8

#"

K

#"

T

"

T I " , "

#"

T "

T " T

(;=?Ia?

MWFH;=?KN3DG3NLZF]MNLDºjZI]N8X==KFeCED°N3I]XZWU±F];=?Ia?«MWeJX=MOI]?KF%>QJ^F];=?>QJ^F]MKJL

JLD=XK}JLDZN3D=MOK}JLOMDZs?FE??D°J@X=M±?I]?DF]MJ^JLD=X-JLDMDGFH?V3IHJ^N3j?IHJ^F]N3I

(15)

C F(L?I]M¥Y?WiF];=?"KN3D=Wa?IcLJFHMON3DPj=IaN3jk?IaFEgk²

: S

<

bh+ B5qI

MD°KN3;=?I]?DZK?(MFH;PF];=?jZ;g8WaMKJLoJ} NL`KN3DZW]?Ic^J^FHMON3D°j=IaN3jk?IaFEg£N3IiX=M±ZW]MON3D°j=IaN^R

K?WaW]?WCEDN3IaX=WU=?fJ^DF!F]NvsYJLJLD=K?fFH;=?

LJ^=?W(MDyF];=?%MD£N3I]>QJ^F]MN3DXZMO=W]MON3D

j=I]N8K?W]WU*M5?L°V3=JLIHJLDGFEgºFH;YJF«M!?Ia?X==K?FH;Z?^JLZ?J^FN3D=?yONKJ^FHMON3D MF(MOOMODR

KI]?JLW]?v?Wa?(;=?I]?JLKKN3I]XZMD=VLOgLUJLWfMODªJ Y=MOXª(;ZMKT;ºjYJLIcFHMOKO?W"JLIa?«D=?MFH;Z?I%KIa?}J^F]?X

D=N3I!X=??FH?X±:!;=MOWiV3YJLI]JLDGFH??W!FH;=?"WaFHJLs=MOMFEgNL FH;=?"D=>@?IaMKJLKN3>@j=FTJ^F]MN3DZW

¡Y=IcFH;=?I]>@N3Ia?LUYFH;=MOWiMWeJh;Ej==D=KFHYJL="MODGFH?VLIHJLN3jk?I]J^FHN3I(MOD-F];=?Wa?D=Wa?MFHWi>QJLV3D=MR

FH=X=?"MOW(?IaN?SK?jF%J^F *»N3DZW]MOX=?IaMD=VJQYJ^X=IHJ^F]MK"Wa?>@MR D=N3Ia> B5M5Ç?^MFHW!^JLIaMJLDZK?

N3I!MDZ?IaF]MJIUYMF!(I]MFH?W²

: S

V 7 8

+"

p*

<

h+ B I

(;=?Ia?

8

MWJsYJ^kJLIaN3=D=X °NL±IHJLX=MO=W

UG(;=MOKT;K}J^Dsk?eJLWW]>QJLOkJLWjN3WaW]MOs=O?LU

s=ZF%>=WaF%sk?«?SZKZX=?X¤UMOD¯N3IaX=?IhB)IiF]Nysk??OR X=?¥YDZ?Xºs?K}JL=Wa?«FH;=?j=I]N8X==KFfNL

FENQX=MOWaFHIaMsZZFHMON3D=WiMW(D=N^F(D=?K?W]W]JLI]MOgPJ@X=MOWaF]I]MOs=ZFHMON3D¤

9 {)7 ~ ~:9`9| ¸ 7 ~Z{87¸W ¸ { P ´ ¹ 7V z7 ¸W ¸ 9 ´ |~{ ¸ |^z C FMWD=NLFjkN3W]WaMs=O?

MDj=IHJ^KFHMOK?"FHNQMO>QjZ?>Q?DGFF];=?Z;Ej==D=KFHYJ^F="NLj?IHJ^F]N3I

s?K}JLZW]?"(;YJ^FiMWiV3M3?D¤U

MDFH;=?"Ia?}JL±N3IaX¤UYMOWJ@Wa?FiNL ; W]JL>@j=?W>=H

N3I]?%j=Ia?KMWa?g3UY?";YJ}L?"F]N@KN3D=WaMXZ?IiJ«W]?F(NL ;E>@?}JLWa=I]?W>=TUZX=?¥YDZ?X°J^WMDGF]?V3I]JL

LJ^=?W!NLFH;Z?%KN3DGFHMOD=N3=W!£=DZKFHMON3DN¢3?IFH;=?%>@?JLW]=Ia?>@?DGFiW]?D=W]NLIiIa?K?jZF]MOL?"¥=?OX¤

¡\ZIaFH;Z?I]>@N3Ia?LU¤WaMDZK?vD=>@?IaMKJLo^JLO=?WfKN3DGFTJLMOD=W%=DZK?IcFTJLMODGFHMO?WU MFfMOW"JIa?}JLWaN3DYJLs=O?

KT;=N3MOK?"FHN3;cJ}3?IHJLVL? =%Wa?L?IHJ^ ^JLO=?W(MOD-NLI]X=?I(F]N@W]>@NN^FH;FH;=?W]?=D=K?IaFHJLMODF]M?W

:!;ZMW«O?VLMOF]M>QJ^F]?WF];=?5JLKF}U*JFF];YJ^FF];=?MO>@j=O?>@?DGFTJFHMON3D?3?5U`JPX=M?I]?DGFHMJL

N3j?IHJ^F]N3I!MOWJ^j=j=I]N}MO>JFH?X=WaMD=VJLDMDGF]?V3I]JLN3jk?IHJFHN3I

NJLW]?XyN3DF];=MOWI]?>QJLI]QJLD=X£N3ON¢(MDZV DÇrLuZUJEE3U8q3qHG1U?eJLj=j=IaN¢MO>QJ^FH?iFH;=?X=MO?I R

?DGFHMJLN3jk?I]J^FHN3I!sGgJ^D-MODGFH?VLIHJLN3jk?I]J^FHNLINL FH;=?%£N3Ia>²

" : S 8 s

#"

"

<

p

8 s

#"

" B I

(MOF];

8

s#"

: S 8

s+"

<