Departments · 1
clear filterinternet security
- internet measurements
- computer systems and network security
- ssl/tls
- secure dns
- authentication
- secure bgp
question answering · knowledge graph analytics · domain adaptation · data integration · sports analytics
- question answering over knowledge graphs
- heterogeneous recommendations
- time-sensitive sports analytics
artificial intelligence · multi-agent systems · game theory · graph theory · social networks
- computational social choice
- voting theory
- social network simulations
- algorithmic fairness
- fair allocation
algorithms · computational geometry · graph theory · discrete mathematics · data science
- geometric graphs
- geometric location analysis
- shortest-path problems
- geometric spanners
- delaunay triangulations
- parallel and external-memory algorithms
computer security · operating systems · intrusion detection · complex adaptive systems · artificial life
- immune-inspired security
- software diversity
- ebpf-based defences
- anomaly detection
security and environmental sustainability · computer and network security · internet of things (iot) security · operating systems security
computer graphics · computer games
- non-photorealistic rendering
- image stylization
- texture synthesis
- procedural modeling
- nonlinear storytelling
automated reasoning · formal methods in software engineering · programming languages · software engineering
- automated reasoning
- formal verification
- type theory
- proof assistants
mobile computing · peer-to-peer computing · evolutionary computation · object-oriented systems · software patterns · programming languages · open-source software
- genetic algorithms
- genetic programming
- artificial life
- eclipse
- beacon technology
- health informatics
human-computer interaction · educational games · tangibles · augmented reality · virtual reality · game studies
- game design and development
- alternative game controllers
- fabrication technologies for games
- game-based training and assessment
- games for health
- games for social good
human-computer interaction · computer security
- usable security
- usable authentication
- usable security for healthcare
- security education
- cognitive science applied to security
algorithmics · distributed and mobile agent computing · networks (ad hoc · sensor · social · wireless) · cryptographic and network security · distributed and computational biology
- analysis of algorithms
- mobile agent computing
- sensor networks
- social networks
- wireless ad hoc networks
- network security
software engineering · software testing · object-oriented testing · contextualized natural language understanding
- scenario testing
- test data generation
- behavior-driven development
- requirements acceptance testing
- security of critical infrastructures
artificial intelligence · machine learning
- reinforcement learning
- transfer learning
- federated learning
trusted computing · hardware/architectural security · systems security · authentication and privacy
- low-level platform security
- firmware/hypervisor/os security
- trustworthy program execution
- privacy preservation
- data protection
machine learning · deep learning · computer vision · natural language processing
- interpretable machine learning
- explainable ai
- deep neural networks
- transfer learning
- black-box model interpretation
- few-shot learning
robotics · computational geometry · artificial life
- multi-robot coordination
- multi-robot path planning
- coordinated mapping and searching
- robot control with external sensing
- 3d imaging for robotics
surgical data science · machine learning · computer-assisted surgery
- machine learning for time-series data
- domain knowledge in ml
- real-time surgical decision support
- surgical performance assessment
wireless communications and networking
- wide-area ad hoc networks
- underwater communications and networks
- quantum communications and networks
- software-defined radio
algorithms · computational geometry · geometric networks · graph algorithms · data structures
- computational geometry
- geometric networks
- geometric spanners
- applications of computational geometry in manufacturing
human-computer interaction · user-centered design
- display clutter
- data overload
- eye tracking
- driver distraction
- head-up displays
- adaptive interfaces
algorithms · distributed computing · distributed and real-time systems · communication networks · data structures · graph theory · mobile computing · parallel and distributed computing · robotics · theory of computing · wireless communication
- distributed algorithms
- mobile agent computing
- network computing
- evolutionary computing
software engineering · mining software repositories · human aspects of software engineering · data science
- empirical software engineering
- code review
- recommender systems
- mining stack overflow and github
- machine learning
- nlp
computer graphics · computer vision · computer games
- geometric modeling
- geometric processing and visualization
- shape analysis
- shape segmentation
- shape correspondence
- shape synthesis
algorithms · data structures · graphs · computational geometry
- efficient algorithms and data structures
- planar graphs
- graph product structure theory
- computational geometry
authentication · computer security · internet security · applied cryptography · information security
- authentication and identity management
- system security
- software security
- web security
- network security
- smartphone security
algorithms · data structures · computational geometry · graph theory
- design and analysis of algorithms
- applied geometric computing
- discrete and computational geometry
- computer vision
- graph algorithms
- pattern recognition
usable security · human-computer interaction · computer security · educational games
- usable security and privacy for children
- user authentication
- mobile device security
- mental models of security
- persuasive security games
- phishing and web trust
multi-agent systems · reinforcement learning · game theory · deep learning · machine learning · ai safety · generative ai
- multi-agent reinforcement learning
- non-stationarity
- sample efficiency
- ai safety
- theoretical reinforcement learning
animation systems · interactive 3d games · object-oriented systems · parsers · computer graphics
machine learning · artificial intelligence · computer vision · natural language processing · medical data analysis
- representation learning
- domain adaptation and generalization
- few-shot learning
- zero-shot learning
- continual learning
- weakly supervised learning
artificial intelligence · multi-agent systems · multi-agent learning
- manipulative interaction modelling
- machine-human interaction
- perceptual control
- emergent behaviour
- behaviour cultivation
- backdoor/environment-poisoning attacks