• # Theta*

• Referenced in 11 articles [sw31693]
• that propagate information along grid edges without constraining paths to grid edges. Basic Theta ... guaranteed to find true shortest paths. Angle-Propagation Theta* achieves a better worst-case complexity ... finds slightly longer paths. We refer to Basic Theta* and Angle-Propagation Theta* collectively ... know of that propagates information along grid edges without constraining paths to grid edges) with...
• # TSPTW

• Referenced in 37 articles [sw04709]
• problem of finding a minimum-cost path visiting a set of cities exactly once, where ... merges Constraint Programming propagation algorithms for the feasibility viewpoint (find a path), and Operations Research...
• # Merlin

• Referenced in 5 articles [sw23076]
• explicit information flow. Beginning with a data propagation graph, which represents interprocedural flow of information ... specification. Merlin models information flow paths in the propagation graph using probabilistic constraints. A naive ... number of constraints, one per path in the propagation graph. For scalability, we approximate these...
• # COM-MAT-FAIL

• Referenced in 12 articles [sw10166]
• Crack-path field and strain-injection techniques in computational modeling of propagating material failure ... numerical techniques devised for modeling propagating material failure, i.e. cracks in fracture mechanics or slip ... first one is termed {it crack-path-field} technique and is conceived for the identification ... staggered resolution of the crack-path-field and the mechanical failure problems. It provides...
• # GripNet

• Referenced in 1 article [sw39161]
• subgraph. A superedge defines an information propagation path between two supervertices. GripNet learns new representations ... supervertex of interest by propagating information along the defined path using multiple layers. We construct...
• # i-pi

• Referenced in 2 articles [sw22319]
• simulations. A Python interface for ab initio path integral molecular dynamics simulations ... version of Python and Numpy) that propagates the (path integral) dynamics of the nuclei...
• # MicroFract

• Referenced in 1 article [sw30430]
• image based code for microstructural crack path prediction. Brittle failure is prevalent in ceramics, fiber ... metals where the microstructural cracks propagate in the path of least resistance following weak interfaces...
• # JSAI

• Referenced in 6 articles [sw30521]
• analysis, string analysis, integer and boolean constant propagation, and control-flow analysis. In addition, JSAI ... analysis control-flow sensitivity (i.e., context-, path-, and heap-sensitivity) to be modularly configured without...
• # POISED

• Referenced in 1 article [sw30723]
• POISED: Spotting Twitter Spam Off the Beaten Paths. Cybercriminals have found in online social networks ... network tend to propagate according to the interests of people. Dissemination paths may emerge where ... system that leverages the differences in propagation between benign and malicious messages on social networks...
• # PMiniSAT

• Referenced in 3 articles [sw11452]
• techniques like dynamic work stealing using guiding paths, sharing short learnt clauses, etc. It also ... that increases the speed of the core propagation engine by around...
• # KGAT

• Referenced in 2 articles [sw32568]
• fashion. It recursively propagates the embeddings from a node’s neighbors (which can be users ... either exploit high-order relations by extracting paths or implicitly modeling them with regularization. Empirical ... Further studies verify the efficacy of embedding propagation for high-order relation modeling...
• # Floquet

• Referenced in 3 articles [sw36064]
• represent eigenfunctions of a non-unitary propagator over a single period of the driving ... Markov approximations are compared with the exact path-integral solution. The application of the improved...
• # SPEEDUP

• Referenced in 2 articles [sw21743]
• effective action approach. We present Path Integral Monte Carlo C code for calculation of quantum ... order $p=18$ in the time of propagation (Monte Carlo time step), which substantially improves...
• # SIFT

• Referenced in 1 article [sw20577]
• DIFT), where a separate thread performing taint propagation and policy checking is executed ... hardware using self-contained off-the-critical path logic at the commit stage...
• # PIMD

• Referenced in 1 article [sw03372]
• discussed. It is shown that Fourier accelerated path integral molecular dynamics (PIMD) completely eliminates slowing ... another one based on an effective propagator. In the latter case, effective potentials are constructed...