A forum on case-based reasoning. Guest editorial

Guest editorial

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.

Guest editorial. [Computers and Artificial Intelligence. 1998. Vol. 17, No. 2-3]

Editorial

Computational modelling of multi-physics processes on high performance parallel computer systems

The demands of the process of engineering design, particularly for structural integrity, have exploited computational modelling techniques and software tools for decades. Frequently, the shape of structural components or assemblies is determined to optimise the flow distribution or heat transfer characteristics, and to ensure that the structural performance in service is adequate. From the perspective of computational modelling these activities are typically separated into: • fluid flow and the associated heat transfer analysis (possibly with chemical reactions), based upon Computational Fluid Dynamics (CFD) technology • structural analysis again possibly with heat transfer, based upon finite element analysis (FEA) techniques.

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.

Reviews: Private Passions with Robin Wilson [Radio review]

Tony Mann reviews Robin Wilson's appearance as Michael Berkeley's guest on Private Passions. Broadcast on BBC Radio 3, on 9 September 2007.

Novel inclusion complex of ibuprofen tromethamine with cyclodextrins: Physico-chemical characterization

Guest-host interactions of ibuprofen tromethamine salt (Ibu.T) with native and modified cyclodextrins (CyDs) have been investigated using several techniques, namely phase solubility diagrams (PSDs), proton nuclear magnetic resonance (H-1 NMR), differential scanning calorimetry (DSC), Fourier transform infrared spectroscopy (FT-IR), X-ray powder diffractometry (XRPD). scanning-electron microscopy (SEM) and molecular mechanics (MM). From the analysis of PSD data (A(L)-type) it is concluded that the anionic tromethamine salt of ibuprofen (pK(a) = 4.55) forms 1: 1 soluble complexes with all CyDs investigated in buffered water at pH 7.0, while the neutral form of Ibu forms an insoluble complex with beta-CyD (B-S-type) in buffered water at pH 2.0. Ibu.T has a lower tendency to complex with beta-CyD (K-11 = 58 M-1 at pH 7.0) compared with the neutral Ibu (K-11 = 4200 M (1)) in water. Complex formation of Ibu.T with beta-CyD (Delta G degrees = -20.4 kJ/mol) is enthalpy driven (Delta H degrees = -22.9 kJ/mol) and is accompanied by a small unfavorable entropy (Delta S degrees = -8.4 J/mol K) change. H-1 NMR studies and MM computations revealed that, on complexation, the hydrophobic central benzene ring of lbu.T and part of the isobutyl group reside within the beta-CyD cavity leaving the peripheral groups (carboxylate, tromethamine and methyl groups) located near the hydroxyl group networks at either rim of beta-CyD. PSD, H-1 NMR, DSC, FT-IR, XRPD, SEM and MM studies confirmed the formation of Ibu.T/beta-CyD inclusion complex in solution and the solid state. (C) 2009 Elsevier B.V. All rights reserved.

Direct Numerical Simulation of Turbulent Flames

The present paper is a report on progress in the simulation of turbulent flames using the Cray T3D and T3E at the Edinburgh parallel computing centre, using codes developed in Cambridge. Two combustion DNS codes are described, ANGUS and SENGA, which solve incompressible and fully compressible reacting flows respectively. The technical background to combustion DNS is presented, and the resource requirements explained in terms of the physic and chemistry of the problem. Results for flame turbulence interaction studies are presented and discussed in terms of their relevance to modelling. Recent work on the fully compressible problem is highlighted and future directions outlined.