All people and topics
All people and topics
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
christos kotselidis
Christos
Kotselidis
Big data
Big data
christos kotselidis--Big data
Managed runtimes
Managed runtimes
christos kotselidis--Managed runtimes
Compiler
Compiler
christos kotselidis--Compiler
Virtual machines
Virtual machines
christos kotselidis--Virtual machines
Hardware acceleration
Hardware acceleration
christos kotselidis--Hardware acceleration
Heterogeneous execution
Heterogeneous execution
christos kotselidis--Heterogeneous execution
Hardware/Software codesign
Hardware/Software codesign
christos kotselidis--Hardware/Software codesign
Low power computing
Low power computing
christos kotselidis--Low power computing
Automatic parallelization
Automatic parallelization
christos kotselidis--Automatic parallelization
Programming models
Programming models
christos kotselidis--Programming models
Java
Java
christos kotselidis--Java
JVM
JVM
christos kotselidis--JVM
Flink
Flink
christos kotselidis--Flink
OpenCL
OpenCL
christos kotselidis--OpenCL
zahra montazeri
Zahra
Montazeri
zahra montazeri--Machine learning
Computer graphics
Computer graphics
zahra montazeri--Computer graphics
Visualisation
Visualisation
zahra montazeri--Visualisation
Augmented reality
Augmented reality
zahra montazeri--Augmented reality
Virtual reality
Virtual reality
zahra montazeri--Virtual reality
Rendering
Rendering
zahra montazeri--Rendering
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
kung-kiu lau
Kung-kiu
Lau
Component-based software engineering
Component-based software engineering
kung-kiu lau--Component-based software engineering
Service-oriented architecture
Service-oriented architecture
kung-kiu lau--Service-oriented architecture
Cloud computing
Cloud computing
kung-kiu lau--Cloud computing
Web service
Web service
kung-kiu lau--Web service
Product family engineering
Product family engineering
kung-kiu lau--Product family engineering
Web
Web
kung-kiu lau--Web
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
stewart blakeway
Stewart
Blakeway
markel vigo
Markel
Vigo
markel vigo--Web
Human-computer interaction
Human-computer interaction
markel vigo--Human-computer interaction
Interaction analysis and modelling
Interaction analysis and modelling
markel vigo--Interaction analysis and modelling
Interaction pattern mining
Interaction pattern mining
markel vigo--Interaction pattern mining
User experience
User experience
markel vigo--User experience
Usability
Usability
markel vigo--Usability
Accessibility
Accessibility
markel vigo--Accessibility
Human behaviour
Human behaviour
markel vigo--Human behaviour
Citizen science
Citizen science
markel vigo--Citizen science
Health informatics
Health informatics
markel vigo--Health informatics
Interactive applications
Interactive applications
markel vigo--Interactive applications
paul nutter
Paul
Nutter
paul nutter--Robotics
paul nutter--Microcontrollers
paul nutter--Raspberry Pi
paul nutter--Instrumentation
paul nutter--Image analysis
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
IoT
IoT
paul nutter--IoT
Schools Outreach
Schools Outreach
paul nutter--Schools Outreach
Sensors
Sensors
paul nutter--Sensors
Student-led Projects
Student-led Projects
paul nutter--Student-led Projects
goran nenadic
Goran
Nenadic
goran nenadic--Health informatics
Text mining
Text mining
goran nenadic--Text mining
Natural language processing
Natural language processing
goran nenadic--Natural language processing
Sentiment analysis
Sentiment analysis
goran nenadic--Sentiment analysis
Electronic health record
Electronic health record
goran nenadic--Electronic health record
Social media
Social media
goran nenadic--Social media
rizos sakellariou
Rizos
Sakellariou
rizos sakellariou--Compiler
rizos sakellariou--Cloud computing
rizos sakellariou--Data analysis
Parallel and distributed computing
Parallel and distributed computing
rizos sakellariou--Parallel and distributed computing
Social media analytics
Social media analytics
rizos sakellariou--Social media analytics
Sport and recreation
Sport and recreation
rizos sakellariou--Sport and recreation
Computer games
Computer games
rizos sakellariou--Computer games
Scheduling
Scheduling
rizos sakellariou--Scheduling
sarah clinch
Sarah
Clinch
sarah clinch--Augmented reality
sarah clinch--Internet of things
sarah clinch--Human-computer interaction
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
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
louise dennis
Louise
Dennis
Beliefs-desire-intentions programming
Beliefs-desire-intentions programming
louise dennis--Beliefs-desire-intentions programming
Public engagement
Public engagement
louise dennis--Public engagement
Trustworthy robotics and autonomous systems
Trustworthy robotics and autonomous systems
louise dennis--Trustworthy robotics and autonomous systems
Verification
Verification
louise dennis--Verification
Multi agent systems
Multi agent systems
louise dennis--Multi agent systems
Social network modelling
Social network modelling
louise dennis--Social network modelling
Machine ethics
Machine ethics
louise dennis--Machine ethics
Explainability
Explainability
louise dennis--Explainability
richard banach
Richard
Banach
Formal methods
Formal methods
richard banach--Formal methods
Chinese language
Chinese language
richard banach--Chinese language
clare dixon
Clare
Dixon
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
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)
tom carroll
Tom
Carroll
Puzzles
Puzzles
tom carroll--Puzzles
GPU
GPU
tom carroll--GPU
Bioinformatics
Bioinformatics
tom carroll--Bioinformatics
String algorithms
String algorithms
tom carroll--String algorithms
Graphs
Graphs
tom carroll--Graphs
History
History
tom carroll--History
ning zhang
Ning
Zhang
Cryptography
Cryptography
ning zhang--Cryptography
Data integrity
Data integrity
ning zhang--Data integrity
Authentication
Authentication
ning zhang--Authentication
Access control
Access control
ning zhang--Access control
Cryptographic protocol
Cryptographic protocol
ning zhang--Cryptographic protocol
Mobile security
Mobile security
ning zhang--Mobile security
Cloud computing security
Cloud computing security
ning zhang--Cloud computing security
Visualization (graphics)
Visualization (graphics)
ning zhang--Visualization (graphics)
Network security
Network security
ning zhang--Network security
Spoofing attack
Spoofing attack
ning zhang--Spoofing attack
Anti-spam techniques
Anti-spam techniques
ning zhang--Anti-spam techniques
gareth henshall
Gareth
Henshall
gareth henshall--Virtual reality
gareth henshall--Raspberry Pi
gareth henshall--Arduino
gareth henshall--Social media
gareth henshall--Sport and recreation
Mobile application software
Mobile application software
gareth henshall--Mobile application software
Web application
Web application
gareth henshall--Web application
E-learning
E-learning
gareth henshall--E-learning
Public health
Public health
gareth henshall--Public health
Python (programming language)
Python (programming language)
gareth henshall--Python (programming language)
Crowdsourcing
Crowdsourcing
gareth henshall--Crowdsourcing
duncan hull
Duncan
Hull
duncan hull--Raspberry Pi
duncan hull--Arduino
duncan hull--Bioinformatics
duncan hull--Mobile application software
duncan hull--Web application
duncan hull--E-learning
duncan hull--Python (programming language)
Information science
Information science
duncan hull--Information science
Computers in the classroom
Computers in the classroom
duncan hull--Computers in the classroom
Secondary education
Secondary education
duncan hull--Secondary education
Linked data
Linked data
duncan hull--Linked data
Open data
Open data
duncan hull--Open data
Educational technology
Educational technology
duncan hull--Educational technology
Lego Mindstorms
Lego Mindstorms
duncan hull--Lego Mindstorms
david wong
David
Wong
david wong--Machine learning
david wong--Health informatics
Signal processing
Signal processing
david wong--Signal processing
ian pratt-hartmann
Ian
Pratt-hartmann
ian pratt-hartmann--Formal methods
ian pratt-hartmann--Automated reasoning
ian pratt-hartmann--Logic
ian pratt-hartmann--Mathematics
ian pratt-hartmann--Algebra
Symbolic computation
Symbolic computation
ian pratt-hartmann--Symbolic computation
Natural language
Natural language
ian pratt-hartmann--Natural language
tingting mu
Tingting
Mu
tingting mu--Machine learning
tingting mu--Artificial intelligence
tingting mu--Text mining
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
ke chen
Ke
Chen
ke chen--Machine learning
ke chen--Artificial intelligence
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
terry morley
Terry
Morley
terry morley--Human-computer interaction
terry morley--Python (programming language)
terry morley--Computer vision
Image processing
Image processing
terry morley--Image processing
OpenCV
OpenCV
terry morley--OpenCV
C (programming language)
C (programming language)
terry morley--C (programming language)
C++ (programming language)
C++ (programming language)
terry morley--C++ (programming language)
Software development
Software development
terry morley--Software development
Visual navigation
Visual navigation
terry morley--Visual navigation
mauricio alvarez
Mauricio
Alvarez
mauricio alvarez--Machine learning
Time series
Time series
mauricio alvarez--Time series
Spatio-temporal data
Spatio-temporal data
mauricio alvarez--Spatio-temporal data
Probabilistic models
Probabilistic models
mauricio alvarez--Probabilistic models
suzanne embury
Suzanne
Embury
Agile software engineering
Agile software engineering
suzanne embury--Agile software engineering
Software testing
Software testing
suzanne embury--Software testing
DevOps
DevOps
suzanne embury--DevOps
Software discovery
Software discovery
suzanne embury--Software discovery
Software quality
Software quality
suzanne embury--Software quality
Git workflows
Git workflows
suzanne embury--Git workflows
Student-led projects
Student-led projects
suzanne embury--Student-led projects
youcheng sun
Youcheng
Sun
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
aphrodite galata
Aphrodite
Galata
aphrodite galata--Machine learning
aphrodite galata--Human-computer interaction
aphrodite galata--Computer vision
Gesture recognition
Gesture recognition
aphrodite galata--Gesture recognition
Motion capture
Motion capture
aphrodite galata--Motion capture
Kinect
Kinect
aphrodite galata--Kinect
uli sattler
Uli
Sattler
uli sattler--Automated reasoning
uli sattler--Modal logic
uli sattler--Symbolic AI
uli sattler--Description logic
uli sattler--Logic
uli sattler--Knowledge representation and reasoning
uli sattler--Ontology engineering
uli sattler--Mathematics
uli sattler--Ontology (information science)
uli sattler--Computers in the classroom
Knowledge Representation and reasoning
Knowledge Representation and reasoning
uli sattler--Knowledge Representation and reasoning
Semantic Web
Semantic Web
uli sattler--Semantic Web
Web Ontology Language
Web Ontology Language
uli sattler--Web Ontology Language
Protege (software)
Protege (software)
uli sattler--Protege (software)
christoforos moutafis
Christoforos
Moutafis
GPU simulations
GPU simulations
christoforos moutafis--GPU simulations
Computational Physics
Computational Physics
christoforos moutafis--Computational Physics
Micromagnetics
Micromagnetics
christoforos moutafis--Micromagnetics
Spintronics
Spintronics
christoforos moutafis--Spintronics
Web-design
Web-design
christoforos moutafis--Web-design
daniel dresner
Daniel
Dresner
Cyber security
Cyber security
daniel dresner--Cyber security
Risk management
Risk management
daniel dresner--Risk management
Trustworthy systems
Trustworthy systems
daniel dresner--Trustworthy systems
francisco lobo
Francisco
Lobo
francisco lobo--Formal methods
francisco lobo--Automated reasoning
francisco lobo--Description logic
francisco lobo--Logic
francisco lobo--Knowledge representation and reasoning
francisco lobo--Mathematics
francisco lobo--Algebra
francisco lobo--Symbolic computation
francisco lobo--Mathematical modelling
Formal language
Formal language
francisco lobo--Formal language
Knowledge graphs
Knowledge graphs
francisco lobo--Knowledge graphs
Language of mathematics
Language of mathematics
francisco lobo--Language of mathematics
Mathematical logic
Mathematical logic
francisco lobo--Mathematical logic
Model of computation
Model of computation
francisco lobo--Model of computation
Pure mathematics
Pure mathematics
francisco lobo--Pure mathematics
viktor schlegel
Viktor
Schlegel
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
Deep learning
Deep learning
viktor schlegel--Deep learning
tim morris
Tim
Morris
tim morris--Augmented reality
tim morris--Human-computer interaction
tim morris--Computer vision
tim morris--Image processing
tim morris--OpenCV
tim morris--C (programming language)
Medical imaging
Medical imaging
tim morris--Medical imaging
Biometrics
Biometrics
tim morris--Biometrics
Computer art
Computer art
tim morris--Computer art
Mobile apps
Mobile apps
tim morris--Mobile apps
Processing (programming language)
Processing (programming language)
tim morris--Processing (programming language)
mustafa mustafa
Mustafa
Mustafa
Information security
Information security
mustafa mustafa--Information security
Data privacy
Data privacy
mustafa mustafa--Data privacy
Applied cryptography
Applied cryptography
mustafa mustafa--Applied cryptography
Protocol design
Protocol design
mustafa mustafa--Protocol design
Smart grid
Smart grid
mustafa mustafa--Smart grid
Peer-to-peer energy trading
Peer-to-peer energy trading
mustafa mustafa--Peer-to-peer energy trading
Energy market models
Energy market models
mustafa mustafa--Energy market models
Federated learning
Federated learning
mustafa mustafa--Federated learning
Privacy-preserving machine learning
Privacy-preserving machine learning
mustafa mustafa--Privacy-preserving machine learning
Secure computation techniques
Secure computation techniques
mustafa mustafa--Secure computation techniques
Electricity prediction
Electricity prediction
mustafa mustafa--Electricity prediction
riza batista-navarro
Riza
Batista-navarro
riza batista-navarro--Machine learning
riza batista-navarro--Text mining
riza batista-navarro--Natural language processing
riza batista-navarro--Sentiment analysis
riza batista-navarro--Social media analytics
riza batista-navarro--Knowledge graphs
Information extraction
Information extraction
riza batista-navarro--Information extraction
Named entity recognition
Named entity recognition
riza batista-navarro--Named entity recognition
UIMA
UIMA
riza batista-navarro--UIMA
sean bechhofer
Sean
Bechhofer
sean bechhofer--Linked data
sean bechhofer--Open data
sean bechhofer--Processing (programming language)
Web ontology language
Web ontology language
sean bechhofer--Web ontology language
Music
Music
sean bechhofer--Music
anirbit mukherjee
Anirbit
Mukherjee
anirbit mukherjee--Deep learning
Neural networks
Neural networks
anirbit mukherjee--Neural networks
Mathematics of AI
Mathematics of AI
anirbit mukherjee--Mathematics of AI
Differential equations
Differential equations
anirbit mukherjee--Differential equations
gavin brown
Gavin
Brown
gavin brown--Machine learning
jim garside
Jim
Garside
jim garside--Hardware acceleration
jim garside--Low power computing
jim garside--Microcontrollers
jim garside--Arduino
Computer architecture
Computer architecture
jim garside--Computer architecture
Embedded systems
Embedded systems
jim garside--Embedded systems
FPGAs
FPGAs
jim garside--FPGAs
Hardware/software codesign
Hardware/software codesign
jim garside--Hardware/software codesign
Operating systems
Operating systems
jim garside--Operating systems
Raspberry PI
Raspberry PI
jim garside--Raspberry PI
SpiNNaker
SpiNNaker
jim garside--SpiNNaker
Systems software
Systems software
jim garside--Systems software
Assembly language
Assembly language
jim garside--Assembly language
andrea schalk
Andrea
Schalk
andrea schalk--Modelling biological systems
andrea schalk--Logic
andrea schalk--Mathematics
andrea schalk--Model of computation
Cellular automaton
Cellular automaton
andrea schalk--Cellular automaton
Blended learning
Blended learning
andrea schalk--Blended learning
Denotational semantics
Denotational semantics
andrea schalk--Denotational semantics
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
joe razavi
Joe
Razavi
joe razavi--Compiler
joe razavi--Programming models
joe razavi--Verification
joe razavi--Formal methods
joe razavi--Symbolic AI
joe razavi--Logic
joe razavi--Mathematics
joe razavi--Algebra
joe razavi--Symbolic computation
joe razavi--Natural language
joe razavi--Mathematical modelling
joe razavi--Formal language
joe razavi--Language of mathematics
joe razavi--Mathematical logic
joe razavi--Model of computation
joe razavi--Pure mathematics
joe razavi--Cellular automaton
joe razavi--Program analysis
joe razavi--Program synthesis
rigina skeva
Rigina
Skeva
rigina skeva--Virtual reality
rigina skeva--Human behaviour
rigina skeva--Mixed reality
rigina skeva--Interactivity
Technological applications in healthcare
Technological applications in healthcare
rigina skeva--Technological applications in healthcare
Technological applications in pedagogy
Technological applications in pedagogy
rigina skeva--Technological applications in pedagogy
angelo cangelosi
Angelo
Cangelosi
angelo cangelosi--Robot programming
angelo cangelosi--Machine learning
angelo cangelosi--Artificial intelligence
angelo cangelosi--Natural language processing
angelo cangelosi--Deep 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
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
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
bernardo magri
Bernardo
Magri
bernardo magri--Cryptography
bernardo magri--Blockchain
Cryptocurrencies
Cryptocurrencies
bernardo magri--Cryptocurrencies
Consensus
Consensus
bernardo magri--Consensus
Subversion of cryptographic primitives
Subversion of cryptographic primitives
bernardo magri--Subversion of cryptographic primitives
Public-key cryptography
Public-key cryptography
bernardo magri--Public-key cryptography
konstantin korovin
Konstantin
Korovin
konstantin korovin--Machine learning
konstantin korovin--Artificial intelligence
konstantin korovin--Verification
konstantin korovin--Formal methods
konstantin korovin--Automated reasoning
konstantin korovin--Symbolic AI
konstantin korovin--Logic
konstantin korovin--Mathematics
konstantin korovin--Symbolic computation
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
pierre olivier
Pierre
Olivier
pierre olivier--Java
pierre olivier--Python
pierre olivier--Operating systems
pierre olivier--Systems software
Virtualization
Virtualization
pierre olivier--Virtualization
Systems security
Systems security
pierre olivier--Systems security
Flash/NVM storage
Flash/NVM storage
pierre olivier--Flash/NVM storage
Performance evaluation
Performance evaluation
pierre olivier--Performance evaluation
C
C
pierre olivier--C
C++
C++
pierre olivier--C++
liping zhao
Liping
Zhao
Machine learning for requirements engineering
Machine learning for requirements engineering
liping zhao--Machine learning for requirements engineering
NLP for requirements engineering (NLP4RE)
NLP for requirements engineering (NLP4RE)
liping zhao--NLP for requirements engineering (NLP4RE)
App review analysis with deep learning
App review analysis with deep learning
liping zhao--App review analysis with deep learning
NLP for conceptual modelling
NLP for conceptual modelling
liping zhao--NLP for conceptual modelling
Semantic role labelling
Semantic role labelling
liping zhao--Semantic role labelling
sandra sampaio
Sandra
Sampaio
sandra sampaio--Parallel and distributed computing
sandra sampaio--Python (programming language)
Mashup (web application hybrid)
Mashup (web application hybrid)
sandra sampaio--Mashup (web application hybrid)
Data integration
Data integration
sandra sampaio--Data integration
Data wrangling
Data wrangling
sandra sampaio--Data wrangling
Data profiling
Data profiling
sandra sampaio--Data profiling
Database
Database
sandra sampaio--Database
Data quality
Data quality
sandra sampaio--Data quality
R (programming language)
R (programming language)
sandra sampaio--R (programming language)
Web services related technologies
Web services related technologies
sandra sampaio--Web services related technologies
Java (programming language)
Java (programming language)
sandra sampaio--Java (programming language)
ahmed saeed
Ahmed
Saeed
ahmed saeed--Microcontrollers
ahmed saeed--Embedded Systems
FPGAs/Reconfigurable Systems
FPGAs/Reconfigurable Systems
ahmed saeed--FPGAs/Reconfigurable Systems
Internet of Things(IoT)
Internet of Things(IoT)
ahmed saeed--Internet of Things(IoT)
LLVM
LLVM
ahmed saeed--LLVM
Compile Time Code Instrumentation
Compile Time Code Instrumentation
ahmed saeed--Compile Time Code Instrumentation
Computer Architecture
Computer Architecture
ahmed saeed--Computer Architecture
Network Traffic Monitoring and Analyses
Network Traffic Monitoring and Analyses
ahmed saeed--Network Traffic Monitoring and Analyses
oliver rhodes
Oliver
Rhodes
oliver rhodes--SpiNNaker
Neuromorphic computing
Neuromorphic computing
oliver rhodes--Neuromorphic computing
Neural Networks
Neural Networks
oliver rhodes--Neural Networks
Computational Neurorobotics
Computational Neurorobotics
oliver rhodes--Computational Neurorobotics