Learn More
When program verification fails, it is often hard to understand what went wrong in the absence of concrete executions that expose parts of the implementation or specification responsible for the failure. Automatic generation of such tests would require “executing” the complex specifications typically used for verification (with unbounded quantification and(More)
We have developed a method that implies the use of a particular type of substrate which can be used in combination with alkaline phosphatase in detecting nucleic acid on filters. The method allows the detection of several different nucleic acid sequences on a single filter. In consecutive steps, the target DNA molecules are hybridized with different(More)
A method which allows discrete nucleic acid sequences to be detected with differently colored hybridization signals on the same blot involving only a single hybridization step is described. Nucleic acid probes labeled with digoxigenin, fluorescein, or biotin are hybridized simultaneously to immobilized target nucleic acids. Differential colorimetric(More)
Increasing the initial temperature of the rice fermentation of Aspergillus parasiticus NRRL 2999 from 15 to 21 C after 24 h of incubation and then to 28 C after 48 h resulted in about a fourfold increase in total aflatoxin over the usual fermentation which is held constant at 28 C for 6 days. The percentage of aflatoxin B(1), the most toxic component, in(More)
We have developed a homogeneous high-capacity assay format for measuring integrin- and selectin-dependent cell binding to immobilized ligand using V-well microtiter plates. 2',7'-Bis(2-carboxyethyl)-5-(and-6)-carboxylfluorescence, acetoxymethylester-labeled cells are added to ligand-coated V-shaped microtiter wells. Bound cells are separated from free cells(More)
Despite the advancements of concurrency theory in the past decades, practical concurrent programming has remained a challenging activity. Fundamental problems such as data races and deadlocks still persist for programmers since available detection and prevention tools are unsound or have otherwise not been well adopted. In an alternative approach,(More)
Developers face a wide choice of programming languages and libraries supporting multicore computing. Ever more diverse paradigms for expressing parallelism and synchronization become available while their influence on usability and performance remains largely unclear. This paper describes an experiment comparing four markedly different approaches to(More)
When program verification fails, it is often hard to understand what went wrong in the absence of concrete executions that expose parts of the implementation or specification responsible for the failure. Automatic generation of such tests would require “executing” the complex specifications typically used for verification (with unbounded quantification and(More)