• Selma Lagerlöfs Vej

    9220 Aalborg Ø

    Danmark

Fingerprint Dyk ned i de forskningsemner, hvor Institut for Datalogi er aktiv. Disse emneetiketter kommer fra arbejdet fra denne organisations medlemmer. Sammen danner de et unikt fingeraftryk.

Teknik og materialevidenskab

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

Matematik

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