Abstract: We introduce a unifying framework for proving that predicate P is hard-core for a one-way function f, and apply it to a broad family of functions and predicates, reproving old results in an ...

When I worked in a computational materials research group, I had to run Nudged Elastic Band simulations. Finding tutorials and/or templates for this on VASP were pretty diffuicult. I decided to put ...

This repository contains code for the paper "Fine-Grained Predicates Learning for Scene Graph Generation (CVPR 2022)". This code is based on Scene-Graph-Benchmark.pytorch. News: An extented verison of ...

While SIMPLE IRAs are in some ways similar to their cousins, traditional and Roth IRAs, they also share some features with workplace retirement plans such as 401(k)s. Understanding your plan's rules ...

Predicate pushdown is a widely adopted query optimization. Existing systems and prior work mostly use pattern-matching rules to decide when a predicate can be pushed through certain operators like ...

Abstract: Geometric algorithms rely on predicates, among them, the 2D and 3D orientation and incircle tests are important ones. Shewchuk's adaptive floating-point predicate is a well-known C ...

The five patterns illustrated below provide the basis for all other sentence structures: that is, other kinds of sentences are transformations of these basic patterns. Though the above sentences are ...

Guaranteed-Quality Anisotropic Mesh Generation. If you're in Soda Hall, you'll find copies of most of my papers hanging outside my office (625). Take the ones you want. FAR AND AWAY MY MOST POPULAR ...