Information for Authors:
Carleton Scientific Style Guidelines for Preparing Papers for Publication

Important things to remember in preparing your article:
  1. Use cs.sty as the main macro package for processing your files.
  2. We use LaTeX2e for processing all files. Most sites that run TeX should have this version available. Let us know if this causes difficulty for you. Our style file (cs.sty) modifies only a few things in LaTeX2e, mostly article title pages in order to facilitate processing many articles in one run of the program.
  3. The final page size will be 6 inches wide by 9 inches high. This results in a printable area (not including running heads) of 27 picas wide by 43 picas high or 4.5 inches wide by about 7.2 inches high or about 11.25 cm wide by about 17.9 cm high. These are the dimensions built into cs.sty; you should not need to use them in your file except if you need dimensions for importing graphics.

    Please design all graphic material to fit readably within this space. Some mathematical formulas and constructions may not fit ccomprehensively on this size of line, so please check the math and either put it into a display with the lines broken appropriately or, if you must run it in-line, use word spaces in those places where it would be appropriate to break the lines.

    Do not change font point sizes for the basic elements (text body, titles, subheads, abstracts, bibliography, etc.). You may need to change font sizes for figures, displays, tables, and similar items in order to make them fit properly.

  4. We use epsfig as our primary graphics package. If you use a non-standard package you may need to send it to us. Please try to keep graphics files as small as possible. A good way of doing this is to use the native LaTeX picture commands as much as possible.
  5. Use cs.sty without modification or added definitions that change the formatting of the commands contained in that style package. Remember that we are processing every author's files together into one book -- if you define or redefine a variable that someone else uses, there is a great likelihood that someone will get unexpected results.

Other General Points

Titles

In all titles (main article title, subsection titles, etc.), use a capital letter to begin all significant words (i.e., words other than conjunctions and prepositions); e.g.: An Optimal Algorithm for Broadcasting Multiple Messages in Trees

Spacing:

Do not add extra spacing between paragraphs; if you need to indicate a change in topic, add a subsection of the appropriate level.

Authors' Names:

We are running authors' names centred one above the other with affiliation information listed below each author's name. This makes it easier to fit long names and multiple authors on the narrow width of the page rather then trying to squeeze multiple author names side-by-side.

Submitting accepted papers:

After your paper has been accepted by the conference committee, please send to us your LaTeX source files plus any necessary graphic files in a tar archive (you can use gzip for compression). You may submit your files either by e-mail or by ftp. If you prefer e-mail, send your files to editor@carleton-scientific.com. If you use any form of compression or if you include binary files of any sort, then you will need one of the following methods:

Please avoid merely concatentating a number of files into a mail message, as it becomes difficult to determine where one file ends and another begins, especially if they are of mixed types (e.g., TeX and PostScript).

If you can use ftp, then connect to carleton-scientific.com, login as anonymous and use your e-mail address as a password. Change to the pub directory and put your files there. Once your files are successfully uploaded, please e-mail a message to editor@carleton-scientific.com. indicating the name of the file you have uploaded and a means of contacting you if there are problems.

LaTeX provides the \listfiles command as a way of creating a list of the files necessary to successfully run your paper on another system. This command can be placed anywhere before the \begin{document} command in your main file and it will produce a list of all files used. You can read the list in the {filename}.log file produced each time you run LaTeX. You must send us any file on this list that is not included in \usepackage line of our cs.sty file: ifthen,times,epsfig,latexsym,amssymb,amsmath,amsfonts,mathptm,algorithm

LaTeX2e Guides

We used the following text as our main source of information on LaTeX2e (many other books are available):

Helmut Kopka and Patrick W. Daly, A Guide to LaTeX2e: Document Preparation for Beginners and Advanced Users, Second Edition (Addison-Wesley, Harlow, England, 1995).

Examples

Most of our style requirements involve commands at the beginning of the file, especially to set up the title and author information. Here is an example:
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\documentclass[twoside]{article}
\usepackage{cs}
\listfiles

\begin{document}

% if you need new "theorem" styles, please define them here using
% \newtheorem:

\newtheorem{Obs}{Observation}
\newtheorem{Ru}{Rule}

% folio (page number) only on first page of article:

\thispagestyle{plain}

% the following  adds the information for this article to the
% book's table of contents:

\addcontentsline{toc}{author}{P. Flocchini,
E. Lodi,
F. Luccio,
L. Pagli,
N. Santoro}
\addcontentsline{toc}{chapter}{Irreversible Dynamos in Tori}

% This denotes the running head for the recto (right-hand,
% even-numbered) pages; please shorten the title if necessary.
% Note that as of April 1999 this command has changed from
% \markright to \Headright, which is defined in cs.sty.

\Headright{Flocchini et al.: Irreversible Dynamos in Tori}

% Since we are not using LaTeX's normal \maketitle command, the
% following elements must come in the order indicated here.
% Note the use of the \research command for adding a footnote
% reference for funding acknowledgements.
% If used, the \research command must immediately follow the 
% last word of the title; there must be no whitespace or
% linebreak before it.

