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.     

Insertional re-activation of a chloramphenicol acetyltransferase misfolding mutant protein

The deletion of nine residues from the C-terminus of the bacterialchloramphenicol acetyltransferase (CAT) results in depositionof the mutant protein in cytoplasmic inclusion bodies and lossof chloramphenicol resistance in Escherichia coli. This foldingdefect is relieved by C-terminal fusion of the polypeptide withas few as two residues. Based on these observations, efficientpositive selection for the cloning of DNA fragments has beendemonstrated. The cloning vector encodes a C-terminally truncatedCAT protein. Restriction sites in front of the stop codon allowthe insertion of target DNA, resulting in the production ofproperly folded CAT fusion proteins and regained chloramphenicolresistance. The positive selection of recombinants is accomplishedby growth of transformants on chloramphenicol-containing agarplates. The method appears particularly convenient for the cloningof DNA fragments amplified by the PCR because minimal informationto restore CAT folding can be included in the primers. The cloningof random sequences shows that the folding defect can be relievedby fusion to a wide variety of peptides, providing great flexibilityto the positive selection system. This vector may also contributeto the determination of the role of the C-terminus in CAT folding.     

Sequence capture-PCR improves detection of mycobacterial DNA in clinical specimens

The rapid identification of mycobacterial DNA in clinical samples by PCR can be useful in the diagnosis of tuberculous infections, but several large studies have found that the sensitivity of this approach is not better than that of culture. In order to improve the sensitivity of detection of mycobacterial DNA in clinical specimens from patients with paucibacillary forms of tuberculosis, we have developed a procedure permitting the specific capture of mycobacterial DNA in crude samples prior to amplification, thereby concentrating the target sequences and removing irrelevant DNA and other potential inhibitors of the amplification reaction (sequence capture-PCR). By using this approach to capture and amplify two different sequences specific for organisms of the Mycobacterium tuberculosis complex (IS6110 and the direct repeat region), it was possible to detect as little as one genome of mycobacterial DNA in samples containing up to 750 micrograms of total DNA, representing a 10- to 100-fold increase in sensitivity compared with that obtained by purifying total DNA prior to amplification. Detection of the IS6110 sequence in pleural fluid samples from patients with tuberculous pleurisy by sequence capture-PCR gave positive results in 13 of 17 cases, including 3 of 3 culture-positive samples and 10 of 14 culture-negative samples. In contrast, when total DNA was purified from these samples by adsorption to a silica matrix prior to amplification, only the three culture-positive samples were positive by PCR. The sensitivity of detection of the direct repeat sequence in these samples by sequence capture-PCR was similar to that of IS6110 and, in addition, permitted immediate typing of the strains from some patients. We conclude that sequence capture-PCR improves the sensitivity of detection of mycobacterial DNA in paucibacillary samples. This approach should be useful in detecting rare target sequences from organisms implicated in other pathologic processes.     

Nitric oxide reduction and carbon monoxide oxidation over carbon-supported copper-chromium catalysts

Carbon supported copper-chromium catalysts are shown to be very active for both the reduction of nitric oxide with carbon monoxide and the oxidation of carbon monoxide with oxygen. Mixed copper-chromium oxide active phases have good activity in the simultaneous removal of nitric oxide and carbon monoxide from exhaust gases. The influence of several catalyst variables has been investigated. The activity per volume of catalyst increases with increasing loading, while the intrinsic activity shows a maximum around C/M=100−50. An optimum catalyst for nitric oxide reduction and carbon monoxide oxidation has a copper/chromium ratio of 2/1. The apparent activation energy for the carbon monoxide oxidation over carbon supported copper-chromium catalysts is 77 kJ/mol, suggesting that the Cu---O bond rupture is the rate-limiting process. The reduction of nitric oxide takes place at higher temperatures. Since all catalysts have a low selectivity for molecular nitrogen formation at lower temperatures, the dissociation of nitric oxide is probably rate determining, resulting in a slightly reduced catalyst system. In an excess of carbon monoxide the reaction is first-order in nitric oxide and zero-order in carbon monoxide. Moisture inhibits the reaction by reversible competitive adsorption, whereas carbon dioxide does not. Oxygen completely inhibits the reduction of nitric oxide due to the more rapid reoxidation of the catalytic sites compared to nitric oxide. Therefore, the reduction of nitric oxide takes place only when all oxygen has been converted and, hence, is shifted to higher temperatures. As a possible consequence, the production of nitrous oxide is reduced. Nitric oxide and molecular oxygen react preferentially with carbon monoxide, so, in an excess of oxidizing component, gasification of the carbon support occurs at higher temperatures after carbon monoxide has been completely consumed.     

Why is software late? An empirical study of reasons for delay insoftware development

A study of the reasons for delay in software development is described. The aim of the study was to gain an insight into the reasons for differences between plans and reality in development activities in order to be able to take actions for improvement. A classification was used to determine the reasons. 160 activities, comprising over 15000 hours of work, have been analyzed. The results and interpretations of the results are presented. Insight into the predominant reasons for delay enabled actions for improvements to be taken in the department concerned. Because the distribution of reasons for delay varied widely from one department to another, it is recommended that every department should gain an insight into its reasons for delay in order to be able to take adequate actions for improvement     

Efficient QoS support in a slotted multihop WDM metro ring

A novel distributed access protocol for a slotted wavelength-division-multiplexing (WDM) metro ring employing all-optical packet switching and supporting quality-of-service (QoS) classes is presented and analyzed. Since we assume that there are more nodes than available wavelengths in the network, we obtain a scalable multihop WDM ring as underlying network architecture. By dividing each channel into several time slots and further applying destination release and slot reuse, data packets can be efficiently transmitted and received in a statistically multiplexed manner. In our architecture, each node is equipped with one tunable transmitter and one fixed-tuned receiver. Furthermore, as we generally consider so-called a posteriori access strategies, different packet selection schemes are proposed and compared. An analytical model based on the semi-Markov process methodology is developed to quantify the performance of one of these schemes. As a key element of the protocol, an efficient QoS support access mechanism is proposed and its performance is evaluated. The new QoS control scheme adopts a frame-based slot reservation strategy including connection setup and termination, which only slightly increases the signaling and node processing overhead. Thus, an efficient hybrid protocol combining connectionless and connection-oriented packet transmissions is proposed     

Intramolecular crosslinking of poly(vinyl alcohol)

Poly(vinyl alcohol) is crosslinked in dilute solution (c=0.1 wt%) with glutaraldehyde. The reaction product is characterized by viscometry and gel permeation chromatography (g.p.c.). The intrinsic viscosity decreases with increasing degree of crosslinking and does not depend on temperature. G.p.c. reveals that the reaction product is not homogeneous, but consists of a mixture of particles with different sizes, possibly both intra- and intermolecularly crosslinked molecules. The intramolecularly crosslinked molecules are smaller in size than the initial polymer molecules and their size depends on the degree of crosslinking. They possess a narrow particle size distribution even if the initial polymer sample had a broad molecular weight distribution.