People and topics related to Formal methods
People and topics related to Formal methods
richard banach
Richard
Banach
Formal methods
Formal methods
richard banach--Formal methods
Chinese language
Chinese language
richard banach--Chinese language
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
angelo cangelosi
Angelo
Cangelosi
angelo cangelosi--Artificial intelligence
Cognitive robotics
Cognitive robotics
angelo cangelosi--Cognitive robotics
Machine learning
Machine learning
angelo cangelosi--Machine learning
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
Robot programming
Robot programming
angelo cangelosi--Robot programming
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
viktor schlegel
Viktor
Schlegel
viktor schlegel--Deep learning
viktor schlegel--Natural language processing
Misinformation detection
Misinformation detection
viktor schlegel--Misinformation detection
Question answering
Question answering
viktor schlegel--Question answering
Machine reading comprehension
Machine reading comprehension
viktor schlegel--Machine reading comprehension
francisco lobo
Francisco
Lobo
francisco lobo--Formal methods
francisco lobo--Mathematical modelling
Algebra
Algebra
francisco lobo--Algebra
Automated reasoning
Automated reasoning
francisco lobo--Automated reasoning
Description logic
Description logic
francisco lobo--Description logic
Formal language
Formal language
francisco lobo--Formal language
Knowledge graphs
Knowledge graphs
francisco lobo--Knowledge graphs
Knowledge representation and reasoning
Knowledge representation and reasoning
francisco lobo--Knowledge representation and reasoning
Language of mathematics
Language of mathematics
francisco lobo--Language of mathematics
Logic
Logic
francisco lobo--Logic
Mathematical logic
Mathematical logic
francisco lobo--Mathematical logic
Mathematics
Mathematics
francisco lobo--Mathematics
Model of computation
Model of computation
francisco lobo--Model of computation
Pure mathematics
Pure mathematics
francisco lobo--Pure mathematics
Symbolic computation
Symbolic computation
francisco lobo--Symbolic computation
joe razavi
Joe
Razavi
joe razavi--Formal methods
joe razavi--Mathematical modelling
joe razavi--Algebra
joe razavi--Formal language
joe razavi--Language of mathematics
joe razavi--Logic
joe razavi--Mathematical logic
joe razavi--Mathematics
joe razavi--Model of computation
joe razavi--Pure mathematics
joe razavi--Symbolic computation
Cellular automaton
Cellular automaton
joe razavi--Cellular automaton
Compiler
Compiler
joe razavi--Compiler
Natural language
Natural language
joe razavi--Natural language
Program analysis
Program analysis
joe razavi--Program analysis
Program synthesis
Program synthesis
joe razavi--Program synthesis
Programming models
Programming models
joe razavi--Programming models
Symbolic AI
Symbolic AI
joe razavi--Symbolic AI
Verification
Verification
joe razavi--Verification
ian pratt-hartmann
Ian
Pratt-hartmann
ian pratt-hartmann--Formal methods
ian pratt-hartmann--Algebra
ian pratt-hartmann--Automated reasoning
ian pratt-hartmann--Logic
ian pratt-hartmann--Mathematics
ian pratt-hartmann--Symbolic computation
ian pratt-hartmann--Natural language
riza batista-navarro
Riza
Batista-navarro
riza batista-navarro--Machine learning
riza batista-navarro--Natural language processing
riza batista-navarro--Text mining
riza batista-navarro--Knowledge graphs
Social media analytics
Social media analytics
riza batista-navarro--Social media analytics
Information extraction
Information extraction
riza batista-navarro--Information extraction
Sentiment analysis
Sentiment analysis
riza batista-navarro--Sentiment analysis
Named entity recognition
Named entity recognition
riza batista-navarro--Named entity recognition
UIMA
UIMA
riza batista-navarro--UIMA
konstantin korovin
Konstantin
Korovin
konstantin korovin--Formal methods
konstantin korovin--Artificial intelligence
konstantin korovin--Machine learning
konstantin korovin--Automated reasoning
konstantin korovin--Logic
konstantin korovin--Mathematics
konstantin korovin--Symbolic computation
konstantin korovin--Symbolic AI
konstantin korovin--Verification
Optimisation
Optimisation
konstantin korovin--Optimisation
Theorem proving
Theorem proving
konstantin korovin--Theorem proving
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
nhung nguyen
Nhung
Nguyen
nhung nguyen--Natural language processing
Biomedical text mining
Biomedical text mining
nhung nguyen--Biomedical text mining
Few-shot learning
Few-shot learning
nhung nguyen--Few-shot learning
Knowledge base construction
Knowledge base construction
nhung nguyen--Knowledge base construction
goran nenadic
Goran
Nenadic
goran nenadic--Natural language processing
goran nenadic--Text mining
goran nenadic--Sentiment analysis
Electronic health record
Electronic health record
goran nenadic--Electronic health record
Health informatics
Health informatics
goran nenadic--Health informatics
Social media
Social media
goran nenadic--Social media