Size: 2147
Comment:
|
Size: 2153
Comment:
|
Deletions are marked like this. | Additions are marked like this. |
Line 41: | Line 41: |
=== Nature Inspired Computing === | === Computational Intelligence Nature Inspired Metaheuristics === |
Line 44: | Line 45: |
* Nature inspired meta-heuristics: ant systems, particle swarm optimization etc. | * Other nature inspired meta-heuristics: ant systems, particle swarm optimization etc. |
Line 46: | Line 47: |
* Dynamics of neural networks | * Neural Networks |
Line 48: | Line 49: |
* Membrane computing |
Research Center in Computer Science
The center groups researchers and PhD students working in one of the following directions:
Parallel Computing
- Parallel algorithms in numerical analysis, optimization, evolutionary computing, data mining, computational geometry, and computer graphics
- Applications of parallel computing to computational fluid dynamics in crystal growing or airfoil design, Web or medical data mining
- Scheduling techniques and scalability for HPC
Distributed Computing
(Group - Cloud Enhancing Research on Big Data and Applications)
- Building Web and Grid services platforms
- Applications of distributed computing to image processing in Earth observation, and to symbolic computing
- Cloud computing and sensor networks
- Workflow design and execution
- Task scheduling
Artificial Intelligence
- Intelligent systems
- Multi-agent systems
- Knowledge discovery
- Recommender systems
- Automated reasoning
- Intelligent ambient
- Applications of artificial intelligence to e-commerce, scientific computing and medicine
- Self-adapting and self-healing systems
Computational Intelligence Nature Inspired Metaheuristics
- Evolutionary algorithms in optimization and data mining
- Other nature inspired meta-heuristics: ant systems, particle swarm optimization etc.
- Neural Networks
Theoretical Computer Science
- Probabilistic methods and algorithms
- Applications of game theory to theoretical computer science
- Interconnections of physics (mostly complex systems) and theory of computing
- Logic and its interconnections with symbolic computing and computational complexity
- Automated theorem proving
- Formal languages and its interrelation with XML processing
Computational Mathematics
- Numerical methods for nonlinear equations
- Estimation of stability domains
- Mathematical models in crystals growth and nano-technology
- Computational methods in flight control