Long Guo

Learn More
In this paper, we explore the two well-known principles of diversification and intensification in portfolio-based parallel SAT solving. These dual concepts play an important role in several search algorithms including local search, and appear to be a key point in modern parallel SAT solvers. To study their trade-off, we define two roles for the(More)
In this paper, we propose a new location-aware pub/sub system, Elaps, that continuously monitors moving users subscribing to dynamic event streams from social media and E-commerce applications. Users are notified instantly when there is a matching event nearby. To the best of our knowledge, Elaps is the first to take into account continuous moving queries(More)
Anti-counterfeiting is a global problem. Brand owners turn to advanced anti-counterfeiting techniques to seek for a good technical solution. An anti-counterfeiting system normally binds a product with a digital identifier, which per se is encoded by a physical identifier. The physical identifier then is attached with the product. If the physical identifier(More)
With the popularization of GPS-enabled devices there is an increasing interest for location-based queries. In this context, one interesting problem is processing top-<i>k</i> spatial keyword queries. Given a set of objects with a textual description (e.g., menu of a restaurant), a query location (latitude and longitude), and a set of query keywords, a(More)
Permeability is a key parameter for investigating the flow ability of sedimentary rocks. The conventional model for calculating permeability is derived from Darcy's law, which is valid only for continuum flow in porous rocks. We discussed the feasibility of simulating methane transport characteristics in the organic nano-pores of shale through the Lattice(More)
The prevalence of social networks and mobile devices has facilitated the real-time dissemination of local events such as sales, shows and exhibitions. To explore nearby events, mobile users can query a location based search engine for the desired data. However, operating under such a pull based model means that users may miss interesting events (because no(More)
A rapid resolution liquid chromatography/electrospray ionisation tandem mass spectrometry (RRLC-ESI-MS(n)) method has been firstly developed and validated for simultaneous determination of six bioactive flavonoids in Citri Reticulatae Pericarpium (CRP). The antiproliferative activities of the six flavonoids in CRP, namely naringin, hesperidin, nobiletin,(More)
A sensitive and reliable ultra-pressure liquid chromatography with tandem mass spectrometry (UPLC–MS) was developed and validated for simultaneous quantification of six main bioactive components, i.e., calycosin-7-O-β-d-glucoside, ononin, calycosin, formononetin, astragaloside IV, and astragaloside II in rat plasma after oral administration of the 95 %(More)
In this paper, we study a novel problem of influence maximization in trajectory databases that is very useful in precise location-aware advertising. It finds <inline-formula><tex-math notation="LaTeX">$k$</tex-math><alternatives> <inline-graphic xlink:href="zhang-ieq1-2621038.gif"/></alternatives></inline-formula> best trajectories to be attached with a(More)