3,742 research outputs found
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 there is a distinguishing
algorithm whose error probability is less than . 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 accepting runs, for some fixed
. We adapt existing notions and results concerning finite and bounded
ambiguity of finite automata to the setting of -languages and present a
translation from arbitrary nondeterministic B\"uchi automata with states to
finitely ambiguous automata with at most states and at most 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 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 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
- …