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.

On state representations of nonlinear implicit systems

This work considers a semi-implicit system A, that is, a pair (S, y), where S is an explicit system described by a state representation (x)over dot(t) = f(t, x(t), u(t)), where x(t) is an element of R(n) and u(t) is an element of R(m), which is subject to a set of algebraic constraints y(t) = h(t, x(t), u(t)) = 0, where y(t) is an element of R(l). An input candidate is a set of functions v = (v(1),.... v(s)), which may depend on time t, on x, and on u and its derivatives up to a Finite order. The problem of finding a (local) proper state representation (z)over dot = g(t, z, v) with input v for the implicit system Delta is studied in this article. The main result shows necessary and sufficient conditions for the solution of this problem, under mild assumptions on the class of admissible state representations of Delta. These solvability conditions rely on an integrability test that is computed from the explicit system S. The approach of this article is the infinite-dimensional differential geometric setting of Fliess, Levine, Martin, and Rouchon (1999) (`A Lie-Backlund Approach to Equivalence and Flatness of Nonlinear Systems`, IEEE Transactions on Automatic Control, 44(5), (922-937)).

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.

Distinct conformational properties determined by implicit and explicit representation of protein-solvent interactions. An analytical and computer simulation study

In the protein folding problem, solvent-mediated forces are commonly represented by intra-chain pairwise contact energy. Although this approximation has proven to be useful in several circumstances, it is limited in some other aspects of the problem. Here we show that it is possible to achieve two models to represent the chain-solvent system. one of them with implicit and other with explicit solvent, such that both reproduce the same thermodynamic results. Firstly, lattice models treated by analytical methods, were used to show that the implicit and explicitly representation of solvent effects can be energetically equivalent only if local solvent properties are time and spatially invariant. Following, applying the same reasoning Used for the lattice models, two inter-consistent Monte Carlo off-lattice models for implicit and explicit solvent are constructed, being that now in the latter the solvent properties are allowed to fluctuate. Then, it is shown that the chain configurational evolution as well as the globule equilibrium conformation are significantly distinct for implicit and explicit solvent systems. Actually, strongly contrasting with the implicit solvent version, the explicit solvent model predicts: (i) a malleable globule, in agreement with the estimated large protein-volume fluctuations; (ii) thermal conformational stability, resembling the conformational hear resistance of globular proteins, in which radii of gyration are practically insensitive to thermal effects over a relatively wide range of temperatures; and (iii) smaller radii of gyration at higher temperatures, indicating that the chain conformational entropy in the unfolded state is significantly smaller than that estimated from random coil configurations. Finally, we comment on the meaning of these results with respect to the understanding of the folding process. (C) 2009 Elsevier B.V. All rights reserved.

Approximate controllability of second-order distributed implicit functional systems

In this paper we study the approximate controllability of control systems with states and controls in Hilbert spaces, and described by a second-order semilinear abstract functional differential equation with infinite delay. Initially we establish a characterization for the approximate controllability of a second-order abstract linear system and, in the last section, we compare the approximate controllability of a semilinear abstract functional system with the approximate controllability of the associated linear system. (C) 2008 Elsevier Ltd. All rights reserved.

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.

INDEX OF AN IMPLICIT DIFFERENTIAL EQUATION

In this paper we introduce the concept of the index of an implicit differential equation F(x,y,p) = 0, where F is a smooth function, p = dy/dx, F(p) = 0 and F(pp) = 0 at an isolated singular point. We also apply the results to study the geometry of surfaces in R(5).

THE IMPLICIT FUNCTION THEOREM FOR CONTINUOUS FUNCTIONS

In the present paper we obtain a new homological version of the implicit function theorem and some versions of the Darboux theorem. Such results are proved for continuous maps on topological manifolds. As a consequence. some versions of these classic theorems are proved when we consider differenciable (not necessarily C-1) maps.

An implicit technique for solving 3D low Reynolds number moving free surface flows

