Journal Guide

Concurrency is seen in an increasing number of computing and communication systems. We have tens of millions of clients on the World Wide Web and many thousands of powerful nodes in high-end massively parallel machines (MPP). One can project continued rapid progress within ten years, Exaop performance from the Web and Petaflop capabilities in closely coupled parallel machines. This leads to a confusing rich choice of architectures with distributed memory PC clusters or Web-based computers and shared memory MPPs. These are enabled and coupled with corresponding boosts in wide-area network performance and deployment with a blurring and convergence of computing and communication. This hardware juggernaut is coupled to new languages and programming paradigms, such as Java and VRML for the Web and multithreading HPF and MPI for parallel systems. The combination of concurrent digital and optical technology is expected to create a Global Information Infrastructure (GII) that will enable new applications, and open up a new set of communication and computer software and architecture challenges. We need portable and scalable (portable to the future and to hybrid heterogeneous world-wide systems) solutions. This technology is being driven by and used in a wide range of academic, research, and commercial application areas. This use is producing a substantial amount of practical experience in those problems that are enabled or enhanced by this amazing infrastructure. There are also new computational methods, such as mobile agents, cellular automata and massively parallel neural networks, which are particularly suited to concurrent execution. There is a rapid growth in both scientific (grand challenges) and information (national challenge) applications that drive both the functionality and high performance of the base technologies. These will impact academia, business, the homes and education. New applications are also being opened up by advances in human-computer interfaces with full immersive environments becoming available, and tools to support those with disabilities broadening the reach of the computer and communication revolution. This journal will, therefore, focus on practical experience with the application of these converging trends to solve real problems. In particular, themes of our papers include:

Connection Science is an interdisciplinary scientific and technical journal that has, since 1989, been a focus for research on connectionist modelling and neural network learning in both living and artificial systems with an emphasis on cognition and AI. Papers on these traditional themes are still strongly encouraged. However, in 2002, in response to exciting new work in evolutionary methods and adaptive robotics, its scope was broadened to include computational research on all biologically inspired adaptive mechanisms as well as all areas of biologically inspired robotics research. Papers submitted to the journal may be of a practical nature including, but not restricted to, new adaptive methods, novel implementations of existing methods as well as empirical work that has a strong modelling or theoretical component in psychology, biology, neuroscience or biologically inspired robotics. Submissions may also be theoretical or philosophical. Review papers are welcomed and authors are encouraged to consult with the Editor-in-Chief if they are considering a submission. Disclaimer Taylor & Francis makes every effort to ensure the accuracy of all the information (the 'Content') contained in its publications. However, Taylor & Francis and its agents and licensors make no representations or warranties whatsoever as to the accuracy, completeness or suitability for any purpose of the Content and disclaim all such representations and warranties whether express or implied to the maximum extent permitted by law. Any views expressed in this publication are the views of the authors and are not the views of Taylor & Francis.

Discrete & Computational Geometry (DCG) is an international journal of mathematics and computer science, covering a broad range of topics in which geometry plays a fundamental role.

It publishes geometric papers on such topics as

- polytopes, spatial subdivision, packing, covering, and tiling, configurations and arrangements, and geometric graphs;

- geometric algorithms and their complexity, convex hulls, Voronoi diagrams, Delaunay triangulation, and range searching;

- solid modeling, computer graphics, image processing, pattern recognition, and motion planning;

- computational topology, discrete differential geometry, geometric probability, and real algebraic geometry.

The journal also accepts papers with a distinct geometric flavor in such areas as graph theory, mathematical programming, combinatorial optimization, algebraic geometry, geometry of numbers, crystallography, data analysis, machine learning, and robotics.The journal also encourages additional material such as short videos, an

