|
Size: 1033
Comment:
|
Size: 1210
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 1: | Line 1: |
| ||Previous years:||[[ScientificSeminar/2009|2009]]|| | ||Previous years: ||[[ScientificSeminar/2013|2013]] || [[ScientificSeminar/2012|2012]] ||[[ScientificSeminar/2011|2011]] ||[[ScientificSeminar/2010|2010]] ||[[ScientificSeminar/2009|2009]] ||[[ScientificSeminar/2008|2008]] ||[[ScientificSeminar/2007|2007]] ||[[ScientificSeminar/2006|2006]] ||[[ScientificSeminar/2005|2005]] || |
| Line 3: | Line 3: |
| '''Salvatore Venticinque''', Second University of Napoli, Italy | ---- '''2014''' |
| Line 5: | Line 6: |
| ''Ontologies in an Agent-based Grid Resource Management System'' | ---- ''Computational challenges in frames-based signal and image processing'' |
| Line 7: | Line 9: |
| October 20, 2010 | '''Darian Onchis''', West University of Timisoara . March 26, 2014 |
| Line 9: | Line 12: |
| ---- ''Problems with analytic profiles: analysis of the profile and linear perturbation theory: the detonation, the ignition, the heating of plasma by a magnetic field. Relation with the nerve influx'' |
|
| Line 10: | Line 15: |
| Mirela Darau, Technical University of Eindhoven Boundary Layer - Acoustic Liner Instabilities July 21, 2010 |
'''Olivier Lafitte''', University Paris 13 . March 19, 2014 |
| Line 14: | Line 18: |
| Antonio Martin, University of Sevilla, Spain Artificial Intelligence and Ontologies May 26, 2010 |
---- ''Computational Logic and Quantifier Elimination Techniques for (Semi-)automatic Static Analysis and Synthesis of Algorithms (II)'' |
| Line 18: | Line 21: |
| Maria Ganzha, Polish Academy of Science Ontologies in an Agent-based Grid Resource Management System May 19, 2010 |
'''Madalina Erascu''', West University of Timisoara . March 12, 2014 |
| Line 22: | Line 24: |
| Marc Frincu, West University of Timisoara Rule Based System for Executing Scheduling Heuristics May 12, 2010 |
---- ''Computational Logic and Quantifier Elimination Techniques for (Semi-)automatic Static Analysis and Synthesis of Algorithms (I)'' |
| Line 26: | Line 27: |
| Ovidiu Aritoni, West University of Timisoara Ambient Intelligence May 12, 2010 |
'''Madalina Erascu''', West University of Timisoara . March 5, 2014 |
| Line 30: | Line 30: |
| Andrei Petrovski, The Robert Gordon University, Aberdeen, UK Recent Trends in Teaching Computing in UK Universities March 23, 2010 Flavius Turcu, University of Bordeaux, France Tehnici de analiza armonica si stohastica in procesarea semnalelor si imaginilor February 24, 2010 |
---- |
2014
Computational challenges in frames-based signal and image processing
Darian Onchis, West University of Timisoara
- March 26, 2014
Problems with analytic profiles: analysis of the profile and linear perturbation theory: the detonation, the ignition, the heating of plasma by a magnetic field. Relation with the nerve influx
Olivier Lafitte, University Paris 13
- March 19, 2014
Computational Logic and Quantifier Elimination Techniques for (Semi-)automatic Static Analysis and Synthesis of Algorithms (II)
Madalina Erascu, West University of Timisoara
- March 12, 2014
Computational Logic and Quantifier Elimination Techniques for (Semi-)automatic Static Analysis and Synthesis of Algorithms (I)
Madalina Erascu, West University of Timisoara
- March 5, 2014