|
Size: 1063
Comment:
|
Size: 785
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 1: | Line 1: |
| ||Previous years:||[[ScientificSeminar/2009|2009]]|| ''Ontologies in an Agent-based Grid Resource Management System'' '''Salvatore Venticinque''', Second University of Napoli, Italy October 20, 2010 |
||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 10: | Line 4: |
''Boundary Layer - Acoustic Liner Instabilities'' '''Mirela Darau''', Technical University of Eindhoven July 21, 2010 |
'''2014''' |
| Line 18: | Line 7: |
| ''Computational Logic and Quantifier Elimination Techniques for (Semi-)automatic Static Analysis and Synthesis of Algorithms (II)'' | |
| Line 19: | Line 9: |
| Antonio Martin, University of Sevilla, Spain Artificial Intelligence and Ontologies May 26, 2010 |
'''Madalina Erascu''', West University of Timisoara . March 12, 2014 |
| Line 23: | Line 12: |
| Maria Ganzha, Polish Academy of Science Ontologies in an Agent-based Grid Resource Management System May 19, 2010 |
---- ''Computational Logic and Quantifier Elimination Techniques for (Semi-)automatic Static Analysis and Synthesis of Algorithms (I)'' |
| Line 27: | Line 15: |
| Marc Frincu, West University of Timisoara Rule Based System for Executing Scheduling Heuristics May 12, 2010 |
'''Madalina Erascu''', West University of Timisoara . March 5, 2014 |
| Line 31: | Line 18: |
| Ovidiu Aritoni, West University of Timisoara Ambient Intelligence May 12, 2010 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 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