Discrete Mathematics provides a common forum for significant research in many areas of discrete mathematics and combinatorics. Among the fields covered by Discrete Mathematics are graph and hypergraph theory, network theory, enumeration, coding theory, block designs, the combinatorics of partially ordered sets, extremal set theory, matroid theory, algebraic combinatorics, discrete geometry, matrices, and discrete probability theory.Items in the journal include research articles (Contributions or Notes, depending on length) and survey/expository articles (Perspectives). Efforts are made to process the submission of Notes (short articles) quickly. The Perspectives section features expository articles accessible to a broad audience that cast new light or present unifying points of view on well-known or insufficiently-known topics.Discrete Mathematics also publishes occasional Special Issues containing selected papers, often from a particular conference. Such issues are fully refereed and adhere to the normal high standards of the journal.

Discrete Optimization publishes research papers on the mathematical, computational and applied aspects of all areas of integer programming and combinatorial optimization. In addition to reports on mathematical results pertinent to discrete optimization, the journal welcomes submissions on algorithmic developments, computational experiments, and novel applications (in particular, large-scale and real-time applications). The journal also publishes clearly labelled surveys, reviews, short notes, and open problems. Manuscripts submitted for possible publication to Discrete Optimization should report on original research, should not have been previously published, and should not be under consideration for publication by any other journal.If you have any questions or comments about the journal please email: disopt@elsevier.comBenefits 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

The international journal Distributed Computing provides a forum for original and significant contributions to the theory, design, specification and implementation of distributed systems. Topics covered by the journal include but are not limited to: design and analysis of distributed algorithms; multiprocessor and multi-core architectures and algorithms; synchronization protocols and concurrent programming; distributed operating systems and middleware; fault-tolerance, reliability and availability; architectures and protocols for communication networks and peer-to-peer systems; security in distributed computing, cryptographic protocols; mobile, sensor, and ad hoc networks; internet applications; concurrency theory; specification, semantics, verification, and testing of distributed systems. In general, only original papers will be considered. By virtue of submitting a manuscript to the journal, the authors attest that it has not been published or submitted simultaneously for publication elsewhere. H

nternational Press of Boston, Inc. is an academic publishing company founded in 1992. After eighteen years of growth, International Press now publishes fifteen journals in various fields of academic mathematics research, including a prestigious journal of statistics. International Press also publishes high-level mathematics and mathematical physics book titles, including monographs, textbooks, and more.International Press enjoys a productive partnership with the American Mathematical Society, with whom we have co-published the AMS/IP Studies in Advanced Mathematics book series since 1997.Having close ties to the Chinese mathematics community, International Press has also developed a close partnership with Higher Education Press of Beijing—the leading Chinese curriculum planner, and publisher and distributor of academic books—as well as with the Chinese publishers Tsinghua University Press, Hunan Science and Technology Press, and others.

The European Journal of Combinatorics is a high standard, international, bimonthly journal of pure mathematics, specializing in theories arising from combinatorial problems. The journal is primarily open to papers dealing with mathematical structures within combinatorics and/or establishing direct links between combinatorics and other branches of mathematics and the theories of computing. The journal includes full-length research papers on important topics.Benefits 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

Expert Systems: The Journal of Knowledge Engineering publishes papers dealing with all aspects of knowledge engineering, including individual methods and techniques in knowledge acquisition and representation, their application and evaluation, and the construction of systems - including expert systems - based thereon. As well as traditional application areas, such as Software and Requirements Engineering, Human-Computer Interaction, and Artificial Intelligence, we are aiming at the new and growing markets for these technologies, such as Business, Economy, Market Research, and Medical and Health Care. The shift towards this new focus will be marked by a series of special issues covering hot and emergent topics.

For cohesion, and because so many applications rely on various theoretical properties of finite fields, it is essential that there be a core of high-quality papers on theoretical aspects. In addition, since much of the vitality of the area comes from computational problems, the journal publishes papers on computational aspects of finite fields as well as on algorithms and complexity of finite field-related methods.

The journal also publishes papers in various applications including, but not limited to, algebraic coding theory, cryptology, combinatorial design theory, pseudorandom number generation, and linear recurring sequences. There are other areas of application to be included, but the important point is that finite fields play a nontrivial role in the theory, application, or algorithm.

