Journal Guide

This is the official publication of the European Association for Logic, Language, and Information.

The scope of the journal is the logical and computational foundations of natural, formal, and programming languages, as well as the different forms of human and mechanized inference. It covers the logical, linguistic, and information-theoretic parts of the cognitive sciences.

Examples of main subareas are Intensional Logics including Dynamic Logic: Nonmonotonic Logic and Belief Revision: Constructive Logics: Complexity Issues in Logic and Linguistics: Theoretical Problems of Logic Programming and Resolution: Categorial Grammar and Type Theory: Generalized Quantification: Information-Oriented Theories of Semantic Structure like Situation Semantics, Discourse Representation Theory, and Dynamic Semantics: Connectionist Models of Logical and Linguistic Structures. The emphasis is on the theoretical aspects of these areas.

The purpose of the journal is to act as a forum for researchers interested in the theoretical foundations of the above subjects and their interdisciplinary connections, with an emphasis on general ideas increasing coherence.

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 Journal of Logical and Algebraic Methods in Programming complements Elsevier's Science of Computer Programming and Theoretical Computer Science by its focus on the foundations and the application of logical, algebraic and categorical methods to programming and to the development of trustworthy computing systems.

If you have not visited this site since January 1, 2006.

The Journal of Management Information Systems is a widely recognized and top-ranked forum for the presentation of research that advances the practice and understanding of organizational information systems. It serves those investigating new modes of information delivery and the changing landscape of information policy making, as well as practitioners and executives managing the information resource. A vital aim of the quarterly is to bridge the gap between theory and practice of management information systems.

The Journal of Manufacturing Science and Engineering serves as a vehicle for the rapid dissemination of original theoretical and applied research results of permanent interest in all branches of manufacturing. The majority of the papers published are peer-reviewed full-length articles of considerable depth. The Journal also publishes technical briefs, design innovation papers, reviews, discussions of published papers with rebuttal, book reviews, and editorials.

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 Materials Processing Technology covers the processing techniques used in manufacturing components from metals and other materials. The journal aims to publish full research papers of original, significant and rigorous work and so to contribute to increased production efficiency and improved component performance.Areas of interest to the journal include:• Casting, forming and machining• Additive processing and joining technologies• The evolution of material properties under the specific conditions met in manufacturing processes• Surface engineering when it relates specifically to a manufacturing process• Design and behavior of equipment and toolsThe core interest of the journal is the processing of metals, but we also cover other materials, where the article is focused on the influence of the process on the materials, and where there are not other more appropriate dedicated journals. For example ductile forming of polymers if of interest, but the influence of polymer composition on properties is well covered in dedicated polymer journals.A typical article will examine the influence of process design, tool design, or process operating conditions on the properties of the material or the future performance of the equipment. Most articles combine appropriate quantitative analysis with well designed experiments. The sciences of materials, tribology and thermodynamics are well covered in other dedicated journals, so these topics are of interest to this journal only when applied specifically to give insight into the processing techniques used in manufacturing components. For example, processes for engineering surfaces are of interest, but the analysis of friction is well covered by specialised journals of wear or tribology.The journal's Editorial Policy defines our basis for considering submissions. Typical published articles will contribute significant new transferable knowledge in the form of (a) an innovation or (b) a new insight into material processing in the form of a transferable qualitative or quantitative explanation of a difference between experimental measurements and the predictions of existing theory. 'Transferable' knowledge applies to materials or processing conditions broader than those tested within the article.The Journal of Materials Processing Technology generally does not accept papers in the following areas:• Simulation with no experimental verification and/or which gives no new insight into the process• Experimental reports which do not provide a convincing analytical or physical explanation of observed behaviour• Topics that properly belong to the materials science literature. Examples include the synthesis of materials, chemical experiments and studies of material composition.• The analysis of material properties, surfaces or product performance without reference to the processing which caused them.• Statistical methods or techniques from Artificial Intelligence which treat the process as a black box.• The operation of equipment, without reference to materials (such as tool path design in CNC machining), or the management of factory systems.As stated in the journal's editorial policy, the Journal of Materials Processing Technology does not accept multiple-part papers, short communications or case studies.Papers submitted to the journal will only be considered if they have been prepared according to the journal's Guide for Authors.

Current developments in new image processing hardware, the advent of multisensor data fusion, and rapid advances in vision research have led to an explosive growth in the interdisciplinary field of imaging science. Emphasizing the role of mathematics as a rigorous basis for imaging science, this journal details innovative or established mathematical techniques applied to vision and imaging problems in a novel way. It also reports on new developments and problems in mathematics arising from these applications. The scope of Journal of Mathematical Imaging and Vision includes: - computational models of vision; imaging algebra and mathematical morphology - mathematical methods in reconstruction, compactification, and coding - filter theory - probabilistic, statistical, geometric, topological, and fractal techniques and models in imaging science - inverse optics - wave theory. This journal contains research articles, invited papers, and expository articles.

