Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
themes [2016/10/11 11:22] philippereneviergonin [Knowledge Extraction and Learning] |
themes [2019/11/15 16:01] (current) philippereneviergonin |
||
|---|---|---|---|
| Line 2: | Line 2: | ||
| - | The SPARKS team is composed by 3 Themes. | + | The SPARKS team is composed by 4 Themes. |
| ===== Knowledge Extraction and Learning ===== | ===== Knowledge Extraction and Learning ===== | ||
| Line 17: | Line 17: | ||
| A particular emphasis has been given to the scalability of the approaches, according to three dimensions: | A particular emphasis has been given to the scalability of the approaches, according to three dimensions: | ||
| - | 1. the volume of the data that are to be processed; | + | - the volume of the data that are to be processed; |
| - | 2. the number of processing units available for computation and the distributed nature of both data and | + | - the number of processing units available for computation and the distributed nature of both data and algorithms; |
| - | algorithms; | + | - the computational power of the processing units, which may become critical when the proposed approaches must be embedded in appliances, vehicles, or mobile devices, often with tight resource consumption constraints. |
| - | 3. the computational power of the processing units, which may become critical when the proposed approaches | + | |
| - | must be embedded in appliances, vehicles, or mobile devices, often with tight resource consumption | + | |
| - | constraints. | + | |
| - | ===== FOrmalizing and Reasoning with Users and Models ===== | + | ===== FOrmalizing and Reasoning with Users and Models (FORUM) ===== |
| Line 51: | Line 48: | ||
| infrastructures exploitation by non-expert users, scalable and secure software composition techniques, and | infrastructures exploitation by non-expert users, scalable and secure software composition techniques, and | ||
| adaptation to heterogeneous and dynamic execution environments. In addition, part of the activity | adaptation to heterogeneous and dynamic execution environments. In addition, part of the activity | ||
| - | complements the research theme FORUM with concerns related to large-scale | + | complements the research theme FORUM theme with concerns related to large-scale |
| distributed data repositories integration. | distributed data repositories integration. | ||
| + | |||
| + | ===== Computer Science and Biology ===== | ||
| + | |||
| + | Computer science finds in biology an inexhaustible source of new problems and a remarkable field of inspiration. On the one hand, computer science is necessary for pushing forwards the knowledge frontiers in biology using, e.g., ontologies, data mining, knowledge extraction, modelling and simulation of dynamic biological systems, formal proofs about the behaviour of biological systems and more generally model-based reasoning assisted by computers. On the other hand, there are countless bio-inspired techniques that have made major research contributions, as neuroscience-inspired and genetics-inspired learning techniques. | ||
| + | |||
| + | SPARKS has a long standing experience in data management, model design, model simulation and formal reasoning for biology as well as in bio-inspired learning techniques. | ||
| + | |||
| + | More details about : | ||
| + | * [[https://msn.i3s.unice.fr/|models and simulations for neurosciences]] | ||
| + | * [[https://bioinfo.i3s.unice.fr/en/index.php|formal methods for biology]] | ||