O fim do subsídio do trigo e a utilização de farinhas mistas.

bitstream/item/119471/1/FOL-04309.pdfTrabalho apresentado na I Jornada Estadual de Tecnologia de Alimentos e Nutrição Humana, Passo Fundo, 1988

Distinguishing Hidden Markov Chains

Hidden Markov Chains (HMCs) are commonly used mathematical models of probabilistic systems. They are employed in various fields such as speech recognition, signal processing, and biological sequence analysis. We consider the problem of distinguishing two given HMCs based on an observation sequence that one of the HMCs generates. More precisely, given two HMCs and an observation sequence, a distinguishing algorithm is expected to identify the HMC that generates the observation sequence. Two HMCs are called distinguishable if for every $\varepsilon > 0$ there is a distinguishing algorithm whose error probability is less than $\varepsilon$. We show that one can decide in polynomial time whether two HMCs are distinguishable. Further, we present and analyze two distinguishing algorithms for distinguishable HMCs. The first algorithm makes a decision after processing a fixed number of observations, and it exhibits two-sided error. The second algorithm processes an unbounded number of observations, but the algorithm has only one-sided error. The error probability, for both algorithms, decays exponentially with the number of processed observations. We also provide an algorithm for distinguishing multiple HMCs. Finally, we discuss an application in stochastic runtime verification.Comment: This is the full version of a LICS'16 pape

A new method for calculating jet-like QED processes

We consider inelastic QED processes, the cross sections of which do not drop with increasing energy. Such reactions have the form of two-jet processes with the exchange of a virtual photon in the t-channel. We consider them in the region of small scattering angles m/E <= theta << 1, which yield the dominant contribution to their cross sections. A new effective method is presented to calculate the corresponding helicity amplitudes. Its basic idea consists in replacing spinor structures for real and weakly virtual intermediate leptons by simple transition vertices for real leptons. The obtained compact amplitudes are particularly suitable for numerical calculations in jet-like kinematics.Comment: 6 pages, 2 figures, Contribution presented by V.G. Serbo at PHOTON 2003, Frascati, Ital

Laser-dressed vacuum polarization in a Coulomb field

We investigate quantum electrodynamic effects under the influence of an external, time-dependent electromagnetic field, which mediates dynamic modifications of the radiative corrections. Specifically, we consider the quantum electrodynamic vacuum-polarization tensor under the influence of two external background fields: a strong laser field and a nuclear Coulomb field. We calculate the charge and current densities induced by a nuclear Coulomb field in the presence of a laser field. We find the corresponding induced scalar and vector potentials. The induced potential, in first-order perturbation theory, leads to a correction to atomic energy levels. The external laser field breaks the rotational symmetry of the system. Consequently, the induced charge density is not spherically symmetric, and the energy correction therefore leads to a "polarized Lamb shift." In particular, the laser generates an additional potential with a quadrupole moment. The corresponding laser-dressed vacuum-polarization potential behaves like 1/r**3 at large distances, unlike the Uehling potential that vanishes exponentially for large r. Our investigation might be useful for other situations where quantum field theoretic phenomena are subjected to external fields of a rather involved structure.Comment: 13 pages, RevTe

Photon splitting in a laser field

Photon splitting due to vacuum polarization in a laser field is considered. Using an operator technique, we derive the amplitudes for arbitrary strength, spectral content and polarization of the laser field. The case of a monochromatic circularly polarized laser field is studied in detail and the amplitudes are obtained as three-fold integrals. The asymptotic behavior of the amplitudes for various limits of interest are investigated also in the case of a linearly polarized laser field. Using the obtained results, the possibility of experimental observation of the process is discussed.Comment: 31 pages, 4 figure

Quantitative multi-objective verification for probabilistic systems

We present a verification framework for analysing multiple quantitative objectives of systems that exhibit both nondeterministic and stochastic behaviour. These systems are modelled as probabilistic automata, enriched with cost or reward structures that capture, for example, energy usage or performance metrics. Quantitative properties of these models are expressed in a specification language that incorporates probabilistic safety and liveness properties, expected total cost or reward, and supports multiple objectives of these types. We propose and implement an efficient verification framework for such properties and then present two distinct applications of it: firstly, controller synthesis subject to multiple quantitative objectives; and, secondly, quantitative compositional verification. The practical applicability of both approaches is illustrated with experimental results from several large case studies

On finitely ambiguous B\"uchi automata

Unambiguous B\"uchi automata, i.e. B\"uchi automata allowing only one accepting run per word, are a useful restriction of B\"uchi automata that is well-suited for probabilistic model-checking. In this paper we propose a more permissive variant, namely finitely ambiguous B\"uchi automata, a generalisation where each word has at most $k$ accepting runs, for some fixed $k$. We adapt existing notions and results concerning finite and bounded ambiguity of finite automata to the setting of $\omega$-languages and present a translation from arbitrary nondeterministic B\"uchi automata with $n$ states to finitely ambiguous automata with at most $3^n$ states and at most $n$ accepting runs per word

Thermalization of gluon matter including gg<->ggg interactions

Within a pQCD inspired kinetic parton cascade we simulate the space time evolution of gluons which are produced initially in a heavy ion collision at RHIC energy. The inelastic gluonic interactions $gg \leftrightarrow ggg$ do play an important role: For various initial conditions it is found that thermalization and the close to ideal fluid dynamical behaviour sets in at very early times. Special emphasis is put on color glass condensate initial conditions and the `bottom up thermalization' scenario. Off-equilibrium $3\to 2$ processes make up the very beginning of the evolution leading to an initial decrease in gluon number and a temporary avalanche of the gluon momentum distribution to higher transversal momenta.Comment: 6 pages, 8 figures, Talk given at International Conference on Strong and Electroweak Matter (SEWM 2006), BNL, New York, May 200

Competing mechanisms of stress-assisted diffusivity and stretch-activated currents in cardiac electromechanics

We numerically investigate the role of mechanical stress in modifying the conductivity properties of the cardiac tissue and its impact in computational models for cardiac electromechanics. We follow a theoretical framework recently proposed in [Cherubini, Filippi, Gizzi, Ruiz-Baier, JTB 2017], in the context of general reaction-diffusion-mechanics systems using multiphysics continuum mechanics and finite elasticity. In the present study, the adapted models are compared against preliminary experimental data of pig right ventricle fluorescence optical mapping. These data contribute to the characterization of the observed inhomogeneity and anisotropy properties that result from mechanical deformation. Our novel approach simultaneously incorporates two mechanisms for mechano-electric feedback (MEF): stretch-activated currents (SAC) and stress-assisted diffusion (SAD); and we also identify their influence into the nonlinear spatiotemporal dynamics. It is found that i) only specific combinations of the two MEF effects allow proper conduction velocity measurement; ii) expected heterogeneities and anisotropies are obtained via the novel stress-assisted diffusion mechanisms; iii) spiral wave meandering and drifting is highly mediated by the applied mechanical loading. We provide an analysis of the intrinsic structure of the nonlinear coupling using computational tests, conducted using a finite element method. In particular, we compare static and dynamic deformation regimes in the onset of cardiac arrhythmias and address other potential biomedical applications