Explore & Discover Scientific Journals

Annals of Mathematics and Artificial Intelligence presents a range of topics of concern to scholars applying quantitative, combinatorial, logical, algebraic and algorithmic methods to diverse areas of Artificial Intelligence, from decision support, automated deduction, and reasoning, to knowledge-based systems, machine learning, computer vision, robotics and planning. The journal features collections of papers appearing either in volumes (400 pages) or in separate issues (100-300 pages), which focus on one topic and have one or more guest editors. Annals of Mathematics and Artificial Intelligence hopes to influence the spawning of new areas of applied mathematics and strengthen the scientific underpinnings of Artificial Intelligence.

The International Journal of Applied Mathematics and Computer Science is a quarterly published in Poland since 1991 by the University of Zielona Góra in partnership with De Gruyter Poland (Sciendo) and Lubuskie Scientific Society, under the auspices of the Committee on Automatic Control and Robotics of the Polish Academy of Sciences. The journal strives to meet the demand for the presentation of interdisciplinary research in various fields related to control theory, applied mathematics, scientific computing and computer science. In particular, it publishes high quality original research results in the following areas: -modern control theory and practice- artificial intelligence methods and their applications- applied mathematics and mathematical optimisation techniques- mathematical methods in engineering, computer science, and biology.

The Journal of The Textile Institute welcomes papers concerning research and innovation, reflecting the professional interests of the Textile Institute in science, engineering, economics, management and design related to the textile industry and the use of fibres in consumer and engineering applications. Papers may encompass anything in the range of textile activities, from fibre production through textile processes and machines, to the design, marketing and use of products. Papers may also report fundamental theoretical or experimental investigations, including materials science topics in nanotechnology and smart materials, practical or commercial industrial studies and may relate to technical, economic, aesthetic, social or historical aspects of textiles and the textile industry. All published research articles in The Journal of The Textile Institute have undergone rigorous peer review, based on initial editor screening and anonymized refereeing by two expert referees.

Powder Metallurgy is an international journal publishing peer-reviewed original research on the science and practice of powder metallurgy and particulate technology. Coverage includes metallic particulate materials, PM tool materials, hard materials, composites, and novel powder based materials.

The Journal of the American Helicopter Society is a peer-reviewed technical journal published quarterly (January, April, July and October) by AHS — The Vertical Flight Society. It is the world's only scientific journal dedicated to vertical flight technology and is available in print and online. The Journal publishes original technical papers dealing with theory and practice of vertical flight. The Journal seeks to foster the exchange of significant new ideas and information about helicopters and V/STOL aircraft. The scope of the Journal covers the full range of research, analysis, design, manufacturing, test, operations, and support. A constantly growing list of specialty areas is included within that scope. These range from the classical specialties like aerodynamic, dynamics and structures to more recent priorities such as acoustics, materials and signature reduction and to operational issues such as design criteria, safety and reliability. (Note: semi- and nontechnical articles of more general interest reporting current events or experiences should be sent to the VFS magazine

Maderas-Cienc Tecnol publishes inedits and original research articles in Spanish and English. The contributions for their publication should be unpublished and the journal is reserved all the rights of reproduction of the content of the same ones. All the articles are subjected to evaluation to the Publishing Committee or external consultants. At least two reviewers under double blind system. Previous acceptance of the Publishing Committee, summaries of thesis of Magíster and Doctorate are also published, technical opinions, revision of books and reports of congresses, related with the Science and the Technology of the Wood. The journal have not articles processing and submission charges.

