Strategic argumentation: A game theoretical investigation

Argumentation is modelled as a game where the payoffs are measured in terms of the probability that the claimed conclusion is, or is not, defeasibly provable, given a history of arguments that have actually been exchanged, and given the probability of the factual premises. The probability of a conclusion is calculated using a standard variant of Defeasible Logic, in combination with standard probability calculus. It is a new element of the present approach that the exchange of arguments is analysed with game theoretical tools, yielding a prescriptive and to some extent even predictive account of the actual course of play. A brief comparison with existing argument-based dialogue approaches confirms that such a prescriptive account of the actual argumentation has been almost lacking in the approaches proposed so far.

On the nonlinear Neumann problem with critical and supercritical nonlinearities

We investigate the solvability of the Neumann problem (1.1) involving a critical Sobolev exponent. In the first part of this work it is assumed that the coeffcients Q and h are at least continuous. Moreover Q is positive on overline Omega and lambda > 0 is a parameter. We examine the common effect of the mean curvature and the shape of the graphs of the coeffcients Q and h on the existence of low energy solutions. In the second part of this work we consider the same problem with Q replaced by - Q. In this case the problem can be supercritical and the existence results depend on integrability conditions on Q and h.

Bifurcation in growth patterns for arrays of parallel Griffith, edge and sliding cracks

This paper presents the recent finding by Muhlhaus et al [1] that bifurcation of crack growth patterns exists for arrays of two-dimensional cracks. This bifurcation is a result of the nonlinear effect due to crack interaction, which is, in the present analysis, approximated by the dipole asymptotic or pseudo-traction method. The nonlinear parameter for the problem is the crack length/ spacing ratio lambda = a/h. For parallel and edge crack arrays under far field tension, uniform crack growth patterns (all cracks having same size) yield to nonuniform crack growth patterns (i.e. bifurcation) if lambda is larger than a critical value lambda(cr) (note that such bifurcation is not found for collinear crack arrays). For parallel and edge crack arrays respectively, the value of lambda(cr) decreases monotonically from (2/9)(1/2) and (2/15.096)(1/2) for arrays of 2 cracks, to (2/3)(1/2)/pi and (2/5.032)(1/2)/pi for infinite arrays of cracks. The critical parameter lambda(cr) is calculated numerically for arrays of up to 100 cracks, whilst discrete Fourier transform is used to obtain the exact solution of lambda(cr) for infinite crack arrays. For geomaterials, bifurcation can also occurs when array of sliding cracks are under compression.

Iron(III) and iron(II) complexes of 1-thia-4,7-diazacyclononane ([9]aneN(2)S) and 1,4-dithia-7-azacyclononane ([9]aneNS(2)). X-Ray structural analyses, magnetic susceptibility, Mossbauer, EPR and electronic spectroscopy

