Forced intercalation probes (FIT Probes): thiazole orange as a fluorescent base in peptide nucleic acids for homogeneous single-nucleotide-polymorphism detection

Fluorescent base analogues in DNA are versatile probes of nucleic acid-nucleic acid and nucleic acid-protein interactions. New peptide nucleic acid (PNA) based probes are described in which the intercalator dye thiazole orange (TO) serves as a base surrogate. The investigation of six TO derivatives revealed that the linker length and the conjugation site decided whether a base surrogate conveys sequence-selective DNA binding and whether fluorescence is increased or decreased upon single-mismatched hybridization. One TO derivative conferred universal PNA-DNA base pairing while maintaining duplex stability and hybridization selectivity. TO fluorescence increased up to 26-fold upon hybridization. In contrast to most other probes, in which fluorescence is invariant once hybridization had occurred, the emission of TO-containing PNA probes is attenuated when forced to intercalate next to a mismatched base pair. The specificity of DNA detection is therefore not limited by the selectivity of probe-target binding and a DNA target can be distinguished from its single-base mutant under nonstringent hybridization conditions. This property should be of advantage for real-time quantitative PCR and nucleic acid detection within living cells.     

Proof Complexity of Modal Resolution

Journal of Automated Reasoning - We investigate the proof complexity of modal resolution systems developed by Nalon and Dixon (J Algorithms 62(3–4):117–134, 2007) and Nalon et al. (in:...     

State Observation and Diagnosis of Discrete-Event Systems Described by Stochastic Automata

The problems ofstate observation and diagnosis are solved for discrete–eventsystems, which are described by stochastic automata. As manysystems are not observable in the sense that it is possible toreconstruct the state unambiguously, the observation problemis set up as the problem of determining the smallest possibleset of states that are compatible with the measured input andoutput sequences. The diagnostic problem is shown to be, in principle,an observation problem. Conditions for the observability anddiagnosability of stochastic automata are presented. The resultsare illustrated by examples.     

MVA-vaccine in primovaccination against smallpox after the age of three (author's transl)

These are the results of 417 primary vaccinations against smallpox with MVA, an attenuated vaccine. All of the patients were over three years old. In Europe, this group has an increased risk of postvaccinal encephalitis. The intracutaneous inoculation produced a light local infiltration and only 11.7% showed a light generalized reaction. In order to attain a reliable immunity, a second inoculation was performed one week later, epicutaneously with Elstree-vaccine. The local reaction was in general that of a normal revaccination, and 79.4% of our patients had neither fever nor general symptoms. Among the others no one became seriously ill. We did not observe any complications specific for a smallpox vaccination. In comparison to the other vaccination methods currently used, the MVA "Two-step"-vaccination is probably the safest. Its risk of a postvaccinal encephalitis is supposed to be lower according to animal experiments and theoretical considerations. This hypothesis has been confirmed meanwhile by the results of several thousand vaccinations in the already mentioned age-group.