Amanote Research

Amanote Research

    RegisterSign In

Discover open access scientific publications

Search, annotate, share and cite publications


Publications by Zicong Liu

Predicate Interpretation Analysis Based on Soot

2017English

Fault Interference and Coupling Effect

2017English

Related publications

Neural Network-Based Model for Japanese Predicate Argument Structure Analysis

2016English

Predicate Based Caching for Large Scale Mobile Distributed On-Line Applications

2003English

CeO2-based Catalysts With Engineered Morphologies for Soot Oxidation to Enhance Soot-Catalyst Contact

Nanoscale Research Letters
Materials ScienceNanotechnologyCondensed Matter PhysicsNanoscience
2014English

Reachability Analysis of Hybrid Systems via Predicate Abstraction

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

Efficient Weighted Model Integration via SMT-Based Predicate Abstraction

2017English

Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Formal Predicate Calculus

English

Analysis and Interpretation

1988English

On Line Dirt Based Soot Blowing System Using Fuzzy Logic for Utility Boilers

International Journal of Recent Technology and Engineering
EngineeringManagement of TechnologyInnovation
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy