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

Subscriptions

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

Subscriptions

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

Subscriptions

Electronic Notes in Theoretical Computer Science

ISSN: 1571-0661

Electronic Notes in Theoretical Computer Science has been discontinued as of 2021. We would like to express our sincere thanks to the authors, referees, and editors who contributed to the series. Published papers will remain available on ScienceDirect. We encourage conferences to now submit proposals to https://www.journals.elsevier.com/procedia-computer-scienceProcedia Computer Science.ENTCS is a venue for the rapid electronic publication of the proceedings of conferences, of lecture notes, monographs and other similar material for which quick publication and the availability on the electronic media is appropriate. Organizers of conferences whose proceedings appear in ENTCS, and authors of other material appearing as a volume in the series are allowed to make hard copies of the relevant volume for limited distribution. For example, conference proceedings may be distributed to participants at the meeting, and lecture notes can be distributed to those taking a course based on the material in the volume.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 https://www.elsevier.com/authors/author-servicesauthor services.Please see our https://www.elsevier.com/journals/electronic-notes-in-theoretical-computer-science/1571-0661/guide-for-authorsGuide for Authors for information on article submission. If you require any further information or help, please visit our https://service.elsevier.com/app/home/supporthub/publishing/Support Center

Subscriptions

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

Subscriptions

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

Subscriptions

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]

Subscriptions

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

Subscriptions

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

Subscriptions

Journal of Innovation in Digital Ecosystems

ISSN: 2352-6645

The journal is transferring now to a new publisher. Submissions will be interrupted momentarily. Should you have any queries please contact the Associate Editors on: [email protected] & [email protected] & ScopeThe Knowledge based economy is a new concept that encourages developing innovative alternatives for the technological information systems. The Journal of Innovation in Digital EcoSystems focus in particularly to the new contributions in the context of innovation in Digital EcoSystems covering systems modernization; case studies; Digital EcoSystems management; improvement, reliability, security and the sustainability of information systems. Experimental and survey articles are appropriate for the journal. The journal is intended for academics, practitioners, scientists and engineers who are involved in technological innovation, Digital EcoSystems Management and applications. All papers will be peer reviewed.Topic of interests: JIDES focuses and not limited to the following main topics: •Digital Ecosystems •Cloud computing •Security & Privacy •Web Services •Business Informatics •Networking •Data Mining •Big Data •Computational Intelligence •E-Services ( E-commerce, E-business, E-governance, E-negociations, etc…) •Innovative Applications and Demos

Subscriptions

Life Sciences

Physical Sciences & Engineering

Social Sciences & Humanities

Health

Journals in Theory and mathematics general

Annals of Pure and Applied Logic

Applied Mathematics and Computation

Computers & Mathematics with Applications

Electronic Notes in Theoretical Computer Science

High-Confidence Computing

Information Processing Letters

Information Sciences

Information and Computation

Journal of Computer and System Sciences

Journal of Innovation in Digital Ecosystems