Fonctions analytiques Cliffordiennes

We define analytic functions within Clifford Algebras CL, and study their trigonometric properties. We write the addition formulas when their arguments, A and B in CL, commute, this generalizes ordinary trigonometry. We examine in particular the case A² = 1.      

Isometric Isomorphisms Between Banach Algebras Related to a Certain Class of Clifford Topological Semigroups

In the present paper it is shown that if S₁ and S₂ are two Clifford topological semigroups satisfying certain conditions and T is an isometric isomorphism of LUC(S₁*) onto LUC(S₂*), then T maps S₁ topologically isomorphically onto S₂. Furthermore, T maps M ^l _n(S₁) (M(S₁), respectively) isometrically isomorphically onto M ^l _n(S₂) (M(S₂), respectively). Indeed, we have obtained a generalization of a well-known result of Ghahramani, Lau and Losert for locally compact groups to a more general setting of Clifford topological semigroups.     

Effect of induced shielding current transmission in longitudinal direction on levitation force of melt grown single-domain YBa_2Cu_3O_(7-x) cylindrical superconductor

YBa2Cu3O7-x (YBCO) bulk is one of the most important high temperature superconducting materials for magnetic levitation applications, because it has a high magnetic irreversibility field Hirr at liquid nitrogen temperature, and can grow into large grains. The levitation force of YBCO bulk is proportional to the critical current density (Jc) and grain radius (r)[1], so higher Jc and r are appreciated for YBCO bulks to achieve higher levitation force. Now single-domain YBCO bulks up to s…     

Affine Arithmetic: Concepts and Applications

Affine arithmetic is a model for self-validated numerical computation that keeps track of first-order correlations between computed and input quantities. We explain the main concepts in affine arithmetic and how it handles the dependency problem in standard interval arithmetic. We also describe some of its applications.     

Experiences in Expert Systems

This paper describes some work carried out in the Scientific Research and Development Branch (SRDB) of the Home Office, intended to contribute to an overall aim of building up internal expertise in the field of expert systems. This was done by carrying out a number of pilot and demonstrator projects, two of which are described in some detail. The plan, which proved successful, was to build as far as possible on the relevant skills already possessed by an OR group in the branch. The lessons learned from these are summarized in the hope that they will be of use to other groups who wish to become involved in this important area.     

Program explanations and causal relevance

Frank Jackson and Philip Pettit have defended a non-reductive account of causal relevance known as the ‘program explanation account’. Allegedly, irreducible mental properties can be causally relevant in virtue of figuring in non-redundant program explanations which convey information not conveyed by explanations in terms of the physical properties that actually do the ‘causal work’. I argue that none of the possible ways to spell out the intuitively plausible idea of a program explanation serves its purpose, viz., defends non-reductive physicalism against Jaegwon Kim’s Causal Exclusion Argument according to which non-reductive physicalism is committed to epiphenomenalism because irreducible mental properties are ‘screened off’ from causal relevance by their physical realizers. Jackson and Pettit’s most promising explication of a program explanation appeals to the idea of invariance of effect under variation of realization, but I show that invariance of effect under variation of realization is neither necessary nor sufficient for causal relevance.     

Order restricted randomized designs for control versus treatment comparison

We develop a method of randomizing units to treatments that relies on subjective judgement or on possible coarse modeling to produce restrictions on the randomization. The procedure thus fits within the general framework of ranked set sampling. However, instead of selecting a single unit from each set for full measurement, all units within a set are used. The units within a set are assigned to different treatments. Such an assignment translates the positive dependence among units within a set into a reduction in variation of contrasting features of the treatments. A test for treatment versus control comparison, with controlled familywise error rate, is developed along with the associated confidence intervals. The new procedure is shown to be superior to corresponding procedures based on completely randomized or ranked set sample designs. The superiority appears both in asymptotic relative efficiency and in power for finite sample sizes. Importantly, this test does not rely on perfect rankings; rather, the information in the data on the quality of rankings is exploited to maintain the level of the test when rankings are imperfect. The asymptotic relative efficiency of the test is not affected by estimation of the quality of rankings, and the finite sample performance is only mildly affected.