Thomasius on the toleration of heresy

Over two thousand years the Christian Church identified a wider range and a greater number of heresies than most other religions and, when secular authorities did not protected the heretics, took drastic measures to persuade the heretic to recant and to extirpate the false doctrine. Heresy, of course, is a word like a box [End Page 201] that at different times may hold many different ideas and so some articles are dealing with definitions and identifications that are not the same. The editors suggest that the articles show a profound change in culture in the eighteenth century which means that present day scholars can barely imagine the mind-set that produced medieval attitudes to heresy. This is the task some of the authors have set themselves while others seek to explain how the change came about as part of the historical search for truth.

A simple solution of the laminar dam break wave

The sudden release of a mass of fluid in a channel generates a highly unsteady flow motion, called dam break wave. While industrial fluids exhibit sometimes non-Newtonian behaviours, the viscous fluid flow assumption remains a useful approximation for simplified analyses. In this study, new solutions of laminar dam break wave are proposed for a semi-infinite reservoir based upon the method of characteristics. The solutions yield simple explicit expressions of the wave front location, wave front celerity and instantaneous free-surface profiles that compare favourably with experimental observations. Both horizontal and sloping channel configurations are treated. The simplicity of the equations may allow future extension to more complicated fluid flows.

Analyzing the researcher's work in generating data: The case of complaints

This article investigates the researcher's work in the coproduction (or not) of complaint sequences in research interviews. Using a conversation analytic approach, we show how the interviewer's management of complaint sequences in a research setting is consequential for subsequent talk and thus directly affects the data generated. In the examples shown here, researchers sharing cocategorial incumbency with respondents may well provide spaces for research participants to formulate complaints. This article examines sequences of talk surrounding complaints to show how researchers generate complaints (or not) and handle unsafe complaints. Researchers are able to provoke specific types of accounts from respondents, whereas their respondents may actively resist the researchers' direction. For researchers using the interview as a method of data generation, examination of complaint sequences and how these appear in interview data provides insight into how interview talk is coproduced and managed within a socially situated setting.

Assessment of body composition by bioelectrical impedance analysis without the need for measurement of height

Conventional whole-body single frequency bioelectrical impedance analysis (BIA) of body composition typically uses height as a surrogate measure of conductor length. A new method of BIA analysis for the prediction of body cell mass (BCM) and extracellular water (ECW, as % body weight) not using height has been introduced-the Soft Tissue Analyser (STA(TM), Akern Sri, Florence, Italy)-making it ideal for use in subjects where measurement of height is difficult or impossible. The performance of the new analytical method in predicting BCM and ECW in 139 normal control subjects was assessed by comparison with reference data obtained from a four-component (4-C) model of body composition and with predictions obtained from conventional BIA analysis. Both predicted BCM and ECW were strongly (r = 0.82, SEE = 6.3 kg and 0.89, SEE = 1.3 kg respectively) correlated with the corresponding 4-C model measurements although differing significantly from the lines of identity (P < 0.0001). Fat-free mass, calculated from STA estimates of BCM and ECW, was better predicted (r = 0.91, SEE = 5.6 kg). The significant differences in STA-group mean values for BCM and ECW and wide limits of agreement compared with the reference data indicate that the method cannot be used with confidence for prediction of these body compartments despite the obvious advantage of not requiring an accurate measurement of height. (C) 2001 Harcourt Publishers Ltd.

Localization of small esophageal cancers for radiation planning using endoscopic contrast injection: report on a series of eight cases

Recently, Barrett's esophagus and early adenocarcinomas have been detected increasingly frequently in routine follow-up of patients with gastroesophageal reflux. Although surgery is the treatment of choice, some patients are medically unfit for esophagectomy and, in this case, the only alternative curative therapy is radical chemoradiation therapy. In addition, some patients who present with symptoms have small tumors that cannot be localized accurately using routine imaging techniques. This report describes a series of eight patients with small esophageal cancers in whom the tumors were successfully localized following endoscopic injection of contrast, and treated with chemoradiation therapy. The treatment was successful in seven patients. This method of tumor localization demonstrated that conventional techniques are mostly, unreliable when applied to very early cancers.

