Mathematical Modelling, Control and Optimization
- modelling of discrete and continuous systems
- dynamic optimization
- mathematical methods in optimal control
- distributed parameter systems
- stability and sensitivity analysis
- optimization of switched systems
- algorithms of nonlinear optimization
- discrete optimization
- stochastic optimization
Knowledge Engineering and Intelligent Systems
- artificial intelligence
- intelligent systems
- knowledge engineering
- rule-based systems and business rules: design, tools, implementation, applications, verification
- knowledge representation, reasoning and management
- semantic web technologies
- semantic wikis and social networks
- ontologies in practical knowledge engineering
- database and knowledge base management in AI systems
- design, evaluation and verification of intelligent systems
- practical tools for intelligent systems
- declarative, logic-based approaches, tools and applications
- Prolog, logic programming, practical applications
- constraint programming, constraint problem solving, constraint logic programming
- inductive logic programming
- knowledge discovery and data mining
- knowledge visualization
- logic for artificial intelligence
- attributive logics, description logics
- web intelligence, web mining, web services
- ontologies in practical knowledge engineering
- intelligent agent technology
- intelligent information systems, decision support systems
- spatial and temporal knowledge representation and inference
- Geographical Information Systems (GIS)
Scientific and engineering computing
- numerical methods and algorithm development
- analytical approaches and computer algebra systems
- MATLAB problem solving environment
- visualization and computer graphics
- neural networks and fuzzy logic systems
- multi-domain simulation
- applications in genetics, biology and medicine
- rapid prototyping and hardware-in-the-loop simulation
- automatic code generation and cosimulation
- physical modelling for electronics, mechanics and power systems
- DSP algorithms and applications
- image processing and recognition