Journal of Mathematics and the Arts is a peer reviewed journal that focuses on connections between mathematics and the arts. It publishes articles of interest for readers who are engaged in using mathematics in the creation of works of art, who seek to understand art arising from mathematical or scientific endeavors, or who strive to explore the mathematical implications of artistic works. The term 8221;art8221; is intended to include, but not be limited to, two and three dimensional visual art, architecture, drama (stage, screen, or television), prose, poetry, and music. The Journal welcomes mathematics and arts contributions where technology or electronic media serve as a primary means of expression or are integral in the analysis or synthesis of artistic works. The following list, while not exhaustive, indicates a range of topics that fall within the scope of the Journal:8226; Artists' descriptions providing mathematical context, analysis, or insight about their work;8226; The exposition of mathematics intended for interdisciplinary mathematics and arts educators and classroom use;8226; Mathematical techniques and methodologies of interest to practice-based artists;8226; Critical analysis or insight concerning mathematics and art in historical and cultural settings.The Journal also features exhibition reviews, book reviews, and correspondence relevant to mathematics and the arts.Listen to an interview with the Journal's Editor Gary Greenfield. All published research articles in this journal have undergone rigorous peer review, based on initial editor screening and anonymous refereeing by independent expert referees.DisclaimerTaylor & Francis makes every effort to ensure the accuracy of all the information (the 8220;Content8221;) 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.

The Journal of Mechanical Design communicates original contributions of permanent interest on all aspects of the design of mechanical systems, primarily in the form of articles of considerable depth. The Journal also publishes technical briefs, design innovation papers, discussions of published papers with rebuttal, book reviews, and editorials.

The Journal of Medical Systems provides a forum for the presentation and discussion of the increasingly extensive applications of new systems techniques and methods in hospital, clinic, and physician's office administration; pathology, radiology, and pharmaceutical delivery systems; medical records storage and retrieval; and ancillary patient-support systems. The journal publishes informative articles, essays, and studies across the entire spectrum of medical systems, from large hospital programs to novel small-scale medical services. Education is an integral part of this amalgamation of sciences, and selected articles are published in this area. Since existing medical systems are constantly being modified to fit particular circumstances and to solve specific problems, the journal includes a special section devoted to status reports on current installations.

Articles in the Journal of Memory and Language contribute to the formulation of scientific issues and theories in the areas of memory, language comprehension and production, and cognitive processes. Special emphasis is given to research articles that provide new theoretical insights based on a carefully laid empirical foundation. In addition, significant theoretical papers without new experimental findings may be published.The Journal of Memory and Language is a valuable tool for cognitive scientists, including psychologists, linguists, and others interested in memory and learning, language, reading, and speech.Research Areas include:• Topics that illuminate aspects of memory or language processing• Artificial intelligence• Linguistics• NeuropsychologyBenefits 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 Modern Transportation (JMT) is a peer-reviewed open access journal published under the SpringerOpen brand. It provides a platform for scholars to publish their works in the general area of transportation, concerned with analysis, planning, design, operations, technologies, and economics of modern transportation and traffic systems with focus on high-speed railway technological and theoretical achievements across the world, especially in China. Specific topics cover • rail transit systems
• rolling stock design theory and structural reliability
• vehicle-track coupling system dynamics, simulation and control
• wheel-rail contact mechanics and wear
• new detecting and experimental technologies of high-speed railway system
• traction power supply, transmission and control
• rail transit electrification and automation technologies
• high-speed railway route selection
• superconductivity and levitation technology
• magnetic suspension and evacuated tube transport
• transportation infrastructure systems
• roads, bridges, tunnels, and underground engineering
• subgrade and pavement maintenance and performance
• light rail transit and metro technologies
• urban transit systems
• traffic information engineering & control
• intelligent transportation system (ITS) and information technology
• environmental impacts of transportation
• pedestrian studies
• traffic flow theory
• traffic planning, control and management
• traffic and transport safety
• traffic polices and economics
• air transportation
• interdisciplinary transportation research
• other topics of interest JMT mainly publishes original articles, invited reviews, case reports, short communications, and scientific letters within the journal’s scope. Case studies are published only if they contain some original theoretical, content. Papers submitted for publication in JMT should not have been published in their present or any essentially similar form.

The Journal of Molecular Graphics and Modelling is devoted to the publication of papers on the uses of computers in theoretical investigations of molecular structure, function, interaction, and design. The scope of the journal includes all aspects of molecular modeling and computational chemistry, including, for instance, the study of molecular shape and properties, molecular simulations, protein and polymer engineering, drug design, materials design, structure-activity and structure-property relationships, database mining, and compound library design.As a primary research journal, JMGM seeks to bring new knowledge to the attention of our readers. As such, submissions to the journal need to not only report results, but must draw conclusions and explore implications of the work presented. Authors are strongly encouraged to bear this in mind when preparing manuscripts. Routine applications of standard modelling approaches, providing only very limited new scientific insight, will not meet our criteria for publication. Reproducibility of reported calculations is an important issue. Wherever possible, we urge authors to enhance their papers with Supplementary Data, for example, in QSAR studies machine-readable versions of molecular datasets or in the development of new force-field parameters versions of the topology and force field parameter files.JMGM is published in association with two of the largest and most active professional societies in the field: the Molecular Graphics and Modelling Society (MGMS) and the Computers in Chemistry (COMP) Division of the American Chemical Society. Several thousand computational chemists worldwide belong to these two societies and any research topic that may of interest to the membership is within the wide scope of the journal. It is not necessary to be a member of these professional societies to publish in the journal.Published in association with the Molecular Graphics and Modelling Society www.mgms.org and the ACS Division of Computers in Chemistry.