Diff for "ScientificSeminar" - RESEARCH @ info.uvt.ro

Differences between revisions 55 and 57 (spanning 2 versions)

Previous years:

2013

2012

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

-  ⇤ ← Revision 55 as of 2014-03-11 06:41:31 → 
  Size: 1210
  Editor: DanielaZaharie
  Comment:
+   ← Revision 57 as of 2014-03-11 06:48:51 → ⇥
  Size: 1286
  Editor: DanielaZaharie
  Comment:
-Deletions are marked like this.
+Additions are marked like this.
 Line 1:
-||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]] ||
+||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 7:
+Line 8:
-''Computational challenges in frames-based signal and image processing''
+[[AbstractDarianOnchis|Computational challenges in frames-based signal and image processing]]
-Line 10:
+Line 11:
-Line 16:
+Line 18:
-Line 19:
+Line 22:
-''Computational Logic and Quantifier Elimination Techniques for (Semi-)automatic Static Analysis and Synthesis of Algorithms (II)''
+[[AbstractMadalinaErascu|Computational Logic and Quantifier Elimination Techniques for (Semi-)automatic Static Analysis and Synthesis of Algorithms (II)]]
-Line 22:
+Line 25:
-Line 25:
+Line 29:
-''Computational Logic and Quantifier Elimination Techniques for (Semi-)automatic Static Analysis and Synthesis of Algorithms (I)''
+[[AbstractMadalinaErascu|Computational Logic and Quantifier Elimination Techniques for (Semi-)automatic Static Analysis and Synthesis of Algorithms (I)]]
-Line 28:
+Line 32:

Menu

Search Wiki

Page Tools