\title{Irreversible Dynamos in Tori\research{This 
work has been supported in part by MURST of Italy, 
and by  NSERC under grant
\#A2415.}}

% Note that authorgroup is an environment containing one or more
% authors, and that each author entry consists of two arguments
% to the \author command. The affiliation should contain the name
% of the author's institution only; additional author
% information can be placed in the biog environment at the end of
% the article.
% Be sure the \author command has the following form only:
% \author{Firstname Lastname}{Institution, Country}

\begin{authorgroup}
\author{P. Flocchini}{Universit\'e de Montr\'eal, Canada}
\author{E. Lodi}{Universit\`a di Siena, Italy}
\author{F. Luccio}{Universit\`a di Pisa, Italy}
\author{L. Pagli}{Universit\`a di Pisa, Italy}
\author{N. Santoro}{Carleton University, Canada}
\end{authorgroup}

%% ACM style is optional:
\bibliographystyle{acm}

\begin{abstract}
We study the dynamics of majority-based distributed systems in presence of
permanent faults. 
In particular, we are interested in the patterns of initial faults
which may lead the entire system to a faulty behaviour. Such patterns are
called \emph{dynamos} and their properties have been studied in many different
contexts. In this paper we investigate dynamos for meshes with 
different types of toroidal closures. For each topology
we establish tight bounds on the number of faulty elements needed for
a system break-down, under 
different majority rules. 
\end{abstract}

\keywords{Distributed  Computing, Tori, Majority Rule, Fault
Tolerance.}

\section{Introduction}
\label{intro}
 
Consider the following  repetitive 
process on a  \emph{synchronous}
network $G$: 
initially each vertex is in one of two states (colors), 
\emph{black} or \emph{white};
at each  
step, all vertices simultaneously  (re)color themselves
either black or white, each according 
to the color of 
the ``majority'' of its neighbors (majority rule). 
Different processes occur depending on how majority is defined
(e.g., simple, strong, weighted) and on whether or not the neighborhood
of a vertex  includes that vertex.
The problem is to study the initial configurations (assignment of colours)
from which, after a finite number of steps, a monochromatic fixed point 
is reached, that is, all vertices become of the same colour (e.g., black).
The initial set of black vertices is called \emph{dynamo} (short for
``dynamic monopoly'') and  their study has been introduced by Peleg 
\cite{P97}
as an extension of the study of monopolies.

The dynamics of majority rules have  been extensively studied 
in the context of
cellular automata, and much effort has been concentrated on determining 
the asymptotic behaviors 
of different majority rules 
on different graph structures.
In particular, it has been shown that, 

For particular values of $m$ and $n$ the bound of theorem~\ref{theoremUB2} 
can be made stricter for the 
toroidal mesh and the torus serpentinus. In fact these networks are symmetrical 
with respect to rows and columns, hence the pattern of black 
vertices reported in figure~\ref{fig:TMSM} can be turned of 90 degrees, 
still constituting a dynamo. We immediately have:

\begin{corollary}
\label{corSMstretto}
Any $m \times n$ toroidal mesh or torus serpentinus admits a strong irreversible 
dynamo $S$ 
with $|S| = max\{\lceil {m\over 3} \rceil (n+1),\lceil {n\over 3} \rceil (m+1)\}$. 
\end{corollary}

%% please use BibTeX to construct bibliographies:

\begin{thebibliography}{10}

\bibitem{Agur88a}
Z.~Agur.
\newblock Fixed points of majority rule cellular automata with application to
  plasticity and precision of the immune system.
\newblock \emph{Complex Systems}, 2:351--357, 1988.

\bibitem{AguFraKle88a}
Z.~Agur, A.~S. Fraenkel, and S.~T. Klein.
\newblock The number of fixed points of the majority rule.
\newblock \emph{Discrete Mathematics}, 70:295--302, 1988.

\bibitem{BP95}
J-C Bermond, D.~Peleg.
\newblock The power of small coalitions in graphs.
\newblock In \emph{Proc. of 2nd Colloquium on Structural Information 
and Communication Complexity}, 173-184,  1995.

\bibitem{SN97}
\newblock N. Santoro, J. Ren, A. Nayak.
\newblock On the complexity of testing for catastrophic faults.
\newblock In  \emph{Proc. of 6th International Symposium on Algorithms and
Computation}, 188-197, 1995.

\end{thebibliography}

% Please include detailed author-related affiliations and
% addresses here.
% Note that the author's name is the only argument to the
% biog environment:

\begin{biog}{Nicola Santoro}is with the School of Computing
Science, Carleton University, Ottawa, ON, Canada K1S 5B6.
E-mail: nsantoro@scs.carleton.ca
\end{biog}
\begin{biog}{Paola Flocchini}is with the Department of
Computer Science at L'Universit\'e de Montr\'eal, Montreal, QU,
Canada H3C 3J7.
E-mail: flocchin@iro.umontreal.ca
\end{biog}


\end{document}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%