The complexes [Fe([9]aneN(2)S)(2)][ClO4](2), [Fe([9]aneN(2)S)(2)][ClO4](3) and [Fe([9]aneNS(2))(2)][ClO4](2) ([9]aneN(2)S = 1-thia-4. 7-diazacyclononane and [9]aneNS(2) = 1,4-dithia-7-azacyclononane) have been prepared and the latter two characterised by X-ray crystallography. The Mossbauer spectra (isomer shift/mm s(-1), quadrupole splitting/mm s(-1), 4.2 K) for [Fe([9]aneN(2)S)(2)][ClO4](2) (0.52, 0.57), [Fe([9]aneN(2)S)(2)][ClO4](3) (0.25, 2.72) and [Fe([9]aneNS(2))(2)][ClO4](2) (0.43, 0.28) are typical for iron(II) and iron(III) complexes. Variable-temperature susceptibility measurements for [Fe([9]aneN(2)S)(2)][ClO4](2) (2-300 K) revealed temperature-dependent behaviour in both the solid state [2.95 mu(B) (300 K)-0.5 mu(B) (4.2 K)] and solution (Delta H degrees 20-22 kJ mol(-1), Delta S degrees 53-60 J mol(-1) K-1). For [Fe([9]aneN(2)S)(2)][ClO4](3) in the solid state [2.3 mu(B) (300 K)-1.9 mu(B) (4.2 K)] the magnetic data were fit to a simple model (H = -lambda L . S + mu L-z) to give the spin-orbit coupling constant (lambda) of -260 +/- 10 cm(-1). The solid-state X-band EPR spectrum of [Fe([9]aneN(2)S)(2)][ClO4](3) revealed axial symmetry (g(perpendicular to) = 2.607, g(parallel to) = 1.599). Resolution of g(perpendicular to) into two components at Q-band frequencies indicated a rhombic distortion. The low-temperature single-crystal absorption spectra of [Fe([9]aneN(2)S)(2)][ClO4](2) and [Fe([9]aneNS(2))(2)][ClO4](2) exhibited additional bands which resembled pseudotetragonal low-symmetry splitting of the parent octahedral (1)A(1g) --> T-1(2g) and (1)A(1g) ---> T-1(1g) transitions. However, the magnitude of these splittings was too large, requiring 10Dq for the thioether donors to be significantly larger than for the amine donors. Instead, these bands were tentatively assigned to weak, low-energy S --> Fe-II charge-transfer transitions. Above 200 K, thermal occupation of the high-spin T-5(2g) ground state resulted in observation of the T-5(2g) --> E-5(g) transition in the crystal spectrum of [Fe([9]aneN(2)S)(2)][ClO4](2). From a temperature-dependence study, the separation of the low-spin (1)A(1g) and high-spin T-5(2g) ground states was approximately 1700 cm(-1). The spectrum of the iron(III) complex [Fe([9]aneN(2)S)(2)][ClO4](3) is consistent with a low-spin d(5) configuration.

Determination of pindolol enantiomers in human plasma and urine by simple liquid-liquid extraction and high-performance liquid chromatography

A simple method for the measurement of pindolol enantiomers by HPLC is presented. Alkalinized serum or urine is extracted with ethyl acetate and the residue remaining after evaporation of the organic layer is then derivatised with (S)-(-)-alpha-methylbenzyl isocyanate. The diastereoisomers of derivatised pindolol and metoprolol (internal standard) are separated by high-performance liquid chromatography (HPLC) using a C-18 silica column and detected using fluorescence (excitation lambda: 215 nm, emission lambda: 320 nm). The assay displays reproducible linearity for pindolol enantiomers with a correlation coefficient of r(2) greater than or equal to 0.998 over the concentration range 8-100 ng ml(-1) for plasma and 0.1-2.5 mu g ml(-1) for urine. The coefficient of variation for accuracy and precision of the quality control samples for both plasma and urine are consistently

Asymptotic limits of a self-dual Ginzburg-Landau functional in bounded domains

In the author's joint paper [HJS] with Jest and Struwe, we discuss asymtotic limits of a self-dual Ginzburg-Landau functional involving a section of a line bundle over a closed Riemann surface and a connection on this bundle. In this paper, the author generalizes the above results [HJS] to the case of bounded domains.

Tongue piercing: Case report and review of current practice

Although oral piercing has been an uncommon practice in the Western world, the insertion of metal objects into intra-oral and peri-oral pierced sites is growing in popularity. Tongue piercing is one such practice whereby a metal barbell is inserted into the tongue after piercing with a 14-16 gauge needle. Pain, swelling and infection are the most serious consequences associated with this procedure. Other adverse outcomes include mucosal or gingival trauma, chipped or fractured teeth, increased salivary flow, calculus build-up, and interference with speech, mastication and swallowing. This article presents a case report on tongue piercing and highlights the procedure involved. Special attention is given to complications and dental implications associated with such an unusual practice.

Decoherence and coherent population transfer between two coupled systems

