Skip to main content
Elsevier

Journals in Mathematical logic and formal languages

  • Journal of Computational and Applied Mathematics

    • ISSN: 0377-0427
    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 engineers.
    Subscriptions

  • Applied Mathematical Modelling

    • ISSN: 0307-904X
    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.
    Subscriptions

  • Mathematics and Computers in Simulation

    • ISSN: 0378-4754
    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.
    Subscriptions