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.     

A PC program for diagnosing abnormal growth, growth velocity and acceleration from longitudinal observations

A human fibroblastic cell line transformed by the SV40-T antigen sequence and continuously cultured for 7 months displayed large periodic variations in cell proliferation. This contrasted with other characteristics of this cell line that remained constant: mosaic cell shape, absence of cell contact inhibition, and predominance of a hypodiploid population. Similar fluctuations in proliferative capacity were also found during the long-term growth of a transformed but nonimmortalized human fibroblastic line prior to senescence, and in the established hamster fibroblastic Nil cell line. This growth pattern suggests a recurrent stimulation of growth in these three transformed cell lines. The proliferation pattern from cultured transformed cells may thus be complex and requires further investigation. These variations presumably influence major cell functions. This observation has important implications for the analysis of data from such cell lines.     

Natural convective flow between an array of vertical cylinders

The natural-convectioe flow of a viscous and heat-conducting fluid in systems of cylinders, arranged vertically in regular patterns, is studied. The aim of the study is to determine the conditions of stability of the fluid when heated from below and cooled from above. In particular, the influence of geometry and thermal properties of the system on the free stationary convection are studied. A new way of calculating the free convection threshold is proposed. The final results are analytical formulas for determining the critical Rayleigh numbers for the studied forms of flow and graphs, showing the dependency of these numbers on the geometrical parameters of arrays.     

Formation of linear aldehydes during surface water preozonization and their removal in water treatment in relation to mutagenic activity and sum parameters

Low molecular weight aldehydes were formed during surface water preozonization, their levels showing a positive correlation with increasing ozone dose applied and with increasing water temperature. A strong negative correlation was observed between aldehyde levels and U.V. absorbance at 254 nm.Coagulation had no influence on the aldehydes present and the influence of rapid double layer filtration varied strongly with temperature : significant removals were only observed above 10°C.Mutagenic activity generated by preozonization in Salmonella typhimurium TA98 shows an ozone dose depending relationship different from the formation of linear aldehydes. Its removal by coagulation is not effective but rapid double layer filtration reduces mutagenic activity to marginal levels.In this respect too no clear parallel can be drawn between the presence of low molecular weight aldehydes and mutagenic activity.     

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”     

An interregional labour market model incorporating vacancy chains and social security

This paper deals with three aspects of interregional demo-economic models which are important with respect to the analysis of regional labour market developments. First, attention is paid to forecasts of the exogenous regional variables, such as investments, exports, etc. Because data at the regional level are usually scarce, it is suggested to make these projections by means of a top-down model. Second, the social security sector is incorporated in the model framework, because changes in social security benefits, which are common in many Western countries nowaday, usually have substantial impacts on regional economic and demographic structures. Third, a vacancy chain model instead of a simple employment growth equation is tied to the standard demo-economic model framework. In this way not only employment growth but also migration, job mobility and related income effects can be taken into account.     

Understanding TES microcalorimeter noise and energy resolution

We have performed numerical calculations of the noise in voltage-biased superconducting transition edge-based X-ray microcalorimeters, using a finite-element model. Details of the model are discussed, as well as results for different absorber geometries. The results are in agreement with an analytical model and show that the amount of internal thermal fluctuation noise can be reduced by using a segmented absorber. The simulation also agrees well with experimental data, which, for our detectors, contain no major unidentified noise sources. Furthermore, the discrepancy between the (small-signal) theoretical and the measured energy resolutions for 5.9 keV X-rays, for our sensors typically a factor of 2, is explained by a more accurate modelling of the sensor responsivity, taking into account the large signal behaviour.