We show that an arbitrary system described by two dipole moments exhibits coherent superpositions of internal states that can be completely decoupled fi om the dissipative interactions (responsible for decoherence) and an external driving laser field. These superpositions, known as dark or trapping states, can he completely stable or can coherently interact with the remaining states. We examine the master equation describing the dissipative evolution of the system and identify conditions for population trapping and also classify processes that can transfer the population to these undriven and nondecaying states. It is shown that coherent transfers are possible only if the two systems are nonidentical, that is the transitions have different frequencies and/or decay rates. in particular, we find that the trapping conditions can involve both coherent and dissipative interactions, and depending on the energy level structure of the system, the population can be trapped in a linear superposition of two or more bare states, a dressed state corresponding to an eigenstate of the system plus external fields or, in some cases. in one of the excited states of the system. A comprehensive analysis is presented of the different processes that are responsible for population trapping, and we illustrate these ideas with three examples of two coupled systems: single V- and Lambda-type three-level atoms and two nonidentical tao-level atoms, which are known to exhibit dark states. We show that the effect of population trapping does not necessarily require decoupling of the antisymmetric superposition from the dissipative interactions. We also find that the vacuum-induced coherent coupling between the systems could be easily observed in Lambda-type atoms. Our analysis of the population trapping in two nonidentical atoms shows that the atoms can be driven into a maximally entangled state which is completely decoupled from the dissipative interaction.

Spectral tuning and the visual ecology of mantis shrimps

The compound eyes of mantis shrimps (stomatopod crustaceans) include an unparalleled diversity of visual pigments and spectral receptor classes in retinas of each species. We compared the visual pigment and spectral receptor classes of 12 species of gonodactyloid stomatopods from a variety of photo environments, from intertidal to deep water ( > 50 m), to learn how spectral tuning in the different photoreceptor types is modified within different photic environments. Results show that receptors of the peripheral photoreceptors, those outside the midband which are responsible for standard visual tasks such as spatial vision and motion detection, reveal the well-known pattern of decreasing lambda(max) with increasing depth. Receptors of midband rows 5 and 6, which are specialized for polarization vision, are similar in all species, having visual lambda(max)-values near 500 nm, independent of depth. Finally the spectral receptors of midband rows 1 to 4 are tuned for maximum coverage of the spectrum of irradiance available in the habitat of each species. The quality of the visual worlds experienced by each species we studied must vary considerably, but all appear to exploit the full capabilities offered by their complex visual systems.

The fine structure of (v, 3) directed triple systems: v equivalent to 2 (mod 3)

The fine structure of a directed triple system of index lambda is the vector (c(1), c(2),...,C-lambda), where c(i) is the number of directed triples appearing precisely i times in the system. We determine necessary and sufficient conditions for a vector to be the fine structure of a directed triple system of index 3 for upsilon = 2 (mod 3).

Quantum measurement and stochastic processes in mesoscopic conductors

In quantum measurement theory it is necessary to show how a, quantum source conditions a classical stochastic record of measured results. We discuss mesoscopic conductance using quantum stochastic calculus to elucidate the quantum nature of the measurement taking place in these systems. To illustrate the method we derive the current fluctuations in a two terminal mesoscopic circuit with two tunnel barriers containing a single quasi bound state on the well. The method enables us to focus on either the incoming/ outgoing Fermi fields in the leads, or on the irreversible dynamics of the well state itself. We show an equivalence between the approach of Buttiker and the Fermi quantum stochastic calculus for mesoscopic systems.

Heat flow for the Yang-Mills-Higgs field and the Hermitian Yang-Mills-Higgs metric

For a parameter lambda > 0, we study a type of vortex equations, which generalize the well-known Hermitian-Einstein equation, for a connection A and a section phi of a holomorphic vector bundle E over a Kahler manifold X. We establish a global existence of smooth solutions to heat flow for a self-dual Yang-Mills-Higgs field on E. Assuming the lambda -stability of (E, phi), we prove the existence of the Hermitian Yang-Mills-Higgs metric on the holomorphic bundle E by studying the limiting behaviour of the gauge flow.

Structuring real-time Object-Z specifications

This paper presents a means of structuring specifications in real-time Object-Z: an integration of Object-Z with the timed refinement calculus. Incremental modification of classes using inheritance and composition of classes to form multi-component systems are examined. Two approaches to the latter are considered: using Object-Z's notion of object instantiation and introducing a parallel composition operator similar to those found in process algebras. The parallel composition operator approach is both more concise and allows more general modelling of concurrency. Its incorporation into the existing semantics of real-time Object-Z is presented.