16,908 research outputs found
Complete Fusion Enhancement and Suppression of Weakly Bound Nuclei at Near Barrier Energies
We consider the influence of breakup channels on the complete fusion of
weakly bound systems in terms of dynamic polarization potentials. It is argued
that the enhancement of the cross section at sub-barrier energies may be
consistent with recent experimental observations that nucleon transfer, often
leading to breakup, is dominant compared to direct breakup. The main trends of
the experimental complete fusion cross section for Li + Bi are
analyzed in the framework of the DPP approach.Comment: 12 pages, 2 figure
Probabilistic Model Counting with Short XORs
The idea of counting the number of satisfying truth assignments (models) of a
formula by adding random parity constraints can be traced back to the seminal
work of Valiant and Vazirani, showing that NP is as easy as detecting unique
solutions. While theoretically sound, the random parity constraints in that
construction have the following drawback: each constraint, on average, involves
half of all variables. As a result, the branching factor associated with
searching for models that also satisfy the parity constraints quickly gets out
of hand. In this work we prove that one can work with much shorter parity
constraints and still get rigorous mathematical guarantees, especially when the
number of models is large so that many constraints need to be added. Our work
is based on the realization that the essential feature for random systems of
parity constraints to be useful in probabilistic model counting is that the
geometry of their set of solutions resembles an error-correcting code.Comment: To appear in SAT 1
Algumas características da oferta do leite.
O objetivo do trabalho é estimar a curva de oferta de leite, utilizando dados do período 1970-2001. O modelo estimado possibilita examinar a principal conclusão das comissões de inquérito de algumas assembléias estaduais, pela qual a queda anormal observada no preço do leite, na entressafra de 2001, foi atribuída ao poder de oligopsônio das firmas que processam o leite. Ainda mais, os consumidores não se beneficiaram dos preços baixos em nível de produtor. Assim, a margem de comercialização sofreu, por aquela visão, considerável acréscimo.Na publicação: Eliseu Alves
Statistical distributions in the folding of elastic structures
The behaviour of elastic structures undergoing large deformations is the
result of the competition between confining conditions, self-avoidance and
elasticity. This combination of multiple phenomena creates a geometrical
frustration that leads to complex fold patterns. By studying the case of a rod
confined isotropically into a disk, we show that the emergence of the
complexity is associated with a well defined underlying statistical measure
that determines the energy distribution of sub-elements,``branches'', of the
rod. This result suggests that branches act as the ``microscopic'' degrees of
freedom laying the foundations for a statistical mechanical theory of this
athermal and amorphous system
Human case of West Nile neuroinvasive disease in Portugal, summer 2015
A case of West Nile virus (WNV) infection was reported in the Algarve region, Portugal, in the first week of September 2015. WNV is known to circulate in Portugal, with occasional reports in horses and birds (2004 to 2011) and very sporadically human cases (in 2004 and in 2010). Here we present the clinical and laboratory aspects related to the first human case of West Nile neuroinvasive disease reported in Portugal
Optical limiting behavior of bismuth oxide-based glass in the visible range
The authors report experimental results on the optical limiting behavior of a bismuth oxide-based glass by exciting the samples with nanosecond laser pulses at 532 and 598 nm. The results show that two-photon and free-carrier absorption processes contribute for the nonlinear absorption. Values for β, the two-photon absorption coefficient, and σe, the absorption cross section due to free carriers, were determined. The values for β and σe are dependent on the amount of bismuth oxide in the glass composition
Proteus: A Hierarchical Portfolio of Solvers and Transformations
In recent years, portfolio approaches to solving SAT problems and CSPs have
become increasingly common. There are also a number of different encodings for
representing CSPs as SAT instances. In this paper, we leverage advances in both
SAT and CSP solving to present a novel hierarchical portfolio-based approach to
CSP solving, which we call Proteus, that does not rely purely on CSP solvers.
Instead, it may decide that it is best to encode a CSP problem instance into
SAT, selecting an appropriate encoding and a corresponding SAT solver. Our
experimental evaluation used an instance of Proteus that involved four CSP
solvers, three SAT encodings, and six SAT solvers, evaluated on the most
challenging problem instances from the CSP solver competitions, involving
global and intensional constraints. We show that significant performance
improvements can be achieved by Proteus obtained by exploiting alternative
view-points and solvers for combinatorial problem-solving.Comment: 11th International Conference on Integration of AI and OR Techniques
in Constraint Programming for Combinatorial Optimization Problems. The final
publication is available at link.springer.co
Composição química e biológica de alimentos brasileiros utilizados em rações de suinos.
bitstream/item/59183/1/CUsersPiazzonDocuments32.pd
- …