This paper describes the development of an implicit finite difference method for solving transient three-dimensional incompressible free surface flows. To reduce the CPU time of explicit low-Reynolds number calculations, we have combined a projection method with an implicit technique for treating the pressure on the free surface. The projection method is employed to uncouple the velocity and the pressure fields, allowing each variable to be solved separately. We employ the normal stress condition on the free surface to derive an implicit technique for calculating the pressure at the free surface. Numerical results demonstrate that this modification is essential for the construction of methods that are more stable than those provided by discretizing the free surface explicitly. In addition, we show that the proposed method can be applied to viscoelastic fluids. Numerical results include the simulation of jet buckling and extrudate swell for Reynolds numbers in the range [0.01, 0.5]. (C) 2008 Elsevier Inc. All rights reserved.

Efficient solutions to robust, semi-implicit discretizations of the immersed boundary method

The immersed boundary method is a versatile tool for the investigation of flow-structure interaction. In a large number of applications, the immersed boundaries or structures are very stiff and strong tangential forces on these interfaces induce a well-known, severe time-step restriction for explicit discretizations. This excessive stability constraint can be removed with fully implicit or suitable semi-implicit schemes but at a seemingly prohibitive computational cost. While economical alternatives have been proposed recently for some special cases, there is a practical need for a computationally efficient approach that can be applied more broadly. In this context, we revisit a robust semi-implicit discretization introduced by Peskin in the late 1970s which has received renewed attention recently. This discretization, in which the spreading and interpolation operators are lagged. leads to a linear system of equations for the inter-face configuration at the future time, when the interfacial force is linear. However, this linear system is large and dense and thus it is challenging to streamline its solution. Moreover, while the same linear system or one of similar structure could potentially be used in Newton-type iterations, nonlinear and highly stiff immersed structures pose additional challenges to iterative methods. In this work, we address these problems and propose cost-effective computational strategies for solving Peskin`s lagged-operators type of discretization. We do this by first constructing a sufficiently accurate approximation to the system`s matrix and we obtain a rigorous estimate for this approximation. This matrix is expeditiously computed by using a combination of pre-calculated values and interpolation. The availability of a matrix allows for more efficient matrix-vector products and facilitates the design of effective iterative schemes. We propose efficient iterative approaches to deal with both linear and nonlinear interfacial forces and simple or complex immersed structures with tethered or untethered points. One of these iterative approaches employs a splitting in which we first solve a linear problem for the interfacial force and then we use a nonlinear iteration to find the interface configuration corresponding to this force. We demonstrate that the proposed approach is several orders of magnitude more efficient than the standard explicit method. In addition to considering the standard elliptical drop test case, we show both the robustness and efficacy of the proposed methodology with a 2D model of a heart valve. (C) 2009 Elsevier Inc. All rights reserved.

Emprego de regras de associação para extração de padrões mercadológicos de touros Nelore com avaliação genética

Objetivou-se com este trabalho utilizar regras de associação para identificar forças de mercado que regem a comercialização de touros com avaliação genética pelo programa Nelore Brasil. Essas regras permitem evidenciar padrões implícitos nas transações de grandes bases de dados, indicando causas e efeitos determinantes da oferta e comercialização de touros. Na análise foram considerados 19.736 registros de touros comercializados, 17 fazendas e 15 atributos referentes às diferenças esperadas nas progênies dos reprodutores, local e época da venda. Utilizou-se um sistema com interface gráfica usuário-dirigido que permite geração e seleção interativa de regras de associação. Análise de Pareto foi aplicada para as três medidas objetivas (suporte, confiança e lift) que acompanham cada uma das regras de associação, para validação das mesmas. Foram geradas 2.667 regras de associação, 164 consideradas úteis pelo usuário e 107 válidas para lift ≥ 1,0505. As fazendas participantes do programa Nelore Brasil apresentam especializações na oferta de touros, segundo características para habilidade materna, ganho de peso, fertilidade, precocidade sexual, longevidade, rendimento e terminação de carcaça. Os perfis genéticos dos touros são diferentes para as variedades padrão e mocho. Algumas regiões brasileiras são nichos de mercado para touros sem registro genealógico. A análise de evolução de mercado sugere que o mérito genético total, índice oficial do programa Nelore Brasil, tornou-se um importante índice para comercialização dos touros. Com o uso das regras de associação, foi possível descobrir forças do mercado e identificar combinações de atributos genéticos, geográficos e temporais que determinam a comercialização de touros no programa Nelore Brasil.

Reconciliando divergências: conhecimento implícito e explícito na aprendizagem

