Author of the publication

Identifying a Leading Predictor of Arctic Stratospheric Ozone for April Precipitation in Eastern North America.

, , , , and . Remote. Sens., 14 (19): 5040 (2022)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Symbolic Techniques for Deep Learning: Challenges and Opportunities., , and . CoRR, (2020)Hysteresis Compensation Based on Controlled Current Pulses for Magnetoresistive Sensors., , and . IEEE Trans. Ind. Electron., 62 (12): 7804-7809 (2015)Giant-Magnetoresistance-Based Galvanically Isolated Voltage and Current Measurements., , and . IEEE Trans. Instrum. Meas., 64 (8): 2048-2054 (2015)A survey on the industrial readiness for Internet of Things., , and . UEMCON, page 591-596. IEEE, (2017)Using ACL2 to Verify Loop Pipelining in Behavioral Synthesis., , , and . ACL2, volume 152 of EPTCS, page 111-128. (2014)Handling design and implementation optimizations in equivalence checking for behavioral synthesis., , , and . DAC, page 117:1-117:6. ACM, (2013)Group Theory Based Synthesis of Binary Reversible Circuits., , , , and . TAMC, volume 3959 of Lecture Notes in Computer Science, page 365-374. Springer, (2006)Efficient Reachability Analysis of Büchi Pushdown Systems for Hardware/Software Co-verification., , , and . CAV, volume 6174 of Lecture Notes in Computer Science, page 339-353. Springer, (2010)Componentizing hardware/software interface design., and . DATE, page 232-237. IEEE, (2009)Optimal Sculling Velocity Algorithms for the Gyros With Angular Rate Output., , and . IEEE Access, (2018)