by projectimporter | May 1, 2024
OLABANJI BAMOWO (2346814) A Dynamic Computing Education Reasearch Hub for Teachers Project Abstract The motivation for establishing a dynamic computing education resource hub for teachers in the United Kingdom stems from the urgent need to address the challenges that...
by projectimporter | May 1, 2024
Naveen Kumar Basava (2359662) No Project Title Provided Project Abstract No Abstract Provided Keywords: , , Conference Details Session: Presentation Stream 4 at Presentation Slot 4 Location: GH001 at Tuesday 7th 13:30 – 17:00 Markers: Neil Carter,...
by projectimporter | May 1, 2024
Arvinder Pal Singh Bali (2151463) Deep Learning: Facial Dynamic Analysis and Language Fluency Prediction Project Abstract This research thesis aims to explore the application of machine learning techniques in evaluating the fluency level of second language speakers,...
by projectimporter | May 1, 2024
Danish Barudwale (2346432) Leveraging Open Data Harvesting for Ethical Monitoring and Surveillance. Project Abstract The motivation behind this is to harness open data harvesting for monitoring and surveillance, aiming to reveal valuable insights, track societal...
by projectimporter | May 1, 2024
Akhil Goud Battipally (2359439) No Project Title Provided Project Abstract No Abstract Provided Keywords: , , Conference Details Session: Presentation Stream 4 at Presentation Slot 5 Location: GH001 at Tuesday 7th 13:30 – 17:00 Markers: Neil...
by projectimporter | May 1, 2024
Sindoori Beeram (2351354) Property based testing for Schulze voting system Project Abstract The Property-based Testing for Schulze Voting System project aims to verify the correctness, dependability, and robustness of the preferential voting algorithm used in...
by projectimporter | May 1, 2024
Bala Gopi Bellamkonda (2351925) A webapp for teaching finite automata and regular languages Project Abstract The Finite Automata Web Application is a dynamic online platform meticulously crafted to facilitate students’ comprehension of finite automata and...
by projectimporter | May 1, 2024
Swaroop Belure (2345579) Weather & Music Alarm Clock Project Abstract The Weather and Music Alarm Clock project introduces an innovative approach to the traditional wake-up experience by seamlessly integrating weather forecast data with personalized music...
by projectimporter | May 1, 2024
HARIKA BHAJANTRI (2356822) PLACING POINTS ON A PLANE Project Abstract Formal verification is a crucial step in ensuring the correctness and reliability of software and hardware systems. Satisfiability Modulo Theories (SMT) solving is a key component of formal...
by projectimporter | May 1, 2024
Pritam Bhalerao (2358954) A Learning Suite for developing verified critical systems using SPARK Ada Project Abstract The project aims to improve developer productivity and competitive programming abilities byaddressing the shortage of interactive learning tools for...
