Special Issue on Multigrid Methods

SCOPUS: ed.j

Special issue devoted to molecular complexes in our atmosphere and beyond

SCOPUS: ed.j

Guest Editorial. Special Issue: Temporal logic in engineering

Logic-based models are thriving within artificial intelligence. A great number of new logics have been defined, and their theory investigated. Epistemic logics introduce modal operators for knowledge or belief; deontic logics are about norms, and introduce operators of deontic necessity and possibility (i.e., obligation or prohibition). And then we have a much investigated class—temporal logics—to whose application to engineering this special issue is devoted. This kind of formalism deserves increased widespread recognition and application in engineering, a domain where other kinds of temporal models (e.g., Petri nets) are by now a fairly standard part of the modelling toolbox.

Acknowledgement [Special Issue - Formal Approaches to Legal Evidence]

This Acknowledgement refers to the special issue "Formal Approaches to Legal Evidence" of the Artificial Intelligence and Law, September 2001, Vol. 9, Issue 2-3, which was guest edited by Ephraim Nissan.

Editorial: context, content and aims [Special Issue - Formal Approaches to Legal Evidence]

This special issue "Formal Approaches to Legal Evidence" of the Artificial Intelligence and Law, September 2001, Vol. 9, Issue 2-3, which was guest edited by Ephraim Nissan.

Preface [Special Issue: International Symposium on Combinatorial Optimisation (CO2000)]

Preface [Special Issue containing a selection of papers presented at the International Symposium on Combinatorial Optimisation (CO2000) held at the University of Greenwich, London, from 12-14 July 2000.

Introduction to the BASIN Special Issue: State of art, past present a view to the future

Marine ecosystems are complex networks of organisms interacting either directly or indirectly while under the influence of the physical and chemical properties of the medium they inhabit. The interplay between these biological agents and their abiotic environment results in complex non-linear responses to individual and multiple stressors, influenced by feedbacks between these organisms and their environment. These ecosystems provide key services that benefit humanity such as food provisioning via the transfer of energy to exploited fish populations or climate regulation via the sinking, subsequent mineralization and ultimately storage of carbon in the ocean interior. These key characteristics or emergent features of marine ecosystems are subject to rapid change (e.g. regime shifts; Alheit et al., 2005 and Scheffer et al., 2009), with outcomes that are largely unpredictable in a deterministic sense. The North Atlantic Ocean is host to a number of such systems which are collectively being influenced by the unique physical and chemical features of this ocean basin, such as the Atlantic Meridional Overturning Circulation (AMOC), the basin’s ventilation with the Arctic Ocean, the dynamics of heat transport via the Gulf Stream and the formation of deep water at high latitudes. These features drive the solubility and biological pumps and support the production and environments that results in large exploited fish stocks. Our knowledge of its functioning as a coupled system, and in particular how it will respond to change, is still limited despite the scientific effort exerted over more than 100 years. This is due in part to the difficulty of providing synoptic overviews of a vast area, and to the fact that most fieldwork provides only snapshots of the complex physical, chemical and biological processes and their interactions. These constraints have in the past limited the development of a mechanistic understanding of the basin as a whole, and thus of the services it provides.