The ACM Computing Surveys publishes surveys of and tutorials on areas of computing research or practice. See the Editorial Charter available at http://www.acm.org/surveys/Charter.html for further details. Contributions should conform to generally accepted practices for scientific papers with respect to organization and style.Types of PapersSubmissions must be of one of the following types.Survey paper A paper that summarizes and organizes recent research results in a novel way that integrates and add understanding to work in the field. A survey article assumes a general knowledge of the area; it emphasizes the classification of the existing literature, developing a perspective on the area, and evaluating trends. Tutorial paper A paper that organizes and introduces work in the field. A tutorial paper assumes its audience is inexpert; it emphasizes the basic concepts of the field and provides concrete examples that embody these concepts. Symposium Proposals Proposals for editing Symposium issues covering areas or topics of research, such as the Symposium on Artificial Intelligence appearing in Volume 27, Number 3 (September 1995). Paper LengthPapers should not normally exceed 35 pages when formatted using the Surveys style. When justified, additional material may be published in an electronic supplement. Manuscripts of excessive length may be rejected without review.
Individual articles published in ACM Transactions on Applied Perception are available through the Article Express International FAX service. If you wish to search for specific articles, go to our Past Issues. Note that abstracts for many of the articles are available online, and ACM TAP subscribers may download electronic versions of the latest articles.
For the purposes of TOCL, the field of computational logic consists of all uses of logic in computer science. This area has a great tradition in computer science. Several researchers who earned the ACM Turing award have also contributed to this field, namely Edgar Codd (relational database systems), Stephen Cook (complexity of logical theories), Edsger W. Dijkstra, Robert W. Floyd, Tony Hoare, Amir Pnueli, and Dana Scott (program logics, program derivation and verification, programming languages semantics), Robin Milner (interactive theorem proving, concurrency calculi, and functional programming), and John McCarthy (functional programming and logics in AI).
Algorithms (ISSN 1999-4893; CODEN: ALGOCH) is an open access journal of computer science, theory, methods and interdisciplinary applications, data and information systems, software engineering, artificial intelligence, automation and control systems. It publishes reviews, regular research papers and short communications. Our aim is to encourage scientists to publish their experimental and theoretical results in as much detail as possible. There is no restriction on the length of the papers. The full experimental details must be provided so that the results can be reproduced. There are, in addition, unique features of this journal:, , manuscripts regarding research proposals and research ideas will be particularly welcomed, electronic files or software regarding the full details of the calculation and experimental procedure, if unable to be published in a normal way, can be deposited as supplementary material, we also accept manuscripts communicating to a broader audience with regard to research projects financed with public funds, copies of source codes might be deposited.
Applied Categorical Structures focuses on applications of results, techniques and ideas from category theory to mathematics, physics and computer science. These include the study of topological and algebraic categories, representation theory, algebraic geometry, homological and homotopical algebra, derived and triangulated categories, categorification of (geometric) invariants, categorical investigations in mathematical physics, higher category theory and applications, categorical investigations in functional analysis, in continuous order theory and in theoretical computer science. In addition, the journal also follows the development of emerging fields in which the application of categorical methods proves to be relevant. Applied Categorical Structures publishes both carefully refereed research papers and survey papers. It promotes communication and increases the dissemination of new results and ideas among mathematicians and computer scientists who use categorical methods in their research.
computational biology, bioinformatics, computational chemistry, computation in engineering, computational fluid dynamics, molecular dynamics
computational complexity presents outstanding research in computational complexity. Its subject is at the interface between mathematics and theoretical computer science, with a clear mathematical profile and strictly mathematical format. The central topics are: Models of computation, complexity bounds (with particular emphasis on lower bounds), complexity classes, trade-off results
for sequential and parallel computationfor 'general' (Boolean) and 'structured' computation (e.g. decision trees, arithmetic circuits)for deterministic, probabilistic, and nondeterministic computationworst case and average caseSpecific areas of concentration include: Structure of complexity classes (reductions, relativization questions, degrees, derandomization)Algebraic complexity (bilinear complexity, computations for polynomials, groups, algebras, and representations)Cryptography, interactive proofs, pseudorandom generationComplexity issues in:Computer Science Review intends to fulfil a need in the Computer Science community by publishing research surveys and expository overviews in computer science and related fields. The reviews are aimed at a general computer science audience seeking a full and expert overview of the latest in computer science research.The journal will publish research surveys and expository overviews in computer science. Articles from other fields are welcome, as long as their content is relevant to computer science.Articles should be of sufficient scientific interest and help to advance the fundamental understanding of ongoing research, applied or theoretical, for a general computer science audience. The treatment of each topic should be more than a catalogue of known results. Emphasis should be on clarity and originality of presentation and each survey should add insight to the topic under review.A survey may typically contain the following elements:Introduction (including motivation and historical remarks)Outline of the SurveyBasic concepts, examples and results (with sketches of the proofs)Comments on the relevance of the results, relations to other results and applicationsOpen problemsCritical review of the relevant literatureComprehensive bibliographyAuthors should give a clear and well-balanced treatment of their subject. Expanded versions of primary research papers are generally not acceptable. The optimal length for a paper is considered to be approximately 30 printed pages or about 20,000 words, including tables and diagrams.
Computer Speech & Language publishes reports of original research related to the recognition, understanding, production, coding and mining of speech and language.The speech and language sciences have a long history, but it is only relatively recently that large-scale implementation of and experimentation with complex models of speech and language processing has become feasible. Such research is often carried out somewhat separately by practitioners of artificial intelligence, computer science, electronic engineering, information retrieval, linguistics, phonetics, or psychology.The journal provides a focus for this work, and encourages an interdisciplinary approach to speech and language research and technology. Thus contributions from all of the related fields are welcomed in the form of reports of theoretical or experimental studies, tutorials, reviews, and brief correspondence pertaining to models and their implementation, or reports of fundamental research leading to the improvement of such models.Research Areas IncludeAlgorithms and models for speech recognition and synthesisNatural language processing for speech understanding and generationStatistical computational linguisticsComputational models of discourse and dialogueInformation retrieval, extraction and summarizationSpeaker and language recognitionComputational models of speech production and perceptionSignal processing for speech analysis, enhancement and transformationEvaluation of human and computer system performanceBenefits to authorsWe also provide many author benefits, such as free PDFs, a liberal copyright policy, special discounts on Elsevier publications and much more. Please click here for more information on our author services.Please see our Guide for Authors for information on article submission. If you require any further information or help, please visit our support pages: http://support.elsevier.com
Computing publishes original papers, short communications and surveys on all fields of computing. The contributions should be written in English and may be of theoretical or applied nature, the essential criteria are computational relevance and systematic foundation of results.
Subjects include
- autonomic, adaptive, dependable computing
- parallel computing
- services computing and cloud computing
- green computing
- internet computing
- business process computing
- software evolution and mining
- architectural concepts for systems
- network science, social networks, collective intelligence
Devoted to computational sciences - a field of a major and continually growing importance for both research and applications, this journal provides the ideal platform for scientists eager to cooperate in solving scientific and technological challenges. The aim is to link professionals from the diverse fields of mathematics computer science physics chemistry environmental sciences biosciences engineering. The rapid development of computer technology has opened up new perspectives, increased the importance of mathematical models and created an urgent need for efficient algorithms. Reflecting these trends, the journal has set itself the goal of publishing pioneering methods and applications which precipitate the solution of complex problems - or even make such solutions possible at all. Since visualization has become an important scientific tool, especially in the analysis of complex situations, it is treated in close connection with the other areas covered by the journal. These areas include: - mathematical modeling and analysis of model systems - numerical methods and algorithms - development of simulation software - optimization and control - parallel computing - visualization and image analysis - computational physics and chemistry - structural mechanics - fluid dynamics - environmental sciences - computation in biosciences and medicine - modeling and computation in engineering As well as publishing this exciting material in print form, Computing and Visualization in Science will also make the documents available to subscribers electonically via a server.