Size: 1053
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: |
||''Ontologies in an Agent-based Grid Resource Management System'' | ---- '''2014''' |
Line 5: | Line 6: |
'''Salvatore Venticinque''', Second University of Napoli, Italy | ---- ''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: |
''Boundary Layer - Acoustic Liner Instabilities'' '''Mirela Darau''', Technical University of Eindhoven |
'''Olivier Lafitte''', University Paris 13 . March 19, 2014 |
Line 13: | Line 18: |
July 21, 2010|| | ---- ''Computational Logic and Quantifier Elimination Techniques for (Semi-)automatic Static Analysis and Synthesis of Algorithms (II)'' |
Line 15: | Line 21: |
Antonio Martin, University of Sevilla, Spain Artificial Intelligence and Ontologies May 26, 2010 |
'''Madalina Erascu''', West University of Timisoara . March 12, 2014 |
Line 19: | Line 24: |
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 23: | Line 27: |
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 27: | Line 30: |
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 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