IJAIED publishes papers concerned with the application of AI to education. It aims to help the development of principles for the design of computer-based learning systems. Its premise is that such principles involve the modelling and representation of relevant aspects of knowledge, before implementation or during execution, and hence require the application of AI techniques and concepts. IJAIED has a very broad notion of the scope of AI and of a 'computer-based learning system', as indicated by the following list of topics considered to be within the scope of IJAIED: adaptive and intelligent multimedia and hypermedia systemsagent-based learning environmentsAIED and teacher educationarchitectures for AIED systemsassessment and testing of learning outcomesauthoring systems and shells for AIED systemsbayesian and statistical methodscase-based systemscognitive developmentcognitive models of problem-solvingcognitive tools for learningcomputer-assisted language learningcomputer-supported collaborative learningdialogue (argumentation, explanation, negotiation, etc.) discovery environments and microworldsdistributed learning environmentseducational roboticsembedded training systemsempirical studies to inform the design of learning environmentsenvironments to support the learning of programmingevaluation of AIED systemsformal models of components of AIED systemshelp and advice systemshuman factors and interface designinstructional design principlesinstructional planningintelligent agents on the internetintelligent courseware for computer-based trainingintelligent tutoring systemsknowledge and skill acquisitionknowledge representation for instructionmodelling metacognitive skills
The International Journal of Computational Geometry & Applications (IJCGA) is a bimonthly journal devoted to the field of computational geometry within the framework of design and analysis of algorithms.Emphasis is placed on the computational aspects of geometric problems that arise in various fields of science and engineering including computer-aided geometry design (CAGD), computer graphics, constructive solid geometry (CSG), operations research, pattern recognition, robotics, solid modelling, VLSI routing/layout, and others. Research contributions ranging from theoretical results in algorithm design – sequential or parallel, probabilistic or randomized algorithms – to applications in the above-mentioned areas are welcome. Research findings or experiences in the implementations of geometric algorithms, such as numerical stability, and papers with a geometric flavour related to algorithms or the application areas of computational geometry are also welcome. .
Section A: Computer Systems: TheoryThis section contains work concerning research and development in computer systems and the theory of computing in general. Papers relating directly or indirectly to all aspects of these fields are welcome. Of great interest is work in computer systems architectures and organization, computer software and hardware, analysis of algorithms, artificial intelligence, automata, bio-informatics, brain-computer interfaces, calculi, computational complexity, computational aspects of combinatorics and graph theory, computational geometry, computer graphics, computer security, concurrency and parallelism, cryptography, data structures, formal languages, haptics, knowledge discovery, computational logic, networks, novel models of computation such as DNA and quantum computing, randomization, semantics, symbol manipulation and the Internet. The Journal is intended to provide a forum for the expression of new ideas, as well as a place for exposition of these areas of knowledge.Section B: Computational Methods: ApplicationThis section publishes original research work concerning computational and mathematical techniques in the fields of numerical analysis and scientific computing with applications to science and engineering. The section serves the community of researchers in numerical analysis and computational sciences from both academia and industry. Papers that discuss novel theory, analysis and strategies of cutting-edge new numerical techniques for various applied mathematical problems are welcome. Papers that provide significantly improved analysis of existing numerical algorithms are also welcome. Please note that papers developed from conference proceedings or previously published work must contain at least 40% new material. Click here for aims and scope information in Spanish.Click here for aims and scope information in Portuguese.Click here for aims and scope information in Traditional Chinese.Click here for aims and scope information in Simplified Chinese.Click here for aims and scope information in Japanese. INCREASED 2009 5-year Impact Factor: 0.546169; 2010 Thomson Reuters, 2009 Journal Citation Reports174;All published research articles in this journal have undergone rigorous peer review, based on initial editor screening and anonymous refereeing by independent expert referees.DisclaimerTaylor & Francis makes every effort to ensure the accuracy of all the information (the 8220;Content8221;) contained in its publications. However, Taylor & Francis and its agents and licensors make no representations or warranties whatsoever as to the accuracy, completeness or suitability for any purpose of the Content and disclaim all such representations and warranties whether express or implied to the maximum extent permitted by law. Any views expressed in this publication are the views of the authors and are not the views of Taylor & Francis.
To differentiate from other similar journals. the editorial policy of IJCCC encourages especially the publishing of scientific papers that focus on the convergence of the 3 'C' (Computing. Communication. Control). “Thomson Reuters Subject Category of IJCCC: AUTOMATION and CONTROL SYSTEMS Category Description: Automation and Control Systems covers resources on the design and development of processes and systems that minimize the necessity of human intervention. Resources in this category cover control theory. control engineering. and laboratory and manufacturing automation. COMPUTER SCIENCE. INFORMATION SYSTEMS Category Description: Computer Science. Information Systems covers resources that focus on the acquisition. processing. storage. management. and dissemination of electronic information that can be read by humans. machines. or both. This category also includes resources for telecommunications systems and discipline-specific subjects such as medical informatics. chemical information processing systems. geographical information systems. and some library science.
The scope of this journal covers Computational Physics, Physical Computation and related subjects. IJMPC aims at publishing both review and research articles on the use of computers to advance knowledge in physical sciences and the use of physical analogies in computation. Topics covered include: algorithms; astrophysics; atomic, molecular and chemical physics; computational biophysics; computational fluid dynamics; computer and information science; condensed matter physics, materials science; data analysis and computation in experimental physics; electromagnetism; high energy physics; nuclear and plasma physics; environmental physics; physical computation including neural nets, cellular automata and complex systems; quantum chemistry; statistical physics; symbolic manipulation; etc.
The interdisciplinary Journal of Automated Reasoning balances theory, implementation and application. The spectrum of coverage ranges from the presentation of a new inference rule with proof of its logical properties to a detailed account of a computer program designed to solve various problems in industry. Topics include automated theorem proving, logic programming, expert systems, program synthesis and validation, artificial intelligence, computational logic, robotics, and various industrial applications. The contents focus on several aspects of automated reasoning, a field whose objective is the design and implementation of a computer program that serves as an assistant in solving problems and in answering questions that require reasoning. The Journal of Automated Reasoning provides a forum and a means for exchanging information for those interested purely in theory, those interested primarily in implementation, and those interested in specific research and industrial applications. Proof Pearls In addition
The Journal of Chemical Information and Modeling (JCIM) is a bi-weekly peer-reviewed journal that publishes papers reporting new methodologies in chemical informatics and molecular modeling and its application and validation by experimental means. As a member of this community – author, reader, or reviewer -- you’ll stay abreast of advances and applications in molecular simulation, developments in multi-scale modeling, artificial intelligence, and machine learning models applied to chemical and biological data, computer science techniques applied to chemical problems, pattern recognition, clustering, computer-aided molecular design of new materials, catalysts, or ligands, development of new computational methods and algorithms and their implementation in software, and analysis of chemical and physical data.
The journal does not consider straightforward applications of molecular docking methods to a single target system without adequate experimental validation.
The Journal of Chemical Theory and Computation is a bi-weekly peer-reviewed journal that publishes papers on new theories, methodology in quantum electronic structure, molecular dynamics, and statistical mechanics and/or their important applications.
Specific topics include but are not limited to:
The Journal welcomes submissions that include advances in theory, methodology, and data science with applications to compelling problems in chemistry and materials science. The Journal does not consider papers on the following topics:
Straightforward applications on only single-class systems of well-established methods, including DFT, traditional wave function theories, and molecular dynamics.
This journal advances and promotes the theory and applications of combinatorial optimization, which is an area of research at the intersection of applied mathematics, computer science, and operations research and which overlaps with many other areas such as computation complexity, computational biology, VLSI design, communication networks, and management science. It includes complexity analysis and algorithm design for combinatorial optimization problems, numerical experiments and problem discovery with applications in science and engineering. The Journal of Combinatorial Optimization publishes refereed papers dealing with all theoretical, computational and applied aspects of combinatorial optimization. It also publishes reviews of appropriate books and special issues of journals.