Journals in Mathematical logic and formal languages
Journals in Mathematical logic and formal languages
- ISSN: 0307-904X
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.If you require any further information or help, please visit our Support Center
- ISSN: 0377-0427
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 engineers.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
- ISSN: 0020-0255
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 OptimisationExecutiv... Editors-in-Chief can be reached at the following: Prof. Dr. Tofigh TA Allahviranloo- tofigh.allahviranloo... Sabrina S. Senatore- [email protected]... Zheng Z. Yan- [email protected]...
- ISSN: 0167-9473
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).