• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Denmark

Fingerprint Dive into the research topics where Department of Computer Science is active. These topic labels come from the works of this organisation's members. Together they form a unique fingerprint.

Engineering & Materials Science

Controllers
Robots
Model checking
Wind turbines
Semantics
Trajectories
Experiments
Refrigeration
Costs
Query processing
Processing
Data warehouses
Bayesian networks
Sensors
Communication
Industry
Cameras
Robotics
Specifications
Real time systems
Software engineering
Scheduling
Location based services
Model predictive control
Feedback
Global positioning system
Testing
Manipulators
Petri nets
Hybrid systems
Planning
Data storage equipment
Data structures
Agglomeration
Information management
Servers
Travel time
Web services
Navigation
Farms
XML
Network protocols
Fault detection
Hardware
Actuators
Human computer interaction
Railroad cars
Learning systems
Control systems
Engines
Computer vision
Competitive intelligence
Semantic Web
Time series
Hydraulics
Monitoring
Scalability
Lighting
Automation
Computability and decidability
Internet
Algebra
Websites
Turbines
Sports
Electric power utilization
Mobile robots
Application programs
Electricity
Computational complexity
Classifiers
Neural networks
Slings
Data mining
Kinematics
Dynamical systems
Display devices
Unmanned aerial vehicles (UAV)
Mobile devices
Augmented reality
Markov processes
Managers
Mathematical transformations
Recommender systems
Helicopters
Visualization
Synchronization
Energy utilization
Detectors
Smartphones
Fusion reactions
Polynomials
Demonstrations
Human robot interaction
Power plants
Pumps
Biometrics
Lyapunov functions
Learning algorithms
Switches

Mathematics

Timed Automata
Transition Systems
Bisimulation
Controller
Axiomatization
Model
Model Checking
Logic
Equivalence
Decidability
Calculus
Specification
Automata
Influence Diagrams
Markov Process
Refinement
Markov chain
Process Algebra
Metric
Switched Systems
Fault
Petri Nets
State Space
Wind Turbine
Computer Science
Weighted Automata
Synthesis
Dynamical system
Bayesian Networks
Simulation
Modeling
Real-time
Arc of a curve
Trajectory
Web Services
Reachability Analysis
Robot
Branching