On the asymptotic enumeration of accessible automata

We simplify the known formula for the asymptotic estimate of the number of deterministic and accessible automata with n states over a k-letter alphabet. The proof relies on the theory of Lagrange inversion applied in the context of generalized binomial series.

Evaluation of culture media for enumeration of Lactobacillus acidophilus, Lactobacillus casei and Bifidobacterium animalis in the presence of Lactobacillus delbrueckii subsp bulgaricus and Streptococcus thermophilus

The study compared the growth capability of probiotic (Lactobacillus acidophilus La05, Lactobacillus casei Lc01 and Bifidobacterium animalis Bb12) and non-probiotic (Lactobacillus delbrueckii subsp bulgaricus and Streptococcus thermophilus) cultures on twenty-one culture media grouped according to selectivity: nonselective agars, selective agars without antibiotics and MRS agars containing different combinations of lithium chloride, cystein, bile salts and antibiotics. Four of these media were selected for quantitative enumeration of L acidophilus La05, L casei Lc01, and B. animalis Bb12. The best culture media and incubation conditions for enumeration of the probiotic cultures were: B. animalis: MRS agar with dicloxacillin, 37 degrees C or 42 degrees C, anaerobiosis; L acidophilus: MRS agar with bile salts, 37 degrees C or 42 degrees C, aerobiosis; L casei: MRS agar with lithium chloride and sodium propionate, 37 degrees C or 42 degrees C, aerobiosis or anaerobiosis. Plating on MRS with glucose replaced by maltose, 37 degrees C or 42 degrees C, anaerobiosis, will distinguish probiotic from non-probiotic cultures. For enumeration of each probiotic in a mixed culture, the following media and incubation conditions were recommended: B. animalis: 4ABC-MRS, 42 degrees C, anaerobiosis, L acidophilus: LC medium, 42 degrees C, aerobiosis or anaerobiosis and L casei: LP-MRS, 42 degrees C, aerobiosis or anaerobiosis. In all experiments, differences in counts using pour plating or surface plating were not significant (P <= 0.05). (C) 2008 Swiss Society of Food Science and Technology. Published by Elsevier Ltd. All rights reserved.

Practical parallel coset enumeration

Coset enumeration is a most important procedure for investigating finitely presented groups. We present a practical parallel procedure for coset enumeration on shared memory processors. The shared memory architecture is particularly interesting because such parallel computation is both faster and cheaper. The lower cost comes when the program requires large amounts of memory, and additional CPU's. allow us to lower the time that the expensive memory is being used. Rather than report on a suite of test cases, we take a single, typical case, and analyze the performance factors in-depth. The parallelization is achieved through a master-slave architecture. This results in an interesting phenomenon, whereby the CPU time is divided into a sequential and a parallel portion, and the parallel part demonstrates a speedup that is linear in the number of processors. We describe an early version for which only 40% of the program was parallelized, and we describe how this was modified to achieve 90% parallelization while using 15 slave processors and a master. In the latter case, a sequential time of 158 seconds was reduced to 29 seconds using 15 slaves.

Performance of Petrifilm Aerobic Count plates on enumeration of lactic acid bacteria in fermented milks

This study aimed to compare Petrifilm Aerobic Count (AC) plates and the conventional pour plate methodology using the de Man-Rogosa-Sharpe (MRS) agar for the enumeration of lactic acid bacteria (LAB) in fermented milks (FMs), with different starter cultures added. FM samples (n = 66) were collected and plated on both methodologies, with incubation under anaerobic conditions at 35C for 48 h. The count results were compared by analysis of variance (P <= 0.05) and regression analysis. No differences between the mean counts obtained by both methodologies were observed, even when distinct FMs were compared. Considering all samples, a high correlation level was obtained between Petrifilm AC and MRS agar (r = 0.92), but these indexes were lower in FMs with Streptococcus thermophilus and Lactobacillus delbrueckii subsp. bulgaricus (r = 0.90) and Lactobacillus fortis (r = 0.81). Despite some slight interferences, Petrifilm AC has proven to be a convenient methodology on enumerating LAB in FM.

Parallel improved Schnorr-Euchner enumeration SE++ for the CVP and SVP