Optimization Methods and Software publishes refereed papers on the latest developments in the theory and realization of optimization methods, with particular emphasis on the interface between software development and algorithm design. Topics include: Theory, implementation and performance evaluation of algorithms and computer codes for linear, nonlinear, discrete, stochastic optimization and optimal control. This includes in particular conic, semi-definite, mixed integer, network, non-smooth, multi-objective and global optimization by deterministic or nondeterministic algorithms. Algorithms and software for complementarity, variational inequalities and equilibrium problems, and also for solving inverse problems, systems of nonlinear equations and the numerical study of parameter dependent operators. Various aspects of efficient and user-friendly implementations: e.g. automatic differentiation, massively parallel optimization, distributed computing, on-line algorithms, error sensitivity and validity analysis, problem scaling, stopping criteria and symbolic numeric interfaces. Theoretical studies with clear potential for applications and successful applications of specially adapted optimization methods and software to fields like engineering, machine learning, data mining, economics, finance, biology, or medicine. These submissions should not consist solely of the straightforward use of standard optimization techniques.

The ACM Transactions on Modeling and Computer Simulation (TOMACS) provides a single archival source for the publication of high-quality research and developmental results referring to all phases of the modeling and simulation life cycle. The subjects of emphasis are discrete event simulation, combined discrete and continuous simulation, as well as Monte Carlo methods. The use of simulation techniques is pervasive, extending to virtually all the sciences. TOMACS serves to enhance the understanding, improve the practice, and increase the utilization of computer simulation. Submissions should contribute to the realization of these objectives, and papers treating applications should stress their contributions vis-á-vis these objectives.

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 as -Biological computation and computational biology- Computational complexity- Computer theorem-proving- Concurrency and distributed process theory- Cryptographic theory- Data base theory- Decision problems in logic- Design and analysis of algorithms- Discrete optimization and mathematical programming- Inductive inference and learning theory- Logic & constraint programming- Program verification & model checking- Probabilistic & Quantum computation- Semantics of programming languages- Symbolic computation, lambda calculus, and rewriting systems- Types and typechecking

The aim of the Journal is to promote interdisciplinary research in mathematics, physics, engineering and life sciences centered around the issues of broadly understood information processing, storage and transmission, in both quantum and classical settings. Our special interest lies in the information-theoretic approach to phenomena dealing with dynamics and thermodynamics, control, communication, filtering, memory and cooperative behaviour, etc., in open complex systems.

An International Journal of Mechatronics, Sensors, Monitoring, Control, Diagnosis, and Management airns at providing a major publication channel for researchers in the general area of smart structures and systems. Typical subjects considered by the journal include: Sensors/Actuators(Materials/devices/ informatics/networking) Structural Health Monitoring and Control Diagnosis/Prognosis Life Cycle Engineering(planning/design/ maintenance/renewal) and related areas.

Theory and Practice of Logic Programming emphasises both the theory and practice of logic programming. Logic programming applies to all areas of artificial intelligence and computer science and is fundamental to them. Among the topics covered are AI applications that use logic programming, logic programming methodologies, specification, analysis and verification of systems, inductive logic programming, multi-relational data mining, natural language processing, knowledge representation, non-monotonic reasoning, semantic web reasoning, databases, implementations and architectures and constraint logic programming.

Designs, Codes and Cryptography is an archival peer-reviewed technical journal publishing original research papers in the designated areas. There is a great deal of activity in design theory, coding theory and cryptography, including a substantial amount of research which brings together more than one of the subjects. While many journals exist for each of the individual areas, few encourage the interaction of the disciplines. The journal was founded to meet the needs of mathematicians, engineers and computer scientists working in these areas, whose interests extend beyond the bounds of any one of the individual disciplines. The journal provides a forum for high quality research in its three areas, with papers touching more than one of the areas especially welcome. The journal also considers high quality submissions in the closely related areas of finite fields and finite geometries, which provide important tools for both the construction and the actual application of designs, codes and cryptographic systems. In particular, it includes (mostly theoretical) papers on computational aspects of finite fields. It also considers topics in sequence design, which frequently admit equivalent formulations in the journal’s main areas. Designs, Codes and Cryptography is mathematically oriented, emphasizing the algebraic and geometric aspects of the areas it covers. The journal considers high quality papers of both a theoretical and a practical nature, provided they contain a substantial amount of mathematics.

