Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Lijun Zhang
Semi-Supervised Deep Hashing With a Bipartite Graph
Cardiovascular Magnetic Resonance of Quinticuspid Aortic Valve With Aortic Regurgitation and Dilated Ascending Aorta
Journal of Cardiovascular Magnetic Resonance
Nuclear Medicine
Radiology
Ultrasound Technology
Cardiology
Family Practice
Radiological
Cardiovascular Medicine
Imaging
Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Probabilistic CEGAR
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Flow Faster: Efficient Decision Algorithms for Probabilistic Simulations
Context-Dependent Fusion With Application to Landmine Detection.
A Fixed-Point Framework for Launch Vehicle Ascent Guidance
‹
3
4
5
6