People and topics related to Cognitive robotics
People and topics related to Cognitive robotics
clare dixon
Clare
Dixon
Verification
Verification
clare dixon--Verification
Automated reasoning
Automated reasoning
clare dixon--Automated reasoning
Modal logic
Modal logic
clare dixon--Modal logic
Symbolic AI
Symbolic AI
clare dixon--Symbolic AI
Autonomous systems
Autonomous systems
clare dixon--Autonomous systems
Reliability, robustness and trust
Reliability, robustness and trust
clare dixon--Reliability, robustness and trust
Swarm robotics
Swarm robotics
clare dixon--Swarm robotics
ainur begalinova
Ainur
Begalinova
Robotics
Robotics
ainur begalinova--Robotics
Robot manipulation
Robot manipulation
ainur begalinova--Robot manipulation
Robot programming
Robot programming
ainur begalinova--Robot programming
Human-robot interaction
Human-robot interaction
ainur begalinova--Human-robot interaction
Machine learning
Machine learning
ainur begalinova--Machine learning
Artificial intelligence
Artificial intelligence
ainur begalinova--Artificial intelligence
Data science
Data science
ainur begalinova--Data science
angelo cangelosi
Angelo
Cangelosi
angelo cangelosi--Robot programming
angelo cangelosi--Machine learning
angelo cangelosi--Artificial intelligence
Cognitive robotics
Cognitive robotics
angelo cangelosi--Cognitive robotics
Cognitive modelling
Cognitive modelling
angelo cangelosi--Cognitive modelling
Human-Robot Interaction
Human-Robot Interaction
angelo cangelosi--Human-Robot Interaction
Deep learning
Deep learning
angelo cangelosi--Deep learning
Natural language processing
Natural language processing
angelo cangelosi--Natural language processing
Language grounding
Language grounding
angelo cangelosi--Language grounding
Developmental robotics
Developmental robotics
angelo cangelosi--Developmental robotics
Social robots
Social robots
angelo cangelosi--Social robots
Technologies for social and health care (robot companions)
Technologies for social and health care (robot companions)
angelo cangelosi--Technologies for social and health care (robot companions)
Trust and technology
Trust and technology
angelo cangelosi--Trust and technology
Robot tutors
Robot tutors
angelo cangelosi--Robot tutors
Deep neural networks (Tensorflow, Caffe2)
Deep neural networks (Tensorflow, Caffe2)
angelo cangelosi--Deep neural networks (Tensorflow, Caffe2)
Machine learning algorithms
Machine learning algorithms
angelo cangelosi--Machine learning algorithms
iCub, Pepper, Sawyer robots
iCub, Pepper, Sawyer robots
angelo cangelosi--iCub, Pepper, Sawyer robots
lucas cordeiro
Lucas
Cordeiro
lucas cordeiro--Robotics
Program analysis
Program analysis
lucas cordeiro--Program analysis
Program synthesis
Program synthesis
lucas cordeiro--Program synthesis
Blockchain
Blockchain
lucas cordeiro--Blockchain
Unmanned aerial vehicles
Unmanned aerial vehicles
lucas cordeiro--Unmanned aerial vehicles
Software development security
Software development security
lucas cordeiro--Software development security
Satisfiability modulo theories
Satisfiability modulo theories
lucas cordeiro--Satisfiability modulo theories
paul nutter
Paul
Nutter
paul nutter--Robotics
Arduino
Arduino
paul nutter--Arduino
Assembly Language
Assembly Language
paul nutter--Assembly Language
Data Storage Systems
Data Storage Systems
paul nutter--Data Storage Systems
Electronics
Electronics
paul nutter--Electronics
Embedded Systems
Embedded Systems
paul nutter--Embedded Systems
Image analysis
Image analysis
paul nutter--Image analysis
Instrumentation
Instrumentation
paul nutter--Instrumentation
IoT
IoT
paul nutter--IoT
Microcontrollers
Microcontrollers
paul nutter--Microcontrollers
Raspberry Pi
Raspberry Pi
paul nutter--Raspberry Pi
Schools Outreach
Schools Outreach
paul nutter--Schools Outreach
Sensors
Sensors
paul nutter--Sensors
Student-led Projects
Student-led Projects
paul nutter--Student-led Projects