Items where Subject is "Automated reasoning"

[Atom feed] Atom [RSS2 feed] RSS
[BatchList tool] Batch List
Group by: Creators | Item Type
Jump to: K
Number of items at this level: 11.

K

Khan, Wasiq orcid iconORCID: 0000-0002-7511-3873, Ansell, Darren orcid iconORCID: 0000-0003-2818-3315, Kuru, Kaya orcid iconORCID: 0000-0002-4279-4166 and Muhammad, Bilal (2018) Flight Guardian: Autonomous Flight Safety Improvement by Monitoring Aircraft Cockpit Instruments. Journal of Aerospace Information Systems, 15 (4). pp. 203-214.

Khatab, Esraa Alaaeldin hassan orcid iconORCID: 0000-0002-8006-7699, Onsy, Ahmed orcid iconORCID: 0000-0003-0803-5374, Varley, Martin Roy and Abouelfarag, Ahmed (2022) Vulnerable objects detection for autonomous driving: A review. Integration, 78 . pp. 36-48. ISSN 01679260

Kuru, Kaya orcid iconORCID: 0000-0002-4279-4166 (2021) Conceptualisation of human-on-the-loop haptic teleoperation with fully autonomous self-driving vehicles in the urban environment. IEEE Open Journal of Intelligent Transportation Systems .

Kuru, Kaya orcid iconORCID: 0000-0002-4279-4166 (2021) Planning the future of smart cities with swarms of fully autonomous unmanned aerial vehicles using a novel framework. IEEE Access, 9 . pp. 6571-6595.

Kuru, Kaya orcid iconORCID: 0000-0002-4279-4166 and Ansell, Darren orcid iconORCID: 0000-0003-2818-3315 (2020) TCitySmartF: A comprehensive systematic framework for transforming cities into smart cities. IEEE Access, 8 (1). pp. 18615-18644.

Kuru, Kaya orcid iconORCID: 0000-0002-4279-4166 and Khan, Wasiq orcid iconORCID: 0000-0002-7511-3873 (2018) Novel hybrid object-based non-parametric clustering approach for grouping similar objects in specific visual domains. Applied Soft Computing, 62 . pp. 667-701. ISSN 1568-4946

Kuru, Kaya orcid iconORCID: 0000-0002-4279-4166 and Khan, Wasiq orcid iconORCID: 0000-0002-7511-3873 (2020) A framework for the synergistic integration of fully autonomous ground vehicles with smart city. IEEE Access, 9 . pp. 923-948.

Kuru, Kaya orcid iconORCID: 0000-0002-4279-4166 and Yetgin, Halil (2019) Transformation to advanced mechatronics systems within new industrial revolution: A novel framework in Automation of Everything (AoE). IEEE Access, 7 (1). pp. 41395-41415. ISSN 2169-3536

Kuru, Kaya orcid iconORCID: 0000-0002-4279-4166, Ansell, Darren orcid iconORCID: 0000-0003-2818-3315, De Goede, Christian, Jones, Martin, Caswell, Noreen orcid iconORCID: 0000-0001-6832-6822, Leather, Peter, Lancaster, Andrew, Sugden, Paula, Briggs, Eleanor et al (2020) Intelligent autonomous treatment of bedwetting using non-invasive wearable advanced mechatronics systems and MEMS sensors. Medical & Biological Engineering & Computing, 58 (4). pp. 943-965. ISSN 0140-0118

Kuru, Kaya orcid iconORCID: 0000-0002-4279-4166, Ansell, Darren orcid iconORCID: 0000-0003-2818-3315, Khan, Wasiq orcid iconORCID: 0000-0002-7511-3873 and Yetgin, Halil (2019) Analysis and optimisation of unmanned aerial vehicle swarms in logistics: An intelligent delivery platform. IEEE Access, 7 . pp. 15804-15831.

Kuru, Kaya orcid iconORCID: 0000-0002-4279-4166, Pinder, John Michael, Watkinson, Benjamin Jon, Ansell, Darren orcid iconORCID: 0000-0003-2818-3315, Vinning, Keith, Moore, Lee, Gilbert, Chris and Jones, David Towards collision-free trajectory for autonomous and pilot-controlled unmanned aerial vehicles. IEEE Transactions on Intelligent Transportation Systems . ISSN 0018-9545 (Submitted)

This list was generated on Sun Jun 4 20:56:26 2023 UTC.