welcome: please sign in
location: Diff for "ScientificSeminar"
Differences between revisions 18 and 57 (spanning 39 versions)
Revision 18 as of 2011-08-18 12:01:49
Size: 2015
Editor: anonymous
Comment:
Revision 57 as of 2014-03-11 06:48:51
Size: 1286
Comment:
Deletions are marked like this. Additions are marked like this.
Line 1: Line 1:
||Previous years:||[[ScientificSeminar/2010|2010]]||[[ScientificSeminar/2009|2009]]||[[ScientificSeminar/2008|2008]]||[[ScientificSeminar/2007|2007]]||[[ScientificSeminar/2006|2006]]|| [[ScientificSeminar/2005|2005]]||

'''2011'''

----

''Video Understanding for Activity Monitoring''

'''Francois Bremond''', INRIA Sophia Antipolis, France
  
  July 27, 2011

----

''Self-organization in Software Engineering and the SelfLet approach''

'''Nicolò M. Calcavecchia''', '''Daniel J. Dubois''', Politecnico di Milano, Italy
  
  June 1, 2011
||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 24: Line 5:

''Face Detection using LBP and MCT Features''

'''Silviu Tudor Serban''', West University of Timisoara, Romania
  
  June 1, 2011
'''2014'''
Line 32: Line 8:
[[AbstractDarianOnchis|Computational challenges in frames-based signal and image processing]]
Line 33: Line 10:
''RiSE: Rigorous System Engineering'' '''Darian Onchis''', West University of Timisoara
Line 35: Line 12:
'''Laura Kovacs''', Vienna Technical University, Austria
  
  May 26, 2011
 . March 26, 2014
Line 40: Line 15:
''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 41: Line 17:
''EasyChair'' '''Olivier Lafitte''', University Paris 13
Line 43: Line 19:
'''Andrei Voronkov''', University of Manchester, UK
  
  May 26, 2011
 . March 19, 2014
Line 48: Line 22:
[[AbstractMadalinaErascu|Computational Logic and Quantifier Elimination Techniques for (Semi-)automatic Static Analysis and Synthesis of Algorithms (II)]]
Line 49: Line 24:
''Recovering band-limited signals from noisy and jittered information'' '''Madalina Erascu''', West University of Timisoara
Line 51: Line 26:
'''Marek Kowalski''', Warsaw Management Academy, Poland
  
  May 25, 2011
 . March 12, 2014
Line 57: Line 29:
[[AbstractMadalinaErascu|Computational Logic and Quantifier Elimination Techniques for (Semi-)automatic Static Analysis and Synthesis of Algorithms (I)]]
Line 58: Line 31:
''Data Stream : Sequential Pattern and Outlier Mining'' '''Madalina Erascu''', West University of Timisoara
Line 60: Line 33:
'''Alice Marascu''', Universita degli Studi di Trento, Italy
  
  May 11, 2011
 . March 5, 2014
Line 66: Line 36:

''Unification Algorithms in Common Logic''

'''Mircea Marin''', Universitatea de Vest din Timisoara, Romania
  
  May 4, 2011


----

''Vectorial Partitions and Applications''

'''Flavius Turcu''', Universite de Bordeaux, France
  
  March 23, 2011

----

''Geometrical Optics for Linearized Hyperbolic Systems''

'''Olivier Lafitte''', Universite Paris 13, France
  
  March 9, 2011


----

''Optimizing complex-structure XML queries''

'''Alexandra Roatis''', Universitatea de Vest din Timisoara, Romania
  
  January 17, 2011

----

''SOS Cloud: Self-Organizing Services in the Cloud''

'''Bogdan Alexandru Caprarescu''', Universitatea de Vest din Timisoara, Romania

  January 5, 2011

----

Previous years:

2013

2012

2011

2010

2009

2008

2007

2006

2005


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


ScientificSeminar (last edited 2024-11-08 14:05:08 by DanielaZaharie)