Journal Guide

In a world moving rapidly online, and becoming more and more computer-dependent, the Journal of Internet Services and Applications (JISA) focuses on networking, communication, content distribution, security, scalability, and management. Coverage includes security and privacy: middleware: mobile, ubiquitous, pervasive, and context-aware computing: and applications. Topics include: Networking protocols and architectures: web protocols, standards, and development: security and privacy: middleware: mobile, ubiquitous, pervasive, and context-aware computing and applications.

Journal of Internet and Digital Economics (JIDE) publishes peer-reviewed research articles on internet economics, digital economics, and e-commerce in association with China Center for Internet Economy Research at Central University of Finance and Economics.

The Journal of King Saud University Computer and Information Sciences is a refereed, international journal that covers all aspects of both foundations of computer and its practical applications. The journal publishes original papers in the areas of, but not limited to, computer networks, security, database, software systems and developments, rapid prototyping, software reuse, computer graphics, artificial intelligence, pattern recognition, signal processing, robotics, distributed systems and the Internet and web technologies. Special emphasis is given to recent trends related to the cutting-edge research within the domain.The journal publishes also Special Issues within its scope resulting from specific and dedicated editorial efforts or covering a particular theme.All articles are subjected to extensive review by international reviewers.

The aim of this interdisciplinary and international journal is to provide a forum for the exchange of original ideas, techniques, designs and experiences in the rapidly growing field of location based services on networked mobile devices. TheJournal of Location Based Services is intended to interest those who design, implement and deliver location based services in a wide range of contexts. Published research will span the field from location based computing and next-generation interfaces through telecom location architectures to business models and the social implications of this technology. The diversity of content echoes the extended nature of the chain of players required to make location based services a reality. Hence the journal's aim is to bridge the research undertaken in industry and academia and promote communication amongst all in this diverse and rapidly growing sector.All published research articles in the Journal of Location Based Services 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 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.

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.