Finite Fields and Their Applications is published four times per year and maintains very strict refereeing standards, accepting only those papers which receive excellent referee reports.

This journal aims to publish contributions at the junction of theory and practice.  The objective is to disseminate applicable research.  Thus new theoretical contributions are welcome where they are motivated by potential application; applications of existing formalisms are of interest if they show something novel about the approach or application.

The term 'formal methods' has been applied to a range of notations, theories and tools.  There is no doubt that some of these have already had a significant impact on practical applications of computing.  Indeed, it is interesting to note that once something is adopted into practical use it is no longer thought of as a formal method.  Apart from widely used notations such as those for syntax and state machines, there have been significant applications of specification notations, development methods and tools both for proving general results and for searching for specific conditions.  However, the most profound and lasting influence of the formal app

Formal Methods in System Design reports on the latest formal methods for designing, implementing, and validating the correctness of hardware (VLSI) and software systems. Readers will find high quality, original papers describing all aspects of research and development. Contributions to the journal serve its goal of developing an important and highly useful collection of commonly applicable formal methods that will strongly influence future design environments and design methods.

Foundations of Computational Mathematics (FoCM) publishes research and survey papers of the highest quality, which further the understanding of the connections between mathematics and computation, including the interfaces between pure and applied mathematics, numerical analysis and computer science.

Fundamenta Informaticae is an international journal publishing original research results in all areas of mathematical foundations of computer science and their applications. Papers are encouraged which contain:* solutions, by mathematical methods, of problems emerging in computer science,* solutions of mathematical problems inspired by computer science,* application studies that follow the situations in (i) and (ii).Besides traditional disciplines of interest for computer science, such as mathematical theories of programs and programming, logic in computer science and artificial intelligence, theory of computing, complexity theory, design and analysis of algorithms, theory of formal languages and automata theory, concurrency, cellular automata, database theory, logic programming, nonmonotonic reasoning, parallel algorithms, term rewriting, theory of parallel and distributed computing, the journal is open to contributions presenting methods on more areas such as adaptive strategies of computing, approximate reasoning, agent system theory, bio-computing, machine learning and pattern recognition, data mining and knowledge discovery, decision theory, DNA computing, evolutionary computation, natural computing, neural networks, quantum computing, soft computing including fuzzy sets, rough sets and granular computing. This enumeration is not intended to be exclusive.

Fuzzy Information and Engineering - An International Journal wants to provide a unified communication platform for researchers in a wide area of topics from pure and applied mathematics, computer science, engineering, and other related fields. While also accepting fundamental work the journal focuses on applications: research papers, letters, and reviews are welcome. Technical topics within the scope include: 1) Fuzzy Information a. Fuzzy information theory and information systems b. Fuzzy clustering and classificationc. Fuzzy information processing d. Hardware and software co-designe. Fuzzy computer f. Fuzzy database and data miningg. Fuzzy image processing and pattern recognition h. Fuzzy Information Granulation i. Knowledge acquisition and representation in Fuzzy Information 2) Fuzzy Sets and Systems a. Fuzzy sets b. Fuzzy analysis c. Fuzzy topology and fuzzy mapping d. Fuzzy equation e. Fuzzy programming and optimal f. Fuzzy probability and statistic g. Fuzzy logic and algebra h. General systems i. Fuzzy socioeconomic system j. Fuzzy decision support system k. Fuzzy expert system 3) Soft Computing a. Soft computing theory and foundation b. Nerve cell algorithmsc. Genetic algorithms d. Fuzzy approximation algorithmse. Computing with words and Quantum computation 4) Fuzzy Engineeringa. Fuzzy control b. Fuzzy system engineering c. Fuzzy knowledge engineering d. Fuzzy management engineering e. Fuzzy design f. Fuzzy industrial engineering g. Fuzzy system modeling 5) Fuzzy Operations Researcha. Fuzzy evaluation and decision-making b. Fuzzy overall plans and scheduling c. Fuzzy prediction and forecasting d. Fuzzy countermeasuree. Fuzzy graph theory and network flow f. Fuzzy management in knowledge 6) Artificial Intelligence a. Fuzzy basis , system in knowledge b. Approximate reasoning and fuzzy reasoning machinec. Fuzzy neural networks d. Intelligent controls and robotse. Fuzzy automata f. Statistical learning theory and support vector machine 7) Othersa. Rough sets theory and its applications b. Fuzzy grey systemsc. Fuzzy education d. Fuzzy linguistics e. Fuzzy biology Selected papers from relevant conferences are also welcome. The research and practice of fuzzy information and fuzzy engineering for special interest groups and from special geographic locations will be accommodated by publishing special issues with the help of guest editors. Conference organizers are invited to contact the Editor-in-Chief ifiae@gzhu.edu.cn for further information.

