People and topics related to Trustworthy robotics and autonomous systems

People and topics related to Trustworthy robotics and autonomous systems youcheng sun Youcheng Sun Artificial intelligence Artificial intelligence youcheng sun--Artificial intelligence Explainable AI Explainable AI youcheng sun--Explainable AI Cybersecurity Cybersecurity youcheng sun--Cybersecurity Software security Software security youcheng sun--Software security Software engineering Software engineering youcheng sun--Software engineering Cyber-physical systems Cyber-physical systems youcheng sun--Cyber-physical systems Model checking Model checking youcheng sun--Model checking ainur begalinova Ainur Begalinova ainur begalinova--Artificial intelligence 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 Data science Data science ainur begalinova--Data science angelo cangelosi Angelo Cangelosi angelo cangelosi--Artificial intelligence angelo cangelosi--Robot programming angelo cangelosi--Machine learning 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 tingting mu Tingting Mu tingting mu--Artificial intelligence tingting mu--Machine learning tingting mu--Natural language processing Mathematical modelling Mathematical modelling tingting mu--Mathematical modelling Optimization Optimization tingting mu--Optimization Matrix decomposition Matrix decomposition tingting mu--Matrix decomposition Computer vision Computer vision tingting mu--Computer vision Text mining Text mining tingting mu--Text mining tom thomson Tom Thomson Internet of things Internet of things tom thomson--Internet of things Microcontrollers Microcontrollers tom thomson--Microcontrollers Finite element method Finite element method tom thomson--Finite element method Raspberry Pi Raspberry Pi tom thomson--Raspberry Pi Data analysis Data analysis tom thomson--Data analysis Hard disk drive Hard disk drive tom thomson--Hard disk drive Instrumentation Instrumentation tom thomson--Instrumentation Image analysis Image analysis tom thomson--Image analysis Arduino Arduino tom thomson--Arduino renate schmidt Renate Schmidt renate schmidt--Artificial intelligence Description logic Description logic renate schmidt--Description logic Semantic web Semantic web renate schmidt--Semantic web Modal logic Modal logic renate schmidt--Modal logic AI in health AI in health renate schmidt--AI in health Automated reasoning Automated reasoning renate schmidt--Automated reasoning Logic Logic renate schmidt--Logic Knowledge representation and reasoning Knowledge representation and reasoning renate schmidt--Knowledge representation and reasoning Ontology engineering Ontology engineering renate schmidt--Ontology engineering Mathematics Mathematics renate schmidt--Mathematics Algebra Algebra renate schmidt--Algebra Ontology (information science) Ontology (information science) renate schmidt--Ontology (information science) konstantin korovin Konstantin Korovin konstantin korovin--Artificial intelligence konstantin korovin--Machine learning konstantin korovin--Automated reasoning konstantin korovin--Logic konstantin korovin--Mathematics Symbolic AI Symbolic AI konstantin korovin--Symbolic AI Optimisation Optimisation konstantin korovin--Optimisation Verification Verification konstantin korovin--Verification Theorem proving Theorem proving konstantin korovin--Theorem proving Formal methods Formal methods konstantin korovin--Formal methods Symbolic computation Symbolic computation konstantin korovin--Symbolic computation DNA computing DNA computing konstantin korovin--DNA computing SAT/SMT/theorem provers SAT/SMT/theorem provers konstantin korovin--SAT/SMT/theorem provers iProver iProver konstantin korovin--iProver OCaml OCaml konstantin korovin--OCaml sarah clinch Sarah Clinch sarah clinch--Internet of things Human-computer interaction Human-computer interaction sarah clinch--Human-computer interaction Human behaviour Human behaviour sarah clinch--Human behaviour Human memory Human memory sarah clinch--Human memory Ubiquitous computing Ubiquitous computing sarah clinch--Ubiquitous computing Mobile computing Mobile computing sarah clinch--Mobile computing Digital signage Digital signage sarah clinch--Digital signage Augmented reality Augmented reality sarah clinch--Augmented reality Mixed reality Mixed reality sarah clinch--Mixed reality Google effect Google effect sarah clinch--Google effect Mindfulness and technology Mindfulness and technology sarah clinch--Mindfulness and technology Forgetting Forgetting sarah clinch--Forgetting Interactivity Interactivity sarah clinch--Interactivity Ethics Ethics sarah clinch--Ethics Empirical research Empirical research sarah clinch--Empirical research Women in STEM fields Women in STEM fields sarah clinch--Women in STEM fields Eating disorder Eating disorder sarah clinch--Eating disorder Instagram Instagram sarah clinch--Instagram Python Python sarah clinch--Python Mobile phone based sensing software Mobile phone based sensing software sarah clinch--Mobile phone based sensing software Information privacy Information privacy sarah clinch--Information privacy Digital inheritance Digital inheritance sarah clinch--Digital inheritance Lifelogging Lifelogging sarah clinch--Lifelogging ke chen Ke Chen ke chen--Artificial intelligence ke chen--Machine learning ke chen--Computer vision Reinforcement Learning & Applications Reinforcement Learning & Applications ke chen--Reinforcement Learning & Applications Deep neural networks Deep neural networks ke chen--Deep neural networks Speech information processing Speech information processing ke chen--Speech information processing Video game development Video game development ke chen--Video game development