ÿþ<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40"> <head> <meta http-equiv=Content-Type content="text/html; charset=unicode"> <meta name=ProgId content=Word.Document> <meta name=Generator content="Microsoft Word 15"> <meta name=Originator content="Microsoft Word 15"> <link rel=File-List href="index_files/filelist.xml"> <link rel=Edit-Time-Data href="index_files/editdata.mso"> <!--[if !mso]> <style> v\:* {behavior:url(#default#VML);} o\:* {behavior:url(#default#VML);} w\:* {behavior:url(#default#VML);} .shape {behavior:url(#default#VML);} </style> <![endif]--> <title>Assaf Marron</title> <!--[if gte mso 9]><xml> <o:DocumentProperties> <o:Author>Assaf Marron</o:Author> <o:LastAuthor>Assaf Marron</o:LastAuthor> <o:Revision>15</o:Revision> <o:TotalTime>118</o:TotalTime> <o:Created>2021-04-02T21:02:00Z</o:Created> <o:LastSaved>2023-10-05T20:31:00Z</o:LastSaved> <o:Pages>7</o:Pages> <o:Words>2711</o:Words> <o:Characters>15459</o:Characters> <o:Company>Weizmann Institute Of Science</o:Company> <o:Lines>128</o:Lines> <o:Paragraphs>36</o:Paragraphs> <o:CharactersWithSpaces>18134</o:CharactersWithSpaces> <o:Version>16.00</o:Version> </o:DocumentProperties> <o:OfficeDocumentSettings> <o:AllowPNG/> <o:DoNotRelyOnCSS/> </o:OfficeDocumentSettings> </xml><![endif]--> <link rel=dataStoreItem href="index_files/item0008.xml" target="index_files/props009.xml"> <link rel=themeData href="index_files/themedata.thmx"> <link rel=colorSchemeMapping href="index_files/colorschememapping.xml"> <!--[if gte mso 9]><xml> <w:WordDocument> <w:View>Print</w:View> <w:Zoom>120</w:Zoom> <w:SpellingState>Clean</w:SpellingState> <w:GrammarState>Clean</w:GrammarState> <w:TrackMoves>false</w:TrackMoves> <w:TrackFormatting/> <w:ValidateAgainstSchemas/> <w:SaveIfXMLInvalid>false</w:SaveIfXMLInvalid> <w:IgnoreMixedContent>false</w:IgnoreMixedContent> <w:AlwaysShowPlaceholderText>false</w:AlwaysShowPlaceholderText> <w:DoNotPromoteQF/> <w:LidThemeOther>EN-US</w:LidThemeOther> <w:LidThemeAsian>X-NONE</w:LidThemeAsian> <w:LidThemeComplexScript>HE</w:LidThemeComplexScript> <w:Compatibility> <w:BreakWrappedTables/> <w:SnapToGridInCell/> <w:WrapTextWithPunct/> <w:UseAsianBreakRules/> <w:DontGrowAutofit/> <w:SplitPgBreakAndParaMark/> <w:DontVertAlignCellWithSp/> <w:DontBreakConstrainedForcedTables/> <w:DontVertAlignInTxbx/> <w:Word11KerningPairs/> <w:CachedColBalance/> </w:Compatibility> <w:BrowserLevel>MicrosoftInternetExplorer4</w:BrowserLevel> <m:mathPr> <m:mathFont m:val="Cambria Math"/> <m:brkBin m:val="before"/> <m:brkBinSub m:val="&#45;-"/> <m:smallFrac m:val="off"/> <m:dispDef/> <m:lMargin m:val="0"/> <m:rMargin m:val="0"/> <m:defJc m:val="centerGroup"/> <m:wrapIndent m:val="1440"/> <m:intLim m:val="subSup"/> <m:naryLim m:val="undOvr"/> </m:mathPr></w:WordDocument> </xml><![endif]--><!--[if gte mso 9]><xml> <w:LatentStyles DefLockedState="false" DefUnhideWhenUsed="false" DefSemiHidden="false" DefQFormat="false" DefPriority="99" LatentStyleCount="371"> <w:LsdException Locked="false" Priority="0" QFormat="true" Name="Normal"/> <w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 1"/> <w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 2"/> <w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 3"/> <w:LsdException Locked="false" Priority="9" SemiHidden="true" UnhideWhenUsed="true" QFormat="true" Name="heading 4"/> <w:LsdException Locked="false" Priority="9" SemiHidden="true" UnhideWhenUsed="true" QFormat="true" Name="heading 5"/> <w:LsdException Locked="false" Priority="9" SemiHidden="true" UnhideWhenUsed="true" QFormat="true" Name="heading 6"/> <w:LsdException Locked="false" Priority="9" SemiHidden="true" UnhideWhenUsed="true" QFormat="true" Name="heading 7"/> <w:LsdException Locked="false" Priority="9" SemiHidden="true" UnhideWhenUsed="true" QFormat="true" Name="heading 8"/> <w:LsdException Locked="false" Priority="9" SemiHidden="true" UnhideWhenUsed="true" QFormat="true" Name="heading 9"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="index 1"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="index 2"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="index 3"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="index 4"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="index 5"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="index 6"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="index 7"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="index 8"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="index 9"/> <w:LsdException Locked="false" Priority="39" SemiHidden="true" UnhideWhenUsed="true" Name="toc 1"/> <w:LsdException Locked="false" Priority="39" SemiHidden="true" UnhideWhenUsed="true" Name="toc 2"/> <w:LsdException Locked="false" Priority="39" SemiHidden="true" UnhideWhenUsed="true" Name="toc 3"/> <w:LsdException Locked="false" Priority="39" SemiHidden="true" UnhideWhenUsed="true" Name="toc 4"/> <w:LsdException Locked="false" Priority="39" SemiHidden="true" UnhideWhenUsed="true" Name="toc 5"/> <w:LsdException Locked="false" Priority="39" SemiHidden="true" UnhideWhenUsed="true" Name="toc 6"/> <w:LsdException Locked="false" Priority="39" SemiHidden="true" UnhideWhenUsed="true" Name="toc 7"/> <w:LsdException Locked="false" Priority="39" SemiHidden="true" UnhideWhenUsed="true" Name="toc 8"/> <w:LsdException Locked="false" Priority="39" SemiHidden="true" UnhideWhenUsed="true" Name="toc 9"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Normal Indent"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="footnote text"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="annotation text"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="header"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="footer"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="index heading"/> <w:LsdException Locked="false" Priority="35" SemiHidden="true" UnhideWhenUsed="true" QFormat="true" Name="caption"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="table of figures"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="envelope address"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="envelope return"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="footnote reference"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="annotation reference"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="line number"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="page number"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="endnote reference"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="endnote text"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="table of authorities"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="macro"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="toa heading"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="List"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="List Bullet"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="List Number"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="List 2"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="List 3"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="List 4"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="List 5"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="List Bullet 2"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="List Bullet 3"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="List Bullet 4"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="List Bullet 5"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="List Number 2"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="List Number 3"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="List Number 4"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="List Number 5"/> <w:LsdException Locked="false" Priority="10" QFormat="true" Name="Title"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Closing"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Signature"/> <w:LsdException Locked="false" Priority="1" SemiHidden="true" UnhideWhenUsed="true" Name="Default Paragraph Font"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Body Text"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Body Text Indent"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="List Continue"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="List Continue 2"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="List Continue 3"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="List Continue 4"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="List Continue 5"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Message Header"/> <w:LsdException Locked="false" Priority="11" QFormat="true" Name="Subtitle"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Salutation"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Date"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Body Text First Indent"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Body Text First Indent 2"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Note Heading"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Body Text 2"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Body Text 3"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Body Text Indent 2"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Body Text Indent 3"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Block Text"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Hyperlink"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="FollowedHyperlink"/> <w:LsdException Locked="false" Priority="22" QFormat="true" Name="Strong"/> <w:LsdException Locked="false" Priority="20" QFormat="true" Name="Emphasis"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Document Map"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Plain Text"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="E-mail Signature"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="HTML Top of Form"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="HTML Bottom of Form"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Normal (Web)"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="HTML Acronym"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="HTML Address"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="HTML Cite"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="HTML Code"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="HTML Definition"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="HTML Keyboard"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="HTML Preformatted"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="HTML Sample"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="HTML Typewriter"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="HTML Variable"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Normal Table"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="annotation subject"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="No List"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Outline List 1"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Outline List 2"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Outline List 3"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Simple 1"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Simple 2"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Simple 3"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Classic 1"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Classic 2"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Classic 3"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Classic 4"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Colorful 1"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Colorful 2"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Colorful 3"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Columns 1"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Columns 2"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Columns 3"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Columns 4"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Columns 5"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Grid 1"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Grid 2"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Grid 3"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Grid 4"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Grid 5"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Grid 6"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Grid 7"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Grid 8"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table List 1"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table List 2"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table List 3"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table List 4"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table List 5"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table List 6"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table List 7"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table List 8"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table 3D effects 1"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table 3D effects 2"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table 3D effects 3"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Contemporary"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Elegant"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Professional"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Subtle 1"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Subtle 2"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Web 1"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Web 2"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Web 3"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Balloon Text"/> <w:LsdException Locked="false" Priority="59" Name="Table Grid"/> <w:LsdException Locked="false" SemiHidden="true" UnhideWhenUsed="true" Name="Table Theme"/> <w:LsdException Locked="false" SemiHidden="true" Name="Placeholder Text"/> <w:LsdException Locked="false" Priority="1" QFormat="true" Name="No Spacing"/> <w:LsdException Locked="false" Priority="60" Name="Light Shading"/> <w:LsdException Locked="false" Priority="61" Name="Light List"/> <w:LsdException Locked="false" Priority="62" Name="Light Grid"/> <w:LsdException Locked="false" Priority="63" Name="Medium Shading 1"/> <w:LsdException Locked="false" Priority="64" Name="Medium Shading 2"/> <w:LsdException Locked="false" Priority="65" Name="Medium List 1"/> <w:LsdException Locked="false" Priority="66" Name="Medium List 2"/> <w:LsdException Locked="false" Priority="67" Name="Medium Grid 1"/> <w:LsdException Locked="false" Priority="68" Name="Medium Grid 2"/> <w:LsdException Locked="false" Priority="69" Name="Medium Grid 3"/> <w:LsdException Locked="false" Priority="70" Name="Dark List"/> <w:LsdException Locked="false" Priority="71" Name="Colorful Shading"/> <w:LsdException Locked="false" Priority="72" Name="Colorful List"/> <w:LsdException Locked="false" Priority="73" Name="Colorful Grid"/> <w:LsdException Locked="false" Priority="60" Name="Light Shading Accent 1"/> <w:LsdException Locked="false" Priority="61" Name="Light List Accent 1"/> <w:LsdException Locked="false" Priority="62" Name="Light Grid Accent 1"/> <w:LsdException Locked="false" Priority="63" Name="Medium Shading 1 Accent 1"/> <w:LsdException Locked="false" Priority="64" Name="Medium Shading 2 Accent 1"/> <w:LsdException Locked="false" Priority="65" Name="Medium List 1 Accent 1"/> <w:LsdException Locked="false" SemiHidden="true" Name="Revision"/> <w:LsdException Locked="false" Priority="34" QFormat="true" Name="List Paragraph"/> <w:LsdException Locked="false" Priority="29" QFormat="true" Name="Quote"/> <w:LsdException Locked="false" Priority="30" QFormat="true" Name="Intense Quote"/> <w:LsdException Locked="false" Priority="66" Name="Medium List 2 Accent 1"/> <w:LsdException Locked="false" Priority="67" Name="Medium Grid 1 Accent 1"/> <w:LsdException Locked="false" Priority="68" Name="Medium Grid 2 Accent 1"/> <w:LsdException Locked="false" Priority="69" Name="Medium Grid 3 Accent 1"/> <w:LsdException Locked="false" Priority="70" Name="Dark List Accent 1"/> <w:LsdException Locked="false" Priority="71" Name="Colorful Shading Accent 1"/> <w:LsdException Locked="false" Priority="72" Name="Colorful List Accent 1"/> <w:LsdException Locked="false" Priority="73" Name="Colorful Grid Accent 1"/> <w:LsdException Locked="false" Priority="60" Name="Light Shading Accent 2"/> <w:LsdException Locked="false" Priority="61" Name="Light List Accent 2"/> <w:LsdException Locked="false" Priority="62" Name="Light Grid Accent 2"/> <w:LsdException Locked="false" Priority="63" Name="Medium Shading 1 Accent 2"/> <w:LsdException Locked="false" Priority="64" Name="Medium Shading 2 Accent 2"/> <w:LsdException Locked="false" Priority="65" Name="Medium List 1 Accent 2"/> <w:LsdException Locked="false" Priority="66" Name="Medium List 2 Accent 2"/> <w:LsdException Locked="false" Priority="67" Name="Medium Grid 1 Accent 2"/> <w:LsdException Locked="false" Priority="68" Name="Medium Grid 2 Accent 2"/> <w:LsdException Locked="false" Priority="69" Name="Medium Grid 3 Accent 2"/> <w:LsdException Locked="false" Priority="70" Name="Dark List Accent 2"/> <w:LsdException Locked="false" Priority="71" Name="Colorful Shading Accent 2"/> <w:LsdException Locked="false" Priority="72" Name="Colorful List Accent 2"/> <w:LsdException Locked="false" Priority="73" Name="Colorful Grid Accent 2"/> <w:LsdException Locked="false" Priority="60" Name="Light Shading Accent 3"/> <w:LsdException Locked="false" Priority="61" Name="Light List Accent 3"/> <w:LsdException Locked="false" Priority="62" Name="Light Grid Accent 3"/> <w:LsdException Locked="false" Priority="63" Name="Medium Shading 1 Accent 3"/> <w:LsdException Locked="false" Priority="64" Name="Medium Shading 2 Accent 3"/> <w:LsdException Locked="false" Priority="65" Name="Medium List 1 Accent 3"/> <w:LsdException Locked="false" Priority="66" Name="Medium List 2 Accent 3"/> <w:LsdException Locked="false" Priority="67" Name="Medium Grid 1 Accent 3"/> <w:LsdException Locked="false" Priority="68" Name="Medium Grid 2 Accent 3"/> <w:LsdException Locked="false" Priority="69" Name="Medium Grid 3 Accent 3"/> <w:LsdException Locked="false" Priority="70" Name="Dark List Accent 3"/> <w:LsdException Locked="false" Priority="71" Name="Colorful Shading Accent 3"/> <w:LsdException Locked="false" Priority="72" Name="Colorful List Accent 3"/> <w:LsdException Locked="false" Priority="73" Name="Colorful Grid Accent 3"/> <w:LsdException Locked="false" Priority="60" Name="Light Shading Accent 4"/> <w:LsdException Locked="false" Priority="61" Name="Light List Accent 4"/> <w:LsdException Locked="false" Priority="62" Name="Light Grid Accent 4"/> <w:LsdException Locked="false" Priority="63" Name="Medium Shading 1 Accent 4"/> <w:LsdException Locked="false" Priority="64" Name="Medium Shading 2 Accent 4"/> <w:LsdException Locked="false" Priority="65" Name="Medium List 1 Accent 4"/> <w:LsdException Locked="false" Priority="66" Name="Medium List 2 Accent 4"/> <w:LsdException Locked="false" Priority="67" Name="Medium Grid 1 Accent 4"/> <w:LsdException Locked="false" Priority="68" Name="Medium Grid 2 Accent 4"/> <w:LsdException Locked="false" Priority="69" Name="Medium Grid 3 Accent 4"/> <w:LsdException Locked="false" Priority="70" Name="Dark List Accent 4"/> <w:LsdException Locked="false" Priority="71" Name="Colorful Shading Accent 4"/> <w:LsdException Locked="false" Priority="72" Name="Colorful List Accent 4"/> <w:LsdException Locked="false" Priority="73" Name="Colorful Grid Accent 4"/> <w:LsdException Locked="false" Priority="60" Name="Light Shading Accent 5"/> <w:LsdException Locked="false" Priority="61" Name="Light List Accent 5"/> <w:LsdException Locked="false" Priority="62" Name="Light Grid Accent 5"/> <w:LsdException Locked="false" Priority="63" Name="Medium Shading 1 Accent 5"/> <w:LsdException Locked="false" Priority="64" Name="Medium Shading 2 Accent 5"/> <w:LsdException Locked="false" Priority="65" Name="Medium List 1 Accent 5"/> <w:LsdException Locked="false" Priority="66" Name="Medium List 2 Accent 5"/> <w:LsdException Locked="false" Priority="67" Name="Medium Grid 1 Accent 5"/> <w:LsdException Locked="false" Priority="68" Name="Medium Grid 2 Accent 5"/> <w:LsdException Locked="false" Priority="69" Name="Medium Grid 3 Accent 5"/> <w:LsdException Locked="false" Priority="70" Name="Dark List Accent 5"/> <w:LsdException Locked="false" Priority="71" Name="Colorful Shading Accent 5"/> <w:LsdException Locked="false" Priority="72" Name="Colorful List Accent 5"/> <w:LsdException Locked="false" Priority="73" Name="Colorful Grid Accent 5"/> <w:LsdException Locked="false" Priority="60" Name="Light Shading Accent 6"/> <w:LsdException Locked="false" Priority="61" Name="Light List Accent 6"/> <w:LsdException Locked="false" Priority="62" Name="Light Grid Accent 6"/> <w:LsdException Locked="false" Priority="63" Name="Medium Shading 1 Accent 6"/> <w:LsdException Locked="false" Priority="64" Name="Medium Shading 2 Accent 6"/> <w:LsdException Locked="false" Priority="65" Name="Medium List 1 Accent 6"/> <w:LsdException Locked="false" Priority="66" Name="Medium List 2 Accent 6"/> <w:LsdException Locked="false" Priority="67" Name="Medium Grid 1 Accent 6"/> <w:LsdException Locked="false" Priority="68" Name="Medium Grid 2 Accent 6"/> <w:LsdException Locked="false" Priority="69" Name="Medium Grid 3 Accent 6"/> <w:LsdException Locked="false" Priority="70" Name="Dark List Accent 6"/> <w:LsdException Locked="false" Priority="71" Name="Colorful Shading Accent 6"/> <w:LsdException Locked="false" Priority="72" Name="Colorful List Accent 6"/> <w:LsdException Locked="false" Priority="73" Name="Colorful Grid Accent 6"/> <w:LsdException Locked="false" Priority="19" QFormat="true" Name="Subtle Emphasis"/> <w:LsdException Locked="false" Priority="21" QFormat="true" Name="Intense Emphasis"/> <w:LsdException Locked="false" Priority="31" QFormat="true" Name="Subtle Reference"/> <w:LsdException Locked="false" Priority="32" QFormat="true" Name="Intense Reference"/> <w:LsdException Locked="false" Priority="33" QFormat="true" Name="Book Title"/> <w:LsdException Locked="false" Priority="37" SemiHidden="true" UnhideWhenUsed="true" Name="Bibliography"/> <w:LsdException Locked="false" Priority="39" SemiHidden="true" UnhideWhenUsed="true" QFormat="true" Name="TOC Heading"/> <w:LsdException Locked="false" Priority="41" Name="Plain Table 1"/> <w:LsdException Locked="false" Priority="42" Name="Plain Table 2"/> <w:LsdException Locked="false" Priority="43" Name="Plain Table 3"/> <w:LsdException Locked="false" Priority="44" Name="Plain Table 4"/> <w:LsdException Locked="false" Priority="45" Name="Plain Table 5"/> <w:LsdException Locked="false" Priority="40" Name="Grid Table Light"/> <w:LsdException Locked="false" Priority="46" Name="Grid Table 1 Light"/> <w:LsdException Locked="false" Priority="47" Name="Grid Table 2"/> <w:LsdException Locked="false" Priority="48" Name="Grid Table 3"/> <w:LsdException Locked="false" Priority="49" Name="Grid Table 4"/> <w:LsdException Locked="false" Priority="50" Name="Grid Table 5 Dark"/> <w:LsdException Locked="false" Priority="51" Name="Grid Table 6 Colorful"/> <w:LsdException Locked="false" Priority="52" Name="Grid Table 7 Colorful"/> <w:LsdException Locked="false" Priority="46" Name="Grid Table 1 Light Accent 1"/> <w:LsdException Locked="false" Priority="47" Name="Grid Table 2 Accent 1"/> <w:LsdException Locked="false" Priority="48" Name="Grid Table 3 Accent 1"/> <w:LsdException Locked="false" Priority="49" Name="Grid Table 4 Accent 1"/> <w:LsdException Locked="false" Priority="50" Name="Grid Table 5 Dark Accent 1"/> <w:LsdException Locked="false" Priority="51" Name="Grid Table 6 Colorful Accent 1"/> <w:LsdException Locked="false" Priority="52" Name="Grid Table 7 Colorful Accent 1"/> <w:LsdException Locked="false" Priority="46" Name="Grid Table 1 Light Accent 2"/> <w:LsdException Locked="false" Priority="47" Name="Grid Table 2 Accent 2"/> <w:LsdException Locked="false" Priority="48" Name="Grid Table 3 Accent 2"/> <w:LsdException Locked="false" Priority="49" Name="Grid Table 4 Accent 2"/> <w:LsdException Locked="false" Priority="50" Name="Grid Table 5 Dark Accent 2"/> <w:LsdException Locked="false" Priority="51" Name="Grid Table 6 Colorful Accent 2"/> <w:LsdException Locked="false" Priority="52" Name="Grid Table 7 Colorful Accent 2"/> <w:LsdException Locked="false" Priority="46" Name="Grid Table 1 Light Accent 3"/> <w:LsdException Locked="false" Priority="47" Name="Grid Table 2 Accent 3"/> <w:LsdException Locked="false" Priority="48" Name="Grid Table 3 Accent 3"/> <w:LsdException Locked="false" Priority="49" Name="Grid Table 4 Accent 3"/> <w:LsdException Locked="false" Priority="50" Name="Grid Table 5 Dark Accent 3"/> <w:LsdException Locked="false" Priority="51" Name="Grid Table 6 Colorful Accent 3"/> <w:LsdException Locked="false" Priority="52" Name="Grid Table 7 Colorful Accent 3"/> <w:LsdException Locked="false" Priority="46" Name="Grid Table 1 Light Accent 4"/> <w:LsdException Locked="false" Priority="47" Name="Grid Table 2 Accent 4"/> <w:LsdException Locked="false" Priority="48" Name="Grid Table 3 Accent 4"/> <w:LsdException Locked="false" Priority="49" Name="Grid Table 4 Accent 4"/> <w:LsdException Locked="false" Priority="50" Name="Grid Table 5 Dark Accent 4"/> <w:LsdException Locked="false" Priority="51" Name="Grid Table 6 Colorful Accent 4"/> <w:LsdException Locked="false" Priority="52" Name="Grid Table 7 Colorful Accent 4"/> <w:LsdException Locked="false" Priority="46" Name="Grid Table 1 Light Accent 5"/> <w:LsdException Locked="false" Priority="47" Name="Grid Table 2 Accent 5"/> <w:LsdException Locked="false" Priority="48" Name="Grid Table 3 Accent 5"/> <w:LsdException Locked="false" Priority="49" Name="Grid Table 4 Accent 5"/> <w:LsdException Locked="false" Priority="50" Name="Grid Table 5 Dark Accent 5"/> <w:LsdException Locked="false" Priority="51" Name="Grid Table 6 Colorful Accent 5"/> <w:LsdException Locked="false" Priority="52" Name="Grid Table 7 Colorful Accent 5"/> <w:LsdException Locked="false" Priority="46" Name="Grid Table 1 Light Accent 6"/> <w:LsdException Locked="false" Priority="47" Name="Grid Table 2 Accent 6"/> <w:LsdException Locked="false" Priority="48" Name="Grid Table 3 Accent 6"/> <w:LsdException Locked="false" Priority="49" Name="Grid Table 4 Accent 6"/> <w:LsdException Locked="false" Priority="50" Name="Grid Table 5 Dark Accent 6"/> <w:LsdException Locked="false" Priority="51" Name="Grid Table 6 Colorful Accent 6"/> <w:LsdException Locked="false" Priority="52" Name="Grid Table 7 Colorful Accent 6"/> <w:LsdException Locked="false" Priority="46" Name="List Table 1 Light"/> <w:LsdException Locked="false" Priority="47" Name="List Table 2"/> <w:LsdException Locked="false" Priority="48" Name="List Table 3"/> <w:LsdException Locked="false" Priority="49" Name="List Table 4"/> <w:LsdException Locked="false" Priority="50" Name="List Table 5 Dark"/> <w:LsdException Locked="false" Priority="51" Name="List Table 6 Colorful"/> <w:LsdException Locked="false" Priority="52" Name="List Table 7 Colorful"/> <w:LsdException Locked="false" Priority="46" Name="List Table 1 Light Accent 1"/> <w:LsdException Locked="false" Priority="47" Name="List Table 2 Accent 1"/> <w:LsdException Locked="false" Priority="48" Name="List Table 3 Accent 1"/> <w:LsdException Locked="false" Priority="49" Name="List Table 4 Accent 1"/> <w:LsdException Locked="false" Priority="50" Name="List Table 5 Dark Accent 1"/> <w:LsdException Locked="false" Priority="51" Name="List Table 6 Colorful Accent 1"/> <w:LsdException Locked="false" Priority="52" Name="List Table 7 Colorful Accent 1"/> <w:LsdException Locked="false" Priority="46" Name="List Table 1 Light Accent 2"/> <w:LsdException Locked="false" Priority="47" Name="List Table 2 Accent 2"/> <w:LsdException Locked="false" Priority="48" Name="List Table 3 Accent 2"/> <w:LsdException Locked="false" Priority="49" Name="List Table 4 Accent 2"/> <w:LsdException Locked="false" Priority="50" Name="List Table 5 Dark Accent 2"/> <w:LsdException Locked="false" Priority="51" Name="List Table 6 Colorful Accent 2"/> <w:LsdException Locked="false" Priority="52" Name="List Table 7 Colorful Accent 2"/> <w:LsdException Locked="false" Priority="46" Name="List Table 1 Light Accent 3"/> <w:LsdException Locked="false" Priority="47" Name="List Table 2 Accent 3"/> <w:LsdException Locked="false" Priority="48" Name="List Table 3 Accent 3"/> <w:LsdException Locked="false" Priority="49" Name="List Table 4 Accent 3"/> <w:LsdException Locked="false" Priority="50" Name="List Table 5 Dark Accent 3"/> <w:LsdException Locked="false" Priority="51" Name="List Table 6 Colorful Accent 3"/> <w:LsdException Locked="false" Priority="52" Name="List Table 7 Colorful Accent 3"/> <w:LsdException Locked="false" Priority="46" Name="List Table 1 Light Accent 4"/> <w:LsdException Locked="false" Priority="47" Name="List Table 2 Accent 4"/> <w:LsdException Locked="false" Priority="48" Name="List Table 3 Accent 4"/> <w:LsdException Locked="false" Priority="49" Name="List Table 4 Accent 4"/> <w:LsdException Locked="false" Priority="50" Name="List Table 5 Dark Accent 4"/> <w:LsdException Locked="false" Priority="51" Name="List Table 6 Colorful Accent 4"/> <w:LsdException Locked="false" Priority="52" Name="List Table 7 Colorful Accent 4"/> <w:LsdException Locked="false" Priority="46" Name="List Table 1 Light Accent 5"/> <w:LsdException Locked="false" Priority="47" Name="List Table 2 Accent 5"/> <w:LsdException Locked="false" Priority="48" Name="List Table 3 Accent 5"/> <w:LsdException Locked="false" Priority="49" Name="List Table 4 Accent 5"/> <w:LsdException Locked="false" Priority="50" Name="List Table 5 Dark Accent 5"/> <w:LsdException Locked="false" Priority="51" Name="List Table 6 Colorful Accent 5"/> <w:LsdException Locked="false" Priority="52" Name="List Table 7 Colorful Accent 5"/> <w:LsdException Locked="false" Priority="46" Name="List Table 1 Light Accent 6"/> <w:LsdException Locked="false" Priority="47" Name="List Table 2 Accent 6"/> <w:LsdException Locked="false" Priority="48" Name="List Table 3 Accent 6"/> <w:LsdException Locked="false" Priority="49" Name="List Table 4 Accent 6"/> <w:LsdException Locked="false" Priority="50" Name="List Table 5 Dark Accent 6"/> <w:LsdException Locked="false" Priority="51" Name="List Table 6 Colorful Accent 6"/> <w:LsdException Locked="false" Priority="52" Name="List Table 7 Colorful Accent 6"/> </w:LatentStyles> </xml><![endif]--> <style> <!-- /* Font Definitions */ @font-face {font-family:"Cambria Math"; panose-1:2 4 5 3 5 4 6 3 2 4; mso-font-charset:0; mso-generic-font-family:roman; mso-font-pitch:variable; mso-font-signature:-536869121 1107305727 33554432 0 415 0;} @font-face {font-family:Calibri; panose-1:2 15 5 2 2 2 4 3 2 4; mso-font-charset:0; mso-generic-font-family:swiss; mso-font-pitch:variable; mso-font-signature:-469750017 -1073732485 9 0 511 0;} @font-face {font-family:Consolas; panose-1:2 11 6 9 2 2 4 3 2 4; mso-font-charset:0; mso-generic-font-family:modern; mso-font-pitch:fixed; mso-font-signature:-536869121 64767 1 0 415 0;} @font-face {font-family:Tahoma; panose-1:2 11 6 4 3 5 4 4 2 4; mso-font-charset:0; mso-generic-font-family:swiss; mso-font-pitch:variable; mso-font-signature:-520081665 -1073717157 41 0 66047 0;} /* Style Definitions */ p.MsoNormal, li.MsoNormal, div.MsoNormal {mso-style-unhide:no; mso-style-qformat:yes; mso-style-parent:""; margin:0cm; margin-bottom:.0001pt; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman",serif; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} h1 {mso-style-priority:9; mso-style-unhide:no; mso-style-qformat:yes; mso-style-link:"Heading 1 Char"; mso-margin-top-alt:auto; margin-right:0cm; mso-margin-bottom-alt:auto; margin-left:0cm; mso-pagination:widow-orphan; mso-outline-level:1; font-size:24.0pt; font-family:"Times New Roman",serif; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast; color:#003333; font-weight:bold;} h2 {mso-style-priority:9; mso-style-unhide:no; mso-style-qformat:yes; mso-style-link:"Heading 2 Char"; mso-margin-top-alt:auto; margin-right:0cm; mso-margin-bottom-alt:auto; margin-left:0cm; mso-pagination:widow-orphan; mso-outline-level:2; font-size:18.0pt; font-family:"Times New Roman",serif; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast; color:#003333; font-weight:bold;} h3 {mso-style-priority:9; mso-style-unhide:no; mso-style-qformat:yes; mso-style-link:"Heading 3 Char"; mso-margin-top-alt:auto; margin-right:0cm; mso-margin-bottom-alt:auto; margin-left:0cm; mso-pagination:widow-orphan; mso-outline-level:3; font-size:13.5pt; font-family:"Times New Roman",serif; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast; color:#003333; font-weight:bold;} h4 {mso-style-noshow:yes; mso-style-priority:9; mso-style-qformat:yes; mso-style-link:"Heading 4 Char"; mso-style-next:Normal; margin-top:2.0pt; margin-right:0cm; margin-bottom:0cm; margin-left:0cm; margin-bottom:.0001pt; mso-pagination:widow-orphan lines-together; page-break-after:avoid; mso-outline-level:4; font-size:12.0pt; font-family:"Cambria",serif; mso-ascii-font-family:Cambria; mso-ascii-theme-font:major-latin; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:major-fareast; mso-hansi-font-family:Cambria; mso-hansi-theme-font:major-latin; mso-bidi-font-family:"Times New Roman"; mso-bidi-theme-font:major-bidi; color:#365F91; mso-themecolor:accent1; mso-themeshade:191; font-weight:normal; font-style:italic;} a:link, span.MsoHyperlink {mso-style-priority:99; color:darkblue; text-decoration:underline; text-underline:single;} a:visited, span.MsoHyperlinkFollowed {mso-style-noshow:yes; mso-style-priority:99; color:black; text-decoration:underline; text-underline:single;} p.MsoPlainText, li.MsoPlainText, div.MsoPlainText {mso-style-noshow:yes; mso-style-priority:99; mso-style-link:"Plain Text Char"; margin:0cm; margin-bottom:.0001pt; mso-pagination:widow-orphan; font-size:10.0pt; mso-bidi-font-size:10.5pt; font-family:Consolas; mso-fareast-font-family:"Times New Roman"; mso-bidi-font-family:Arial;} p {mso-style-noshow:yes; mso-style-priority:99; mso-margin-top-alt:auto; margin-right:0cm; mso-margin-bottom-alt:auto; margin-left:0cm; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman",serif; mso-fareast-font-family:"Times New Roman";} p.MsoAcetate, li.MsoAcetate, div.MsoAcetate {mso-style-noshow:yes; mso-style-priority:99; mso-style-link:"Balloon Text Char"; margin:0cm; margin-bottom:.0001pt; mso-pagination:widow-orphan; font-size:8.0pt; font-family:"Tahoma",sans-serif; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.MsoListParagraph, li.MsoListParagraph, div.MsoListParagraph {mso-style-noshow:yes; mso-style-priority:34; mso-style-unhide:no; mso-style-qformat:yes; margin-top:0cm; margin-right:0cm; margin-bottom:0cm; margin-left:36.0pt; margin-bottom:.0001pt; mso-add-space:auto; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman",serif; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.MsoListParagraphCxSpFirst, li.MsoListParagraphCxSpFirst, div.MsoListParagraphCxSpFirst {mso-style-noshow:yes; mso-style-priority:34; mso-style-unhide:no; mso-style-qformat:yes; mso-style-type:export-only; margin-top:0cm; margin-right:0cm; margin-bottom:0cm; margin-left:36.0pt; margin-bottom:.0001pt; mso-add-space:auto; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman",serif; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.MsoListParagraphCxSpMiddle, li.MsoListParagraphCxSpMiddle, div.MsoListParagraphCxSpMiddle {mso-style-noshow:yes; mso-style-priority:34; mso-style-unhide:no; mso-style-qformat:yes; mso-style-type:export-only; margin-top:0cm; margin-right:0cm; margin-bottom:0cm; margin-left:36.0pt; margin-bottom:.0001pt; mso-add-space:auto; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman",serif; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} p.MsoListParagraphCxSpLast, li.MsoListParagraphCxSpLast, div.MsoListParagraphCxSpLast {mso-style-noshow:yes; mso-style-priority:34; mso-style-unhide:no; mso-style-qformat:yes; mso-style-type:export-only; margin-top:0cm; margin-right:0cm; margin-bottom:0cm; margin-left:36.0pt; margin-bottom:.0001pt; mso-add-space:auto; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman",serif; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast;} span.Heading1Char {mso-style-name:"Heading 1 Char"; mso-style-priority:9; mso-style-unhide:no; mso-style-locked:yes; mso-style-link:"Heading 1"; mso-ansi-font-size:14.0pt; mso-bidi-font-size:14.0pt; font-family:"Cambria",serif; mso-ascii-font-family:Cambria; mso-ascii-theme-font:major-latin; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:major-fareast; mso-hansi-font-family:Cambria; mso-hansi-theme-font:major-latin; mso-bidi-font-family:"Times New Roman"; mso-bidi-theme-font:major-bidi; color:#365F91; mso-themecolor:accent1; mso-themeshade:191; font-weight:bold;} span.Heading2Char {mso-style-name:"Heading 2 Char"; mso-style-noshow:yes; mso-style-priority:9; mso-style-unhide:no; mso-style-locked:yes; mso-style-link:"Heading 2"; mso-ansi-font-size:13.0pt; mso-bidi-font-size:13.0pt; font-family:"Cambria",serif; mso-ascii-font-family:Cambria; mso-ascii-theme-font:major-latin; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:major-fareast; mso-hansi-font-family:Cambria; mso-hansi-theme-font:major-latin; mso-bidi-font-family:"Times New Roman"; mso-bidi-theme-font:major-bidi; color:#4F81BD; mso-themecolor:accent1; font-weight:bold;} span.Heading3Char {mso-style-name:"Heading 3 Char"; mso-style-noshow:yes; mso-style-priority:9; mso-style-unhide:no; mso-style-locked:yes; mso-style-link:"Heading 3"; mso-ansi-font-size:12.0pt; mso-bidi-font-size:12.0pt; font-family:"Cambria",serif; mso-ascii-font-family:Cambria; mso-ascii-theme-font:major-latin; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:major-fareast; mso-hansi-font-family:Cambria; mso-hansi-theme-font:major-latin; mso-bidi-font-family:"Times New Roman"; mso-bidi-theme-font:major-bidi; color:#4F81BD; mso-themecolor:accent1; font-weight:bold;} span.Heading4Char {mso-style-name:"Heading 4 Char"; mso-style-noshow:yes; mso-style-priority:9; mso-style-unhide:no; mso-style-locked:yes; mso-style-link:"Heading 4"; mso-ansi-font-size:12.0pt; mso-bidi-font-size:12.0pt; font-family:"Cambria",serif; mso-ascii-font-family:Cambria; mso-ascii-theme-font:major-latin; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:major-fareast; mso-hansi-font-family:Cambria; mso-hansi-theme-font:major-latin; mso-bidi-font-family:"Times New Roman"; mso-bidi-theme-font:major-bidi; color:#365F91; mso-themecolor:accent1; mso-themeshade:191; font-style:italic;} p.msonormal0, li.msonormal0, div.msonormal0 {mso-style-name:msonormal; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-margin-top-alt:auto; margin-right:0cm; mso-margin-bottom-alt:auto; margin-left:0cm; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman",serif; mso-fareast-font-family:"Times New Roman";} span.PlainTextChar {mso-style-name:"Plain Text Char"; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-style-locked:yes; mso-style-link:"Plain Text"; mso-bidi-font-size:10.5pt; font-family:Consolas; mso-ascii-font-family:Consolas; mso-hansi-font-family:Consolas; mso-bidi-font-family:Arial;} span.BalloonTextChar {mso-style-name:"Balloon Text Char"; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-style-locked:yes; mso-style-link:"Balloon Text"; mso-ansi-font-size:8.0pt; mso-bidi-font-size:8.0pt; font-family:"Tahoma",sans-serif; mso-ascii-font-family:Tahoma; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast; mso-hansi-font-family:Tahoma; mso-bidi-font-family:Tahoma;} span.PubNumberedChar {mso-style-name:"PubNumbered Char"; mso-style-unhide:no; mso-style-locked:yes; mso-style-link:PubNumbered; mso-ansi-font-size:12.0pt; mso-bidi-font-size:12.0pt;} p.PubNumbered, li.PubNumbered, div.PubNumbered {mso-style-name:PubNumbered; mso-style-noshow:yes; mso-style-priority:99; mso-style-unhide:no; mso-style-qformat:yes; mso-style-link:"PubNumbered Char"; margin-top:12.0pt; margin-right:0cm; margin-bottom:0cm; margin-left:21.6pt; margin-bottom:.0001pt; text-indent:-21.6pt; mso-pagination:widow-orphan; font-size:12.0pt; font-family:"Times New Roman",serif; mso-fareast-font-family:"Times New Roman";} span.apple-style-span {mso-style-name:apple-style-span; mso-style-unhide:no;} span.SpellE {mso-style-name:""; mso-spl-e:yes;} span.GramE {mso-style-name:""; mso-gram-e:yes;} .MsoChpDefault {mso-style-type:export-only; mso-default-props:yes; font-size:10.0pt; mso-ansi-font-size:10.0pt; mso-bidi-font-size:10.0pt;} @page WordSection1 {size:612.0pt 792.0pt; margin:72.0pt 72.0pt 72.0pt 72.0pt; mso-header-margin:36.0pt; mso-footer-margin:36.0pt; mso-paper-source:0;} div.WordSection1 {page:WordSection1;} /* List Definitions */ @list l0 {mso-list-id:2830628; mso-list-template-ids:1953138822;} @list l0:level1 {mso-level-tab-stop:18.0pt; mso-level-number-position:left; margin-left:18.0pt; text-indent:-18.0pt; mso-ansi-font-size:10.0pt;} @list l0:level2 {mso-level-tab-stop:54.0pt; mso-level-number-position:left; margin-left:54.0pt; text-indent:-18.0pt;} @list l0:level3 {mso-level-tab-stop:90.0pt; mso-level-number-position:left; margin-left:90.0pt; text-indent:-18.0pt;} @list l0:level4 {mso-level-tab-stop:126.0pt; mso-level-number-position:left; margin-left:126.0pt; text-indent:-18.0pt;} @list l0:level5 {mso-level-tab-stop:162.0pt; mso-level-number-position:left; margin-left:162.0pt; text-indent:-18.0pt;} @list l0:level6 {mso-level-tab-stop:198.0pt; mso-level-number-position:left; margin-left:198.0pt; text-indent:-18.0pt;} @list l0:level7 {mso-level-tab-stop:234.0pt; mso-level-number-position:left; margin-left:234.0pt; text-indent:-18.0pt;} @list l0:level8 {mso-level-tab-stop:270.0pt; mso-level-number-position:left; margin-left:270.0pt; text-indent:-18.0pt;} @list l0:level9 {mso-level-tab-stop:306.0pt; mso-level-number-position:left; margin-left:306.0pt; text-indent:-18.0pt;} @list l1 {mso-list-id:420755276; mso-list-template-ids:1435504802;} @list l1:level1 {mso-level-number-format:bullet; mso-level-text:·ð; mso-level-tab-stop:18.0pt; mso-level-number-position:left; margin-left:18.0pt; text-indent:-18.0pt; mso-ansi-font-size:10.0pt; font-family:Symbol;} @list l1:level2 {mso-level-tab-stop:54.0pt; mso-level-number-position:left; margin-left:54.0pt; text-indent:-18.0pt;} @list l1:level3 {mso-level-tab-stop:90.0pt; mso-level-number-position:left; margin-left:90.0pt; text-indent:-18.0pt;} @list l1:level4 {mso-level-tab-stop:126.0pt; mso-level-number-position:left; margin-left:126.0pt; text-indent:-18.0pt;} @list l1:level5 {mso-level-tab-stop:162.0pt; mso-level-number-position:left; margin-left:162.0pt; text-indent:-18.0pt;} @list l1:level6 {mso-level-tab-stop:198.0pt; mso-level-number-position:left; margin-left:198.0pt; text-indent:-18.0pt;} @list l1:level7 {mso-level-tab-stop:234.0pt; mso-level-number-position:left; margin-left:234.0pt; text-indent:-18.0pt;} @list l1:level8 {mso-level-tab-stop:270.0pt; mso-level-number-position:left; margin-left:270.0pt; text-indent:-18.0pt;} @list l1:level9 {mso-level-tab-stop:306.0pt; mso-level-number-position:left; margin-left:306.0pt; text-indent:-18.0pt;} ol {margin-bottom:0cm;} ul {margin-bottom:0cm;} --> </style> <!--[if gte mso 10]> <style> /* Style Definitions */ table.MsoNormalTable {mso-style-name:"Table Normal"; mso-tstyle-rowband-size:0; mso-tstyle-colband-size:0; mso-style-noshow:yes; mso-style-priority:99; mso-style-parent:""; mso-padding-alt:0cm 5.4pt 0cm 5.4pt; mso-para-margin:0cm; mso-para-margin-bottom:.0001pt; mso-pagination:widow-orphan; font-size:10.0pt; font-family:"Times New Roman",serif;} </style> <![endif]--> <meta content="This is the homepage of Assaf Marron" name=Description> <meta content="assaf marron, marron, weizmann institute of science, behavioral programming" name=Keywords> <meta content=ALL name=Robots> <meta content="Assaf Marron" name=Author> <!--[if gte mso 9]><xml> <o:shapedefaults v:ext="edit" spidmax="1026"/> </xml><![endif]--><!--[if gte mso 9]><xml> <o:shapelayout v:ext="edit"> <o:idmap v:ext="edit" data="1"/> </o:shapelayout></xml><![endif]--> </head> <body bgcolor=white lang=EN-US link=darkblue vlink=black style='tab-interval: 36.0pt' alink=black ?#F6F5E6?> <div class=WordSection1> <div align=center> <table class=MsoNormalTable border=0 cellspacing=3 cellpadding=0 style='mso-cellspacing:1.5pt;mso-yfti-tbllook:1184;mso-padding-alt:0cm 5.4pt 0cm 5.4pt'> <tr style='mso-yfti-irow:0;mso-yfti-firstrow:yes'> <td rowspan=2 style='padding:.75pt .75pt .75pt .75pt'> <p class=MsoNormal><font size=3 face="Times New Roman"><span style='font-size:12.0pt'><a href="http://www.weizmann.ac.il/"><font face=Calibri><span style='font-family:"Calibri",sans-serif;mso-ascii-theme-font: minor-latin;mso-fareast-font-family:"Times New Roman";mso-hansi-theme-font: minor-latin;mso-bidi-theme-font:minor-latin;mso-no-proof:yes;text-decoration: none;text-underline:none'><img border=0 width=135 height=62 id="_x0000_i1209" src="index_files/mhtB8D(1).tmp" alt="Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: Description: [LOGO]"></span></font></a></span></font><font face=Calibri><span style='font-family:"Calibri",sans-serif;mso-ascii-theme-font: minor-latin;mso-fareast-font-family:"Times New Roman";mso-hansi-theme-font: minor-latin;mso-bidi-theme-font:minor-latin'><o:p></o:p></span></font></p> </td> <td valign=bottom style='padding:.75pt .75pt .75pt .75pt'> <p class=MsoNormal><strong><b><font size=4 color="#003333" face=Calibri><span style='font-size:13.5pt;font-family:"Calibri",sans-serif;mso-ascii-theme-font: minor-latin;mso-fareast-font-family:"Times New Roman";mso-hansi-theme-font: minor-latin;mso-bidi-theme-font:minor-latin;color:#003333'><nobr>Faculty of Mathematics and Computer Science </span></font></b></strong><font face=Calibri><span style='font-family:"Calibri",sans-serif;mso-ascii-theme-font: minor-latin;mso-fareast-font-family:"Times New Roman";mso-hansi-theme-font: minor-latin;mso-bidi-theme-font:minor-latin'><o:p></o:p></span></font></p> </td> </tr> <tr style='mso-yfti-irow:1;mso-yfti-lastrow:yes'> <td valign=top style='padding:.75pt .75pt .75pt .75pt'> <p class=MsoNormal><strong><b><font size=4 color="#003333" face=Calibri><span style='font-size:13.5pt;font-family:"Calibri",sans-serif;mso-ascii-theme-font: minor-latin;mso-fareast-font-family:"Times New Roman";mso-hansi-theme-font: minor-latin;mso-bidi-theme-font:minor-latin;color:#003333'><nobr>The Weizmann Institute of Science </span></font></b></strong><font face=Calibri><span style='font-family:"Calibri",sans-serif;mso-ascii-theme-font:minor-latin; mso-fareast-font-family:"Times New Roman";mso-hansi-theme-font:minor-latin; mso-bidi-theme-font:minor-latin'><o:p></o:p></span></font></p> </td> </tr> </table> </div> <div class=MsoNormal align=center style='text-align:center'><font size=3 face=Calibri><span style='font-size:12.0pt;font-family:"Calibri",sans-serif; mso-ascii-theme-font:minor-latin;mso-fareast-font-family:"Times New Roman"; mso-hansi-theme-font:minor-latin;mso-bidi-theme-font:minor-latin'> <hr size=3 width="100%" noshade style='color:#003333' align=center> </span></font></div> <h1><b><font size=6 color="#003333" face=Calibri><span style='font-size:24.0pt; font-family:"Calibri",sans-serif;mso-ascii-theme-font:minor-latin;mso-fareast-font-family: "Times New Roman";mso-hansi-theme-font:minor-latin;mso-bidi-theme-font:minor-latin'><span style='mso-spacerun:yes'>   </span><span style='mso-no-proof:yes'><!--[if gte vml 1]><v:shapetype id="_x0000_t75" coordsize="21600,21600" o:spt="75" o:preferrelative="t" path="m@4@5l@4@11@9@11@9@5xe" filled="f" stroked="f"> <v:stroke joinstyle="miter"/> <v:formulas> <v:f eqn="if lineDrawn pixelLineWidth 0"/> <v:f eqn="sum @0 1 0"/> <v:f eqn="sum 0 0 @1"/> <v:f eqn="prod @2 1 2"/> <v:f eqn="prod @3 21600 pixelWidth"/> <v:f eqn="prod @3 21600 pixelHeight"/> <v:f eqn="sum @0 0 1"/> <v:f eqn="prod @6 1 2"/> <v:f eqn="prod @7 21600 pixelWidth"/> <v:f eqn="sum @8 21600 0"/> <v:f eqn="prod @7 21600 pixelHeight"/> <v:f eqn="sum @10 21600 0"/> </v:formulas> <v:path o:extrusionok="f" gradientshapeok="t" o:connecttype="rect"/> <o:lock v:ext="edit" aspectratio="t"/> </v:shapetype><v:shape id="Picture_x0020_1" o:spid="_x0000_i1208" type="#_x0000_t75" style='width:86.4pt;height:91.8pt;visibility:visible;mso-wrap-style:square'> <v:imagedata src="index_files/image001.jpg" o:title=""/> </v:shape><![endif]--><![if !vml]><img border=0 width=115 height=122 src="index_files/image002.jpg" v:shapes="Picture_x0020_1"><![endif]></span><span style='mso-spacerun:yes'>   </span></span></font></b><font size=6 face=Calibri><span style='font-size:22.0pt;font-family:"Calibri",sans-serif;mso-ascii-theme-font: minor-latin;mso-fareast-font-family:"Times New Roman";mso-hansi-theme-font: minor-latin;mso-bidi-theme-font:minor-latin'>Dr. Assaf Marron</span></font><font face=Calibri><span style='font-family:"Calibri",sans-serif;mso-ascii-theme-font: minor-latin;mso-fareast-font-family:"Times New Roman";mso-hansi-theme-font: minor-latin;mso-bidi-theme-font:minor-latin'><span style='mso-spacerun:yes'>     </span></span></font><font size=6 face=Calibri><span lang=HE dir=RTL style='font-size:22.0pt;font-family:"Calibri",sans-serif; mso-ascii-theme-font:minor-latin;mso-fareast-font-family:"Times New Roman"; mso-hansi-theme-font:minor-latin;mso-bidi-theme-font:minor-latin'>Ó&quot;è Ðáã ÞèÕß</span></font><font face=Calibri><span style='font-family:"Calibri",sans-serif; mso-ascii-theme-font:minor-latin;mso-fareast-font-family:"Times New Roman"; mso-hansi-theme-font:minor-latin;mso-bidi-theme-font:minor-latin'><o:p></o:p></span></font></h1> <table class=MsoNormalTable border=0 cellspacing=3 cellpadding=0 style='mso-cellspacing:1.5pt;mso-yfti-tbllook:1184;mso-padding-alt:0cm 5.4pt 0cm 5.4pt'> <tr style='mso-yfti-irow:0;mso-yfti-firstrow:yes'> <td style='padding:.75pt .75pt .75pt .75pt'> <p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt; font-family:"Calibri",sans-serif;mso-ascii-theme-font:minor-latin;mso-fareast-font-family: "Times New Roman";mso-hansi-theme-font:minor-latin;mso-bidi-theme-font:minor-latin'>Researcher in </span></font><span class=MsoHyperlink><u><font color=blue face=Calibri><span style='font-family:"Calibri",sans-serif;mso-ascii-theme-font:minor-latin; mso-hansi-theme-font:minor-latin;mso-bidi-theme-font:minor-latin;color:blue'><a href="http://www.wisdom.weizmann.ac.il/~harel/" target="_blank"><font color=blue><span style='mso-fareast-font-family:"Times New Roman";color:blue'>Prof. David Harel</span></font></a></span></font></u></span><font face=Calibri><span style='font-family:"Calibri",sans-serif;mso-ascii-theme-font:minor-latin; mso-fareast-font-family:"Times New Roman";mso-hansi-theme-font:minor-latin; mso-bidi-theme-font:minor-latin'> s group<span style='mso-spacerun:yes'>  </span><o:p></o:p></span></font></p> </td> </tr> <tr style='mso-yfti-irow:1'> <td style='padding:.75pt .75pt .75pt .75pt'> <p class=MsoNormal><strong><b><font size=3 face=Calibri><span style='font-size:12.0pt;font-family:"Calibri",sans-serif;mso-ascii-theme-font: minor-latin;mso-fareast-font-family:"Times New Roman";mso-hansi-theme-font: minor-latin;mso-bidi-theme-font:minor-latin'>E-mail:<span style='mso-spacerun:yes'>   </span></span></font></b></strong><font face=Calibri><span style='font-family:"Calibri",sans-serif;mso-ascii-theme-font: minor-latin;mso-hansi-theme-font:minor-latin;mso-bidi-theme-font:minor-latin'><span style='mso-spacerun:yes'> </span></span></font><font face=Calibri><span style='font-family:"Calibri",sans-serif;mso-ascii-theme-font:minor-latin; mso-fareast-font-family:"Times New Roman";mso-hansi-theme-font:minor-latin; mso-bidi-theme-font:minor-latin'><a href="mailto:assaf.marron@weizmann.ac.il">assaf.marron@weizmann.ac.il</a>; <br> <span style='mso-spacerun:yes'>                 </span><a href="mailto:assaf.marron@gmail.com">assaf.marron@gmail.com</a> <o:p></o:p></span></font></p> <p class=MsoNormal><b><font size=3 face=Calibri><span style='font-size:12.0pt; font-family:"Calibri",sans-serif;mso-ascii-theme-font:minor-latin;mso-fareast-font-family: "Times New Roman";mso-hansi-theme-font:minor-latin;mso-bidi-theme-font:minor-latin; font-weight:bold'>Phone:</span></font></b><font face=Calibri><span style='font-family:"Calibri",sans-serif;mso-ascii-theme-font:minor-latin; mso-fareast-font-family:"Times New Roman";mso-hansi-theme-font:minor-latin; mso-bidi-theme-font:minor-latin'><span style='mso-spacerun:yes'>     </span>+972-8-934-4313<o:p></o:p></span></font></p> <p class=MsoNormal><b><font size=3 face=Calibri><span style='font-size:12.0pt; font-family:"Calibri",sans-serif;mso-ascii-theme-font:minor-latin;mso-fareast-font-family: "Times New Roman";mso-hansi-theme-font:minor-latin;mso-bidi-theme-font:minor-latin; font-weight:bold'>Office:<span style='mso-spacerun:yes'>    </span></span></font></b><font face=Calibri><span style='font-family:"Calibri",sans-serif;mso-ascii-theme-font: minor-latin;mso-fareast-font-family:"Times New Roman";mso-hansi-theme-font: minor-latin;mso-bidi-theme-font:minor-latin'>Ziskind Building, room 263<b><span style='font-weight:bold'><o:p></o:p></span></b></span></font></p> <p class=MsoNormal><b><font size=3 face=Calibri><span style='font-size:12.0pt; font-family:"Calibri",sans-serif;mso-ascii-theme-font:minor-latin;mso-fareast-font-family: "Times New Roman";mso-hansi-theme-font:minor-latin;mso-bidi-theme-font:minor-latin; font-weight:bold'>Address:</span></font></b><font face=Calibri><span style='font-family:"Calibri",sans-serif;mso-ascii-theme-font:minor-latin; mso-fareast-font-family:"Times New Roman";mso-hansi-theme-font:minor-latin; mso-bidi-theme-font:minor-latin'> <span class=SpellE>P.O.B</span>. 26 Rehovot 76100, Israel<span style='mso-spacerun:yes'>  </span><b><span style='font-weight:bold'><o:p></o:p></span></b></span></font></p> </td> </tr> <tr style='mso-yfti-irow:2;mso-yfti-lastrow:yes'> <!--<TD><STRONG>Office: </STRONG>Ziskind 304, phone: 2651 (+972.8.934.2651) </TD>--> <td style='padding:.75pt .75pt .75pt .75pt'></td> </tr> </table> <div class=MsoNormal align=center style='text-align:center'><font size=3 face=Calibri><span style='font-size:12.0pt;font-family:"Calibri",sans-serif; mso-ascii-theme-font:minor-latin;mso-fareast-font-family:"Times New Roman"; mso-hansi-theme-font:minor-latin;mso-bidi-theme-font:minor-latin'> <hr size=3 width="100%" noshade style='color:#003333' align=center> </span></font></div> <p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt; font-family:"Calibri",sans-serif;mso-ascii-theme-font:minor-latin;mso-fareast-font-family: "Times New Roman";mso-hansi-theme-font:minor-latin;mso-bidi-theme-font:minor-latin'><br> <br> <font color=black><span style='color:black'>My current research interests include biological </span></font></span></font><font face=Calibri><span style='font-family:"Calibri",sans-serif;mso-ascii-theme-font:minor-latin; mso-hansi-theme-font:minor-latin;mso-bidi-theme-font:minor-latin'>evolution theory and its modeling, </span></font><font color=black face=Calibri><span style='font-family:"Calibri",sans-serif;mso-ascii-theme-font:minor-latin; mso-fareast-font-family:"Times New Roman";mso-hansi-theme-font:minor-latin; mso-bidi-theme-font:minor-latin;color:black'>software engineering, </span></font><font face=Calibri><span style='font-family:"Calibri",sans-serif;mso-ascii-theme-font: minor-latin;mso-hansi-theme-font:minor-latin;mso-bidi-theme-font:minor-latin'>machine learning, </span></font><font color=black face=Calibri><span style='font-family: "Calibri",sans-serif;mso-ascii-theme-font:minor-latin;mso-fareast-font-family: "Times New Roman";mso-hansi-theme-font:minor-latin;mso-bidi-theme-font:minor-latin; color:black'>scenario-</span></font><font face=Calibri><span style='font-family: "Calibri",sans-serif;mso-ascii-theme-font:minor-latin;mso-hansi-theme-font: minor-latin;mso-bidi-theme-font:minor-latin'>based / behavioral programming, software verification, and linguistics.<br style='mso-special-character:line-break'> <![if !supportLineBreakNewLine]><br style='mso-special-character:line-break'> <![endif]></span></font><font face=Calibri><span style='font-family:"Calibri",sans-serif; mso-ascii-theme-font:minor-latin;mso-fareast-font-family:"Times New Roman"; mso-hansi-theme-font:minor-latin;mso-bidi-theme-font:minor-latin'><o:p></o:p></span></font></p> <p class=MsoNormal><font size=3 face=Calibri><span style='font-size:12.0pt; font-family:"Calibri",sans-serif;mso-ascii-theme-font:minor-latin;mso-fareast-font-family: "Times New Roman";mso-hansi-theme-font:minor-latin;mso-bidi-theme-font:minor-latin'>Prior to joining the Weizmann institute I was a corporate architect at BMC software and worked<br> in advanced system design at IBM laboratories in Poughkeepsie, NY. See more at<a href="http://il.linkedin.com/in/assafmarron"><font color=black><span style='mso-fareast-font-family:"Times New Roman";mso-fareast-theme-font:minor-fareast; color:windowtext;text-decoration:none;text-underline:none'> </span></font><font color=blue><span style='mso-fareast-font-family:"Times New Roman";mso-fareast-theme-font: minor-fareast;color:blue;text-decoration:none;text-underline:none'>LinkedIn</span></font></a>;<span style='mso-spacerun:yes'>  </span></span></font><font face=Calibri><span style='font-family:"Calibri",sans-serif;mso-ascii-theme-font:minor-latin; mso-hansi-theme-font:minor-latin;mso-bidi-theme-font:minor-latin'><o:p></o:p></span></font></p> <div class=MsoNormal align=center style='text-align:center'><font size=3 face=Calibri><span style='font-size:12.0pt;font-family:"Calibri",sans-serif; mso-ascii-theme-font:minor-latin;mso-fareast-font-family:"Times New Roman"; mso-hansi-theme-font:minor-latin;mso-bidi-theme-font:minor-latin'> <hr size=3 width="100%" noshade style='color:#003333' align=center> </span></font></div> <h2><b><font size=5 color="#003333" face=Calibri><span style='font-size:18.0pt; font-family:"Calibri",sans-serif;mso-ascii-theme-font:minor-latin;mso-fareast-font-family: "Times New Roman";mso-hansi-theme-font:minor-latin;mso-bidi-theme-font:minor-latin'>Publications<span style='mso-spacerun:yes'>  </span></span></font></b><font size=1 face=Calibri><span style='font-size:8.0pt;font-family:"Calibri",sans-serif;mso-ascii-theme-font: minor-latin;mso-fareast-font-family:"Times New Roman";mso-hansi-theme-font: minor-latin;mso-bidi-theme-font:minor-latin;font-weight:normal'>(Last updated 03/2023. Please feel free to contact me if you need a copy of a paper.) </span></font><font face=Calibri><span style='font-family:"Calibri",sans-serif;mso-ascii-theme-font: minor-latin;mso-fareast-font-family:"Times New Roman";mso-hansi-theme-font: minor-latin;mso-bidi-theme-font:minor-latin'><o:p></o:p></span></font></h2> <p class=PubNumbered style='margin-left:0cm;text-indent:0cm'><font size=3 face=Calibri><span style='font-size:12.0pt;font-family:"Calibri",sans-serif; mso-ascii-theme-font:minor-latin;mso-hansi-theme-font:minor-latin;mso-bidi-theme-font: minor-latin'>See also <span class=SpellE>DBLP</span> page at </span></font><span class=MsoHyperlink><u><font color=blue face=Calibri><span style='font-family: "Calibri",sans-serif;mso-ascii-theme-font:minor-latin;mso-fareast-font-family: "Times New Roman";mso-fareast-theme-font:minor-fareast;mso-hansi-theme-font: minor-latin;mso-bidi-theme-font:minor-latin;color:blue'><a href="https://dblp.org/pers/hd/m/Marron:Assaf"><font color=blue><span style='color:blue'>https://dblp.org/pers/hd/m/Marron:Assaf</span></font></a></span></font></u></span><font face=Calibri><span style='font-family:"Calibri",sans-serif;mso-ascii-theme-font: minor-latin;mso-hansi-theme-font:minor-latin;mso-bidi-theme-font:minor-latin'> <o:p></o:p></span></font></p> <p class=PubNumbered><font size=3 face=Calibri><span style='font-size:12.0pt; font-family:"Calibri",sans-serif;mso-ascii-theme-font:minor-latin;mso-hansi-theme-font: minor-latin;mso-bidi-theme-font:minor-latin'>59. Assaf Marron, Irun Cohen, Guy Frankel, David Harel, and Smadar Szekely,  Challenges in Modeling and Unmodeling Complex Reactive Systems: Interaction Networks, Reaction to Emergent Effects, Reactive Rule <span class=GramE>Composition,</span> and Multiple Time Scales . Springer <span class=SpellE>CCIS</span> extended version of selected papers from <span class=SpellE>Modelsward</span> 2023. <span class=GramE>To Appear.</span> <o:p></o:p></span></font></p> <p class=PubNumbered><font size=3 face=Calibri><span style='font-size:12.0pt; font-family:"Calibri",sans-serif;mso-ascii-theme-font:minor-latin;mso-hansi-theme-font: minor-latin;mso-bidi-theme-font:minor-latin'>58. D. Harel, R. Yerushalmi, A. Marron, and A. Elyasaf,  Categorizing methods for integrating machine learning with executable specifications , Science China Information Sciences, January 2024, Vol. 67 :1 :13 <a href="https://doi.org/10.1007/s11432-022-3826-6">https://doi.org/10.1007/s11432-022-3826-6</a>. <span class=GramE>(To Appear).</span><o:p></o:p></span></font></p> <p class=PubNumbered><font size=3 face=Calibri><span style='font-size:12.0pt; font-family:"Calibri",sans-serif;mso-ascii-theme-font:minor-latin;mso-hansi-theme-font: minor-latin;mso-bidi-theme-font:minor-latin'>57. D. Harel, A. Marron,  Human or Machine: Reflections on Turing-Inspired Testing for the Everyday , arXiv preprint <span class=SpellE>arXiv<span class=GramE>:2305.04312</span></span>, 2023<o:p></o:p></span></font></p> <p class=PubNumbered><font size=3 face=Calibri><span style='font-size:12.0pt; font-family:"Calibri",sans-serif;mso-ascii-theme-font:minor-latin;mso-hansi-theme-font: minor-latin;mso-bidi-theme-font:minor-latin'>56. R. Yerushalmi, G. Amir, A. Elyasaf, D. Harel, G. Katz, A. Marron, 2023. <span class=GramE>Enhancing Deep Reinforcement Learning with Scenario-Based Modeling.</span> <span class=GramE>SN Computer Science, 4(2), <span class=SpellE>p.156</span>.</span><o:p></o:p></span></font></p> <p class=PubNumbered><font size=3 face=Calibri><span style='font-size:12.0pt; font-family:"Calibri",sans-serif;mso-ascii-theme-font:minor-latin;mso-hansi-theme-font: minor-latin;mso-bidi-theme-font:minor-latin'>55. I. R. Cohen and A. Marron,  Evolution is Driven by Natural Autoencoding: Reframing Species, Interaction Codes, Cooperation, and Sexual Reproduction , Proceedings of the Royal Society B. 3/2023. <span class=GramE>290</span>: 20222409. <a href="https://doi.org/10.1098/rspb.2022.2409">https://doi.org/10.1098/rspb.2022.2409</a><span style='mso-spacerun:yes'>  </span><br> <span class=GramE>( arXiv</span> preprint https://arxiv.org/abs/2203.11891, 2022)<o:p></o:p></span></font></p> <p class=PubNumbered><font size=3 face=Calibri><span style='font-size:12.0pt; font-family:"Calibri",sans-serif;mso-ascii-theme-font:minor-latin;mso-hansi-theme-font: minor-latin;mso-bidi-theme-font:minor-latin'>54. Y. Bayer, D. Harel, A. Marron, and S. Szekely,  Toward automated modeling of abstract concepts<span class=GramE>,<span style='mso-spacerun:yes'>  </span>and</span> natural phenomena: Autoencoding straight lines , MODELSWARD 2023<br> (Conference Proceedings: <a href="https://www.scitepress.org/ProceedingsDetails.aspx?ID=M/tLGjnMVq0=&amp;t=1">https://www.scitepress.org/ProceedingsDetails.aspx?ID=M/tLGjnMVq0=&amp;t=1</a>; Article: <a href="https://www.scitepress.org/PublicationsDetail.aspx?ID=N4bUguu02U8=&amp;t=1">https://www.scitepress.org/PublicationsDetail.aspx?ID=N4bUguu02U8=&amp;t=1</a>; </span></font><span class=SpellE><strong><b><font size=2 color="#555555" face=Calibri><span style='font-size:10.5pt;font-family:"Calibri",sans-serif; color:#555555;background:white'>DOI:</span></font></b></strong><font size=2 color="#555555" face=Calibri><span style='font-size:10.5pt;font-family:"Calibri",sans-serif; color:#555555;background:white'><span style='font-variant-ligatures: normal; font-variant-caps: normal;orphans: 2;text-align:start;widows: 2;-webkit-text-stroke-width: 0px; text-decoration-thickness: initial;text-decoration-style: initial;text-decoration-color: initial; float:none;word-spacing:0px'>10.5220</span></font></span><font size=2 color="#555555" face=Calibri><span style='font-size:10.5pt;font-family:"Calibri",sans-serif; color:#555555;background:white'>/0011886100003402</span>) <span style='mso-spacerun:yes'> </span></span></font><font face=Calibri><span style='font-family:"Calibri",sans-serif;mso-ascii-theme-font:minor-latin; mso-hansi-theme-font:minor-latin;mso-bidi-theme-font:minor-latin'><span style='mso-tab-count:1'>  </span><o:p></o:p></span></font></p> <p class=PubNumbered><font size=3 face=Calibri><span style='font-size:12.0pt; font-family:"Calibri",sans-serif;mso-ascii-theme-font:minor-latin;mso-hansi-theme-font: minor-latin;mso-bidi-theme-font:minor-latin'>53. A. Marron, I. R. Cohen, G. Frankel, D. Harel, and S. Szekely,  Challenges in Modeling and Unmodeling Emergence, Rule Composition, and Networked Interactions in Complex Reactive Systems MODELSWARD 2023 (Conference Proceedings: <a href="https://www.scitepress.org/ProceedingsDetails.aspx?ID=M/tLGjnMVq0=&amp;t=1">https://www.scitepress.org/ProceedingsDetails.aspx?ID=M/tLGjnMVq0=&amp;t=1</a>; Article: <a href="https://www.scitepress.org/PublicationsDetail.aspx?ID=8ETfHmA7F3A=&amp;t=1">https://www.scitepress.org/PublicationsDetail.aspx?ID=8ETfHmA7F3A=&amp;t=1</a>; </span></font><span class=SpellE><strong><b><font size=2 color="#555555" face=Calibri><span style='font-size:10.5pt;font-family:"Calibri",sans-serif; color:#555555;background:white'>DOI:</span></font></b></strong><font size=2 color="#555555" face=Calibri><span style='font-size:10.5pt;font-family:"Calibri",sans-serif; color:#555555;background:white'><span style='font-variant-ligatures: normal; font-variant-caps: normal;orphans: 2;text-align:start;widows: 2;-webkit-text-stroke-width: 0px; text-decoration-thickness: initial;text-decoration-style: initial;text-decoration-color: initial; float:none;word-spacing:0px'>10.5220</span></font></span><font size=2 color="#555555" face=Calibri><span style='font-size:10.5pt;font-family:"Calibri",sans-serif; color:#555555;background:white'>/0011728900003402</span></span></font><font face=Calibri><span style='font-family:"Calibri",sans-serif;mso-ascii-theme-font: minor-latin;mso-hansi-theme-font:minor-latin;mso-bidi-theme-font:minor-latin'>). <o:p></o:p></span></font></p> <p class=PubNumbered><font size=3 face=Calibri><span style='font-size:12.0pt; font-family:"Calibri",sans-serif;mso-ascii-theme-font:minor-latin;mso-hansi-theme-font: minor-latin;mso-bidi-theme-font:minor-latin'>52. R. Yerushalmi, G. Amir, A. Elyasaf, D. Harel, G. Katz, A. Marron,<span style='mso-spacerun:yes'>  </span> Scenario-Assisted Deep Reinforcement Learning , MODELSWARD,<span style='mso-spacerun:yes'>  </span>2022<o:p></o:p></span></font></p> <p class=PubNumbered><font size=3 face=Calibri><span style='font-size:12.0pt; font-family:"Calibri",sans-serif;mso-ascii-theme-font:minor-latin;mso-hansi-theme-font: minor-latin;mso-bidi-theme-font:minor-latin'>51.<span style='mso-tab-count: 1'>  </span>D. Harel and A. Marron,  Introducing Dynamical Systems and Chaos Early in Computer Science and Software Engineering Education can Help Advance Theory and Practice of Software Development and Computing  , ISOLA 2021. <o:p></o:p></span></font></p> <p class=PubNumbered><font size=3 face=Calibri><span style='font-size:12.0pt; font-family:"Calibri",sans-serif;mso-ascii-theme-font:minor-latin;mso-hansi-theme-font: minor-latin;mso-bidi-theme-font:minor-latin'>50.<span style='mso-tab-count: 1'>  </span>D. Harel, A. Marron and R. Yerushalmi, &quot;Scenario-Based Algorithmics: Coding Algorithms by Automatic Composition of Separate Concerns&quot;, IEEE Computer, 2021. <o:p></o:p></span></font></p> <p class=PubNumbered><span class=GramE><font size=3 face=Calibri><span style='font-size:12.0pt;font-family:"Calibri",sans-serif;mso-ascii-theme-font: minor-latin;mso-hansi-theme-font:minor-latin;mso-bidi-theme-font:minor-latin'>49.<span style='mso-spacerun:yes'>  </span><span style='mso-tab-count:1'> </span>D. Harel; A. Marron; J. Sifakis,  Creating a Foundation for Next-Generation Autonomous Systems , IEEE Design and Test, 2021.</span></font></span><font face=Calibri><span style='font-family:"Calibri",sans-serif;mso-ascii-theme-font: minor-latin;mso-hansi-theme-font:minor-latin;mso-bidi-theme-font:minor-latin'> Published online in IEEE Early Access as of <span class=GramE>April,</span> 2021 <a href="https://ieeexplore.ieee.org/document/9391694">https://ieeexplore.ieee.org/document/9391694</a> . </span></font><font size=2 color="#333333" face=Arial><span style='font-size: 10.0pt;font-family:"Arial",sans-serif;color:#333333;background:white'>&nbsp;<br> <span class=SpellE><span class=GramE>doi</span></span>: 10.1109/<span class=SpellE>MDAT.2021.3069959</span>..<span style='mso-spacerun:yes'>  </span>IEEE Des. Test 39(1): 49-56 (2022)</span></font><font face=Calibri><span style='font-family:"Calibri",sans-serif;mso-ascii-theme-font:minor-latin; mso-hansi-theme-font:minor-latin;mso-bidi-theme-font:minor-latin'><o:p></o:p></span></font></p> <p class=PubNumbered><font size=3 face=Calibri><span style='font-size:12.0pt; font-family:"Calibri",sans-serif;mso-ascii-theme-font:minor-latin;mso-hansi-theme-font: minor-latin;mso-bidi-theme-font:minor-latin'>48.<span style='mso-spacerun:yes'>  </span><span class=SpellE>I.R</span>. Cohen and A. Marron,  The evolution of universal adaptations of life is driven by universal properties of matter: energy, entropy, and interaction <br> <span class=SpellE>F1000Research</span> 2020, 9:626 (<a href="https://doi.org/10.12688/f1000research.24447.1">https://doi.org/10.12688/f1000research.24447.1</a>) <br> <a href="https://f1000research.com/articles/9-626">https://f1000research.com/articles/9-626</a> . <o:p></o:p></span></font></p> <p class=PubNumbered><font size=3 face=Calibri><span style='font-size:12.0pt; font-family:"Calibri",sans-serif;mso-ascii-theme-font:minor-latin;mso-hansi-theme-font: minor-latin;mso-bidi-theme-font:minor-latin'>47.<span style='mso-spacerun:yes'>   </span>A. Marron, L. Limonad, S. Pollack, and D. Harel,  Expecting the Unexpected: Developing Autonomous-System Design Principles for Reacting to Unpredicted Events and Conditions . 15th Int. <span class=SpellE>Symp</span>. <span class=GramE>on</span> Software Engineering for Adaptive and Self-Managing Systems (SEAMS), 2020<span style='mso-spacerun:yes'>  </span>(arXiv preprint <a href="https://arxiv.org/abs/2001.06047">https://arxiv.org/abs/2001.06047</a>) <o:p></o:p></span></font></p> <p class=PubNumbered><font size=3 face=Calibri><span style='font-size:12.0pt; font-family:"Calibri",sans-serif;mso-ascii-theme-font:minor-latin;mso-hansi-theme-font: minor-latin;mso-bidi-theme-font:minor-latin'>46.<span style='mso-spacerun:yes'>  </span>D. Harel, G. Katz, A. Marron, A. Sadon, and G. Weiss  Executing Scenario-Based Specification with Dynamic Generation of Rich Events ,<span style='mso-spacerun:yes'>  </span>in <i><span style='font-style:italic'> Model-Driven Engineering and Software Development </span></i>, <span class=SpellE>CCIS</span> Vol. 1161, Springer, 2019.<span style='mso-spacerun:yes'>   </span><span style='mso-tab-count:1'>    </span><o:p></o:p></span></font></p> <p class=PubNumbered><font size=3 face=Calibri><span style='font-size:12.0pt; font-family:"Calibri",sans-serif;mso-ascii-theme-font:minor-latin;mso-hansi-theme-font: minor-latin;mso-bidi-theme-font:minor-latin'>45.<span style='mso-spacerun:yes'>  </span><span style='mso-tab-count:1'> </span>D. Harel, R, Marelly, A. Marron, S. Szekely,  Integrating Inter-Object Scenarios with <br> Intra-object Statecharts for Developing Reactive Systems . <br> IEEE Design and Test, 2020.<span style='mso-spacerun:yes'>  </span><span class=SpellE><span class=GramE>doi</span></span>: 10.1109/<span class=SpellE>MDAT.2020.3006805</span>.<br> (<span class=GramE>arXiv</span> preprint <span class=SpellE>arXiv:1911.10691</span>. 2019)<o:p></o:p></span></font></p> <p class=PubNumbered><font size=3 face=Calibri><span style='font-size:12.0pt; font-family:"Calibri",sans-serif;mso-ascii-theme-font:minor-latin;mso-hansi-theme-font: minor-latin;mso-bidi-theme-font:minor-latin'>44.<span style='mso-spacerun:yes'>  </span><span style='mso-tab-count:1'> </span>D. Harel, A. Marron, and J. Sifakis,  Autonomics: In Search of a Foundation for Next Generation Autonomous Systems. <br> Proceedings of National Academy of Sciences (PNAS) 2020 <br> (arXiv preprint <span class=SpellE>arXiv<span class=GramE>:1911.07133</span></span>,<span style='mso-spacerun:yes'>  </span>2019).<o:p></o:p></span></font></p> <p class=PubNumbered><font size=3 face=Calibri><span style='font-size:12.0pt; font-family:"Calibri",sans-serif;mso-ascii-theme-font:minor-latin;mso-hansi-theme-font: minor-latin;mso-bidi-theme-font:minor-latin'>43.<span style='mso-spacerun:yes'>  </span>G. Katz, A. Marron, A. Sadon, and G. Weiss,  On-the-Fly Construction of Composite <span class=GramE>Events<span style='mso-spacerun:yes'>  </span>in</span> Scenario-Based Modeling Using Constraint Solvers , Proc. 7th Int. Conf. on Model-Driven Engineering and Software Development MODELSWARD, 2019.<o:p></o:p></span></font></p> <p class=PubNumbered><font size=3 face=Calibri><span style='font-size:12.0pt; font-family:"Calibri",sans-serif;mso-ascii-theme-font:minor-latin;mso-hansi-theme-font: minor-latin;mso-bidi-theme-font:minor-latin'>42.<span style='mso-spacerun:yes'>  </span>H. Lapid, A. Marron, S. Szekely, and D. Harel,  Using Reactive-System Modeling Techniques to Create Executable Models of Biochemical Pathways , Proc. 7th Int. Conf. on Model-Driven Engineering and Software Development MODELSWARD, 2019. <o:p></o:p></span></font></p> <p class=PubNumbered><font size=3 face=Calibri><span style='font-size:12.0pt; font-family:"Calibri",sans-serif;mso-ascii-theme-font:minor-latin;mso-hansi-theme-font: minor-latin;mso-bidi-theme-font:minor-latin'>41.<span style='mso-spacerun:yes'>  </span><span style='mso-tab-count:1'> </span>D. Harel, A. Marron, A. Rosenfeld, M. Vardi, and G. Weiss,  Labor Division with Movable Walls: Composing Executable Specifications with Machine Learning and Search (Blue Sky Idea). In Proceedings of the AAAI Conference on Artificial Intelligence (Vol. 33, pp. 9770-9774), 2019 <o:p></o:p></span></font></p> <p class=PubNumbered><font size=3 face=Calibri><span style='font-size:12.0pt; font-family:"Calibri",sans-serif;mso-ascii-theme-font:minor-latin;mso-hansi-theme-font: minor-latin;mso-bidi-theme-font:minor-latin'>40.<span style='mso-spacerun:yes'>  </span>S. Pollack, O. Meerbaum Salant, A. Marron, B. Haberman,  An Approach To Enhancing Advanced Computational Problem Solving And Critical Thinking Skills. <span class=GramE>11th</span> International Conference of Education, Research and Innovation (<span class=SpellE>ICERI</span>) 2018.<span style='mso-spacerun:yes'>  </span><o:p></o:p></span></font></p> <p class=PubNumbered><font size=3 face=Calibri><span style='font-size:12.0pt; font-family:"Calibri",sans-serif;mso-ascii-theme-font:minor-latin;mso-hansi-theme-font: minor-latin;mso-bidi-theme-font:minor-latin'>39. J. Greenyer, M. Bar-Sinai, G. Weiss, A. Sadon and A. Marron,  Modeling And Programming A Leader-Follower Challenge Problem With Scenario-Based Tools , <span class=SpellE>MDETOOLS</span> workshop at <span class=SpellE>MoDELS</span>, 2018.<span style='mso-spacerun:yes'>  </span><a href="LeaderFollower.pdf">PDF</a><o:p></o:p></span></font></p> <p class=PubNumbered><font size=3 face=Calibri><span style='font-size:12.0pt; font-family:"Calibri",sans-serif;mso-ascii-theme-font:minor-latin;mso-hansi-theme-font: minor-latin;mso-bidi-theme-font:minor-latin'>38. A. Elyasaf, A. Marron, A. Sturm and G. Weiss,  A Context-Based Behavioral Language for <span class=SpellE>IoT</span> , MORSE workshop ate <span class=SpellE>MoDELS</span>, 2018.<span style='mso-spacerun:yes'>  </span>[<a href="MORSE18ContextBPIoT.pdf">PDF</a>]<o:p></o:p></span></font></p> <p class=PubNumbered><font size=3 face=Calibri><span style='font-size:12.0pt; font-family:"Calibri",sans-serif;mso-ascii-theme-font:minor-latin;mso-hansi-theme-font: minor-latin;mso-bidi-theme-font:minor-latin'>37.<span style='mso-spacerun:yes'>  </span><span style='mso-tab-count:1'> </span>A. Marron, Y. <span class=SpellE>Hacohen</span>, D. Harel, A. <span class=SpellE>Mülder</span> and A. Terfloth,<span style='mso-spacerun:yes'>   </span><span style='mso-tab-count:1'>  </span> Embedding Scenario-based Modeling in Statecharts <span class=GramE>,<span style='mso-spacerun:yes'>  </span>MORSE</span> workshop at <span class=SpellE>MoDELS</span>, 2018. <o:p></o:p></span></font></p> <p class=PubNumbered><font size=3 face=Calibri><span style='font-size:12.0pt; font-family:"Calibri",sans-serif;mso-ascii-theme-font:minor-latin;mso-hansi-theme-font: minor-latin;mso-bidi-theme-font:minor-latin'>36.<span style='mso-spacerun:yes'>  </span><span style='mso-tab-count:1'> </span>J. Greenyer, D. Gritzner, D. Harel and A. Marron, &quot;Towards Automated Defect Analysis using Execution Traces of Scenario-based Models&quot;, in  <i><span style='font-style:italic'>Model-Driven Engineering and Software Development</span></i> (pp. 335-354). Springer, Cham.<o:p></o:p></span></font></p> <p class=PubNumbered><font size=3 face=Calibri><span style='font-size:12.0pt; font-family:"Calibri",sans-serif;mso-ascii-theme-font:minor-latin;mso-hansi-theme-font: minor-latin;mso-bidi-theme-font:minor-latin'>35.<span style='mso-spacerun:yes'>  </span><span style='mso-tab-count:1'> </span>D. Harel and A. Marron, &quot;Toward Scenario-Based Algorithmics&quot;, in  <i><span style='font-style:italic'>Adventures between Lower Bounds and Higher Altitudes</span></i> , Springer, 2018 <o:p></o:p></span></font></p> <p class=PubNumbered><font size=3 face=Calibri><span style='font-size:12.0pt; font-family:"Calibri",sans-serif;mso-ascii-theme-font:minor-latin;mso-hansi-theme-font: minor-latin;mso-bidi-theme-font:minor-latin'>34.<span style='mso-spacerun:yes'>  </span><span style='mso-tab-count:1'> </span>J. Greenyer, D. Gritzner, D. Harel and A. Marron,<br> &quot;Towards Systematic and Automatic Handling of Execution Traces Associated with Scenario-based Models&quot;, <br> Proc. 6th Int. Conf. on Model-Driven Engineering and Software Development (MODELSWARD `18), pp. 560-566. 2018<o:p></o:p></span></font></p> <p class=PubNumbered><font size=3 face=Calibri><span style='font-size:12.0pt; font-family:"Calibri",sans-serif;mso-ascii-theme-font:minor-latin;mso-hansi-theme-font: minor-latin;mso-bidi-theme-font:minor-latin'>33.<span style='mso-spacerun:yes'>  </span><span style='mso-tab-count:1'> </span>D. Harel, G. Katz, R. Marelly and A. Marron<span class=GramE>,</span><br>  Wise Computing: Towards Endowing System Development with Proactive Wisdom , <br> IEEE <i><span style='font-style:italic'>Computer,</span></i> 51(2): pp. 14-26,<span style='mso-spacerun:yes'>  </span>2018 <br> (Preliminary version at <a href="http://arxiv.org/abs/1501.05924">http://arxiv.org/abs/1501.05924</a><span style='mso-spacerun:yes'>   </span>2015.)<o:p></o:p></span></font></p> <p class=PubNumbered><font size=3 face=Calibri><span style='font-size:12.0pt; font-family:"Calibri",sans-serif;mso-ascii-theme-font:minor-latin;mso-hansi-theme-font: minor-latin;mso-bidi-theme-font:minor-latin'>32.<span style='mso-spacerun:yes'>  </span><span style='mso-tab-count:1'> </span>A. Marron<span class=GramE>,</span><br>  A Reactive Specification Formalism for Enhancing System Development, Analysis and Adaptivity ,<br> 15th ACM-IEEE International Conference on Formal Methods and Models for System Design (<span class=SpellE>MEMOCODE</span>), 2017 [<a href="Marron2017CF1Memocode.pdf">PDF</a>]<o:p></o:p></span></font></p> <p class=PubNumbered><font size=3 face=Calibri><span style='font-size:12.0pt; font-family:"Calibri",sans-serif;mso-ascii-theme-font:minor-latin;mso-hansi-theme-font: minor-latin;mso-bidi-theme-font:minor-latin'>31.<span style='mso-spacerun:yes'>  </span><span style='mso-tab-count:1'> </span>A. Elyasaf, D. Harel, A. Marron and G. Weiss,<br>  Towards Synergistic Integration of Context-Based and Scenario-Based Development ,<br> 4th Workshop on Model-Driven Robot Software Engineering (MORSE; at <span class=SpellE>STAF</span> conference), 2017.<o:p></o:p></span></font></p> <p class=PubNumbered><font size=3 face=Calibri><span style='font-size:12.0pt; font-family:"Calibri",sans-serif;mso-ascii-theme-font:minor-latin;mso-hansi-theme-font: minor-latin;mso-bidi-theme-font:minor-latin'>30. <span style='mso-tab-count: 1'> </span>D. Harel, I. Heimlich, R. Marelly and A. Marron,<br> &quot;Crowd-Based Programming for Reactive Systems&quot;<span class=GramE>,</span><br> Proc. IEEE/ACM 4th Int. Workshop on Crowd-Sourcing in Software Engineering (CSI-SE), 2017.<o:p></o:p></span></font></p> <p class=PubNumbered><font size=3 face=Calibri><span style='font-size:12.0pt; font-family:"Calibri",sans-serif;mso-ascii-theme-font:minor-latin;mso-hansi-theme-font: minor-latin;mso-bidi-theme-font:minor-latin'>29. <span style='mso-tab-count: 1'> </span>A. Ashrov, M. Gordon, A. Marron, A. Sturm, G. Weiss,<br>  Structured Behavioral Programming Idioms <br> Evaluation and Modeling Methods for Systems Analysis and Development (<span class=SpellE>EMMSAD</span>), 2017.<o:p></o:p></span></font></p> <p class=PubNumbered><font size=3 face=Calibri><span style='font-size:12.0pt; font-family:"Calibri",sans-serif;mso-ascii-theme-font:minor-latin;mso-hansi-theme-font: minor-latin;mso-bidi-theme-font:minor-latin'>28. <span style='mso-tab-count: 1'> </span>S. Steinberg, J. Greenyer, D. Gritzner, D. Harel, G. Katz and A. Marron,<br> &quot;Distributing Scenario-Based Models: A Replicate-and-Project Approach&quot;<span class=GramE>,</span><br> Proc. 5th Int. Conf. on Model-Driven Engineering and Software Development (MODELSWARD), 2017 <a href="Distributing%20Scenario-Based%20Models%20Modelsward17.pdf">[PDF]</a><o:p></o:p></span></font></p> <p class=PubNumbered><font size=3 face=Calibri><span style='font-size:12.0pt; font-family:"Calibri",sans-serif;mso-ascii-theme-font:minor-latin;mso-hansi-theme-font: minor-latin;mso-bidi-theme-font:minor-latin'>27. <span style='mso-tab-count: 1'> </span>A. Elyasaf, A. Marron and G. Weiss,<br>  Hierarchical Live Sequence Charts ,<br> |Haifa Verification Conference (<span class=SpellE>HVC</span>), 2016, a work-in-progress poster. <a href="HVC%20Poster.pdf">[PDF]</a><o:p></o:p></span></font></p> <p class=PubNumbered><font size=3 face=Calibri><span style='font-size:12.0pt; font-family:"Calibri",sans-serif;mso-ascii-theme-font:minor-latin;mso-hansi-theme-font: minor-latin;mso-bidi-theme-font:minor-latin'>26. <span style='mso-tab-count: 1'> </span>M. Bar-Sinai, G. Weiss and A. Marron<span class=GramE>,</span><br>  Defining Semantic Variations of Diagrammatic Languages Using Behavioral Programming and Queries ,<br> in 2nd International Workshop on Executable Modeling (EXE), co-located with <span class=SpellE>MoDELS</span>, 2016<o:p></o:p></span></font></p> <p class=PubNumbered><font size=3 face=Calibri><span style='font-size:12.0pt; font-family:"Calibri",sans-serif;mso-ascii-theme-font:minor-latin;mso-hansi-theme-font: minor-latin;mso-bidi-theme-font:minor-latin'>25. <span style='mso-tab-count: 1'> </span>A. Marron, B. Arnon, A. Elyasaf, M. Gordon, G. Katz, H. Lapid, R. Marelly, D. Sherman, S. Szekely, G. Weiss, and D. Harel.<br>  Six (<span class=SpellE>Im</span><span class=GramE>)possible</span> Things before Breakfast: Building-Blocks and Design-Principles for Wise Computing ,<br> In <span class=SpellE>MoDELS</span>, 2016. (A work-in-progress poster). <a href="Models16P.pdf">[PDF (Paper)]</a> [<a href="Models2016Poster90x120.pdf">PDF (Poster)]</a><o:p></o:p></span></font></p> <p class=PubNumbered><font size=3 face=Calibri><span style='font-size:12.0pt; font-family:"Calibri",sans-serif;mso-ascii-theme-font:minor-latin;mso-hansi-theme-font: minor-latin;mso-bidi-theme-font:minor-latin'>24. <span style='mso-tab-count: 1'> </span>J. Greenyer, D. Gritzner, G. Katz, A. Marron, N. Glade, T. <span class=SpellE>Gutjahr</span>, and F. <span class=SpellE>König</span>,<br>  Distributed Execution of Scenario-Based Specifications of Structurally Dynamic Cyber-Physical Systems, <br> Procedia Technology (Proceedings of the <span class=SpellE>3nd</span> International Conference on System-Integrated Intelligence: Challenges for Product and Production Engineering, <span class=SpellE>SysInt</span> 2016), vol. 26, pp. 552-559, 2016. <span class=SpellE>doi:10.1016</span>/<span class=SpellE>j.protcy.2016.08.069</span> <o:p></o:p></span></font></p> <p class=PubNumbered><font size=3 face=Calibri><span style='font-size:12.0pt; font-family:"Calibri",sans-serif;mso-ascii-theme-font:minor-latin;mso-hansi-theme-font: minor-latin;mso-bidi-theme-font:minor-latin'>23. <span style='mso-tab-count: 1'> </span>J. Greenyer, D. Gritzner, G. Katz, and A. Marron<span class=GramE>,</span><br>  Scenario-Based Modeling and Synthesis for Reactive Systems with Dynamic System Structure in <span class=SpellE>ScenarioTools</span>, <br> in <span class=SpellE>MoDELS</span> 2016 Demo and Poster Sessions, <span class=SpellE>CEUR</span>, 2016, vol. 1725, pp. 16-32.<o:p></o:p></span></font></p> <p class=PubNumbered><font size=3 face=Calibri><span style='font-size:12.0pt; font-family:"Calibri",sans-serif;mso-ascii-theme-font:minor-latin;mso-hansi-theme-font: minor-latin;mso-bidi-theme-font:minor-latin'>22. <span style='mso-tab-count: 1'> </span>D. Harel, G. Katz, R. Marelly and A. Marron,<br> &quot;An Initial Wise Development Environment for Behavioral Models&quot;, <br> Proc. 4th Int. Conf. on Model-Driven Engineering and Software Development (MODELSWARD), Rome, Italy, February 2016.<o:p></o:p></span></font></p> <p class=PubNumbered><font size=3 face=Calibri><span style='font-size:12.0pt; font-family:"Calibri",sans-serif;mso-ascii-theme-font:minor-latin;mso-hansi-theme-font: minor-latin;mso-bidi-theme-font:minor-latin'>21. <span style='mso-tab-count: 1'> </span>D. Harel, G. Katz, R. Lampert, A. Marron, and G. Weiss<span class=GramE>,</span><br>  On the Succinctness of Idioms for Concurrent Programming ,<br> CONCUR 2015. <span class=MsoHyperlink><u><font color=blue><span style='color:blue'><a href="http://drops.dagstuhl.de/opus/volltexte/2015/5384/pdf/24.pdf"><font color=blue><span style='color:blue'>[PDF  Dagstuhl Publishing]</span></font></a></span></font></u></span> <o:p></o:p></span></font></p> <p class=PubNumbered><font size=3 face=Calibri><span style='font-size:12.0pt; font-family:"Calibri",sans-serif;mso-ascii-theme-font:minor-latin;mso-hansi-theme-font: minor-latin;mso-bidi-theme-font:minor-latin'>20. <span style='mso-tab-count: 1'> </span>D. Harel, G. Katz<span class=GramE>,<span style='mso-spacerun:yes'>  </span>A</span>. Marron, and G. Weiss,  The Effect of Concurrent Programming Idioms on Verification , Proc. 3rd Int. Conf. on Model-Driven Engineering and Software Development <span class=SpellE>Modelsward</span> 2015. <span class=MsoHyperlink><u><font color=blue><span style='color:blue'><a href="Modelsward15%20Effects.pdf"><font color=blue><span style='color:blue'>[PDF]</span></font></a></span></font></u></span> <o:p></o:p></span></font></p> <p class=PubNumbered><font size=3 face=Calibri><span style='font-size:12.0pt; font-family:"Calibri",sans-serif;mso-ascii-theme-font:minor-latin;mso-hansi-theme-font: minor-latin;mso-bidi-theme-font:minor-latin'>19. <span style='mso-tab-count: 1'> </span>D. <span class=GramE>Harel ,</span> A. Kantor, G. Katz, A. Marron, G. Weiss, G. Wiener.<br>  Towards Behavioral Programming in Distributed Architectures <span class=GramE>,</span><br> Journal of Science of Computer Programming, 2014. <font color=blue><span style='color:blue'><a href="http://dx.doi.org/10.1016/j.scico.2014.03.003"><font color=blue><span style='color:blue'>[PDF  Elsevier]</span></font></a> <a href="BPDistSCP.pdf"><font color=blue><span style='color:blue'>[PDF  Author Version]</span></font></a></span></font>. <o:p></o:p></span></font></p> <p class=PubNumbered><font size=3 face=Calibri><span style='font-size:12.0pt; font-family:"Calibri",sans-serif;mso-ascii-theme-font:minor-latin;mso-hansi-theme-font: minor-latin;mso-bidi-theme-font:minor-latin'>18. <span style='mso-tab-count: 1'> </span>A. Ashrov, A. Marron, <span class=SpellE>G.Weiss</span> and G. Wiener,  A use-case for behavioral programming: An architecture in JavaScript and <span class=SpellE>Blockly</span> for interactive applications with cross-cutting scenarios , Journal of Science of Computer Programming, 2014.<span class=MsoHyperlink><u><font color=blue><span style='color:blue'><a href="http://dx.doi.org/10.1016/j.scico.2014.01.017"><font color=blue><span style='color:blue'>[PDF  Elsevier]</span></font></a> <a href="JSBlocklySCP.pdf"><font color=blue><span style='color:blue'>[PDF  Author Version]</span></font></a></span></font></u></span> <o:p></o:p></span></font></p> <p class=PubNumbered><font size=3 face=Calibri><span style='font-size:12.0pt; font-family:"Calibri",sans-serif;mso-ascii-theme-font:minor-latin;mso-hansi-theme-font: minor-latin;mso-bidi-theme-font:minor-latin'>17. <span style='mso-tab-count: 1'> </span>D. Harel, G. Katz, A. Marron and G. Weiss,  Non-Intrusive Repair of Safety Violations in Reactive Programs , Transactions on Computational Collective Intelligence<span class=apple-style-span> </span>(<span class=SpellE>TCCI</span>). 2014.<span style='mso-spacerun:yes'>  </span><o:p></o:p></span></font></p> <p class=PubNumbered><font size=3 face=Calibri><span style='font-size:12.0pt; font-family:"Calibri",sans-serif;mso-ascii-theme-font:minor-latin;mso-hansi-theme-font: minor-latin;mso-bidi-theme-font:minor-latin'>16. <span style='mso-tab-count: 1'> </span>D. Harel, A. Kantor, G. Katz, A. Marron, L. Mizrahi, and G. Weiss.  On composing and proving the correctness of reactive behavior . EMSOFT, 2013.<span class=MsoHyperlink><u><font color=blue><span style='color:blue'><a href="http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6658591&amp;tag=1"><font color=blue><span style='color:blue'>[PDF  IEEE]</span></font></a> <a href="EMSOFT13CompVer_rev16928.pdf"><font color=blue><span style='color:blue'>[PDF  Author Version]</span></font></a></span></font></u></span><o:p></o:p></span></font></p> <p class=PubNumbered><font size=3 face=Calibri><span style='font-size:12.0pt; font-family:"Calibri",sans-serif;mso-ascii-theme-font:minor-latin;mso-hansi-theme-font: minor-latin;mso-bidi-theme-font:minor-latin'>15. <span style='mso-tab-count: 1'> </span>A. Marron, G. Weiss, G. Wiener,  A Decentralized Approach for Programming Interactive Applications with JavaScript and <span class=SpellE>Blockly</span> . <span class=SpellE>AGERE</span>! <span class=GramE>held</span> at ACM <span class=SpellE>SIGPLAN</span> SPLASH 2012.<span class=MsoHyperlink><u><font color=blue><span style='color:blue'><a href="http://dl.acm.org/citation.cfm?id=2414648"><font color=blue><span style='color:blue'>[PDF  ACM DL]</span></font></a> <a href="agere2012%20-%20Author%20Version.pdf"><font color=blue><span style='color:blue'>[PDF  Author Version]</span></font></a></span></font></u></span><o:p></o:p></span></font></p> <p class=PubNumbered><span class=apple-style-span><font size=3 face=Calibri><span style='font-size:12.0pt;font-family:"Calibri",sans-serif;mso-ascii-theme-font: minor-latin;mso-hansi-theme-font:minor-latin;mso-bidi-theme-font:minor-latin'>14. <span style='mso-tab-count:1'> </span>D. Harel and A. Marron,  The Quest for <span class=SpellE>Runware</span> - On Compositional, Executable and Intuitive Models , Journal of Software and System Modeling. Published online August 2012. <span class=SpellE>DOI</span> <span class=SpellE>DOI</span> 10.1007/<span class=SpellE>s10270</span>-012-0258-8. </span></font></span><span class=MsoHyperlink><u><font color=blue face=Calibri><span style='font-family: "Calibri",sans-serif;mso-ascii-theme-font:minor-latin;mso-hansi-theme-font: minor-latin;mso-bidi-theme-font:minor-latin;color:blue'>[</span></font></u></span><span class=MsoHyperlink><u><font color="#0000cc" face=Calibri><span style='font-family:"Calibri",sans-serif;mso-ascii-theme-font:minor-latin; mso-hansi-theme-font:minor-latin;mso-bidi-theme-font:minor-latin;color:#0000CC'><a href="http://link.springer.com/article/10.1007/s10270-012-0258-8"><font color="#0000cc"><span style='color:#0000CC'>PDF  <span class=SpellE>SoSyM</span></span></font></a></span></font></u></span><span class=MsoHyperlink><u><font color=blue face=Calibri><span style='font-family: "Calibri",sans-serif;mso-ascii-theme-font:minor-latin;mso-hansi-theme-font: minor-latin;mso-bidi-theme-font:minor-latin;color:blue'>]<span style='mso-spacerun:yes'>  </span><a href="Runware%20-%20Harel%20Marron%20SoSyM2012.pdf"><font color=blue><span style='color:blue'>[</span></font><font color="#0000cc"><span style='color: #0000CC'>PDF  Author Version</span></font><font color=blue><span style='color:blue'>] </span></font></a></span></font></u></span><span class=MsoHyperlink><u><font color=black><span style='mso-fareast-font-family: "Times New Roman";mso-fareast-theme-font:minor-fareast;color:windowtext'><o:p></o:p></span></font></u></span></p> <p class=PubNumbered><span class=apple-style-span><font size=3 face=Calibri><span style='font-size:12.0pt;font-family:"Calibri",sans-serif;mso-ascii-theme-font: minor-latin;mso-hansi-theme-font:minor-latin;mso-bidi-theme-font:minor-latin'>13. <span style='mso-tab-count:1'> </span>D. Harel, A. Marron and G. Weiss,  Behavioral Programming , Communications of the ACM, 2012 </span></font></span><span class=MsoHyperlink><u><font color=blue face=Calibri><span style='font-family: "Calibri",sans-serif;mso-ascii-theme-font:minor-latin;mso-hansi-theme-font: minor-latin;mso-bidi-theme-font:minor-latin;color:blue'><a href="http://portal.acm.org/ft_gateway.cfm?id=2209270&amp;ftid=1254843&amp;dwn=1&amp;"><font color=blue><span style='color:blue'>[PDF - CACM]</span></font></a><span style='mso-spacerun:yes'>  </span>[<a href="BP%20-%20CACM%20-%20Author%20version.pdf"><font color=blue><span style='color:blue'>PDF  Author version</span></font></a>]</span></font></u></span></p> <p class=PubNumbered><font size=3 face=Calibri><span style='font-size:12.0pt; font-family:"Calibri",sans-serif;mso-ascii-theme-font:minor-latin;mso-hansi-theme-font: minor-latin;mso-bidi-theme-font:minor-latin'>12.<span style='mso-spacerun:yes'>  </span><span style='mso-tab-count:1'> </span>D. Harel, G. Katz, A. Marron and G. Weiss, &quot;Non-Intrusive Repair of Reactive Programs&quot;, <span class=SpellE>ICECCS</span> 2012.<span class=MsoHyperlink><u><font color=blue><span style='color:blue'><a href="NIRoRP_ICECCS2012_Proceedings.pdf"><font color=blue><span style='color:blue'>[PDF]</span></font></a></span></font></u></span> <o:p></o:p></span></font></p> <p class=PubNumbered><font size=3 face=Calibri><span style='font-size:12.0pt; font-family:"Calibri",sans-serif;mso-ascii-theme-font:minor-latin;mso-hansi-theme-font: minor-latin;mso-bidi-theme-font:minor-latin'>11.<span style='mso-spacerun:yes'>  </span><span style='mso-tab-count:1'> </span>M. Gordon, A. Marron, O. Meerbaum-Salant,  Spaghetti for the Main Course? Observations on Naturalness of Scenario-Based Programming , <span class=SpellE>ITICSE</span> 2012. <span class=MsoHyperlink><u><font color=blue><span style='color:blue'><a href="ITICSE045-Gordon.pdf"><font color=blue><span style='color:blue'>[PDF]</span></font></a></span></font></u></span> <o:p></o:p></span></font></p> <p class=PubNumbered><font size=3 face=Calibri><span style='font-size:12.0pt; font-family:"Calibri",sans-serif;mso-ascii-theme-font:minor-latin;mso-hansi-theme-font: minor-latin;mso-bidi-theme-font:minor-latin'>10.<span style='mso-spacerun:yes'>  </span><span style='mso-tab-count:1'> </span>D. Harel, A. Marron, A. <span class=SpellE>Nissim</span>, G. Weiss,  A Software Engineering Framework for Switched Fuzzy Systems . FUZZ-IEEE 2012. <span class=MsoHyperlink><u><font color=blue><span style='color:blue'><a href="FuzzIeee12.pdf"><font color=blue><span style='color:blue'>[PDF]</span></font></a></span></font></u></span></span></font><span class=MsoHyperlink><u><font color=blue><span style='mso-fareast-font-family: "Times New Roman";mso-fareast-theme-font:minor-fareast;color:blue'><o:p></o:p></span></font></u></span></p> <p class=PubNumbered><span class=apple-style-span><font size=3 face=Calibri><span style='font-size:12.0pt;font-family:"Calibri",sans-serif;mso-ascii-theme-font: minor-latin;mso-hansi-theme-font:minor-latin;mso-bidi-theme-font:minor-latin'>9. <span style='mso-tab-count:1'>   </span><span style='mso-spacerun:yes'> </span><span style='mso-tab-count:1'>    </span>D. Harel, A. Marron, G. Weiss, and G. Wiener.  Behavioral programming, decentralized control, and multiple time scales . <span class=SpellE>AGERE</span>! (Actors and <span class=SpellE>aGEnts</span> Reloaded workshop at ACM SPLASH), 2011. </span></font></span><span class=MsoHyperlink><u><font color=blue face=Calibri><span style='font-family: "Calibri",sans-serif;mso-ascii-theme-font:minor-latin;mso-hansi-theme-font: minor-latin;mso-bidi-theme-font:minor-latin;color:blue'><a href="AGERE11bpdist.pdf"><font color=blue><span style='color:blue'>[PDF]</span></font></a><o:p></o:p></span></font></u></span></p> <p class=PubNumbered><span class=GramE><span class=apple-style-span><font size=3 color=black face=Calibri><span style='font-size:12.0pt;font-family:"Calibri",sans-serif; mso-ascii-theme-font:minor-latin;mso-hansi-theme-font:minor-latin;mso-bidi-theme-font: minor-latin;color:black'>8.<span style='mso-spacerun:yes'>    </span><span style='mso-tab-count:1'> </span>D. Harel, R. Lampert, A. Marron and G. Weiss, &quot;Model-Checking Behavioral Programs&quot;, EMSOFT 2011.</span></font></span></span><span class=apple-style-span><font color=black face=Calibri><span style='font-family: "Calibri",sans-serif;mso-ascii-theme-font:minor-latin;mso-hansi-theme-font: minor-latin;mso-bidi-theme-font:minor-latin;color:black'><span style='mso-spacerun:yes'>  </span></span></font></span><span class=MsoHyperlink><u><font color=blue face=Calibri><span style='font-family: "Calibri",sans-serif;mso-ascii-theme-font:minor-latin;mso-hansi-theme-font: minor-latin;mso-bidi-theme-font:minor-latin;color:blue'><a href="emsoft013-harel.pdf"><font color=blue><span style='color:blue'>[PDF]</span></font></a></span></font></u></span><span style='mso-fareast-font-family:"Times New Roman";mso-fareast-theme-font:minor-fareast'><o:p></o:p></span></p> <p class=PubNumbered><font size=3 face=Calibri><span style='font-size:12.0pt; font-family:"Calibri",sans-serif;mso-ascii-theme-font:minor-latin;mso-hansi-theme-font: minor-latin;mso-bidi-theme-font:minor-latin'>7.<span style='mso-spacerun:yes'>    </span><span style='mso-tab-count:1'> </span>N. <span class=SpellE>Eitan</span>, M. Gordon, D. Harel, A. Marron, and G. Weiss.  On Visualization and Comprehension of Scenario-Based Programs <span class=GramE>,<span style='mso-spacerun:yes'>  </span>19th</span> IEEE International Conference on Program Comprehension (<span class=SpellE>ICPC</span> 2011). <span class=MsoHyperlink><u><font color=blue><span style='color:blue'><a href="VisDoc3.pdf"><font color=blue><span style='color:blue'>[PDF]</span></font></a></span></font></u></span><o:p></o:p></span></font></p> <p class=PubNumbered><font size=3 face=Calibri><span style='font-size:12.0pt; font-family:"Calibri",sans-serif;mso-ascii-theme-font:minor-latin;mso-hansi-theme-font: minor-latin;mso-bidi-theme-font:minor-latin'>6.<span style='mso-spacerun:yes'>    </span><span style='mso-tab-count:1'> </span>G. Wiener, G. Weiss, and A. Marron,  Coordinating and Visualizing Independent Behaviors in Erlang , Ninth ACM <span class=SpellE>SIGPLAN</span> Erlang Workshop, Sep. 2010. <span class=MsoHyperlink><u><font color=blue><span style='color:blue'>[<a href="bp-sigerl2010.pdf"><font color=blue><span style='color:blue'>PDF</span></font></a>]</span></font></u></span><o:p></o:p></span></font></p> <p class=PubNumbered><font size=3 face=Calibri><span style='font-size:12.0pt; font-family:"Calibri",sans-serif;mso-ascii-theme-font:minor-latin;mso-hansi-theme-font: minor-latin;mso-bidi-theme-font:minor-latin'>5.<span style='mso-spacerun:yes'>    </span><span style='mso-tab-count:1'> </span>D. Harel, A. Marron and G. Weiss, &quot;Programming Coordinated Scenarios in Java&quot;, Proc. 24th European Conference on Object-Oriented Programming (<span class=SpellE>ECOOP</span> 2010), 2010. <span class=MsoHyperlink><u><font color=blue><span style='color:blue'><a href="BPJ%20ECOOP%20FINAL.pdf"><font color=blue><span style='color:blue'>[PDF]</span></font></a></span></font></u></span><o:p></o:p></span></font></p> <p class=PubNumbered><font size=3 face=Calibri><span style='font-size:12.0pt; font-family:"Calibri",sans-serif;mso-ascii-theme-font:minor-latin;mso-hansi-theme-font: minor-latin;mso-bidi-theme-font:minor-latin'>4.<span style='mso-spacerun:yes'>    </span><span style='mso-tab-count:1'> </span>K. <span class=SpellE>Ko</span>, A. Marron, <span class=SpellE>W.G</span>. <span class=SpellE>Tzeng</span>,<span style='mso-spacerun:yes'>  </span>&quot;Learning String Patterns and Tree Patterns from Examples&quot;, Proc. of 7th Int l Conf. on Machine Learning, Porter and Mooney, Editors, Austin, Texas, 1990 </span></font><font face=Calibri><span style='font-family: "Calibri",sans-serif;mso-ascii-theme-font:minor-latin;mso-fareast-font-family: "Times New Roman";mso-fareast-theme-font:minor-fareast;mso-hansi-theme-font: minor-latin;mso-bidi-theme-font:minor-latin'><o:p></o:p></span></font></p> <p class=PubNumbered><font size=3 face=Calibri><span style='font-size:12.0pt; font-family:"Calibri",sans-serif;mso-ascii-theme-font:minor-latin;mso-hansi-theme-font: minor-latin;mso-bidi-theme-font:minor-latin'>3.<span style='mso-spacerun:yes'>    </span><span style='mso-tab-count:1'> </span>A. Marron, &quot;Learning Pattern Languages from a Single Initial Example and from Queries&quot;<span class=GramE>,<span style='mso-spacerun:yes'>  </span>Proc</span>. 1st Int l Workshop on Computational Learning Theory, MIT, Cambridge, Mass. 1988. <o:p></o:p></span></font></p> <p class=PubNumbered><font size=3 face=Calibri><span style='font-size:12.0pt; font-family:"Calibri",sans-serif;mso-ascii-theme-font:minor-latin;mso-hansi-theme-font: minor-latin;mso-bidi-theme-font:minor-latin'>2.<span style='mso-spacerun:yes'>    </span><span style='mso-tab-count:1'> </span>A. Marron, K. <span class=SpellE><span class=GramE>Ko</span></span>, &quot;Identification of Pattern Languages from Examples and Queries&quot;, Information and Computation, Vol 74, #2, 1987 <a href="http://www.sciencedirect.com/science?_ob=MImg&amp;_imagekey=B6WGK-4DX4KGB-2W-1&amp;_cdi=6825&amp;_user=46001&amp;_pii=0890540187900265&amp;_origin=search&amp;_coverDate=08%2F31%2F1987&amp;_sk=999259997&amp;view=c&amp;wchp=dGLzVlb-zSkzk&amp;md5=f553d0772a9f0b98a84178b651793430&amp;ie=/sdarticle.pdf"><font color=black><span style='color:windowtext;text-decoration:none;text-underline: none'>[PDF]</span></font></a><o:p></o:p></span></font></p> <p class=PubNumbered><font size=3 face=Calibri><span style='font-size:12.0pt; font-family:"Calibri",sans-serif;mso-ascii-theme-font:minor-latin;mso-hansi-theme-font: minor-latin;mso-bidi-theme-font:minor-latin'>1.<span style='mso-spacerun:yes'>    </span><span style='mso-tab-count:1'> </span>S. Huang, A. Marron, &quot;Finding the Median of a Distributed Set&quot;, Computer Science Conference, Johns Hopkins University, 1983. <o:p></o:p></span></font></p> <h2><b><font size=5 color="#003333" face=Calibri><span style='font-size:18.0pt; font-family:"Calibri",sans-serif;mso-ascii-theme-font:minor-latin;mso-fareast-font-family: "Times New Roman";mso-hansi-theme-font:minor-latin;mso-bidi-theme-font:minor-latin'>Patents<o:p></o:p></span></font></b></h2> <p class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto; margin-left:18.0pt;text-indent:-18.0pt;mso-list:l0 level1 lfo2;tab-stops:list 18.0pt'><![if !supportLists]><font size=2 face=Calibri><span style='font-size:10.0pt;mso-bidi-font-size:12.0pt; font-family:"Calibri",sans-serif;mso-ascii-theme-font:minor-latin;mso-fareast-font-family: Calibri;mso-fareast-theme-font:minor-latin;mso-hansi-theme-font:minor-latin; mso-bidi-theme-font:minor-latin'><span style='mso-list:Ignore'>1.<font size=1 face="Times New Roman"><span style='font:7.0pt "Times New Roman"'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </span></font></span></span></font><![endif]><span dir=LTR></span><font face=Calibri><span style='font-family:"Calibri",sans-serif;mso-ascii-theme-font: minor-latin;mso-fareast-font-family:"Times New Roman";mso-hansi-theme-font: minor-latin;mso-bidi-theme-font:minor-latin'>R. Galbraith, S. <span class=SpellE>Glassen</span>, A. Marron, K. Oakes, D. <span class=SpellE>Stucki</span>, L. Wyman, &quot;Channel Measurement Methods and Means&quot;, IBM, 1993 (US 5,265,240)</span></font><font face=Calibri><span style='font-family:"Calibri",sans-serif; mso-ascii-theme-font:minor-latin;mso-hansi-theme-font:minor-latin;mso-bidi-theme-font: minor-latin'> </span></font><font face=Calibri><span style='font-family:"Calibri",sans-serif; mso-ascii-theme-font:minor-latin;mso-fareast-font-family:"Times New Roman"; mso-hansi-theme-font:minor-latin;mso-bidi-theme-font:minor-latin'><o:p></o:p></span></font></p> <p class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto; margin-left:18.0pt;text-indent:-18.0pt;mso-list:l0 level1 lfo2;tab-stops:list 18.0pt'><![if !supportLists]><font size=2 face=Calibri><span style='font-size:10.0pt;mso-bidi-font-size:12.0pt; font-family:"Calibri",sans-serif;mso-ascii-theme-font:minor-latin;mso-fareast-font-family: Calibri;mso-fareast-theme-font:minor-latin;mso-hansi-theme-font:minor-latin; mso-bidi-theme-font:minor-latin'><span style='mso-list:Ignore'>2.<font size=1 face="Times New Roman"><span style='font:7.0pt "Times New Roman"'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </span></font></span></span></font><![endif]><span dir=LTR></span><font face=Calibri><span style='font-family:"Calibri",sans-serif;mso-ascii-theme-font: minor-latin;mso-fareast-font-family:"Times New Roman";mso-hansi-theme-font: minor-latin;mso-bidi-theme-font:minor-latin'>A. Marron, &quot;Method of Operating a Data Processing System Having a Dynamic Software Update Facility&quot;, IBM, Issued 1994 (US 5,359,730).</span></font><font face=Calibri><span style='font-family:"Calibri",sans-serif;mso-ascii-theme-font: minor-latin;mso-hansi-theme-font:minor-latin;mso-bidi-theme-font:minor-latin'> </span></font><font face=Calibri><span style='font-family:"Calibri",sans-serif;mso-ascii-theme-font: minor-latin;mso-fareast-font-family:"Times New Roman";mso-hansi-theme-font: minor-latin;mso-bidi-theme-font:minor-latin'><o:p></o:p></span></font></p> <p class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto; margin-left:18.0pt;text-indent:-18.0pt;mso-list:l0 level1 lfo2;tab-stops:list 18.0pt'><![if !supportLists]><font size=2 face=Calibri><span style='font-size:10.0pt;mso-bidi-font-size:12.0pt; font-family:"Calibri",sans-serif;mso-ascii-theme-font:minor-latin;mso-fareast-font-family: Calibri;mso-fareast-theme-font:minor-latin;mso-hansi-theme-font:minor-latin; mso-bidi-theme-font:minor-latin'><span style='mso-list:Ignore'>3.<font size=1 face="Times New Roman"><span style='font:7.0pt "Times New Roman"'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </span></font></span></span></font><![endif]><span dir=LTR></span><font face=Calibri><span style='font-family:"Calibri",sans-serif;mso-ascii-theme-font: minor-latin;mso-fareast-font-family:"Times New Roman";mso-hansi-theme-font: minor-latin;mso-bidi-theme-font:minor-latin'>L. Wyman, R. Hough, R. <span class=SpellE>Cwiakala</span>, A. Marron, S. John, K. Fredericks, C. Shapley, R. <span class=SpellE>Hollar</span>, J. <span class=SpellE>Mazourowski</span>, M. <span class=SpellE>Halma</span>, K. Oakes, M. Brown, &quot;Asynchronous Command Support for Shared Channels for a Computer Complex Having Multiple Operating Systems&quot; <br> IBM, 1995 (US 5,452,455)</span></font><font face=Calibri><span style='font-family:"Calibri",sans-serif;mso-ascii-theme-font:minor-latin; mso-hansi-theme-font:minor-latin;mso-bidi-theme-font:minor-latin'> </span></font><font face=Calibri><span style='font-family:"Calibri",sans-serif;mso-ascii-theme-font: minor-latin;mso-fareast-font-family:"Times New Roman";mso-hansi-theme-font: minor-latin;mso-bidi-theme-font:minor-latin'><o:p></o:p></span></font></p> <p class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto; margin-left:18.0pt;text-indent:-18.0pt;mso-list:l0 level1 lfo2;tab-stops:list 18.0pt'><![if !supportLists]><font size=2 face=Calibri><span style='font-size:10.0pt;mso-bidi-font-size:12.0pt; font-family:"Calibri",sans-serif;mso-ascii-theme-font:minor-latin;mso-fareast-font-family: Calibri;mso-fareast-theme-font:minor-latin;mso-hansi-theme-font:minor-latin; mso-bidi-theme-font:minor-latin'><span style='mso-list:Ignore'>4.<font size=1 face="Times New Roman"><span style='font:7.0pt "Times New Roman"'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </span></font></span></span></font><![endif]><span dir=LTR></span><font face=Calibri><span style='font-family:"Calibri",sans-serif;mso-ascii-theme-font: minor-latin;mso-fareast-font-family:"Times New Roman";mso-hansi-theme-font: minor-latin;mso-bidi-theme-font:minor-latin'>F. Johnson, A. Marron, A. <span class=SpellE>Meritt</span>,  System for coordinating execution of multiple concurrent channel programs without host processor involvement using suspend and resume commands to control data transfer between I/O devices , IBM, 1996 (US 5,584,039).<o:p></o:p></span></font></p> <p class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto; margin-left:18.0pt;text-indent:-18.0pt;mso-list:l0 level1 lfo2;tab-stops:list 18.0pt'><![if !supportLists]><font size=2 face=Calibri><span style='font-size:10.0pt;mso-bidi-font-size:12.0pt; font-family:"Calibri",sans-serif;mso-ascii-theme-font:minor-latin;mso-fareast-font-family: Calibri;mso-fareast-theme-font:minor-latin;mso-hansi-theme-font:minor-latin; mso-bidi-theme-font:minor-latin'><span style='mso-list:Ignore'>5.<font size=1 face="Times New Roman"><span style='font:7.0pt "Times New Roman"'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </span></font></span></span></font><![endif]><span dir=LTR></span><font face=Calibri><span style='font-family:"Calibri",sans-serif;mso-ascii-theme-font: minor-latin;mso-fareast-font-family:"Times New Roman";mso-hansi-theme-font: minor-latin;mso-bidi-theme-font:minor-latin'>A. Marron, A. <span class=SpellE>Meritt</span>,  Method and system for predefined suspension and resumption control over I/O programs , IBM, 1997 (US 5,613,163). <o:p></o:p></span></font></p> <p class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto; margin-left:18.0pt;text-indent:-18.0pt;mso-list:l0 level1 lfo2;tab-stops:list 18.0pt'><![if !supportLists]><font size=2 face=Calibri><span style='font-size:10.0pt;mso-bidi-font-size:12.0pt; font-family:"Calibri",sans-serif;mso-ascii-theme-font:minor-latin;mso-fareast-font-family: Calibri;mso-fareast-theme-font:minor-latin;mso-hansi-theme-font:minor-latin; mso-bidi-theme-font:minor-latin'><span style='mso-list:Ignore'>6.<font size=1 face="Times New Roman"><span style='font:7.0pt "Times New Roman"'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </span></font></span></span></font><![endif]><span dir=LTR></span><font face=Calibri><span style='font-family:"Calibri",sans-serif;mso-ascii-theme-font: minor-latin;mso-fareast-font-family:"Times New Roman";mso-hansi-theme-font: minor-latin;mso-bidi-theme-font:minor-latin'>Y. Ding, A. Marron, F. <span class=SpellE>Johannessen</span>, patent application  Automated Capacity Provisioning Method Using Historical Performance Data , BMC Software, 2015 (US 9,065,783). <o:p></o:p></span></font></p> <p class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto; margin-left:18.0pt'><font size=3 face=Calibri><span style='font-size:12.0pt; font-family:"Calibri",sans-serif;mso-ascii-theme-font:minor-latin;mso-fareast-font-family: "Times New Roman";mso-hansi-theme-font:minor-latin;mso-bidi-theme-font:minor-latin'><o:p>&nbsp;</o:p></span></font></p> <h2><b><font size=5 color="#003333" face=Calibri><span style='font-size:18.0pt; font-family:"Calibri",sans-serif;mso-ascii-theme-font:minor-latin;mso-fareast-font-family: "Times New Roman";mso-hansi-theme-font:minor-latin;mso-bidi-theme-font:minor-latin'>Links and Resources<o:p></o:p></span></font></b></h2> <p class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto; margin-left:18.0pt;text-indent:-18.0pt;mso-list:l1 level1 lfo4;tab-stops:list 18.0pt'><![if !supportLists]><font size=2 face=Symbol><span style='font-size:10.0pt;mso-bidi-font-size:12.0pt; font-family:Symbol;mso-fareast-font-family:Symbol;mso-bidi-font-family:Symbol'><span style='mso-list:Ignore'>·<font size=1 face="Times New Roman"><span style='font:7.0pt "Times New Roman"'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </span></font></span></span></font><![endif]><span dir=LTR></span><font face=Calibri><span style='font-family:"Calibri",sans-serif;mso-ascii-theme-font: minor-latin;mso-fareast-font-family:"Times New Roman";mso-hansi-theme-font: minor-latin;mso-bidi-theme-font:minor-latin'>Behavioral Programming web site: <a href="http://www.b-prog.org"><font color=black><span style='color:windowtext; text-decoration:none;text-underline:none'>www.b-prog.org</span></font></a>.<o:p></o:p></span></font></p> <p class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto; margin-left:18.0pt;text-indent:-18.0pt;mso-list:l1 level1 lfo4;tab-stops:list 18.0pt'><![if !supportLists]><font size=2 face=Symbol><span style='font-size:10.0pt;mso-bidi-font-size:12.0pt; font-family:Symbol;mso-fareast-font-family:Symbol;mso-bidi-font-family:Symbol'><span style='mso-list:Ignore'>·<font size=1 face="Times New Roman"><span style='font:7.0pt "Times New Roman"'>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; </span></font></span></span></font><![endif]><span dir=LTR></span><font face=Calibri><span style='font-family:"Calibri",sans-serif;mso-ascii-theme-font: minor-latin;mso-fareast-font-family:"Times New Roman";mso-hansi-theme-font: minor-latin;mso-bidi-theme-font:minor-latin'><a href="Tips%20for%20shortening%20a%20paper.pdf">Tips for shortening a paper</a>: Suggestions for things to look for when you want to reduce the number of words or pages in your article or report, when it is too long relative to some limits. <o:p></o:p></span></font></p> <p class=MsoNormal style='mso-margin-top-alt:auto;mso-margin-bottom-alt:auto; margin-left:18.0pt'><font size=3 face=Calibri><span style='font-size:12.0pt; font-family:"Calibri",sans-serif;mso-ascii-theme-font:minor-latin;mso-fareast-font-family: "Times New Roman";mso-hansi-theme-font:minor-latin;mso-bidi-theme-font:minor-latin'><o:p>&nbsp;</o:p></span></font></p> </div> </body> </html>