If the initial set of constraints is expressed as Disjunctive Normal Form (DNF), Approx MC is the only known Fully Polynomial Randomized Approximation Scheme (FPRAS) that does not involve Monte Carlo steps.
By exploiting the connection between definability of formulas and variance of the distribution of solutions in a cell defined by 3-universal hash functions, we introduced an algorithmic technique, MIS, that reduced the size of XOR constraints employed in the underlying universal hash functions by as much as two orders of magnitude.
Colleagues at the CRF have sorely missed Kevin, whom they admired for his scientific brilliance and treasured for his kind heart.
At the time of his death, the CRF’s Dave Chandler said, “He was one of the best and brightest—just a sponge for knowledge.
Chen now holds a high post in Shenzen (where He Jiankui is based), at the Beijing Genomics Institute.
Fernandez was a member of their thesis committees at Rice University].
In this thesis, we introduce a novel hashing-based algorithmic framework for constrained sampling and counting that combines the classical algorithmic technique of universal hashing with the dramatic progress made in combinatorial reasoning tools, in particular, SAT and SMT, over the past two decades.
The resulting frameworks for counting (Approx MC2) and sampling (Uni Gen) can handle formulas with up to million variables representing a significant boost up from the prior state of the art tools' capability to handle few hundreds of variables.
The Combustion Research Facility (CRF) sends warm congratulations to Joseph Barchas of Rice University, the first recipient of the Rice University’s Kevin E. Joseph received the ,000 award from the Department of Physics and Astronomy for developing the department’s best master’s thesis, Electrostatic Energy Exchange in Shock Acceleration, which he worked on with Prof. Created to honor the memory of Kevin, who received his Ph. from Rice and was a valued member of the CRF staff when he died suddenly in 2012, the award is meant to provide encouragement and recognition to an outstanding student who is near the midpoint of studies toward a Ph. The award is also a fitting tribute to Kevin, who was the 2004 recipient of the Wilson Award, offered by the department each year to the graduating doctoral student with the most outstanding Ph. Strecker Award, noted that the money Kevin received for the Wilson Award was greatly appreciated at that time in their lives, and she welcomed the opportunity to return the favor, while honoring Kevin.
Kevin’s wife, Michelle, who provided a generous gift toward the Kevin E.