People and topics related to Swarm intelligence
People and topics related to Swarm intelligence
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
tingting mu
Tingting
Mu
tingting mu--Artificial intelligence
tingting mu--Machine learning
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
Natural language processing
Natural language processing
tingting mu--Natural language processing
Text mining
Text mining
tingting mu--Text mining
jon shapiro
Jon
Shapiro
jon shapiro--Machine learning
Agent-based model
Agent-based model
jon shapiro--Agent-based model
Poker
Poker
jon shapiro--Poker
Reinforcement learning
Reinforcement learning
jon shapiro--Reinforcement learning
Modelling biological systems
Modelling biological systems
jon shapiro--Modelling biological systems
Statistical models
Statistical models
jon shapiro--Statistical models
Swarm intelligence
Swarm intelligence
jon shapiro--Swarm intelligence
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
angelo cangelosi
Angelo
Cangelosi
angelo cangelosi--Artificial intelligence
angelo cangelosi--Robot programming
angelo cangelosi--Machine learning
angelo cangelosi--Natural language processing
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
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
renate schmidt
Renate
Schmidt
renate schmidt--Artificial intelligence
renate schmidt--Automated reasoning
renate schmidt--Modal logic
Description logic
Description logic
renate schmidt--Description logic
Semantic web
Semantic web
renate schmidt--Semantic web
AI in health
AI in health
renate schmidt--AI in health
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--Verification
konstantin korovin--Automated reasoning
konstantin korovin--Symbolic AI
konstantin korovin--Logic
konstantin korovin--Mathematics
Optimisation
Optimisation
konstantin korovin--Optimisation
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
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