Journals in Theory and mathematics
Journals in Theory and mathematics
Our portfolio includes foundational theories, algorithms, formal methods, and computational complexity. Featuring rigorous research, mathematical frameworks, and practical applications, these titles support theorists, mathematicians, and computer scientists in advancing the theoretical underpinnings of computing. Addressing emerging areas like quantum algorithms and formal verification, the collection fuels innovation and scientific discovery.
Computers & Mathematics with Applications
Computers & Mathematics with Applications provides a medium of exchange for those engaged in fields contributing to building successful simulations for science and engineering using Partial Differential Equations (PDEs).The following are the principal areas of interest of the journal: Modeling using PDEs.Analysis of mathematical models, formulated in terms of PDEs.Discretization Methods and Numerical Analysis for PDEs.Numerical linear and nonlinear algebra. Fast numerical algorithms.Algorithm... and Data Structures. Adaptivity. Computational Geometry.Software Design, Code verification and Quality Assurance (QA).Verification and Validation.- ISSN: 0898-1221
Computational Geometry
Theory and ApplicationsComputat... Geometry is a forum for research in theoretical and applied aspects of computational geometry. The journal publishes fundamental research in all areas of the subject, as well as disseminating information on the applications, techniques, and use of computational geometry. Computational Geometry publishes articles on the design and analysis of geometric algorithms. All aspects of computational geometry are covered, including the numerical, graph theoretical, combinatorial and computational topology aspects. Also welcomed are computational geometry solutions to fundamental problems arising in computer graphics, pattern recognition, robotics, image processing, CAD-CAM, VLSI design and geographical information systems.Computationa... Geometry features a special section containing open problems and concise reports on implementations of computational geometry tools.This journal has an Open Archive. All published items, including research articles, have unrestricted access and will remain permanently free to read and download 48 months after publication. All papers in the Archive are subject to Elsevier's user license.- ISSN: 0925-7721
Annals of Pure and Applied Logic
The journal Annals of Pure and Applied Logic publishes high quality papers in all areas of mathematical logic as well as applications of logic in mathematics, in theoretical computer science and in other related disciplines. All submissions to the journal should be mathematically correct, well written (preferably in English)and contain relevant new results that are of significant interest to a substantial number of logicians. The journal also considers submissions that are somewhat too long to be published by other journals while being too short to form a separate memoir provided that they are of particular outstanding quality and broad interest. In addition, Annals of Pure and Applied Logic occasionally publishes special issues of selected papers from well-chosen conferences in pure and applied logic.This journal has an Open Archive. All published items, including research articles, have unrestricted access and will remain permanently free to read and download 48 months after publication. All papers in the Archive are subject to Elsevier's user license.- ISSN: 0168-0072
Swarm and Evolutionary Computation
Introduction: To tackle complex real world problems, scientists have been looking into natural processes and creatures - both as model and metaphor - for years. Optimization is at the heart of many natural processes including Darwinian evolution, social group behavior and foraging strategies. Over the last few decades, there has been remarkable growth in the field of nature-inspired search and optimization algorithms. Currently these techniques are applied to a variety of problems, ranging from scientific research to industry and commerce. The two main families of algorithms that primarily constitute this field today are the evolutionary computing methods and the swarm intelligence algorithms. Although both families of algorithms are generally dedicated towards solving search and optimization problems, they are certainly not equivalent, and each has its own distinguishing features. Reinforcing each other's performance makes powerful hybrid algorithms capable of solving many intractable search and optimization problems.About the journal: Swarm and Evolutionary Computation is the first peer-reviewed publication of its kind that aims at reporting the most recent research and developments in the area of nature-inspired intelligent computation based on the principles of swarm and evolutionary algorithms. It publishes advanced, innovative and interdisciplinary research involving the theoretical, experimental and practical aspects of the two paradigms and their hybridizations. Swarm and Evolutionary Computation is committed to timely publication of very high-quality, peer-reviewed, original articles that advance the state-of-the art of all aspects of evolutionary computation and swarm intelligence. Survey papers reviewing the state-of-the-art of timely topics will also be welcomed as well as novel and interesting applications.Topics of Interest: Topics of interest include but are not limited to: Genetic Algorithms, and Genetic Programming, Evolution Strategies, and Evolutionary Programming, Differential Evolution, Artificial Immune Systems, Particle Swarms, Ant Colony, Bacterial Foraging, Artificial Bees, Fireflies Algorithm, Harmony Search, Artificial Life, Digital Organisms, Estimation of Distribution Algorithms, Stochastic Diffusion Search, Quantum Computing, Nano Computing, Membrane Computing, Human-centric Computing, Hybridization of Algorithms, Memetic Computing, Autonomic Computing, Self-organizing systems, Combinatorial, Discrete, Binary, Constrained, Multi-objective, Multi-modal, Dynamic, and Large-scale Optimization.Applica... Furthermore, the journal fosters industrial uptake by publishing interesting and novel applications in fields and industries dealing with challenging search and optimization problems from domains such as (but not limited to): Aerospace, Systems and Control, Robotics, Power Systems, Communication Engineering, Operations Research and Decision Sciences, Financial Services and Engineering, (Management) Information Systems, Business Intelligence, internet computing, Sensors, Image Processing, Computational Chemistry, Manufacturing, Structural and Mechanical Designs, Bioinformatics, Computational Biology, Mathematical and Computational Psychology, Cognitive Neuroscience, Brain-computer Interfacing, Future Computing Devices, Nonlinear statistical and Applied Physics, and Environmental Modeling and Software.Software publication We invite you to convert your open source software into an additional journal publication in Software Impacts, a multi-disciplinary open access journal. Software Impacts provides a scholarly reference to software that has been used to address a research challenge. The journal disseminates impactful and re-usable scientific software through Original Software Publications which describe the application of the software to research and the published outputs.For more information contact us at: software.impacts@els...- ISSN: 2210-6502
Journal of Computational and Applied Mathematics
The Journal of Computational and Applied Mathematics publishes original papers of high scientific value in all areas of computational and applied mathematics. The main interest of the Journal is in papers that describe and analyze new computational techniques for solving scientific or engineering problems. Also the improved analysis, including the effectiveness and applicability, of existing methods and algorithms is of importance. The computational efficiency (e.g. the convergence, stability, accuracy, ...) should be proved and illustrated by nontrivial numerical examples. Papers describing only variants of existing methods, without adding significant new computational properties are not of interest.The audience consists of: applied mathematicians, numerical analysts, computational scientists and engineersThis journal has an Open Archive. All published items, including research articles, have unrestricted access and will remain permanently free to read and download 48 months after publication. All papers in the Archive are subject to Elsevier's user license.- ISSN: 0377-0427
Applied Mathematical Modelling
Applied Mathematical Modelling focuses on significant and novel scientific developments for mathematical modelling and computational methods and tools for engineering, industrial and environmental systems and processes leading to future innovations and novel technologies.The topics considered are: heat transfer, fluid mechanics, computational fluid dynamics and electromagnetics, and transport phenomena; solid mechanics and mechanics of metals; electromagnets and magnetohydrodynamics... reliability modelling and system optimization; modelling of inventory, industrial, manufacturing and logistics systems with managerial insights; engineering systems and structures; mineral and energy resources; software engineering developments; digital twins; materials; unmanned vehicles; robotics; network traffic control; energy sustainability models; optimization; population dynamics with realistic scenarios; high-performance methods for data-driven engineering applications; numerical procedures; computational intelligence in complex engineering problems.Applied Mathematical Modelling is primarily interested in: Papers developing increased insights into real-world problems through novel analytical or semi-analytical mathematical and computational modelling.Papers with multi- and interdisciplinary topics, including linking with data driven models and applications.Papers on novel applications or a combination with the above.Papers employing existing methods must demonstrate significant novelty in the solution of practical problems. Model validation, verification and reproducibility is a fundamental principle for published papers.Papers based on fuzzy logic in decision-making, financial mathematics, heuristic algorithms, neural networks, data modelling, game-theoretical, fractional differential equations, bifurcation and numerical methods papers are not considered unless they solve practical problems, supported by reasonable empirical evidence. Submissions with no real-world application will not be considered.This journal has an Open Archive. All published items, including research articles, have unrestricted access and will remain permanently free to read and download 48 months after publication. All papers in the Archive are subject to Elsevier's user license.- ISSN: 0307-904X
Information and Computation
Information and Computation welcomes original papers in all areas of theoretical computer science and computational applications of information theory. Survey articles of exceptional quality will also be considered. Particularly welcome are papers contributing new results in active theoretical areas such asBiological computation and computational biologyComputational complexityComputer theorem-provingConcu... and distributed process theoryCryptographic theoryData base theoryDecision problems in logicDesign and analysis of algorithmsDiscrete optimization and mathematical programmingInductive inference and learning theoryLogic & constraint programmingProgram verification & model checkingProbabilisti... & Quantum computationSemantics of programming languagesSymbolic computation, lambda calculus, and rewriting systemsTypes and typecheckingThis journal has an Open Archive. All published items, including research articles, have unrestricted access and will remain permanently free to read and download 48 months after publication. All papers in the Archive are subject to Elsevier's user license.- ISSN: 0890-5401
Mathematics and Computers in Simulation
Transactions of IMACSThe aim of the journal is to provide an international forum for the dissemination of up-to-date information in the fields of the mathematics and computers, in particular (but not exclusively) as they apply to the dynamics of systems, their simulation and scientific computation in general. Published material ranges from short, concise research papers to more general tutorial articles.Mathematics and Computers in Simulation, published monthly, is the official organ of IMACS, the International Association for Mathematics and Computers in Simulation (Formerly AICA). This Association, founded in 1955 and legally incorporated in 1956 is a member of FIACC (the Five International Associations Coordinating Committee), together with IFIP, IFAV, IFORS and IMEKO.Topics covered by the journal include mathematical tools in:•The foundations of systems modelling •Numerical analysis and the development of algorithms for simulationThey also include considerations about computer hardware for simulation and about special software and compilers. The journal also publishes articles concerned with specific applications of modelling and simulation in science and engineering, with relevant applied mathematics, the general philosophy of systems simulation, and their impact on disciplinary and interdisciplinary research.The journal includes a Book Review section -- and a "News on IMACS" section that contains a Calendar of future Conferences/Events and other information about the Association.- ISSN: 0378-4754
Discrete Mathematics
Discrete Mathematics provides a common forum for significant research in many areas of discrete mathematics and combinatorics.The research areas covered by Discrete Mathematics include graph and hypergraph theory, enumeration, coding theory, block designs, the combinatorics of partially ordered sets, extremal set theory, matroid theory, algebraic combinatorics, discrete geometry, matrices, discrete probability, and parts of cryptography.Discret... Mathematics generally does not include research on dynamical systems, differential equations, or discrete Laplacian operators within its scope. It also does not publish articles that are principally focused on linear algebra, abstract algebraic structures, or fuzzy sets unless they are highly related to one of the main areas of interest. Also, papers focused primarily on applied problems or experimental results fall outside our scope.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. Such issues are fully refereed and adhere to the normal high standards of the journal.This journal has an Open Archive. All published items, including research articles, have unrestricted access and will remain permanently free to read and download 48 months after publication. All papers in the Archive are subject to Elsevier's user license.- ISSN: 0012-365X
Information Sciences
Informatics and Computer Science Intelligent Systems Applications An International JournalInformation Sciences will publish original, innovative and creative research results. A smaller number of timely tutorial and surveying contributions will be published from time to time.The journal is designed to serve researchers, developers, managers, strategic planners, graduate students and others interested in state-of-the art research activities in information, knowledge engineering and intelligent systems. Readers are assumed to have a common interest in information science, but with diverse backgrounds in fields such as engineering, mathematics, statistics, physics, computer science, cell biology, molecular biology, management science, cognitive science, neurobiology, behavioural sciences and biochemistry.The journal publishes high-quality, refereed articles. It emphasizes a balanced coverage of both theory and practice. It fully acknowledges and vividly promotes a breadth of the discipline of Informations Sciences.Topics include:Foundations of Information Science: Information Theory, Mathematical Linguistics, Automata Theory, Cognitive Science, Theories of Qualitative Behaviour, Artificial Intelligence, Computational Intelligence, Soft Computing, Semiotics, Computational Biology and Bio-informatics.Impl... and Information Technology: Intelligent Systems, Genetic Algorithms and Modelling, Fuzzy Logic and Approximate Reasoning, Artificial Neural Networks, Expert and Decision Support Systems, Learning and Evolutionary Computing, Expert and Decision Support Systems, Learning and Evolutionary Computing, Biometrics, Moleculoid Nanocomputing, Self-adaptation and Self-organisational Systems, Data Engineering, Data Fusion, Information and Knowledge, Adaptive ad Supervisory Control, Discrete Event Systems, Symbolic / Numeric and Statistical Techniques, Perceptions and Pattern Recognition, Design of Algorithms, Software Design, Computer Systems and Architecture Evaluations and Tools, Human-Computer Interface, Computer Communication Networks and Modelling and Computing with WordsApplications: Manufacturing, Automation and Mobile Robots, Virtual Reality, Image Processing and Computer Vision Systems, Photonics Networks, Genomics and Bioinformatics, Brain Mapping, Language and Search Engine Design, User-friendly Man Machine Interface, Data Compression and Text Abstraction and Summarization, Virtual Reality, Finance and Economics Modelling and OptimisationEditors-... can be reached at the following:Professor Sabrina S. Senatore- [email protected]... Zheng Z. Yan- [email protected]...- ISSN: 0020-0255
