Learning Moore Machines from Input-Output Traces

The problem of learning automata from example traces (but no equivalence or membership queries) is fundamental in automata learning theory and practice. In this paper we study this problem for finite state machines with inputs and outputs, and in particular for Moore machines. We develop three algorithms for solving this problem: (1) the PTAP algorithm, which transforms a set of input-output traces into an incomplete Moore machine and then completes the machine with self-loops; (2) the PRPNI algorithm, which uses the well-known RPNI algorithm for automata learning to learn a product of automata encoding a Moore machine; and (3) the MooreMI algorithm, which directly learns a Moore machine using PTAP extended with state merging. We prove that MooreMI has the fundamental identification in the limit property. We also compare the algorithms experimentally in terms of the size of the learned machine and several notions of accuracy, introduced in this paper. Finally, we compare with OSTIA, an algorithm that learns a more general class of transducers, and find that OSTIA generally does not learn a Moore machine, even when fed with a characteristic sample

Detectability of colorectal neoplasia with fluorine-18-2-fluoro-2-deoxy-D-glucose positron emission tomography and computed tomography (FDG-PET/CT)

The purpose of this study was to analyze the detectability of colorectal neoplasia with fluorine-18-2-fluoro-2-deoxy-d-glucose positron emission tomography/computed tomography (FDG-PET/CT). Data for a total of 492 patients who had undergone both PET/CT and colonoscopy were analyzed. After the findings of PET/CT and colonoscopy were determined independently, the results were compared in each of the six colonic sites examined in all patients. The efficacy of PET/CT was determined using colonoscopic examination as the gold standard. In all, 270 colorectal lesions 5 mm or more in size, including 70 pathologically confirmed malignant lesions, were found in 172 patients by colonoscopy. The sensitivity and specificity of PET/CT for detecting any of the colorectal lesions were 36 and 98%, respectively. For detecting lesions 11 mm or larger, the sensitivity was increased to 85%, with the specificity remaining consistent (97%). Moreover, the sensitivity for tumors 21 mm or larger was 96% (48/50). Tumors with malignant or high-grade pathology were likely to be positive with PET/CT. A size of 10 mm or smaller [odds ratio (OR) 44.14, 95% confidence interval (95% CI) 11.44-221.67] and flat morphology (OR 7.78, 95% CI 1.79-36.25) were significant factors that were associated with false-negative cases on PET/CT. The sensitivity of PET/CT for detecting colorectal lesions is acceptable, showing size- and pathology-dependence, suggesting, for the most part, that clinically relevant lesions are detectable with PET/CT. However, when considering PET/CT for screening purposes caution must be exercised because there are cases of false-negative results

Dynamics of DNA replication loops reveal temporal control of lagging-strand synthesis

In all organisms, the protein machinery responsible for the replication of DNA, the replisome, is faced with a directionality problem. The antiparallel nature of duplex DNA permits the leading-strand polymerase to advance in a continuous fashion, but forces the lagging-strand polymerase to synthesize in the opposite direction. By extending RNA primers, the lagging-strand polymerase restarts at short intervals and produces Okazaki fragments. At least in prokaryotic systems, this directionality problem is solved by the formation of a loop in the lagging strand of the replication fork to reorient the lagging-strand DNA polymerase so that it advances in parallel with the leading-strand polymerase. The replication loop grows and shrinks during each cycle of Okazaki fragment synthesis. Here we use single-molecule techniques to visualize, in real time, the formation and release of replication loops by individual replisomes of bacteriophage T7 supporting coordinated DNA replication. Analysis of the distributions of loop sizes and lag times between loops reveals that initiation of primer synthesis and the completion of an Okazaki fragment each serve as a trigger for loop release. The presence of two triggers may represent a fail-safe mechanism ensuring the timely reset of the replisome after the synthesis of every Okazaki fragment.

Acquisition of pneumococci specific effector and regulatory Cd4+ T cells localising within human upper respiratory-tract mucosal lymphoid tissue

The upper respiratory tract mucosa is the location for commensal Streptococcus (S.) pneumoniae colonization and therefore represents a major site of contact between host and bacteria. The CD4(+) T cell response to pneumococcus is increasingly recognised as an important mediator of immunity that protects against invasive disease, with data suggesting a critical role for Th17 cells in mucosal clearance. By assessing CD4 T cell proliferative responses we demonstrate age-related sequestration of Th1 and Th17 CD4(+) T cells reactive to pneumococcal protein antigens within mucosal lymphoid tissue. CD25(hi) T cell depletion and utilisation of pneumococcal specific MHCII tetramers revealed the presence of antigen specific Tregs that utilised CTLA-4 and PDL-1 surface molecules to suppress these responses. The balance between mucosal effector and regulatory CD4(+) T cell immunity is likely to be critical to pneumococcal commensalism and the prevention of unwanted pathology associated with carriage. However, if dysregulated, such responses may render the host more susceptible to invasive pneumococcal infection and adversely affect the successful implementation of both polysaccharide-conjugate and novel protein-based pneumococcal vaccines

