Presupposition failure — A comedy of errors

Presuppositions of utterances are the pieces of information you convey with an utterance no matter whether your utterance is true or not. We first study presupposition in a very simple framework of updating propositional information, with examples of how presuppositions of complex propositional updates can be calculated. Next we move on to presuppositions and quantification, in the context of a dynamic version of predicate logic, suitably modified to allow for presupposition failure. In both the propositional and the quantificational case, presupposition failure can be viewed as error abortion of procedures. Thus, a dynamic assertion logic which describes the preconditions for error abortion is the suitable tool for analysing presupposition.     

Implementing total quality management at the U.S. Department of Defense

This paper examines Total Quality Management (TQM) as defined by Dr. W. Edwards Deming including Deming's fourteen points and explains how the United States' Department of Defense (DOD) defines TQM and why TQM is necessary. It also covers how the DOD is planning on implementing TQM and the policy that has been established as guidance in the implementation process.     

RasterCalc: Calculus for Operations on Graphics Colour Rasters

An extended model and calculus, called RasterCalc, is presented for operations on discrete graphics rasters, including their colour functions. The operations are separated into two main categories: operations on domains, and operations on colour functions. The operations are further classified as local and remote, depending on the correspondence between destination and source pixels. The new raster element or pixel can be a function of a single element from one or more rasters, a function of a small area from other rasters, or a function of entire rasters. Local operations have their main applications in computer graphics, while remote operations are more oriented towards image processing. A mathematically oriented notation is used to define and represent the operations included. RasterCalc has been implemented as a procedure package in Pascal, to be used on a powerful, yet expensive display. Recently a C version has been completed for a personal colour computer with a special chip for raster operations. The work reported in this paper is partially supplied by the Dutch Technical Sciences Foundation, under project number LWI 14.0130: “Facilities for raster graphics in programming languages”     

Synthesis,characterization and ion exchange properties of zirconium(IV) tungstoiodophosphate,a new cation exchanger

Zirconium(IV) tungstoiodophosphate has been synthesized under a variety of conditions. The most chemically and thermally stable sample is prepared by adding a mixture of aqueous solutions of 0·5 mol L⁻¹ sodium tungstate, potassium iodate and 1 mol L⁻¹ orthophosphoric acid to aqueous solution of 0·1 mol L⁻¹ zirconium(IV) oxychloride. Its ion exchange capacity for Na⁺ and K⁺ was found to be 2·20 and 2·35 meq g⁻¹ dry exchanger, respectively. The material has been characterized on the basis of chemical composition, pH titration, Fourier transform infrared spectroscopy (FTIR) and thermogravimetric analysis. The effect on the exchange capacity of drying the exchanger at different temperatures has been studied. The analytical importance of the material has been established by quantitative separation of Pb²⁺ from other metal ions.     

Dielectric and thermal characteristics of gel grown single crystals of ytterbium tartrate trihydrate

Dielectric and thermal characteristics of gel grown single crystals of ytterbium tartrate trihydrate have been carried out. The dielectric constant has been measured as a function of frequency in the range 2 kHz–1 MHz and temperature range 30–300 °C. The dielectric constant increases with temperature, attains a peak near 215 °C, and then decreases as the temperature exceeds 215 °C. The dielectric anomaly at 215 °C is suggested to be due to phase transition brought about in the material. The dielectric behaviour of the material is correlated with the results on thermal analysis. Thermogravimetric and differential thermal analysis have been used to study the thermal characteristics of the material. The experimental results show that the material is thermally stable up to 200 °C. The decomposition process occurs in two stages until ytterbium oxide is formed at 700 °C. The non-isothermal kinetic parameters e.g., activation energy and the frequency factor have been evaluated for each stage of thermal decomposition by using the integral method, applying the Coats–Redfern approximation.     

Microwave-Assisted Graphite-Support Synthesis of Imidazolones

5(4H)-Oxazolones react with ammonium acetate under microwave irradiation and using graphite as support in an eco-friendly process. The reaction was carried out under solvent-free conditions and the imidazolones were obtained quantitatively. Moreover the reaction time was reduced too.     

Evaluation of Digitally Encoded Layer‐by‐layer Coated Microparticles as Cell Carriers

To obtain more biologically relevant data there is a growing interest in the use of living cells for assaying the biological activity of unknown chemical compounds. Density ‘multiplex’ cell‐based assays, where different cell types are mixed in one well and simultaneously investigated upon exposure to a certain compound are beginning to emerge. To be able to identify the cells they should be attached to microscopic carriers that are encoded. This paper investigates how digitally encoded microparticles can be loaded with cells while keeping the digital code in the microcarriers readable. It turns out that coating the surface of the encoded microcarriers with polyelectrolytes using the layer‐by‐layer (LbL) approach provides the microcarriers with a ‘highly functional’ surface. The polyelectrolyte layer allows the growth of the cells, allows the orientation of the cell loaded microcarriers in a magnetic field, and does not hamper the reading of the code. It has further been shown that the cells growing on the polyelectrolyte layer can become transduced by adenoviral particles hosted by the polyelectrolyte layer. It is concluded that the digitally encoded microparticles are promising materials for use in biomedical and pharmaceutical in‐vitro research where cells are used as tools.