Dear list, Here are a few patches recommended for inclusion related to the support of the new ACM class provided by John Perry (http://www.lyx.org/trac/ticket/10632).
1. InPreamble styles can be freely fixed with InTitle styles. 2. The layout by John Perry and a few changes by me, fully tested. 3. An addition to algorithm2e.module to typeset the algorithm supplied with the example article. 4. The example article converted to LyX. 5. Make old ACM layouts obsolete. 6. Move obsolete layouts to a separate category. I am ready to push except for 4. where I wait for some permission from the maintainer because of the license. Guillaume
>From a0e92e58f8625c282cc4646cadbe53d6717ad663 Mon Sep 17 00:00:00 2001 From: Guillaume MM <g...@lyx.org> Date: Fri, 5 May 2017 23:49:52 +0200 Subject: [PATCH 1/6] InTitle: ignore InPreamble styles for outputting \maketitle. --- src/output_latex.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/output_latex.cpp b/src/output_latex.cpp index a479b28..9cfeefb 100644 --- a/src/output_latex.cpp +++ b/src/output_latex.cpp @@ -1358,7 +1358,7 @@ void latexParagraphs(Buffer const & buf, << "}\n"; } } - } else if (was_title && !already_title) { + } else if (was_title && !already_title && !layout.inpreamble) { if (tclass.titletype() == TITLE_ENVIRONMENT) { os << "\\end{" << from_ascii(tclass.titlename()) << "}\n"; -- 2.7.4
>From 647886022047b3da43ee1af8a2fcab7e6294556a Mon Sep 17 00:00:00 2001 From: Guillaume MM <g...@lyx.org> Date: Mon, 1 May 2017 20:04:16 +0200 Subject: [PATCH 2/6] ACM article layout (#10632) Contributed by John Perry --- lib/layouts/acmart.layout | 735 ++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 735 insertions(+) create mode 100644 lib/layouts/acmart.layout diff --git a/lib/layouts/acmart.layout b/lib/layouts/acmart.layout new file mode 100644 index 0000000..5b5903b --- /dev/null +++ b/lib/layouts/acmart.layout @@ -0,0 +1,735 @@ +#% Do not delete the line below; configure depends on this +# \DeclareLaTeXClass[acmart]{Association for Computing Machinery (ACM) article} +# \DeclareCategory{Articles} +# +# Layout for typesetting publications of the Association for Computing Machinery. +# +# Author : John Perry <john.pe...@usm.edu> +# Guillaume Munch-Maccagnoni <g...@lyx.org> + +Format 60 + +Provides amscls 1 +Provides amsmath 1 +Provides amstext 1 +Provides binhex 1 +Provides caption 1 +Provides comment 1 +Provides cm-super 1 +Provides cmap 1 +Provides draftwatermark 1 +Provides environ 1 +Provides fancyhdr 1 +Provides float 1 +Provides fontaxes 1 +Provides geometry 1 +Provides graphics 1 +Provides hyperref 1 +Provides ifluatex 1 +Provides ifxetex 1 +Provides inconsolata 1 +Provides latex-tools 1 +Provides libertine 1 +Provides manyfoot 1 +Provides microtype 1 +Provides mmap 1 +Provides ms 1 +Provides mweights 1 +Provides natbib 1 +Provides nccfoots 1 +Provides newtx 1 +Provides oberdiek 1 +Provides pdftex-def 1 +Provides totpages 1 +Provides trimspaces 1 +Provides setspace 1 +Provides upquote 1 +Provides url 1 +Provides xcolor 1 +Provides xkeyval 1 + +# Input general definitions +Input stdclass.inc +Input stdcounters.inc + +ClassOptions + FontSize 9|10|11|12 + Other "format=manuscript,authordraft" +End + +Style Standard + Category MainText + Margin Static + LatexType Paragraph + LatexName dummy + ParIndent MM + ParSkip 0.4 + Align Block + AlignPossible Block, Left, Right, Center + LabelType No_Label + # FIXME This ought to be set dynamically. + HTMLStyle + div.standard { + margin-bottom: 2ex; + } + EndHTMLStyle +End + +Style Author + Align Left + InTitle 1 +End + +Style Thanks + Category FrontMatter + InTitle 1 + Align Left + AlignPossible Left + Font + Family Roman + EndFont + LabelFont + Color Blue + Shape Italic + Family Roman + EndFont + LabelType Static + LabelString "Thanks: " + LatexType command + LatexName thanks + Margin Dynamic +End + +Style ACM_Journal + Align left + AlignPossible left + Category Preamble + InPreamble 1 + LabelString "Journal's Short Name: " + LabelType Static + LabelFont + Color Blue + Shape Italic + EndFont + LatexName acmJournal + LatexType Command + Margin Dynamic +End + +Style ACM_Conference + CopyStyle ACM_Journal + Argument 1 + LabelString "Short name" + Mandatory 0 + EndArgument + Argument 2 + LabelString "Full name" + Mandatory 1 + EndArgument + Argument 3 + LabelString "Date" + Mandatory 1 + EndArgument + Argument 4 + LabelString "Venue" + Mandatory 1 + EndArgument + LabelString "Conference Name: " + LatexName acmConference + Margin Dynamic +End + +Style Title + Argument 1 + LabelString "Short title" + Mandatory 0 + EndArgument + Font + Size Largest + EndFont + DependsOn Abstract +End + +Style Subtitle + Category FrontMatter + Align Center + AlignPossible Center + InTitle 1 + LatexType Command + LatexName subtitle + Font + Size Larger + Family Roman + EndFont +End + +Style Email + Align Left + AlignPossible center + Category FrontMatter + Font + Family Typewriter + EndFont + #InPreamble 1 + InTitle 1 + LabelString "Email address: " + LabelType Static + LabelFont + Color Blue + Shape Italic + Family Roman + EndFont + LatexType Command + LatexName email + Margin Dynamic +End + +Style ORCID + CopyStyle Email + LabelString "ORCID: " + Font + Family Roman + EndFont + LabelFont + Color Blue + Shape Italic + EndFont + LatexName orcid +End + +Style Affiliation + CopyStyle Email + Font + Family Roman + EndFont + LabelFont + Color Blue + Shape Italic + EndFont + LabelString "Affiliation: " + LatexName affiliation +End + +Style Additional_Affiliation + CopyStyle Affiliation + LabelString "Additional Affiliation: " + LatexName additionalaffiliation +End + +InsetLayout Flex:Position + LyxType custom + ContentAsLabel 1 + Decoration Classic + LabelString "Position" + LatexName position + LatexType command +End + +InsetLayout Flex:Institution + CopyStyle Flex:Position + LabelString "Institution" + LatexName institution + Spellcheck 0 +End + +InsetLayout Flex:Department + CopyStyle Flex:Position + LabelString "Department" + LatexName department + LatexType command + Spellcheck 0 +End + +InsetLayout Flex:Street_Address + CopyStyle Flex:Position + LabelString "Street Address" + LatexName streetaddress + LatexType command + Spellcheck 0 +End + +InsetLayout Flex:City + CopyStyle Flex:Position + LabelString "City" + LatexName city + LatexType command + Spellcheck 0 +End + +InsetLayout Flex:Country + CopyStyle Flex:Position + LabelString "Country" + LatexName country + LatexType command + Spellcheck 0 +End + +InsetLayout Flex:State + CopyStyle Flex:Position + LabelString "State" + LatexName state + LatexType command + Spellcheck 0 +End + +InsetLayout Flex:Postal_Code + CopyStyle Flex:Position + LabelString "Postal Code" + LatexName postcode + LatexType command + Spellcheck 0 +End + +Style TitleNote + CopyStyle Email + Font + Family Roman + EndFont + LabelFont + Family Roman + Color Blue + Shape Italic + EndFont + LabelString "Title Note: " + LatexName titlenote + TopSep 0.3 + BottomSep 0.3 +End + +Style SubtitleNote + CopyStyle TitleNote + LabelString "Subtitle Note: " + LatexName subtitlenote +End + +Style AuthorNote + CopyStyle TitleNote + LabelString "Author Note: " + LatexName authornote +End + +Style ACM_Volume + CopyStyle ACM_Journal + LabelString "ACM Volume: " + LatexName acmVolume +End + +Style ACM_Number + CopyStyle ACM_Journal + LabelString "ACM Number: " + LatexName acmNumber +End + +Style ACM_Article + CopyStyle ACM_Journal + LabelString "ACM Article: " + LatexName acmArticle +End + +Style ACM_Year + CopyStyle ACM_Journal + LabelString "ACM Year: " + LatexName acmYear +End + +Style ACM_Month + CopyStyle ACM_Journal + LabelString "ACM Month: " + LatexName acmMonth +End + +Style ACM_Art_Seq_Num + CopyStyle ACM_Journal + LabelString "Article Sequential Number: " + LatexName acmArticleSeq +End + +Style ACM_Submission_ID + CopyStyle ACM_Journal + LabelString "ACM Submission ID: " + LatexName acmSubmissionID +End + +Style ACM_Price + CopyStyle ACM_Journal + LabelString "ACM Price: " + LatexName acmPrice +End + +Style ACM_ISBN + CopyStyle ACM_Journal + LabelString "ACM ISBN: " + LatexName acmISBN +End + +Style ACM_DOI + CopyStyle ACM_Journal + LabelString "ACM DOI: " + LatexName acmDOI +End + +Style ACM_Badge_R + CopyStyle ACM_Journal + LabelString "ACM Badge R: " + LatexName acmBadgeR +End + +Style ACM_Badge_L + CopyStyle ACM_Journal + LabelString "ACM Badge L: " + LatexName acmBadgeL +End + +Style Start_Page + CopyStyle ACM_Journal + LabelString "Start Page: " + LatexName startPage +End + +Style Terms + CopyStyle TitleNote + LabelString "Terms: " + LatexName terms +End + +Style Keywords + CopyStyle TitleNote + LabelString "Keywords: " + LatexName keywords +End + +Style CCSXML + Category FrontMatter + LatexName CCSXML + LatexType Environment + Font + Family Typewriter + Color blue + Shape Italic + EndFont + FreeSpacing 1 + InTitle 1 + LabelString "Computing Classification Scheme (XML): " + LabelType Centered + LabelFont + Family Roman + EndFont + NextNoIndent 1 + NewLine false + ParbreakIsNewline true + PassThru true +End + +Style CCS_Description + CopyStyle TitleNote + Argument 1 + LabelString "Significance" + EndArgument + LabelString "Computing Classification Scheme: " + LatexName ccsdesc + Font + Family Typewriter + Color Blue + Shape Italic + EndFont + LabelFont + Family Roman + EndFont + PassThru 1 +End + +Style Set_Copyright + CopyStyle ACM_Journal + LabelString "Set Copyright: " + LatexName setcopyright +End + +Style Copyright_Year + CopyStyle ACM_Journal + LabelString "Copyright Year: " + LatexName copyrightyear +End + +Style Teaser_Figure + Category FrontMatter + Argument 1 + LabelString "Teaser Figure" + EndArgument + LatexType Environment + LatexName teaserfigure +End + +Style Received + CopyStyle ACM_Journal + Argument 1 + LabelString "Stage" + Mandatory 0 + EndArgument + LabelString "Received: " + LatexName received +End + +Style Abstract + InTitle 1 +End + +Style ShortAuthors + Category FrontMatter + Font + Family Roman + EndFont + LatexType command + InTitle 0 + LabelType Static + LabelString "Short authors: " + Margin Dynamic + LabelFont + Family Roman + Color blue + Shape Italic + EndFont + Preamble + \newcommand{\redefineshortauthors}[1]{\renewcommand{\shortauthors}{#1}} + EndPreamble + LatexName redefineshortauthors +End + +Float + Type table* + GuiName "Two-column table" + Placement tbp + Extension lot + NumberWithin none + Style plain + ListName "List of Tables" + IsPredefined true + UsesFloatPkg false + ListCommand listoftables + RefPrefix tab +End + +Float + Type figure* + GuiName "Two-column figure" + Placement tbp + Extension lof + NumberWithin none + Style plain + ListName "List of Figures" + IsPredefined true + UsesFloatPkg false + ListCommand listoffigures + RefPrefix fig +End + +Float + Type sidebar + GuiName "Sidebar (sigchi-a only)" + NumberWithin none + Style plain + IsPredefined true + UsesFloatPkg false + RefPrefix sidebar +End + +Float + Type marginfigure + GuiName "Margin figure (sigchi-a only)" + NumberWithin none + Style plain + IsPredefined true + Extension lof + ListName "List of Figures" + ListCommand listoffigures + UsesFloatPkg false + RefPrefix mgfig +End + +Float + Type margintable + GuiName "Margin table (sigchi-a only)" + NumberWithin none + Style plain + IsPredefined true + Extension lof + ListName "List of Tables" + ListCommand listoftables + UsesFloatPkg false + RefPrefix mgtab +End + +OutlinerName thm "Definitions & Theorems" + +Style Theorem + Category Reasoning + Margin First_Dynamic + LatexType Environment + LatexName theorem + NextNoIndent 1 + ResetArgs 1 + AddToToc thm + IsTocCaption 1 + Argument 1 + LabelString "Additional Theorem Text" + Tooltip "Additional text appended to the theorem header" + IsTocCaption 1 + EndArgument + LabelSep xx + ParIndent MMM + ParSkip 0.4 + ItemSep 0.2 + TopSep 0.7 + BottomSep 0.7 + ParSep 0.3 + Align Block + AlignPossible Left + LabelType Static + LabelCounter theorem + LabelString "Theorem \thetheorem." + Font + Shape Italic + Size Normal + EndFont + LabelFont + Shape SmallCaps + EndFont +End + +Style Corollary + CopyStyle Theorem + DependsOn Theorem + LatexName corollary + LabelString "Corollary \thetheorem." +End + +Style Lemma + CopyStyle Theorem + DependsOn Theorem + LatexName lemma + LabelString "Lemma \thetheorem." +End + +Style Proposition + CopyStyle Theorem + DependsOn Theorem + LatexName proposition + LabelString "Proposition \thetheorem." +End + +Style Conjecture + CopyStyle Theorem + DependsOn Theorem + LatexName conjecture + LabelString "Conjecture \thetheorem." +End + +Style Definition + CopyStyle Theorem + DependsOn Theorem + LatexName definition + LabelString "Definition \thetheorem." + Font + Shape Up + EndFont + LabelFont + Shape Italic + Series Medium + EndFont +End + +Style Example + CopyStyle Definition + LatexName example + LabelString "Example \thetheorem." +End + +InsetLayout Flex:Print_Only + LyxType custom + Decoration Classic + Display true + InToc true + LatexName printonly + LatexType Environment + LabelString "Print version only" +End + +InsetLayout Flex:Screen_Only + CopyStyle Flex:Print_Only + LatexName screenonly + LabelString "Screen version only" +End + +InsetLayout Flex:Anonymous_Suppression + CopyStyle Flex:Print_Only + LatexName anonsuppress + LabelString "Non anonymous only" +End + +Style Acknowledgments + Category BackMatter + LatexName acks + LatexType Environment + LabelString "Acknowledgments" + LabelType Above + TopSep 1.3 + LabelBottomSep 0.7 + Margin Static + LabelFont + Series Bold + Size Large + EndFont +End + +InsetLayout Flex:Grant_Sponsor + LyxType custom + ContentAsLabel 1 + Decoration Conglomerate + LabelString "Grant Sponsor" + LatexName grantsponsor + LatexType command + Argument 1 + LabelString "Sponsor ID" + Mandatory 1 + AutoInsert 1 + EndArgument + Argument 2 + LabelString "Name" + Mandatory 1 + AutoInsert 1 + Requires 1 + EndArgument + Argument 3 + LabelString "URL" + Mandatory 1 + AutoInsert 1 + Font + Family Typewriter + EndFont + Requires 2 + EndArgument +End + +InsetLayout Flex:Grant_Number + LyxType custom + ContentAsLabel 1 + Decoration Conglomerate + LabelString "Grant Number" + LatexName grantnum + LatexType command + Argument 1 + LabelString "URL" + Mandatory false + Font + Family Typewriter + EndFont + EndArgument + Argument 2 + LabelString "Sponsor ID" + Mandatory true + AutoInsert true + EndArgument +End + +Input theorems-case.inc +Input theorems-proof.inc +Input theorems-refprefix.inc -- 2.7.4
>From 63787fcae1ba368cab044102e5b750ddf625a441 Mon Sep 17 00:00:00 2001 From: Guillaume MM <g...@lyx.org> Date: Fri, 5 May 2017 23:48:20 +0200 Subject: [PATCH 3/6] algorithm2e.module: Add Algorithm style to typeset algorithms Do not output \begin and \end if there is not environment name. We only need the nesting feature. --- lib/layouts/algorithm2e.module | 14 +++++++++++++- src/output_latex.cpp | 8 ++++++-- 2 files changed, 19 insertions(+), 3 deletions(-) diff --git a/lib/layouts/algorithm2e.module b/lib/layouts/algorithm2e.module index 9429817..2a795ce 100644 --- a/lib/layouts/algorithm2e.module +++ b/lib/layouts/algorithm2e.module @@ -1,7 +1,8 @@ #\DeclareLyXModule[algorithm2e.sty]{Algorithm2e} #DescriptionBegin # Use the algorithm2e package for algorithm floats rather -# than LyX's home-brewed algorithm floats. +# than LyX's home-brewed algorithm floats. Use the Algorithm +# style to enter and indent the algorithm. #DescriptionEnd # #Author: Jürgen Spitzmüller @@ -26,3 +27,14 @@ Float RefPrefix alg End +Style Algorithm + Category List + Margin Static + LatexType Environment + NextNoIndent 1 + ParbreakIsNewline 1 + ToggleIndent Never + KeepEmpty 1 + LeftMargin MM + Align Left +End diff --git a/src/output_latex.cpp b/src/output_latex.cpp index 9cfeefb..872e356 100644 --- a/src/output_latex.cpp +++ b/src/output_latex.cpp @@ -258,8 +258,10 @@ static TeXEnvironmentData prepareEnvironment(Buffer const & buf, data.leftindent_open = true; } - if (style.isEnvironment()) { + if (style.isEnvironment()) state->nest_level_ += 1; + + if (style.isEnvironment() && !style.latexname().empty()) { os << "\\begin{" << from_ascii(style.latexname()) << '}'; if (!style.latexargs().empty()) { OutputParams rp = runparams; @@ -324,7 +326,9 @@ static void finishEnvironment(otexstream & os, OutputParams const & runparams, } } state->nest_level_ -= 1; - os << "\\end{" << from_ascii(data.style->latexname()) << "}\n"; + string const & name = data.style->latexname(); + if (!name.empty()) + os << "\\end{" << from_ascii(name) << "}\n"; state->prev_env_language_ = data.par_language; if (runparams.encoding != data.prev_encoding) { runparams.encoding = data.prev_encoding; -- 2.7.4
>From cd54af7e5e09a49ac057dff92223c08ef2cec153 Mon Sep 17 00:00:00 2001 From: Guillaume MM <g...@lyx.org> Date: Mon, 1 May 2017 20:04:16 +0200 Subject: [PATCH 4/6] Examples files for acmart adapted from the acmart CTAN package TODO: Check that the contents can be distributed under GPL v2 --- lib/examples/acmart/acmart-sample-acmsmall.lyx | 2802 ++++++++++++++++++++ lib/examples/acmart/acmart-sample-bibliography.bib | 1539 +++++++++++ lib/examples/acmart/mouse.eps | 145 + 3 files changed, 4486 insertions(+) create mode 100644 lib/examples/acmart/acmart-sample-acmsmall.lyx create mode 100644 lib/examples/acmart/acmart-sample-bibliography.bib create mode 100644 lib/examples/acmart/mouse.eps diff --git a/lib/examples/acmart/acmart-sample-acmsmall.lyx b/lib/examples/acmart/acmart-sample-acmsmall.lyx new file mode 100644 index 0000000..62945d0 --- /dev/null +++ b/lib/examples/acmart/acmart-sample-acmsmall.lyx @@ -0,0 +1,2802 @@ +#LyX 2.3 created this file. For more info see http://www.lyx.org/ +\lyxformat 542 +\begin_document +\begin_header +\save_transient_properties true +\origin /systemlyxdir/templates/ +\textclass acmart +\begin_preamble +% For algorithm2e +\renewcommand{\algorithmcfname}{ALGORITHM} +\SetAlFnt{\small} +\SetAlCapFnt{\small} +\SetAlCapNameFnt{\small} +\SetAlCapHSkip{0pt} +\IncMargin{-\parindent} +\end_preamble +\options format=acmsmall, review=false, screen=true +\use_default_options false +\begin_modules +algorithm2e +\end_modules +\maintain_unincluded_children false +\begin_local_layout +Format 60 +PackageOptions algorithm2e ruled +\end_local_layout +\language english +\language_package auto +\inputencoding auto +\fontencoding global +\font_roman "default" "default" +\font_sans "default" "default" +\font_typewriter "default" "default" +\font_math "auto" "auto" +\font_default_family default +\use_non_tex_fonts false +\font_sc false +\font_osf false +\font_sf_scale 100 100 +\font_tt_scale 100 100 +\use_microtype false +\use_dash_ligatures true +\graphics default +\default_output_format default +\output_sync 0 +\bibtex_command default +\index_command default +\paperfontsize default +\spacing single +\use_hyperref false +\papersize default +\use_geometry true +\use_package amsmath 1 +\use_package amssymb 1 +\use_package cancel 1 +\use_package esint 1 +\use_package mathdots 1 +\use_package mathtools 1 +\use_package mhchem 1 +\use_package stackrel 1 +\use_package stmaryrd 1 +\use_package undertilde 1 +\cite_engine natbib +\cite_engine_type numerical +\biblio_style plainnat +\use_bibtopic false +\use_indices false +\paperorientation portrait +\suppress_date false +\justification true +\use_refstyle 1 +\index Index +\shortcut idx +\color #008000 +\end_index +\secnumdepth 3 +\tocdepth 3 +\paragraph_separation indent +\paragraph_indentation default +\is_math_indent 0 +\math_number_before 0 +\quotes_style english +\dynamic_quotes 0 +\papercolumns 1 +\papersides 1 +\paperpagestyle default +\tracking_changes false +\output_changes false +\html_math_output 0 +\html_css_as_file 0 +\html_be_strict false +\end_header + +\begin_body + +\begin_layout ACM Journal +\begin_inset Note Note +status open + +\begin_layout Plain Layout +Metadata information +\end_layout + +\end_inset + +TWEB +\end_layout + +\begin_layout ACM Volume +9 +\end_layout + +\begin_layout ACM Number +4 +\end_layout + +\begin_layout ACM Article +39 +\end_layout + +\begin_layout ACM Year +2010 +\end_layout + +\begin_layout ACM Month +3 +\end_layout + +\begin_layout Copyright Year +2009 +\end_layout + +\begin_layout Set Copyright +acmlicensed +\begin_inset Note Note +status open + +\begin_layout Plain Layout +acmcopyright,rightsretained,usgov,usgovmixed,cagov,cagovmixed +\end_layout + +\end_inset + + +\end_layout + +\begin_layout ACM DOI +0000001.0000001 +\end_layout + +\begin_layout Received +\begin_inset Note Note +status open + +\begin_layout Plain Layout +Paper history +\end_layout + +\end_inset + +February 2007 +\end_layout + +\begin_layout Received +\begin_inset Argument 1 +status open + +\begin_layout Plain Layout +revised +\end_layout + +\end_inset + +March 2009 +\end_layout + +\begin_layout Received +\begin_inset Argument 1 +status open + +\begin_layout Plain Layout +accepted +\end_layout + +\end_inset + +June 2009 +\end_layout + +\begin_layout Title +\begin_inset Note Note +status open + +\begin_layout Plain Layout +Title portion. + Note the short title for running heads +\end_layout + +\end_inset + + +\begin_inset Argument 1 +status open + +\begin_layout Plain Layout +A Multifrequency MAC for Wireless Sensor +\end_layout + +\end_inset + +A Multifrequency MAC Specially Designed for Wireless Sensor Network Applications +\end_layout + +\begin_layout Author +Gang Zhou +\end_layout + +\begin_layout ORCID +1234-5678-9012-3456 +\end_layout + +\begin_layout Affiliation +\begin_inset Flex Institution +status open + +\begin_layout Plain Layout +College of William and Mary +\end_layout + +\end_inset + + +\begin_inset Flex Street Address +status open + +\begin_layout Plain Layout +104 Jamestown Rd +\end_layout + +\end_inset + + +\begin_inset Flex City +status open + +\begin_layout Plain Layout +Williamsburg +\end_layout + +\end_inset + + +\begin_inset Flex State +status open + +\begin_layout Plain Layout +VA +\end_layout + +\end_inset + + +\begin_inset Flex Postal Code +status open + +\begin_layout Plain Layout +23185 +\end_layout + +\end_inset + + +\begin_inset Flex Country +status open + +\begin_layout Plain Layout +USA +\end_layout + +\end_inset + + +\end_layout + +\begin_layout Author +Yafeng Wu +\end_layout + +\begin_layout Affiliation +\begin_inset Flex Institution +status open + +\begin_layout Plain Layout +University of Virginia +\end_layout + +\end_inset + + +\begin_inset Flex Department +status open + +\begin_layout Plain Layout +School of Engineering +\end_layout + +\end_inset + + +\begin_inset Flex City +status open + +\begin_layout Plain Layout +Charlottesville +\end_layout + +\end_inset + + +\begin_inset Flex State +status open + +\begin_layout Plain Layout +VA +\end_layout + +\end_inset + + +\begin_inset Flex Postal Code +status open + +\begin_layout Plain Layout +22903 +\end_layout + +\end_inset + + +\begin_inset Flex Country +status open + +\begin_layout Plain Layout +USA +\end_layout + +\end_inset + + +\end_layout + +\begin_layout Author +Ting Yan +\end_layout + +\begin_layout Affiliation +\begin_inset Flex Institution +status open + +\begin_layout Plain Layout +Eaton Innovation Center +\end_layout + +\end_inset + + +\begin_inset Flex City +status open + +\begin_layout Plain Layout +Prague +\end_layout + +\end_inset + + +\begin_inset Flex Country +status open + +\begin_layout Plain Layout +Czech Republic +\end_layout + +\end_inset + + +\end_layout + +\begin_layout Author +Tian He +\end_layout + +\begin_layout Affiliation +\begin_inset Flex Institution +status open + +\begin_layout Plain Layout +University of Minnesota +\end_layout + +\end_inset + + +\begin_inset Flex Country +status open + +\begin_layout Plain Layout +USA +\end_layout + +\end_inset + + +\end_layout + +\begin_layout Author +Chengdu Huang +\end_layout + +\begin_layout Author +John A. + Stankovic +\end_layout + +\begin_layout Author +Tarek F. + Abdelzaher +\end_layout + +\begin_layout Affiliation +\begin_inset Flex Institution +status open + +\begin_layout Plain Layout +University of Virginia +\end_layout + +\end_inset + + +\begin_inset Flex Department +status open + +\begin_layout Plain Layout +School of Engineering +\end_layout + +\end_inset + + +\begin_inset Flex City +status open + +\begin_layout Plain Layout +Charlottesville +\end_layout + +\end_inset + + +\begin_inset Flex State +status open + +\begin_layout Plain Layout +VA +\end_layout + +\end_inset + + +\begin_inset Flex Postal Code +status open + +\begin_layout Plain Layout +22903 +\end_layout + +\end_inset + + +\begin_inset Flex Country +status open + +\begin_layout Plain Layout +USA +\end_layout + +\end_inset + + +\end_layout + +\begin_layout Abstract +Multifrequency media access control has been well understood in general + wireless ad hoc networks, while in wireless sensor networks, researchers + still focus on single frequency solutions. + In wireless sensor networks, each device is typically equipped with a single + radio transceiver and applications adopt much smaller packet sizes compared + to those in general wireless ad hoc networks. + Hence, the multifrequency MAC protocols proposed for general wireless ad + hoc networks are not suitable for wireless sensor network applications, + which we further demonstrate through our simulation experiments. + In this article, we propose MMSN, which takes advantage of multifrequency + availability while, at the same time, takes into consideration the restrictions + of wireless sensor networks. + Through extensive experiments, MMSN exhibits the prominent ability to utilize + parallel transmissions among neighboring nodes. +\end_layout + +\begin_layout CCSXML +\begin_inset Note Note +status open + +\begin_layout Plain Layout +The code below should be generated by the tool at http://dl.acm.org/ccs.cfm +\end_layout + +\end_inset + +<ccs2012> +\end_layout + +\begin_layout CCSXML + <concept> +\end_layout + +\begin_layout CCSXML + <concept_id>10010520.10010553.10010562</concept_id> +\end_layout + +\begin_layout CCSXML + <concept_desc>Computer systems organization~Embedded systems</concept_desc> +\end_layout + +\begin_layout CCSXML + <concept_significance>500</concept_significance> +\end_layout + +\begin_layout CCSXML + </concept> +\end_layout + +\begin_layout CCSXML + <concept> +\end_layout + +\begin_layout CCSXML + <concept_id>10010520.10010575.10010755</concept_id> +\end_layout + +\begin_layout CCSXML + <concept_desc>Computer systems organization~Redundancy</concept_desc> +\end_layout + +\begin_layout CCSXML + <concept_significance>300</concept_significance> +\end_layout + +\begin_layout CCSXML + </concept> +\end_layout + +\begin_layout CCSXML + <concept> +\end_layout + +\begin_layout CCSXML + <concept_id>10010520.10010553.10010554</concept_id> +\end_layout + +\begin_layout CCSXML + <concept_desc>Computer systems organization~Robotics</concept_desc> +\end_layout + +\begin_layout CCSXML + <concept_significance>100</concept_significance> +\end_layout + +\begin_layout CCSXML + </concept> +\end_layout + +\begin_layout CCSXML + <concept> +\end_layout + +\begin_layout CCSXML + <concept_id>10003033.10003083.10003095</concept_id> +\end_layout + +\begin_layout CCSXML + <concept_desc>Networks~Network reliability</concept_desc> +\end_layout + +\begin_layout CCSXML + <concept_significance>100</concept_significance> +\end_layout + +\begin_layout CCSXML + </concept> +\end_layout + +\begin_layout CCSXML +</ccs2012> +\end_layout + +\begin_layout CCS Description +\begin_inset Argument 1 +status open + +\begin_layout Plain Layout +500 +\end_layout + +\end_inset + +Computer systems organization~Embedded systems +\end_layout + +\begin_layout CCS Description +\begin_inset Argument 1 +status open + +\begin_layout Plain Layout +300 +\end_layout + +\end_inset + +Computer systems organization~Redundancy +\end_layout + +\begin_layout CCS Description +Computer systems organization~Robotics +\end_layout + +\begin_layout CCS Description +\begin_inset Argument 1 +status open + +\begin_layout Plain Layout +100 +\end_layout + +\end_inset + +Networks~Network reliability +\end_layout + +\begin_layout Keywords +Wireless sensor networks, media access control, multi-channel, radio interferenc +e, time synchronization +\end_layout + +\begin_layout Thanks +This work is supported by the National Science Foundation, under grant CNS-04350 +60, grant CCR-0325197 and grant EN-CS-0329609. + Author's addresses: G. + Zhou, Computer Science Department, College of William and Mary; Y. + Wu {and} J. + A. + Stankovic, Computer Science Department, University of Virginia; T. + Yan, Eaton Innovation Center; T. + He, Computer Science Department, University of Minnesota; C. + Huang, Google; T. + F. + Abdelzaher, (Current address) NASA Ames Research Center, Moffett Field, + California 94035. +\end_layout + +\begin_layout Standard +\begin_inset Note Note +status open + +\begin_layout Plain Layout +The default list of authors is too long for headers +\end_layout + +\end_inset + + +\end_layout + +\begin_layout ShortAuthors +\begin_inset Note Note +status open + +\begin_layout Plain Layout +This must be after +\family typewriter + +\backslash +maketitle +\end_layout + +\end_inset + +G. + Zhou et al. +\end_layout + +\begin_layout Section +Introduction +\end_layout + +\begin_layout Standard +As a new technology, Wireless Sensor Networks (WSNs) has a wide range of + applications +\begin_inset CommandInset citation +LatexCommand cite +key "Culler-01, Bahl-02, Akyildiz-01" +literal "true" + +\end_inset + +, including environment monitoring, smart buildings, medical care, industrial + and military applications. + Among them, a recent trend is to develop commercial sensor networks that + require pervasive sensing of both environment and human beings, for example, + assisted living +\begin_inset CommandInset citation +LatexCommand cite +key "Akyildiz-02, Harvard-01,CROSSBOW" +literal "true" + +\end_inset + + and smart homes +\begin_inset CommandInset citation +LatexCommand cite +key "Harvard-01, Adya-01,CROSSBOW" +literal "true" + +\end_inset + +. + +\end_layout + +\begin_layout Quote +\begin_inset Quotes eld +\end_inset + +For these applications, sensor devices are incorporated into human cloths + +\begin_inset CommandInset citation +LatexCommand cite +key "Natarajan-01, Zhou-06, Bahl-02, Adya-01" +literal "true" + +\end_inset + + for monitoring health related information like EKG readings, fall detection, + and voice recognition +\begin_inset Quotes erd +\end_inset + +. + +\end_layout + +\begin_layout Standard +While collecting all these multimedia information +\begin_inset CommandInset citation +LatexCommand cite +key "Akyildiz-02" +literal "true" + +\end_inset + + requires a high network throughput, off-the-shelf sensor devices only provide + very limited bandwidth in a single channel: 19.2 +\begin_inset space \thinspace{} +\end_inset + +Kbps in MICA2 +\begin_inset CommandInset citation +LatexCommand cite +key "Bahl-02" +literal "true" + +\end_inset + + and 250 +\begin_inset space \thinspace{} +\end_inset + +Kbps in MICAz. +\end_layout + +\begin_layout Standard +In this article, we propose MMSN, abbreviation for Multifrequency Media + access control for wireless Sensor Networks. + The main contributions of this work can be summarized as follows. + +\begin_inset ERT +status collapsed + +\begin_layout Plain Layout + +% itemize +\end_layout + +\begin_layout Plain Layout + +\end_layout + +\end_inset + + +\end_layout + +\begin_layout Itemize +To the best of our knowledge, the MMSN protocol is the first multifrequency + MAC protocol especially designed for WSNs, in which each device is equipped + with a single radio transceiver and the MAC layer packet size is very small. + +\end_layout + +\begin_layout Itemize +Instead of using pairwise RTS/CTS frequency negotiation +\begin_inset CommandInset citation +LatexCommand cite +key "Adya-01, Culler-01, Tzamaloukas-01, Zhou-06" +literal "true" + +\end_inset + +, we propose lightweight frequency assignments, which are good choices for + many deployed comparatively static WSNs. + +\end_layout + +\begin_layout Itemize +We develop new toggle transmission and snooping techniques to enable a single + radio transceiver in a sensor device to achieve scalable performance, avoiding + the nonscalable +\begin_inset Quotes eld +\end_inset + +one control channel + multiple data channels +\begin_inset Quotes erd +\end_inset + + design +\begin_inset CommandInset citation +LatexCommand cite +key "Natarajan-01" +literal "true" + +\end_inset + +. + +\end_layout + +\begin_layout Section +MMSN Protocol +\end_layout + +\begin_layout Subsection +Frequency Assignment +\end_layout + +\begin_layout Standard +We propose a suboptimal distribution to be used by each node, which is easy + to compute and does not depend on the number of competing nodes. + A natural candidate is an increasing geometric sequence, in which +\begin_inset Formula +\begin{equation} +P(t)=\frac{b^{\frac{t+1}{T+1}}-b^{\frac{t}{T+1}}}{b-1},\label{eqn:01} +\end{equation} + +\end_inset + +where +\begin_inset Formula $t=0,{\ldots}\,,T$ +\end_inset + +, and +\begin_inset Formula $b$ +\end_inset + + is a number greater than +\begin_inset Formula $1$ +\end_inset + +. +\end_layout + +\begin_layout Standard +In our algorithm, we use the suboptimal approach for simplicity and generality. + We need to make the distribution of the selected back-off time slice at + each node conform to what is shown in Equation +\begin_inset space ~ +\end_inset + + +\begin_inset CommandInset ref +LatexCommand eqref +reference "eqn:01" +plural "false" +caps "false" +noprefix "false" + +\end_inset + +. + It is implemented as follows: First, a random variable +\begin_inset Formula $\alpha$ +\end_inset + + with a uniform distribution within the interval +\begin_inset Formula $(0,1)$ +\end_inset + + is generated on each node, then time slice +\begin_inset Formula $i$ +\end_inset + + is selected according to the following equation: +\begin_inset Formula +\[ +i=\lfloor(T+1)\log_{b}[\alpha(b-1)+1]\rfloor. +\] + +\end_inset + +It can be easily proven that the distribution of +\begin_inset Formula $i$ +\end_inset + + conforms to Equation ( +\begin_inset CommandInset ref +LatexCommand ref +reference "eqn:01" +plural "false" +caps "false" +noprefix "false" + +\end_inset + +). +\end_layout + +\begin_layout Standard +So protocols +\begin_inset CommandInset citation +LatexCommand cite +key "Bahl-02, Culler-01,Zhou-06,Adya-01, Tzamaloukas-01, Akyildiz-01" +literal "true" + +\end_inset + + that use RTS/CTS controls +\begin_inset Foot +status open + +\begin_layout Plain Layout +RTS/CTS controls are required to be implemented by 802.11-compliant devices. + They can be used as an optional mechanism to avoid Hidden Terminal Problems + in the 802.11 standard and protocols based on those similar to +\begin_inset CommandInset citation +LatexCommand cite +key "Akyildiz-01" +literal "true" + +\end_inset + + and +\begin_inset CommandInset citation +LatexCommand cite +key "Adya-01" +literal "true" + +\end_inset + +. +\end_layout + +\end_inset + + for frequency negotiation and reservation are not suitable for WSN applications +, even though they exhibit good performance in general wireless ad hoc networks. +\end_layout + +\begin_layout Subsubsection +Exclusive Frequency Assignment +\end_layout + +\begin_layout Standard +In exclusive frequency assignment, nodes first exchange their IDs among + two communication hops so that each node knows its two-hop neighbors' IDs. + In the second broadcast, each node beacons all neighbors' IDs it has collected + during the first broadcast period. +\end_layout + +\begin_layout Paragraph +Eavesdropping +\end_layout + +\begin_layout Standard +Even though the even selection scheme leads to even sharing of available + frequencies among any two-hop neighborhood, it involves a number of two-hop + broadcasts. + To reduce the communication cost, we propose a lightweight eavesdropping + scheme. +\end_layout + +\begin_layout Subsection +Basic Notations +\end_layout + +\begin_layout Standard +As Algorithm +\begin_inset space ~ +\end_inset + + +\begin_inset CommandInset ref +LatexCommand ref +reference "alg:one" +plural "false" +caps "false" +noprefix "false" + +\end_inset + + states, for each frequency number, each node calculates a random number + ( +\begin_inset Formula $\textit{Rnd}_{\alpha}$ +\end_inset + +) for itself and a random number ( +\begin_inset Formula $\textit{Rnd}_{\beta}$ +\end_inset + +) for each of its two-hop neighbors with the same pseudorandom number generator. +\end_layout + +\begin_layout Standard +\begin_inset Float algorithm +placement t +wide false +sideways false +status open + +\begin_layout Algorithm +\begin_inset ERT +status open + +\begin_layout Plain Layout + + +\backslash +SetAlgoNoLine +\end_layout + +\end_inset + + +\end_layout + +\begin_layout Algorithm +\begin_inset ERT +status open + +\begin_layout Plain Layout + + +\backslash +KwIn{ +\end_layout + +\end_inset + +Node +\begin_inset Formula $\alpha$ +\end_inset + +'s ID ( +\begin_inset Formula $ID_{\alpha}$ +\end_inset + +), and node +\begin_inset Formula $\alpha$ +\end_inset + +'s neighbors' IDs within two communication hops. +\begin_inset ERT +status open + +\begin_layout Plain Layout + +} +\end_layout + +\end_inset + + +\end_layout + +\begin_layout Algorithm +\noindent +\begin_inset ERT +status open + +\begin_layout Plain Layout + + +\backslash +KwOut{ +\end_layout + +\end_inset + +The frequency number ( +\begin_inset Formula $FreNum_{\alpha}$ +\end_inset + +) node +\begin_inset Formula $\alpha$ +\end_inset + + gets assigned. +\begin_inset ERT +status open + +\begin_layout Plain Layout + +} +\end_layout + +\end_inset + + +\end_layout + +\begin_layout Algorithm +\begin_inset Formula $index$ +\end_inset + + = 0; +\begin_inset Formula $FreNum_{\alpha}$ +\end_inset + + = -1 +\begin_inset ERT +status open + +\begin_layout Plain Layout + + +\backslash +; +\end_layout + +\end_inset + + +\end_layout + +\begin_layout Algorithm +\begin_inset ERT +status open + +\begin_layout Plain Layout + + +\backslash +Repeat{ +\end_layout + +\end_inset + + +\begin_inset Formula $FreNum_{\alpha}>-1$ +\end_inset + + +\begin_inset ERT +status open + +\begin_layout Plain Layout + +} +\end_layout + +\end_inset + + +\begin_inset ERT +status open + +\begin_layout Plain Layout + +{ +\end_layout + +\end_inset + + +\end_layout + +\begin_deeper +\begin_layout Algorithm +\begin_inset Formula $Rnd_{\alpha}$ +\end_inset + + = Random( +\begin_inset Formula $ID_{\alpha}$ +\end_inset + +, +\begin_inset Formula $index$ +\end_inset + +) +\begin_inset ERT +status open + +\begin_layout Plain Layout + + +\backslash +; +\end_layout + +\end_inset + + +\end_layout + +\begin_layout Algorithm +\begin_inset Formula $Found$ +\end_inset + + = +\begin_inset Formula $TRUE$ +\end_inset + + +\begin_inset ERT +status open + +\begin_layout Plain Layout + + +\backslash +; +\end_layout + +\end_inset + + +\end_layout + +\begin_layout Algorithm +\begin_inset ERT +status open + +\begin_layout Plain Layout + + +\backslash +For{ +\end_layout + +\end_inset + +each node +\begin_inset Formula $\beta$ +\end_inset + + in +\begin_inset Formula $\alpha$ +\end_inset + +'s two communication hops +\begin_inset ERT +status open + +\begin_layout Plain Layout + +} +\end_layout + +\end_inset + + +\begin_inset ERT +status open + +\begin_layout Plain Layout + +{ +\end_layout + +\end_inset + + +\end_layout + +\begin_deeper +\begin_layout Algorithm +\begin_inset Formula $Rnd_{\beta}$ +\end_inset + + = Random( +\begin_inset Formula $ID_{\beta}$ +\end_inset + +, +\begin_inset Formula $index$ +\end_inset + +) +\begin_inset ERT +status open + +\begin_layout Plain Layout + + +\backslash +; +\end_layout + +\end_inset + + +\end_layout + +\begin_layout Algorithm +\begin_inset ERT +status open + +\begin_layout Plain Layout + + +\backslash +If{ +\end_layout + +\end_inset + +( +\begin_inset Formula $Rnd_{\alpha}<Rnd_{\beta}$ +\end_inset + +) or ( +\begin_inset Formula $Rnd_{\alpha}$ +\end_inset + + == +\begin_inset Formula $Rnd_{\beta}$ +\end_inset + + and +\begin_inset Formula $ID_{\alpha}<ID_{\beta}$ +\end_inset + +) +\begin_inset ERT +status open + +\begin_layout Plain Layout + + +\backslash +; +\end_layout + +\end_inset + + +\end_layout + +\begin_layout Algorithm +\begin_inset ERT +status open + +\begin_layout Plain Layout + +} +\end_layout + +\end_inset + + +\begin_inset ERT +status open + +\begin_layout Plain Layout + +{ +\end_layout + +\end_inset + + +\end_layout + +\begin_deeper +\begin_layout Algorithm +\begin_inset Formula $Found$ +\end_inset + + = +\begin_inset Formula $FALSE$ +\end_inset + +; break +\begin_inset ERT +status open + +\begin_layout Plain Layout + + +\backslash +; +\end_layout + +\end_inset + + +\end_layout + +\end_deeper +\begin_layout Algorithm +\begin_inset ERT +status open + +\begin_layout Plain Layout + +} +\end_layout + +\end_inset + + +\end_layout + +\end_deeper +\begin_layout Algorithm +\begin_inset ERT +status open + +\begin_layout Plain Layout + +} +\end_layout + +\end_inset + + +\end_layout + +\begin_layout Algorithm +\begin_inset ERT +status open + +\begin_layout Plain Layout + + +\backslash +eIf{ +\end_layout + +\end_inset + + +\begin_inset Formula $Found$ +\end_inset + + +\begin_inset ERT +status open + +\begin_layout Plain Layout + +} +\end_layout + +\end_inset + + +\begin_inset ERT +status open + +\begin_layout Plain Layout + +{ +\end_layout + +\end_inset + + +\end_layout + +\begin_deeper +\begin_layout Algorithm +\begin_inset Formula $FreNum_{\alpha}$ +\end_inset + + = +\begin_inset Formula $index$ +\end_inset + + +\begin_inset ERT +status open + +\begin_layout Plain Layout + + +\backslash +; +\end_layout + +\end_inset + + +\end_layout + +\end_deeper +\begin_layout Algorithm +\begin_inset ERT +status open + +\begin_layout Plain Layout + +} +\end_layout + +\end_inset + + +\begin_inset ERT +status open + +\begin_layout Plain Layout + +{ +\end_layout + +\end_inset + + +\end_layout + +\begin_deeper +\begin_layout Algorithm +\begin_inset Formula $index$ +\end_inset + + ++ +\begin_inset ERT +status open + +\begin_layout Plain Layout + + +\backslash +; +\end_layout + +\end_inset + + +\end_layout + +\end_deeper +\begin_layout Algorithm +\begin_inset ERT +status open + +\begin_layout Plain Layout + +} +\end_layout + +\end_inset + + +\end_layout + +\end_deeper +\begin_layout Algorithm +\begin_inset ERT +status open + +\begin_layout Plain Layout + +} +\end_layout + +\end_inset + + +\end_layout + +\begin_layout Plain Layout +\begin_inset Caption Standard + +\begin_layout Plain Layout +Frequency Number Computation +\end_layout + +\end_inset + + +\begin_inset CommandInset label +LatexCommand label +name "alg:one" + +\end_inset + + +\end_layout + +\end_inset + + +\end_layout + +\begin_layout Standard +Bus masters are divided into two disjoint sets, +\begin_inset Formula $\mathcal{M}_{RT}$ +\end_inset + + and +\begin_inset Formula $\mathcal{M}_{NRT}$ +\end_inset + +. +\end_layout + +\begin_layout Description +RT +\begin_inset space ~ +\end_inset + +Masters +\begin_inset Formula $\mathcal{M}_{RT}=\{\vec{m}_{1},\dots,\vec{m}_{n}\}$ +\end_inset + + denotes the +\begin_inset Formula $n$ +\end_inset + + RT masters issuing real-time constrained requests. + To model the current request issued by an +\begin_inset Formula $\vec{m}_{i}$ +\end_inset + + in +\begin_inset Formula $\mathcal{M}_{RT}$ +\end_inset + +, three parametersâthe recurrence time +\begin_inset Formula $(r_{i})$ +\end_inset + +, the service cycle +\begin_inset Formula $(c_{i})$ +\end_inset + +, and the relative deadline +\begin_inset Formula $(d_{i})$ +\end_inset + +âare used, with their relationships. + +\end_layout + +\begin_layout Description +NRT +\begin_inset space ~ +\end_inset + +Masters +\begin_inset Formula $\mathcal{M}_{NRT}=\{\vec{m}_{n+1},\dots,\vec{m}_{n+m}\}$ +\end_inset + + is a set of +\begin_inset Formula $m$ +\end_inset + + masters issuing nonreal-time constrained requests. + In our model, each +\begin_inset Formula $\vec{m}_{j}$ +\end_inset + + in +\begin_inset Formula $\mathcal{M}_{NRT}$ +\end_inset + + needs only one parameter, the service cycle, to model the current request + it issues. + +\end_layout + +\begin_layout Standard +Here, a question may arise, since each node has a global ID. + Why don't we just map nodes' IDs within two hops into a group of frequency + numbers and assign those numbers to all nodes within two hops? +\end_layout + +\begin_layout Section +Simulator +\end_layout + +\begin_layout Standard +\begin_inset CommandInset label +LatexCommand label +name "sec:sim" + +\end_inset + + +\end_layout + +\begin_layout Standard +If the model checker requests successors of a state which are not created + yet, the state space uses the simulator to create the successors on-the-fly. + To create successor states the simulator conducts the following steps. + +\end_layout + +\begin_layout Enumerate +Load state into microcontroller model. + +\end_layout + +\begin_layout Enumerate +Determine assignments needed for resolving nondeterminism. + +\end_layout + +\begin_layout Enumerate +For each assignment. + +\end_layout + +\begin_deeper +\begin_layout Enumerate +either call interrupt handler or simulate effect of next instruction, or + +\end_layout + +\begin_layout Enumerate +evaluate truth values of atomic propositions. + +\end_layout + +\end_deeper +\begin_layout Enumerate +Return resulting states. + +\end_layout + +\begin_layout Standard +Figure +\begin_inset space ~ +\end_inset + + +\begin_inset CommandInset ref +LatexCommand ref +reference "fig:one" +plural "false" +caps "false" +noprefix "false" + +\end_inset + + shows a typical microcontroller C program that controls an automotive power + window lift. + The program is one of the programs used in the case study described in + Section +\begin_inset space ~ +\end_inset + + +\begin_inset CommandInset ref +LatexCommand ref +reference "sec:sim" +plural "false" +caps "false" +noprefix "false" + +\end_inset + +. + At first sight, the programs looks like an ANSI +\begin_inset space ~ +\end_inset + +C program. + It contains function calls, assignments, if clauses, and while loops. + +\begin_inset Float figure +wide false +sideways false +status open + +\begin_layout Plain Layout +\begin_inset Graphics + filename mouse.eps + +\end_inset + + +\begin_inset Caption Standard + +\begin_layout Plain Layout +Code before preprocessing. +\end_layout + +\end_inset + + +\begin_inset CommandInset label +LatexCommand label +name "fig:one" + +\end_inset + + +\end_layout + +\end_inset + + +\end_layout + +\begin_layout Subsection +Problem Formulation +\end_layout + +\begin_layout Standard +The objective of variable coalescence-based offset assignment is to find + both the coalescence scheme and the MWPC on the coalesced graph. + We start with a few definitions and lemmas for variable coalescence. +\end_layout + +\begin_layout Definition +\begin_inset Argument 1 +status open + +\begin_layout Plain Layout +Coalesced Node (C-Node) +\end_layout + +\end_inset + +A C-node is a set of live ranges (webs) in the AG or IG that are coalesced. + Nodes within the same C-node cannot interfere with each other on the IG. + Before any coalescing is done, each live range is a C-node by itself. +\end_layout + +\begin_layout Standard +\begin_inset Separator plain +\end_inset + + +\end_layout + +\begin_layout Definition +\begin_inset Argument 1 +status open + +\begin_layout Plain Layout +C-AG (Coalesced Access Graph) +\end_layout + +\end_inset + +The C-AG is the access graph after node coalescence, which is composed of + all C-nodes and C-edges. +\end_layout + +\begin_layout Lemma +The C-MWPC problem is NP-complete. +\end_layout + +\begin_layout Proof +C-MWPC can be easily reduced to the MWPC problem assuming a coalescence + graph without any edge or a fully connected interference graph. + Therefore, each C-node is an uncoalesced live range after value separation + and C-PC is equivalent to PC. + A fully connected interference graph is made possible when all live ranges + interfere with each other. + Thus, the C-MWPC problem is NP-complete. +\end_layout + +\begin_layout Lemma +\begin_inset Argument 1 +status open + +\begin_layout Plain Layout +Lemma Subhead +\end_layout + +\end_inset + +The solution to the C-MWPC problem is no worse than the solution to the + MWPC. +\end_layout + +\begin_layout Proof +Simply, any solution to the MWPC is also a solution to the C-MWPC. + But some solutions to C-MWPC may not apply to the MWPC (if any coalescing + were made). +\end_layout + +\begin_layout Section +Performance Evaluation +\end_layout + +\begin_layout Standard +During all the experiments, the Geographic Forwarding (GF) by Akuilidz et + al. +\begin_inset space ~ +\end_inset + + +\begin_inset CommandInset citation +LatexCommand citeyear +key "Akyildiz-01" +literal "true" + +\end_inset + + routing protocol is used. + GF exploits geographic information of nodes and conducts local data-forwarding + to achieve end-to-end routing. + Our simulation is configured according to the settings in Table +\begin_inset space ~ +\end_inset + + +\begin_inset CommandInset ref +LatexCommand ref +reference "tab:one" +plural "false" +caps "false" +noprefix "false" + +\end_inset + +. + Each run lasts for 2 minutes and repeated 100 times. + For each data value we present in the results, we also give its 90% confidence + interval. +\end_layout + +\begin_layout Standard +\begin_inset Float table +wide false +sideways false +status open + +\begin_layout Plain Layout +\begin_inset Caption Standard + +\begin_layout Plain Layout +Simulation Configuration +\end_layout + +\end_inset + + +\begin_inset CommandInset label +LatexCommand label +name "tab:one" + +\end_inset + + +\begin_inset Box Frameless +position "c" +hor_pos "l" +has_inner_box 1 +inner_pos "c" +use_parbox 0 +use_makebox 0 +width "100col%" +special "none" +height "1in" +height_special "totalheight" +thickness "0.4pt" +separation "3pt" +shadowsize "4pt" +framecolor "black" +backgroundcolor "none" +status open + +\begin_layout Plain Layout +\align center +\begin_inset Tabular +<lyxtabular version="3" rows="10" columns="2"> +<features booktabs="true" tabularvalignment="middle"> +<column alignment="left" valignment="top" width="0pt"> +<column alignment="left" valignment="top"> +<row> +<cell alignment="left" valignment="top" topline="true" usebox="none"> +\begin_inset Text + +\begin_layout Plain Layout +TERRAIN +\begin_inset Foot +status collapsed + +\begin_layout Plain Layout +This is a table footnote. + This is a table footnote. + This is a table footnote. +\end_layout + +\end_inset + + +\end_layout + +\end_inset +</cell> +<cell alignment="left" valignment="top" topline="true" usebox="none"> +\begin_inset Text + +\begin_layout Plain Layout +(200m +\begin_inset Formula $\times$ +\end_inset + +200m) Square +\end_layout + +\end_inset +</cell> +</row> +<row> +<cell alignment="left" valignment="top" usebox="none"> +\begin_inset Text + +\begin_layout Plain Layout +Node Number +\end_layout + +\end_inset +</cell> +<cell alignment="left" valignment="top" usebox="none"> +\begin_inset Text + +\begin_layout Plain Layout +289 +\end_layout + +\end_inset +</cell> +</row> +<row> +<cell alignment="left" valignment="top" usebox="none"> +\begin_inset Text + +\begin_layout Plain Layout +Node Placement +\end_layout + +\end_inset +</cell> +<cell alignment="left" valignment="top" usebox="none"> +\begin_inset Text + +\begin_layout Plain Layout +Uniform +\end_layout + +\end_inset +</cell> +</row> +<row> +<cell alignment="left" valignment="top" usebox="none"> +\begin_inset Text + +\begin_layout Plain Layout +Application +\end_layout + +\end_inset +</cell> +<cell alignment="left" valignment="top" usebox="none"> +\begin_inset Text + +\begin_layout Plain Layout +Many-to-Many/Gossip CBR Streams +\end_layout + +\end_inset +</cell> +</row> +<row> +<cell alignment="left" valignment="top" usebox="none"> +\begin_inset Text + +\begin_layout Plain Layout +Payload Size +\end_layout + +\end_inset +</cell> +<cell alignment="left" valignment="top" usebox="none"> +\begin_inset Text + +\begin_layout Plain Layout +32 bytes +\end_layout + +\end_inset +</cell> +</row> +<row> +<cell alignment="left" valignment="top" usebox="none"> +\begin_inset Text + +\begin_layout Plain Layout +Routing Layer +\end_layout + +\end_inset +</cell> +<cell alignment="left" valignment="top" usebox="none"> +\begin_inset Text + +\begin_layout Plain Layout +GF +\end_layout + +\end_inset +</cell> +</row> +<row> +<cell alignment="left" valignment="top" usebox="none"> +\begin_inset Text + +\begin_layout Plain Layout +MAC Layer +\end_layout + +\end_inset +</cell> +<cell alignment="left" valignment="top" usebox="none"> +\begin_inset Text + +\begin_layout Plain Layout +CSMA/MMSN +\end_layout + +\end_inset +</cell> +</row> +<row> +<cell alignment="left" valignment="top" usebox="none"> +\begin_inset Text + +\begin_layout Plain Layout +Radio Layer +\end_layout + +\end_inset +</cell> +<cell alignment="left" valignment="top" usebox="none"> +\begin_inset Text + +\begin_layout Plain Layout +RADIO-ACCNOISE +\end_layout + +\end_inset +</cell> +</row> +<row> +<cell alignment="left" valignment="top" usebox="none"> +\begin_inset Text + +\begin_layout Plain Layout +Radio Bandwidth +\end_layout + +\end_inset +</cell> +<cell alignment="left" valignment="top" usebox="none"> +\begin_inset Text + +\begin_layout Plain Layout +250Kbps +\end_layout + +\end_inset +</cell> +</row> +<row> +<cell alignment="left" valignment="top" bottomline="true" usebox="none"> +\begin_inset Text + +\begin_layout Plain Layout +Radio Range +\end_layout + +\end_inset +</cell> +<cell alignment="left" valignment="top" bottomline="true" usebox="none"> +\begin_inset Text + +\begin_layout Plain Layout +20mâ45m +\end_layout + +\end_inset +</cell> +</row> +</lyxtabular> + +\end_inset + + +\end_layout + +\begin_layout Plain Layout +\begin_inset VSpace bigskip +\end_inset + + +\end_layout + +\begin_layout Plain Layout +\align center + +\size footnotesize +\emph on +Source: +\emph default + This is a table sourcenote. + This is a table sourcenote. + This is a table sourcenote. +\end_layout + +\begin_layout Plain Layout +\align center + +\size footnotesize +\emph on +Note: +\emph default + This is a table footnote. + +\end_layout + +\end_inset + + +\end_layout + +\end_inset + + +\end_layout + +\begin_layout Section +Conclusions +\end_layout + +\begin_layout Standard +In this article, we develop the first multifrequency MAC protocol for WSN + applications in which each device adopts a single radio transceiver. + The different MAC design requirements for WSNs and general wireless ad-hoc + networks are compared, and a complete WSN multifrequency MAC design (MMSN) + is put forth. + During the MMSN design, we analyze and evaluate different choices for frequency + assignments and also discuss the nonuniform back-off algorithms for the + slotted media access design. +\end_layout + +\begin_layout Standard +\begin_inset Note Note +status open + +\begin_layout Plain Layout +Start of "Sample References" section +\end_layout + +\end_inset + + +\end_layout + +\begin_layout Section +Typical references in new ACM Reference Format +\end_layout + +\begin_layout Standard +A paginated journal article +\begin_inset CommandInset citation +LatexCommand cite +key "Abril07" +literal "true" + +\end_inset + +, an enumerated journal article +\begin_inset CommandInset citation +LatexCommand cite +key "Cohen07" +literal "true" + +\end_inset + +, a reference to an entire issue +\begin_inset CommandInset citation +LatexCommand cite +key "JCohen96" +literal "true" + +\end_inset + +, a monograph (whole book) +\begin_inset CommandInset citation +LatexCommand cite +key "Kosiur01" +literal "true" + +\end_inset + +, a monograph/whole book in a series (see 2a in spec. + document) +\begin_inset CommandInset citation +LatexCommand cite +key "Harel79" +literal "true" + +\end_inset + +, a divisible-book such as an anthology or compilation +\begin_inset CommandInset citation +LatexCommand cite +key "Editor00" +literal "true" + +\end_inset + + followed by the same example, however we only output the series if the + volume number is given +\begin_inset CommandInset citation +LatexCommand cite +key "Editor00a" +literal "true" + +\end_inset + + (so Editor00a's series should NOT be present since it has no vol. + no.), a chapter in a divisible book +\begin_inset CommandInset citation +LatexCommand cite +key "Spector90" +literal "true" + +\end_inset + +, a chapter in a divisible book in a series +\begin_inset CommandInset citation +LatexCommand cite +key "Douglass98" +literal "true" + +\end_inset + +, a multi-volume work as book +\begin_inset CommandInset citation +LatexCommand cite +key "Knuth97" +literal "true" + +\end_inset + +, an article in a proceedings (of a conference, symposium, workshop for + example) (paginated proceedings article) +\begin_inset CommandInset citation +LatexCommand cite +key "Andler79" +literal "true" + +\end_inset + +, a proceedings article with all possible elements +\begin_inset CommandInset citation +LatexCommand cite +key "Smith10" +literal "true" + +\end_inset + +, an example of an enumerated proceedings article +\begin_inset CommandInset citation +LatexCommand cite +key "VanGundy07" +literal "true" + +\end_inset + +, an informally published work +\begin_inset CommandInset citation +LatexCommand cite +key "Harel78" +literal "true" + +\end_inset + +, a doctoral dissertation +\begin_inset CommandInset citation +LatexCommand cite +key "Clarkson85" +literal "true" + +\end_inset + +, a master's thesis: +\begin_inset CommandInset citation +LatexCommand cite +key "anisi03" +literal "true" + +\end_inset + +, an online document / world wide web resource +\begin_inset CommandInset citation +LatexCommand cite +key "Thornburg01, Ablamowicz07, Poker06" +literal "true" + +\end_inset + +, a video game (Case 1) +\begin_inset CommandInset citation +LatexCommand cite +key "Obama08" +literal "true" + +\end_inset + + and (Case 2) +\begin_inset CommandInset citation +LatexCommand cite +key "Novak03" +literal "true" + +\end_inset + + and +\begin_inset CommandInset citation +LatexCommand cite +key "Lee05" +literal "true" + +\end_inset + + and (Case 3) a patent +\begin_inset CommandInset citation +LatexCommand cite +key "JoeScientist001" +literal "true" + +\end_inset + +, work accepted for publication +\begin_inset CommandInset citation +LatexCommand cite +key "rous08" +literal "true" + +\end_inset + +, 'YYYYb'-test for prolific author +\begin_inset CommandInset citation +LatexCommand cite +key "SaeediMEJ10" +literal "true" + +\end_inset + + and +\begin_inset CommandInset citation +LatexCommand cite +key "SaeediJETC10" +literal "true" + +\end_inset + +. + Other cites might contain 'duplicate' DOI and URLs (some SIAM articles) + +\begin_inset CommandInset citation +LatexCommand cite +key "Kirschmer:2010:AEI:1958016.1958018" +literal "true" + +\end_inset + +. + Boris / Barbara Beeton: multi-volume works as books +\begin_inset CommandInset citation +LatexCommand cite +key "MR781536" +literal "true" + +\end_inset + + and +\begin_inset CommandInset citation +LatexCommand cite +key "MR781537" +literal "true" + +\end_inset + +. +\end_layout + +\begin_layout Standard +A couple of citations with DOIs: +\begin_inset CommandInset citation +LatexCommand cite +key "2004:ITE:1009386.1010128, Kirschmer:2010:AEI:1958016.1958018" +literal "true" + +\end_inset + +. +\end_layout + +\begin_layout Section +\start_of_appendix +Switching times +\end_layout + +\begin_layout Standard +In this appendix, we measure the channel switching time of Micaz +\begin_inset CommandInset citation +LatexCommand cite +key "CROSSBOW" +literal "true" + +\end_inset + + sensor devices. + In our experiments, one mote alternatingly switches between Channels +\begin_inset space ~ +\end_inset + +11 and +\begin_inset space ~ +\end_inset + +12. + Every time after the node switches to a channel, it sends out a packet + immediately and then changes to a new channel as soon as the transmission + is finished. + We measure the number of packets the test mote can send in 10 seconds, + denoted as +\begin_inset Formula $N_{1}$ +\end_inset + +. + In contrast, we also measure the same value of the test mote without switching + channels, denoted as +\begin_inset Formula $N_{2}$ +\end_inset + +. + We calculate the channel-switching time +\begin_inset Formula $s$ +\end_inset + + as +\begin_inset Formula +\[ +s=\frac{10}{N_{1}}-\frac{10}{N_{2}}. +\] + +\end_inset + +By repeating the experiments 100 times, we get the average channel-switching + time of Micaz motes: 24.3 +\begin_inset space \thinspace{} +\end_inset + + +\begin_inset Formula $\mu$ +\end_inset + +s. +\end_layout + +\begin_layout Section +Supplementary materials +\end_layout + +\begin_layout Standard +\begin_inset Flex Print Only +status open + +\begin_layout Plain Layout +See the supplementary materials in the online version +\end_layout + +\end_inset + + +\end_layout + +\begin_layout Standard +\begin_inset Flex Screen Only +status open + +\begin_layout Subsection +This is an example of Appendix subsection head +\end_layout + +\begin_layout Plain Layout +Channel-switching time is measured as the time length it takes for motes + to successfully switch from one channel to another. + This parameter impacts the maximum network throughput, because motes cannot + receive or send any packet during this period of time, and it also affects + the efficiency of toggle snooping in MMSN, where motes need to sense through + channels rapidly. +\end_layout + +\begin_layout Plain Layout +By repeating experiments 100 times, we get the average channel-switching + time of Micaz motes: 24.3 +\begin_inset Formula $\mu$ +\end_inset + +s. + We then conduct the same experiments with different Micaz motes, as well + as experiments with the transmitter switching from Channel 11 to other + channels. + In both scenarios, the channel-switching time does not have obvious changes. + (In our experiments, all values are in the range of 23.6 +\begin_inset Formula $\mu$ +\end_inset + +s to 24.9 +\begin_inset Formula $\mu$ +\end_inset + +s.) +\end_layout + +\begin_layout Subsection +Appendix subsection head +\end_layout + +\begin_layout Plain Layout +The primary consumer of energy in WSNs is idle listening. + The key to reduce idle listening is executing low duty-cycle on nodes. + Two primary approaches are considered in controlling duty-cycles in the + MAC layer. +\end_layout + +\end_inset + + +\end_layout + +\begin_layout Acknowledgments +The authors would like to thank Dr. + Maura Turolla of Telecom Italia for providing specifications about the + application scenario. +\end_layout + +\begin_layout Acknowledgments +The work is supported by the +\begin_inset Flex Grant Sponsor +status open + +\begin_layout Plain Layout +\begin_inset Argument 1 +status open + +\begin_layout Plain Layout +GS501100001809 +\end_layout + +\end_inset + + +\begin_inset Argument 2 +status open + +\begin_layout Plain Layout +National Natural Science Foundation of China +\end_layout + +\end_inset + + +\begin_inset Argument 3 +status open + +\begin_layout Plain Layout +http://dx.doi.org/10.13039/501100001809 +\end_layout + +\end_inset + + +\end_layout + +\end_inset + + under Grant No.: +\begin_inset space ~ +\end_inset + + +\begin_inset Flex Grant Number +status open + +\begin_layout Plain Layout +\begin_inset Argument 2 +status open + +\begin_layout Plain Layout +GS501100001809 +\end_layout + +\end_inset + +61273304_a +\end_layout + +\end_inset + + and +\begin_inset space ~ +\end_inset + + +\begin_inset Flex Grant Number +status open + +\begin_layout Plain Layout +\begin_inset Argument 1 +status open + +\begin_layout Plain Layout +http://www.nnsf.cn/youngscientsts +\end_layout + +\end_inset + + +\begin_inset Argument 2 +status open + +\begin_layout Plain Layout +GS501100001809 +\end_layout + +\end_inset + +Young Scientsts' Support Program +\end_layout + +\end_inset + +. +\end_layout + +\begin_layout Standard +\begin_inset Note Note +status open + +\begin_layout Plain Layout +Bibliography +\end_layout + +\end_inset + + +\begin_inset CommandInset bibtex +LatexCommand bibtex +bibfiles "acmart-sample-bibliography" +options "ACM-Reference-Format" + +\end_inset + + +\end_layout + +\end_body +\end_document diff --git a/lib/examples/acmart/acmart-sample-bibliography.bib b/lib/examples/acmart/acmart-sample-bibliography.bib new file mode 100644 index 0000000..f87f308 --- /dev/null +++ b/lib/examples/acmart/acmart-sample-bibliography.bib @@ -0,0 +1,1539 @@ +%%% ==================================================================== +%%% BibTeX-file{ +%%% author = "Gerry Murray", +%%% version = "1.2", +%%% date = "2 April 2012", +%%% filename = "acmsmall-sample-bibfile.bib", +%%% address = "ACM, NY", +%%% email = "murray at hq.acm.org", +%%% codetable = "ISO/ASCII", +%%% keywords = "ACM Reference Format, bibliography, citation, references", +%%% supported = "yes", +%%% docstring = "This BibTeX database file contains 'bibdata' entries +%%% that 'match' the examples provided in the Specifications Document +%%% AND, also, 'legacy'-type bibs. It should assist authors in +%%% choosing the 'correct' at-bibtype and necessary bib-fields +%%% so as to obtain the appropriate ACM Reference Format output. +%%% It also contains many 'Standard Abbreviations'. " +%%% } +%%% ==================================================================== + +% Journals + +% First the Full Name is given, then the abbreviation used in the AMS Math +% Reviews, with an indication if it could not be found there. +% Note the 2nd overwrites the 1st, so swap them if you want the full name. + + %{AMS} + @String{AMSTrans = "American Mathematical Society Translations" } + @String{AMSTrans = "Amer. Math. Soc. Transl." } + @String{BullAMS = "Bulletin of the American Mathematical Society" } + @String{BullAMS = "Bull. Amer. Math. Soc." } + @String{ProcAMS = "Proceedings of the American Mathematical Society" } + @String{ProcAMS = "Proc. Amer. Math. Soc." } + @String{TransAMS = "Transactions of the American Mathematical Society" } + @String{TransAMS = "Trans. Amer. Math. Soc." } + + %ACM + @String{CACM = "Communications of the {ACM}" } + @String{CACM = "Commun. {ACM}" } + @String{CompServ = "Comput. Surveys" } + @String{JACM = "J. ACM" } + @String{ACMMathSoft = "{ACM} Transactions on Mathematical Software" } + @String{ACMMathSoft = "{ACM} Trans. Math. Software" } + @String{SIGNUM = "{ACM} {SIGNUM} Newsletter" } + @String{SIGNUM = "{ACM} {SIGNUM} Newslett." } + + @String{AmerSocio = "American Journal of Sociology" } + @String{AmerStatAssoc = "Journal of the American Statistical Association" } + @String{AmerStatAssoc = "J. Amer. Statist. Assoc." } + @String{ApplMathComp = "Applied Mathematics and Computation" } + @String{ApplMathComp = "Appl. Math. Comput." } + @String{AmerMathMonthly = "American Mathematical Monthly" } + @String{AmerMathMonthly = "Amer. Math. Monthly" } + @String{BIT = "{BIT}" } + @String{BritStatPsych = "British Journal of Mathematical and Statistical + Psychology" } + @String{BritStatPsych = "Brit. J. Math. Statist. Psych." } + @String{CanMathBull = "Canadian Mathematical Bulletin" } + @String{CanMathBull = "Canad. Math. Bull." } + @String{CompApplMath = "Journal of Computational and Applied Mathematics" } + @String{CompApplMath = "J. Comput. Appl. Math." } + @String{CompPhys = "Journal of Computational Physics" } + @String{CompPhys = "J. Comput. Phys." } + @String{CompStruct = "Computers and Structures" } + @String{CompStruct = "Comput. \& Structures" } + @String{CompJour = "The Computer Journal" } + @String{CompJour = "Comput. J." } + @String{CompSysSci = "Journal of Computer and System Sciences" } + @String{CompSysSci = "J. Comput. System Sci." } + @String{Computing = "Computing" } + @String{ContempMath = "Contemporary Mathematics" } + @String{ContempMath = "Contemp. Math." } + @String{Crelle = "Crelle's Journal" } + @String{GiornaleMath = "Giornale di Mathematiche" } + @String{GiornaleMath = "Giorn. Mat." } % didn't find in AMS MR., ibid. + + %IEEE + @String{Computer = "{IEEE} Computer" } + @String{IEEETransComp = "{IEEE} Transactions on Computers" } + @String{IEEETransComp = "{IEEE} Trans. Comput." } + @String{IEEETransAC = "{IEEE} Transactions on Automatic Control" } + @String{IEEETransAC = "{IEEE} Trans. Automat. Control" } + @String{IEEESpec = "{IEEE} Spectrum" } % didn't find in AMS MR + @String{ProcIEEE = "Proceedings of the {IEEE}" } + @String{ProcIEEE = "Proc. {IEEE}" } % didn't find in AMS MR + @String{IEEETransAeroElec = "{IEEE} Transactions on Aerospace and Electronic + Systems" } + @String{IEEETransAeroElec = "{IEEE} Trans. Aerospace Electron. Systems" } + + @String{IMANumerAna = "{IMA} Journal of Numerical Analysis" } + @String{IMANumerAna = "{IMA} J. Numer. Anal." } + @String{InfProcLet = "Information Processing Letters" } + @String{InfProcLet = "Inform. Process. Lett." } + @String{InstMathApp = "Journal of the Institute of Mathematics and + its Applications" } + @String{InstMathApp = "J. Inst. Math. Appl." } + @String{IntControl = "International Journal of Control" } + @String{IntControl = "Internat. J. Control" } + @String{IntNumerEng = "International Journal for Numerical Methods in + Engineering" } + @String{IntNumerEng = "Internat. J. Numer. Methods Engrg." } + @String{IntSuper = "International Journal of Supercomputing Applications" } + @String{IntSuper = "Internat. J. Supercomputing Applic." } % didn't find +%% in AMS MR + @String{Kibernetika = "Kibernetika" } + @String{JResNatBurStand = "Journal of Research of the National Bureau + of Standards" } + @String{JResNatBurStand = "J. Res. Nat. Bur. Standards" } + @String{LinAlgApp = "Linear Algebra and its Applications" } + @String{LinAlgApp = "Linear Algebra Appl." } + @String{MathAnaAppl = "Journal of Mathematical Analysis and Applications" } + @String{MathAnaAppl = "J. Math. Anal. Appl." } + @String{MathAnnalen = "Mathematische Annalen" } + @String{MathAnnalen = "Math. Ann." } + @String{MathPhys = "Journal of Mathematical Physics" } + @String{MathPhys = "J. Math. Phys." } + @String{MathComp = "Mathematics of Computation" } + @String{MathComp = "Math. Comp." } + @String{MathScand = "Mathematica Scandinavica" } + @String{MathScand = "Math. Scand." } + @String{TablesAidsComp = "Mathematical Tables and Other Aids to Computation" } + @String{TablesAidsComp = "Math. Tables Aids Comput." } + @String{NumerMath = "Numerische Mathematik" } + @String{NumerMath = "Numer. Math." } + @String{PacificMath = "Pacific Journal of Mathematics" } + @String{PacificMath = "Pacific J. Math." } + @String{ParDistComp = "Journal of Parallel and Distributed Computing" } + @String{ParDistComp = "J. Parallel and Distrib. Comput." } % didn't find +%% in AMS MR + @String{ParComputing = "Parallel Computing" } + @String{ParComputing = "Parallel Comput." } + @String{PhilMag = "Philosophical Magazine" } + @String{PhilMag = "Philos. Mag." } + @String{ProcNAS = "Proceedings of the National Academy of Sciences + of the USA" } + @String{ProcNAS = "Proc. Nat. Acad. Sci. U. S. A." } + @String{Psychometrika = "Psychometrika" } + @String{QuartMath = "Quarterly Journal of Mathematics, Oxford, Series (2)" } + @String{QuartMath = "Quart. J. Math. Oxford Ser. (2)" } + @String{QuartApplMath = "Quarterly of Applied Mathematics" } + @String{QuartApplMath = "Quart. Appl. Math." } + @String{RevueInstStat = "Review of the International Statisical Institute" } + @String{RevueInstStat = "Rev. Inst. Internat. Statist." } + + %SIAM + @String{JSIAM = "Journal of the Society for Industrial and Applied + Mathematics" } + @String{JSIAM = "J. Soc. Indust. Appl. Math." } + @String{JSIAMB = "Journal of the Society for Industrial and Applied + Mathematics, Series B, Numerical Analysis" } + @String{JSIAMB = "J. Soc. Indust. Appl. Math. Ser. B Numer. Anal." } + @String{SIAMAlgMeth = "{SIAM} Journal on Algebraic and Discrete Methods" } + @String{SIAMAlgMeth = "{SIAM} J. Algebraic Discrete Methods" } + @String{SIAMAppMath = "{SIAM} Journal on Applied Mathematics" } + @String{SIAMAppMath = "{SIAM} J. Appl. Math." } + @String{SIAMComp = "{SIAM} Journal on Computing" } + @String{SIAMComp = "{SIAM} J. Comput." } + @String{SIAMMatrix = "{SIAM} Journal on Matrix Analysis and Applications" } + @String{SIAMMatrix = "{SIAM} J. Matrix Anal. Appl." } + @String{SIAMNumAnal = "{SIAM} Journal on Numerical Analysis" } + @String{SIAMNumAnal = "{SIAM} J. Numer. Anal." } + @String{SIAMReview = "{SIAM} Review" } + @String{SIAMReview = "{SIAM} Rev." } + @String{SIAMSciStat = "{SIAM} Journal on Scientific and Statistical + Computing" } + @String{SIAMSciStat = "{SIAM} J. Sci. Statist. Comput." } + + @String{SoftPracExp = "Software Practice and Experience" } + @String{SoftPracExp = "Software Prac. Experience" } % didn't find in AMS MR + @String{StatScience = "Statistical Science" } + @String{StatScience = "Statist. Sci." } + @String{Techno = "Technometrics" } + @String{USSRCompMathPhys = "{USSR} Computational Mathematics and Mathematical + Physics" } + @String{USSRCompMathPhys = "{U. S. S. R.} Comput. Math. and Math. Phys." } + @String{VLSICompSys = "Journal of {VLSI} and Computer Systems" } + @String{VLSICompSys = "J. {VLSI} Comput. Syst." } + @String{ZAngewMathMech = "Zeitschrift fur Angewandte Mathematik und + Mechanik" } + @String{ZAngewMathMech = "Z. Angew. Math. Mech." } + @String{ZAngewMathPhys = "Zeitschrift fur Angewandte Mathematik und Physik" } + @String{ZAngewMathPhys = "Z. Angew. Math. Phys." } + +% Publishers % ================================================= | + + @String{Academic = "Academic Press" } + @String{ACMPress = "{ACM} Press" } + @String{AdamHilger = "Adam Hilger" } + @String{AddisonWesley = "Addison-Wesley" } + @String{AllynBacon = "Allyn and Bacon" } + @String{AMS = "American Mathematical Society" } + @String{Birkhauser = "Birkha{\"u}ser" } + @String{CambridgePress = "Cambridge University Press" } + @String{Chelsea = "Chelsea" } + @String{ClaredonPress = "Claredon Press" } + @String{DoverPub = "Dover Publications" } + @String{Eyolles = "Eyolles" } + @String{HoltRinehartWinston = "Holt, Rinehart and Winston" } + @String{Interscience = "Interscience" } + @String{JohnsHopkinsPress = "The Johns Hopkins University Press" } + @String{JohnWileySons = "John Wiley and Sons" } + @String{Macmillan = "Macmillan" } + @String{MathWorks = "The Math Works Inc." } + @String{McGrawHill = "McGraw-Hill" } + @String{NatBurStd = "National Bureau of Standards" } + @String{NorthHolland = "North-Holland" } + @String{OxfordPress = "Oxford University Press" } %address Oxford or London? + @String{PergamonPress = "Pergamon Press" } + @String{PlenumPress = "Plenum Press" } + @String{PrenticeHall = "Prentice-Hall" } + @String{SIAMPub = "{SIAM} Publications" } + @String{Springer = "Springer-Verlag" } + @String{TexasPress = "University of Texas Press" } + @String{VanNostrand = "Van Nostrand" } + @String{WHFreeman = "W. H. Freeman and Co." } + +%Entries + +@Article{Abril07, + author = "Patricia S. Abril and Robert Plant", + title = "The patent holder's dilemma: Buy, sell, or troll?", + journal = "Communications of the ACM", + volume = "50", + number = "1", + month = jan, + year = "2007", + pages = "36--44", + doi = "10.1145/1188913.1188915", + url = "http://doi.acm.org/10.1145/1219092.1219093", + note = "", +} + +@Article{Cohen07, + author = "Sarah Cohen and Werner Nutt and Yehoshua Sagic", + title = "Deciding equivalances among conjunctive aggregate queries", + journal = JACM, + articleno = "5", + numpages = "50", + volume = "54", + number = "2", + month = apr, + year = "2007", + doi = "10.1145/1219092.1219093", + url = "http://doi.acm.org/10.1145/1219092.1219093", + acmid = "1219093", + note = "", +} + + +@periodical{JCohen96, + key = "Cohen", + editor = "Jacques Cohen", + title = "Special issue: Digital Libraries", + journal = CACM, + volume = "39", + number = "11", + month = nov, + year = "1996", +} + + +@Book{Kosiur01, + author = "David Kosiur", + title = "Understanding Policy-Based Networking", + publisher = "Wiley", + year = "2001", + address = "New York, NY", + edition = "2nd.", + editor = "", + volume = "", + number = "", + series = "", + month = "", + note = "", +} + + +@Book{Harel79, + author = "David Harel", + year = "1979", + title = "First-Order Dynamic Logic", + series = "Lecture Notes in Computer Science", + volume = "68", + address = "New York, NY", + publisher = "Springer-Verlag", + doi = "10.1007/3-540-09237-4", + url = "http://dx.doi.org/10.1007/3-540-09237-4", + editor = "", + number = "", + month = "", + note = "", +} + + +@Inbook{Editor00, + author = "", + editor = "Ian Editor", + title = "The title of book one", + subtitle = "The book subtitle", + series = "The name of the series one", + year = "2007", + volume = "9", + address = "Chicago", + edition = "1st.", + publisher = "University of Chicago Press", + doi = "10.1007/3-540-09237-4", + url = "http://dx.doi.org/10.1007/3-540-09456-9", + chapter = "", + pages = "", + number = "", + type = "", + month = "", + note = "", +} + +% +@InBook{Editor00a, + author = "", + editor = "Ian Editor", + title = "The title of book two", + subtitle = "The book subtitle", + series = "The name of the series two", + year = "2008", + address = "Chicago", + edition = "2nd.", + publisher = "University of Chicago Press", + doi = "10.1007/3-540-09237-4", + url = "http://dx.doi.org/10.1007/3-540-09456-9", + volume = "", + chapter = "100", + pages = "", + number = "", + type = "", + month = "", + note = "", +} + + +% incollection (has an editor, title, and possibly a booktitle) +@Incollection{Spector90, + author = "Asad Z. Spector", + title = "Achieving application requirements", + booktitle = "Distributed Systems", + publisher = "ACM Press", + address = "New York, NY", + year = "1990", + edition = "2nd.", + chapter = "", + editor = "Sape Mullender", + pages = "19--33", + doi = "10.1145/90417.90738", + url = "http://doi.acm.org/10.1145/90417.90738", + volume = "", + number = "", + series = "", + type = "", + month = "", + note = "", +} + + +% incollection (has an editor, title, and possibly a booktitle) +@Incollection{Douglass98, + author = "Bruce P. Douglass and David Harel and Mark B. Trakhtenbrot", + title = "Statecarts in use: structured analysis and object-orientation", + series = "Lecture Notes in Computer Science", + booktitle = "Lectures on Embedded Systems", + publisher = "Springer-Verlag", + address = "London", + volume = "1494", + year = "1998", + chapter = "", + editor = "Grzegorz Rozenberg and Frits W. Vaandrager", + pages = "368--394", + doi = "10.1007/3-540-65193-4_29", + url = "http://dx.doi.org/10.1007/3-540-65193-4_29", + edition = "", + number = "", + type = "", + month = "", + note = "", +} + + +@Book{Knuth97, + author = "Donald E. Knuth", + title = "The Art of Computer Programming, Vol. 1: Fundamental Algorithms (3rd. ed.)", + publisher = "Addison Wesley Longman Publishing Co., Inc.", + year = "1997", + address = "", + edition = "", + editor = "", + volume = "", + number = "", + series = "", + month = "", + note = "", +} + + +@Book{Knuth98, + author = "Donald E. Knuth", + year = "1998", + title = "The Art of Computer Programming", + series = "Fundamental Algorithms", + volume = "1", + edition = "3rd", + address = "", + publisher = "Addison Wesley Longman Publishing Co., Inc.", + doi = "", + url = "", + editor = "", + number = "", + month = "", + note = "(book)", +} + +%Inbook{Knuth97, +% author = "Donald E. Knuth", +% title = "The Art of Computer Programming", +% booktitle = "the booktitle", +% edition = "3", +% volume = "1", +% year = "1997", +% publisher = "Addison Wesley Longman Publishing Co., Inc.", +% editor = "", +% number = "", +% series = "Fundamental Algorithms", +% type = "", +% chapter = "", +% pages = "", +% address = "", +% month = "", +% note = "(inbook)", +%} + +%INBOOK{DK:73-inbook-full, +% author = "Donald E. Knuth", +% title = "Fundamental Algorithms (inbook w series)", +% volume = 1, +% series = "The Art of Computer Programming", +% publisher = "Addison-Wesley", +% address = "Reading, Massachusetts", +% edition = "Second", +% month = "10~" # jan, +% year = "1973", +% type = "Section", +% chapter = "1.2", +% pages = "10--119", +% note = "Full INBOOK entry (w series)", +%} + +%INcollection{DK:74-incoll, +% author = "Donald E. Knuth", +% title = "Fundamental Algorithms (incoll)", +% volume = 1, +% booktitle = "The Art of Computer Programming", +% publisher = "Addison-Wesley", +% address = "Reading, Massachusetts", +% month = "10~" # jan, +% year = "1974", +% pages = "10--119", +% editor = "Bernard Rous", +% note = "This is a full incoll entry with an editor", +%} + +%INcollection{DK:75-incollws, +% author = "Donald E. Knuth", +% title = "Fundamental Algorithms (incoll w series)", +% volume = 1, +% booktitle = "The Art of Computer Programming", +% series = "The Art of Computer Programming", +% publisher = "Addison-Wesley", +% address = "Reading, Massachusetts", +% month = "10~" # jan, +% year = "1975", +% pages = "10--119", +% editor = "Bernard Rous", +% note = "This is a full incoll entry with an editor and series", +%} + + +@incollection{GM05, +Author= "Dan Geiger and Christopher Meek", +Title= "Structured Variational Inference Procedures and their Realizations (as incol)", +Year= 2005, +Booktitle="Proceedings of Tenth International Workshop on Artificial Intelligence and Statistics, {\rm The Barbados}", +Publisher="The Society for Artificial Intelligence and Statistics", +Month= jan, +Editors= "Z. Ghahramani and R. Cowell" +} + +@Inproceedings{Smith10, + author = "Stan W. Smith", + title = "An experiment in bibliographic mark-up: Parsing metadata for XML export", + booktitle = "Proceedings of the 3rd. annual workshop on Librarians and Computers", + series = "LAC '10", + editor = "Reginald N. Smythe and Alexander Noble", + volume = "3", + year = "2010", + publisher = "Paparazzi Press", + address = "Milan Italy", + pages = "422--431", + doi = "99.9999/woot07-S422", + url = "http://dx.doi.org/99.0000/woot07-S422", + number = "", + month = "", + organization = "", + note = "", +} + +@Inproceedings{VanGundy07, + author = "Matthew Van Gundy and Davide Balzarotti and Giovanni Vigna", + year = "2007", + title = "Catch me, if you can: Evading network signatures with web-based polymorphic worms", + booktitle = "Proceedings of the first USENIX workshop on Offensive Technologies", + series = "WOOT '07", + publisher = "USENIX Association", + address = "Berkley, CA", + articleno = "7", + numpages = "9", + editor = "", + volume = "", + number = "", + pages = "", + month = "", + organization = "", + note = "", +} + +@Inproceedings{VanGundy08, + author = "Matthew Van Gundy and Davide Balzarotti and Giovanni Vigna", + year = "2008", + title = "Catch me, if you can: Evading network signatures with web-based polymorphic worms", + booktitle = "Proceedings of the first USENIX workshop on Offensive Technologies", + series = "WOOT '08", + publisher = "USENIX Association", + address = "Berkley, CA", + articleno = "7", + numpages = "2", + editor = "", + volume = "", + number = "", + pages = "99-100", + month = "", + organization = "", + note = "", +} + +@Inproceedings{VanGundy09, + author = "Matthew Van Gundy and Davide Balzarotti and Giovanni Vigna", + year = "2009", + title = "Catch me, if you can: Evading network signatures with web-based polymorphic worms", + booktitle = "Proceedings of the first USENIX workshop on Offensive Technologies", + series = "WOOT '09", + publisher = "USENIX Association", + address = "Berkley, CA", + articleno = "", + numpages = "", + editor = "", + volume = "", + number = "", + pages = "90--100", + month = "", + organization = "", + note = "", +} + +@Inproceedings{Andler79, + author = "Sten Andler", + title = "Predicate Path expressions", + booktitle = "Proceedings of the 6th. ACM SIGACT-SIGPLAN symposium on Principles of Programming Languages", + series = "POPL '79", + year = "1979", + publisher = "ACM Press", + address = "New York, NY", + pages = "226--236", + doi = "10.1145/567752.567774", + url = "http://doi.acm.org/10.1145/567752.567774", + editor = "", + volume = "", + number = "", + month = "", + organization = "", + note = "", +} + +@Techreport{Harel78, + author = "David Harel", + year = "1978", + title = "LOGICS of Programs: AXIOMATICS and DESCRIPTIVE POWER", + institution = "Massachusetts Institute of Technology", + type = "MIT Research Lab Technical Report", + number = "TR-200", + address = "Cambridge, MA", + month = "", + note = "", +} + +@MASTERSTHESIS{anisi03, +author = {David A. Anisi}, +title = {Optimal Motion Control of a Ground Vehicle}, +school = {Royal Institute of Technology (KTH), Stockholm, Sweden}, +intitution = {FOI-R-0961-SE, Swedish Defence Research Agency (FOI)}, +year = {2003}, +} + + +@Phdthesis{Clarkson85, + author = "Kenneth L. Clarkson", + year = "1985", + title = "Algorithms for Closest-Point Problems (Computational Geometry)", + school = "Stanford University", + address = "Palo Alto, CA", + note = "UMI Order Number: AAT 8506171", + type = "", + month = "", +} + + +@online{Thornburg01, + author = "Harry Thornburg", + year = "2001", + title = "Introduction to Bayesian Statistics", + url = "http://ccrma.stanford.edu/~jos/bayes/bayes.html", + month = mar, + lastaccessed = "March 2, 2005", +} + + +@online{Ablamowicz07, + author = "Rafal Ablamowicz and Bertfried Fauser", + year = "2007", + title = "CLIFFORD: a Maple 11 Package for Clifford Algebra Computations, version 11", + url = "http://math.tntech.edu/rafal/cliff11/index.html", + lastaccessed = "February 28, 2008", +} + + +@misc{Poker06, + author = "Poker-Edge.Com", + year = "2006", + month = mar, + title = "Stats and Analysis", + lastaccessed = "June 7, 2006", + url = "http://www.poker-edge.com/stats.php", +} + +@misc{Obama08, + author = "Barack Obama", + year = "2008", + title = "A more perfect union", + howpublished = "Video", + day = "5", + url = "http://video.google.com/videoplay?docid=6528042696351994555", + month = mar, + lastaccessed = "March 21, 2008", + note = "", +} + +@misc{JoeScientist001, + author = "Joseph Scientist", + year = "2009", + title = "The fountain of youth", + note = "Patent No. 12345, Filed July 1st., 2008, Issued Aug. 9th., 2009", + url = "", + howpublished = "", + month = aug, + lastaccessed = "", +} + + +@Inproceedings{Novak03, + author = "Dave Novak", + title = "Solder man", + booktitle = "ACM SIGGRAPH 2003 Video Review on Animation theater Program: Part I - Vol. 145 (July 27--27, 2003)", + year = "2003", + publisher = "ACM Press", + address = "New York, NY", + pages = "4", + month = "March 21, 2008", + doi = "99.9999/woot07-S422", + url = "http://video.google.com/videoplay?docid=6528042696351994555", + note = "", + howpublished = "Video", + editor = "", + volume = "", + number = "", + series = "", + organization = "", +} + + +@article{Lee05, + author = "Newton Lee", + year = "2005", + title = "Interview with Bill Kinder: January 13, 2005", + journal = "Comput. Entertain.", + eid = "4", + volume = "3", + number = "1", + month = "Jan.-March", + doi = "10.1145/1057270.1057278", + url = "http://doi.acm.org/10.1145/1057270.1057278", + howpublished = "Video", + note = "", +} + +@article{Rous08, + author = "Bernard Rous", + year = "2008", + title = "The Enabling of Digital Libraries", + journal = "Digital Libraries", + volume = "12", + number = "3", + month = jul, + articleno = "5", + doi = "", + url = "", + howpublished = "", + note = "To appear", +} + +@article{384253, + author = {Werneck,, Renato and Setubal,, Jo\~{a}o and da Conceic\~{a}o,, Arlindo}, + title = {(old) Finding minimum congestion spanning trees}, + journal = {J. Exp. Algorithmics}, + volume = {5}, + year = {2000}, + issn = {1084-6654}, + pages = {11}, + doi = {http://doi.acm.org/10.1145/351827.384253}, + publisher = {ACM}, + address = {New York, NY, USA}, + } + + +@article{Werneck:2000:FMC:351827.384253, + author = {Werneck, Renato and Setubal, Jo\~{a}o and da Conceic\~{a}o, Arlindo}, + title = {(new) Finding minimum congestion spanning trees}, + journal = {J. Exp. Algorithmics}, + volume = {5}, + month = dec, + year = {2000}, + issn = {1084-6654}, + articleno = {11}, + url = {http://portal.acm.org/citation.cfm?id=351827.384253}, + doi = {10.1145/351827.384253}, + acmid = {384253}, + publisher = {ACM}, + address = {New York, NY, USA}, +} + +@article{1555162, + author = {Conti, Mauro and Di Pietro, Roberto and Mancini, Luigi V. and Mei, Alessandro}, + title = {(old) Distributed data source verification in wireless sensor networks}, + journal = {Inf. Fusion}, + volume = {10}, + number = {4}, + year = {2009}, + issn = {1566-2535}, + pages = {342--353}, + doi = {http://dx.doi.org/10.1016/j.inffus.2009.01.002}, + publisher = {Elsevier Science Publishers B. V.}, + address = {Amsterdam, The Netherlands, The Netherlands}, + } + +@article{Conti:2009:DDS:1555009.1555162, + author = {Conti, Mauro and Di Pietro, Roberto and Mancini, Luigi V. and Mei, Alessandro}, + title = {(new) Distributed data source verification in wireless sensor networks}, + journal = {Inf. Fusion}, + volume = {10}, + number = {4}, + month = oct, + year = {2009}, + issn = {1566-2535}, + pages = {342--353}, + numpages = {12}, + url = {http://portal.acm.org/citation.cfm?id=1555009.1555162}, + doi = {10.1016/j.inffus.2009.01.002}, + acmid = {1555162}, + publisher = {Elsevier Science Publishers B. V.}, + address = {Amsterdam, The Netherlands, The Netherlands}, + keywords = {Clone detection, Distributed protocol, Securing data fusion, Wireless sensor networks}, +} + +@inproceedings{Li:2008:PUC:1358628.1358946, + author = {Li, Cheng-Lun and Buyuktur, Ayse G. and Hutchful, David K. and Sant, Natasha B. and Nainwal, Satyendra K.}, + title = {Portalis: using competitive online interactions to support aid initiatives for the homeless}, + booktitle = {CHI '08 extended abstracts on Human factors in computing systems}, + year = {2008}, + isbn = {978-1-60558-012-X}, + location = {Florence, Italy}, + pages = {3873--3878}, + numpages = {6}, + url = {http://portal.acm.org/citation.cfm?id=1358628.1358946}, + doi = {10.1145/1358628.1358946}, + acmid = {1358946}, + publisher = {ACM}, + address = {New York, NY, USA}, + keywords = {cscw, distributed knowledge acquisition, incentive design, online games, recommender systems, reputation systems, user studies, virtual community}, +} + +@book{Hollis:1999:VBD:519964, + author = {Hollis, Billy S.}, + title = {Visual Basic 6: Design, Specification, and Objects with Other}, + year = {1999}, + isbn = {0130850845}, + edition = {1st}, + publisher = {Prentice Hall PTR}, + address = {Upper Saddle River, NJ, USA}, + } + + +@book{Goossens:1999:LWC:553897, + author = {Goossens, Michel and Rahtz, S. P. and Moore, Ross and Sutor, Robert S.}, + title = {The Latex Web Companion: Integrating TEX, HTML, and XML}, + year = {1999}, + isbn = {0201433117}, + edition = {1st}, + publisher = {Addison-Wesley Longman Publishing Co., Inc.}, + address = {Boston, MA, USA}, + } + +% need to test genres for errant isbn output + +% techreport +@techreport{897367, + author = {Buss, Jonathan F. and Rosenberg, Arnold L. and Knott, Judson D.}, + title = {Vertex Types in Book-Embeddings}, + year = {1987}, + source = {http://www.ncstrl.org:8900/ncstrl/servlet/search?formname=detail\&id=oai%3Ancstrlh%3Aumass_cs%3Ancstrl.umassa_cs%2F%2FUM-CS-1987-018}, + publisher = {University of Massachusetts}, + address = {Amherst, MA, USA}, + } + +@techreport{Buss:1987:VTB:897367, + author = {Buss, Jonathan F. and Rosenberg, Arnold L. and Knott, Judson D.}, + title = {Vertex Types in Book-Embeddings}, + year = {1987}, + source = {http://www.ncstrl.org:8900/ncstrl/servlet/search?formname=detail\&id=oai%3Ancstrlh%3Aumass_cs%3Ancstrl.umassa_cs%2F%2FUM-CS-1987-018}, + publisher = {University of Massachusetts}, + address = {Amherst, MA, USA}, + } + +% whole proceedings + +@proceedings{Czerwinski:2008:1358628, + author = {}, + note = {General Chair-Czerwinski, Mary and General Chair-Lund, Arnie and Program Chair-Tan, Desney}, + title = {CHI '08: CHI '08 extended abstracts on Human factors in computing systems}, + year = {2008}, + isbn = {978-1-60558-012-X}, + location = {Florence, Italy}, + order_no = {608085}, + publisher = {ACM}, + address = {New York, NY, USA}, + } + +% phdthesis + +@phdthesis{Clarkson:1985:ACP:911891, + author = {Clarkson, Kenneth Lee}, + advisor = {Yao, Andrew C.}, + title = {Algorithms for Closest-Point Problems (Computational Geometry)}, + year = {1985}, + note = {AAT 8506171}, + school = {Stanford University}, + address = {Stanford, CA, USA}, + } +% school is being picked up -- but not publisher (which is OK) +% Also -- the title is NOT being output in italics !!! Arrrrgh! - I fixed it. :-) + + +%%% compare with 'old' +%%% atsign-Phdthesis{Clarkson85, +%%% author = "Kenneth L. Clarkson", +%%% year = "1985", +%%% title = "Algorithms for Closest-Point Problems (Computational Geometry)", +%%% school = "Stanford University", +%%% address = "Palo Alto, CA", +%%% note = "UMI Order Number: AAT 8506171", +%%% type = "", +%%% month = "", +%%%} + +% A bibliography +@Article{1984:1040142, + key = {{$\!\!$}}, + journal = {SIGCOMM Comput. Commun. Rev.}, + year = {1984}, + issn = {0146-4833}, + volume = {13-14}, + number = {5-1}, + issue_date = {January/April 1984}, + publisher = {ACM}, + address = {New York, NY, USA}, + } + + +% grinder +@inproceedings{2004:ITE:1009386.1010128, + title = {IEEE TCSC Executive Committee}, + booktitle = {Proceedings of the IEEE International Conference on Web Services}, + series = {ICWS '04}, + year = {2004}, + isbn = {0-7695-2167-3}, + pages = {21--22}, + url = {http://dx.doi.org/10.1109/ICWS.2004.64}, + doi = {http://dx.doi.org/10.1109/ICWS.2004.64}, + acmid = {1010128}, + publisher = {IEEE Computer Society}, + address = {Washington, DC, USA}, +} + +% div book +@book{Mullender:1993:DS(:302430, + editor = {Mullender, Sape}, + title = {Distributed systems (2nd Ed.)}, + year = {1993}, + isbn = {0-201-62427-3}, + publisher = {ACM Press/Addison-Wesley Publishing Co.}, + address = {New York, NY, USA}, + } + +% master thesis (as techreport and thesis) + +@techreport{Petrie:1986:NAD:899644, + author = {Petrie, Charles J.}, + title = {New Algorithms for Dependency-Directed Backtracking (Master's thesis)}, + year = {1986}, + source = {http://www.ncstrl.org:8900/ncstrl/servlet/search?formname=detail\&id=oai%3Ancstrlh%3Autexas_cs%3AUTEXAS_CS%2F%2FAI86-33}, + publisher = {University of Texas at Austin}, + address = {Austin, TX, USA}, + } + +@MASTERSTHESIS{Petrie:1986:NAD:12345, + author = {Petrie, Charles J.}, + title = {New Algorithms for Dependency-Directed Backtracking (Master's thesis)}, + year = {1986}, + source = {http://www.ncstrl.org:8900/ncstrl/servlet/search?formname=detail\&id=oai%3Ancstrlh%3Autexas_cs%3AUTEXAS_CS%2F%2FAI86-33}, + school = {University of Texas at Austin}, + address = {Austin, TX, USA}, + } + + + + +@BOOK{book-minimal, + author = "Donald E. Knuth", + title = "Seminumerical Algorithms", + publisher = "Addison-Wesley", + year = "1981", +} + +% incollection (has an editor, title, and possibly a booktitle) +@INcollection{KA:2001, + author = {Kong, Wei-Chang}, + Title = {The implementation of electronic commerce in SMEs in Singapore (as Incoll)}, + booktitle = {E-commerce and cultural values}, + year = {2001}, + isbn = {1-59140-056-2}, + pages = {51--74}, + numpages = {24}, + url = {http://portal.acm.org/citation.cfm?id=887006.887010}, + acmid = {887010}, + publisher = {IGI Publishing}, + address = {Hershey, PA, USA}, +} + + +% with bibfield 'type' before chapter (note no editor) +@INBOOK{KAGM:2001, + author = {Kong, Wei-Chang}, + type = {Name of Chapter:}, + chapter = {The implementation of electronic commerce in SMEs in Singapore (Inbook-w-chap-w-type)}, + title = {E-commerce and cultural values}, + year = {2001}, + isbn = {1-59140-056-2}, + pages = {51--74}, + numpages = {24}, + url = {http://portal.acm.org/citation.cfm?id=887006.887010}, + acmid = {887010}, + publisher = {IGI Publishing}, + address = {Hershey, PA, USA}, +} + +%%% Notes! This is because the atsign-INBOOK citation type specifies EITHER +%%% editor or author, but not both. In my experiments with the harvard/dcu +%%% bibtex style (and presumably this applies to other styles too), bibtex +%%% ignores the editor information if author information exists in an +%%% atsign-INBOOK entry. atsign-INCOLLECTION is far more commonly used in my references, +%%% and in the absence of an editor I believe most bibtex styles will just +%%% ommit the editor from the reference - the chapter information will not +%%% end up in the in-text citation as you suggest it should be but at least +%%% there is a place to put the editor if necessary. + + + +% was 'Inbook' -- changed to incollection - (editor is different to author) - need to tell Asad to codify as such. +@incollection{Kong:2002:IEC:887006.887010, + author = {Kong, Wei-Chang}, + editor = {Theerasak Thanasankit}, + title = {Chapter 9}, + booktitle = {E-commerce and cultural values (Incoll-w-text (chap 9) 'title')}, + year = {2002}, + address = {Hershey, PA, USA}, + publisher = {IGI Publishing}, + url = {http://portal.acm.org/citation.cfm?id=887006.887010}, + pages = {51--74}, + numpages = {24}, + acmid = {887010}, + isbn = {1-59140-056-2}, + number = "", + type = "", + month = "", + note = "", +} + +% incol when the chapter is 'text' - due to presence of editor (different to author) +@incollection{Kong:2003:IEC:887006.887011, + author = {Kong, Wei-Chang}, + title = {The implementation of electronic commerce in SMEs in Singapore (Incoll)}, + booktitle = {E-commerce and cultural values}, + editor = {Thanasankit, Theerasak}, + year = {2003}, + isbn = {1-59140-056-2}, + pages = {51--74}, + numpages = {24}, + url = {http://portal.acm.org/citation.cfm?id=887006.887010}, + acmid = {887010}, + publisher = {IGI Publishing}, + address = {Hershey, PA, USA}, +} + +% ------ test +%incollection{Kong:2003:IEC:887006.887010, +% author = {Kong, Wei-Chang}, +% chapter = {The implementation of electronic commerce in SMEs in Singapore (Incoll-text-in-chap)}, +% booktitle = {booktitle E-commerce and cultural values}, +% title = {The title}, +% editor = {Thanasankit, Theerasak}, +% year = {2003}, +% isbn = {1-59140-056-2}, +% pages = {51--74}, +% numpages = {24}, +% url = {http://portal.acm.org/citation.cfm?id=887006.887010}, +% acmid = {887010}, +% publisher = {IGI Publishing}, +% address = {Hershey, PA, USA}, +%} + + +% --------- + + + + + +% Need inbook with num in chapter + +% and inbook with number in chapter +@InBook{Kong:2004:IEC:123456.887010, + author = {Kong, Wei-Chang}, + editor = {Theerasak Thanasankit}, + title = {E-commerce and cultural values - (InBook-num-in-chap)}, + chapter = {9}, + year = {2004}, + address = {Hershey, PA, USA}, + publisher = {IGI Publishing}, + url = {http://portal.acm.org/citation.cfm?id=887006.887010}, + pages = {51--74}, + numpages = {24}, + acmid = {887010}, + isbn = {1-59140-056-2}, + number = "", + type = "", + month = "", + note = "", +} + + +% and inbook with text in chapter +@Inbook{Kong:2005:IEC:887006.887010, + author = {Kong, Wei-Chang}, + editor = {Theerasak Thanasankit}, + title = {E-commerce and cultural values (Inbook-text-in-chap)}, + chapter = {The implementation of electronic commerce in SMEs in Singapore}, + year = {2005}, + address = {Hershey, PA, USA}, + publisher = {IGI Publishing}, + url = {http://portal.acm.org/citation.cfm?id=887006.887010}, + type = {Chapter:}, + pages = {51--74}, + numpages = {24}, + acmid = {887010}, + isbn = {1-59140-056-2}, + number = "", + month = "", + note = "", +} + + +% and inbook with a num and type field +@Inbook{Kong:2006:IEC:887006.887010, + author = {Kong, Wei-Chang}, + editor = {Theerasak Thanasankit}, + title = {E-commerce and cultural values (Inbook-num chap)}, + chapter = {22}, + year = {2006}, + address = {Hershey, PA, USA}, + publisher = {IGI Publishing}, + url = {http://portal.acm.org/citation.cfm?id=887006.887010}, + type = {Chapter (in type field)}, + pages = {51--74}, + numpages = {24}, + acmid = {887010}, + isbn = {1-59140-056-2}, + number = "", + month = "", + note = "", +} + + +% and incol coz we have a BLANK chapter - due to presence of editor +%atIncollection{Kong:2006:IEC:887006.887011, +% author = {Kong, Wei-Chang}, +% editor = {Theerasak Thanasankit}, +% title = "The title" +% booktitle = {E-commerce and cultural values (Incol-coz-blank-chap)}, +% year = {2006}, +% address = {Hershey, PA, USA}, +% publisher = {IGI Publishing}, +% url = {http://portal.acm.org/citation.cfm?id=887006.887010}, +% type = {Type!}, +% chapter = {}, +% pages = {51--74}, +% numpages = {24}, +% acmid = {887010}, +% isbn = {1-59140-056-2}, +% number = "", +% month = "", +% note = "", +%} + +@article{SaeediMEJ10, + author = {Mehdi Saeedi and Morteza Saheb Zamani and Mehdi Sedighi}, + title = {A library-based synthesis methodology for reversible logic}, + journal = {Microelectron. J.}, + volume = {41}, + number = {4}, + month = apr, + year = {2010}, + pages = {185--194}, +} + +@ARTICLE{SaeediJETC10, + author = {Mehdi Saeedi and Morteza Saheb Zamani and Mehdi Sedighi and Zahra Sasanian}, + title = {Synthesis of Reversible Circuit Using Cycle-Based Approach}, + journal = {J. Emerg. Technol. Comput. Syst.}, + volume = {6}, + number = {4}, + month = dec, + year = {2010} + } + +% Asad's new version +@article{Kirschmer:2010:AEI:1958016.1958018, + author = {Kirschmer, Markus and Voight, John}, + title = {Algorithmic Enumeration of Ideal Classes for Quaternion Orders}, + journal = {SIAM J. Comput.}, + issue_date = {January 2010}, + volume = {39}, + number = {5}, + month = jan, + year = {2010}, + issn = {0097-5397}, + pages = {1714--1747}, + numpages = {34}, + url = {http://dx.doi.org/10.1137/080734467}, + doi = {https://doi.org/10.1137/080734467}, + acmid = {1958018}, + publisher = {Society for Industrial and Applied Mathematics}, + address = {Philadelphia, PA, USA}, + keywords = {ideal classes, maximal orders, number theory, quaternion algebras}, +} + + +% incol due to presence of booktitle +@incollection{Hoare:1972:CIN:1243380.1243382, + author = {Hoare, C. A. R.}, + title = {Chapter II: Notes on data structuring}, + booktitle = {Structured programming (incoll)}, + editor = {Dahl, O. J. and Dijkstra, E. W. and Hoare, C. A. R.}, + year = {1972}, + isbn = {0-12-200550-3}, + pages = {83--174}, + numpages = {92}, + url = {http://portal.acm.org/citation.cfm?id=1243380.1243382}, + acmid = {1243382}, + publisher = {Academic Press Ltd.}, + address = {London, UK, UK}, +} + +% incol due to presence of booktitle +@incollection{Lee:1978:TQA:800025.1198348, + author = {Lee, Jan}, + title = {Transcript of question and answer session}, + booktitle = {History of programming languages I (incoll)}, + editor = {Wexelblat, Richard L.}, + year = {1981}, + isbn = {0-12-745040-8}, + pages = {68--71}, + numpages = {4}, + url = {http://doi.acm.org/10.1145/800025.1198348}, + doi = {http://doi.acm.org/10.1145/800025.1198348}, + acmid = {1198348}, + publisher = {ACM}, + address = {New York, NY, USA}, +} + +% incol due to booktitle +@incollection{Dijkstra:1979:GSC:1241515.1241518, + author = {Dijkstra, E.}, + title = {Go to statement considered harmful}, + booktitle = {Classics in software engineering (incoll)}, + year = {1979}, + isbn = {0-917072-14-6}, + pages = {27--33}, + numpages = {7}, + url = {http://portal.acm.org/citation.cfm?id=1241515.1241518}, + acmid = {1241518}, + publisher = {Yourdon Press}, + address = {Upper Saddle River, NJ, USA}, +} + +% incol due to booktitle +@incollection{Wenzel:1992:TVA:146022.146089, + author = {Wenzel, Elizabeth M.}, + title = {Three-dimensional virtual acoustic displays}, + booktitle = {Multimedia interface design (incoll)}, + year = {1992}, + isbn = {0-201-54981-6}, + pages = {257--288}, + numpages = {32}, + url = {http://portal.acm.org/citation.cfm?id=146022.146089}, + doi = {10.1145/146022.146089}, + acmid = {146089}, + publisher = {ACM}, + address = {New York, NY, USA}, +} + +% incol due to booktitle +@incollection{Mumford:1987:MES:54905.54911, + author = {Mumford, E.}, + title = {Managerial expert systems and organizational change: some critical research issues}, + booktitle = {Critical issues in information systems research (incoll)}, + year = {1987}, + isbn = {0-471-91281-6}, + pages = {135--155}, + numpages = {21}, + url = {http://portal.acm.org/citation.cfm?id=54905.54911}, + acmid = {54911}, + publisher = {John Wiley \& Sons, Inc.}, + address = {New York, NY, USA}, +} + +@book{McCracken:1990:SSC:575315, + author = {McCracken, Daniel D. and Golden, Donald G.}, + title = {Simplified Structured COBOL with Microsoft/MicroFocus COBOL}, + year = {1990}, + isbn = {0471514071}, + publisher = {John Wiley \& Sons, Inc.}, + address = {New York, NY, USA}, +} + +% Let's include Boris / BBeeton entries (multi-volume works) + +@book {MR781537, + AUTHOR = {H{\"o}rmander, Lars}, + TITLE = {The analysis of linear partial differential operators. {III}}, + SERIES = {Grundlehren der Mathematischen Wissenschaften [Fundamental + Principles of Mathematical Sciences]}, + VOLUME = {275}, + NOTE = {Pseudodifferential operators}, +PUBLISHER = {Springer-Verlag}, + ADDRESS = {Berlin, Germany}, + YEAR = {1985}, + PAGES = {viii+525}, + ISBN = {3-540-13828-5}, + MRCLASS = {35-02 (35Sxx 47G05 58G15)}, + MRNUMBER = {781536 (87d:35002a)}, +MRREVIEWER = {Min You Qi}, +} + +@book {MR781536, + AUTHOR = {H{\"o}rmander, Lars}, + TITLE = {The analysis of linear partial differential operators. {IV}}, + SERIES = {Grundlehren der Mathematischen Wissenschaften [Fundamental + Principles of Mathematical Sciences]}, + VOLUME = {275}, + NOTE = {Fourier integral operators}, +PUBLISHER = {Springer-Verlag}, + ADDRESS = {Berlin, Germany}, + YEAR = {1985}, + PAGES = {vii+352}, + ISBN = {3-540-13829-3}, + MRCLASS = {35-02 (35Sxx 47G05 58G15)}, + MRNUMBER = {781537 (87d:35002b)}, +MRREVIEWER = {Min You Qi}, +} + +%%%%%%%%%%%%%%%%%%%%%% Start of Aptara sample bib entries + +% acmsmall-sam.bib +@InProceedings{Adya-01, + author = {A. Adya and P. Bahl and J. Padhye and A.Wolman and L. Zhou}, + title = {A multi-radio unification protocol for {IEEE} 802.11 wireless networks}, + booktitle = {Proceedings of the IEEE 1st International Conference on Broadnets Networks (BroadNets'04)}, + publisher = "IEEE", + address = "Los Alamitos, CA", + year = {2004}, + pages = "210--217" +} + +@article{Akyildiz-01, + author = {I. F. Akyildiz and W. Su and Y. Sankarasubramaniam and E. Cayirci}, + title = {Wireless Sensor Networks: A Survey}, + journal = {Comm. ACM}, + volume = 38, + number = "4", + year = {2002}, + pages = "393--422" +} + +@article{Akyildiz-02, + author = {I. F. Akyildiz and T. Melodia and K. R. Chowdhury}, + title = {A Survey on Wireless Multimedia Sensor Networks}, + journal = {Computer Netw.}, + volume = 51, + number = "4", + year = {2007}, + pages = "921--960" +} + +@InProceedings{Bahl-02, + author = {P. Bahl and R. Chancre and J. Dungeon}, + title = {{SSCH}: Slotted Seeded Channel Hopping for Capacity Improvement in {IEEE} 802.11 Ad-Hoc Wireless Networks}, + booktitle = {Proceeding of the 10th International Conference on Mobile Computing and Networking (MobiCom'04)}, + publisher = "ACM", + address = "New York, NY", + year = {2004}, + pages = "112--117" +} + +@misc{CROSSBOW, + key = {CROSSBOW}, + title = {{XBOW} Sensor Motes Specifications}, + note = {http://www.xbow.com}, + year = 2008 +} + +@article{Culler-01, + author = {D. Culler and D. Estrin and M. Srivastava}, + title = {Overview of Sensor Networks}, + journal = {IEEE Comput.}, + volume = 37, + number = "8 (Special Issue on Sensor Networks)", + publisher = "IEEE", + address = "Los Alamitos, CA", + year = {2004}, + pages = "41--49" +} + +@misc{Harvard-01, + key = {Harvard CodeBlue}, + title = {{CodeBlue}: Sensor Networks for Medical Care}, + note = {http://www.eecs.harvard.edu/mdw/ proj/codeblue/}, + year = 2008 +} + +@InProceedings{Natarajan-01, + author = {A. Natarajan and M. Motani and B. de Silva and K. Yap and K. C. Chua}, + title = {Investigating Network Architectures for Body Sensor Networks}, + booktitle = {Network Architectures}, + editor = {G. Whitcomb and P. Neece}, + publisher = "Keleuven Press", + address = "Dayton, OH", + year = {2007}, + pages = "322--328", + eprint = "960935712", + primaryclass = "cs", +} + +@techreport{Tzamaloukas-01, + author = {A. Tzamaloukas and J. J. Garcia-Luna-Aceves}, + title = {Channel-Hopping Multiple Access}, + number = {I-CA2301}, + institution = {Department of Computer Science, University of California}, + address = {Berkeley, CA}, + year = {2000} +} + +@BOOK{Zhou-06, + author = {G. Zhou and J. Lu and C.-Y. Wan and M. D. Yarvis and J. A. Stankovic}, + title = {Body Sensor Networks}, + publisher = "MIT Press", + address = "Cambridge, MA", + year = {2008} +} + +@mastersthesis{ko94, +author = "Jacob Kornerup", +title = "Mapping Powerlists onto Hypercubes", +school = "The University of Texas at Austin", +note = "(In preparation)", +year = "1994"} +%month = "dec",} + +@PhdThesis{gerndt:89, + author = "Michael Gerndt", + title = "Automatic Parallelization for Distributed-Memory + Multiprocessing Systems", + school = "University of Bonn", + year = 1989, + address = "Bonn, Germany", + month = dec +} + +@article{6:1:1, +author = "J. E. {Archer, Jr.} and R. Conway and F. B. Schneider", +title = "User recovery and reversal in interactive systems", +journal = "ACM Trans. Program. Lang. Syst.", +volume = "6", +number = "1", +month = jan, +year = 1984, +pages = "1--19"} + +@article{7:1:137, +author = "D. D. Dunlop and V. R. Basili", +title = "Generalizing specifications for uniformly implemented loops", +journal = "ACM Trans. Program. Lang. Syst.", +volume = "7", +number = "1", +month = jan, +year = 1985, +pages = "137--158"} + +@article{7:2:183, +author = "J. Heering and P. Klint", +title = "Towards monolingual programming environments", +journal = "ACM Trans. Program. Lang. Syst.", +volume = "7", +number = "2", +month = apr, +year = 1985, +pages = "183--213"} + +@book{knuth:texbook, +author = "Donald E. Knuth", +title = "The {\TeX{}book}", +publisher = "Addison-Wesley", +address = "Reading, MA.", +year = 1984} + +@article{6:3:380, +author = "E. Korach and D. Rotem and N. Santoro", +title = "Distributed algorithms for finding centers and medians in networks", +journal = "ACM Trans. Program. Lang. Syst.", +volume = "6", +number = "3", +month = jul, +year = 1984, +pages = "380--401"} + +@book{lamport:latex, +author = "Leslie Lamport", +title = "\it {\LaTeX}: A Document Preparation System", +publisher = "Addison-Wesley", +address = "Reading, MA.", +year = 1986} + +@article{7:3:359, +author = "F. Nielson", +title = "Program transformations in a denotational setting", +journal = "ACM Trans. Program. Lang. Syst.", +volume = "7", +number = "3", +month = jul, +year = 1985, +pages = "359--379"} + +%testing +@BOOK{test, + author = "Donald E. Knuth", + title = "Seminumerical Algorithms", + volume = 2, + series = "The Art of Computer Programming", + publisher = "Addison-Wesley", + address = "Reading, MA", + edition = "2nd", + month = "10~" # jan, + year = "1981", +} + +@inproceedings{reid:scribe, +author = "Brian K. Reid", +title = "A high-level approach to computer document formatting", +booktitle = "Proceedings of the 7th Annual Symposium on Principles of + Programming Languages", +month = jan, +year = 1980, +publisher = "ACM", +address = "New York", +pages = "24--31"} + +@article{Zhou:2010:MMS:1721695.1721705, + author = {Zhou, Gang and Wu, Yafeng and Yan, Ting and He, Tian and Huang, Chengdu and Stankovic, John A. and Abdelzaher, Tarek F.}, + title = {A multifrequency MAC specially designed for wireless sensor network applications}, + journal = {ACM Trans. Embed. Comput. Syst.}, + issue_date = {March 2010}, + volume = {9}, + number = {4}, + month = {April}, + year = {2010}, + issn = {1539-9087}, + pages = {39:1--39:41}, + articleno = {39}, + numpages = {41}, + url = {http://doi.acm.org/10.1145/1721695.1721705}, + doi = {10.1145/1721695.1721705}, + acmid = {1721705}, + publisher = {ACM}, + address = {New York, NY, USA}, + keywords = {Wireless sensor networks, media access control, multi-channel, radio interference, time synchronization}, +} + + diff --git a/lib/examples/acmart/mouse.eps b/lib/examples/acmart/mouse.eps new file mode 100644 index 0000000..fc54a84 --- /dev/null +++ b/lib/examples/acmart/mouse.eps @@ -0,0 +1,145 @@ +%!PS-Adobe-2.0 EPSF-1.2 +%%Creator: Adobe Illustrator(TM) for Windows, version 4.0 +%%For: (Siepo Drop ) (Studio Bitmuis ) +%%Title: (MOUSE.AI) +%%CreationDate: (10/25/96) (6:00 PM) +%%DocumentProcessColors: Black +%%DocumentProcSets: Adobe_Illustrator_1.1 0 0 +%%DocumentSuppliedProcSets: Adobe_Illustrator_1.1 0 0 +%%BoundingBox:233 344 384 478 +%%ColorUsage: Black&White +%%TemplateBox:306 396 306 396 +%%TileBox: 0 0 576 806 +%%DocumentPreview: Header +%%Template: +%%PageOrigin:0 0 +%%AI3_PaperRect:-9.6002 808.5785 585.6134 -2.6401 +%%AI3_Margin:9.6002 -2.6401 -9.6002 2.6401 +%%EndComments +% $Header: /home/boris/cvs/tex/acm/acmart/mouse.eps,v 1.1 2016/04/11 04:57:36 boris Exp $ +%%BeginProcSet:Adobe_Illustrator_1.1 0 0 +% Copyright (C) 1987-1990 Adobe Systems Incorporated. +% All Rights Reserved. +% Adobe Illustrator is a trademark of Adobe Systems Incorporated. +/Adobe_Illustrator_1.1 dup 100 dict def load begin +/Version 0 def +/Revision 0 def +% definition operators +/bdef {bind def} bind def +/ldef {load def} bdef +/xdef {exch def} bdef +% graphic state operators +/_K {3 index add neg dup 0 lt {pop 0} if 3 1 roll} bdef +/_k /setcmybcolor where +{/setcmybcolor get} {{1 sub 4 1 roll _K _K _K setrgbcolor pop} bind} ifelse def +/g {/_b xdef /p {_b setgray} def} bdef +/G {/_B xdef /P {_B setgray} def} bdef +/k {/_b xdef /_y xdef /_m xdef /_c xdef /p {_c _m _y _b _k} def} bdef +/K {/_B xdef /_Y xdef /_M xdef /_C xdef /P {_C _M _Y _B _k} def} bdef +/d /setdash ldef +/_i currentflat def +/i {dup 0 eq {pop _i} if setflat} bdef +/j /setlinejoin ldef +/J /setlinecap ldef +/M /setmiterlimit ldef +/w /setlinewidth ldef +% path construction operators +/_R {.25 sub round .25 add} bdef +/_r {transform _R exch _R exch itransform} bdef +/c {_r curveto} bdef +/C /c ldef +/v {currentpoint 6 2 roll _r curveto} bdef +/V /v ldef +/y {_r 2 copy curveto} bdef +/Y /y ldef +/l {_r lineto} bdef +/L /l ldef +/m {_r moveto} bdef +% error operators +/_e [] def +/_E {_e length 0 ne {gsave 0 g 0 G 0 i 0 J 0 j 1 w 10 M [] 0 d +/Courier 20 0 0 1 z [0.966 0.259 -0.259 0.966 +_e 0 get _e 2 get add 2 div _e 1 get _e 3 get add 2 div] e _f t T grestore} if} bdef +/_fill {{fill} stopped +{/_e [pathbbox] def /_f (ERROR: can't fill, increase flatness) def n _E} if} bdef +/_stroke {{stroke} stopped +{/_e [pathbbox] def /_f (ERROR: can't stroke, increase flatness) def n _E} if} bdef +% path painting operators +/n /newpath ldef +/N /n ldef +/F {p _fill} bdef +/f {closepath F} bdef +/S {P _stroke} bdef +/s {closepath S} bdef +/B {gsave F grestore S} bdef +/b {closepath B} bdef +% text block construction and painting operators +/_s /ashow ldef +/_S {(?) exch {2 copy 0 exch put pop dup false charpath currentpoint _g setmatrix +_stroke _G setmatrix moveto 3 copy pop rmoveto} forall pop pop pop n} bdef +/_A {_a moveto _t exch 0 exch} bdef +/_L {0 _l neg translate _G currentmatrix pop} bdef +/_w {dup stringwidth exch 3 -1 roll length 1 sub _t mul add exch} bdef +/_z [{0 0} bind {dup _w exch neg 2 div exch neg 2 div} bind {dup _w exch neg exch neg} bind] def +/z {_z exch get /_a xdef /_t xdef /_l xdef exch findfont exch scalefont setfont} bdef +/_g matrix def +/_G matrix def +/_D {_g currentmatrix pop gsave concat _G currentmatrix pop} bdef +/e {_D p /t {_A _s _L} def} bdef +/r {_D P /t {_A _S _L} def} bdef +/a {_D /t {dup p _A _s P _A _S _L} def} bdef +/o {_D /t {pop _L} def} bdef +/T {grestore} bdef +% group construction operators +/u {} bdef +/U {} bdef +% font construction operators +/Z {findfont begin currentdict dup length dict begin +{1 index /FID ne {def} {pop pop} ifelse} forall /FontName exch def dup length 0 ne +{/Encoding Encoding 256 array copy def 0 exch {dup type /nametype eq +{Encoding 2 index 2 index put pop 1 add} {exch pop} ifelse} forall} if pop +currentdict dup end end /FontName get exch definefont pop} bdef +end +%%EndProcSet +%AI3-Grid.0 18 18 3 0.833333 0.833333 0.833333 3 +%%EndProlog +%%BeginSetup +% $Header: /home/boris/cvs/tex/acm/acmart/mouse.eps,v 1.1 2016/04/11 04:57:36 boris Exp $ +Adobe_Illustrator_1.1 begin +n +%%EndSetup +u +0 0 0 1 k +0 i 0 J 0 j 0.5226 w 4 M []0 d +%%Note: +234.4156 349.9487 m +234.4533 357.3618 242.7696 373.0161 248.0755 380.7679 C +241.0762 381.5582 238.7437 386.2243 244.1995 392.8849 c +249.6559 399.5455 254.4726 401.8786 258.9506 392.8849 C +289.356 426.5265 305.7628 433.9396 336.9584 415.576 C +348.2475 419.4896 356.4509 419.0757 367.74 436.6867 c +376.4327 450.196 372.2181 450.8357 369.3205 462.8774 c +366.5735 474.2041 374.4006 476.9512 382.5664 477.7414 C +382.1901 474.5805 L +374.4006 474.9944 370.7128 471.57 373.9867 463.2537 c +378.2765 452.3033 380.1957 445.304 373.6104 434.7299 c +365.7833 422.199 358.784 415.9523 341.2483 408.1629 C +338.9904 396.648 336.6197 386.2243 321.3418 376.892 c +315.3962 373.2419 301.9998 372.414 294.4366 368.2747 c +284.5393 362.8559 260.4559 355.5556 253.419 353.7493 c +246.4574 351.9054 240.8881 343.6268 234.4156 349.9487 C +f +0 0 0 0 k +251.5751 365.1513 m +253.4942 365.1513 255.0747 363.6085 255.0747 361.6893 c +255.0747 359.6949 253.4942 358.1521 251.5751 358.1521 c +249.6936 358.1521 248.1131 359.6949 248.1131 361.6893 c +248.1131 363.6085 249.6936 365.1513 251.5751 365.1513 c +f +U +%%PageTrailer +%%Trailer +_E end +%%EOF + + -- 2.7.4
>From 25a103a77b78c2b53bf42dedee14b3a65b8f8d28 Mon Sep 17 00:00:00 2001 From: Guillaume MM <g...@lyx.org> Date: Sat, 6 May 2017 00:11:29 +0200 Subject: [PATCH 5/6] Old ACM layouts are obsolete --- lib/layouts/acm-sigs-alt.layout | 5 ++++- lib/layouts/acm-sigs.layout | 5 ++++- lib/layouts/acmsiggraph-0-92.layout | 2 +- lib/layouts/sigplanconf.layout | 5 ++++- 4 files changed, 13 insertions(+), 4 deletions(-) diff --git a/lib/layouts/acm-sigs-alt.layout b/lib/layouts/acm-sigs-alt.layout index dd421b0..f41c251 100644 --- a/lib/layouts/acm-sigs-alt.layout +++ b/lib/layouts/acm-sigs-alt.layout @@ -1,9 +1,12 @@ #% Do not delete the line below; configure depends on this -# \DeclareLaTeXClass[sig-alternate]{ACM SIGS ('Alternate' Style)} +# \DeclareLaTeXClass[sig-alternate]{ACM SIGS ('Alternate' Style, obsolete)} # \DeclareCategory{Articles} # # LyX layout for ACM SIGS tighter "Alternate" style # +# NOTE: As from Spring 2017, the class will not be usable to submit +# a publication to ACM, it is OBSOLETE. Use acmart instead. +# # Author: Gioele Barabucci Format 63 diff --git a/lib/layouts/acm-sigs.layout b/lib/layouts/acm-sigs.layout index 0a6bd1f..8c58a22 100644 --- a/lib/layouts/acm-sigs.layout +++ b/lib/layouts/acm-sigs.layout @@ -1,9 +1,12 @@ #% Do not delete the line below; configure depends on this -# \DeclareLaTeXClass[acm_proc_article-sp]{ACM SIG Proceedings (SP)} +# \DeclareLaTeXClass[acm_proc_article-sp]{ACM SIG Proceedings (SP, obsolete)} # \DeclareCategory{Articles} # # LyX layout for ACM SIGS style # +# NOTE: As from Spring 2017, the class will not be usable to submit +# a publication to ACM, it is OBSOLETE. Use acmart instead. +# # Author: Gioele Barabucci Format 63 diff --git a/lib/layouts/acmsiggraph-0-92.layout b/lib/layouts/acmsiggraph-0-92.layout index deb0503..e91b3d9 100644 --- a/lib/layouts/acmsiggraph-0-92.layout +++ b/lib/layouts/acmsiggraph-0-92.layout @@ -1,5 +1,5 @@ #% Do not delete he line below; configure depends on this -# \DeclareLaTeXClass[acmsiggraph,comment.sty,lineno.sty]{ACM SIGGGRAPH 0.92} +# \DeclareLaTeXClass[acmsiggraph,comment.sty,lineno.sty]{ACM SIGGGRAPH 0.92 (obsolete)} # \DeclareCategory{Articles} # ACM SIGGRAPH textclass definition file. # Author : Uwe Stöhr diff --git a/lib/layouts/sigplanconf.layout b/lib/layouts/sigplanconf.layout index b275764..fb23b41 100644 --- a/lib/layouts/sigplanconf.layout +++ b/lib/layouts/sigplanconf.layout @@ -1,5 +1,5 @@ #% Do not delete he line below; configure depends on this -# \DeclareLaTeXClass[sigplanconf,natbib.sty]{ACM SIGPLAN} +# \DeclareLaTeXClass[sigplanconf,natbib.sty]{ACM SIGPLAN (obsolete)} # \DeclareCategory{Articles} # ACM SIGPLAN sigplanconf textclass definition file. # Author : Uwe Stöhr @@ -8,6 +8,9 @@ # downloaded from # http://www.sigplan.org/authorInformation.htm # +# NOTE: As from Spring 2017, the class will not be usable to submit +# a publication to ACM, it is OBSOLETE. Use acmart.cls instead. +# # This layout is according to # http://www.sigplan.org/sigplanconf-guide.pdf # -- 2.7.4
>From 8be145be4690007851ac649f92122f38c950663d Mon Sep 17 00:00:00 2001 From: Guillaume MM <g...@lyx.org> Date: Sat, 6 May 2017 00:24:47 +0200 Subject: [PATCH 6/6] Move obsolete layouts to an Obsolete category --- lib/layouts/aapaper.layout | 2 +- lib/layouts/acm-sigs-alt.layout | 2 +- lib/layouts/acm-sigs.layout | 4 ++-- lib/layouts/acmsiggraph-0-92.layout | 2 +- lib/layouts/acmsiggraph.layout | 2 +- lib/layouts/elsart.layout | 2 +- lib/layouts/g-brief.layout | 2 +- lib/layouts/latex8.layout | 2 +- lib/layouts/revtex.layout | 2 +- lib/layouts/scrlettr.layout | 2 +- lib/layouts/sigplanconf.layout | 4 ++-- lib/layouts/singlecol.layout | 4 ++-- lib/layouts/svglobal.layout | 2 +- 13 files changed, 16 insertions(+), 16 deletions(-) diff --git a/lib/layouts/aapaper.layout b/lib/layouts/aapaper.layout index 0420504..514832e 100644 --- a/lib/layouts/aapaper.layout +++ b/lib/layouts/aapaper.layout @@ -1,6 +1,6 @@ #% Do not delete the line below; configure depends on this # \DeclareLaTeXClass[aa]{Astronomy & Astrophysics (V. 4, Obsolete)} -# \DeclareCategory{Articles} +# \DeclareCategory{Obsolete} # # Author: Peter Sütterlin <p...@uni-sw.gwdg.de> diff --git a/lib/layouts/acm-sigs-alt.layout b/lib/layouts/acm-sigs-alt.layout index f41c251..e341ddf 100644 --- a/lib/layouts/acm-sigs-alt.layout +++ b/lib/layouts/acm-sigs-alt.layout @@ -1,6 +1,6 @@ #% Do not delete the line below; configure depends on this # \DeclareLaTeXClass[sig-alternate]{ACM SIGS ('Alternate' Style, obsolete)} -# \DeclareCategory{Articles} +# \DeclareCategory{Obsolete} # # LyX layout for ACM SIGS tighter "Alternate" style # diff --git a/lib/layouts/acm-sigs.layout b/lib/layouts/acm-sigs.layout index 8c58a22..8e58a0b 100644 --- a/lib/layouts/acm-sigs.layout +++ b/lib/layouts/acm-sigs.layout @@ -1,6 +1,6 @@ #% Do not delete the line below; configure depends on this -# \DeclareLaTeXClass[acm_proc_article-sp]{ACM SIG Proceedings (SP, obsolete)} -# \DeclareCategory{Articles} +# \DeclareLaTeXClass[acm_proc_article-sp]{ACM SIG Proceedings (SP, Obsolete)} +# \DeclareCategory{Obsolete} # # LyX layout for ACM SIGS style # diff --git a/lib/layouts/acmsiggraph-0-92.layout b/lib/layouts/acmsiggraph-0-92.layout index e91b3d9..97d5f92 100644 --- a/lib/layouts/acmsiggraph-0-92.layout +++ b/lib/layouts/acmsiggraph-0-92.layout @@ -1,6 +1,6 @@ #% Do not delete he line below; configure depends on this # \DeclareLaTeXClass[acmsiggraph,comment.sty,lineno.sty]{ACM SIGGGRAPH 0.92 (obsolete)} -# \DeclareCategory{Articles} +# \DeclareCategory{Obsolete} # ACM SIGGRAPH textclass definition file. # Author : Uwe Stöhr # diff --git a/lib/layouts/acmsiggraph.layout b/lib/layouts/acmsiggraph.layout index 998b364..c7cf42c 100644 --- a/lib/layouts/acmsiggraph.layout +++ b/lib/layouts/acmsiggraph.layout @@ -1,6 +1,6 @@ #% Do not delete he line below; configure depends on this # \DeclareLaTeXClass[acmsiggraph,comment.sty,lineno.sty]{ACM SIGGRAPH (older than 0.91, obsolete)} -# \DeclareCategory{Articles} +# \DeclareCategory{Obsolete} # ACM SIGGRAPH acmsiggraph textclass definition file. # Author : Uwe Stöhr # diff --git a/lib/layouts/elsart.layout b/lib/layouts/elsart.layout index 8e2b24c..538dc2b 100644 --- a/lib/layouts/elsart.layout +++ b/lib/layouts/elsart.layout @@ -1,6 +1,6 @@ #% Do not delete the line below; configure depends on this # \DeclareLaTeXClass[elsart,amssymb.sty,latexsym.sty]{Elsevier (Obsolete Version)} -# \DeclareCategory{Articles} +# \DeclareCategory{Obsolete} # Author: Rod Pinna <rpi...@civil.uwa.edu.au> # The Elsevier doc style also duplicates the theorem # environments used by the AMS. The definitions here have been diff --git a/lib/layouts/g-brief.layout b/lib/layouts/g-brief.layout index abc78f8..dd161e2 100644 --- a/lib/layouts/g-brief.layout +++ b/lib/layouts/g-brief.layout @@ -1,6 +1,6 @@ #% Do not delete the line below; configure depends on this # \DeclareLaTeXClass[g-brief]{G-Brief (V. 1, Obsolete)} -# \DeclareCategory{Letters} +# \DeclareCategory{Obsolete} # Letter textclass definition file. # Author : Thomas Hartkens <tho...@hartkens.de> diff --git a/lib/layouts/latex8.layout b/lib/layouts/latex8.layout index 31d36d6..5d3eacc 100644 --- a/lib/layouts/latex8.layout +++ b/lib/layouts/latex8.layout @@ -1,6 +1,6 @@ #% Do not delete the line below; configure depends on this # \DeclareLaTeXClass[article,latex8.sty,times.sty]{Latex8 Article (Obsolete)} -# \DeclareCategory{Articles} +# \DeclareCategory{Obsolete} # Latex8 textclass definition file. # Author : Allan Rae <r...@elec.uq.edu.au> diff --git a/lib/layouts/revtex.layout b/lib/layouts/revtex.layout index 15776cd..52a02b6 100644 --- a/lib/layouts/revtex.layout +++ b/lib/layouts/revtex.layout @@ -1,6 +1,6 @@ #% Do not delete the line below; configure depends on this # \DeclareLaTeXClass[revtex,revtex.sty]{REVTeX (Obsolete Version)} -# \DeclareCategory{Articles} +# \DeclareCategory{Obsolete} # RevTeX textclass definition file. Based on: # AMS-Article textclass definition file. Taken from initial LyX source code # and from the Article textclass definition file, following the AMS sample diff --git a/lib/layouts/scrlettr.layout b/lib/layouts/scrlettr.layout index e762eaa..994b6ac 100644 --- a/lib/layouts/scrlettr.layout +++ b/lib/layouts/scrlettr.layout @@ -1,6 +1,6 @@ #% Do not delete the line below; configure depends on this # \DeclareLaTeXClass{KOMA-Script Letter (V. 1, Obsolete)} -# \DeclareCategory{Letters} +# \DeclareCategory{Obsolete} # KOMA scrlettr textclass definition file. # Bernd Rellermeyer <100.41...@germanynet.de>, 1999/2/17. diff --git a/lib/layouts/sigplanconf.layout b/lib/layouts/sigplanconf.layout index fb23b41..d5cba5e 100644 --- a/lib/layouts/sigplanconf.layout +++ b/lib/layouts/sigplanconf.layout @@ -1,6 +1,6 @@ #% Do not delete he line below; configure depends on this -# \DeclareLaTeXClass[sigplanconf,natbib.sty]{ACM SIGPLAN (obsolete)} -# \DeclareCategory{Articles} +# \DeclareLaTeXClass[sigplanconf,natbib.sty]{ACM SIGPLAN (Obsolete)} +# \DeclareCategory{Obsolete} # ACM SIGPLAN sigplanconf textclass definition file. # Author : Uwe Stöhr # diff --git a/lib/layouts/singlecol.layout b/lib/layouts/singlecol.layout index 63242cd..467738e 100644 --- a/lib/layouts/singlecol.layout +++ b/lib/layouts/singlecol.layout @@ -1,6 +1,6 @@ #% Do not delete the line below; configure depends on this -# \DeclareLaTeXClass[singlecol, natbib.sty]{Inderscience Journals (Obsolete Version)} -# \DeclareCategory{Articles} +# \DeclareLaTeXClass[singlecol, natbib.sty]{Inderscience Journals (Obsolete)} +# \DeclareCategory{Obsolete} # Read the definitions from article.layout Format 63 diff --git a/lib/layouts/svglobal.layout b/lib/layouts/svglobal.layout index f440150..245a55e 100644 --- a/lib/layouts/svglobal.layout +++ b/lib/layouts/svglobal.layout @@ -1,6 +1,6 @@ #% Do not delete the line below; configure depends on this # \DeclareLaTeXClass[svjour,svglobal.clo]{Springer SV Global (Obsolete Version)} -# \DeclareCategory{Articles} +# \DeclareCategory{Obsolete} # svjour/global (article) textclass definition file. # for various Springer Verlag Journals for which no specific file exists (Global). # -------- -- 2.7.4