Journals in Theory and mathematics

11-19 of 19 results in All results

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 OptimisationEditor-in-Chief Witold Pedrycz can be reached at [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 Computational Science

ISSN: 1877-7503
5 Year impact factor: 3.4
Impact factor: 3.1

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

Journal of Computational and Applied Mathematics

ISSN: 0377-0427
5 Year impact factor: 2.1
Impact factor: 2.1

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

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

Journal of Logical and Algebraic Methods in Programming

ISSN: 2352-2208
5 Year impact factor: 0.7
Impact factor: 0.7

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.

Mathematics and Computers in Simulation

ISSN: 0378-4754
5 Year impact factor: 3.6
Impact factor: 4.4

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.

Telematics and Informatics

ISSN: 0736-5853
5 Year impact factor: 8.2
Impact factor: 7.6

An Interdisciplinary Journal on the Social Impacts of New TechnologiesTelematics 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.Telematics 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.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

Theoretical Computer Science

ISSN: 0304-3975
5 Year impact factor: 0.9
Impact factor: 0.9

Theoretical Computer Science is mathematical and abstract in spirit, but it derives its motivation from practical and everyday computation. Its aim is to understand the nature of computation and, as a consequence of this understanding, provide more efficient methodologies. All papers introducing or studying mathematical, logic and formal concepts and methods are welcome, provided that their motivation is clearly drawn from the field of computing.Any queries about submissions and peer review should be addressed to the TCS editorial office: [email protected] published in Theoretical Computer Science are grouped in three sections according to their nature. The first section `Algorithms, automata, complexity and games' is devoted to the study of algorithms and their complexity using analytical, combinatorial or probabilistic methods. It includes the whole field of abstract complexity (i.e. all the results about the hierarchies that can be defined using Turing machines), the whole field of automata and language theory (including automata on infinite words and infinitary languages), the whole field of geometrical (graphic) applications and the whole field of measurement of system performance using statistical methods.The second section,`Logic, semantics and theory of programming', is devoted to formal methods to check properties of programs or implement formally described languages; it contains all papers dealing with semantics of sequential and parallel programming languages. All formal methods treating these problems are published in this section, including rewriting techniques, abstract data types, automatic theorem proving, calculi such as SCP or CCS, Petri nets, new logic calculi and developments in categorical methods.The third section, 'Natural Computing', is devoted to the study of computing occurring in nature and computing inspired by nature. In the rapidly evolving field of computer science, natural computing plays an important role as the catalyst for the synergy of human designed computing with the computing going on in nature. This synergy leads to a deeper and broader understanding of the nature of computation. Although natural computing is concerned also with experiments and applications, this section of Theoretical Computer Science is focused on the theoretical aspects of natural computing with clear relevance to computing. Among others, it will contain papers dealing with the theoretical issues in evolutionary computing, neural networks, molecular computing, and quantum computing.Theoretical Computer Science will now publish high-quality advanced introductions. Advanced introductions, which are by invitation only, should cover a focused topic within the scope of TCS at a level that would be appropriate for a scientist who is new to the topic and wishes to gain an up-to-date understanding. Articles should be self-contained, including motivation and basic definitions, and proceed to advanced material and/or open problems which may - but need not - include new results. Sufficient references should be given to provide the reader with entry points to the research literature on the topic as well as the origins of the main ideas. Submissions will go through the standard review process of TCS.

Related subjects

Analysis of algorithms and problem complexity

Computation by abstract devices

Logics and meanings of programs

Mathematical logic and formal languages

Theory and mathematics general

Life sciences

Physical sciences & Engineering

Social sciences & Humanities

Health