The ERCIM "Alain Bensoussan" Fellowship Programme

Topics defined by the ERCIM Working Groups/Research Projects

• Numerical Linear Algebra (Sparse Matrix Theory, Direct and Iterative Solvers for Large and Sparse Linear Systems of Equations, Eigenvalues and Eigenvectors for Large Scale Problems, Solution of Polynomial Systems of Equations)
• Numerical Solution of Differential Equations (Finite-Element Methods, Mesh Generation, Multigrid Methods, Wavelets, Spectral Methods, Time-stepping Methods)
  
• Continuous Optimization and Optimal Control (Interior Point Methods for Large-scale Linear, Quadratic and nonlinear Programming, SQP Methods for Nonlinear Programming, Numerical Methods for Optimal Control)
• Large Scale Scientific Computing (Interdisciplinary Applications, Computational Fluid Dynamics, Parallel Computing, Mathematical Software).

• Bioinformatics
• Clinical informatics
• Computational biology and neuroscience
• Bioimaging
• Virtual Human / Digital Patient.

• Generic problems in statistics (Model selection, Outliers detection, Regression diagnostics, Linear and non linear model estimation, Error analysis and error propagation, Correspondence analysis, Principal components analysis, Cross-validation)
• Considered applications (Signal processing, Econometrics, Quantitative finance, Data filtering, Information retrieval, Statistical data mining, Data compression and representation, Bioinformatics)
• Linear algebra (Linear least squares problems, Generalized inverse, Singular Value Decomposition, Eigenvalue problems, Optimization, Iterative methods, Sparse matrix computations); Parallel computing.

• Constraint solvers
• Constraint programming languages and systems
• Modelling with constraints
• Applications in combinatorial optimization
• Applications in bioinformatics.

• Dependability analysis and evaluation of software-intensive (embedded) systems
• Product assurance and Validation and Verification Lab for (critical) software-intensive (embedded) systems
• Real-time systems (HW/SW Co-design) for time critical, dependable applications (computer vision, intelligent antennas) (design, development, modeling and simulation of such systems)
• COTS and Reuse in dependable embedded RT systems
• Pattern oriented Software Development and Building Blocks.

• Metadata models
• Digital library architectures and digital repositories
• Interoperability in digital libraries
• Personalization, categorization and recommender systems in digital libraries
• Information seeking, searching and querying in digital libraries.

• Environmental risk management, pollution analysis and forecast
• Remote sensing, satellite data, image processing
• Data assimilation, knowledge from data
• Information systems applications including GIS
• Model coupling, grid computing.

• Mobile Applications and Human-Computer Interaction for mobile devices
• Middleware & Security in wireless networks
• Mobility Management including handover management, roaming, ambient networks and localization
• Quality-of-Service and Traffic Engineering in wireless networks
• Self-organizing networks (sensor networks, mobile ad-hoc networks, mobile peer-to-peer).

• Design and integration of formal methods and tools for the specification, computer-aided analysis and automated implementation of reactive systems and distributed algorithms
• Technology transfer of these methods and tools for the industry, including their application to assess safety-critical systems and their connection to computer languages and software engineering techniques already established in industry
• Real time programming, software specification, analysis and testing, distributed and parallel systems
• Interoperability platforms for tool-based analysis, verification and test.

• Knowledge and data management
• Programming models and Problem Solving Environments
• System architecture
• Grid Information and Monitoring Services
• Resource Management and Scheduling.

• Content-based image and video indexing and retrieval
• Content-aware visual information processing
• Visual recognition and learning of objects and activity classes (e.g. in human-computer interfaces)
• Vision-based decision and control (e.g. in inspection or surveillance)
• Generic mathematical methodologies for spatio-temporal analysis and modelling (e.g. PDE's, MRF).

• Benchmark definition and solver selection for fluid and solid mechanics applied to physiological flows
• Multiscale multiphysics coupling, fluid-structure interaction
• Vessel-axis-based medical image processing for Computational BioFluid Dynamics
• Mesh adaptation and error estimation
• Multiscale modelling.

• Formal and semi-formal modelling of resilience properties; Software development processes for resilience; Requirement engineering processes for resilience; Model Driven Engineering of resilient systems; Verification and validation of resilient systems; Error and fault handling in the software life-cycle
• Frameworks and design patterns for resilience; Software architectures for resilience
• Atomic actions; Dynamic resilience mechanisms; Resilience prediction; Resilience metadata
• Reasoning and adaptation services for improving and ensuring resilience; Intelligent and adaptive approaches to engineering resilient systems
• Dynamic reconfiguration for resilience; Run-time management of resilience requirements; CASE tools for developing resilient systems.

• Rigorous semantics and computational models for security and trust
• Security and trust management architectures, mechanisms and policies
• Networked systems security
• Privacy and Identity Management
• Digital and Physical Assets Protection.

• Intelligence and adaptation (user modelling, activity and intention recognition, preferences, decision making, learning systems, context inference)
• Distributed User Interfaces (multiple displays, multi-modality, mobility and migration)
• Privacy issues and methods for sensor-augmented environments
• Ambient games in hybrid environments (smart rooms, digitally augmented objects, parallel displays, applied vision techniques, multi-player interaction methods).

• Software re-engineering and quality improvement
• Software evolution in "emerging" paradigms (model-driven, aspect-oriented, service-oriented, open source, etc.)
• Inconsistency management and co-evolution
• Empirical studies and theories of software evolution
• Dynamic adaptation, composition and reconfiguration of software and services.