Specification, refinement and verification of concurrent systems - An integration of Object-Z and CSP

This paper presents a method of formally specifying, refining and verifying concurrent systems which uses the object-oriented state-based specification language Object-Z together with the process algebra CSP. Object-Z provides a convenient way of modelling complex data structures needed to define the component processes of such systems, and CSP enables the concise specification of process interactions. The basis of the integration is a semantics of Object-Z classes identical to that of CSP processes. This allows classes specified in Object-Z to he used directly within the CSP part of the specification. In addition to specification, we also discuss refinement and verification in this model. The common semantic basis enables a unified method of refinement to be used, based upon CSP refinement. To enable state-based techniques to be used fur the Object-Z components of a specification we develop state-based refinement relations which are sound and complete with respect to CSP refinement. In addition, a verification method for static and dynamic properties is presented. The method allows us to verify properties of the CSP system specification in terms of its component Object-Z classes by using the laws of the the CSP operators together with the logic for Object-Z.

Development and implementation of the population Fisher information matrix for the evaluation of population pharmacokinetic designs.

In population pharmacokinetic studies, the precision of parameter estimates is dependent on the population design. Methods based on the Fisher information matrix have been developed and extended to population studies to evaluate and optimize designs. In this paper we propose simple programming tools to evaluate population pharmacokinetic designs. This involved the development of an expression for the Fisher information matrix for nonlinear mixed-effects models, including estimation of the variance of the residual error. We implemented this expression as a generic function for two software applications: S-PLUS and MATLAB. The evaluation of population designs based on two pharmacokinetic examples from the literature is shown to illustrate the efficiency and the simplicity of this theoretic approach. Although no optimization method of the design is provided, these functions can be used to select and compare population designs among a large set of possible designs, avoiding a lot of simulations.

SAR imaging of buried objects from MoM modelled scattered field

Synthetic aperture radar (SAR) images of resonant buried objects are modelled in the presence of ground surface clutter. The method of moments (MoM) is used to model scattered fields from a resonant buried conductor and clutter is modelled as a bivariant Gaussian distribution. A diffraction stack SAR imaging technique is applied to the ultra-wideband waveforms to give a bipolar signal image. A number of examples have been computed to illustrate the combined effects of SAR processing with resonant targets and clutter. SAR images of different targets show differences which may facilitate target identification. To maximise the peak signal-to-clutter ratio, an image correlation technique is applied and the results are shown.

Complex natural resonances of conducting planar objects buried in a dielectric half-space

A scheme is presented to incorporate a mixed potential integral equation (MPIE) using Michalski's formulation C with the method of moments (MoM) for analyzing the scattering of a plane wave from conducting planar objects buried in a dielectric half-space. The robust complex image method with a two-level approximation is used for the calculation of the Green's functions for the half-space. To further speed up the computation, an interpolation technique for filling the matrix is employed. While the induced current distributions on the object's surface are obtained in the frequency domain, the corresponding time domain responses are calculated via the inverse fast Fourier transform (FFT), The complex natural resonances of targets are then extracted from the late time response using the generalized pencil-of-function (GPOF) method. We investigate the pole trajectories as we vary the distance between strips and the depth and orientation of single, buried strips, The variation from the pole position of a single strip in a homogeneous dielectric medium was only a few percent for most of these parameter variations.

Heat of desorption measured by means of electrical heat excitation

A new method of measuring heat of desorption is proposed in this Letter. The principle of the method is to measure the amount of mass released when a controlled amount of energy is supplied directly to a solid adsorbent. This is in contrast to conventional methods such as microcalorimetry, where heat released upon adsorption is measured. In this method, a quantified heat supply is generated by passing a de current through a carbon pellet, which is equilibrated with a gas phase confined in a closed vessel. As a consequence of the heating, the particle temperature is increased, resulting in partial desorption of adsorbed molecules. The variations of pellet temperature and the system pressure with respect to time are used to determine the heat of desorption as a function of loading.