Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Zicong Liu
Predicate Interpretation Analysis Based on Soot
Fault Interference and Coupling Effect
Related publications
Neural Network-Based Model for Japanese Predicate Argument Structure Analysis
Predicate Based Caching for Large Scale Mobile Distributed On-Line Applications
CeO2-based Catalysts With Engineered Morphologies for Soot Oxidation to Enhance Soot-Catalyst Contact
Nanoscale Research Letters
Materials Science
Nanotechnology
Condensed Matter Physics
Nanoscience
Reachability Analysis of Hybrid Systems via Predicate Abstraction
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Efficient Weighted Model Integration via SMT-Based Predicate Abstraction
Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Formal Predicate Calculus
Analysis and Interpretation
On Line Dirt Based Soot Blowing System Using Fuzzy Logic for Utility Boilers
International Journal of Recent Technology and Engineering
Engineering
Management of Technology
Innovation