Just as the First Moment Method is a way to upper-bound the threshold of k-SAT, so is the Second Moment Method a way to lower-bound it. After a brief technical introduction to the Second Moment Method in section 1.1, we present in section 1.2 a survey of the early attempts to lower-bound the threshold of 3-SAT through the Second Moment Method. As in the First Moment Method, the general idea is ...

Let G be a group. The partial sums problem asks to maintain an array A[1 . . n] of group elements, initialized to zeroes (a.k.a. the identity), under the following operations: update(k,∆): modify A[k]← ∆, where ∆ ∈ G. query(k): returns the partial sum ∑k i=1A[i]. For concreteness, let us work on a machine with w-bits words (w ≥ lg n), and take G to be Z/2wZ, i.e. integer arithmetic on machine w...

forecasting of municipal waste generation is a critical challenge for decision making and planning,because proper planning and operation of a solid waste management system is intensively affected by municipal solid waste (msw) streams analysis and accurate predictions of solid waste quantities generated. due to dynamic and complexity of solid waste management system, models by artificial intell...

In an earlier paper’ [hereafter referred to as I], de Pablo et al. reported Gibbs ensemble Monte Carlo (GEMC) simulations of SPC water with long-range intermolecular interactions computed using the Ewald summation method. The coexistence curve of SPC water was obtained from 25 to 300 “C. At each temperature simulated, the liquid densities obtained in the simulation were consistently lower than ...

an analysis of selected fission fragment angular distributions from helium-ion induced fission is made using an exact theoretical expression. theoretical anisotropies obtained with the transition state model are compared with their corresponding values deduced from the statistical scission model. the nuclear moment of inertia extracted from the model calculations are compared with their estimat...

In previous work [10], we presented a class of upper bounds on the log partition function of an arbitrary undirected graphical model based on solving a convex variational problem. Here we develop a class of local message-passing algorithms, which we call tree-reweighted belief propagation, for efficiently computing the value of these upper bounds, as well as the associated pseudomarginals. We a...

Title of dissertation: OPTIMIZATION TECHNIQUES FOR ENTROPY-BASED MOMENT MODELS OF LINEAR TRANSPORT Graham West Alldredge, Doctor of Philosophy, 2012 Dissertation directed by: Professor André Tits Department of Electrical and Computer Engineering Kinetic equations are used to model many physical phenomena, including gas dynamics, semiconductors, radiative transport, and more. However, high dimen...