Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Yilin Mo
An Iterative Abstraction Algorithm for Reactive Correct-By-Construction Controller Synthesis
Related publications
An Iterative Heuristic Algorithm for Tree Decomposition
Studies in Computational Intelligence
Artificial Intelligence
An Iterative Image Registration Algorithm by Optimizing Similarity Measurement
Journal of Research of the National Institute of Standards and Technology
Engineering
A Correct-By-Construction Model for Asynchronously Communicating Systems
International Journal on Software Tools for Technology Transfer
Information Systems
Software
Restoration of Astronomical Images by an Iterative Superresolution Algorithm
Astronomy and Astrophysics
Astrophysics
Astronomy
Planetary Science
Space
Transitory Control Algorithm of Reactive Current for LSC of BDFIG Based Fuzzy Controller
International Journal of Innovative Technology and Exploring Engineering
Mechanics of Materials
Electronic Engineering
Civil
Structural Engineering
Electrical
Computer Science
Improving the Convergence of an Iterative Algorithm Proposed by Waxman
Journal of Physics A: Mathematical and General
Linear MIMO Controller Design for an Industrial Reactive Distillation Column
IFAC Proceedings Volumes
Decoding Real-Field Codes by an Iterative Expectation-Maximization (EM) Algorithm
2008 IEEE International Conference on Acoustics, Speech and Signal Processing
An Iterative Algorithm for System of Mixed Variational-Like Inequalities
Journal of Mathematical Inequalities
Analysis