Journals in Theory and mathematics general

Annals of Pure and Applied Logic

ISSN: 0168-0072
5 Year impact factor: 0.6
Impact factor: 0.6

Scope of the Journal 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.Benefits to authors We 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.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.If you require any further information or help, please visit our Support Center

Applied Mathematics and Computation

ISSN: 0096-3003
5 Year impact factor: 3.1
Impact factor: 3.5

Applied Mathematics and Computation addresses work at the interface between applied mathematics, numerical computation, and applications of systems – oriented ideas to the physical, biological, social, and behavioral sciences, and emphasizes papers of a computational nature focusing on new algorithms, their analysis and numerical results.In addition to presenting research papers, Applied Mathematics and Computation publishes review articles and single–topics issues.Please also visit the Electronic Service of Applied Mathematics and Computation at https://www.elsevier.com/locate/amc.Benefits to authors We 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 Center

Array

ISSN: 2590-0056
Impact factor: 2.3

Opening Up Computer ScienceArray is an international open access multidisciplinary journal encompassing a broad spectrum of topics in computer science, includingArtificial Intelligence, Machine Learning and RoboticsComputer Systems and ArchitectureComputer Vision, Speech and Pattern RecognitionControl & Signal ProcessingCyber SecurityData, Knowledge and Intelligent SystemsIndustrial EngineeringInterdisciplinary ApplicationsMedical Informatics and Biomedical EngineeringMicroelectronics and HardwareMultimedia and HCINetworks and CommunicationsOperational Research and Decision SystemsScientific ComputingSoftware EngineeringTheoretical Computer ScienceSubmissions must be novel, technically sound, and clearly presented. Array accepts both technical notes (technical notes are limited to a maximum of 10 pages in the standard Elsevier format) and regular papers. In addition to research papers presenting new results, review articles as well as discussion and opinion papers are also welcome.Papers meeting journal criteria will undergo a single-blind review process, utilizing a minimum of two (2) external referees. Our dedicated expert editorial team, together with an editorial board of hundreds of active researchers from all areas of computer science, ensure that papers move through to publication as fast as possible without compromising on the quality of the process.The journal audience comprises academia, industry, and practitioners. Authors are strongly encouraged to make their datasets publicly accessible via a repository of their choosing.Software publicationWe 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: [email protected]

Computers & Mathematics with Applications

ISSN: 0898-1221
5 Year impact factor: 2.6
Impact factor: 2.9

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.Algorithms and Data Structures. Adaptivity. Computational Geometry.Software Design, Code verification and Quality Assurance (QA).Verification and Validation.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.If you have questions about submissions, scope, or content, please contact our Support Center

Heliyon

ISSN: 2405-8440
5 Year impact factor: 3.9
Impact factor: 3.4

Heliyon considers research from all areas of the physical, applied, life, social and medical sciences. We publish manuscripts reporting scientifically accurate and valuable research, which adheres to accepted ethical and scientific publishing standards. As such Heliyon publishes new insights as well as extensions on existing theories, negative/null results and replication studies.Submissions covering arts, humanities and law are not considered in Heliyon. Authors of these submissions are encouraged to submit directly to our partner journal Social Sciences & Humanities Open.Heliyon classifies manuscripts/articles into different sections based on the research topic discussed. Some sections exclude certain types of studies from their scope. To know more and to see the kind of manuscripts the various sections publish, please visit: https://www.cell.com/heliyon/sectionsA dedicated in-house editorial office team, internal editors as well as external academic section and associate editors handle your manuscript and manage the publication process, giving your research the editorial support and quality control it deserves.If it's important to you, it's important to us. Submit your paper today.

High-Confidence Computing

ISSN: 2667-2952
5 Year impact factor: 3.2
Impact factor: 3.2

