|
Size: 1053
Comment:
|
Size: 785
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: |
| ||''Ontologies in an Agent-based Grid Resource Management System'' | ---- '''2014''' |
| Line 5: | Line 6: |
| '''Salvatore Venticinque''', Second University of Napoli, Italy | ---- ''Computational Logic and Quantifier Elimination Techniques for (Semi-)automatic Static Analysis and Synthesis of Algorithms (II)'' |
| Line 7: | Line 9: |
| October 20, 2010|| | '''Madalina Erascu''', West University of Timisoara . March 12, 2014 |
| Line 9: | Line 12: |
| ---- ''Computational Logic and Quantifier Elimination Techniques for (Semi-)automatic Static Analysis and Synthesis of Algorithms (I)'' |
|
| Line 10: | Line 15: |
| ''Boundary Layer - Acoustic Liner Instabilities'' '''Mirela Darau''', Technical University of Eindhoven |
'''Madalina Erascu''', West University of Timisoara . March 5, 2014 |
| Line 13: | Line 18: |
| July 21, 2010|| Antonio Martin, University of Sevilla, Spain Artificial Intelligence and Ontologies May 26, 2010 Maria Ganzha, Polish Academy of Science Ontologies in an Agent-based Grid Resource Management System May 19, 2010 Marc Frincu, West University of Timisoara Rule Based System for Executing Scheduling Heuristics May 12, 2010 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