Proposal keywords

Keywords occurring in all project suggestions.

Click a column title to sort the table.

Keywordsort descending Number of projects
Active Learning 1
advanced metering infrastructure 1
Agda 15
agents 1
AI 7
AI in production 1
Algorithms 10
Allergies 1
analysis of data 1
ANN 0
anomaly detection 2
Anonymization 1
Apache OpenWhisk 1
Approximation algorithms 1
architecture 0
artificial animals 1
Artificial general intelligence 0
Artificial Intelligence 4
Artificial life 1
artificial neural networks 6
Astronomy 0
attack detection methods 1
Automata 3
automata-learning 1
automated analysis 0
Automated Theorem Proving 2
Automatic Information System 1
automation 2
automotive 1
automotive industry 5
autonomous 1
Autonomous Driving 5
autonomous systems 2
Autonomous vehicles 0
Bayesian inference 1
Bayesian predictor 0
Big Data 7
Bioinformatics 7
Biometric authentification 0
Biometrics 1
blockchain 1
Boltzmann Generator 1
category theory 1
Causal Inference 2
Chemical engineering 2
choose suitable keywords! 0
classification 1
Climate change 3
cloud analysis 1
cloud computing 1
Clustering 0
cognitive science 1
collaborative learning 1
Combinatorics 2
communication security 0
community detection 1
Compiler 2
Compiler construction 1
complex networks 1
Complexity analysis 2
computational chemestry 1
computational chemistry 1
Computer Architecture 1
computer engieering 1
computer engineering 0
Computer Graphics 1
computer networks 2
computer vision 3
computional linguistics 1
concurrency 1
continuous bandits 1
convex optimization 1
convolutional neural networks 2
Cryptography 0
CS Education 1
cyber physical systems 1
cyberphysical systems 2
Cybersecurity 0
data analysis 2
data augmentation 1
data clustering 1
data integration 0
data mining 5
data modelling 0
Data Privacy 2
Data science 9
Data Streaming 2
Data structures 1
Databases 2
Debloating 1
Decision Trees 1
decision-making 1
Deep Learning 13
Dependent Types 4
Dependently-typed programming 1
Determinism 0
Digital Signal Processing 1
digital twin 1
Digital Twin City 1
Distributed 1
Distributed algorithms 1
distributed bandits 1
Distributed Systems 1
Domain Specific Architectures 1
Domain Specific Languages 2
DSAI 30
DSRE 5
Eco systems 1
edge and fog computing 0
Edge clouds 1
Emergence 1
environmental science 1
EPG 0
Ethereum 1
evaluation 1
Explainable AI 1
Fault-tolerant solutions 0
Feature engineering 1
federated database 0
FM 3
forensics 0
Formal languages 1
Formal Methods 18
Formal proof 2
Formal verification 2
Fuel Quality Prediction 1
Functional Programming 13
Fuzzing 0
game-AI 0
GAN 1
Generative models 2
Genomics 1
geographical information 1
GF (Grammatical Framework) 7
GPS spoofing 1
graph algorithms 2
graph analytics 1
graph database 0
graph databases 1
graph theory 1
Hardware 2
Hardware description 1
Haskell 7
Health 2
Heterogeneous Multiprocessors 1
heuristics 1
Hyperproperties 1
image analysis 0
image processing 1
image regocnition 1
Industrial Internet of Things (IIoT) 1
industry 4.0 1
Infectious deseases 1
Information Extraction 1
Information flow control 2
integrative modelling 2
Interaction design 1
Interactive Theorem Proving 1
Internet of things (IoT) 2
interview analysis 1
intrusion detection 1
Invariant inference 1
IoT 0
Java 1
knowledge graphs 0
Knowledge-based Logic 1
Lambda calculus 1
Language design 0
language processing 1
language resources 1
Language Technology 6
Large scale data 1
legal analysis 0
Libraries 1
Lidar 0
linguistics 1
Linux 1
log file 0
logic 1
Machine Learning 71
Machine translation 3
machne learning 1
maintenance 1
Malware 1
manufacturing 1
Markov decision models 1
Markov decision process 1
Mathematics of Program Construction 0
Mixed-Critical Systems 1
Mixed-Criticali Systems 0
ML systems 1
Model-Based Engineering 1
Morphology 1
motif discovery 1
motion prediction and risk estimation 0
movement planning 0
MPHPC 2
Multi-agent reinforcement learning 0
Multi-agent systems 1
multi-armed bandit 1
Multiplayer game 1
multiplex networks 1
Natural Language 4
Natural language processing 22
natural language understanding 1
Network Security 1
Networks and systems (NS) 5
NLP 13
NoSQL 0
NS 1
object detection 1
online analysis 0
Online classification 1
online optimization 1
Ontologies 0
Optical character recognition 1
Optimization 4
pacemakers 1
Packet Trace Analysis 1
Paragon 3
parallel 1
parallel processing 1
Parsing 2
path planning 1
path planning for vehicles 0
patterns mining 1
performance 0
permutation 0
pharmaceutical industry 4
planar graphs 1
policy evaluation 1
Privacy 1
Privacy Enforcement 1
Privacy-preserving route protocol 0
Probabilistic Models 1
Probabilities 0
Probability Theory 1
processor emulation 0
Programming Language Based Security 3
Programming language technology 2
Programming languages 8
Programming Logic 13
Property Based Testing 1
Pseudonymization 1
psychometric test 1
python 0
quality control 1
Quantum Computing 2
QuickCheck 1
radar communications 1
Random Testing 1
reactive systems 1
Real-Time Scheduling Algorithms 1
Reflection 1
Reinforcement learning 12
reliability 0
Representation Learning 1
resource management 1
RNN 0
Road friction estimation (RFE) 0
road safety 0
Road weather information 0
robotics 2
runtime enforcement 1
runtime monitoring 3
Runtime Verification 2
Saab 1
SAT-solving 1
Satisfiability 1
Sattelite data 1
Schedulability Tests 1
scheduling 1
Second Languate Learner (L2) text 1
secure boot 0
secure communication 0
Security 15
Security and Privacy 3
Security modelling 1
self-stabilization 2
semantic role labeling 1
semantic similarity 1
Semantic Web 1
Semantics 1
sentiment analylsis 2
sequence analysis 1
Shipping and Marine Technology 1
Shortest paths 0
Simulation 0
situational awareness 0
Smart contracts 1
smart grid 1
SMT 1
social media 1
Social Networks 2
social science 3
Software Engineering 2
software verification 1
spatial database 0
SPE 1
spectral analysis 0
sports 1
språkbanken text 1
star formation 0
Static Verification 1
Static-Dynamic Verification 2
statistical models 1
statistical physics 2
Statistics 4
Stream Processing 3
stream processing engine 0
stream processing engines 0
streaming analysis 1
string editing 1
structured models 2
Substitution 1
sudden road weather changes 0
SuperGLUE 1
Sustainability 2
syntax 1
Synthesising algorithms 1
Tactic 1
Temporal logic 3
Test group 1
Testing 3
text analysis 1
Text mining 0
textual data 0
Time series 0
TODO 3
Topic analysis 1
Topic modelling 1
TOR 0
traffic data 1
transfer learning 1
Twitter 0
type checking 1
Type Theory 3
Type-level programming 1
Types 1
univalent type theory 2
Universal Dependencies 1
Unsupervised Learning 0
urban planning 2
urban quality 1
vehicle dynamics 0
vehicles 0
vehicular security 2
Verification 4
virtual calibration 1
virtual test cell 1
virtualization 0
Visualization 1
Volvo 0
warehouse logistics 1
Web security 1
wireless communications 1
workload modeling 1
Zephyr OS 0