Journals in Mathematical logic and formal languages

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.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

Computational Statistics & Data Analysis

ISSN: 0167-9473

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).

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.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]...

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

Life Sciences

Physical Sciences & Engineering

Social Sciences & Humanities

Health

Journals in Mathematical logic and formal languages

Applied Mathematical Modelling

Computational Statistics & Data Analysis

Information Sciences

Mathematics and Computers in Simulation