Fusion Science and Technology, a research journal of the American Nuclear Society, publishes original research and review papers on fusion plasma physics and plasma engineering, fusion nuclear technology and materials science, fusion plasma enabling science technology, fusion applications, and fusion design and systems studies.

Journal of Dynamical and Control Systems presents peer-reviewed survey and original research articles which examine the entire spectrum of issues related to dynamical systems, focusing on the theory of smooth dynamical systems with analyses of measure-theoretical, topological, and bifurcational aspects. The journal covers all essential branches of the theory - local, semilocal, and global - including the theory of foliations. Control systems coverage spotlights the geometric control theory, which unifies Lie-algebraic and differential-geometric methods of investigation in control and optimization, and ultimately relates to the general theory of dynamical systems, in particular, sub-Riemannian geometry is covered. Additional authoritative contributions describe ongoing investigations and innovative solutions to unsolved problems. Detailed reviews of newly published books relevant to future studies in the field are also included. Journal of Dynamical and Control Systems will serve as a highly useful reference for mathematicians, students, and researchers interested in the many facets of dynamical and control systems.

The aim of the journal is to advance the research and practice in diverse areas of Multiscale Computational Science and Engineering. The journal will publish original papers and educational articles of general value to the field that will bridge the gap between modeling, simulation and design of products based on multiscale principles. The scope of the journal includes papers concerned with bridging of physical scales, ranging from the atomic level to full scale products and problems involving multiple physical processes interacting at multiple spatial and temporal scales. The emerging areas of computational nanotechnology and computational biotechnology and computational energy sciences are of particular interest to the journal. The journal is intended to be of interest and use to researchers and practitioners in academic, governmental and industrial communities.

The IEEE Annals of the History of Computing serves as a record of vital contributions which recount, preserve, and analyze the history of computing and the impact of computing on society. Where possible, first hand accounts of events and activities are recorded with minimal editorial change, and scholarly reports of analyses of the historical record from archives and personal contact are published so as to better understand both the past and the future of our field.

Logical Methods in Computer Science is a fully refereed, open access, free, electronic journal. It welcomes papers on theoretical and practical areas in computer science involving logical methods, taken in a broad sense; some particular areas within its scope are listed below. Papers are refereed in the traditional way, with two or more referees per paper. Copyright is retained by the author. Topics of Logical Methods in Computer Science: Algebraic methods Automata and logic Automated deduction Categorical models and logic Coalgebraic methods Computability and Logic Computer-aided verification Concurrency theory Constraint programming Cyber-physical systems Database theory Defeasible reasoning Domain theory Emerging topics: Computational systems in biology Emerging topics: Quantum computation and logic Finite model theory Formalized mathematics Functional programming and lambda calculus Inductive logic and learning Interactive proof checking Logic and algorithms Logic and complexity Logic and games Logic and probability Logic for knowledge representation Logic programming Logics of programs Modal and temporal logics Program analysis and type checking Program development and specification Proof complexity Real time and hybrid systems Reasoning about actions and planning Satisfiability Security Semantics of programming languages Term rewriting and equational logic Type theory and constructive mathematics.

Logic has found application in virtually all aspects of Information Technology, from software engineering and hardware to programming and artificial intelligence. Indeed, logic, artificial intelligence and theoretical computing are influencing each other to the extent that a new interdisciplinary area of Logic and Computation is emerging. The Journal of Logic and Computation aims to promote the growth of logic and computing, including, among others, the following areas of interest: Logical Systems, such as classical and non-classical logic, constructive logic, categorical logic, modal logic, type theory, feasible maths.... Logical issues in logic programming, knowledge-based systems and automated reasoning; logical issues in knowledge representation, such as non-monotonic reasoning and systems of knowledge and belief; logics and semantics of programming; specification and verification of programs and systems; applications of logic in hardware and VLSI, natural language, concurrent computation, planning, and databases. The bulk of the content is technical scientific papers, although letters, reviews, and discussions, as well as relevant conference reviews, are included.