We propose some domain-independent techniques for bringing well-founded partial-order planners closer to practicality. The rst two techniques are aimed at improving search control while keeping overhead costs low. One is based on a simple adjustment to the default A* heuristic used by ucpop to select plans for reenement. The other is based on preferring \zero commitment" (forced) plan reenement...

On the cusp of widespread permeation of nanomedicine, academia, industry, and government have invested substantial financial resources in developing new ways to better treat diseases. Materials have unique physical and chemical properties at the nanoscale compared with their bulk or small-molecule analogs. These unique properties have been greatly advantageous in providing innovative solutions ...

The accelerating fields (e. g. centrifugal acceleration and constant acceleration) can change the physical performance of nano-sensors significantly. Herein, a new size-dependent model is developed to investigate the scale-dependent dynamic behavior of nanowire-fabricated sensor operated in an accelerating field. The scale-dependent equation of motion is developed by employing a consolidation o...

Recently, active worms have done significant damage due to their rapid propagation over the Internet. We studied propagation mechanisms of active worms employing single target discovery technique and various combinations of two or three different target discovery techniques from attackers’ perspective. We performed a series of simulation experiments to investigate their propagation characterist...

We propose some domain-independent techniques for bringing well-founded partialorder planners closer to practicality. The rst two techniques are aimed at improving search control while keeping overhead costs low. One is based on a simple adjustment to the default A* heuristic used by ucpop to select plans for re nement. The other is based on preferring \zero commitment" (forced) plan re nements...

We perform dynamical analysis of anisotropic Rastall cosmologies and, in particular Kantowski–Sachs, locally rotationally symmetric (LRS) Bianchi I and LRS III cosmologies. Using system techniques, a qualitative cosmological equations yield physically interesting cases which are agreement with observations such as de Sitter, accelerating, stable attractors isotropic. Features isotropization bou...

We present Counterexample-Guided Accelerated Abstraction Refinement (CEGAAR), a new algorithm for verifying infinite-state transition systems. CEGAAR combines interpolation-based predicate discovery in counterexampleguided predicate abstraction with acceleration technique for computing the transitive closure of loops. CEGAAR applies acceleration to dynamically discovered looping patterns in the...

Based on the corrected Hohenberg-Kohn-Sham total energy density functional [Y. A. Zhang and Y. A. Wang, J. Chem. Phys. 130, 144116 (2009)], we have developed two linear-expansion shooting techniques (LIST)- direct LIST (LISTd) and indirect LIST (LISTi), to accelerate the convergence of self-consistent field (SCF) calculations. Case studies show that overall LISTi is the most robust and efficien...

ÐThe speed of arithmetic calculations in configurable hardware is limited by carry propagation, even with the dedicated hardware found in recent FPGAs. This paper proposes and evaluates an approach called delayed addition that reduces the carrypropagation bottleneck and improves the performance of arithmetic calculations. Our approach employs the idea used in Wallace trees to store the results ...