E-LIB Suche - Ergebnisse für: Banda, Gourinath

1

A Lightweight Deep Learning-based Weapon Detection Model fo..:

, In: Advances In Robotics - 6th International Conference of The Robotics Society,

Yadav, Rajeshwar ; Halder, Raju ; Thakur, Atul. - p. 1-6 , 2023

Link: https://dl.acm.org/doi/1..

2

PAVeDS: A Synthetic Dataset for Developing Autonomous Perso..:

Prasad, Deepak ; Adhithiyan, S. Thanikai ; Thanmai, Kondru.
IEEE Access. 11 (2023) - p. 101556-101566 , 2023

Link: https://doi.org/10.1109/..

3

Development of a Lizard-Inspired Wall-Climbing Robot Using ..:

Nishad, Satyendra R. ; Halder, Raju ; Banda, Gourinath.
IEEE Access. 10 (2022) - p. 72535-72544 , 2022

Link: https://doi.org/10.1109/..

4

Blockchain-Based Medical Records System:

, In: Internet of Things; Advances in Blockchain Technology for Cyber Physical Systems,

Soni, Nisarg ; Tayal, Saurav ; Singh, Tarun Kumar. - p. 61-77 , 2022

Link: https://doi.org/10.1007/..

5

HarSaRK_multi_rs: A Hard Real-time Kernel for Multi-core Mi..:

, In: Smart Intelligent Computing and Applications, Volume 2; Smart Innovation, Systems and Technologies,

Vishnunaryan, K. I. ; Banda, Gourinath - p. 21-32 , 2022

Link: https://doi.org/10.1007/..

6

A Lizard-Inspired Quadruped Robot Based on Pressure Sensiti..:

, In: Advances in Robotics - 5th International Conference of The Robotics Society,

Thakur, Atul ; HALDER, RAJU ; BANDA, GOURINATH... - p. 1-5 , 2021

Link: https://dl.acm.org/doi/1..

7

Email Validation & Arbitration Framework and Platform based..:

, In: 2021 IEEE International Conference on Advanced Networks and Telecommunications Systems (ANTS),

Reddy, B Rushya Sree ; Sravya, Atche ; Banda, Gourinath - p. 137-142 , 2021

Link: https://doi.org/10.1109/..

8

A Cooperative Algorithm for Lane Sorting of Autonomous Vehi..:

Chouhan, Aaditya Prakash ; Banda, Gourinath ; Jothibasu, Kanishkar
IEEE Access. 8 (2020) - p. 88759-88768 , 2020

Link: https://doi.org/10.1109/..

9

Formal Verification of Heuristic Autonomous Intersection Ma..:

Chouhan, Aaditya Prakash ; Banda, Gourinath
Sensors. 20 (2020) 16 - p. 4506 , 2020

Link: https://doi.org/10.3390/..

10

One IoT: an IoT protocol and framework for OEMs to make IoT..:

Banda, Gourinath ; Bommakanti, Chaitanya Krishna ; Mohan, Harsh
Journal of Reliable Intelligent Environments. 2 (2016) 3 - p. 131-144 , 2016

Link: https://doi.org/10.1007/..

11

Formal Verification of Heuristic Autonomous Intersection Ma..:

Chouhan, Aaditya Prakash ; Banda, Gourinath
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC7472046/. , 2020

Link: http://www.ncbi.nlm.nih...

12

Modelling and Analysis of Real Time Systems with Logic Prog..:

Banda, Gourinath
https://rossy.ruc.dk/index.php/csrr/article/view/4689/2377. , 2010

Link: https://rossy.ruc.dk/ind..

13

Constraint-based abstraction of a model checker for infinit..:

Banda, Gourinath ; Gallagher, John P
https://publishup.uni-potsdam.de/frontdoor/index/index/docId/3967. , 2010

Link: https://publishup.uni-po..

14

Constraint-Based Abstraction of a Model Checker for Infinit..:

Banda, Gourinath ; Gallagher, John Patrick
Banda , G & Gallagher , J P 2009 , ' Constraint-Based Abstraction of a Model Checker for Infinite State Systems ' , Paper presented at 23rd Workshop on Constraint Logic Programming (WLP 2009) , Potsdam , Germany , 15/09/2009 - 16/09/2009 .. , 2009

Link: https://forskning.ruc.dk..

15

Analysis of Linear Hybrid Systems in CLP:

Banda, Gourinath ; Gallagher, John Patrick
Banda , G & Gallagher , J P 2009 , ' Analysis of Linear Hybrid Systems in CLP ' , Lecture Notes in Computer Science , pp. 55-70 .. , 2009

Link: https://forskning.ruc.dk..