An official Journal of the Shandong UniversityThe High-Confidence Computing Journal is dedicated to publish articles covering fundamental research outcomes that fusion the three domains of secure computing, precise computing, and intelligent computing, as well as complex system designs that jointly consider the properties of secure and trusted hardware/software, precise and process-traceable algorithms, and self-evolving systems that can adapt to new environments and support new applications.The journal intends to provide a unique interdisciplinary platform for researchers and practitioners who are interested in the basic research of high-confidence computing and the complex system developments considering high-confidence properties to demonstrate their novel and creative designs. Other than the original research papers on all aspects of high-confidence computing from theory and applications, the journal also publishes review articles with inspiring open research discussions that can motivate new ideas of realizing high-confidence computing.The journal accepts original research and review articles that address the challenges in all aspects of high-confidence computing, from theory to systems. Its contents are centered in the following three tracks: high-confidence computing theory and algorithms, architectures and platforms, software and systems.The Journal considers Original Article, Review, Case Report and Commentary.Specific topics include but are not limited to: • Expandable and accountable computing architectures • SDN-enabled and blockchain-enhanced computing architectures • NFV for dynamic function expansion and adaptation • Access control to secure open computing environments • TEE-enabled trusted data collection and hardware control • Cryptographic high-confidence primitives and applications • High-confidence system security and privacy • Malicious, damaged and white-noise data cleaning and extraction • Spatial-temporal big data fusion for intelligent decision making • Migration learning and digital-twin technologies • Cascading failure detection and recovery • Cascading vulnerability detection and positioning • Active defence technologies • Blockchain technologies and applications • High-confidence IoT • Machine learning security

Information Processing Letters

ISSN: 0020-0190
5 Year impact factor: 0.7
Impact factor: 0.7

Devoted to the Rapid Publication of Short Contributions to Information ProcessingInformation Processing Letters invites submission of original research articles that focus on fundamental aspects of information processing and computing. This naturally includes work in the broadly understood field of theoretical computer science; although papers in all areas of scientific inquiry will be given consideration, provided that they describe research contributions credibly motivated by applications to computing and involve rigorous methodology. High quality experimental papers that address topics of sufficiently broad interest may also be considered.Since its inception in 1971, Information Processing Letters has served as a forum for timely dissemination of short, concise and focused research contributions. Continuing with this tradition, and to expedite the reviewing process, manuscripts are generally limited in length to nine pages when they appear in print.More detailed information about the topics of interest and submission format can be found in the Guide for Authors.Benefits to authors We 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 Center

Information Sciences

ISSN: 0020-0255

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.Implementations 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 OptimisationExecutive Editors-in-Chief can be reached at the following: Prof. Dr. Tofigh TA Allahviranloo- [email protected]. Dr. Radu-Emil R.-E. Precup- [email protected] Sabrina S. Senatore- [email protected] Zheng Z. Yan- [email protected]

Information and Computation

ISSN: 0890-5401
5 Year impact factor: 0.9
Impact factor: 0.8

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-provingConcurrency 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 checkingProbabilistic & Quantum computationSemantics of programming languagesSymbolic computation, lambda calculus, and rewriting systemsTypes and typecheckingBenefits to authors We 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 Center

Journal of Computer and System Sciences

ISSN: 0022-0000
5 Year impact factor: 1
Impact factor: 1.1

The Journal of Computer and System Sciences publishes original research papers in computer science and related subjects in system science, with attention to the relevant mathematical theory. Applications-oriented papers may also be accepted and they are expected to contain deep analytic evaluation of the proposed solutions.Research areas include traditional subjects such as:• Theory of algorithms and computability • Formal languages • Automata theoryContemporary subjects such as:• Complexity theory • Algorithmic Complexity • Parallel & distributed computing • Computer networks • Neural networks • Computational learning theory • Database theory & practice • Computer modeling of complex systems • Security and PrivacyBenefits to authors We 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 Center

Life Sciences

Physical Sciences & Engineering

Social Sciences & Humanities

Health