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.
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
Computational Statistics & Data Analysis
The Official Journal of the Network Computational and Methodological Statistics (CMStatistics) and the International Association of Statistical Computing (IASC)Computational Statistics and Data Analysis (CSDA), an Official Publication of the network Computational and Methodological Statistics (CMStatistics) and of the International Association for Statistical Computing (IASC), is an international journal dedicated to the dissemination of methodological research and applications in the areas of computational statistics and data analysis. The journal consists of four refereed sections which are divided into the following subject areas:I) Computational Statistics - Manuscripts dealing with:the explicit impact of computers on statistical methodology (e.g., Bayesian computing, bioinformatics, computer graphics, computer intensive inferential methods, data exploration, data mining, expert systems, heuristics, knowledge based systems, machine learning, neural networks, numerical and optimization methods, parallel computing, statistical databases, statistical systems), the development, evaluation and validation of statistical software and algorithms. Software and algorithms can be submitted with manuscripts and will be stored together with the online article.II) Statistical Methodology for Data Analysis - Manuscripts dealing with: novel and original data analytical strategies and methodologies applied in biostatistics (design and analytic methods for clinical trials, epidemiological studies, statistical genetics, or genetic/environmenta... interactions), chemometrics, classification, data exploration, density estimation, design of experiments, environmetrics, education, image analysis, marketing, model free data exploration, pattern recognition, psychometrics, statistical physics, image processing, robust procedures. Statistical methodology includes, but not limited to: bootstrapping, classification techniques, clinical trials, data exploration, density estimation, design of experiments, pattern recognition/image analysis, parametric and nonparametric methods, statistical genetics, Bayesian modeling, outlier detection, robust procedures, cross-validation, functional data, fuzzy statistical analysis, mixture models, model selection and assessment, nonlinear models, partial least squares, latent variable models, structural equation models, supervised learning, signal extraction and filtering, time-series modelling, longitudinal analysis, multilevel analysis and quality control.III) Special Applications - Manuscripts at the interface of statistics and computing (e.g., comparison of statistical methodologies, computer-assisted instruction for statistics, simulation experiments). Advanced statistical analysis with real applications (social sciences, marketing, psychometrics, chemometrics, signal processing, medical statistics, environmentrics, statistical physics).IV) Statistical Data Science - The manuscripts concern with well-founded theoretical and applied data-driven research, with a significant computational or statistical methodological component for data analytics. Emphasis is given to comprehensive and reproducible research, including data-driven methodology, algorithms and software. This journal section serves as a complementary component to the network Computational and Methodological Statistics (CMStatistics).- ISSN: 0167-9473
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
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
Journal of Logical and Algebraic Methods in Programming
The Journal of Logical and Algebraic Methods in Programming is an international journal whose aim is to publish high quality, original research papers, survey and review articles, tutorial expositions, and historical studies in the areas of logical and algebraic methods and techniques for guaranteeing correctness and performability of programs and in general of computing systems. All aspects will be covered, especially theory and foundations, implementation issues, and applications involving novel ideas.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 systemsResearchers interested in acting as a guest editor should review the guest editor/proposal guidelines.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.- ISSN: 2352-2208
Journal of Computational Science
Computational Science is a rapidly growing multi- and interdisciplinary field. It develops mathematical and computational models and uses advanced computing techniques to simulate these models, driven by data. Its overarching goal is to understand and solve complex problems. It has reached a level of predictive and interventional capability that now firmly complements the traditional pillars of experimentation and theory.The recent advances in experimental techniques have opened up new windows into physical and biological processes at many levels of detail. The resulting data explosion allows for detailed data-driven modeling and simulation which is no longer feasible using traditional analytical approaches alone.This new discipline in science combines computational thinking, modern computational methods, devices and collateral technologies to address problems far beyond the scope of traditional numerical methods.Computationa... science typically unifies three distinct elements:• Modeling, Algorithms and Simulations (e.g. numerical and non-numerical, discrete and continuous); • Software developed to solve science (e.g., biological, physical, and social), engineering, medicine, and humanities problems; • Computer and information science that develops and optimizes the advanced system hardware, software, networking, and data management components (e.g. problem solving environments).The Journal of Computational Science aims to be an international platform to exchange novel research results in simulation-based science across all scientific disciplines. It publishes advanced innovative, interdisciplinary research where complex multi-scale, multi-domain problems in science and engineering are solved, integrating sophisticated numerical methods, computation, data, networks, and novel devices.The journal welcomes original, unpublished high quality contributions in the field of computational science at large, addressing one or more of the aforementioned elements.- ISSN: 1877-7503
Telematics and Informatics
An Interdisciplinary Journal on the Social Impacts of New TechnologiesTelemati... and Informatics is an interdisciplinary journal publishing innovative theoretical and methodological research on the social, economic, geographic, political, and cultural impacts of digital technologies. Application areas include smart cities, sensors and information fusion, the digital society and digital platforms, internet of things (IoT), cyber-physical technologies, privacy, knowledge management, distributed work, emergency response and hazards, mobile and wireless communications, health informatics, psychosocial effects of social media, ICT for sustainable development, blockchain, e-commerce, and e-government.The journal favors research papers (8,000 words), but will consider contributions offering systematic review and meta-analysis (10,000 words), as well as research notes (4,000 words) that seek to advance new ideas, theoretical perspectives or methodological approaches.Telematic... and Informatics serves as an international outlet for information scientists, data scientists, computer scientists, social informaticists, geographic information scientists, urban and regional planners, policy analysts, regional scientists, disaster scientists, and network scientists.- ISSN: 0736-5853
Applied Mathematics and Computation
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.- ISSN: 0096-3003
Computer-Aided Design
Computer-Aided Design is a leading international journal that provides academia and industry with key papers on research and developments in computational foundations and methods of design. The term "design" is to be understood broadly to encompass conceptualization, synthesis, realization, and evolution of artifacts, processes, and systems (both natural and artificial).Computer... Design invites papers reporting new research, as well as novel or particularly significant applications, within a wide range of topics, spanning all stages of design from concept creation to manufacture and beyond. Contributions are welcome from all disciplines and application areas, provided that they have a significant geometric, topological, spatial, or configuration design content, and present developments likely to be of interest to a broad spectrum of researchers, educators, and practitioners of computer-aided design. In this context, examples of relevant topics include but are not limited to:Foundational theories, frameworks, methodologies, and standardsMathematica... models, representations, and algorithms for shapes, solids, structures, and assembliesMaterial, behavior, and physical modelingConceptual design and inventionUncertainty and imprecision in computer-aided designMulti-scale modeling and design of shape and material structuresSystem level design and model-based systems engineeringProgramma... subtractive, additive, and hybrid manufacturingGenerat... design, shape, topology, and material optimizationComputat... planning, fabrication, and inspectionDiscretiza... and meshing algorithmsData acquisition, model recognition and reconstructionRepres... conversions and interoperabilityAppl... of AI in design, including neural networks and machine learningDesign ontologies, grammars, languages, and semanticsData driven modeling and synthesisAdvanced support of manufacturing and downstream activitiesTechnologi... in support of digital factory and digital twin conceptsUser interfaces, system interfaces, and human-computer interactionDesign databases, knowledge repositories, object libraries and retrievalSpecific applications and significant benchmarks of computer-aided designTypes of Papers:Research papers: report significant research and development results, describe the relevant theoretical foundations and methodology, and present workable algorithms and give examples taken from real world applications, stressing the significance of the approach being presented.Applicatio... papers: describe complex and pioneering applications of CAD concepts, methods and tools in practice, present significant results that extend the disciplinary knowledge and/or analyze the application in a way that is likely to stimulate and influence further research.Survey papers: critically analyze the current state of knowledge in a given field of CAD, summarize and organize recent research results in a novel way, derive new insights and deepen understanding of those working in the field, and propose possible topics, orientations and approaches for future research and development.Technica... notes: respond to material published in the journal or closely related topics, repair a flaw in the definition and approach or stimulate further thinking, or provide additional technical details on a CAD theory, technology, methodology, product or application.Dataset papers: discuss creation, documentation, and critical assessment of data sets, repositories, and their uses supporting research and practice in all areas of computer-aided design. An algorithmic contribution is not required for a dataset paper, but the dataset itself must be made freely usable and accessible for research purposes. Dataset papers will go through the same rigorous review process and will be evaluated based on their novelty, impact, and presentation. Accessibility, privacy, and ethics are also important issues that will be considered by the reviewers and editors.- ISSN: 0010-4485
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