O trabalho busca integrar, com base em propostas recentes de vários autores, perspectivas acerca da aprendizagem concebidas como mutuamente excludentes. Essa reflexão se justifica em vista da importância de não se introduzir descontinuidade filogenética em um processo concebido como adaptativo, mas que é também cultural. Assim, são examinadas propostas acerca da coevolução da mente humana e da cultura que apoiariam tal perspectiva, propondo-se uma visão integrada da aprendizagem como um conjunto de processos organizados em um continuum implícito-explícito.

Comparison of full-field electroretinogram in diabetic and non diabetic dogs with cataracts

Being the commonest ocular disorder, dense cataracts disable fundoscopic examination and the diagnosis of retinal disorders, which dogs may be predisposed. The aim of this study was to compare the electroretinographic responses recorded according to the International Society for Clinical Electrophysiology of Vision human protocol to evaluate retinal function of diabetic and non diabetic dogs, both presenting mature or hypermature cataracts. Full-field electroretinogram was recorded from 66 dogs, with ages varying from 6 to 15 years old allocated into two groups: (1) CG, non diabetic cataractous dogs, and (2) DG, diabetic cataractous dogs. Mean peak-to-peak amplitude (microvolts) and b-wave implicit time (milliseconds) were determined for each of the five standard full-field ERG responses (rod response, maximal response, oscillatory potentials, single-flash cone response and 30 Hz flicker). Comparing CG to DG, ERGs recorded from diabetic dogs presented lower amplitude and prolonged b-wave implicit time in all ERG responses. Prolonged b-wave implicit time was statistically significant (p< 0.05) at 30 Hz flicker (24.0 ms versus 22.4 ms). These data suggests full-field ERG is capable to record sensible alterations, such as flicker's implicit time, being useful to investigate retinal dysfunction in diabetic dogs.

Indoor and outdoor atmospheric fungal spores in the São Paulo metropolitan area (Brazil): species and numeric concentrations

The aim of this study was to estimate the indoor and outdoor concentrations of fungal spores in the Metropolitan Area of Sao Paulo (MASP), collected at different sites in winter/spring and summer seasons. The techniques adopted included cultivation (samples collected with impactors) and microscopic enumeration (samples collected with impingers). The overall results showed total concentrations of fungal spores as high as 36,000 per cubic meter, with a large proportion of non culturable spores (around 91 per cent of the total). Penicillium sp. and Aspergillus sp. were the dominant species both indoors and outdoors, in all seasons tested, occurring in more than 30 per cent of homes at very high concentrations of culturable airborne fungi [colony forming units(CFU) m−3]. There was no significant difference between indoor and outdoor concentrations. The total fungal spore concentration found in winter was 19 per cent higher than that in summer. Heat and humidity were the main factors affecting fungal growth; however, a non-linear response to these factors was found. Thus, temperatures below 16°C and above 25°C caused a reduction in the concentration (CFU m−3) of airborne fungi, which fits with MASP climatalogy. The same pattern was observed for humidity, although not as clearly as with temperature given the usual high relative humidity (above 70 per cent) in the study area. These results are relevant for public health interventions that aim to reduce respiratory morbidity among susceptible populations

Mortes maternas e mortes por causas maternas

Ao mensurar-se mortalidade materna, é necessário distinguir ' mortes por causas maternas' e 'mortes maternas' Para a Organização Mundial da Saúde-OMS-,mortes maternas são as que ocorrem na gestação, no parto e até 42 dias após o parto; e mortes por causas maternas englobam as causas classificadas no Capítulo XV da Classificação Estatística Internacional de Doenças e Problemas Relacionados à Saúde, Décima Revisão (CID-10), incluindo as ocorridas quando passados 42 dias do parto. Apresentam-se resultados da investigação de mortes femininas em idade fértil-10 a 49 anos- nas capitais de Estados e no Distrito Federal do Brasil, em 2002. Adotou-se a metodologia RAMOS, comparando-se as causas básicas das declarações de óbito originais com as das declarações preenchidas após o resgate de informações, obtidas em entrevistas domiciliares e prontuários. Entre as mortes por causas maternas originais, 15,9 por cento não eram mortes maternas, de acordo com a definição da OMS. Houve, concomitantemente, subenumeração de mortes maternas. Sugestões são feitas para melhorar o preenchimento das declarações de óbito e inclusão de novas categorias na CID-10, visando melhorar a informação das causas maternas