The Journal of Intelligent Transportation Systems is devoted to scholarly research on the development, planning, management, operation and evaluation of intelligent transportation systems. Intelligent transportation systems are innovative solutions that address contemporary transportation problems. They are characterized by information, dynamic feedback and automation that allow people and goods to move efficiently. They encompass the full scope of information technologies used in transportation, including control, computation and communication, as well as the algorithms, databases, models and human interfaces. The emergence of these technologies as a new pathway for transportation is relatively new. The Journal of Intelligent Transportation Systems is especially interested in research that leads to improved planning and operation of the transportation system through the application of new technologies. The journal is particularly interested in research that adds to the scientific understanding of the impacts that intelligent transportation systems can have on accessibility, congestion, pollution, safety, security, noise, and energy and resource consumption. The journal is inter-disciplinary, and accepts work from fields of engineering, economics, planning, policy, business and management, as well as any other disciplines that contribute to the scientific understanding of intelligent transportation systems. The journal is also multi-modal, and accepts work on intelligent transportation for all forms of ground, air and water transportation. Example topics include the role of information systems in transportation, traffic flow and control, vehicle control, routing and scheduling, traveler response to dynamic information, planning for ITS innovations, evaluations of ITS field operational tests, ITS deployment experiences, automated highway systems, vehicle control systems, diffusion of ITS, and tools/software for analysis of ITS. All articles appearing in the Journal of Intelligent Transportation Systems undergo a rigorous peer review, based on initial editor screening and at least two anonymous peer reviewers providing comments. Publication office: Taylor & Francis, Inc., 325 Chestnut Street, Suite 800, Philadelphia, PA 19106.
The Journal of Intelligent and Robotic Systems bridges the gap between theory and practice in all areas of intelligent systems and robotics. It publishes original, peer reviewed contributions from initial concept and theory to prototyping to final product development and commercialization. On the theoretical side, the journal features papers focusing on intelligent systems engineering, distributed intelligence systems, multi-level systems, intelligent control, multi-robot systems, cooperation and coordination of unmanned vehicle systems, etc. On the application side, the journal emphasizes autonomous systems, industrial robotic systems, multi-robot systems, aerial vehicles, mobile robot platforms, underwater robots, sensors, sensor-fusion, and sensor-based control. Readers will also find papers on real applications of intelligent and robotic systems (e.g., mechatronics, manufacturing, biomedical, underwater, humanoid, mobile/legged robot and space applications, etc.).
The Journal of Logic and Algebraic Programming is an international journal whose aim is to publish original research papers, survey and review articles, tutorial expositions, and historical studies in the areas of logical and algebraic methods and techniques for programming in its broadest sense. All aspects will be covered, especially theory and foundations, implementation issues, and applications involving novel ideas.Topics of interest to the journal include:• Logic programming• Constraint programming• Abstract data types• Classes and objects• Components• Process algebra and pi-calculus• Term rewriting• Lambda calculus• Algebraic specification and verification of systems• Algebraic methods for syntax and semantics• Applications of algebras, categories, domains, topological spaces and co-algebras to programming• Applications of proof theory and model theory to programming• Programming with topological data typesThe Journal of Logic and Algebraic Programming complements Elsevier's Science of Computer Programming and Theoretical Computer Science by its focus on the foundations of logical, algebraic and categorical methods for programming.
Logic has found application in virtually all aspects of Information Technology, from software engineering and hardware to programming and artificial intelligence. Indeed, logic, artificial intelligence and theoretical computing are influencing each other to the extent that a new interdisciplinary area of Logic and Computation is emerging.The Journal of Logic and Computation aims to promote the growth of logic and computing, including, among others, the following areas of interest: Logical Systems, such as classical and non-classical logic, constructive logic, categorical logic, modal logic, type theory, feasible maths.... Logical issues in logic programming, knowledge-based systems and automated reasoning; logical issues in knowledge representation, such as non-monotonic reasoning and systems of knowledge and belief; logics and semantics of programming; specification and verification of programs and systems; applications of logic in hardware and VLSI, natural language, cincurrent computation, planning, and databases. The bulk of the content is technical scientific papers, although letters, reviews, and discussions, as well as relevant conference reviews, are included.
Topics of interest to the journal include:
• Applications of algebras, co-algebra and categories to programming
• Applications of proof theory and model theory to programming
• Constraint programming
• Foundations of Programming Paradigms
• Logic programming
• Logical Foundations of Program Security
• Models and Analytical Models for Cyber-Physical Systems
• Process Calculi
• Programming Models
• Quantitative Methods for System Analysis
• Specification and verification of systems
The
If you have not visited this site since January 1, 2006.
The Journal of Manufacturing Systems (JMSY) publishes state-of-the-art fundamental and applied research in manufacturing at the systems level. Manufacturing systems are comprised of products, equipment, people, information, control and support functions for the economical and competitive development, production, delivery and total life cycle of products to satisfy market and societal needs.Pertinent to the journal is work studying emerging manufacturing systems from the equipment level to distributed enterprises, and production challenges within and across various scales, including nano, micro and macro-scale manufacturing. Papers relevant to the scope of JMSY include, but are not limited to, the following areas:• Manufacturing Strategy and Paradigms: flexible, reconfigurable and changeable manufacturing systems; rapid manufacturing, lean manufacturing, virtual enterprises.• Manufacturing Systems Design and Operations: process planning, production planning and controls, modeling, simulation, virtual manufacturing.• Sustainable Manufacturing: life cycle of products and systems, sustainable manufacturing, design for environments and sustainability.• Quality Management: product and process quality, quality function deployment, quality by design, six sigma.• Automation, Control Systems, Human-Machine Interaction: agent-based systems, distributed and integrated control systems, intelligent systems, emergent systems, reconfigurable control, robotics, collaborative robots and human-machine interactions.• Product Development: product families, reverse engineering concept development, product design and integration with manufacturing systems, product life cycle.• Supply Chain Management and Logistics: global supply chains, dynamic supply chains, modeling and optimization.• Manufacturing Information Systems: Internet, Web-based systems, ERP (enterprise resource planning), automatic data capture, enterprise modeling.• Micro and Nano Manufacturing Systems: systems issues related to microfluidics, nanoelectronics, nano systems, microelectromechanical systems (MEMS), nanomaterials, interconnects (nano to meso to macro); energy, chemical and biological devices.Papers focused on novel manufacturing systems design, planning, modeling and control from the factory level to the extended enterprise and addressing the new global challenges are invited for the Journal of Manufacturing Systems. Papers addressing new and emerging related topics are also encouraged.
Publishing a broad coverage of original research relating to the management of manufacturing technology and combining theory with practical application.
The Journal of Open Research Software (JORS) features peer reviewed Software Metapapers describing research software with high reuse potential. We are working with a number of specialist and institutional repositories to ensure that the associated software is professionally archived, preserved, and is openly available. Equally importantly, the software and the papers will be citable, and reuse will be tracked.
JORS also publishes full-length research papers that cover different aspects of creating, maintaining and evaluating open source research software. The aim of the section is to promote the dissemination of best practice and experience related to the development and maintenance of reusable, sustainable research software.
This international journal is directed to researchers, engineers, educators, managers, programmers, and users of computers who have particular interests in parallel processing and/or distributed computing.The Journal of Parallel and Distributed Computing publishes original research papers and timely review articles on the theory, design, evaluation, and use of parallel and/or distributed computing systems. The journal also features special issues on these topics; again covering the full range from the design to the use of our targeted systems.Research Areas Include:• Theory of parallel/distributed computing• Parallel algorithms and their implementation• Innovative computer architectures• Shared-memory multiprocessors• Peer-to-peer systems• Distributed sensor networks• Pervasive computing• Optical computing• Software tools and environments• Languages, compilers, and operating systems• Fault-tolerant computing• Applications and performance analysis• Bioinformatics• Cyber trust and security• Parallel programming• Grid computingBenefits 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 Journal of Scheduling provides a global forum for the publication of all forms of scheduling research. It is the only peer reviewed journal with broad coverage of the techniques and applications of scheduling that spans several distinct disciplines. Readers facing complex scheduling problems can turn to the journal to find the latest advances in the field. Each issue features new and novel techniques, applications, theoretical issues, and innovative approaches to problems. The journal is designed to assist readers in computer science, discrete mathematics, operational research, engineering, management, artificial intelligence, construction, distribution, manufacturing, transportation, aerospace, and retail and service industries.Officially cited as: J Sched
Journal of Scientific Computing is an international interdisciplinary forum for the publication of papers on state-of-the-art developments in scientific computing and its applications in science and engineering.
The journal publishes high-quality, peer-reviewed original papers, review papers and short communications on scientific computing.
Since 1960, IUPAC has made available to chemists everywhere a large amount of important chemical information published in the journal .
The Journal of Supercomputing pubishes papers on the technology, architecture and systems, algorithms, languages and programs, performance measures and methods, and applications of all aspects of Supercomputing. Tutorial and survey papers are intended for workers and students in the fields associated with and employing advanced computer systems. The journal also publishes letters to the editor, especially in areas relating to policy, succinct statements of paradoxes, intuitively puzzling results, partial results and real needs.Published theoretical and practical papers are advanced, in-depth treatments describing new developments and new ideas. Each includes an introduction summarizing prior, directly pertinent work that is useful for the reader to understand, in order to appreciate the advances being described.Â
The Journal of Systems and Software publishes papers covering all aspects of software engineering and related hardware-software-systems issues. All articles should include a validation of the idea presented, e.g. through case studies, experiments, or systematic comparisons with other approaches already in practice. Topics of interest include, but are not limited to:• Methods and tools for, and empirical studies on, software requirements, design, architecture, verification and validation, maintenance and evolution• Agile, model-driven, service-oriented, open source and global software development• Approaches for mobile, multiprocessing, real-time, distributed, cloud-based, dependable and virtualized systems• Human factors and management concerns of software development• Data management and big data issues of software systems• Metrics and evaluation, data mining of software development resources• Business and economic aspects of software development processesThe journal welcomes state-of-the-art surveys and reports of practical experience for all of these topics.Controversy cornerThe goal of the Controversy corner is both to present information and to stimulate thought and discussion. Topics chosen for this coverage are not just traditional formal discussions of research work; they also contain ideas at the fringes of the field's "conventional wisdom".Articles in this category will succeed only to the extent that they stimulate not just thought, but action.