Accounting Problems Under the Excess Profits Tax

DNA vaccines based on subunits from pathogens have several advantages over other vaccine strategies. DNA vaccines can easily be modified, they show good safety profiles, are stable and inexpensive to produce, and the immune response can be focused to the antigen of interest. However, the immunogenicity of DNA vaccines which is generally quite low needs to be improved. Electroporation and co-delivery of genetically encoded immune adjuvants are two strategies aiming at increasing the efficacy of DNA vaccines. Here, we have examined whether targeting to antigen-presenting cells (APC) could increase the immune response to surface envelope glycoprotein (Env) gp120 from Human Immunodeficiency Virus type 1 (HIV- 1). To target APC, we utilized a homodimeric vaccine format denoted vaccibody, which enables covalent fusion of gp120 to molecules that can target APC. Two molecules were tested for their efficiency as targeting units: the antibody-derived single chain Fragment variable (scFv) specific for the major histocompatilibility complex (MHC) class II I-E molecules, and the CC chemokine ligand 3 (CCL3). The vaccines were delivered as DNA into muscle of mice with or without electroporation. Targeting of gp120 to MHC class II molecules induced antibodies that neutralized HIV-1 and that persisted for more than a year after one single immunization with electroporation. Targeting by CCL3 significantly increased the number of HIV-1 gp120-reactive CD8(+) T cells compared to non-targeted vaccines and gp120 delivered alone in the absence of electroporation. The data suggest that chemokines are promising molecular adjuvants because small amounts can attract immune cells and promote immune responses without advanced equipment such as electroporation.Funding Agencies|Research Council of Norway; Odd Fellow</p

One-step isolation and biochemical characterization of a highlyactive plant PSII monomeric core

We describe a one-step detergent solubilization protocol for isolating a highly active form of Photosystem II (PSII) from Pisum sativum L. Detailed characterization of the preparation showed that the complex was a monomer having no light harvesting proteins attached. This core reaction centre complex had, however, a range of low molecular mass intrinsic proteins as well as the chlorophyll binding proteins CP43 and CP47 and the reaction centre proteins D1 and D2. Of particular note was the presence of a stoichiometric level of PsbW, a low molecular weight protein not present in PSII of cyanobacteria. Despite the high oxygen evolution rate, the core complex did not retain the PsbQ extrinsic protein although there was close to a full complement of PsbO and PsbR and partial level of PsbP. However, reconstitution of PsbP and PsbPQ was possible. The presence of PsbP in absence of LHCII and other chlorophyll a/b binding proteins confirms that LHCII proteins are not a strict requirement for the assembly of this extrinsic polypeptide to the PSII core in contrast with the conclusion of Caffarri et al. (2009)

From the Eye of the Albatrosses: A Bird-Borne Camera Shows an Association between Albatrosses and a Killer Whale in the Southern Ocean

Albatrosses fly many hundreds of kilometers across the open ocean to find and feed upon their prey. Despite the growing number of studies concerning their foraging behaviour, relatively little is known about how albatrosses actually locate their prey. Here, we present our results from the first deployments of a combined animal-borne camera and depth data logger on free-ranging black-browed albatrosses (Thalassarche melanophrys). The still images recorded from these cameras showed that some albatrosses actively followed a killer whale (Orcinus orca), possibly to feed on food scraps left by this diving predator. The camera images together with the depth profiles showed that the birds dived only occasionally, but that they actively dived when other birds or the killer whale were present. This association with diving predators or other birds may partially explain how albatrosses find their prey more efficiently in the apparently ‘featureless’ ocean, with a minimal requirement for energetically costly diving or landing activities

“Lossless” compression of high resolution mass spectra of small molecules

Fourier transform ion cyclotron resonance (FTICR) provides the highest resolving power of any commercially available mass spectrometer. This advantage is most significant for species of low mass-to-charge ratio (m/z), such as metabolites. Unfortunately, FTICR spectra contain a very large number of data points, most of which are noise. This is most pronounced at the low m/z end of spectra, where data point density is the highest but peak density low. We therefore developed a filter that offers lossless compression of FTICR mass spectra from singly charged metabolites. The filter relies on the high resolving power and mass measurement precision of FTICR and removes only those m/z channels that cannot contain signal from singly charged organic species. The resulting pseudospectra still contain the same signal as the original spectra but less uninformative background. The filter does not affect the outcome of standard downstream chemometric analysis methods, such as principal component analysis, but use of the filter significantly reduces memory requirements and CPU time for such analyses. We demonstrate the utility of the filter for urinary metabolite profiling using direct infusion electrospray ionization and a 15 tesla FTICR mass spectrometer