The Closest Vector Problem (CVP) and the Shortest Vector Problem (SVP) are prime problems in lattice-based cryptanalysis, since they underpin the security of many lattice-based cryptosystems. Despite the importance of these problems, there are only a few CVP-solvers publicly available, and their scalability was never studied. This paper presents a scalable implementation of an enumeration-based CVP-solver for multi-cores, which can be easily adapted to solve the SVP. In particular, it achieves super-linear speedups in some instances on up to 8 cores and almost linear speedups on 16 cores when solving the CVP on a 50-dimensional lattice. Our results show that enumeration-based CVP-solvers can be parallelized as effectively as enumeration-based solvers for the SVP, based on a comparison with a state of the art SVP-solver. In addition, we show that we can optimize the SVP variant of our solver in such a way that it becomes 35%-60% faster than the fastest enumeration-based SVP-solver to date.

Plantae Wilsonianae :an enumeration of the woody plants collected in western China for the Arnold arboretum of Harvard university during the years 1907, 1908, and 1910 /by E. H. Wilson, ed. by Charles Sprague Sargent.

1916 v.2

Plantae Wilsonianae :an enumeration of the woody plants collected in western China for the Arnold arboretum of Harvard university during the years 1907, 1908, and 1910 /by E. H. Wilson, ed. by Charles Sprague Sargent.

1917 v.3

Plantae Wilsonianae :an enumeration of the woody plants collected in western China for the Arnold arboretum of Harvard university during the years 1907, 1908, and 1910 /by E. H. Wilson, ed. by Charles Sprague Sargent.

1913 v.1

Evaluation of the use of PetrifilmTM EB count plates for the enumeration of Enterobacteriaceae in poultry samples

A test that is rapid, simple, accurate, not expensive, gives rapid results, and is sensitive enough to detect low levels of microorganisms would be the most suitable for food industry routine laboratories, or even for a public health laboratories. A ready-to-use alternative, commercially available method is the PetrifilmTM EB method. The aim of this study was to evaluate whether there is a statistically significant difference between the conventional methods based on Violet Red Bile Glucose Agar and the alternative 3M TM Petrifilm (EB) method for the enumeration of Enterobacteriaceae in poultry carcasses. This study also assessed whether the alternative method showed ability to produce results that were directly proportional to the concentration of the target (approximately 270 colony-forming unit.mL-1). A total of 120 poultry carcasses samples showed a significant difference (p < 0.05) between the populations obtained by the two methods, and the conventional method showed low proportionality between the dilutions. On the other hand, the PetrifilmTM EB quantification system showed the capacity to produce results that are proportional to the concentration of the analyte in samples in the concentration range from 1 to 256 colony-forming unit.mL-1.

Detection and enumeration of sulphate-reducing bacteria in estuarine sediments by competitive PCR

The distribution of sulphate-reducing bacteria (SRB) in the sediments of the Colne River estuary, Essex, UK covering different saline concentrations of sediment porewater was investigated by the use of quantitative competitive PCR. Here, we show that a new PCR primer set and a new quantitative method using PCR are useful tools for the detection and the enumeration of SRB in natural environments. A PCR primer set selective for the dissimilatory sulphite reductase gene (dsr) of SRB was designed. PCR amplification using the single set of dsr-specific primers resulted in PCR products of the expected size from all 27 SRB strains tested, including Gram-negative and positive species. Sixty clones derived from sediment DNA using the primers were sequenced and all were closely related with the predicted dsr of SRB. These results indicate that PCR using the newly designed primer set are useful for the selective detection of SRB from a natural sample. This primer set was used to estimate cell numbers by dsr selective competitive PCR using a competitor, which was about 20% shorter than the targeted region of dsr. This procedure was applied to sediment samples from the River Colne estuary, Essex, UK together with simultaneous measurement of in situ rates of sulphate reduction. High densities of SRB ranging from 0.2 - 5.7 × 108 cells ml-1 wet sediment were estimated by the competitive PCR assuming that all SRB have a single copy of dsr. Using these estimates cell specific sulphate reduction rates of 10-17 to 10-15 mol of SO42- cell-1 day-1 were calculated, which is within the range of, or lower than, those previously reported for pure cultures of SRB. Our results show that the newly developed competitive PCR technique targeted to dsr is a powerful tool for rapid and reproducible estimation of SRB numbers in situ and is superior to the use of culture-dependent techniques.