Exploiting Resolution-based Representations for MaxSAT Solving

Most recent MaxSAT algorithms rely on a succession of calls to a SAT solver in order to find an optimal solution. In particular, several algorithms take advantage of the ability of SAT solvers to identify unsatisfiable subformulas. Usually, these MaxSAT algorithms perform better when small unsatisfiable subformulas are found early. However, this is not the case in many problem instances, since the whole formula is given to the SAT solver in each call. In this paper, we propose to partition the MaxSAT formula using a resolution-based graph representation. Partitions are then iteratively joined by using a proximity measure extracted from the graph representation of the formula. The algorithm ends when only one partition remains and the optimal solution is found. Experimental results show that this new approach further enhances a state of the art MaxSAT solver to optimally solve a larger set of industrial problem instances

Large-Eddy Simulation closures of passive scalar turbulence: a systematic approach

The issue of the parameterization of small scale (``subgrid'') turbulence is addressed in the context of passive scalar transport. We focus on the Kraichnan advection model which lends itself to the analytical investigation of the closure problem. We derive systematically the dynamical equations which rule the evolution of the coarse-grained scalar field. At the lowest-order approximation in $l/r$, $l$ being the characteristic scale of the filter defining the coarse-grained scalar field and $r$ the inertial range separation, we recover the classical eddy-diffusivity parameterization of small scales. At the next-leading order a dynamical closure is obtained. The latter outperforms the classical model and is therefore a natural candidate for subgrid modelling of scalar transport in generic turbulent flows.Comment: 10 LaTex pages, 1 PS figure. Changes: comments added below previous (3.10); Previous (3.16) has been corrected; Minor changes in the conclusion

Social Effects in Science: Modelling Agents for a Better Scientific Practice

Science is a fundamental human activity and we trust its results because it has several error-correcting mechanisms. Its is subject to experimental tests that are replicated by independent parts. Given the huge amount of information available, scientists have to rely on the reports of others. This makes it possible for social effects to influence the scientific community. Here, an Opinion Dynamics agent model is proposed to describe this situation. The influence of Nature through experiments is described as an external field that acts on the experimental agents. We will see that the retirement of old scientists can be fundamental in the acceptance of a new theory. We will also investigate the interplay between social influence and observations. This will allow us to gain insight in the problem of when social effects can have negligible effects in the conclusions of a scientific community and when we should worry about them.Comment: 14 pages, 5 figure

Note on improvement precision of recursive function simulation in floating point standard

An improvement on precision of recursive function simulation in IEEE floating point standard is presented. It is shown that the average of rounding towards negative infinite and rounding towards positive infinite yields a better result than the usual standard rounding to the nearest in the simulation of recursive functions. In general, the method improves one digit of precision and it has also been useful to avoid divergence from a correct stationary regime in the logistic map. Numerical studies are presented to illustrate the method.Comment: DINCON 2017 - Conferencia Brasileira de Dinamica, Controle e Aplicacoes - Sao Jose do Rio Preto - Brazil. 8 page

Multicolored Temperley-Lieb lattice models. The ground state

Using inversion relation, we calculate the ground state energy for the lattice integrable models, based on a recently obtained baxterization of non trivial multicolored generalization of Temperley-Lieb algebras. The simplest vertex and IRF models are analyzed and found to have a mass gap.Comment: 15 pages 2 figure

Dimension minimization of a quantum automaton

A new model of a Quantum Automaton (QA), working with qubits is proposed. The quantum states of the automaton can be pure or mixed and are represented by density operators. This is the appropriated approach to deal with measurements and dechorence. The linearity of a QA and of the partial trace super-operator, combined with the properties of invariant subspaces under unitary transformations, are used to minimize the dimension of the automaton and, consequently, the number of its working qubits. The results here developed are valid wether the state set of the QA is finite or not. There are two main results in this paper: 1) We show that the dimension reduction is possible whenever the unitary transformations, associated to each letter of the input alphabet, obey a set of conditions. 2) We develop an algorithm to find out the equivalent minimal QA and prove that its complexity is polynomial in its dimension and in the size of the input alphabet.Comment: 26 page

Structural studies of mesoporous ZrO2_{2}-CeO2_{2} and ZrO2_{2}-CeO2_{2}/SiO2_{2} mixed oxides for catalytical applications

In this work the synthesis of ZrO$_{2}$-CeO$_{2}$ and ZrO$_{2}$-CeO$_{2}$/SiO$_{2}$ were developed, based on the process to form ordered mesoporous materials such as SBA-15 silica. The triblock copolymer Pluronic P-123 was used as template, aiming to obtain crystalline single phase walls and larger specific surface area, for future applications in catalysis. SAXS and XRD results showed a relationship between ordered pores and the material crystallization. 90% of CeO$_{2}$ leaded to single phase homogeneous ceria-zirconia solid solution of cubic fluorite structure (Fm$\bar{3}$m). The SiO$_{2}$ addition improved structural and textural properties as well as the reduction behavior at lower temperatures, investigated by XANES measurements under H$_{2}$ atmosphere

Emergence of Hierarchy on a Network of Complementary Agents

Complementarity is one of the main features underlying the interactions in biological and biochemical systems. Inspired by those systems we propose a model for the dynamical evolution of a system composed by agents that interact due to their complementary attributes rather than their similarities. Each agent is represented by a bit-string and has an activity associated to it; the coupling among complementary peers depends on their activity. The connectivity of the system changes in time respecting the constraint of complementarity. We observe the formation of a network of active agents whose stability depends on the rate at which activity diffuses in the system. The model exhibits a non-equilibrium phase transition between the ordered phase, where a stable network is generated, and a disordered phase characterized by the absence of correlation among the agents. The ordered phase exhibits multi-modal distributions of connectivity and activity, indicating a hierarchy of interaction among different populations characterized by different degrees of activity. This model may be used to study the hierarchy observed in social organizations as well as in business and other networks.Comment: 13 pages, 4 figures, submitte