Abstract: The present invention is an indirect AMFPI wherein a phosphor such as a structured cesium iodide (CsI) is used to convert x-ray energy to optical photons or a charge, which is then detected by a two-dimensional array of either thin-film transistors (TFTs) such as an amorphous a-Se TFTs or a photodiode array. A scanning control circuit generates pulses to turn on the TFTs one row at a time, and thus the charge in the individual arrays is transferred from the TFT to one or more external charge-sensitive amplifiers. The charge-sensitive amplifiers are shared by all the pixels in the same column. The two-dimensional array can be read in real time.

Abstract: The present invention provides an improved means of treating tracheobronchitis, bronchiectasis and pneumonia in the nosocomial patient, preferably with aerosolized anti gram-positive and anti-gram negative antibiotics administered in combination or in seriatim in reliably sufficient amounts for therapeutic effect. In one aspect, the invention assures this result when aerosol is delivered into the ventilator circuit. In one embodiment the result is achieved mechanically. In another embodiment, the result is achieved by aerosol formulation. In another aspect, the invention assures the result when aerosol is delivered directly to the airways distal of the ventilator circuit. The treatment means eliminates the dosage variability that ventilator systems engender when aerosols are introduced via the ventilator circuit.

Abstract: Software for, and a method of using a computer for, specifying and verifying synchronous and asynchronous concurrent systems. The method comprises specifying software in a design language possessing a formal semantics; simulating the design in accordance with its formal semantics; verifying that the design satisfies predetermined requirements; generating test cases and; generating software code. The method includes the steps of inputting by a graphical editor and a textual editor a formal design of the software, inputting desired properties as formulas in temporal logic, and verifying automatically if the formal design satisfies the desired properties.

Abstract: A process and apparatus for detecting the mobility of fluorescently labeled molecules in response to a force is disclosed. The fluorescently labeled molecules are placed in a fluid medium such as an electrophoretic gel in a capillary tube. An electric field is applied to induce the movement of the molecules. A region of the labeled molecules is photobleached leaving a geometrically defined region which has not been photobleached. The region which has not been photobleached is excited by a reading beam. The reading and the photobleaching beams can be generated by focusing a laser through a diffraction grading. The intensity produced by the interaction of the reading beam in the geometrically defined region of the molecule is detected by a photo detector. In detecting more than one spThis invention was partially made with Government support under the polymers program of the National Science Foundation DMR8617820. The Government has certain rights in the invention.