|
Size: 785
Comment:
|
Size: 1554
Comment:
|
| Deletions are marked like this. | Additions are marked like this. |
| Line 1: | 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/2015|2015]] ||[[ScientificSeminar/2014|2014]] ||[[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 4: | Line 4: |
| '''2014''' | '''2016''' |
| Line 7: | Line 7: |
| ''Computational Logic and Quantifier Elimination Techniques for (Semi-)automatic Static Analysis and Synthesis of Algorithms (II)'' | [[AbstractAlexCabuz|Make something people want]] |
| Line 9: | Line 9: |
| '''Madalina Erascu''', West University of Timisoara . March 12, 2014 |
''Alexandru Cabuz'', [[http://researchforindustry.ro|Research for Industry]], Romania |
| Line 12: | Line 11: |
| --- | . April 13, 2016, 18:00, room 045C |
| Line 14: | Line 13: |
| ''Computational Logic and Quantifier Elimination Techniques for (Semi-)automatic Static Analysis and Synthesis of Algorithms (I)'' | ---- '''Predicting Solar Parks Energy Output using Numerical Weather Prediction Ensemble Systems''' |
| Line 16: | Line 16: |
| '''Madalina Erascu''', West University of Timisoara . March 5, 2014 |
''Liviu Oana'', West University of Timisoara, Romania |
| Line 19: | Line 18: |
| --- | . April 6, 2016, 18:00, room 045C ---- '''Big Data Analysis: Problems and Solutions''' ''Adriana Dinis'', West University of Timisoara, Romania . March 23, 2016, 18:00, room 045C ---- '''Projection algorithms for convex feasibility problems''' ''Irina Artinescu'', West University of Timisoara, Romania . March 16, 2016, 18:00, room 045C ---- '''Anderson Localisation for matrix-valued operators''' ''Hakim Boumaza'', University Paris 13, France . March 4, 2016, 11:00, room 045C ---- [[AbstractRochelleTractenberg|Appreciating the role of measurement -and its difficulties- in the validity of scientific research claims]] [[BioRochelleTractenberg|Rochelle Tractenberg]], Georgetown University, USA . January 27, 2016, 12:00, room A01 |
2016
Alexandru Cabuz, Research for Industry, Romania
- April 13, 2016, 18:00, room 045C
Predicting Solar Parks Energy Output using Numerical Weather Prediction Ensemble Systems
Liviu Oana, West University of Timisoara, Romania
- April 6, 2016, 18:00, room 045C
Big Data Analysis: Problems and Solutions
Adriana Dinis, West University of Timisoara, Romania
- March 23, 2016, 18:00, room 045C
Projection algorithms for convex feasibility problems
Irina Artinescu, West University of Timisoara, Romania
- March 16, 2016, 18:00, room 045C
Anderson Localisation for matrix-valued operators
Hakim Boumaza, University Paris 13, France
- March 4, 2016, 11:00, room 045C
Rochelle Tractenberg, Georgetown University, USA
- January 27, 2016, 12:00, room A01