Methods for artificial evolution of active components are rapidly developing branches of adaptive computation and adaptive engineering. They entail the development, evaluation and application of methods that mirror the process of neo-Darwinian evolution. Genetic Programming and Evolvable Machines reports innovative and significant progress in automatic evolution of software and hardware. It features both theoretical and application papers and covers hardware implementations, artificial life, molecular computing and emergent computation techniques. In addition to its main topics, the journal covers related topics such as evolutionary algorithms with variable-size genomes, alternate methods of program induction, approaches to engineering systems development based on embryology, morphogenesis or other techniques inspired by adaptive natural systems.

Graphs and Combinatorics is an international journal devoted to research concerning all aspects of combinatorial mathematics. In addition to original research papers, the journal also features survey articles from authors invited by the editorial board. When preparing the manuscript, please read the instructions placed in the right column of this page.

The IEEE Computational Intelligence Magazine (CIM) publishes peer-reviewed articles that present emerging novel discoveries, important insights, or tutorial surveys in all areas of computational intelligence design and applications, in keeping with the Field of Interest of the IEEE Computational Intelligence Society (IEEE/CIS). Additionally, CIM serves as a media of communications between the governing body and its membership of IEEE/CIS. Authors are encouraged to submit papers on applications oriented developments, successful industrial implementations, design tools, technology reviews, computational intelligence education, and applied research.

The IEEE Transactions on Computers is a monthly publication with a wide distribution to researchers, developers, technical managers, and educators in the computer field. It publishes papers on research in areas of current interest to the readers. These areas include, but are not limited to, the following: a) computer organizations and architectures; b) operating systems, software systems, and communication protocols; c) real-time systems and embedded systems; d) digital devices, computer components, and interconnection networks; e) specification, design, prototyping, and testing methods and tools; f) performance, fault tolerance, reliability, security, and testability; g) case studies and experimental and theoretical evaluations; and h) new and important applications and trends.

Additional Information

IEEE Transactions on Computers publishes papers on research in areas of current interest to the readers, including but not limited to the following: a) computer organizations and architectures (multicores, manycores, accelerators, application-specific, domain-specific and reconfigurable processors, processing-in-memory, near-data processing, and  datacenters); b) operating systems, software systems, and cloud computing  (runtime systems, parallel and distributed systems, virtualization, and software-hardware interactions); c) real-time, mobile and embedded systems (Internet of Things, edge computing, wearables, actuators, and sensor networks); d) digital devices, computer components, and interconnection networks (volatile and non-volatile emerging memory technologies, solid-state devices for storage, emerging technologies for interconnects); e) specification, design, prototyping, and testing methods and tools; f) performance, fault tolerance, reliability, security, and testability (availability, scalability, energy/power management); g) case studies and experimental and theoretical evaluations (workload characterization, tracing, analyzing, and troubleshooting) ; and h) new and important applications and trends (computing issues for emerging technologies and applications, machine learning, approximate computing, quantum computing, neuromorphic computing, and analog computing).

TC is a scholarly, archival journal published monthly. In addition to full papers, brief contributions are also published.