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

-  ⇤ ← Revision 38 as of 2013-02-26 10:57:09 → 
  Size: 1986
  Editor: anonymous
  Comment:
+   ← Revision 136 as of 2017-03-09 09:15:38 → ⇥
  Size: 3076
  Editor: DanielaZaharie
  Comment:
-Deletions are marked like this.
+Additions are marked like this.
 Line 1:
-||Previous years: ||[[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:
-'''2013'''
+'''2017'''

[[AbstractSorinStratulat|Mechanizing induction reasoning for first-order logic with inductive definitions]] 


''Sorin Stratulat'', University of Lorraine, Metz, France

 . April 12, 2017, 18:00,  room 045C
-Line 7:
+Line 14:
-''Optimization and Parallelization of the Minimum Volume Simplex Analysis for the extraction of end-members in Hyperspectral Images''
-Line 9:
+Line 15:
-'''Alexander Agathos''', West University of Timisoara
+[[AbstractValeriuBeiu|Deciphering the Low Level Reliability Schemes of the Brain]]
-Line 11:
+Line 17:
- . March 6, 2013
+[[attachment:ValeriuBeiu_Slides.pdf]]

[[BioValeriuBeiu|Valeriu Beiu]], Universitatea Aurel Vlaicu, Arad, Romania

 . March 8, 2017, 18:00,  room 045C
-Line 14:
+Line 24:
-'''2012'''
+'''2016'''
-Line 17:
+Line 27:
-''Submodular optimization and fairness in cooperative games''
+[[AbstractCrisDoloc|21-th Century Medicine: Digital - Computable - Algorithmic]]
-Line 19:
+Line 29:
-'''Cosmin Bonchis''', West University of Timisoara
+[[attachment:CrisDoloc_Slides - 26 July 2016.pdf]]
-Line 21:
+Line 31:
- . June 6, 2012
+[[BioCrisDoloc|Cris Doloc]], University of Chicago & ALGOMEX & RoGeniX, USA

 . July 26, 2016, 10:00,  room A01
-Line 24:
+Line 36:
-''Numerical methods for nanoscale electrodynamics''
+ENTICE Project: dEcentralized repositories for traNsparent and eficienT vIrtual maChine opErations
-Line 26:
+Line 38:
-'''Claudiu Biris''', West University of Timisoara
+Radu Prodan, University of Innsbruck
-Line 28:
+Line 40:
- . May 23, 2012
+ . July 13, 2016, 12:30,  room 045C
-Line 31:
+Line 43:
-''Theory Exploration in Theorema: Case Study on Lists''
+[[AbstractJosianeZerubia|Marked Point Processes for Object Detection in High Resolution Images: Applications to Earth Observation and Cartography]]
-Line 33:
+Line 45:
-'''Isabela Dramnesc''', West University of Timisoara
+[[attachment:JosianeZerubia_Slides - 1 July 2016.pdf]]
-Line 35:
+Line 47:
- . May 9, 2012
+[[BioJosianeZerubia|Josiane Zerubia]], INRIA Sophia Antipolis Méditerranée, France

 . July 1, 2016, 10:30,  room A01

''This talk is given with the financial support of [[http://www.signalprocessingsociety.org/newsletter/2015/11/sps-announces-2016-class-of-distinguished-lecturers/|IEEE Signal Processing Society Distinguished Lecturer program for 2016-17]]''
----
[[AbstractAlexCabuz|Make something people want]]

''Alexandru Cabuz'', [[http://researchforindustry.ro|Research for Industry]], Romania

 . April 13, 2016, 18:00,  room 045C
-Line 38:
+Line 60:
-''Automatic Inference of Bounds on Resource Consumption''
+'''Predicting Solar Parks Energy Output using Numerical Weather Prediction Ensemble Systems'''
-Line 40:
+Line 62:
-'''German Puebla''', Technical University of Madrid
+''Liviu Oana'', West University of Timisoara, Romania
-Line 42:
+Line 64:
- . May 8, 2012
+ . April 6, 2016, 18:00,  room 045C
-Line 45:
+Line 67:
-''Multi-Agent Governance in Cloud''
+'''Big Data Analysis: Problems and Solutions'''
-Line 47:
+Line 69:
-'''Victor Munteanu''', West University of Timisoara
+''Adriana Dinis'', West University of Timisoara, Romania
-Line 49:
+Line 71:
- . April 25, 2012
+ . March 23, 2016, 18:00,  room 045C
-Line 52:
+Line 75:
-''Memory-Efficient Static Analysis of Binary Code for Antivirus Development''
+'''Projection algorithms for convex feasibility problems'''
-Line 54:
+Line 77:
-'''Ciprian Pungila''', West University of Timisoara
+''Irina Artinescu'', West University of Timisoara, Romania
-Line 56:
+Line 79:
- . April 11, 2012
+ . March 16, 2016, 18:00,  room 045C
-Line 59:
+Line 82:
-''Reflection of an electromagnetic wave by a curved boundary: us of the   geometric rotational and laplacian''
+'''Anderson Localisation for matrix-valued operators'''
-Line 61:
+Line 84:
-'''Olivier Lafitte''', Universite Paris 13, France
+''Hakim Boumaza'', University Paris 13, France
-Line 63:
+Line 86:
- . April 4, 2012
+ . March 4, 2016, 11:00,  room 045C
-Line 66:
+Line 89:
-''Membrane Computing, after (almost) 14 years''
+[[AbstractRochelleTractenberg|Appreciating the role of measurement -and its difficulties- in the validity of scientific research claims]]
-Line 68:
+Line 91:
-'''Gheorghe Paun''', Academia Romana
+[[BioRochelleTractenberg|Rochelle Tractenberg]], Georgetown University, USA
-Line 70:
+Line 93:
- . April 3, 2012

----
''Towards Human Behavior Analysis in Pervasive Spaces based on Energy Consumption''

'''Ovidiu Aritoni''', West University of Timisoara

 . March 21, 2012

----
''Neuroevolutionary Multiagent Systems in Real Time Games''

'''Gabriel Juhasz''', West University of Timisoara

 . February 29, 2012
+ . January 27, 2016, 12:00,  room A01

Menu

Search Wiki

Page Tools