Explore & Discover Scientific Journals

Journal of Geophysics and Engineering aims to promote research and developments in geophysics and related areas of engineering. It has a predominantly applied science and engineering focus, but solicits and accepts high-quality contributions in all earth-physics disciplines, including geodynamics, natural and controlled-source seismology, oil, gas and mineral exploration, petrophysics and reservoir geophysics. The journal covers those aspects of engineering that are closely related to geophysics, or on the targets and problems that geophysics addresses. Typically, this is engineering focused on the subsurface, particularly petroleum engineering, rock mechanics, geophysical software engineering, drilling technology, remote sensing, instrumentation and sensor design.

Interacting with Computers: The Interdisciplinary Journal of Human-Computer Interaction, is an official publication of BCS, The Chartered Institute for IT and the Interaction Specialist Group . Interacting with Computers (IwC) was launched in 1987 by interaction to provide access to the results of research in the field of Human-Computer Interaction (HCI) - an increasingly crucial discipline within the Computer, Information, and Design Sciences. Now one of the most highly rated journals in the field, IwC has a strong and growing Impact Factor, and a high ranking and excellent indices (h-index, SNIP, SJR).

The Computer Journal is one of the longest-established journals serving all branches of the academic computer science community. It is currently published in four sections.

The Journal is to provide an outlet for papers which are original and of high quality in mathematical control theory, systems theory, and applied information sciences. Short papers and mathematical correspondence or technical notes will be welcome, although the primary function of the journal is to publish papers of substantial length and coverage. The emphasis will be upon relevance, originality and clarify of presentation, although timeliness may well be an important feature in acceptable papers. Speculative papers that suggest new avenues for research or potential solutions to unsolved problems of control and information theory will be particularly welcome. Specific application papers will not normally be within the remit of the journal. Applications that illustrate techniques or theories will be acceptable. A prime function of the journal is to encourage the interplay between control and information theory and other mathematical sciences. All submitted papers will be judged on their merits by at least two referees and a full paper report will be available to the intending authors. Submitted articles will in general be published in an issue within six months of submission. Papers should not have previously published, nor should they be undes consideration for publication in another journal. This Journal takes publication ethics very seriously. If misconduct is found or suspected after the manuscript is published, the journal will investigate the matter and this may result in the article subsequently being retracted.

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.