Advanced Computing Concepts for Engineering (Engi-9867) 2020
Assignments
Presentations
- Guidelines and suggested topics.
- Topics taken
- Thursday April 9. 12:00noon
- Public Key Cryptograph -- Qi Shen and Rui Sun
- Blockchain Tejhaskar Ashokumar and Vigneshwar Ramaswamy
- The ethereum platform-- Sachin Kumar Yadav and Wang, Wie
- Wed April 8. 11:00am
- Neural Networks -- Vraj Patel and Yogesh Khuna
- Recurrent Neural Networks -- Hamidreza Ehsani-Chimeh
- Quantum Computing -- Lan, Zhijie and Leng, Ye
- Monday April 6, 11:00am
- Timed automata -- Owusu-Boakye, Kwame and Keshaboina, Varun Yadav
- Hybrid automata -- Jagbir Singh Aulakh and Shubhan Chhibber
- Real-time system specification and verification -- Yang, Jiahao
- Friday April 3. 11:00am
- Genetic algorithms -- Advait Trivedi
- Genetic algorithms (or programming?)-- Shova Adhikari and Christiani Fraderick
- Parsing combinators -- Bhavanishankar T. Radakrishna and Nikhil Kulkarni Rajendra
- Thurday Aptil 2, 12:00noon
- Parallel complexity: PRAM models and algorithms -- Wang, Zhongtian and Yang, Zhiding
- Symbolic Model Checking of Hardware Designs -- Li, Tianxing and Zhang, Shuo
- Parallel complexity: Parallel sorting with sorting networks -- Luan, Kaiying and Liang, Yixuan
- Wednesday April 1st 11:00
- Concurrent Separation Logic -- Zhao, Xiaohang and Cao, Yu
- Monitors and Parallel correctness -- Chukwuemeka Achilefu and George Tamakloe
- Lamport's TLA+ -- Liu, Shiqi
- Monday March 30 at 11:00
- Hoare Logic -- Deep Patel
- Proof Carrying Code -- Peng, Hanqin
- Cleanroom -- Zirui Luo and Tong Zhao
- Saturday Match 28:11:00 am
- Reversable computation -- Ajanthan Paramasamy and Rahul Kumar Bafna
- Real time scheduling -- Vanguri Manish Kumar
- Friday March 27 11:00
- NP-Complete and NP-Hard problems in Graph Theory -- An, Runze and Jiang, Tianyue
- Complexity of Electronic Design Automation -- Mohammad Haji Jafari and Zahra Heshmatpour
(c) Theodore Norvell