A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proof

Computational Methods in Power System Analysis

Machine Translation 10th China Workshop, CWMT 2014, Macau, China, November 4-6, 2014. Proceedings

Support Vector Machines and Perceptrons Learning, Optimization, Classification, and Application to Social Networks

Machine Learning and Cybernetics 13th International Conference, Lanzhou, China, July 13-16, 2014. Proceedings

Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings

Machines, Computations, and Universality 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings

Machine Learning and Data Mining in Pattern Recognition 13th International Conference, MLDM 2017, New York, NY, USA, July 15-20, 2017, Proceedings

Machine Learning and Data Mining in Pattern Recognition 11th International Conference, MLDM 2015, Hamburg, Germany, July 20-21, 2015, Proceedings

Machine Learning and Data Mining in Pattern Recognition 10th International Conference, MLDM 2014, St. Petersburg, Russia, July 21-24, 2014. Proceedings

Machines, Computations, and Universality 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings

Machine Learning, Optimization, and Data Science 4th International Conference, LOD 2018, Volterra, Italy, September 13-16, 2018, Revised Selected Papers