Journal Guide

Energy Transitions delivers leading research that evaluates the policy, economic, and technical challenges and opportunities arising from initiatives to move toward more sustainable and less-carbon intensive power generation mixes. International and multidisciplinary in scope, the journal is fully Open Access thanks to the support of KACST and KAPSARC.

The journal will include articles that address either of two major thematic areas: (1) energy economics and energy policy and (2) electrical energy technologies. Thus, articles will focus on the policy and economic aspect of energy transitions as well as the technological aspects related to energy transitions. The Middle East and North Africa (MENA) countries are of particular interest, but lessons and experiences drawn from other countries are also welcome.

European Orthopaedics and Traumatology is the official publication of EFORT, the umbrella organization of the European national orthopaedic associations. The journal is intended to function as a communications channel connecting the member societies to one another and to the organisation. Each issue will present a collection of papers centering on a specific main topic, followed by comments and a consensus discussion and summary. The journal will publish not only peer-reviewed original papers, but also those from industry reporting on research and development. The articles chosen for publication in the journal represent the gold standard in diagnostic and treatment in orthopaedics. These reflect the broad spectrum of European opinion on the daily practice of orthopaedics, and help to promote consensus and accepted standards among members of the various societies, and across the discipline as a whole. In addition to research papers, European Orthopaedics and Traumatology presents review articles and meta-analyses of important clinical problems and topics under discussion, as well as case reports. Among the other features of European Orthopaedics and Traumatology are Letters to the Editors: Responses and Possible Decisions, and Reports on the increasingly important political aspects of orthopaedics in Europe The journal will offer a forum for discussion among orthopaedic surgeons and all those working with them, as well as a channel of communication with patient organisations. European Orthopaedics and Traumatology provides a platform for excellent basic and clinical research in orthopaedics and related disciplines. Reflecting EFORT´s intention to connect members of its constituent societies, and its commitment to rapid dissemination of significant new research and practices, the Journal is available free of charge to all members online.

The journal publishes original papers and reviews that describe interrelationships between foods and all aspects of the physiological, biophysical, microbial and neuro-humoral components of digestion, acquisition and assimilation, with particular emphasis on the role of food structure. The scope includes papers describing the influence of the hierarchical elements of food structure including nanoparticulate formulations, also foods containing prebiotics, probiotics, genetically engineered microorganisms and other agents which influence digestion in its broadest sense including effects on gut associated immune and neurohumoral systems on any of the gut components including the hind gut. While the principal area of focus of the journal is in regard to human digestion we welcome papers that explore these areas in animal and in vitro models and which compare these processes in an evolutionary sense particularly in regard to hominids.

This journal aims to publish contributions at the junction of theory and practice.  The objective is to disseminate applicable research.  Thus new theoretical contributions are welcome where they are motivated by potential application; applications of existing formalisms are of interest if they show something novel about the approach or application.

The term 'formal methods' has been applied to a range of notations, theories and tools.  There is no doubt that some of these have already had a significant impact on practical applications of computing.  Indeed, it is interesting to note that once something is adopted into practical use it is no longer thought of as a formal method.  Apart from widely used notations such as those for syntax and state machines, there have been significant applications of specification notations, development methods and tools both for proving general results and for searching for specific conditions.  However, the most profound and lasting influence of the formal app