Summary: This guide describes how to explain your research in a persuasive, well-organized paper modeled on those published in computer science journals. To illustrate specific elements of this type of paper, this guide refers to a published sample(Sagapyroon, A and Aloul, F.A., 2007. Using SAT-based techniques in power estimation. Microelectronics Journal 38, 706-715.) Access the full paper via the Rice proxy at http://www.elsevier.com/wps/find/journaldescription.cws_home/405904/description#description.
As a member of a research community in either academia or industry, you will need to publish your ideas and research work. A research paper places your work in context, helping readers to understand why the study was undertaken, what others have done in this same area, and the important question (hypothesis) that you examined. Your paper allows you to convince the readers that your conclusions and recommendations, backed by your evidence, are sound.
Readers expect certain questions to be answered as they read papers:
A traditional scientific research paper is structured to answer these questions. However, computer scientists often choose to further subdivide the content, using headings that signal the technical content that they discuss in each subsection. Note the descriptive headings that Sagahyroon and Aloul use to organize their paper:
This guide discusses how to prepare each of the traditional sections of a research paper and includes questions for you to consider as you write. Read each section of your draft to determine how well it answers these questions. Next, revise the draft so that it is clear, complete, and concise. The abstract, which appears first in publication, should be written last, and advice about it appears after information on the conclusion.
The Introduction formally invites your readers into your paper by providing background information necessary for understanding your research. Your first sentences should signal the focus of your paper and engage the reader’s attention, as in the following sentences from Sagahyroon and Aloul:
The last few years have seen a remarkable growth in the use of Boolean satisfiability (SAT) models and algorithms for solving various problems in electronic design automation (EDA). This is mainly [because] SAT algorithms have seen tremendous improvements in the last few years, allowing larger problem instances to be solved in different applications domains . . . . The growing integration scales in VLSI and the recent surge in the deployment and initialization of portable electronic devices have brought power dissipation to the forefront as a major design concern.
Once the reader’s attention is engaged, most Introductions move from what is known about the topic to what is not known or in question, and then to the specific question that your research answered. As you write, include references to credible, peer-reviewed sources to support your claims. Your introduction should answer the following questions:
At the end of the Introduction, readers expect to find a concise forecast of the research work reported. This forecasting statement or paragraph offers the main point or claim of your research and previews what the reader will learn in the remainder of the paper. This forecast does the following:
Consider the forecasting statement associated with the Sagahyroon and Aloul paper. Notice how these authors employ a consistent, easy-to-follow structure that leads readers through the main points of their paper.
| The primary objective of this paper is to demonstrate the validity of ILP solvers, SAT-based and generic-based, in addressing the two [power] estimation problems discussed above. | Summarizes the authors’ specific claim or contribution. |
| In this work, we first show how to model the two problems as SAT, i.e., 0-1 ILP, instances; and secondly we evaluate the performance of the latest SAT and generic ILP solvers in handling these instances. | Summarizes the methods used and specific comparisons made. |
| We show that generic ILP solvers are likely to achieve better results than SAT-based and random-based approaches when solving the proposed power problems. | Describes the results obtained. Note that this summary could have been strengthened by including an explanation for why the generic ILP solvers perform better (though this paper actually makes no claims about why, but simply demonstrates the viability of generic ILP). |
| The paper is organized as follows. Section 2 includes background information on SAT and ILP. Section 3 describes the estimation problems and their formulation using 0-1 ILP. Experimental results are presented in Section 4, and the paper is concluded in Section 5. | Provides a roadmap for the rest of the paper. |
This section tells how you conducted your project. It should be detailed enough to guide someone who wants to reproduce your study. It should not, however, be structured as a chronology of what you did (for example, “First we tried this, but that didn’t work, so then we did this.”). If you encountered problems, first discuss the methodology you finally settled on. Insert notes about problems and adjustments you made, when these are relevant to the final outcomes, in the Results/Discussion section.)
The Methods section of a computer science paper is usually divided into two parts. In the first part, identify the algorithms or data structures you investigated:
The second part explains how you implemented the algorithms in your research.
Another way to think of the content of the Methods section is to imagine the questions that the two parts of the Methods section answer.
Part 1
Part 2
Unlike many articles in the traditional sciences, computer science research articles tend to combine results and discussion. Journals adopt this structure because the raw data are less important than the analysis. Provide representative examples that illustrate trends or outcomes that are important to your hypothesis. Focus most of your time, however, on the analysis of the results and what they reveal about the algorithms you are studying.
You will summarize the results of your benchmarking tests primarily in figures. You will be graded on the quality of your figures. Consider the following advice as you sort through the raw data:
The analysis of the results is the most important part of your paper because it presents your original work and explains its significance. Your analysis confirms or denies your study’s basic hypothesis, interpreting your numerical results to demonstrate how they answer the questions you set out in the introduction. The analysis must support your conclusions.
Try to think about what your reader wants to know about your results. Here are some questions to guide you:
The conclusion answers the readers’ question: “So what?” It should give your readers points to “take home” from your paper. It should state clearly what your results demonstrate about the hypothesis you were testing in the paper. It should also generalize your findings, perhaps suggesting how others can use them in future research. All generalizations should be supported by your data, however; the discussion should have proved these points, so that when the reader gets to the conclusion, the statements are logical and seem self-evident. No new evidence should be introduced in the conclusion.
An abstract appears at the beginning of a paper, but you should write it last because it summarizes your whole paper. Readers should be able to read only the abstract and still understand your primary points. Your abstract should briefly answer the following questions:
One of the ways that you demonstrate your professional identity is by acknowledging the help others have given you. For example, a professor or researcher may have shared a data set or testing facilities that made your project possible. Friends may have provided access to a manuscript that has not yet been published, or they may have answered a question through email correspondence. Another undergraduate may have run hours of tests for you or loaned you the use of a computer. Thanking such people demonstrates your ethical awareness that research is often, perhaps even usually, possible because of many generous individuals and organizations.
All facts, algorithms, figures, or tables taken from print or online sources should be cited and the sources listed at the end of the document in a section titled “References.” An article that has been published in a peer reviewed journal and located in an on-line repository (such as JSTOR) is acceptable, but you must state the date on which you retrieved it and give the URL for its permanent location. Web sites posted by individuals are not acceptable references. Do not cite the course textbook for background.
All references should be in Association for Computing Machinery (ACM) style, which is summarized below. Full details on ACM style and style templates can be found at http://oldwww.acm.org/pubs/ (scroll under Policies and Procedures for guidelines on plagiarism and electronic submission of articles using LaTeX or Microsoft Word).
In-text citation style: To note a parenthetical reference, enclose the last name of the first author and year of publication [Burando 2007]. When there are two authors, both last names and the year of publication are included [Burando and Lee 2007]; when there are more than two authors, cite the last name of the first author followed by et al. [Burando et al. 2007]. If multiple citations are needed, list all in square brackets separated by semi-colons [Burando 2007; Burando and Lee 2007; Burando et al. 2007]. When a citation is part of a sentence, the name of the author is NOT enclosed in brackets, but the year is: "So we see that Burando et al. [2007]..."
Journal reference style: ABDELBAR, A.M., AND HEDETNIEMI, S.M. 1998. Approximating MAPs for belief networks in NP-hard and other theorems. Artificial Intelligence 102, 21-38.
Book reference style: GINSBERG, M. 1987. Readings in Nonmonotonic Reasoning. Morgan Kaufmann, Los Altos, CA.
Article in a book or collection: GREINER, R. 1999. Explanation-based learning. In The Encyclopedia of Cognitive Science, R. WILSON AND F. KEIL, Eds. MIT Press, Cambridge, MA, 301-303.
Conference proceedings: MAREK, W., AND TRUSZCZYNSKI, M. 1989. Relating autoepistemic and default logics. In Proceedings of the 1st International Conference on Principles of Knowledge Representation and Reasoning, Toronto, Canada, May 1989, H. BRACHMAN AND R. REITER, Eds. Morgan Kaufmann, San Mateo, CA, 276-288.