منابع مشابه
Stronger Abstraction Heuristics Through Perimeter Search
Perimeter search is a bidirectional search algorithm consisting of two phases. In the first phase, a limited regression search computes the perimeter, a region which must necessarily be passed in every solution. In the second phase, a heuristic forward search finds an optimal plan from the initial state to the perimeter. The drawback of perimeter search is the need to compute heuristic estimate...
متن کاملNanoscale gold pillars strengthened through dislocation starvation
It has been known for more than half a century that crystals can be made stronger by introducing defects into them, i.e., by strain-hardening. As the number of defects increases, their movement and multiplication is impeded, thus strengthening the material. In the present work we show hardening by dislocation starvation, a fundamentally different strengthening mechanism based on the elimination...
متن کاملStronger secrecy for network-facing applications through privilege reduction
Despite significant effort in improving software quality, vulnerabilities and bugs persist in applications. Attackers remotely exploit vulnerabilities in network-facing applications and then disclose and corrupt users’ sensitive information that these applications process. Reducing privilege of application components helps to limit the harm that an attacker may cause if she exploits an applicat...
متن کاملStronger Inference through Implied Literals from Conflicts and Knapsack Covers
Implied literals detection has been shown to improve performance of Boolean satisfiability (SAT) solvers for certain problem classes, in particular when applied in an efficient dynamic manner on learned clauses derived from conflicts during backtracking search. We explore this technique further and extend it to mixed integer linear programs (MIPs) in the context of conflict constraints. This re...
متن کاملStronger Utility
Empirical research often requires a method how to convert a deterministic economic theory into an econometric model. A popular method is to add a random error term on the utility scale. This method, however, violates stochastic dominance. A modification of this method is proposed to avoid violations of dominance. The modified model compares favorably to other existing models in terms of goodnes...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science
سال: 2017
ISSN: 0036-8075,1095-9203
DOI: 10.1126/science.355.6331.1278-c